Banker’s algorithm and deadlocks
News of the Kabardin-Balkar scientific center of RAS, no. 3 (2010), pp. 143-148
Cet article a éte moissonné depuis la source Math-Net.Ru
Algorithm allocations of identical resources (including financial ones) with regard of the semantics of modal logics, expressed in Cellular Automata, is considered. Condition of safe and prevention of missleadings tracks of system performance are investigated.
Keywords:
cohesion, knotting, deadlock, blocking, identical reuse resources, algorithm of prevention of deadlocks.
@article{IZKAB_2010_3_a3,
author = {U. M. Bishenov},
title = {Banker{\textquoteright}s algorithm and deadlocks},
journal = {News of the Kabardin-Balkar scientific center of RAS},
pages = {143--148},
year = {2010},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/IZKAB_2010_3_a3/}
}
U. M. Bishenov. Banker’s algorithm and deadlocks. News of the Kabardin-Balkar scientific center of RAS, no. 3 (2010), pp. 143-148. http://geodesic.mathdoc.fr/item/IZKAB_2010_3_a3/
[1] E. Diikstra, “Vzaimodeistvie posledovatelnykh protsessov”, V kn. Yazyki programmi rovaniya, Mir, M., 1972, 9–86
[2] Yu. M. Bishenov, “Nedeterminirovannyi vybor v algoritme vzaimnogo isklyucheniya”, Izvestiya KBNTs RAN, 1999, no. 2, 25–28
[3] “T. Minoura”, J.ACM, 29(4) (1982), 1023-1048 | DOI | Zbl
[4] A. Marshall, I. Olkin, Neravenstva: teoriya mazhorizatsii i ee prilozheniya, Mir, 1983, 576 pp.
[5] T. Toffoli, N. Margolus, Mashiny kletochnykh avtomatov, Mir, M., 1991, 280 pp.
[6] Yu. M. Bishenov, “Logika otkazoustoichivykh raspredelennykh sistem”, Izvestiya KBNTs RAN, 2001, no. 2 (7), 3–13