OR-Parallel Execution of Prolog on a Multi-Sequential Machine
Number of Authors: 1
1986 (English)Report (Refereed)
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 multiprocessor 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 which supports broadcast copying.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1986, 1. , 33 p.
SICS Research Report, ISSN 0283-3638 ; R86:06B
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-14013OAI: oai:DiVA.org:ri-14013DiVA: diva2:1035296
Original report number R86006B. (Revised version of R86006). (Also located in the International Journal of Parallel Programming. Vol. 15, No. 3, June 1986, pp. 189-214.)2016-10-132016-10-13