| Safe-for-Space Threads in Standard ML \Lambda (2009) | |||||||||||||||
Abstract | |||||||||||||||
| 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. 1 Introduction The ability to provide simple implementations of lightweight, concurrent threads is often cited as one of the great attractions of first-class continuations. We show that this task is not nearly as simple as previously thought, at least if one is concerned about space safety. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||