Preventing deadlock with dynamic message scheduling

被引：1
|
作者：
Gomez, E [1 ]
Karant, Y [1 ]
Schubert, K [1 ]
机构：
[1] Calif State Univ San Bernardino, Dept Comp Sci, San Bernardino, CA 92407 USA
来源：
18TH INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING, PROCEEDINGS | 2005年
关键词：
D O I：
10.1109/ICSENG.2005.68
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Although deadlock is not completely avoidable in distributed and parallel programming, we hem describe theory and practice of a system that allows us to limit deadlock to situations in which there are true circular data dependences or failure of processes that compute data needed at other processes. This allows us to guarantee absence of deadlock in SPMD computations absent process failure. Our system guarantees optimal ordering of communication statements.
引用
收藏
页码：52 / 57
页数：6
相关论文
共 50 条
  • [31] How to Break the Deadlock Preventing a Fair and Rational Use of Biodiversity
    Straus, Joseph
    JOURNAL OF WORLD INTELLECTUAL PROPERTY, 2008, 11 (04): : 229 - 295
  • [32] Scheduling for deadlock avoidance operation in robotic manufacturing cells
    Yoon, H. J.
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE, 2010, 224 (B2) : 329 - 340
  • [33] A generic deadlock-free reactive scheduling approach
    Fahmy, Sherif A.
    Balakrishnan, Subramaniam
    ElMekkawy, Tarek Y.
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2009, 47 (20) : 5657 - 5676
  • [34] Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory Automation Systems
    Popescu, Corina
    Cavia Soto, Maria de los Angeles
    Martinez Lastra, Jose L.
    IETE TECHNICAL REVIEW, 2009, 26 (03) : 203 - 212
  • [35] Deadlock prevention in incremental replay of message-passing programs
    Zambonelli, F
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, PROCEEDINGS, 1999, 1593 : 593 - 602
  • [36] Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy
    Xing, Ke Yi
    Han, LiBin
    Zhou, MengChu
    Wang, Feng
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2012, 42 (03): : 603 - 615
  • [37] Dynamic Size Message Scheduling for Multi-Agent Communication Under Limited Bandwidth
    Sun, Qingshuang
    Steckelmacher, Denis
    Yao, Yuan
    Nowe, Ann
    Avalos, Raphael
    IEEE TRANSACTIONS ON MOBILE COMPUTING, 2024, 23 (12) : 15080 - 15097
  • [38] Decision Making Improvement for Diagnosis in Networked Control Systems based on Dynamic Message Scheduling
    Juanole, Guy
    Mouney, Gerard
    Sauter, Dominique
    Aubrun, Christophe
    Calmettes, Christophe
    18TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, 2010, : 280 - 285
  • [39] Message Scheduling and Timing Analysis for FlexRay Dynamic Segment by Considering Slot-Multiplexing
    Gu, Zhan-Yao
    Hsu, Yarsun
    Lee, Chi-Ming
    2015 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY (ICVES), 2015, : 56 - 61
  • [40] Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers
    Han, Libin
    Xing, Keyi
    Chen, Xiao
    Lei, Hang
    Wang, Feng
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2014, 52 (05) : 1557 - 1572
12345