|
Avtomatika i Telemekhanika, 1985, Issue 5, Pages 143–147
(Mi at7022)
|
|
|
|
Computers in Control
Deadlock prevention with collectively occupied resources
R. È. Asratian, V. A. Makarov Moscow
Abstract:
In a simple modification of Dijkstra's banker algorithm makes it possible for any separable resource to be allocated to several parallel processes (collective fixation). Algorithms of resource fixation and release are described whereby deadlocks are avoided and a theorem confirming their legitimacy is proved.
Received: 17.05.1984
Citation:
R. È. Asratian, V. A. Makarov, “Deadlock prevention with collectively occupied resources”, Avtomat. i Telemekh., 1985, no. 5, 143–147; Autom. Remote Control, 46 (1985), 664–667
Linking options:
https://www.mathnet.ru/eng/at7022 https://www.mathnet.ru/eng/at/y1985/i5/p143
|
Statistics & downloads: |
Abstract page: | 107 | Full-text PDF : | 42 |
|