Evaluating functional programs on the flagship machine

  • Paul Watson
  • Ian Watson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 274)


The Flagship project has the aim of designing a parallel computer system for the evaluation of declarative languages. The physical architecture of the machine consists of a set of closely coupled processor/store pairs communicating over a high performance communications network. A functional program to be evaluated is compiled into a Super-Combinator expression graph which is then simplified by graph reduction. The paper discusses the Flagship machine architecture and describes in detail the computational model which defines how a functional program is represented and reduced. The issues underlying the design of the main features of the computational model are examined.


Functional Program Computational Graph Graph Reduction Parallel Computer System Packet Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

11 References

  1. BAIL85.
    A HOPE Tutorial, R. Bailey, Internal Document, Dept. of Computing Science, Imperial College London, 1985.Google Scholar
  2. CHEE85.
    The Applicability of SKI(BC) Combinators in a Parallel Rewrite Rule Environment, A.B. Cheese, MSc Thesis, Dept. of Computer Science, University of Manchester, 1985.Google Scholar
  3. DARL81.
    ALICE — A Multi-Processor Reduction Machine for the Parallel Evaluation of Applicative Languages, J. Darlington and M. Reeve, Proceedings of 1981 ACM Conf on Functional Programming Languages and Computer Architecture, 1981.Google Scholar
  4. GLAU87.
    DACTL, J.R.W. Glauert J.R. Kennaway and M.R. Sleep, in International Computers Ltd. Technical Journal, Summer 1987.Google Scholar
  5. GOLD85.
    Serial Combinators, B. Goldberg and P. Hudak, in Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science, No. 201, 1985.Google Scholar
  6. HUGH82.
    Graph Reduction with Super-Combinators, R.J.M. Hughes, Oxford University PRG Technical Monograph PRG-28,1982.Google Scholar
  7. KIEB85.
    The G Machine, R.B. Kieburtz, in Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science, No. 201, 1985.Google Scholar
  8. PEYT87.
    The Implementation of Functional Programming Languages, S.L. Peyton Jones, Prentice Hall, 1987.Google Scholar
  9. SARG86.
    Load Balancing, Locality and Parallelism Control in Fine-Grain Parallel Machines, J. Sargeant, University of Manchester Dept. of Computer Science Report UMCS-86-11-5, 1985Google Scholar
  10. TURN79.
    A New Implementation Technique for Applicative Languages, D.A. Turner, Software Practice and Experience, Volume 9, 1979.Google Scholar
  11. WATS85.
    Parallel Data Driven Graph Reduction, I. Watson, P.Watson and J.V. Woods, in Fifth Generation Computer Architectures, ed. J.V. Woods, North-Holland, 1986.Google Scholar
  12. WATS86a.
    Graph Reduction in a Parallel Virtual Memory Environment, I. Watson and P. Watson, in Proceedings of Santa Fe Graph Reduction Workshop, Sept. 1986.Google Scholar
  13. WATS86b.
    The Parallel Reduction of Lambda Calculus Expressions, P. Watson. PhD Thesis, University of Manchester, 1986.Google Scholar
  14. WATS87a.
    Flagship Computational Models and Machine Architecture, I. Watson, J. Sargeant, P. Watson and J.V. Woods, in International Computers Ltd. Technical Journal, Summer 1987.Google Scholar
  15. WATS87b.
    An Efficient Garbage Collection Scheme for Parallel Computer Architectures, P. Watson and I. Watson, in Proceedings of the European Conference on Parallel Architectures and Languages, Eindhoven, The Netherlands, June 1987.Google Scholar
  16. WATS87c.
    The Cost of Parallel Graph Reduction, I. Watson, J. Sargeant, P. Watson, J.V. Woods, FLAGSHIP Project Internal Report, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Paul Watson
    • 1
  • Ian Watson
    • 1
  1. 1.Department of Computer ScienceThe UniversityManchesterU.K.

Personalised recommendations