论文信息 - Towards a Parallel Architecture for Functional Languages

Towards a Parallel Architecture for Functional Languages

We have described the work that has been carried out in our Subproject on functional programming architectures. Theoretical work in detecting parallelism allows for a scheme to perform safe parallel evaluation of functional languages. Experiences with COBWEB have indicated its weak points and led to the identification of some of the desired features of a multiprocessor system to support parallel graph reduction.

R. J. Karia

[1] Paul Hudak,et al. Distributed execution of functional programs using serial combinators , 1985, IEEE Transactions on Computers.

[2] John Darlington,et al. ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages , 1981, FPCA '81.

[3] Christopher D. Clack,et al. GRIP: A parallel graph reduction machine , 1987 .

[4] D. A. Turner,et al. A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..

[5] Chris Hankin,et al. COBWEB - A Combinator Reduction Architecture , 1985, FPCA.

[6] Robert M. Keller,et al. Simulated Performance of a Reduction-Based Multiprocessor , 1984, Computer.

[7] Simon L. Peyton Jones,et al. A Safe Approach to Parallel Combinator Reduction (Extended Abstract) , 1986, ESOP.

[8] R.C. Aubusson,et al. Wafer-scale integration-a fault-tolerant procedure , 1978, IEEE Journal of Solid-State Circuits.

[9] Luca Cardelli,et al. Compiling a functional language , 1984, LFP '84.

[10] Peter Henderson,et al. Functional programming - application and implementation , 1980, Prentice Hall International Series in Computer Science.

[11] Samuel H. Fuller,et al. Cm*: a modular, multi-microprocessor , 1977, AFIPS '77.

[12] F. Warren Burton,et al. Executing functional programs on a virtual tree of processors , 1981, FPCA '81.