[External] : Re: Virtual thread memory leak because TrackingRootContainer keeps threads

[Michal Domagala]

>
>
> This analysis is incorrect. The guarantees about program order say that
> ‘a’ must be alive OR the finally block must execute. There is no gray area
> here. This MUST hold.
>
> Robert, could you point out the documentation you cited?

I tried to find myself, but I found only the following in JLS:

A *reachable* object is any object that can be accessed in any potential
continuing computation from any live thread.

It means that 'a' is not reachable - but how does it match to being alive?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/loom-dev/attachments/20240801/c7137577/attachment.htm>