Skip to main content

Module sync

Module sync 

Source
Expand description

Synchronisation primitives that are mockable under deterministic simulation. The mutex, rwlock, condvar, waiter, and concurrent map exposed here delegate to native equivalents on real targets and to a virtualised scheduler on DST. Code that builds on std::sync directly cannot be replayed; code that builds on this module can.

Modulesยง

condvar
map
mutex
rwlock
waiter