Architectural support for concurrent logic programming languages
Book
·
OSTI ID:7184662
The authors propose a special-purpose processor and shared-memory multiprocessor architecture for the efficient execution of flat concurrent prolog (FCP). Their design method is based on the analysis of the following suspected implementation bottlenecks: the overhead of redundant clause-tries, goal suspension, activation, argument dereferencing, and clause-trailing. The analysis consists of a set of performance models that are part of a general goal reduction model. The authors evaluate the models using program parameters obtained empirically by executing the System's Development Workload, which includes programs like the logix operating system, FCP compiler, FCP processor simulator, program analyzer and debugger. Measurements are obtained using the Statistics Logix (Slogix) emulator.
- OSTI ID:
- 7184662
- Country of Publication:
- United States
- Language:
- English
Similar Records
Architectural support for concurrent logic programming languages
An architectural model for a flat concurrent prolog processor
Exploiting fine grain parallelism in Prolog
Thesis/Dissertation
·
Sat Dec 31 23:00:00 EST 1988
·
OSTI ID:5918630
An architectural model for a flat concurrent prolog processor
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6933002
Exploiting fine grain parallelism in Prolog
Book
·
Sun Dec 31 23:00:00 EST 1989
·
OSTI ID:5361435