A Compiling Approach for Exploiting AND-parallelism in Logic Programs
DOI:
CSTR:
Author:
Affiliation:
Clc Number:
Fund Project:
Article
|
Figures
|
Metrics
|
Reference
|
Related
|
Cited by
|
Materials
|
Comments
Abstract:
Exploiting AND-parallelism is important in the research of parallel execution of logic programs. In this paper,a compiling approach for exploiting AND-parallelism in logic programming is presented. The approach consists of three phases: analysis of entry modes; derivation of exit modes; and determination of execution graph expressions. Compared with other approaches. this approach,with the compile一time program-level data dependence analysis of logic programs,can efficiently exploit AND-parallelism in logic programs. Two precompilers,based on our approach and DeGroot's respectively have been implemented in SES-PIM system. Through compiling and running some typical benchmarks in SES-PIM,we conclude that our approach can exploit the maximum AND--parallelism under “producer-consumer”scheme,exactly the same degree as the dynamic approach once employed in SES-PIM,and needs significantly less dynamic overhead than DeGroot's while exploiting more AND-parellelism than DeGroot's.
Reference
Related
Cited by
Get Citation
Huang Zhiyi, Hu Shouren. A Compiling Approach for Exploiting AND-parallelism in Logic Programs[J]. Journal of National University of Defense Technology,1989,11(4):1-10.