However, it is typically generated code that leads to this in the wild and so generation of code seems like the best approach to reproducing the problem. When I think of generic Java code ...

Virtual threads aren't magic wands, however. Under the hood, the Java runtime maps them onto a pool of native OS threads called carrier threads. That's where the problem of pinning comes in. If a ...