Конкурентный Евклид
 | Эта статья включает список ссылок , связанных чтений или внешних ссылок , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Октябрь 2014 ) |
| Парадигма | многопарадигмальный : структурированный , императивный , функциональный |
|---|---|
| Разработано | Джеймс Корди и Рик Холт |
| Разработчик | Джеймс Корди и Рик Холт |
| Впервые появился | 1980 |
| Дисциплина набора текста | сильный , статичный |
| ОС | Кроссплатформенность : PDP-11 , VAX-11 , Motorola 68000 , Motorola 6809 |
| Под влиянием | |
| Евклид , Связь последовательных процессов | |
| Под влиянием | |
| Тьюринг Плюс | |
Concurrent Euclid ( ConEuc ) — параллельный потомок языка программирования Euclid, разработанного Джеймсом Корди и Риком Холтом , тогда работавшими в Университете Торонто , в 1980 году. ConEuc был разработан для параллельного, высокопроизводительного и высоконадежного системного программного обеспечения , такого как операционные системы , компиляторы и встроенные микропроцессорные системы. Операционная система TUNIS , вариант Unix , была полностью реализована на Concurrent Euclid. ConEuc расширяет базовое подмножество Euclid процессами и мониторами (как указано К. А. Хоаром ), а также языковыми конструкциями, необходимыми для системного программирования, включая отдельную компиляцию, переменные по абсолютным адресам, преобразователи типов, длинные целые числа и другие функции.
ConEuc был реализован небольшим (50k байт), быстрым, портативным компилятором, который был самокомпилирующимся и имел сменные генераторы кода. Были разработаны высококачественные генераторы кода для нескольких компьютеров, включая PDP-11 , VAX-11 , Motorola 68000 и Motorola 6809 , которые производили код, сопоставимый с лучшими компиляторами C. Параллельные программы Euclid, которые использовали параллелизм, могли запускаться на голой машине (поддерживаемой небольшим ядром языка ассемблера) или в режиме моделирования как обычный процесс, работающий под управлением операционной системы.
Язык программирования Turing является прямым потомком Concurrent Euclid, а его вариант Turing Plus в конечном итоге заменил ConEuc в большинстве приложений.
Ссылки
- JR Cordy и RC Holt 1980. Спецификация Concurrent Euclid. Технические отчеты CSRI-115 (июль 1980) и CSRI-133 (август 1981), Исследовательский институт компьютерных систем, Университет Торонто. 54 страницы.
- RC Holt 1982. Concurrent Euclid, Unix System и Tunis. Addison-Wesley 1982. 323 страницы.
- RC Holt 1982. Краткое введение в Concurrent Euclid. ACM SIGPLAN Notices 17, 5 (май 1982), 60-79.
- RC Holt 1982. Tunis: аналог Unix, написанный на Concurrent Euclid. Обзор операционных систем SIGOPS 16, 1 (январь 1982), 4-5.
