Towards a parallel architecture for functional languages

  • RJ Karia
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 272)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [Aubusson 78]
    Aubusson R C and Catt I, Wafer Scale Integration — A Fault Tolerant Procedure, IEEE Journal of Solid State Circuits, Vol Sc 13 No 3.Google Scholar
  2. [Bevan]
    Bevan D I, Garbage Collection on COBWEB, Private Communication.Google Scholar
  3. [Burn 86]
    Burn G L, Abstract Interpretation and the Parallel Evaluation of Functional Programs Forthcoming Phd thesis, Imperial College.Google Scholar
  4. [Burton 81]
    Burton F W and Sleep M R, Executing Functional Programs on a Virtual tree of Processors, Proceedings of the ACM Conference on Functional Programming Languages and Computer Architectures, New Hampshire, Oct 1981.Google Scholar
  5. [Cardelli 84]
    Cardelli L, Compiling a Functional Language, 1984 ACM Conference on Lisp and Functional Programming, Austin, Texas.Google Scholar
  6. [Darlington 81]
    Darlington J and Reeve M, ALICE — A Multiprocessor Reduction Machine for the Parallel Evaluation of Applicative Languages, Proceedings of the ACM Conference on Functional Programming Languages and Computer Architectures, New Hampshire, Oct 1981.Google Scholar
  7. [Hankin 85]
    Hankin C L, Shute M J, Osmon P E, COBWEB, A Combinator Reduction Architecture, 1985 Conference on Functional Programming and Computer Architecture, Nancy, France (Springer Verlag LNCS 201).Google Scholar
  8. [Hankin 86]
    Hankin C L, Burn G L, and Peyton Jones S L, A Safe Approach to Parallelism Combinator Reduction, Proceedings ESOP 86 (European Symposium on Programming), Saarbrucken, W Germany, March 1986, Springer Verlag LNCS 213.Google Scholar
  9. [Henderson 80]
    Henderson P, Functional Programming — Application and Implementation, Englewood Cliffs, NJ, Prentice Hall 1980.Google Scholar
  10. [Hudak 85]
    Hudak P and Goldberg B, Distributed Execution of Functional Programs using Serial Combinators, IEEE Trans on Computers, Vol C34, No 10, Oct 1985.Google Scholar
  11. [Hughes 83]
    Hughes R J M, The Design and Implementation of Programming Languages, Oxford University Technical Monograph PRG-40.Google Scholar
  12. [Keller 82]
    Keller R M and Lin F C H, Simulated performance of a reduction based multiprocessor, IEEE Computer, Vol 17, July 1982.Google Scholar
  13. [Mago 79]
    Mago G, A Network of Microprocessors to Execute Reduction Languages, Parts 1 and 2, International Journal of Computer and Information Sciences 8 (1979).Google Scholar
  14. [Jones 85]
    Peyton Jones S L, Clack C, Salkild J, GRIP — A parallel graph reduction machine, Dept of Computer Science, University College, London, Nov 1985.Google Scholar
  15. [Shute 85]
    Shute M J and Osmon P E, COBWEB — A reduction architecture, Workshop on Wafer Scale Integration, July 1985, University of Southampton.Google Scholar
  16. [Stoye 83]
    Stoye W, The SKIM II Microprogrammer's Guide, Cambridge University Computer Laboratory, Technical Note 1983.Google Scholar
  17. [Swan 77]
    Swan R J, Fuller S H and Siewiorek D P, Cm* — A Modular Multimicroprocessor, Proceedings of AFIPS NCC 46, June 1977Google Scholar
  18. [Turner 79]
    Turner D A, A New Implementation Technique for Applicative Languages, Software Practice and Experience Vol 9 1, Jan 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • RJ Karia
    • 1
  1. 1.GEC Hirst Research CentreWembleyEngland

Personalised recommendations