Advertisement

Parallel object-oriented descriptions of graph reduction machines

Extended abstract
  • David Bolton
  • Chris Hankin
  • Paul Kelly
Submitted Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 365)

Abstract

Abstract machine descriptions of parallel computer architectures must capture communications and concurrency characteristics at a high level. Current design techniques and notations are weak in this respect. We present a layered method for refinement of a requirements specification through to a detailed systems architecture design.

This paper concentrates on the two highest layers, the logical model, which is a requirements statement, and the systems architecture, which specifies logical processes and explicit communications. While requirements are expressed in a language that matches the problem domain, we suggest that a parallel object-oriented notation is most appropriate for the systems architecture layer. Refinements within this layer reflect implementation details (eg. structure sharing and distribution of work among processing elements). We introduce a parallel object-oriented notation based on rewriting systems concepts and use it to refine the design of a parallel graph reduction machine to execute functional programs.

The notation used is a natural extension of a graph rewriting language and the work forms the basis for a structured explication of parallel graph rewriting in which all communications are made explicit.

Keywords

Parallel combinator reduction graph rewriting systems object-oriented programming 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ame85]
    America P., de Bakker J., Kok J. N. and Rutten J., "Operational Semantics of a Parallel Object-oriented Language", Report CS-R8515, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1985.Google Scholar
  2. [And87]
    Anderson P., Hankin C. L., Kelly P. H. J., Osmon P. E. and Shute M. J., "COBWEB-2: Structured Specification of a Wafer Scale Supercomputer" in PARLE Volume I de Bakker J. W., Nijman A. J. and Treleaven P. C. (eds), LNCS 258, Springer Verlag, 1987, pp51–67.Google Scholar
  3. [And88]
    Anderson P., Hankin C. L. and Kelly P. H. J. "Parallel Combinator Reduction on a Wafer", in IFIP 88: Network Information Processing Systems, North-Holland, forthcoming.Google Scholar
  4. [Bar86]
    Barendregt H. P., van Eekelen M. C. D. J. and Plasmeijer M. J., "Specification of Reduction Strategies in Term Rewriting Systems" Preprint, The Catholic University of Nijmegen, The Netherlands, 1986.Google Scholar
  5. [Bar87]
    Barendregt H. P., van Eekelen M. C. D. J., Glauert J. R. W., Kennaway J. R., Plasmeijer M. J. and Sleep M. R., "Term Graph Rewriting", in PARLE Volume II de Bakker J. W., Nijman A. J. and Treleaven P. C. (eds), LNCS 259, Springer Verlag, 1987, pp 159–176.Google Scholar
  6. [BHK88]
    Bolton, D, Hankin, C.L. and Kelly, P.H.J. "Parallel object-oriented descriptions of graph reduction machines", forthcoming.Google Scholar
  7. [Dar81]
    Darlington J. and Reeve M., "Alice — A multiprocessor reduction machine for the parallel evaluation of applicative languages", Proceedings of the ACM Conference on Functional Languages and Computer Architecture, New Hampshire, 1981.Google Scholar
  8. [Dij80]
    Dijkstra E. W., "A Mild Variant of Combinatory Logic", EWD735, 1980.Google Scholar
  9. [Gla84]
    Glaser H. W., Hankin C. L. and Till D. R., "Principles of Functional Programming", Prentice Hall International, 1984.Google Scholar
  10. [Gla87]
    Glauert J. R. W., Kennaway J. R. and Sleep M. R., "DACTL: A Computational Model and Compiler Target Language Based on Graph Reduction", Report SYS-C87-03, University of East Anglia, 1987.Google Scholar
  11. [Han88]
    Hankin C. L., Burn G. L. and Peyton Jones S. L., "A Safe Approach to Parallel Combinator Reduction", Theoretical Computer Science, March 1988.Google Scholar
  12. [Inm88]
    Inmos Ltd., "occam 2® Reference Manual", Prentice-Hall International, 1988.Google Scholar
  13. [Kel89]
    Kelly P.H.J. "Functional Programming for Loosely-coupled Multiprocessors", Pitman/MIT Press, 1989.Google Scholar
  14. [Ken82]
    Kennaway J. R. and Sleep M. R., "Expressions as Processes", Proceedings of the ACM Symposium on LISP and Functional Programming, 1982.Google Scholar
  15. [Ken88]
    Kennaway J. R. and Sleep M. R., "Director Strings as Combinators", ACM Transactions on Programming Languages and Systems.Google Scholar
  16. [Klo85]
    Klop J. W., "Term Rewriting Systems", notes for the 1985 Ustica workshop on reduction machines, to be published.Google Scholar
  17. [May88]
    May D. and Keane C. "Compiling Occam into Silicon". Technical report 23. Inmos Ltd, 1000 Aztec West, Almondsbury, Bristol BS12 4SQ, UK.Google Scholar
  18. [Pey87]
    Peyton Jones S. L., "The Implementation of Functional Programming Languages", Prentice Hall International, 1987.Google Scholar
  19. [Sch87]
    Schaefer P. and Schnoebelen P., "Specification of a Pipelined Event Driven Simulator using FP2", in PARLE Volume I de Bakker J. W., Nijman A. J. and Treleaven P. C. (eds), LNCS 258, Springer Verlag, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • David Bolton
    • 1
  • Chris Hankin
    • 2
  • Paul Kelly
    • 2
  1. 1.Dept of Computer ScienceCity UniversityLondon
  2. 2.Dept of ComputingImperial CollegeLondon

Personalised recommendations