I was looking to see how it would be relevant, and then: > we present a case study on how we encountered a deadlock with virtual threads in TPC-C for PostgreSQ

I was looking to see how it would be relevant, and then: > we present a case study on how we encountered a deadlock with virtual threads in TPC-C for PostgreSQL, even without the dining philosophers problem. I guess it was a clunky non-example! (I was hoping to see a virtual thread solution to compare to: https://www.adit.io/posts/2013-05-15-Locks,-Actors,-And-STM-In-Pictures.html https://www.youtube.com/watch?v=aQXgW55f7cg https://hackage.haskell.org/package/stm )