MultiLisp - MultiLisp

MultiLisp

Парадигмы	Мультипарадигма: функциональный, императив, одновременный, мета
Семья	Лисп
Разработано	Роберт Х. Холстед мл.
Разработчик	Массачусетский Институт Технологий (MIT
Впервые появился	1980; 40 лет назад (1980)
Печатная дисциплина	Динамический, скрытый, сильный
Объем	Лексический
Язык реализации	Интерлисп
Платформа	Концерт мультипроцессор
Лицензия	Проприетарный
Под влиянием
Лисп, Схема
Под влиянием
Гамбит, Интерлисп -VAX

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

Он был разработан Робертом Х. Холстедом-младшим в начале 1980-х годов для использования на 32-процессорной платформе Concert. мультипроцессор затем разрабатывается в Массачусетский Институт Технологий (MIT) и реализован в Интерлисп. Это повлияло на развитие диалектов схемы. Гамбит,^[1] и Интерлисп-VAX.

PCALL и БУДУЩЕЕ

MultiLisp обеспечивает параллелизм с PCALL макрос, куда

(PCALL Fun A B C ...)

эквивалентно

(Удовольствие А Б В ...)

за исключением того, что аргументы А, Б, В, и т. д. явно разрешено оценивать параллельно; это обходит обычный порядок оценки, который является последовательным и слева направо. Он также использует конструкцию параллельного программирования, называемую фьючерсы, который напоминает разветвление, в сочетании с ленивая оценка. Используя эту конструкцию, выражение, такое как

(минусы (БУДУЩЕЕ A) (БУДУЩЕЕ B))

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

Смотрите также

• Умозрительная оценка

Рекомендации

• Холстед, Роберт Х. младший (октябрь 1985 г.). «MultiLisp: язык для параллельных символьных вычислений». Транзакции ACM по языкам и системам программирования. 7 (4): 501–538. Дои:10.1145/4472.4478.
• Кумен, Йоханнес А. Г. М. (1980). Виртуальная машина Interlisp: исследование ее дизайна и реализации в качестве Multilisp (MSc). Университет Британской Колумбии.
• Bates, Raymond L .; Дайер, Дэвид; Кумен, Йоханнес А. Г. М. (15–18 августа 1982 г.). «Внедрение Interlisp на VAX». LFP '82 Труды симпозиума ACM 1982 года по LISP и функциональному программированию. Симпозиум ACM по LISP и функциональному программированию. Питтсбург, Пенсильвания, США. С. 81–87.
• Холстед, Роберт Х. младший (1984). Язык MultiLisp: Лисп для мультипроцессора. Конференция по компьютерам 5-го поколения. Токио, Япония.
• Мартинс, W.S. «Параллельные реализации функциональных языков». Материалы 4-й Междунар. Практикум по параллельной реализации функциональных языков: 92.
• Skillicorn, Дэвид Б.; Талия, Доменико (июнь 1998 г.). «Модели и языки для параллельных вычислений». Опросы ACM Computing. 30 (2): 123–169. Дои:10.1145/280277.280278.