[concurrency-interest] Volatile stores in constructors, disallowed to see the default value
aleksey.shipilev at oracle.com
Wed Nov 27 08:17:21 EST 2013
On 11/27/2013 05:13 PM, Oleksandr Otenko wrote:
> The actual instructions on the left are:
> r2=new A();
> You have no mention of store(a) being strictly after store(a.f,42) in
> your reasoning; which is I think what Doug means by "final field"
Yeah, traces are implying this order there, see the program order
> If JLS already mentions that constructors with volatile stores in them
> are treated differently, then there is no ambiguity already.
Hm. Care to share the exact pointer?
More information about the Concurrency-interest