Dataflow Computing Models, Languages, and Machines for Intelligence Computations

The authors compare dataflow computing models, languages, and dataflow computing machines for numerical and nonnumerical computations. The high-level-language-graph transformations that must be performed to achieve high performance for numerical and nonnumerical programs executed in a dataflow computing environment are described for Lisp, using the DCBL transformations. Some general problems of dataflow computing machines are discussed. Performance evaluation measurements obtained by executing benchmark programs in the ETL nonnumerical dataflow computing environment, the EM-3, are presented. >

[1]  Keizo Oyama,et al.  System Design of a Distributed Data Flow Computer and Its ExperimentaI Evaluation , 1984 .

[2]  John R. Gurd,et al.  Generation of dataflow graphical object code for the Lapse programming language , 1981, CONPAR.

[3]  H Sunahara,et al.  On the working set concept for dataflow machines: policies and their evaluation , 1986 .

[4]  Guang R. Gao,et al.  Modeling the Weather with a Data Flow Supercomputer , 1984, IEEE Transactions on Computers.

[5]  A. L. Davis,et al.  The architecture and system method of DDM1: A recursively structured Data Driven Machine , 1978, ISCA '78.

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

[7]  A. Davis.  A data flow evaluation system based on the concept of recursive locality* , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).

[8]  Toshitsugu Yuba,et al.  EM-3: A Lisp-Based Data-Driven Machine , 1984, FGCS.

[9]  Toshitsugu Yuba,et al.  Dataflow Computing , 1987, Parallel Algorithms and Architectures.

[10]  Makoto Amamiya,et al.  A list-processing-oriented data flow machine architecture , 1899 .

[11]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[12]  Ryuzo Hasegawa,et al.  Implementation and evaluation of a list-processing-oriented data flow machine , 1986, ISCA 1986.

[13]  David E. Culler,et al.  Dataflow architectures , 1986 .

[14]  Toshitsugu Yuba,et al.  DCBL: dataflow computing based language with n-value logic , 1986 .

[15]  Naohisa Takahashi,et al.  Optimized Demand-driven Evaluation of Functional Programs on a Dataflow Machine , 1986, ICPP.

[16]  Jean-Claude Syre,et al.  The Data Driven LAU Multiprocessor System: Results and Perspectives , 1980, IFIP Congress.

[17]  Kenji Nishida,et al.  Maintenance Architecture and Its LSI Implementation of a Dataflow Computer with a Large Number of Processors , 1986, ICPP.

[18]  Hiroshi Yasuhara,et al.  DDDP-a Distributed Data Driven Processor , 1983, ISCA '83.

[19]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[20]  J. Backus.  Software I: Function-level computing: A new programming method, linked to radically different architectures, may greatly simplify software development , 1982, IEEE Spectrum.

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

[22]  Kenji Nishida,et al.  An Architecture of a Data Flow Machine and Its Evaluation , 1984, COMPCON.

[23]  Michel Dubois,et al.  The TX16: A Highly Programmable Multi-microprocessor Architecture , 1986, IEEE Micro.

[24]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[25]  J. B. Dennis.  Data flow computation , 1986 .

[26]  J. E. Rodrigues,et al.  A GRAPH MODEL FOR PARALLEL COMPUTATIONS , 1969 .

[27]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[28]  Toshitsugu Yuba,et al.  A Control Mechanism of a Lisp-Based Data-Driven Machine , 1983, Inf. Process. Lett..

[29]  Kenji Nishida,et al.  A hardware design of the SIGMA-1, a data flow computer for scientific computations , 1986 .

[30]  E A Ashcroft,et al.  Operator nets , 1986 .

[31]  Toshitsugu Yuba,et al.  A performance evaluation of a Lisp-based data-driven machine (EM-3) , 1983, ISCA '83.

[32]  Toshitsugu Yuba.  Research and Development Efforts on Dataflow Computer Architecture in Japan , 1986 .

[33]  William W. Wadge,et al.  Lucid, a nonprocedural language with iteration , 1977, CACM.

[34]  Eiji Kuno,et al.  The Architecture and Preliminary Evaluation Results of the Experimental Parallel Inference Machine PIM-D , 1986, ISCA.

[35]  Kenji Nishida,et al.  Evaluation of a prototype data flow processor of the SIGMA-1 for scientific computations , 1986, ISCA 1986.

[36]  Ian Watson,et al.  Preliminary Evaluation of a Prototype Dataflow Computer , 1983, IFIP Congress.

[37]  Keith L. Clark,et al.  A relational language for parallel programming , 1981, FPCA '81.

[38]  Arvind,et al.  The U-Interpreter , 1982, Computer.

[39]  Arvind,et al.  Some Relationships Between Asynchronous Interpreters of a Dataflow Language , 1977, Formal Description of Programming Concepts.

[40]  Hidehiko Tanaka,et al.  Procedure Level Data Flow Processing on Dynamic Structure Multimicroprocessors , 1982 .

[41]  Masahiro Sowa,et al.  A Data Flow Computer Architecture with Program and Token Memories , 1982, IEEE Transactions on Computers.

[42]  John Glauert,et al.  SISAL: streams and iteration in a single assignment language. Language reference manual, Version 1. 2. Revision 1 , 1985 .

[43]  Toshitsugu Yuba,et al.  Preliminary measurements of the ETL LISP-based data-driven machine , 1986 .

[44]  Ehud Shapiro,et al.  A subset of Concurrent Prolog and its interpreter , 1988 .

[45]  Benjamin W. Wah,et al.  Computers for Artificial Intelligence Applications , 1986 .

[46]  Naohisa Takahashi,et al.  A data flow processor array system: Design and analysis , 1983, ISCA '83.

[47]  Jarvis Dean Brock.  Operational Semantics of a Data Flow Language. , 1978 .

[48]  Vason P. Srini,et al.  An Architectural Comparison of Dataflow Systems , 1986, Computer.

[49]  Richard P. Hopkins,et al.  Combining Data Flow and Control Flow Computing , 1982, Comput. J..