>>>>> "Hans" == Boehm, Hans <hans_boehm@hp.com> writes: Hans> I believe that's correct. A pointer load or store by itself is Hans> always atomic. Ok. PR closed. Tom