Re: LKMM litmus test for Roman Penyaev's rcu-rr

Linus Torvalds writes: (Summary) They are NOT THE SAME.
are NOT THE SAME.
It really should be:
It really should be:

[...]

D
No it really really shouldn't.
No it really really shouldn't.
There are two completely different situations:
There are two completely different situations:
(1) there is the source code:
(1) there is the source code:
A

     if (B)
          C
     D

where  C contains a barrier, and B depends on A and is not statically
determinable.