ML Threads




SML/NJ with mutual exclusion primitives similar to those in Modula-2+ and Mesa.

Written by Greg Morrisett <[email protected]>.

Lightweight threads are created using fork.

They are pre-emptively scheduled and communicate via shared memory which can be protected by a "mutex" (monitor).

Implementations for Motorola 68020, SPARC and MIPS and VAX- and MIPS-based multiprocessors.

["Adding Threads to Standard ML", E. Cooper et al, CMU-CS-90-186, CMU Dec 1990].





< Previous Terms Terms Containing ML Threads Next Terms >
MLISP
ML Kit
MLL
ML-lex
ML-Linda
ML-Twig
mm
Mma
mmap
MMCD