Zusammenfassung
Das Teilprojekt C1 im Sonderforschungsbereich 124 beschäftigt sich mit der effizienten Implementierung funktionaler Programmiersprachen auf geeigneten Rechnerarchitekturen. Speziell soll dabei die Möglichkeit der parallelen Auswertung funktionaler Programme ausgenutzt werden. Wir untersuchen diese Möglichkeit zur Zeit für eine spezielle Klasse funktionaler Sprachen, den Sprachen mit verzögerter Auswertung (engl.: lazy evaluation). Der Wert eines Datenobjektes wird dabei nur ermittelt, wenn er für die Berechnung des Endergebnisses benötigt wird, in welchem Fall er nach seiner Berechnung für eine weitere Benutzung gespeichert wird. Als Rechnerarchitekturen betrachten wir lose gekoppelte Punkt-zu-Punkt Netze aus handelsüblichen Microprozessoren. Für eine erste Realisierung verwenden wir Transputer, da dieser Prozessortyp Kommunikation und Scheduling durch spezielle Hard- bzw. Firmware unterstützt.
unterstützt durch SFB 124 — VLSI-Entwurfsmethoden und Parallelität der DFG
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Th. Johnsson Efficient compilation of lazy evaluation, proceedings of the ACM SIG-PLAN Symposium on compiler construction SIGPLAN notices Vol.19 no.6, pp. 58–69, 1984
Jon Fairbairn, Stuart Wray, TIM: a simple lazy abstract machine to execute supercombinators Departemental research report CSC/87/R6, University of Glasgow
G.L. Burn, S.L. Peyton-Jones, J.D. Robson, The spineless G-Machine Proceedings of the ACM Lisp and Functional Programming, 1988, Utah, pp. 244–258
C. Clack, S.L. Peyton Jones The Four Stroke Reduction Engine ACM Conference on LISP and Functional Programming 1986, pp. 220–232
M. Raber, Th. Remmel et al., A concept for a parallel G-Machine SFB-Bericht 06/1987 des SFB 124-C1, Universität des Saarlandes
M. Raber, Th. Remmel et al., Compiled Graph Reduction on a Processor Network 10. GI/ITG Conference: Architektur und Betrieb von Rechensystemen, März 1988, Paderborn
B. Goldberg Detecting Sharing of partial applications in functional programs Proceedings of 1987 Functional Programming Languages and Computer Architecture Conference, pages 408–425, Springer-Verlag, LNCS 274, September 1987
M. Lemaitre et al. Mechanisms for efficient multiprocessor combinator reduction ACM Conference on Lisp and Functional Programming Proceedings, 1986
D.A. Turner A new implementation Technique for applicative languages Software Practice and Experience,9:31–49,1979
Inmos, The Transputer Applications Notebook Architecture and Software, Inmos Data-book Series
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maurer, D., Raber, M. (1990). Implementierung einer funktionalen Programmiersprache auf einem Transputernetz. In: Härder, T., Wedekind, H., Zimmermann, G. (eds) Entwurf und Betrieb verteilter Systeme. Informatik-Fachberichte, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76309-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-76309-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53490-7
Online ISBN: 978-3-642-76309-0
eBook Packages: Springer Book Archive