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

Перевод названия: Support tools for creation and transformation of functional-dataflow parallel programs

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

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

Идентификатор DOI: 10.15514/ISPRAS-2017-29(5)-10

Ключевые слова: архитектурно-независимое параллельное программирование, функционально-потоковое параллельное программирование, трансформация программ, средства разработки программ, информационный граф, управляющий граф, architecture-independent parallel programming, functional-dataflow parallel programming, transformation of programs, Software development tools, dataflow graph, control graph

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

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

Издание

Журнал: Труды Института системного программирования РАН

Выпуск журнала: Т.29, №-5

Номера страниц: 165-184

ISSN журнала: 20798156

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

Издатель: Учреждение Российской академии наук Институт системного программирования РАН

Авторы

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

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

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