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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 1993

Autores

Fernando M A Silva (Autor) FCUP

Ata de Conferência Internacional

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

Páginas: 170-182

Indexação

ISI Web of Knowledge

Scopus - 0 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 13