Параллельный Евклид

Параллельный Евклид (ConEuc)
Парадигма	мультипарадигмальность : структурированная , императивная , функциональная.
Разработано	Джеймс Корди и Рик Холт
Разработчик	Джеймс Корди и Рик Холт
Впервые появился	1980
Дисциплина набора текста	сильный , статичный
ТЫ	Кроссплатформенность : PDP-11 , VAX-11 , Motorola 68000 , Motorola 6809.
Под влиянием
	Евклид , Связь последовательных процессов
Под влиянием
	Тьюринг Плюс

Concurrent Euclid ( ConEuc ) — одновременный потомок языка программирования Euclid, разработанного Джеймсом Корди и Риком Холтом , работавшими тогда в Университете Торонто , в 1980 году. ConEuc был разработан для параллельного, высокопроизводительного, высоконадежного системного программного обеспечения , такого как операционные системы. , компиляторы и встроенные микропроцессорные системы. Операционная система TUNIS , вариант Unix , была полностью реализована в Concurrent Euclid. ConEuc расширяет базовое подмножество Euclid процессами и мониторами (как указано CAR Hoare ), а также языковыми конструкциями, необходимыми для системного программирования, включая раздельную компиляцию, переменные по абсолютным адресам, преобразователи типов, длинные целые числа и другие функции.

ConEuc был реализован с помощью небольшого (50 КБ), быстрого, портативного компилятора, который был самокомпилируемым и имел сменные генераторы кода. Были разработаны высококачественные генераторы кода для нескольких компьютеров, включая PDP-11 , VAX-11 , Motorola 68000 и Motorola 6809, которые выдавали код, сравнимый с лучшими C. компиляторами Параллельные программы Euclid, использующие параллелизм, могли запускаться на голой машине (поддерживаемой небольшим ядром языка ассемблера) или в моделируемом режиме как обычный процесс, работающий под операционной системой.

Язык программирования Тьюринг является прямым потомком Concurrent Euclid, и его вариант Turing Plus в конечном итоге заменил ConEuc в большинстве приложений.

Ссылки

Дж. Р. Корди и Р. К. Холт 1980. Спецификация одновременного Евклида. Технические отчеты CSRI-115 (июль 1980 г.) и CSRI-133 (август 1981 г.), Институт исследования компьютерных систем, Университет Торонто. 54 страницы.
RC Holt 1982. Параллельный Евклид, система Unix и Тунис. Аддисон-Уэсли, 1982. 323 страницы.
RC Holt 1982. Краткое введение в Concurrent Euclid. Уведомления ACM SIGPLAN 17, 5 (май 1982 г.), 60–79.
RC Holt 1982. Тунис: аналог Unix, написанный на языке Concurrent Euclid. Обзор операционных систем SIGOPS 16, 1 (январь 1982 г.), 4-5.