DocumentCode
3396964
Title
An algorithm proving the resource-allocation-graph algorithm
Author
Jikui, Wang ; Shijie, Tang ; Huiyong, Wang
Author_Institution
Lanzhou Univ. of Finance & Econ., Lanzhou, China
fYear
2010
fDate
22-24 Oct. 2010
Firstpage
613
Lastpage
615
Abstract
By analyzing the resource allocation graph algorithm, we state that the soundess of the algorithm depends on a fact: different simplification sequences of the resource allocation graph lead to a same Non-reducible graph. By analyzing the essence of the resource allocation algorithm, we give another algorithm to verify the resource-allocation-graph algorithm.
Keywords
graph theory; operating systems (computers); resource allocation; dead lock problem; nonreducible graph; resource allocation graph algorithm; simplification sequence; Economic indicators; Non reducible graph; Resource-allocation-graph algorithm; Simplification sequence;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Computing and Integrated Systems (ICISS), 2010 International Conference on
Conference_Location
Guilin
Print_ISBN
978-1-4244-6834-8
Type
conf
DOI
10.1109/ICISS.2010.5655444
Filename
5655444
Link To Document