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

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

Перевод названия: 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, модель вычислений, функционально-потоковая парадигма параллельного программирования, трансляторы

Аннотация: В работе рассматривается модель вычислений, описывающая выполнение программ на функционально-потоковом языке параллельного программирования Пифагор. Программы записываются в виде зависимостей по данным между операторами в концепции неограниченного параллелизма, что приводит к отсутствию побочных эффектов при вычислениях, а также привносит возможность эффективного распараллеливания. Модель включает внутреннее представление программ, состоящее из информационного и управляющего графов. Информационный граф эквивалентен исходному коду программы, для повышения эффективности вычислений к графу могут быть применены оптимизации для сокращения размера, например, удаление повторяющихся констант и поддеревьев. Управляющий граф формируется по заданному информационному графу и определяет пути продвижения управляющих сигналов между операторами программы. Варьированием управляющего графа достигаются различные стратегии управления вычислениями. Помимо этого, в модель включен слой автоматов, описывающих семантику выполнения операторов, определяющих специфику функционально-потоковой модели вычислений. Автоматы определяют состояния, в которых находятся программно-образующие операторы, а также определяют действия, происходящие при поступлении управляющих сигналов. Приводятся примеры, демонстрирующие особенности формирования элементов внутреннего представления и функционирования автоматов, реализующих операции функционально-потоковой модели параллельных вычислений. The article considers the computation model describing the execution of the programs in the functional data flow language of concurrent programing PYTHAGOR. The programs are written down in the form of data dependencies between the statements in the idea of unbounded concurrency that results in nonoccurrence of computation side effects and adds the efficient paralleling possibility. The model includes internal program representation consisting of information and control graphs. The information graph is equivalent to the program source code. To enhance computation efficiency, certain optimizations can be applied to the graph to reduce its size, for instance, the recurrent constants and subtrees deletion. The control graph is formed according to the given information graph and determines the actuating signals movement path between the program statements. By control graph variation, diverse strategies for computation control are achieved. Besides, the automatons layer describing the statements execution semantics determining the specific character of functional data flow computation model has been included into the model. The automatons determine the state of program-constituent statements and determine actions taking place on the control signals entry. The examples demonstrating the specifics of the internal representation elements generation and automatons functioning that implement the functional data flow concurrent computation model operations are given.

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

Издание

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

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

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

ISSN журнала: 20775415

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

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

Авторы

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

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

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