14.2.4.5.1 Ears to Mouths.

Since the stores cannot see the results of the loads (again, ignoring MMIO registers for the moment), it is not always possible to determine whether the memory-barrier condition has been met. However, recent hardware would guarantee that at least one of the loads saw the value stored by the corresponding store (or some later value for that same variable).



Paul E. McKenney 2011-12-16