Unsafe.storeFence produces a floating fence
aph at redhat.com
Fri Nov 18 18:16:08 UTC 2016
On 18/11/16 17:53, Gilles Duboscq wrote:
> From what i see, GraphBuilderContext.add already takes care of
> adding the node to the control-flow.
> If you want to see how that happens, follow this call chain:
> GraphBuilderContext.add -> BytecodeParser.append -> BytecodeParser.updateLastInstruction
> So i think the MembarNode is correctly added in the control-flow at
> the point where you expect it.
> I don't think that the store floats anywhere, it's fixed.
Yeah, I thought it did, but then this...
> Looking at the code of actor1 i think what happens is rather the
> allocation of the Shell object and the initialization of x that
> moves down to the end of actor1 because of escape analysis.
OK, got that. Thanks everybody.
More information about the graal-dev