Architectural support for the management of tightly-coupled fine-grain goals in flat concurrent Prolog

Authors:
Leon Alkalaj;Tomás Lang;Miloš Ercegovac
Affiliations:
Jet Propulsion Lab., MS 198-231 Caltech, Pasadena, CA;Computer Science Department, University of California, Los Angeles, CA;Computer Science Department, University of California, Los Angeles, CA
Venue:
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Year:
1990

Citing 4
Cited 2

Parallel logic programming in PARLOG: the language and its implementation

Parallel logic programming in PARLOG: the language and its implementation
FCP: a summary of performance results

C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Parallel logic programming techniques

Parallel logic programming techniques
Architectural support for concurrent logic programming languages

Architectural support for concurrent logic programming languages

Architectural Support for Goal Management in Flat Concurrent Prolog

Computer - Special issue on sharing: high performance at low cost
Logic Programming Languages for the Internet

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose architectural support for goal management as part of a special-purpose processor architecture for the efficient execution of Flat Concurrent Prolog. Goal management operations: halt, spawn, suspend and commit are decoupled from goal reduction, and overlapped in the Goal Management Unit. Their efficient execution is enabled using a Goal Cache. We evaluate the performance of the goal management support using an analytic performance model and program parameters characteristic of the System's Development Workload. Most goal management operations are completely overlapped, resulting in a speedup of 2. Higher speedups are obtained for workloads that exhibit greater goal management complexity.