> Is tsan happy with the way seqlocks are written right now? I honestly don't know. But if there are tsan bugs there's not much we can do. The alternative below has overhead on ARM and PPC and does not quite fit in atomic.h.
In any case, a bigger issue is that this patch breaks on 32-bit because it does 64-bit atomic_read. We might have to fall back to volatile when not running on tsan. Paolo > Dmitry Vyukov wrote: > > 1. Tsan is bad at handling stand-alone memory barriers. > > And here is a way to express seqlock that is both correct, is > > understood by tsan and is no overhead on x86: > > > > // writer > > atomic_store(&seq, seq+1, memory_order_relaxed); > > atomic_store(&data[0], ..., memory_order_release); > > ... > > atomic_store(&data[N], ..., memory_order_release); > > atomic_store(&seq, seq+1, memory_order_release); > > > > // reader > > atomic_load(&seq, memory_order_acquire); > > d0 = atomic_load(&data[0], memory_order_acquire); > > ... > > dN = atomic_load(&data[N], memory_order_acquire); > > atomic_load(&seq, memory_order_relaxed); > > Source: https://groups.google.com/forum/#!topic/thread-sanitizer/B4i9EMQ4BQE > > Thanks, > > Emilio >
