GAML: a Parallel Implementation of Lazy ML

@inproceedings{Maranget1991GAMLAP,
  title={GAML: a Parallel Implementation of Lazy ML},
  author={Luc Maranget},
  booktitle={FPCA},
  year={1991}
}

• Luc Maranget
• Published in FPCA 1991
• DOI:10.1007/3540543961_6

We present a new parallel implementation of lazy ML. Our scheme is a direct extension of the G-machine-based implementation of lazy ML. Parallelism is introduced by fork annotations inserted by the programmer. We discuss the interference of such user annotations with strictness annotations generated by our compiler. The system has been implemented on a Sequent Balance computer. We also address the main practical issues involved, including stack and heap management. 

View via Publisher

Save to Library

Create Alert

Cite