Аннотация.

В статье представлены основы разрабатываемого формального аппарата (ОА-сеть) для описания и анализа вычислительного процесса в системах и приложениях, работающих в парадигме dataflow (управление вычислениями c помощью потока данных). Основой аппарата стали объектно-атрибутный подход к организации вычислительного процесса, теория конечных автоматов и теория процессных сетей Кана. Разработанный аппарат позволяет описывать все нюансы параллельного вычислительного процесса в распределенной вычислительной системе и найдет применение в имитационном моделировании, для оценки параметров вычислительной системы и поиска тупиковых ситуаций.

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

объектно-атрибутная архитектура, параллельные вычисления, моделирование, вычислительная система с управлением потоком данных, dataflow, процессная сеть Кана, теория конечных автоматов.

Стр. 3-9.

Полная версия статьи в формате pdf. 

S.M. Salibekyan, P.B. Panfilov

"Issues in automata network modeling of dataflow computing systems"

Basics of the developed formal model (an OA-automata network) are presented in article. The model is intended for the description and the analysis of computational processes in the systems and applications working in dataflow programming paradigm. In the foundation of the model are the object-attribute approach to the organization of dataflow computational process, the theory of finite state machines (automata theory) and the theory of Kahn process networks (KPN). The developed model allows to describe concurrent computations in the distributed computing system in all its details: simultaneous work of several computing devices; direct data exchange between computing devices and an exchange through the common or distributed random access memory; data transmission on communication links connecting computing devices; synchronization of parallel computations, etc. The developed framework will be used in simulation modeling for an assessment of the computer system parameters and detection of conditions for deadlock in the parallel computation.

Keywords: object-attribute architecture, model of computation, concurrent computing processes, simulation model, formal model, dataflow, Kahn process networks, finite state machine automata.