Перевод названия: 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
Место издания: Братск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Братский государственный университет"