Abstract
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distributed systems and a novel distributed scheduler is also proposed. WAM modifications to support the proposed model are very simple. The system has been implemented on a 16 processor multicomputer based on transputers. It has been obtained very good performance results with an overhead around 6% and a speed-up comparable to the most known multisequential models for shared memory systems.
This work was supported by the project CICYT-TIC 340/90
Preview
Unable to display preview. Download preview PDF.
References
Ali, K. Karlsson, R. “The Muse Or-Parallel Prolog Model and its Performance”. NACLP 90. pp 757–776.
Baron, U. Ratcliffe, M. Syre, J. “The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results”. Proc. Int. Conf. on Fith Gen. Comp. Sys. 1988. ICOT 1988.
Ciepielewski, A. Haridi, S. “A formal model for OR parallel execution of logic programs”. IFIP 1983.
Conery, J.S. “AND Paralelism and Nondeterminism in Logic Programs”. New Generation Computing. 1985.
Kaesuk, P. “A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation”. The Computer Journal, Vol 34, No. 1. 1991.
Lusk, E. Warren, D. Haridi, S. “The Aurora Or-Parallel Prolog System”. University of Bristol. TR-90-07.
Warren, D.H.D. “An Abstract Prolog Instruction Set”. Technical Note 309, SRI International, 1983.
Warren, D.H.D. “Or-Parallel Execution Models of Prolog”, TAPSOFT '87, Springer Verlag, LNCS 250.
Warren, D.H.D. “The SRI-model for Or-Parallel Execution of Prolog — Abstract Design and Implementation Issues”. 1987 IEEE Int. Symp. in Logic Prog., San Francisco.
Zhang, K. Thomas, R. “DIALOG — A dataflow model for parallel execution of logic programs”. Future Generation Computer Systems. North Holland 1991.
Tick, E. “Parallel Logic Programming”. The MIT Press.1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benjumea, V., Troya, J.M. (1993). An OR parallel Prolog model for distributed memory systems. In: Bruynooghe, M., Penjam, J. (eds) Progamming Language Implementation and Logic Programming. PLILP 1993. Lecture Notes in Computer Science, vol 714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57186-8_86
Download citation
DOI: https://doi.org/10.1007/3-540-57186-8_86
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57186-5
Online ISBN: 978-3-540-47945-1
eBook Packages: Springer Book Archive