Performance of a Simulated Dataflow Computer
- 1 October 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-29 (10) , 905-919
- https://doi.org/10.1109/tc.1980.1675474
Abstract
Our goal is to devise a computer comprising large numbers of cooperating processors (LSI). In doing so we reject the sequential and memory cell semantics of the von Neumann model, and instead adopt the asynchronous and functional semantics of dataflow. We briefly describe the high-level dataflow programming language Id, as well as an initial design for a dataflow machine and the results of detailed deterministic simulation experiments on a part of that machine. For example, we show that a dataflow machine can automatically unfold the nested loops of n X n matrix multiply to reduce its time complexity from 0(n3) to 0(n) so long as sufficient processors and communication capacity is available. Similarly, quicksort executes with average 0(n) time demanding 0(n) processors. Also discussed are the use of processor and communication time complexity analysis and "flow analysis," as aids in understanding the behavior of the machine.Keywords
This publication has 18 references indexed in Scilit:
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Indeterminacy, monitors, and dataflowACM SIGOPS Operating Systems Review, 1977
- Lucid—A Formal System for Writing and Proving ProgramsSIAM Journal on Computing, 1976
- A preliminary architecture for a basic data-flow processorACM SIGARCH Computer Architecture News, 1974
- First version of a data flow procedure languagePublished by Springer Nature ,1974
- Parallel Program Schemata and Maximal Parallelism II: Construction of ClosuresJournal of the ACM, 1973
- A data flow language for operating systems programmingACM SIGPLAN Notices, 1973
- Properties of a Model for Parallel Computations: Determinacy, Termination, QueueingSIAM Journal on Applied Mathematics, 1966
- The next 700 programming languagesCommunications of the ACM, 1966
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960