Оптимизация параллельных списков функционально-потокового языка программирования «Пифагор»

Перевод названия: Optimization of parallel lists of the functional and dataflow programming language PIFAGOR

Тип публикации: статья из журнала

Год издания: 2014

Ключевые слова: functional programming, Code optimization, VLSI design, parallel programming, функциональное программирование, оптимизация кода, разработка СБИС, параллельное программирование

Аннотация: Рассматриваются оптимизирующие преобразования параллельных списков в программах, написанных на языке функционально-потокового программирования «Пифагор». Параллельные списки являются выразительным языковым средством, обеспечивая описание независимых данных и функций. Их использование позволяет компактно описать параллельные фрагменты за счет наличия в языке возможностей эквивалентного преобразования в более простые структуры. Параллельные списки могут вкладываться вдруг в друга, формируя сложные иерархические структуры, которые, в ряде случаев, могут быть выявлены и преобразованы в структуры с меньшим уровнем вложенности на этапе трансляции программы. Выполнение операторов программы на языке Пифагор контролируется управляющими автоматами, которые значительно осложняются тем, что на вход соответствующих операторов могут поступать параллельные списки. В случаях, когда удается установить, что параллельный список не содержит вложенных параллельных списков, размерность которых зависит от аргумента функции, возможна интерпретация списка на этапе трансляции. Интерпретация списка не только является самостоятельным оптимизирующим преобразованием, но и повышает эффективность применения других преобразований, что показано в статье на примере оптимизации управляющих автоматов. В ряде случаев такое преобразование приведет к полному удалению параллельных списков за счет дополнительного применения эквивалентных преобразований, закрепленных в модели вычислений. В заключительной части представлены ограничения, накладываемые архитектурой на программу и позволяющие реализовывать трансляцию функционально-потоковых параллельных программ в топологию сверхбольших интегральных схем. Также показана возможность более эффективной оптимизации параллельных списков при трансляции на архитектуру систем на кристалле за счет учета дополнительных ограничений.

Ссылки на полный текст

Издание

Журнал: Системы. Методы. Технологии

Выпуск журнала: 3

Номера страниц: 102-107

ISSN журнала: 20775415

Место издания: Братск

Издатель: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Братский государственный университет"

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.