Linux to DJGPP cross-compiler with pthreadlibrary and std::thread.
CMake build script for a GNU/Linux to DJGPP cross-compiler with POSIX threads (and std::thread).
Please see the README file in the 'Files' section for more details.
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.