3 ms·

Exposing concurrency bugs with a custom scheduler

• rotis 2y ago
  This sounds very similar to Cuzz from Application Verifier for Windows: https://learn.microsoft.com/en-us/windows-hardware/drivers/devtest/application-verifier-tests-within-application-verifier#cuzz https://learn.microsoft.com/en-us/windows-hardware/drivers/d...
• zX41ZdbW 2y ago
  It is possible to do this entirely in userspace without a custom scheduler. See the implementation here: https://github.com/ClickHouse/ClickHouse/blob/master/src/Common/ThreadFuzzer.h https://github.com/ClickHouse/ClickHouse/blob/master/src/Com... It works and makes significant improvements for the detection of concurrency bugs, including complex logical races in distributed scenarios.
  • yencabulator 2y ago
    For Rust, https://crates.io/crates/turmoil https://crates.io/crates/turmoil https://crates.io/crates/loom https://crates.io/crates/loom https://crates.io/crates/shuttle https://crates.io/crates/shuttle are interesting.
  • ForOldHack 2y ago
    Bugs? "It is possible to do this entirely in user space without a custom scheduler." Exactly.
• ForOldHack 2y ago
  Its a feature.