Experimental implementation of parallel TRAM on massively parallel computer

  • Kazuhiro Ogata
  • Hiromichi Hirata
  • Shigenori Ioroi
  • Kokichi Futatsugi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1470)

Abstract

MPTRAM is an abstract machine for parallel rewriting that is intended to be reasonably implemented on massively parallel computers. MPTRAM has been implemented on Cray T3E carrying 128 PEs with MPI. It rewrites terms efficiently in parallel (about 65 times faster than TRAM) if message traffic is little. But we have to reduce the overhead of message passing somehow, e.g. by using the shared globally addressable memory subsystem of Cray T3E, so that MPTRAM can be used to implement algebraic specification languages.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cray T3E: http://www.cray.com/products/systems/crayt3eGoogle Scholar
  2. 2.
    Futatsugi, K., Goguen, J. A., Jouannaud, J. P. and Meseguer, J.: Principles of OBJ2. Proc. of POPL’ 85. (1985) 52–66Google Scholar
  3. 3.
    Goguen, J., Kirchner, C. and Meseguer, J.: Concurrent Term Rewriting as a Model of Computation. LNCS 279 (Graph Reduction’ 86) Springer-Verlag. (1986) 53–93Google Scholar
  4. 4.
    Klop, J. W.: Term Rewriting Systems. In Handbook of Logic in Computer Science. 2. Oxford University Press. (1992) 1–116Google Scholar
  5. 5.
    Ogata, K., Ohhara, K. and Futatsugi, K.: TRAM: An Abstract Machine for Order-Sorted Conditional Term Rewriting Systems. LNCS 1232 (RTA’ 97) Springer-Verlag. (1997) 335–338Google Scholar
  6. 6.
    Ogata, K. and Futatsugi, K.: Implementation of Term Rewritings with the Evaluation Strategy. LNCS 1292 (PLILP’ 97) Springer-Verlag. (1997) 225–239Google Scholar
  7. 7.
    Ogata, K., Kondo, M., Ioroi, S. and Futatsugi, K.: Design and Implementation of Parallel TRAM. LNCS 1300 (Euro-Par’97) Springer-Verlag. (1997) 1209–1216Google Scholar
  8. 8.
    Snir, M., Otto, S. W., Lederman, S. H., Walker, D. W. and Dongarra, J.: MPI: The Complete Reference. The MIT Press. 1996Google Scholar

Copyright information

© Springer-Verlag 1998

Authors and Affiliations

  • Kazuhiro Ogata
    • 1
  • Hiromichi Hirata
    • 1
  • Shigenori Ioroi
    • 1
  • Kokichi Futatsugi
    • 1
  1. 1.JAISTJapan

Personalised recommendations