Locks for mutual exclusion.
Mutexes (mutual-exclusion locks) are used to implement critical sections
and protect shared mutable data structures against concurrent accesses.
The typical use is (if
The type of mutexes.
val create :
Return a new mutex.
val lock :
Lock the given mutex. Only one thread can have the mutex locked at any time. A thread that attempts to lock a mutex already locked by another thread will suspend until the other thread unlocks the mutex.
val try_lock :
val unlock :
Unlock the given mutex. Other threads suspended trying to lock the mutex will restart.