[compiler-rt] [llvm] [tsan] Introduce Adaptive Delay Scheduling to TSAN (PR #178836)
Dmitry Vyukov via llvm-commits
llvm-commits at lists.llvm.org
Sat Feb 14 01:49:41 PST 2026
================
@@ -1371,20 +1383,23 @@ INTERCEPTOR(int, pthread_cond_signal, void *c) {
void *cond = init_cond(c);
SCOPED_TSAN_INTERCEPTOR(pthread_cond_signal, cond);
MemoryAccessRange(thr, pc, (uptr)c, sizeof(uptr), false);
+ GetFuzzingScheduler().MutexCvOp();
----------------
dvyukov wrote:
If one of the threads is not holding the mutex, then the race should be detected regardless of the execution order.
https://github.com/llvm/llvm-project/pull/178836
More information about the llvm-commits
mailing list