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
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:October 18,1988
  • Revised:
  • Adopted:
  • Online: August 18,2017
  • Published:
Article QR Code