Skip to main content

Performance of Muse on the BBN Butterfly TC2000

  • Conference paper
  • First Online:
PARLE '92 Parallel Architectures and Languages Europe (PARLE 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 605))

  • 125 Accesses

Abstract

Muse is a simple and efficient approach to Or-parallel implementation of the full Prolog language. It is based on having multiple sequential Prolog engines, each with its local address space, and some shared memory space. It is currently implemented on a number of bus-based and switch-based multiprocessors.

The performance results of Muse on bus-based multiprocessor machines have been presented in previous papers. This paper discusses implementation and performance results of Muse on the BBN Butterfly TC2000. It also compares the Muse results with the corresponding results of the Aurora Or-parallel Prolog system. The results of Muse execution show that high real speedups can be achieved on Prolog programs that exhibit coarse-grained parallelism, the scheduling overhead being equivalent to around 8 – 26 Prolog procedure calls per task, and that for a large set of benchmarks the Muse system is faster than the Aurora system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Khayri A. M. Ali and Roland Karlsson. The Muse Approach to Or-Parallel Prolog. International Journal of Parallel Programming, pages 129–162, Vol. 19, No. 2, April 1990.

    Article  MathSciNet  Google Scholar 

  2. Khayri A. M. Ali and Roland Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In Proceedings of the 1990 North American Conference on Logic Programming, pages 757–776, MIT Press, October 1990.

    Google Scholar 

  3. Khayri A. M. Ali and Roland Karlsson. Full Prolog and Scheduling Or-Parallelism in Muse. International Journal of Parallel Programming, pages 445–475, Vol. 19, No. 6, December 1990.

    Article  Google Scholar 

  4. Khayri A. M. Ali and Roland Karlsson. Scheduling Or-Parallelism in Muse. In Proceedings of the 1991 International Conference on Logic Programming, pages 807–821, Paris, June 1991.

    Google Scholar 

  5. Khayri A.M. Ali, Roland Karlsson, and Shyam Mudambi. Performance of Muse on Switch-Based Multiprocessor Machines. Submitted to the NGC Journal, 1991.

    Google Scholar 

  6. Uri Baron, Jacques Chassin de Kergommeaux, Max Hailperin, Michael Ratcliffe, Philippe Ropert, Jean-Claude Syre, and Harald Westphal. The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results. In Proceedings of the International Conference on Fifth Generation Computer Systems 1988, pages 841–850, ICOT, November 1988.

    Google Scholar 

  7. Alan Calderwood and Péter Szeredi. Scheduling Or-parallelism in Aurora—the Manchester scheduler. In Proceedings of the sixth International Conference on Logic Programming, pages 419–435, MIT Press, June 1989.

    Google Scholar 

  8. Mats Carlsson and Johan Widen. SICStus Prolog User's Manual. SICS Research Report R88007B, October 1988.

    Google Scholar 

  9. Bogumil Hausman. Pruning and Speculative Work in OR-parallel Prolog. PhD thesis, Swedish Institute of Computer Science, SICS Dissertation Series 01 (SICS/D-90-9901), March 1990.

    Google Scholar 

  10. Ewing Lusk, David H. D. Warren, Seif Haridi, et al. The Aurora Or-parallel Prolog System. New Generation Computing, 7(2,3): 243–271, 1990.

    Google Scholar 

  11. Shyam Mudambi. Performance of Aurora on NUMA machines. In Proceedings of the 1991 International Conference on Logic Programming, Paris, June 1991.

    Google Scholar 

  12. Péter Szeredi. Performance analysis of the Aurora Or-parallel Prolog System. In Proceedings of the 1989 North American Conference on Logic Programming, pages 713–732, MIT Press, March 1989.

    Google Scholar 

  13. David H. D. Warren. The SRI Model for Or-parallel Execution of Prolog-Abstract Design and Implementation Issues. In Proceedings of the 1987 Symposium on Logic Programming, pages 92–102, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Daniel Etiemble Jean-Claude Syre

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ali, K.A.M., Karlsson, R., Mudambi, S. (1992). Performance of Muse on the BBN Butterfly TC2000. In: Etiemble, D., Syre, JC. (eds) PARLE '92 Parallel Architectures and Languages Europe. PARLE 1992. Lecture Notes in Computer Science, vol 605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55599-4_113

Download citation

  • DOI: https://doi.org/10.1007/3-540-55599-4_113

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55599-5

  • Online ISBN: 978-3-540-47250-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics