HIGH-EFFICIENCY COMPUTING SYSTEMS

Simulation of object-attribute dataflow supercomputer system

S. M. Salibekyan^a, P. B. Panfilov<sup>b

a</sup> Moscow Institute of Electronics and Mathematics — Higher School of Economics
^b Минэкономразвития РФ

Abstract: 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.