Can I read Or-parallel Prolog Execution on Multicores Based on Stack Splitting on EtoBox?

Or-parallel Prolog Execution on Multicores Based on Stack Splitting by Rui Vieira; Ricardo Rocha; Fernando Silva is a scholarly article available to read on EtoBox.

What is Or-parallel Prolog Execution on Multicores Based on Stack Splitting about?

Many or-parallel Prolog computational models exploiting implicit parallelism have been proposed in the past. The Muse and YapOr systems are arguably two of the most efficient systems exploiting or-parallelism on shared memory architectures, both based on the environment copying model. Stack splitting emerged as an alternative model specially geared to distributed memory architectures as it basically splits the computation in such a way that no further, or just minimal, synchronization is required.With the new multicore architectures, it just makes sense to recover the body of knowledge there is in this area and reengineer prior computational models to evaluate their performance on newer architectures. In this paper, we focus on the design and implementation of stack splitting in the YapOr system. Our aim is to take advantage of its robustness to efficiently implement stack splitting support using shared memory, and then be able to directly compare the original YapOr with the YapOr using stack splitting. We consider two splitting models, vertical splitting and half splitting, and have adapted data structures, scheduling and incremental copy procedures in YapOr to cope with the new m

Author

Rui Vieira; Ricardo Rocha; Fernando Silva

Publisher

ACM

Published

2012

Language

EN