Abstract
We proposed a dataflow-based massively parallel programming language V, which minimizes the conceptual difficulties in writing massively parallel program. V has both merits of functional programming language and object-oriented programming language. We introduced object-oriented abstraction, agent to write concurrent processes naturally because object-oriented programming is appropriate in expressing problems in terms of communicating entities. Moreover, we introduced field which abstracts an ensemble of agents and its topology description in order to write massively parallel programs which reflect structure of problems naturally.
As V has its basis on a functional programming language originally designed for a dataflow architecture, it is easy to extract parallelism of various level. Implementation issues for the Sequent Symmetry and the Fujitsu AP1000 were discussed. Our implementations extract fine-grain parallel threads and schedule them to exploit as much parallelism as target machines provide. Our message-flow computation based on the dataflow computation scheme can be implemented effectively by implementing the message passing between in a similar way to the parameter passing between function instances. An agent instance is implemented as a concurrent process using a frame. Intra-instance parallelism is realized as multi-threads scheduled on the frame.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G.A. Agha: “Actors: A Model of Concurrent Computation in Distributed Systems”, MIT Press, 1986.
M. Amamiya and R. Hasegawa: “Data Flow Computing and Eager and Lazy Evaluations”, New Generation Computing, Vol.2, p.p.105–129, 1984.
M. Amamiya, et al.: “Valid: A High-Level Functional Programming Language for Data Flow Machine”, Rev. ECL, Vol.32, No.5, p.p.793–802, NTT, 1984.
M.Amamiya, and R.Taniguchi: “Datarol: A Massively Parallel Architecture for Functional Language”, Proc. IEEE 2nd SPDP, p.p.726–735, 1990.
D.C. Cann: “Retire Fortran? A Debate Rekindled”, Communications of the ACM, Vol.35, No.8, p.p.81–89, 1992.
A.A. Chien: “Concurrent Aggregates.” The MIT Press, 1993.
D.E. Culler et al.: “Fine-grain Parallelism with Minimal Hardware Support: A Compiler-Controlled Threaded Abstract Machine” Proc. of 4th ASPLOS, 1991
R.E. Filman and D.P. Friedman: “Coordinated Computing”, MIT Press, 1984.
C.A.R. Hoare: “Communicating sequential processes”, Communications of the ACM, Vol.21, No.8, p.p.666–677, 1978.
T. Kawano et al.: “Datarol-II: A Fine-Grain Massively Parallel Architecture” Proc of PARLE'94, pp.781–784, 1994.
B. Meyer: “Object-Oriented Software Construction”, Interactive Software Engineering, 1988.
E. Takahashi et al.: “Compiling Technique Based on Dataflow Analysis for Functional Programming Language Valid”, Proc. of SISAL'93, pp.47–58, 1993.
Ueda, K. and Morita, M.: Message-Oriented Parallel Implementation of Moded Flat GHC, Proc. of Int'l. Conf. on Fifth Generation Computing Systems 1992, pp.799–808, 1992.
A. Yonezawa, editor: “ABCL: An Object-Oriented Concurrent System — Theory, Language, Programming, Implementation and Application” The MIT Press, 1990.
A. Yonezawa and M.Tokoro: “Object-Oriented Concurrent Programming”, MIT Press, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kusakabe, S., Amamiya, M. (1995). A dataflow-based massively parallel programming language “V” and its implementation on a stock parallel machine. In: Ito, T., Yonezawa, A. (eds) Theory and Practice of Parallel Programming. TPPP 1994. Lecture Notes in Computer Science, vol 907. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026584
Download citation
DOI: https://doi.org/10.1007/BFb0026584
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59172-6
Online ISBN: 978-3-540-49218-4
eBook Packages: Springer Book Archive