Abstract
We have presented our stepwise approach to the design of an architecture for a multiprocessor reduction machine, starting from requirements induced by the language and by architectural considerations.
Perhaps the most important feature of the machine is the load balancing mechanism, that includes the decentralized computation and distribution of an instantaneous load information, allowing tasks to be equally distributed among processors. Furthermore, this load information allows each reduction processor to dynamically change its execution model, thus contributing to the regulation of the instantaneous parallelism in the machine. We also saw how information concerning management of potential parallelism can be conveyed by combinators themselves.
More details of this architecture, such as the network organization, garbage collector, etc., and details concerning compilation, can be found in [Castan85, Castan86a, Castan86b, Lemaître86].
This research is supported by the DGA/STPA under contract STPA no 8595004.07
UUCP: ..!seismo!mcvax!inria!tls-cs!castan
Preview
Unable to display preview. Download preview PDF.
References
Arvind, R.A. Iannucci Two fundamental issues in multiprocessing: The Data Flow solution MIT/LCS/TM-241, September 1983.
A. Bawden, R. Greenblatt, J. Holloway Lisp machine progress report, MIT memo ≠444, 1977.
Ph. Berger, D. Comte, N. Hifdi, B. Pelois, J.C. Syre Mise en oeuvre d'un prototype de multiprocesseur en assignation unique Rapport final, TEAU 18, ONERA-CERT, 1980.
M. Castan Conception et réalisation d'une machine spécialisée dans le traitement des formes arborescentes. Thèse de troisième cycle, Octobre 1980, UPS Toulouse, France.
M. Castan, M.H. Durand, M. Lemaître A set of combinators for abstraction in linear space September 1985, to be published in Information Processing Letters
M. Castan, G. Durrieu, B. Lecussan, M. Lemaître Etude sur le parallélisme non vectoriel dans les applications aéronautiques: mécanismes de base de la machine MaRS, machine multiprocesseurs à réduction symbolique. Rapport final no 1/3244/DERI, Volume 2, Janvier 86.
M. Castan, M. H. Durand, G. Durrieu, B. Lecussan, M. Lemaître MaRS: a multiprocessor machine for parallel graph reduction Hawaii International Conference on System Sciences, Honolulu, January 1986.
Y. Chu, M. Abrams Programming languages and direct execution computer architecture, Computer, July 1981.
A. Church The calculi of lambda-conversion Ann. of Math. studies, Princeton, N.J. 1941, 2nd ed. 1951.
J. Darlington, M. Reeve ALICE, a multiprocessor reduction machine for the parallel evaluation of applicative languages Proc. of the Conference on functional programming languages and computer architecture. October 1981, Portsmouth, New Hampshire.
G. Durrieu LAURA: a parallel non vectorial data driven processor for aeronautic workstations Hawaii International Conference on System Sciences, Honolulu, January 1986.
E.A. Feustel On the advantages of the tagged architecture IEEE Transactions on Computer, Vol 22, No 4, 1973
D.P. Friedman, D.S. Wise CONS should not evaluate its arguments Michaelson and Milnes Eds., Automata, Languages and Programming, Edindurgh University Press, 1976.
P. Greussay Contribution à la définition interprétative et à l'implémentation des lambda languages Thèse d'état, Université de Paris VI, Novembre 1977.
D.H. Grit, R.L. Page Deleting irrelevant tasks in an expression oriented multiprocess or system ACM Transaction on programming languages and systems, 3(1), pp 49–59, January 1981.
C.L. Hankin, P.E. Osmon, M.J. Shute COBWEB: A combinator reduction architecture Functional Languages and Computer Architecture, Nancy France, September 1985.
P. Henderson Functional Programming, application and implementation Prentice Hall International, 1980
P. Henderson Purely Functional Operating Systems, in Functional programming and its applications, Darlington, Henderson, Turner Eds. Cambridge University Press, 1982.
P. Hudak, B. Goldberg Experiments in diffused combinator reduction ACM Symposium on Lisp and Functional Programming, Austin Texas, August 1984.
R.M. Keller, F.C.H. Lin, J. Tanaka Rediflow Multiprocessing Proc. IEEE Compcon, February 1984
M. Lemaître, M. Castan, M.H. Durand, G. Durrieu, B. Lecussan Mechanism for efficient multiprocessor combinator reduction ACM Symposium on Lisp and Functional Programming, Cambridge Massachusetts, August 1986
J. Mc Carthy Recursive functions of symbolic expressions and their computation by machines CACM Vol 3, n° 4, April 1960
W.R. Stoye, T.J. Clarke, A.C. Norman Some practical methods for rapid combinator reduction ACM Symposium on Lisp and Functional Programming, Austin Texas, August 1984
W.R. Stoye Message Based Functional Operating Systems Science of Computer Programming, 6 (1986).
P.C. Treleaven Computer architecture for functional programming, in Functional Programming and its Application, J. Darlington, P. Henderson, D.A. Turner (eds), Cambridge University Press, 1982
D.A. Turner A new implementation technique for applicative languages Software practice and experience, vol. 9, 1979.
S.R. Vegdhal A survey of proposed architectures for the execution of functional languages IEEE Transaction on computers, C-33(12), December 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Castan, M. et al. (1987). Toward the design of a parallel graph reduction machine the MaRS project. In: Fasel, J.H., Keller, R.M. (eds) Graph Reduction. GR 1986. Lecture Notes in Computer Science, vol 279. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18420-1_54
Download citation
DOI: https://doi.org/10.1007/3-540-18420-1_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18420-1
Online ISBN: 978-3-540-47963-5
eBook Packages: Springer Book Archive