登入選單

返回Google圖書搜尋

Second Evaluation of an OR Parallel Execution Model for Horn Clause Programs

Milton Wong

出版	Royal Institute of Technology, Department of Telecommunication and Computer Systems, 1988
URL	http://books.google.com.hk/books?id=vur2GwAACAAJ&hl=&source=gbs_api

註釋

Abstract: "K.A.M. Ali has proposed a model for OR parallel execution of Horn clause programs based on Warren's abstract machine (WAM) and shared control information. In the report 'Initial Evaluation of an OR Parallel Execution Model for Horn Clause Programs' (TRITA-TCS-8803B), I presented the results of experiments with an implementation of Ali's model. In this paper, the results of further experiments with Ali's model are presented. Several different locking strategies have been implemented, and their performance has been measured. The performance of these implementations of Ali's model has also been compared to the performance of (sequential) WAM. With the best of the tested locking strategies, speed-ups of up to about 2 over sequential WAM were achieved for highly parallel programs, using 7 processors."