СИЗАЛ - SISAL

СИЗАЛ
Парадигма функционал , поток данных
Разработано Джеймс МакГроу
Разработчик Джеймс МакГроу и др. Из Манчестерского университета , LLNL , Государственного университета Колорадо и DEC
Впервые появился 1983 г.
Печатная дисциплина статичный , сильный
Основные реализации
osc, sisalc
Под влиянием
VAL, Паскаль , C , Фортран
Под влиянием
Haskell , SAC

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

История

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

Название SISAL произошло от слова «sal» для «Single Assignment Language» из словаря Unix / usr / dict / words.

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

Архитектура

Требования к языку мелкозернистого параллелизма лучше удовлетворяют язык потоков данных, чем системный язык.

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

SISAL Эпоха Возрождения

В 2010 году SISAL пережил кратковременное возрождение, когда группа студентов из Вустерского политехнического института исследовала возможность реализации бэкэнда мелкозернистого параллелизма для языка SISAL.

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

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

Заметки

Библиография

Внешние ссылки