(Enter summary)
Abstract: Work which may later be pruned is called speculative work. In this paper we present and
evaluate a simple and efficient strategy, used in the Muse OR-parallel Prolog system, for
better scheduling of speculative work. The strategy concentrates workers on the leftmost
available work in the Prolog tree as long as there exists enough parallelism, thus emulating
the sequential Prolog execution as much as possible. This strategy therefore makes
it less probable that unnecessary work is executed. A... (Update)
Context of citations to this paper: More
...rise to or parallelism. To take an example, consider the program for solving the 8 queens problem: queens(Qs) queens(Qs, [1,2,3,4,5,6,7,8]) queens( queens( X Xs] Placed, Values) delete(X, Values, Newvalues) noattack(X, Placed) queens(Xs, X Placed]...
.... to environment copying between parent and child processes although in some cases this is proved to be faster than a sharing binding scheme [2]. Processors view the search space as totally independent computations. Therefore each processor starts computing each path from the...
Cited by: More
YapOr: an Or-Parallel Prolog System based on Environment.. - Rocha, Silva, Costa (1997)
(Correct)
On the Duality between Or-parallelism and And-parallelism in.. - Pontelli, Gupta (1995)
(Correct)
OASys: An AND/OR Parallel Logic Programming System - Vlahavas, Kefalas, Halatsis
(Correct)
Active bibliography (related documents): More All
1.0: Parallel Execution of Prolog Programs: A Survey - Gupta, Ali, Carlsson, al. (1995)
(Correct)
0.7: A High Performance OR-parallel Prolog System - Karlsson (1992)
(Correct)
0.4: The Engine-Scheduler Interface used in the Muse OR-parallel.. - Karlsson, Ali (1992)
(Correct)
Similar documents based on text: More All
0.4: Performance of Muse on Switch-Based Multiprocessor Machines - Ali, Karlsson, Mudambi (1992)
(Correct)
0.3: The Muse Approach to Or-Parallel Prolog - Ali, Karlsson (1994)
(Correct)
0.2: How to Build your own OR-parallel Prolog System - Roland Karlsson (1992)
(Correct)
Related documents from co-citation: More All
7: The Aurora Or-Parallel Prolog System (context) - Lusk, Butler et al. - 1988
5: Full Prolog and scheduling or-parallelism in MUSE (context) - Ali, Karlsson - 1990
4: A High Performance OR-parallel Prolog System
- Karlsson - 1992
BibTeX entry: (Update)
K. A. M. Ali and R. Karlsson. Scheduling speculative work in MUSE and performance results. International Journal of Parallel Programming, 21(6), December 1992. http://citeseer.ist.psu.edu/ali92scheduling.html More
@article{ ali92scheduling,
author = "Khayri A. M. Ali and Roland Karlsson",
title = "Scheduling Speculative Work in {MUSE} and Performance Results",
journal = "International Journal of Parallel Programming",
volume = "21",
number = "6",
pages = "449--476",
year = "1992",
url = "citeseer.ist.psu.edu/ali92scheduling.html" }
Citations (may not include all citations):
395
An Abstract Prolog Instruction Set (context) - Warren - 1983
63
The SRI Model for Or-parallel Execution of Prolog---Abstract.. (context) - Warren - 1987
54
SICStus Prolog User's Manual (context) - Carlsson - 1991
34
The Muse Approach to Or-Parallel Prolog
- Ali, Karlsson - 1990
29
Full Prolog and Scheduling Or-Parallelism in Muse (context) - Ali, Karlsson - 1990
24
WARPLAN: a System for Generating Plans (context) - Warren - 1974
20
Pruning and Speculative Work in OR-parallel Prolog (context) - Hausman - 1990
20
Flexible Scheduling of ORparallelism in Aurora: The Bristol .. (context) - Beaumont, Raman et al. - 1991
16
Scheduling OR-parallelism: an Argonne perspective (context) - Butler, Disz et al. - 1988
16
Scheduling Or-parallelism in Aurora---the Manchester schedul.. (context) - Calderwood, Szeredi - 1989
14
Prolog by Example (context) - Coelho, Jos'e - 1988
12
Scheduling Speculative work in OR-parallel Prolog Systems (context) - Beaumont, Warren - 1993
10
The Dharma Scheduler -- Definitive Scheduling in Aurora on M.. (context) - Sindaha - 1992
7
Using Prolog to represent and reason about protein structure (context) - Rawlings, Taylor et al. - 1986
6
Wavefront scheduling (context) - Brand - 1988
6
OR-parallel Speedups in a Knowledge Based System: on Muse an.. (context) - Ali, Karlsson - 1992
5
Performance of Muse on SwitchBased Multiprocessor Machines
- Ali, Karlsson et al. - 1992
1
Or-parallel Speedups in a compiled PROLOG engine: Results of.. (context) - Maes - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/~roland/papers.html):
Evaluation of a Fast Activation Mechanism for the Kanerva SDM.. - Karlsson (1995)
(Correct)
A High Performance OR-parallel Prolog System - Karlsson (1992)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC