Tag
deadlock-detection
- Jul 19, 2025 Detecting Deadlock Across Nodes Without a Shared Wait-For Graph How distributed deadlock detection assembles wait-for edges from independent lock managers, why stale edges produce phantom cycles, and what a timeout costs instead. distributed systems
- Mar 12, 2025 Lockdep: Proving Lock Order Without Running the Deadlock How the kernel records which lock classes are taken while holding which others, why a cycle in that graph is a proof, and what the validator cannot see through. operating systems