The dining philosophers deadlock Dijkstra formalized in 1965 has a very real modern descendant: database engines like MySQL's InnoDB detect exactly this kind of lock-ordering cycle at runtime and kill one transaction to break it, because the alternative is an indefinite hang. The global lock-ordering fix you implement here is the same discipline the Linux kernel's lockdep validator enforces to catch AB-BA deadlocks before they ship.