C++ implementation of the Eraser lockset algorithm for dynamic data race detection in multi-threaded programs. Features comprehensive error handling, documentation, and example scenarios.
c-plus-plus synchronization cpp concurrency multithreading dynamic-analysis thread-safety pthread data-race-detection race-condition lockset-algorithm eraser-algorithm lock-analysis
-
Updated
Jan 2, 2026 - C++