OR-parallel execution of Prolog on a multi-sequential machine
Based on extending the sequential execution model of Prolog to include parallel execution, we present a method for OR-parallel execution of Prolog on a multi-processor system. The method reduces the overhead incurred by parallel processing. It allows many processing elements (PEs) to process simultaneously a common branch of a search tree, and each of these PEs creates its local environment and selects a subtree for processing without communication. The run-time overhead is small: simple and efficient operations for selecting the proper subtree. Communication is necessary only when some PEs have exhausted their search spaces and there are others still searching for solutions. The method is able to utilize most of the technology devised for sequential implementation of Prolog. It is optimized for an architecture that supports broadcast copying.
- Or-parallel Prolog on a distributed memory architecture
- On the implementation of an or-parallel Prolog system for clusters of multicores
- An abstract machine to implement or-and parallel PROLOG efficiently
- OR-parallel PROLOG in flat concurrent PROLOG
- Algebraic computational models of OR-parallel execution of Prolog
- scientific article; zbMATH DE number 512899
- PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
- scientific article; zbMATH DE number 3963188
- scientific article; zbMATH DE number 2085267
- A parallel Prolog resolution based on multiple unifications
- Performance of Muse on switch-based multiprocessor machines
- Improvements to the control techniques of sequential inference machines - from instructions to hardware organization
- An abstract machine to implement or-and parallel PROLOG efficiently
- The reduce-or process model for parallel execution of logic programs
- Threads and or-parallelism unified
- scientific article; zbMATH DE number 3963188 (Why is no real title available?)
- scientific article; zbMATH DE number 512899 (Why is no real title available?)
- A parallel prolog system for distributed memory
- On the implementation of an or-parallel Prolog system for clusters of multicores
- OR-parallel PROLOG in flat concurrent PROLOG
- Or-parallel Prolog on a distributed memory architecture
- Transforming generate-and-test programs to execute under committed-choice AND-parallelism
This page was built for publication: OR-parallel execution of Prolog on a multi-sequential machine
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1819926)
