Parallel Functional Programming: An Introduction

Kevin Hammond
Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, U.K.
kh@dcs.glasgow.ac.uk

• Introduction
  • Determinism
  • Strictness
    • Strictness Analysis
  • Outline of this Paper
• A Brief History
  • Novel Architectures
    • Reduction Machines
  • Stack, Packet or Environment?
• Exploiting Parallelism
  • Implicit Parallelism
    • Serial Combinators
  • Explicit Parallelism
    • Annotations
    • Control Languages
    • Commutative Monads
    • Algorithmic Skeletons
  • Data Parallelism
• Implementation
  • Dynamic Load Management
    • Throttling
    • Hysteresis
    • Task Creation
    • Task Export
  • Simulated Annealing
  • Communication Issues
    • Blocking
  • Speculation
  • Memory Management
• Related Areas
  • Concurrency/Nondeterminism
  • Dataflow
    • Dataflow Machines
  • Term-Graph Rewriting
  • Impure Features
• Future Directions
  • Architecture
  • Implicit Parallelism
  • Distributed Systems
  • Data Structures
  • Performance Prediction
  • Applications
• Further Reading
• Acknowledgements
• References
• About this document ...