The Atomic module is intended to provide some basic support for the so called lock-free concurrent programming. The current design replaces the previous Atomic module by Sean and is inspired partly by the llvm atomic operations, and Sean's version
The barrier module provides a primitive for synchronizing the progress of a group of threads.
The condition module provides a primitive for synchronized condition checking.
The config module contains utility routines and configuration information specific to this package.
The mutex module provides a primitive for maintaining mutually exclusive access.
The read/write mutex module provides a primitive for maintaining shared read access and mutually exclusive write access.
The semaphore module provides a general use semaphore for synchronization.