[llvm-branch-commits] [clang] [Clang] Add support for the `-fsanitize=concurrency` runtime (PR #225781)
Yaxun Liu via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Thu Sep 24 05:05:45 PDT 2026
================
@@ -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
More information about the llvm-branch-commits
mailing list