Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks

被引：0

作者：

Ahmed Nazeem

Spyros Reveliotis

机构：

[1] United Airlines,School of Industrial, Systems Engineering

[2] Georgia Institute of Technology,undefined

来源：

Discrete Event Dynamic Systems | 2015年 / 25卷

关键词：

Reader/writer locks; Deadlock; Parallel programming; Supervisory control; Discrete event systems; Right-closed sets;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

This paper extends the existing theory on maximally permissive liveness-enforcing supervision of resource allocation systems (RAS) so that it can handle RAS with reader / writer (R/W-) locks. A key challenge that is posed by this new RAS class stems from the fact that the underlying state space is not necessarily finite. We effectively address this obstacle by taking advantage of special structure that exists in the set of inadmissible states and enables a finite representation of this set through its minimal elements.

引用

页码：31 / 63

页数：32

共 50 条

[41] MODELLING AND CONTROL OF RESOURCE ALLOCATION SYSTEMS WITHIN DISCRETE EVENT SYSTEMS BY MEANS OF PETRI NETS - PART 1: INVARIANTS, SIPHONS AND TRAPS IN DEADLOCK AVOIDANCE
Capkovic, Frantisek
[J]. COMPUTING AND INFORMATICS, 2021, 40 (03) : 648 - 689
[42] A Petri net based deadlock avoidance controller for manufacturing systems with multiple resource service
Xing, Keyi
Tian, Feng
Li, Junmin
Qu, Shengli
[J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 812 - 817
[43] Resource Sharing and Deadlock Avoidance in Multi Robot Systems Using Market Based Approach
Iftikhar, Kulsoom
Khan, Muhammad Tahir
[J]. 7TH IEEE ANNUAL INFORMATION TECHNOLOGY, ELECTRONICS & MOBILE COMMUNICATION CONFERENCE IEEE IEMCON-2016, 2016,
[44] Dynamic resource allocation with interference avoidance for fixed wireless systems
Qiu, XX
Chawla, K
[J]. NINTH IEEE INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS, VOLS 1-3, 1998, : 1433 - 1437
[45] A Petri net structure-based deadlock prevention solution for sequential resource allocation systems
Tricas, F
García-Vallés, F
Colom, JM
Ezpeleta, J
[J]. 2005 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-4, 2005, : 271 - 277
[46] Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets
Ezpeleta, FTJ
[J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 322 - 329
[47] Two Generalized-Petri-net-based Strategies for Deadlock Prevention in Resource Allocation Systems
Hu, Hesuan
Li, Zhiwu
Zhou, Mengchu
[J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), VOLS 1-6, 2008, : 1947 - +
[48] The Deadlock Structure Character in Petri Net Models of Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings
Yue Hao
[J]. PROCEEDINGS OF THE 29TH CHINESE CONTROL CONFERENCE, 2010, : 5296 - 5299
[49] Quasi-static resource allocation with interference avoidance for fixed wireless systems
Chawla, K
Qiu, XX
[J]. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1999, 17 (03) : 493 - 504
[50] Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs
Hu, Hesuan
Li, Zhiwu
[J]. COMPUTERS & INDUSTRIAL ENGINEERING, 2009, 57 (04) : 1168 - 1181

← 1 2 3 4 5 →