On 05/07, Paul E. McKenney wrote: > > By the stricter data-race rules used in RCU code [1], ... > [1] > https://docs.google.com/document/d/1FwZaXSg3A55ivVoWffA9iMuhJ3_Gmj_E494dLYjjyLQ/edit?usp=sharing
I am getting more and more confused... Does this mean that KCSAN/etc treats the files in kernel/rcu/ differently than the "Rest of Kernel"? Or what? And how is it enforced? Oleg.
