<div dir="ltr"><div>Ron,</div><div><br></div><div>What would be the minimum # of virtual threads you would need to provide useful data so that you could investigate?<br></div><div>1K? 10K? or even more?</div><div><br></div><div>-T<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jan 6, 2023 at 11:55 AM Ron Pressler <<a href="mailto:ron.pressler@oracle.com">ron.pressler@oracle.com</a>> wrote:<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;">
<br>
<div><br>
<blockquote type="cite">
<div>On 6 Jan 2023, at 19:48, Robert Engels <<a href="mailto:rengels@ix.netcom.com" target="_blank">rengels@ix.netcom.com</a>> wrote:</div>
<br>
<div>
<div>The point is that spin locks are valid. If used with vthreads you will quickly lock the pool - if the unlocker is behind the others. With time sharing that shouldn’t happen.
<br>
<br>
</div>
</div>
</blockquote>
<br>
</div>
<div><font color="#000000">With time sharing you might get some desired behaviour only if the number of threads is quite small, and we already offer a solution for that that I think is better overall than adding time-sharing to virtual threads (although
 I’d say that if you have a system that’s frequently overcommitted, spin locks are *not* the construct you should use).</font>
<div style="color:rgb(0,0,0)"><br>
</div>
<div style="color:rgb(0,0,0)">But please, we’ve done all these thought experiments and tests for years. I am asking you to talk about a problem you’ve actually faced with virtual threads for which you think changes to
 virtual threads are the right solution.</div>
<div style="color:rgb(0,0,0)"><br>
</div>
<div style="color:rgb(0,0,0)">What we’re lacking isn’t ideas or hypotheses. The team working on virtual threads has worked on concurrency for many, *many* years (not just in Loom). What we’re lacking is data about usage
 of virtual threads in the field. If you’d like to help and shape what future features we add, that’s the way to do it.</div>
<div style="color:rgb(0,0,0)"><br>
</div>
<div style="color:rgb(0,0,0)">— Ron</div>
</div>
<br>
</div>

</blockquote></div>