An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine

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

Authors

Fernando M A Silva (Author) FCUP

Conference proceedings International

Title: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings

Pages: 170-182

Indexing

ISI Web of Knowledge

Scopus - 0 Citations

Other information

Authenticus ID: P-008-KJP

DOI: 10.1007/3-540-57287-2_46

Abstract (EN): Recently, new parallel architectures, namely distributed shared memory architectures, have been proposed and built. These combine the ease-of-use of shared memory architectures with the scalability of the message-passing architectures. These architectures provide software and hardware support for shared virtual address space on physically distributed memory. This paper describes Dorpp, an execution model that supports or-parallelism for these machine architectures, namely for the EDS parallel machine. Dorpp uses a shared memory model for or-parallelism. It attempts, however, at exploiting locality and at reducing communication overheads through scheduling and by caching accesses to remote shared data. The problem of memory coherency of cached data is discussed and solutions are proposed. Preliminary evaluation results of the execution model through simulation are presented. © Springer-Verlag Berlin Heidelberg 1993.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 13