Deadlock prevention with collectively occupied resources (Q1075049)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Deadlock prevention with collectively occupied resources |
scientific article; zbMATH DE number 3949694
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deadlock prevention with collectively occupied resources |
scientific article; zbMATH DE number 3949694 |
Statements
Deadlock prevention with collectively occupied resources (English)
0 references
1985
0 references
Dijkstra's banker's algorithm
0 references
parallel processes
0 references
shared resources
0 references
Occupy and release algorithms
0 references
deadlock freedom
0 references
correctness
0 references
