Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Parallel execution of logic programs
Parallel execution of logic programs
Computer
Concurrent Prolog: A Progress Report
Computer
FCP: a summary of performance results
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
A sequential abstract machine for flat concurrent prolog
Journal of Logic Programming
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
FCP sequential abstract machine characteristics for the systems development workload
Proceedings of the 1990 North American conference on Logic programming
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
A VLSI Architecture for Concurrent Data Structures
A VLSI Architecture for Concurrent Data Structures
Architectural support for concurrent logic programming languages
Architectural support for concurrent logic programming languages
Hi-index | 0.00 |
A special-purpose architectural support that reduces the goal-management execution time in flat concurrent Prolog (FCP) is described. The architectural support consists of a dedicated goal-management unit that executes high-level goal-management operations concurrently with goal-reduction operations. The efficient execution of goal-management instructions is realized using a goal cache that stores recently spawned goals. It is shown that operations such as goal-switching, spawning, and halting are efficiently performed by changing their status in the goal cache. More complex operations, such as goal suspension and activation are decoupled from goal reduction by using two suspension tables and activation queues. Using an analytic performance model, it is shown that, for the systems development workload, which consists of large FCP programs, the overhead of software-implemented goal management is 50% of the program execution time. This is reduced up to 3% using the goal-management unit and the goal cache, resulting in a speedup of almost 2. The results are generalized for other workloads that exhibit different goal-management complexities.