Maximally Permissive Deadlock Avoidance for Multithreaded Computer Programs

被引：0
|
作者：
Wang, Yin [1 ]
Liao, Hongwei [2 ]
Nazeem, Ahmed [3 ]
Reveliotis, Spyros [3 ]
Kelly, Terence [1 ]
Mahlke, Scott [2 ]
Lafortune, Stephane [2 ]
机构：
[1] HP Labs, Palo Alto, CA 94303 USA
[2] Univ Michigan, Dept EECS, Ann Arbor, MI 48109 USA
[3] Georgia Inst Technol, Sch Ind & Syst Engn, Atlanta, GA 30332 USA
来源：
2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING | 2009年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：37 / +
页数：2
相关论文
共 50 条
  • [1] 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
  • [2] 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
  • [3] SIMULATION ANALYSIS OF MULTITHREADED PROGRAMS UNDER DEADLOCK-AVOIDANCE CONTROL
    Liao, Hongwei
    Zhou, Hao
    Lafortune, Stephane
    [J]. PROCEEDINGS OF THE 2011 WINTER SIMULATION CONFERENCE (WSC), 2011, : 703 - 715
  • [4] 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
  • [5] Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
    Ahmed Nazeem
    Spyros Reveliotis
    [J]. Discrete Event Dynamic Systems, 2015, 25 : 31 - 63
  • [6] 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
  • [7] 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
  • [8] Detection of deadlock potentials in multithreaded programs
    Agarwal, R.
    Bensalem, S.
    Farchi, E.
    Havelund, K.
    Nir-Buchbinder, Y.
    Stoller, S. D.
    Ur, S.
    Wang, L.
    [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2010, 54 (05)
  • [9] An Intelligent Deadlock Locating Scheme for Multithreaded Programs
    Li, Jiaqi
    Liu, Xiaodong
    Jiang, Linxuan
    Liu, Buquan
    Yang, Zhaojun
    Hu, Xianlang
    [J]. 2019 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS, METAHEURISTICS & SWARM INTELLIGENCE (ISMSI 2019), 2019, : 14 - 18
  • [10] Maximally permissive deadlock prevention via an invariant controlled method
    Liu, Gaiyun
    Chao, Daniel Yuh
    Uzam, Murat
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2013, 51 (15) : 4431 - 4442
12345