Zusammenfassung
In dieser Arbeit wird die parallele Implementierung einer funktionalen Programmiersprache auf einem Transputer-Mehrprozessor-System beschrieben. Ein funktionales Programm wird zunächst in ein System von speziellen Funktionsdefinitionen, sogenannten seriellen Kombinatoren, übersetzt. Hierbei wird die auszunutzende implizite Parallelität explizit gemacht. Das System von seriellen Kombinatoren wird in Code für eine parallele abstrakte Maschine transformiert, die auf Graphreduktion basiert. Weiterhin werden einige Datenstrukturen der funktionalen Sprache vorgestellt und verglichen. Für einige Beispielprogramme werden hierzu die gemessenen Laufzeiten und Speedups angegeben.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
D.I. Bevan: Distributed Garbage Collection and Reference Counting, Conf. on Parallel Ar- chitectures and Languages Europe (PARLE), LNCS 258/259, Springer Verlag, 1987
G. Burn, C.L. Hankin, S.A. Abramsky: Strictness Analysis for Higher-Order Functions, Science of Programming 7, 1986
P. Hudak, B. Goldberg: Serial Combinators: Optimal Grains of Parallelism, Conf. on Functional Programming Languages and Computer Architectures, LNCS 201, Springer Verlag, 1985
J. Hughes: Supercombinators, ACM Symp. on LISP and Functional Programming, 1982
J. Hughes: Why Functional Programming Matters, internal report, Chalmers Institute of Technology, Göteborg, 1985
Th. Johnsson: Efficient Compilation of Lazy Evaluation, SIGPLAN Notices 13(6), 1984
Th. Johnsson: Lambda Lifting, Proc. Functional Programming Languages and Computer Architectures, LNCS 201, Springer Verlag, 1985
H. Kuchen: Parallele Implementierung funktionaler Programmiersprachen auf einem OCCAM-Transputer-System unter besonderer Beräcksichtigung applikativer Datenstrukturen, Dissertation, RWTH Aachen, 1989, in Vorbereitung
R. Loogen, H. Kuchen, K. Indermark, W. Damm: Distributed Implementation of Programmed Graph Reduction, PARLE Conf., LNCS 365, Springer Verlag, 1989
R. Loogen: Parallele Implementierung funktionaler Programmiersprachen, Informatik-Fachberichte 232, Springer Verlag, 1989
A. Mycroft: Abstract Interpretation and Optimizing Transformations for Applicative Programs, Ph.D. Thesis, Edinburgh, 1981
E. Myers: Efficient Applicative Data Types, ACM Symp. on Principles of Programming Languages, 1984
D.A. Turner: Miranda - A Non-Strict Functional Language with Polymorphic Types, LNCS 201, Springer Verlag, 1985
C.P. Wadsworth: Semantics and Pragmatics of the Lambda Calculus, Ph. D. Thesis, Oxford, 1971
P. Watson, I.Watson: An Efficient Garbage Collection Scheme for Parallel Computer Architectures, PARLE Conf., LNCS 258/259, Springer Verlag, 1987
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
Kuchen, H., Loogen, R. (1990). Parallele Implementierung einer funktionalen Programmiersprache auf einem Transputer-Mehrprozessor-System. In: Grebe, R. (eds) Parallele Datenverarbeitung mit dem Transputer. Informatik-Fachberichte, vol 237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84142-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-84142-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52366-6
Online ISBN: 978-3-642-84142-2
eBook Packages: Springer Book Archive