A Formal Definition of Data Flow Graph Models

In this paper, a new model for parallel computations and parallel computer systems that is based on data flow principles is presented. Uninterpreted data flow graphs can be used to model computer systems including data driven and parallel processors. A data flow graph is defined to be a bipartite graph with actors and links as the two vertex classes. Actors can be considered similar to transitions in Petri nets, and links similar to places. The nondeterministic nature of uninterpreted data flow graphs necessitates the derivation of liveness conditions.

[1]  William B. Ackerman.  Data flow languages , 1899 .

[2]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[3]  Jack B. Dennis,et al.  Data Flow Supercomputers , 1980, Computer.

[4]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[5]  Milos D. Ercegovac,et al.  Performance Analysis of a Data-Flow Computer with Variable Resolution Actors , 1984, ICDCS.

[6]  Vason P. Srini,et al.  Analysis of Cray-1S architecture , 1983, ISCA '83.

[7]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

[8]  Jack B. Dennis,et al.  First version of a data flow procedure language , 1974, Symposium on Programming.

[9]  R. Karp,et al.  Properties of a model for parallel computations: determinacy , 1966 .

[10]  Jack B. Dennis,et al.  A preliminary architecture for a basic data-flow processor , 1974, ISCA '75.

[11]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[12]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[13]  Sarah Williams,et al.  Computer applications , 1988 .

[14]  Kishor S. Trivedi.  Analytic Modeling of Computer Systems , 1978, Computer.

[15]  Richard P. Hopkins,et al.  Data-Driven and Demand-Driven Computer Architecture , 1982, CSUR.

[16]  K. M. Kavi.  Data flow modeling techniques , 1984 .

[17]  William B. Ackerman,et al.  Data Flow Languages , 1899, Computer.

[18]  Wil Plouffe,et al.  An asynchronous programming language and computing machine , 1978 .

[19]  Steve Paul Landry.  System oriented extensions to dataflow , 1981 .

[20]  Raymond E. Miller,et al.  A Comparison of Some Theoretical Models of Parallel Computation , 1973, IEEE Transactions on Computers.

[21]  Krishna M. Kavi,et al.  Isomorphisms Between Petr Nets and Dataflow Graphs , 1987, IEEE Transactions on Software Engineering.

[22]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[23]  Jean-Loup Baer,et al.  Computer systems architecture , 1980 .