An investigation of an OR parallel execution model for horn clause programs
Number of Authors: 2
1988 (English)Report (Refereed)
We present a model for OR parallel execution of Horn clause programs on a combined local and shared memory multiprocessor system. In this model, the shared memory only contains control information that guides processors requesting a job to independently construct the environment required to get a new job. Each processor has a local memory containing its own binding environment. This reduces the traffic to the shared memory and allows each processor to process its job with high performance. Each processor is almost the same as Warren's Abstract Machine (WAM). A method for nonshared memory multiprocessor architectures is outlined. We also present some preliminary results of an experimental investigation of the model.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1988, 1. , 27 p.
SICS Research Report, ISSN 0283-3638 ; R88:17
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-22192OAI: oai:DiVA.org:ri-22192DiVA: diva2:1041736
Original report number R88017.2016-10-312016-10-31Bibliographically approved