|
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup May 1996 |
Abstract:We use a geometric description for deadlocks occurring in scheduling problems for concurrent systems to construct a partial order and hence a directed graph, in which the local maxima correspond to deadlocks. Algorithms finding deadlocks are described and assessed
Available as PostScript, PDF, DVI. |