Module Threads

module Threads: sig .. end

All the definitions of built-in concurrency primitives.

These definitions are grouped as one module to allow simple replacement of these primitives by other implementations of concurrency, such as coThreads.

module Threads.Condition: Batteries.Condition

Condition variables to synchronize between threads.

module Threads.Event: Batteries.Event

First-class synchronous communication.

module Threads.Mutex: Batteries.Mutex

Locks for mutual exclusion.

module Threads.RMutex: Batteries.RMutex

Locks for mutual exclusion.

module Threads.Thread: Batteries.Thread

Lightweight threads for Posix 1003.1c and Win32.