RaceBench: A Triggerable and Observable Concurrency Bug Benchmark
Jiashuo Liang, Ming Yuan, Z.B. Ding, Siqi Ma, Xinhui Han, Chao Zhang · 2023
Concurrency bugs are one of the most harmful and hard-to-address issues in multithreaded software. Such bugs are hard to discover, reproduce, diagnose or fix due to their non-deterministic nature. Although more and more bug discovery solutions are proposed in recent years, it is difficult to evaluate them with existing concurrency bug datasets. The demand for building a high-quality benchmark of concurrency bugs emerges.