Сборники трудов ИСП РАН


Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ

Легалов А.И. (СФУ, Красноярск, Россия)
Васильев В.С. (СФУ, Красноярск, Россия)
Матковский И.В. (СФУ, Красноярск, Россия)
Ушакова М.С. (СФУ, Красноярск, Россия)

Аннотация

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

Ключевые слова

архитектурно-независимое параллельное программирование; функционально-потоковое параллельное программирование; трансформация программ; средства разработки программ; информационный граф, управляющий граф

Издание

Труды Института системного программирования РАН, том 29, вып. 5, 2017, стр. 165-184.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2017-29(5)-10

Полный текст статьи в формате pdf Вернуться к содержанию тома