Single Thread Continuation
Robert Engels
rengels at ix.netcom.com
Tue Jul 4 12:13:48 UTC 2023
To elaborate - the producer knows when no more values are coming and marks the iterator as such. So the next calls to hasNext()/next() fail appropriately. That is trivial.
The only “complex” part of the design is that the returned iterator is tracked with a weak reference by the producer. So if it goes out of scope the producer can be woken from the blocked/waiting state and clean up.
> On Jul 4, 2023, at 7:01 AM, Robert Engels <rengels at ix.netcom.com> wrote:
>
>
> That is built into the Iterator interface.
>
>>> On Jul 4, 2023, at 4:05 AM, Alex Otenko <oleksandr.otenko at gmail.com> wrote:
>>>
>>
>> How does the generator tell the consumer that no more values are forthcoming?
>>
>>> On Mon, 3 Jul 2023, 12:38 Robert Engels, <rengels at ix.netcom.com> wrote:
>>> Believe me. Queues are all you need there is no memory leak and no need to “close”. The producer side uses a weak reference to the queue. When there are no more strong references the producer side can terminate.
>>>
>>> You can’t use a standard blocking queue for this - but the queue implementation is fairly trivial - with a wake-up thread that listens on the weak reference queue.
>>>
>>>>> On Jul 3, 2023, at 6:19 AM, Attila Kelemen <attila.kelemen85 at gmail.com> wrote:
>>>>>
>>>>
>>>>>
>>>>> 2. We need to synchronize access to mutable state to avoid memory
>>>>> hazards. This is a separate issue from synchronizing access to
>>>>> mutable state to avoid correctness issues. With virtual threads on
>>>>> a single platform thread, this goes away too (because it's always
>>>>> the same thread observing memory operations; no barriers needed).
>>>>>
>>>>
>>>> That still seems incorrect to me (in principle, in practice it most likely will end up to be fine, but I just wouldn't rely on it), because the barrier is needed to prevent instruction reordering by the compiler, and you are not safe from that by using the same platform thread.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/loom-dev/attachments/20230704/311cb017/attachment-0001.htm>
More information about the loom-dev
mailing list