Blick ins Buch

Parallel Execution of Parlog

Andrew Cheese (Autor)

Buch | Softcover

X, 190 Seiten

1992
Springer Berlin (Verlag)
978-3-540-55382-3 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Detailed performance results for both models of computation are given. From the material it should be possible for the reader to create an implementation.

This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two different abstract models are also considered: a graph reduction based model and a more imperative approach. The design of a specialized instruction set is presented that is general enough to be used for the whole family of concurrent logic programming languages. In particular the language Parlog is concentrated upon because it is the most efficiently implementable of all the non-flat logic programming languages. Other issues arising from the implementation of a programming language are discussed, in particular the design of a load balancing scheme which deals with the large number of short-lived processes inherent in a correct language implementation. Detailed descriptions of all the data structures and synchronisation algorithms are also presented. Resource exhaustion is also discussed and handled within the implementations. Detailed performance results for both models of computation are given. From the material it should be possible for the reader to create an implementation.

Parlog a concurrent logic programming language.- A fine-grain graph-reduction model of computation.- Implementing parlog on a packet-rewriting computational model.- The Multi-Sequential coarse-grain approach.- Summary, further work and conclusions.

Erscheint lt. Verlag	20.5.1992
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	X, 190 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	340 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	algorithm • algorithms • data structure • data structures • Functional Programming • Funktionelles Programmieren • Hardcover, Softcover / Informatik, EDV/Programmiersprachen • HC/Informatik, EDV/Programmiersprachen • Implementierung von Programmiersprachen • Logic • Logic Programming • Logische Programmierung • Logisches Programmieren • Objektorientierte Programmierung • Paralleler Prozess • Parallelism • Parallelität • PARLOG • programming • Programming language • Programming Languages Implementation
ISBN-10	3-540-55382-7 / 3540553827
ISBN-13	978-3-540-55382-3 / 9783540553823
Zustand	Neuware