Download A Distributed Implementation of Flat Concurrent Prolog on by Uwe Glässer PDF

By Uwe Glässer

Show description

Read Online or Download A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems PDF

Similar german_5 books

Lehrbuch der Theoretischen Physik: Band IV · Quantentheorie I

Erst mit dem vorliegenden vierten Bande dieses Lehrbuches wird dessen Gesamtanlage deutlich erkennbar und ein wesentliches Stiick jenes Programms erfilllt, das ich im Vorwort des ersten Bandes skizziert habe: Die Quantenmechanik ist das eigentliche Herzstiick des Ganzen, und der Aufbau der klassischen Physik bahnt den Weg, urn zu ihr hin zu gelangen.

Allgemeine Methodenlehre der Statistik: Ein Lehrbuch für alle wissenschaftlichen Hochschulen

I. Die Statistik in der Gegenwart. Die Statistik gehort zu den Wesensmerkmalen moderner Kultur. Wie das naturwissenschaftliche Weltbild bemuht ist, immer mehr qualitative Unterschiede in quantitative aufzu losen, so suchen Wissenschaft und Politik im staatlichen, gesellschaftlichen und wirtschaftlichen Bereich den festen Boden der Zahl.

Additional info for A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

Example text

As specified in [Ba189], applies asynchronous point-to-point communication. Using the unique unit identifiers in combination with local routing matrices, messages between units not being direct neighbours are always forwarded following a shortest path. The Message-Passing System. The message-passing mechanism as it is embedded in the machine's distributed run-time system guarantees to be both, reliable as well as order-preserving. To be reliable means that messages cannot get lost or miss their receiver as a result of transmission failures.

CHT"uckiug. When a process reduction is delayed depending on the instantiation of one or more read-only variables, dause selection may become even more costly. A process which is scheduled several times, but cannot be reduced because of uninstantiated read-only variables, requires to evaluate the whole program procedure more than once. By application of an appropriate process suspension mechanism, the overall costs for dause selection can be reduced significantly. A process thereby becomes suspended as soon as it tries to access a read-only variable.

DESIGN OF AN ABSTRACT FCP MACHINE 42 Operational Behaviour of the Sequential Machine. Within each reduction cyde, the machine attempts to reduce an FCP process by means of a selected dause from the related program procedure. One by one, the process arguments are unified with the arguments of the dause. While the argument structures of the dause are encoded in the machine instructions of the program procedure, the heap addresses corresponding to the process arguments are referred by means of the argument pointer AP.

Download PDF sample

Rated 4.26 of 5 – based on 40 votes