Abstract
This paper gives a short report on the current state of our research into scheduling speculative tasks in the Aurora or-parallel Prolog system. A Speculative task is one that may be pruned by a cut or commit, rendering any work done on that task to be wasted. The use of pruning operators is commonplace in most Prolog applications so there is a need to schedule speculative tasks in a way that avoids wasted work.
Several schedulers have already been developed for the Aurora system but none of the current schedulers make any distinction between speculative and non-speculative work.
We show that by treating speculative work differently it is possible to obtain a significant improvement in performance as measured both by the reduction of wasted work and an improvement in speedups.
Preview
Unable to display preview. Download preview PDF.
References
Khayri Ali. Or-parallel execution of Prolog on BC-Machine. SICS Research Report, Swedish Institute of Computer Science, 1987.
Khayri A. M. Ali and Roland Karlsson. The Muse or-parallel Prolog model and its performance. In Proceedings of the North American Conference on Logic Programming, MIT Press, October 1990.
Anthony Beaumont, S Muthu Raman, Péter Szeredi, and David H D Warren. Flexible Scheduling of Or-Parallelism in Aurora: The Bristol Scheduler. In PARLE91: Conference on Parallel Architectures and Languages Europe, Springer Verlag, June 1991.
Per Brand. Wavefront scheduling. 1988. Internal Report, Gigalips Project.
Andrzej Ciepielewski. Personal communication. May 1991.
Bogumil Hausman. Pruning and Speculative Work in OR-Parallel PROLOG. PhD thesis, The Royal Institute of Technology, Stockholm, 1990.
Feliks Kluźniak. Developing Applications for Aurora. Technical Report TR-90-17, University of Bristol, Computer Science Department, August 1990.
Ewing Lusk, David H. D. Warren, Seif Haridi, et al. The Aurora or-parallel Prolog system. New Generation Computing, 7(2,3):243–271, 1990.
Raed Sindaha. Scheduling speculative work in the Aurora or-parallel Prolog system. March 1990. Internal Report, Gigalips Project, University of Bristol.
Péter Szeredi, Mats Carlsson, and Rong Yang. Interfacing engines and schedulers in or-parallel prolog systems. In PARLE91: Conference on Parallel Architectures and Languages Europe, Springer Verlag, June 1991.
David H. D. Warren. The SRI model for or-parallel execution of Prolog-abstract design and implementation issues. In Proceedings of the 1987 Symposium on Logic Programming, pages 92–102, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beaumont, A. (1991). Scheduling strategies and speculative work. In: Beaumont, A., Gupta, G. (eds) Parallel Execution of Logic Programs. PLP 1991. Lecture Notes in Computer Science, vol 569. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55038-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-55038-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55038-9
Online ISBN: 978-3-540-46673-4
eBook Packages: Springer Book Archive