СИЗАЛЬ

СИЗАЛЬ
Парадигма	функционал , поток данных
Разработано	Джеймс МакГроу
Разработчик	Джеймс МакГроу и др., из Манчестерского университета , LLNL , Университета штата Колорадо и DEC.
Впервые появился	1983
Дисциплина набора текста	статический , сильный
Основные реализации
	оск, сизальк
Под влиянием
	ВАЛ, Паскаль , Си , Фортран
Под влиянием
	Хаскелл , [ нужна цитата ] САК

SISAL ( Потоки и итерация в одном языке присваивания ) — это универсальный с одним присваиванием язык функционального программирования со строгой семантикой , неявным параллелизмом и эффективной обработкой массивов. SISAL выводит график потока данных в промежуточной форме 1 (IF1). Он был создан на основе VAL (алгоритмического языка, ориентированного на значения, разработанного Джеком Деннисом ) и добавляет рекурсию и конечные потоки. Он имеет синтаксис, подобный Паскалю , и был разработан как общий язык высокого уровня для числовых программ на различных мультипроцессорах .

История [ править ]

SISAL был определен в 1983 году Джеймсом МакГроу и др. в Манчестерском университете , LLNL , Университете штата Колорадо и DEC . его производительность превосходит C и конкурентов Fortran . Он был пересмотрен в 1985 году, а первая скомпилированная реализация была сделана в 1986 году. По некоторым источникам, ^[1] в сочетании с эффективным автоматическим распараллеливанием.

Название SISAL произошло от выражения «sal» для «единого языка присвоения» из словаря Unix /usr/dict/words.

Существуют версии для Cray X-MP , Y-MP , 2 ; Sequent , Encore Alliant , DEC VAX-11/784 , архитектуры потоков данных , KSR1, транспьютеры и систолические массивы .

Архитектура [ править ]

Требованиям к языку мелкозернистого параллелизма лучше соответствует язык потока данных, чем системный язык. ^{[ нужна цитата ]}

SISAL — это больше, чем просто поток данных и детальный язык. Это набор инструментов, которые преобразуют текстовый язык потоков данных, читаемый человеком, в графический формат (называемый IF1 — Промежуточная форма 1). Часть проекта SISAL также включала преобразование этого формата графа в работоспособный код C. ^[2]

Эпоха Возрождения СИЗАЛЬ [ править ]

В 2010 году SISAL пережил кратковременное возрождение, когда группа студентов Вустерского политехнического института исследовала реализацию механизма мелкозернистого параллелизма для языка SISAL. ^[2]

В 2018 году SISAL был модернизирован за счет синтаксиса на основе отступов, первоклассных функций, лямбда-выражений, замыканий и ленивой семантики в рамках проекта SISAL-IS. ^[3]

Ссылки [ править ]

Примечания [ править ]

^ Удалить Фортран?: возобновились дебаты, Дэвид Канн, август 1992 г., Сообщения ACM, Том 35, Выпуск 8
^ Перейти обратно: ^а ^б Мелкозернистый параллелизм: исследовательское исследование достоинств графического программирования и режима мелкозернистого выполнения
^ Модернизированный интерпретатор Sisal (MSInt)

Библиография [ править ]

Внешние ссылки [ править ]

«Параллельное программирование SISAL» на SourceForge.net Страница проекта

[1] Удалить Фортран?: возобновились дебаты, Дэвид Канн, август 1992 г., Сообщения ACM, Том 35, Выпуск 8

[wpi2010-2] Перейти обратно: ^а ^б Мелкозернистый параллелизм: исследовательское исследование достоинств графического программирования и режима мелкозернистого выполнения

[sisalis-3] Модернизированный интерпретатор Sisal (MSInt)

[1]

[2]

[3]