Deadlock avoidance revisited (Q3951540)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deadlock avoidance revisited |
scientific article |
Statements
Deadlock avoidance revisited (English)
0 references
1982
0 references
wait-for relations
0 references
deadlock avoidance in operating systems
0 references
deadlock- prediction problem for a set of processes using locks
0 references
NP-complete problem
0 references
deadlock-avoidance problem for processes with branches
0 references
PSPACE- complete
0 references
