Changes to JEP 453

[forax at univ-mlv.fr]

----- Original Message -----
> From: "Ron Pressler" <ron.pressler at oracle.com>
> To: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "Alan Bateman" <alan.bateman at oracle.com>, "attila kelemen85" <attila.kelemen85 at gmail.com>, "loom-dev"
> <loom-dev at openjdk.org>
> Sent: Saturday, May 20, 2023 2:31:36 AM
> Subject: Re: Changes to JEP 453

>> On 19 May 2023, at 20:51, forax at univ-mlv.fr wrote:
>> 
>> Okay, I think i understand the proposed change.
>> 
>> The semantics for the JDK 19/20 has the invariant that after a call to join()
>> the state of a Future was stable, i.e. it will never change later.
>> 
>> Here you are breaking that invariant because a subtask with the state NOT_RUN
>> will transition to either SUCCESS or FAILED depending how the subtask callable
>> finished after the call to join().
> 
> NOT_RUN will never be run and will never change, but RUNNING will change to
> SUCCESS or FAILED.

Ok,  thanks.
I was confused.

Rémi