Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.
The dthreads C library implements pthread-based read/write locking that is versatile, yet very simple to use, and eliminates concerns about race conditions and deadlocks associated with implementing new read/write locks for every project.