================ @@ -0,0 +1,207 @@ +# ConcurrencySanitizer + +## Introduction + +ConcurrencySanitizer (CSan) is a data race detector for CPU and GPU programs. +It consists of an LLVM instrumentation pass and run-time libraries in +compiler-rt. + +Unlike ThreadSanitizer, CSan does not maintain a happens-before model or shadow +state for every memory location. Memory accesses are sampled at random and +stalled to detect unordered accesses. Importantly, this method has **no false +positives** and **fixed memory overhead.** However, the probabalistic nature ---------------- yxsamliu wrote:
Small typo: `probabalistic` should be `probabilistic`. https://github.com/llvm/llvm-project/pull/225781 _______________________________________________ llvm-branch-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
