<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
On 05/10/2022 13:46, David Lloyd wrote:<br>
<blockquote type="cite" cite="mid:CANghgrTFcRjLLN1YmunLxOxk=8BCR+jiyq77ckMSo6g+KUFyQQ@mail.gmail.com">
<div dir="ltr">:
<div class="gmail_quote">
<div><br>
</div>
<div class="gmail_default" style="font-family:arial,helvetica,sans-serif">There are
some disadvantages to this approach as well: this means that
at present, Thread.yield() is counter-intuitively unfair
(and thus not useful) for cooperatively switching among busy
tasks [1]. </div>
</div>
</div>
</blockquote>
<br>
That's more to do with the Thread.yield implementation than anything
else. We haven't decided yet on whether to change that.<br>
<br>
-Alan<br>
<br>
</body>
</html>