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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
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.
Bolton, D, Hankin, C.L. and Kelly, P.H.J. "Parallel object-oriented descriptions of graph reduction machines", forthcoming.
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.
Dijkstra E. W., "A Mild Variant of Combinatory Logic", EWD735, 1980.
Glaser H. W., Hankin C. L. and Till D. R., "Principles of Functional Programming", Prentice Hall International, 1984.
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.
Hankin C. L., Burn G. L. and Peyton Jones S. L., "A Safe Approach to Parallel Combinator Reduction", Theoretical Computer Science, March 1988.
Inmos Ltd., "occam 2® Reference Manual", Prentice-Hall International, 1988.
Kelly P.H.J. "Functional Programming for Loosely-coupled Multiprocessors", Pitman/MIT Press, 1989.
Kennaway J. R. and Sleep M. R., "Expressions as Processes", Proceedings of the ACM Symposium on LISP and Functional Programming, 1982.
Kennaway J. R. and Sleep M. R., "Director Strings as Combinators", ACM Transactions on Programming Languages and Systems.
Klop J. W., "Term Rewriting Systems", notes for the 1985 Ustica workshop on reduction machines, to be published.
May D. and Keane C. "Compiling Occam into Silicon". Technical report 23. Inmos Ltd, 1000 Aztec West, Almondsbury, Bristol BS12 4SQ, UK.
Peyton Jones S. L., "The Implementation of Functional Programming Languages", Prentice Hall International, 1987.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bolton, D., Hankin, C., Kelly, P. (1989). Parallel object-oriented descriptions of graph reduction machines. In: Odijk, E., Rem, M., Syre, JC. (eds) PARLE '89 Parallel Architectures and Languages Europe. PARLE 1989. Lecture Notes in Computer Science, vol 365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540512845_38
Download citation
DOI: https://doi.org/10.1007/3540512845_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51284-4
Online ISBN: 978-3-540-46183-8
eBook Packages: Springer Book Archive