СИЗАЛ - 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.
Рекомендации
Заметки
Библиография
- Обзор VAL
- Учебник по языку сизаля
- Эта статья основана на материалах, взятых из Free On-line Dictionary of Computing до 1 ноября 2008 г. и включенных в соответствии с условиями «перелицензирования» GFDL версии 1.3 или новее.
Внешние ссылки
- Страница проекта SISAL Parallel Programming SourceForge.net