[PATCH] D18164: [tsan] Do not instrument reads/writes to instruction profile counters.
Anna Zaks via llvm-commits
llvm-commits at lists.llvm.org
Tue Mar 15 10:43:59 PDT 2016
zaks.anna added a comment.
dvyukov's point is that there are no "benign races" based on LLVM semantics. People might argue that their race is benign because it will result in atomic reads/writes on the architectures they care about. However, in that case, they should annotate their loads and stores as atomic explicitly, which would lower to no-op on the architectures they care about but will also be modeled correctly at the LLVM level. (TSan's pass reasons about LLVM semantics.) This is why I suggested to use "Monotonic". (http://llvm.org/docs/Atomics.html#id10)
More information about the llvm-commits