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

Перевод названия: Computation event model backing the execution of functional data flow concurrent programs

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

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

Ключевые слова: управление вычислениями, параллельное программирование, автоматные модели, computation control, concurrent programing, automaton models, Computation model, functional data flow concurrent programing paradigm, translators, модель вычислений, функционально-потоковая парадигма параллельного программирования, трансляторы

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

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

Издание

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

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

Номера страниц: 113-119

ISSN журнала: 20775415

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

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

Авторы

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

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

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