Partial computation with a dataflow machine
This paper presents a new dataflow computation model, named the Generation Bridging Operator (GBO) model. The model uses a partially ordered color set as well as newly defined firing rules extended from those of the colored token (CT) model.
This paper focuses discussion on one category of the GBO model, named the dynamic coloring static bridging (DCSB) model. It is shown that the DCSB model is able to process a closure as well as a restricted class of partial computation. This paper also clarifies a dataflow graph generation method for the DCSB model by describing the main differences in code generation between the DCSB model and the CT model.
The proposed dataflow models are promising for applicative programing language machine architectures.
Key wordsfunctional programming data flow parallel processing higher-order function closure code generation
Unable to display preview. Download preview PDF.
- Turner, D.A.: "A New Implementation Technique for Applicative Languages," Software Practice and Experience, Vol. 9, 1979, pp. 31–49.Google Scholar
- Keller,R.M.: "FEL (Function-Equation Language) Programmer's Guide," AMPS Technical Memorandum No. 7, University of Utah, April 1982.Google Scholar
- Amamiya,M., Hasegawa,R. and Ono,S.: "Valid, A High-Level Functional Programming Language for Data Flow Machines," Review of ECL, Vol.32, No.5, 1984.Google Scholar
- Arvind and Kathail,V.: "A Multiple Processor Dataflow Machine That Supports Generalized Procedures," Proceedings of the 8th Annual Symposium on Computer Architecture, May 1981, pp. 291–302.Google Scholar
- Gurd, J. and Watson, I.: "Data Driven System for High Speed Parallel Computing (1 & 2)," Computer Design, Vol. 9, No. 6 & 7, June & July 1980, pp. 91–100 & 97–106.Google Scholar
- Takahashi,N. and Amamiya,M.: "A Data Flow Processor Array System: Design and Analysis," Proceedings of the 10th Annual Symposium on Computer Architecture, June 1983, pp. 243–250.Google Scholar
- Amamiya,M., Hasegawa,R., Nakamura,O. and Mikami,H.: " A list-processing-oriented data flow machine architecture," Proceedings of the 1982 National Computer Conference, AFIPS, 1982, pp. 143–151.Google Scholar
- Keller, R.M., Lindstrom, G. and Patil, S.: "A Loosely Coupled Applicative Multiprocessing System," Proceedings of the 1979 National Computer Conference, AFIPS, Vol. 49, 1979, pp. 613–622.Google Scholar
- Darlington,J. and Reeve,M.: "ALICE: A Multi-Processor Reduction Machine for the Parallel Evaluation of Applicative Languages," Proceedings of the 1981 ACM/MIT Conference on Functional Programming Language and Computer Architecture, 1981, pp. 65–75.Google Scholar
- Henderson,P.: "Functional Programming, Application and Implementation," Prentice-Hall, 1980.Google Scholar
- Allen,J.: "Anatomy of LISP," McGraw-Hill, 1978.Google Scholar
- Aho,A.V.: "Principles of Compiler Design", Addison-Wesley, 1977Google Scholar