Abstract
PEPSys (Parallel ECRC Prolog System) is a research project started in 1984 in the Computer Architecture Group of the European Computer-Industry Research Centre (ECRC). Its general goals are to study and evaluate new and practicable solutions to the problems of parallel logic programming. In this paper, three different evaluation systems used in PEPSys are presented and their results compared. The first one gives the ideal speedup and maximum parallelism achievable in PEPSys programs. Another one is an actual implementation on a commercial multiprocessor, which exhibits effective speedups over sequential implementations of Prolog. The last one is a discrete event simulation, which extends the implementation results to larger, more scalable multiprocessor architectures.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
U.C. Baron, J. Chassin de Kergommeaux, M. Hailperin, M. Ratcliffe, P. Robert, J.C. Syre, H. Westphal. The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results. In Proceedings FGCS'88. International Conference on Fifth Generation Computer Systems, Tokyo, Nov-Dec, 1988.
U. Baron, B. Ing, M. Ratcliffe, P. Robert. The PEPSys Simulation Project Intermediate Progress Report. Technical Report 30, ECRC, February, 1988.
U. Baron, B. Ing, M. Ratcliffe, P. Robert. A Distributed Architecture for the PEPSys Parallel Logic Programming System. In Proceedings of the 1988 International Conference on Parallel Processing, pages 410–413. Chicago, August, 1988.
Per Brand, Seif Haridi and David H.D. Warren. Andorra Prolog: The Language and its Application in Distributed Simulation. In Proceedings FGCS'88. International Conference on Fifth Generation Computer Systems, Tokyo, Nov-Dec, 1988.
J. Chassin de Kergommeaux. Measures of the PEPSys Implementation on the MX500. External CA-44, ECRC, January, 1988.
J. Chassin de Kergommeaux and P. Robert. An Abstract Machine to implement efficiently OR-AND parallel Prolog. To appear in Journal of Logic Programming. 1988
J. Chassin, J.C. Syre, H. Westphal. Implementation of a Parallel Prolog System on a Commercial Multiprocessor. In European Conference on Artificial Intelligence, pages 278, 283. Munich, August, 1988.
T. Disz, E. Lusk. A Graphical Tool for Observing the Behavior of Parallel Logic Programs. In The IEEE Computer Society Press (editor), Proceedings-1987 Symposium on Logic Programming, pages 46–53. IEEE, September, 1987.
Steve Gregory. Parallel Logic Programming: The State of the Art. Internal Report, ECRC, May, 1986.
John L. Gustafson. Reevaluating Amdahl's Law. CACM 31(5):532–533, May, 1988.
M. V. Hermenegildo. An Abstract Machine for Restricted AND-parallel execution of logic programs. In 3rd Int. Conf. on Logic Programming, pages 25–39. London, July, 1986.
L. Hirschman, W. Hopkins, R Smith. OR-Parallel Speed-up in Natural Language Processing: A Case Study. In R. Kowalski, K. Bowen (editor), Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 263–279. Seattle, August, 1988.
Bounthara Ing. COKE: An Analysis Tool for PEPSys Programmes. Internal Report PEPSys-23, ECRC, October, 1987.
M. Kumar. Measuring Parallelism in Computation-Intensive Scientific/Engineering Applications. IEEE Transactions on Computers 37(9):1088–1098, September, 1988.
Y-J Lin, V. Kumar. AND-parallel execution of Logic programs on a Shared Memory Multiprocessor: A Summary of Results. In R. Kowalski, K. Bowen (editor), Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1123–1141. Seattle, August, 1988.
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, B. Hausman. The Aurora Or-Parallel Prolog System. In Proceedings FGCS'88. International Conference on Fifth Generation Computer Systems, Tokyo, Nov-Dec, 1988.
M. Ratcliffe, J.C. Syre. The PEPSys Parallel Logic Programming Language. In Proceedings. IJCAI, Milano, Italy, August, 1987.
Akikazu Takeuchi and Koichi Furukawa. Parallel Logic Programming Languages. In Ehud Shapiro (editor), Proceedings, pages 242–254. Third International Conference on Logic Programming, London, July, 1986.
David H. D. Warren. An abstract prolog instruction set. Technical Report tn309, SRI, October, 1983.
H. Westphal, P. Robert, J. Chassin, J.-C. Syre. The PEPSys Model: Combining Backtracking, AND-and OR-parallelism. In The IEEE Computer Society Press (editor), Proceedings-1987 Symposium on Logic Programming, pages 436–448. IEEE, September, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chassin de Kergommeaux, J., Baron, U.C., Rapp, W., Ratcliffe, M. (1989). Performance analysis of a Parallel Prolog: A correlated approach. In: Odijk, E., Rem, M., Syre, JC. (eds) PARLE '89 Parallel Architectures and Languages Europe. PARLE 1989. Lecture Notes in Computer Science, vol 366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51285-3_39
Download citation
DOI: https://doi.org/10.1007/3-540-51285-3_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51285-1
Online ISBN: 978-3-540-46184-5
eBook Packages: Springer Book Archive