Аннотация.

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

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

dataflow-парадигма, модель атрибутной сети (А-сети), среда ОА-программирования и моделирования, суперкомпьютер.

S.M. Salibekyan, P.B. Panfilov

"Simulation of Object-Attribute Dataflow Supercomputer System "

Modeling principles of proposed attribute (A) and object-attribute (OA) architectures of computer systems (CS) that implement the dataflow execution model, and the results of a dataflow-supercomputer system simulation are described. A new formalism of "Attribute Nets" (A-nets) is proposed for mathematical modeling of dataflow-CS that differs significantly from apparatus of Petri Nets. This formalism lays foundation for the OA-programming&simulation environment of a dataflow-CS which is used in development programming and test of the OA-supercomputer system.

Keywords: dataflow paradigm, attribute nets model (A-nets), OA-programming and simulation environment, supercomputer.

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