[concurrency-interest] DirectByteBuffers and reachabilityFence

Justin Sampson jsampson at guidewire.com
Thu Dec 10 19:15:00 EST 2015


David Holmes wrote:

> To be 100% clear: hotspot does not implement the requirement that
> an object is only eligible for finalization after its constructors
> have completed. Instead it makes them eligible for finalization at
> the successful end of Object.<init>

Sorry, that's not 100% clear. The spec doesn't use the phrase
"eligible for finalization." Certainly the object must at least be
unreachable before it is eligible for finalization, right? So there
must be more to the implementation of "eligibility" than that
particular call in the compiler.

Cheers,
Justin

P.S. Jeremy explicitly mentioned the happens-before reasoning in the
body of the blog post that I linked to.



More information about the Concurrency-interest mailing list