2 ms·
The Fuchsia guys use the trait system to enforce a global mutex locking order, which can statically prevent deadlocks due to two threads locking mutexes that th
by IshKebab 1y ago
The Fuchsia guys use the trait system to enforce a global mutex locking order, which can statically prevent deadlocks due to two threads locking mutexes that they are both waiting for.
Doesn't help in this case, but it does suggest that we might be able to do better.
- thenewwazoo 1y agoAny chance you could dig up a link to that code? I’m curious to learn more
- IshKebab 1y agohttps://lwn.net/Articles/995814/ https://lwn.net/Articles/995814/