Abstract
Recently, new parallel architectures, namely distributed shared memory architectures, have been proposed and built. These combine the ease-of-use of shared memory architectures with the scalability of the message-passing architectures. These architectures provide software and hardware support for shared virtual address space on physically distributed memory.
This paper describes Dorpp, an execution model that supports or-parallelism for these machine architectures, namely for the EDS parallel machine. Dorpp uses a shared memory model for or-parallelism. It attempts, however, at exploiting locality and at reducing communication overheads through scheduling and by caching accesses to remote shared data. The problem of memory coherency of cached data is discussed and solutions are proposed. Preliminary evaluation results of the execution model through simulation are presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Ali, K., Karlsson, R.: The Muse Or-parallel Prolog Model and its Performance, In Proc. of NACLP'90. The MIT Press, 757–776, Oct., (1990)
Almasi, G., Gottlieb, A.: Highly Parallel Computing. Benjamin/Cummings Inc. (1989)
Carlsson, M.: Design and Implementation of an OR-Parallel Prolog Engine. Ph. D. Thesis, SICS, Sweden, (1990)
Calderwood, A. and Szeredi, P.: Scheduling Or-parallelism in Aurora — the Manchester Scheduler. In Proc. of 6th ICLP, The MIT Press, Lisbon, 419–435, June, (1989)
Gupta, G. and Jayaraman, B.: On Criteria for Or-parallel Execution of Logic Programs. In Proc. of NACLP'90. The MIT Press, Oct., (1990)
Istavrinos, P. and Borrmann, L.: A process and memory model for a distributed-memory machine. In Proc. of CONPAR'90, LNCS-457, Springer-Verlag, 479–488, Zurich, Sept., (1990)
Lusk, E., Warren, D.H.D., Haridi, S., et al.: The Aurora Or-Parallel Prolog System. In Proc. of FGCS'88, 819–830, ICOT, Tokyo, Japan, Nov. (1988)
Sargeant, J.: EDS Parallel Machine Simulator: version 2. Tech. Report EDS.UD.3I.M016, EDS Group, Univ. Manchester, Nov., (1991)
Shen, K.: An Investigation of the Argonne Model of Or-Parallel Prolog. M.Sc. Thesis, Dep. of Comp. Science, Univ. of Manchester, (1986)
Shivaratri, N.G. and Krueger, P.: Two Adaptative Location Policies for Global Scheduling Algorithms. In Proc. of 10th Int. Conf. on Distributed Computing Systems, Paris, IEEE, 502–509, May, (1990)
Silva, F.M.A.: An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture. Ph.D. Thesis, Dept. of Comp. Science, Univ. of Manchester, (1993)
Szeredi, P.: Performance Analysis of the Aurora Or-parallel Prolog System. In Proc. of NACLP'89, The MIT Press, 713–732, Oct., (1989)
Tick, E.: Memory Performance of Prolog Architectures. Kluwer Academic Publishers, (1987)
Tick, E.: Parallel Logic Programming. The MIT Press, (1991)
Ward, M., Townsend, P., and Watzlawik, G.: EDS Hardware Architecture. In Proc. of CONPAR'90. Springer-Verlag, LNCS-457, 816–827, Zurich, Sept. (1990)
Warren, D.H.D.: Or-Parallel Execution Models of Prolog. In Proc. of TAPSOFT'87. Springer-Verlag, LNCS, 243–259, Pisa, March, (1987)
Warren, D.H.D.: The SRI Model for Or-Parallel Execution of Prolog — Abstract Design and Implementation Issues. In Proc. of ISLP'87, IEEE, San Francisco, California, 92–102, (1987)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Silva, F.M.A. (1993). An or-parallel prolog execution model for a distributed shared memory machine. In: Filgueiras, M., Damas, L. (eds) Progress in Artificial Intelligence. EPIA 1993. Lecture Notes in Computer Science, vol 727. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57287-2_46
Download citation
DOI: https://doi.org/10.1007/3-540-57287-2_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57287-9
Online ISBN: 978-3-540-48036-5
eBook Packages: Springer Book Archive