<div dir="ltr"><div dir="ltr">Em sex., 22 de jul. de 2022 às 09:51, Ron Pressler <<a href="mailto:ron.pressler@oracle.com">ron.pressler@oracle.com</a>> escreveu:<br></div><div class="gmail_quote"><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;"><div>
</div>
<div>The main issue is that the Continuation class can be used in a way that would cause the current thread (i.e. Thread.currentThread()) to change mid-method. This would not only break a lot of Java code in very surprising ways, but also some assumptions
 made by the JIT compilers. Therefore, all safe constructs based on continuations must be confined to a single thread (or implement a thread, as done by virtual threads).</div></div></blockquote><div><br></div><div><br></div><div>I have once experimented designing a Generator based on Continuation. </div><div>Reading your comment above, I fear I may have misunderstood the requirements.</div><div>I'll try to re-state it, please correct me if I'm wrong.</div><div><br></div><div>A Continuation is initialized with a scope and a runnable.</div><div>At some point it will be run for the first time in a certain thread.</div><div>From this point onwards, this Continuation must continue to run always in the same thread.</div><div>If the Continuation yields, then it must be restarted in the thread to which ii is "bound", never in some other thread.</div><div>Is that correct?</div><div><br></div><div>Let us consider a Generator class defined over a Continuation.</div><div>The user calls _generate_ for the first time,</div><div>which calls _run_ on the Continuation for the first time,</div><div>"binding" the Continuation to the user's thread.</div><div>The Continuation function produces the value, stores it, and yields;</div><div>_generate_ returns the stored value to the user.</div><div>Eventually the user is going to call _generate_ again,</div><div>which must _run_ the Continuation again.</div><div>The JVM assumes that _run_ is always run on the "thread" to which the Continuation was bound.</div><div>Wouldn't it be enough to constrain _generate_ to be run always on the same thread,</div><div>a restriction which could be guaranteed by an assert?</div><div><br></div></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div>Pedro Lamarão</div></div></div></div>