Hierarchical deablock detection for nested transactions

Abstract

In this paper, we propose an algorithm for detecting deadlocks in a distributed Nested Transaction. This algorthms does not require that the global wait-for graph be built and maintained nor that the edges of a global wait-for graph be followed in order for deadlocks to be detected. Our algorithm uses the fact that transactions are organized in a tree structure. Each transaction maintains a representative wait-for graph that summarizes the waiting conditions in the subtree below the transaction. Deadlocks can be detected by individually checking these condensed wait-for graph.