Advertisement

Performance analysis of a Parallel Prolog: A correlated approach

  • J. Chassin de Kergommeaux
  • U. C. Baron
  • W. Rapp
  • M. Ratcliffe
Submitted Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 366)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Baron et al 88]
    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.Google Scholar
  2. [Baron et al. 88a]
    U. Baron, B. Ing, M. Ratcliffe, P. Robert. The PEPSys Simulation Project Intermediate Progress Report. Technical Report 30, ECRC, February, 1988.Google Scholar
  3. [Baron et al. 88b]
    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.Google Scholar
  4. [Brand et al 88]
    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.Google Scholar
  5. [Chassin 88]
    J. Chassin de Kergommeaux. Measures of the PEPSys Implementation on the MX500. External CA-44, ECRC, January, 1988.Google Scholar
  6. [Chassin et al 88]
    J. Chassin de Kergommeaux and P. Robert. An Abstract Machine to implement efficiently OR-AND parallel Prolog. To appear in Journal of Logic Programming. 1988Google Scholar
  7. [Chassin et al. 88]
    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.Google Scholar
  8. [Disz and Lusk 87]
    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.Google Scholar
  9. [Gregory 86]
    Steve Gregory. Parallel Logic Programming: The State of the Art. Internal Report, ECRC, May, 1986.Google Scholar
  10. [Gustafson 88]
    John L. Gustafson. Reevaluating Amdahl's Law. CACM 31(5):532–533, May, 1988.Google Scholar
  11. [Hermenegildo 86]
    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.Google Scholar
  12. [Hirschman et al 88]
    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.Google Scholar
  13. [Ing 87]
    Bounthara Ing. COKE: An Analysis Tool for PEPSys Programmes. Internal Report PEPSys-23, ECRC, October, 1987.Google Scholar
  14. [Kumar 88]
    M. Kumar. Measuring Parallelism in Computation-Intensive Scientific/Engineering Applications. IEEE Transactions on Computers 37(9):1088–1098, September, 1988.Google Scholar
  15. [Lin et al 88]
    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.Google Scholar
  16. [Lusk et al. 88]
    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.Google Scholar
  17. [Ratcliffe and Syre 87]
    M. Ratcliffe, J.C. Syre. The PEPSys Parallel Logic Programming Language. In Proceedings. IJCAI, Milano, Italy, August, 1987.Google Scholar
  18. [Takeuchi and Furukawa 86]
    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.Google Scholar
  19. [Warren 83]
    David H. D. Warren. An abstract prolog instruction set. Technical Report tn309, SRI, October, 1983.Google Scholar
  20. [Westphal et al. 87]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • J. Chassin de Kergommeaux
    • 1
  • U. C. Baron
    • 1
  • W. Rapp
    • 1
  • M. Ratcliffe
    • 1
  1. 1.ECRC, Computer Architecture GroupMunichWest Germany

Personalised recommendations