Abstract
Most previous parallel logic programming systems have been built on top of classical operating systems. The advances in the area of parallel operating systems have made it possible to explore new execution models that take advantage of their features. In this paper we propose a family of execution models (VM,VMBA,VMHW) that make use of the new virtual memory technologies such as copy-on-write, memory inheritance, and distributed shared memory. Preliminary results from our implementations and simulations are reported.
Unix is a registered trade mark of AT&T.
Preview
Unable to display preview. Download preview PDF.
References
Vadim Abrossimov and Marc Rozier. Generic virtual memory management for operating system kernels. In Symposium on Operating Systems Principles, pages 123–136, December 1989.
K. Ali. Muse. In K. Bowen R. Kowalski, editor, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1531–1545, Seattle, August 1988.
K. Ali. OR-parallel execution of Prolog on theBC-machine. In K. Bowen R. Kowalski, editor, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1531–1545, Seattle, August 1988.
H. Alshawi and D. Moran. The DELPHI Model and Some Preliminary Experiments. In K. Bowen R. Kowalski, editor, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1578–1589, Seattle, August 1988.
U.C. Baron, J. Chassin de Kergommeaux, M. Hailperin, M. Ratcliffe, P. Robert, J.C. Syre, and H. Westphal. The parallel ECRC Prolog system PEPSys: An overview and evaluation results. In Proceedings FGCS'88, Tokyo, November 1988. International Conference on Fifth Generation Computer Systems.
A. Beaumont, S. Muthu Raman, and P. Szeredi. Scheduling OR-Parallelism in Aurora with the Bristol scheduler. In Proceedings PARLE, Eindhoven, June 1991.
P. Borgwardt. Parallel Prolog stack segments on shared-memory multiprocessors. In Proceedings Symposium on Logic Programming, pages 2–11, February 1984.
Lothar Borrmann. A virtually shared memory model with customized coherency. In 11th ITG/GI Conference on Architecture of Computing Systems, March 1990.
R. Butler, T. Disz, E. Lusk, R. Olson, R. Overbeek, and R.Stevens. Scheduling OR-Parallelism: An Argonne Perspective. In K. Bowen R. Kowalski, editor, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1590–1605, Seattle, August 1988.
R. Butler, E.L. Lusk, R. Olson, and R.A. Overbeek. ANLWAM — A Parallel Implementation of the Warren Abstract Machine. Internal report, Argonne National Laboratory, 1986.
A. Calderwood and P. Szeredi. Scheduling Or-Parallelism in Aurora — the Manchester Scheduler. In ICLP'89, pages 419–435. Univ. Manchester, June 1989.
A. Ciepielewski and S. Haridi. A Formal Model for OR-parallel execution of logic programs. In Proceedings Information Processing, pages 299–305, 1983.
Saumya Debray. SB-Prolog system, Version 2.5, a user manual. Technical report, Department of Computer Science, University of Arizona, September 1988.
S. Delgado-Rannauro, Kees Schuerman, and Jiyang Xu. The Elipsys computational model. EDS Deliverable EDS.DD.5E.CA-51, Computer Architecture Group, ECRC, December 1989.
S. A. Delgado-Rannauro. A Message Driven OR-Parallel Logic Architecture. PhD thesis, University of Essex, England, December 1989.
S.A Delgado-Rannauro. Computational Models of Parallel Logic Languages. Computer Architecture Group, technical report 46, ECRC, February 1989.
Brett D. Fleisch and Gerald J. Popek. MIRAGE: A coherent distributed shared memory design. In Symposium on Operating Systems Principles, pages 123–136, December 1989.
Kai Li and Paul Hudak. Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7(4):321–359, November 1989.
E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D.H.D. Warren, A. Calderwodd, P. Szeridi, S. Haridi, P. Brand, M. Carlson, A. Ciepielewski, and B. Hausman. The Aurora OR-parallel Prolog system. In Proceedings FGCS'88, Tokyo, November 1988. International Conference on Fifth Generation Computer Systems.
EDS Project. European Declarative System, Executive Summary. Technical report ESPRIT II EP 2025, EDS Deliverable, 1989.
P. Szeredi and M. Carlsson. The Engine-Scheduler Interface in the Aurora Or-parallel Prolog System. In distributed in NACLP Workshop on parallel execution, Austin, Texas, October 1990.
Avadis Tevanian, Jr. Architecture-Independent Virtual Memory Management for Parallel and Distributed Environments: The Mach Approach. PhD thesis, Carnegie Mellon University, december 1987.
David H.D. Warren. An abstract Prolog instruction set. Technical report, 309, Artificial Intelligence Center, SRI International, 1983.
David S. Warren. Efficient Prolog memory management for flexible control strategies. In The International Symposium on Logic Programming, pages 198–202, 1984.
Jiyang Xu. Elipsys execution models: A preview. Computer Architecture Group, internal report: Elipsys-017, ECRC, February 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag
About this paper
Cite this paper
Véron, A., Xu, J., Delgado-Rannauro, S.A., Schuerman, K. (1991). Virtual memory support for OR-parallel logic programming systems. In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds) PARLE '91 Parallel Architectures and Languages Europe. PARLE 1991. Lecture Notes in Computer Science, vol 506. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54152-7_78
Download citation
DOI: https://doi.org/10.1007/3-540-54152-7_78
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54152-3
Online ISBN: 978-3-540-47472-2
eBook Packages: Springer Book Archive