Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Turner, D.A.: "A New Implementation Technique for Applicative Languages," Software Practice and Experience, Vol. 9, 1979, pp. 31–49.
Keller,R.M.: "FEL (Function-Equation Language) Programmer's Guide," AMPS Technical Memorandum No. 7, University of Utah, April 1982.
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.
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.
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.
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.
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.
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.
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.
Henderson,P.: "Functional Programming, Application and Implementation," Prentice-Hall, 1980.
Allen,J.: "Anatomy of LISP," McGraw-Hill, 1978.
Ershov, A.P.: "Mixed Computation: Potential Application and Problems for Study," Theoretical Computer Science 18, 1982, pp. 41–67.
Backus, J.: "Can Programming be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs," Comm. ACM, Vol. 21, No. 8, 1978, pp.613–641.
Aho,A.V.: "Principles of Compiler Design", Addison-Wesley, 1977
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ono, S., Takahashi, N., Amamiya, M. (1986). Partial computation with a dataflow machine. In: Goto, E., Araki, K., Yuasa, T. (eds) RIMS Symposia on Software Science and Engineering II. Lecture Notes in Computer Science, vol 220. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16470-7_5
Download citation
DOI: https://doi.org/10.1007/3-540-16470-7_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16470-8
Online ISBN: 978-3-540-39809-7
eBook Packages: Springer Book Archive