A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings

@inproceedings{ParkReveliotis00, abstract = {The need for effective and efficient deadlock avoidance policies (DAPs) is ever increasing due to the higher demand for system automation. This paper considers the deadlock avoidance problem for the class of conjunctive/disjunctive (sequential) resource allocation systems (C/D-RAS), in which multiple resource acquisitions and flexible routings are allowed. A new siphon-based characterization of deadlocks arising in C/D-RAS is developed, and subsequently, this characterization facilitates the development of a polynomial complexity deadlock avoidance policy for the considered RAS class. The developed policy can be perceived as a generalization of RUN DAP, originally developed for sequential RAS with unit resource allocations and no routing flexibility. The proposed approach is demonstrated by an example}, author = {Park, Jonghun and Reveliotis, S. A. }, citeulike-article-id = {832205}, journal = {Decision and Control, 2000. Proceedings of the 39th IEEE Conference on}, keywords = {citas, deadlock, supervisory}, pages = {2663--2669 vol.3}, posted-at = {2006-09-06 11:55:16}, priority = {2}, title = {A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings}, url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=914207}, volume = {3}, year = {2000} }

TY - CONF ID - ParkReveliotis00 L3 - citeulike-article-id:832205 TI - A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings JF - Decision and Control, 2000. Proceedings of the 39th IEEE Conference on VL - 3 SP - 2663 EP - 2669 vol.3 N2 - The need for effective and efficient deadlock avoidance policies (DAPs) is ever increasing due to the higher demand for system automation. This paper considers the deadlock avoidance problem for the class of conjunctive/disjunctive (sequential) resource allocation systems (C/D-RAS), in which multiple resource acquisitions and flexible routings are allowed. A new siphon-based characterization of deadlocks arising in C/D-RAS is developed, and subsequently, this characterization facilitates the development of a polynomial complexity deadlock avoidance policy for the considered RAS class. The developed policy can be perceived as a generalization of RUN DAP, originally developed for sequential RAS with unit resource allocations and no routing flexibility. The proposed approach is demonstrated by an example KW - citas KW - deadlock KW - supervisory AU - Park, Jonghun AU - Reveliotis, SA PY - 2000/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=914207 ER -