Module BatMutex

module BatMutex: sig .. end

Mutexes (mutual-exclusion locks) are used to implement critical sections and protect shared mutable data structures against concurrent accesses. The typical use is (if m is the mutex associated with the data structure D):

     Mutex.synchronize ~lock:m (fun () ->
        (* Critical section that operates over D *);
     ) ()
    

This module implements Control.Concurrency.Common
Author(s): Xavier Leroy (Base module), Damien Doligez (Base module), David Teller

module Mutex: sig .. end