<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 6 Jan 2023, at 19:48, Robert Engels <<a href="mailto:rengels@ix.netcom.com" class="">rengels@ix.netcom.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div class="">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 class="">
<br class="">
</div>
</div>
</blockquote>
<br class="">
</div>
<div><font color="#000000" class="">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="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">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="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">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="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class="">
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">— Ron</div>
</div>
<br class="">
</body>
</html>