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 条
  • [1] Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
    Nazeem, Ahmed
    Reveliotis, Spyros
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (1-2): : 31 - 63
  • [2] Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers
    Cordone, Roberto
    Nazeem, Ahmed
    Piroddi, Luigi
    Reveliotis, Spyros
    [J]. 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 7244 - 7251
  • [3] A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems
    Fei, Zhennan
    Reveliotis, Spyros
    Miremadi, Sajed
    Akesson, Knut
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2015, 12 (03) : 990 - 1006
  • [4] Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
    Nazeem, Ahmed
    Reveliotis, Spyros
    Wang, Yin
    Lafortune, Stephane
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (08) : 1818 - 1833
  • [5] Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
    Nazeem, Ahmed
    Reveliotis, Spyros
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (07) : 1670 - 1684
  • [6] Maximally Permissive Deadlock Avoidance for Multithreaded Computer Programs
    Wang, Yin
    Liao, Hongwei
    Nazeem, Ahmed
    Reveliotis, Spyros
    Kelly, Terence
    Mahlke, Scott
    Lafortune, Stephane
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 37 - +
  • [7] Scalable and maximally-permissive deadlock avoidance for FMS
    Kumar, P
    Kothandaraman, K
    Ferreira, P
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, 1998, : 580 - 585
  • [8] On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems
    Reveliotis, Spyros A.
    Roszkowska, Elzbieta
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (07) : 1646 - 1651
  • [9] Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance
    Yang, Benyuan
    Hu, Hesuan
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2022, 19 (04) : 3838 - 3852
  • [10] A deadlock avoidance approach for nonsequential resource allocation systems
    Ezpeleta, J
    Recalde, L
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01): : 93 - 101
12345