On 15 Dec 2021, at 15:06, Brian Goetz wrote:
It took us a while to unravel this one, but I think we did.
… What this says is that tearing/non-tearing is a property of
reference-vs-primitive-ness; accessing a (fat) value through a
reference gives you *more guarantees* than accessing it directly
It took us a while to unravel this one, but I think we did.
The JMM says that loads and stores of references, and of
32-bit-and-smaller primitive values, are atomic with respect to other
loads and stores of the same variable. This means that you'll see a
valid value, though it could be a stal