Messages in this thread | | | Date | Wed, 12 Feb 2014 19:12:05 +0100 | From | Peter Zijlstra <> | Subject | Re: [RFC][PATCH 0/5] arch: atomic rework |
| |
On Wed, Feb 12, 2014 at 09:42:09AM -0800, Paul E. McKenney wrote: > You need volatile semantics to force the compiler to ignore any proofs > it might otherwise attempt to construct. Hence all the ACCESS_ONCE() > calls in my email to Torvald. (Hopefully I translated your example > reasonably.)
My brain gave out for today; but it did appear to have the right structure.
I would prefer it C11 would not require the volatile casts. It should simply _never_ speculate with atomic writes, volatile or not.
| |