DAOS - Scalable And-Or parallelism

• Type: Article in International Scientific Journal
• Date: 1999

Authors

Castro, LF (Author) Other; Costa, VS (Author) FCUP; Geyer, CFR (Author) Other; Silva, F (Author) FCUP; Vargas, PK (Author) Other; Correia, ME (Author) FCUP

Journal

The Journal is awaiting validation by the Administrative Services.

Title: EURO-PAR'99: PARALLEL PROCESSING

Vol. 39

Pages: 899-908

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 4 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-001-5KG

DOI: 10.1007/3-540-48311-X_125

Abstract (EN): This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically shared address space. Exploiting both major forms of implicit parallelism should serve a broadest range of applications. Besides, a model that uses a distributed memory environment provides scalability and can be implemented over a computer network. However, distributed implementations of logic programs have to deal with communication overhead and inherent complexity of distributed memory managent. DAOS overcomes those problems through the use of a distributed shared memory layer to provide single-writer, multiple-readers sharing for the main execution stacks combined with explicit message passing for work distribution and management.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 10