Performance of Sparse Binding Arrays for Or-Parallelism

• Type: Article in International Conference Proceedings Book
• Date: 1996

Authors

Costa, VS (Author) FCUP; Manuel E Correia (Author) FCUP; Silva, F (Author) FCUP

Conference proceedings International

Title: Anais do VIII International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 1996)

Other information

Authenticus ID: P-00Y-8Z8

DOI: 10.5753/sbac-pad.1996.19823

Abstract (EN): <jats:p>One important problem in the design of novel logic programming systems is the support of several forms of implicit parallelism. A new binding model, the Sparse Binding Array (SBA), has been proposed for the efficient and simplified integration of Independent-And, Determinate-And and Or-parallelism. In this paper we report on the use of this model for pure Or-parallelism. The work discusses the major implementation issues in supporting this binding model for pure Or-parallelism. We show that an implementation based on this Binding model is more efficient then the original Aurora using tbe traditional Binding Array model [16]. Moreover, we explain how the notion of a variable level can be used to reduce overheads of the Orparallel system. Our results in supporting pure or-parallelism show that the approach is very promissing for combined paralell systems.</jats:p>

Language: English

Type (Professor's evaluation): Scientific