Abstract
In recent years, the reduction scheme is widely recognized as a good implementing method of functional languages. In most parallel reduction methods, it is required to inspect and update a program graph in a common store. However, this results in memory conflictions and makes a trouble in constructing a correct reducer. This paper presents a method for reducing a graph by each active node. In our method, the graph is divided and distributed to each local memory of a processing unit, and is reduced by a process assigned to each node. Since reduction is performed in each node, parallel reduction is realized without a common store.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Amamiya,M., Hasegawa,R., Nakamura,O. and Mikami,H.: A list-processing-oriented data flow machine architecture. AFIPS NCC, pp.143–151(1982).
Berkling, K.: Reduction languages for reduction machines, Proc. 2nd Int. Symp. Computer Architecture, IEEE, New York, pp.133–140(1975).
Bernstein, A.J.: Output guards and nondeterminism in "Communicating sequential processes", ACM Trans. Prog. Lang. Syst., Vol.2, No.2, pp.234–238(1980).
Clarke,T.J.W., Gladstone,P.J.S., Maclean,C.D. and Norman,A.C.: SKIM — The S.K.I. reduction machine, Proc. LISP-80 Conf., pp.128–135(1980).
Darlington,J. and Reeve,M.: ALICE:A multi-processor reduction machine for the parallel evaluation of applicative languages, Proc. Functional Programming Languages and Computer Architecture, pp.65–75(1981).
Futamura, Y.: Partial computation of programs, Lecture Notes in Computer Science, No.147, RIMS Symposia on Software Science and Engineering, Kyoto, Springer-Verlag(1982).
Hoare, C.A.R.: Communicating sequential processes, Comm. ACM, Vol.21, No.8, pp.666–677(1978).
Hughes,R.J.M.: Super-combinators — A new implementation method for applicative languages, Record of the 1982 ACM symposium on LISP and Functional Programming, Pittsburgh, pp.1–10(1982).
Keller, R.M., Lindstrom, G. and Patil, S.: A loosely-coupled applicative multi-processing system, AFIPS Conf. Proc., Vol.48, pp.613–622(1979).
Keller,R.M., Lindstrom,G. and Patil,S.: An architecture for a loosely-coupled parallel processor, UUCS-78-105, Univ. of Utah(1978).
Mago, G.A.: A network of microprocessors to execute reduction languages, Two parts, Int. J. Comput. Inf. Sci., Vol.8, No.5, pp.349–385 and No.6, pp.435–471(1979).
Numao, M. and Shimura, M.: Evaluation of the functional symbol manipulation language in distributed systems, Transactions of Information Processing Society of Japan, Vol.26, No.2(1985) (in Japanese).
Ritchie, D.M. and Thompson, K.: The UNIX Time-Sharing System, Comm. ACM, Vol.17, No.7, pp.365–375(1974).
Turner, D.A.: A new implementation technique for applicative languages, Softw. Pract. Exper., Vol.9, pp.31–49(1979).
Wadsworth,C.P.: Semantics and pragmatics of the lambda-calculus, Oxford University: DPhil. Thesis, Chapter 4(1971).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Numao, M., Shimura, M. (1986). Evaluation of graph representations with active nodes. In: Goto, E., Araki, K., Yuasa, T. (eds) RIMS Symposia on Software Science and Engineering II. Lecture Notes in Computer Science, vol 220. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16470-7_2
Download citation
DOI: https://doi.org/10.1007/3-540-16470-7_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16470-8
Online ISBN: 978-3-540-39809-7
eBook Packages: Springer Book Archive