СИСАЛ - Википедия - SISAL
Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
Парадигма | функциональный, поток данных |
---|---|
Разработано | Джеймс МакГроу |
Разработчик | Джеймс МакГроу и др., At Манчестерский университет, LLNL, Государственный университет Колорадо, и DEC |
Впервые появился | 1983 |
Печатная дисциплина | статический, сильный |
Главный реализации | |
osc, sisalc | |
Под влиянием | |
ВАЛ, Паскаль, C, Фортран | |
Под влиянием | |
Haskell,[нужна цитата ] SAC |
СИЗАЛ ("Потоки и итерация на едином языке назначения") является универсальным разовое задание функциональный язык программирования с участием строгая семантика, неявный параллелизм и эффективная обработка массивов. SISAL выводит поток данных граф в промежуточной форме 1 (IF1). Он был получен из VAL (ориентированный на значения алгоритмический язык, разработанный Джек Деннис ) и добавляет рекурсия и конечные потоки. Оно имеет Паскаль -подобный синтаксис и был разработан как общий язык высокого уровня для числовых программ на различных мультипроцессоры.
История
Определение SISAL было определено в 1983 году Джеймсом МакГроу и др. Манчестерский университет, LLNL, Государственный университет Колорадо и DEC. Он был пересмотрен в 1985 году, а первая скомпилированная реализация была сделана в 1986 году. Его производительность превосходит C и соперники Фортран, по некоторым данным,[1] в сочетании с эффективным автоматическим распараллеливанием.
Название SISAL произошло от grepping "sal" для "Single Assignment Language" из словаря Unix / usr / dict / words.
Существуют версии для Cray X-MP, Y-MP, 2; Секвент, Encore Alliant, DEC VAX-11/784, поток данных архитектуры, КСР1, Транспьютеры и систолические массивы.
Архитектура
Требования к мелкозернистый параллелизм language лучше сочетается с языком потока данных, чем с системным языком.[нужна цитата ]
SISAL - это больше, чем просто поток данных и мелкозернистый язык. Это набор инструментов, которые преобразуют текстовый язык потока данных, читаемый человеком, в формат графа (названный IF1 - Посредническая форма 1). Часть проекта SISAL также включала преобразование этого формата графа в исполняемый код C.[2]
SISAL Эпоха Возрождения
В 2010 году SISAL ненадолго возродился, когда группа студентов Вустерский политехнический институт исследовал реализацию бэкэнда мелкозернистого параллелизма для языка SISAL.[2]
В 2018 году SISAL был модернизирован с использованием синтаксиса на основе отступов, первоклассных функций, лямбда-выражений, замыканий и ленивой семантики в рамках проекта SISAL-IS.[3]
использованная литература
- ^ Отставить Фортран?: Возобновились дебаты, Дэвид Кэнн, август 1992 г., Сообщения ACM, том 35, выпуск 8
- ^ а б http://www.wpi.edu/Pubs/E-project/Available/E-project-031210-134520/unrestricted/FinalReport.pdf
- ^ https://github.com/parsifal-47/sisal-is
- Обзор VAL
- Учебник по языку сизаля
- Статья основана на материалах, взятых из Бесплатный онлайн-словарь по вычислительной технике до 1 ноября 2008 г. и зарегистрированы в соответствии с условиями «перелицензирования» GFDL, версия 1.3 или новее.
внешние ссылки
- SISAL Параллельное программирование Страница проекта SourceForge.net