Page 333 - ЭВМ

предпочтение. Это положение было использовано авторами языка
Оккам для создания наиболее простой и четкой версии языка парал-
лельного программирования.

Объект программирования на языке Оккам представляется как
множество конкурирующих процессов, которые обмениваются между
собой данными с помощью системы каналов. В языке определены
пять простейших процессов-примитивов: присваивание, ввод в канал,
вывод из канала, два вида остановов. Процессы-примитивы с помо-

щью специальных конструкторов объединяются в более сложные
процессы-композиции (последовательные, параллельные, условные).
В свою очередь, процессы-композиции могут служить составными
частями более сложных процессов. Таким образом, оккам-программа

формализуется в виде иерархической структуры взаимодействующих
процессов.
Важным логическим понятием в языке Оккам является понятие
канала. Каждый канал обеспечивает связь двух конкурирующих про-
цессов. Эта связь синхронизирована и осуществляется только тогда,

когда оба процесса готовы к обмену. Если один процесс не готов,
другой его ждет.
Создание языка Оккам опирается на формальную семантику,
поэтому в нем заложена возможность формальной проверки правиль-

ности программы и возможность формального преобразования
программ к наиболее удобной форме для конкретного применения.
Оккамовская программа может быть реализована как на одном транс-
пьютере, так и на сети транспьютеров. В последнем случае в языке
имеются специальные средства для распределения программы по раз-

личным транспьютерным элементам.
В 1987 г. фирма Inmos предложила новую версию языка Оккам,
получившую название Оккам2. В этой версии расширены возможно-
сти языка, в частности, предусмотрено использование различных

типов данных, более совершенных протоколов обмена данными и ряд
других новшеств.
Внутренняя архитектура транспьютера. Архитектура транс-
пьютера имеет отличие от большинства процессоров. Наличие команд
[64; 65], выполняемых за несколько циклов, и встроенный планиров-

щик позволяют транспьютеру получить ряд преимуществ при обра-
ботке информации.
Транспьютер можно определить как интегральную микросхему
сверхбольшой степени интеграции, содержащую на одном кристалле

322