Higher-Order and Symbolic Computation, 11(2)209-225
Safe-for-Space Threads in Standard MLEdoardo Biagioni, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213
Ken Cline, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213
Peter Lee, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213
Chris Okasaki, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213
Chris Stone, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213
|
Abstract: Threads can easily be implemented using first-class
continuations, but the straightforward approaches for doing so lead to
space leaks, especially in a language with exceptions like Standard
ML. We show how these space leaks arise and give a new implementation
for threads that is safe for space.
Keywords: continuations, coroutines, Standard ML, space safety, threads |
This article can be downloaded [here].
![[picture of journal cover]](../LISP.JPG)