file.pdf (1.46 MB)

Adding threads to Standard ML

Download (1.46 MB)
journal contribution
posted on 01.01.2001, 00:00 by Eric C. Cooper, J. Gregory. Morrisett
Abstract: "We have added multiple threads of control to the Standard ML programming language. Standard ML's support for first-class functions and automatic storage management influenced the design in a number of ways. We demonstrate how other concurrency and synchronization operations, such as cobegin/coend, futures, and events, can be implemented in terms of the thread interface. Finally, we describe three implementations of the thread interface: a coroutine version, a uniprocessor preemptive version, and a multiprocessor Mach-based version."