> In practice, if you have a global total ordering of mutexes, it's safe to lock any number of them provided you lock them in order. Very interesting! Such a s

> In practice, if you have a global total ordering of mutexes, it's safe to lock any number of them provided you lock them in order. Very interesting! Such a simple and elegant solution.