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 条
  • [1] Modeling and Analysis of Deadlock Driven Dynamic Priority Scheduling
    Hazra, Rumpa
    Dey, Shouvik
    Kanjilal, Ananya
    Bhattacharya, Swapan
    2013 IEEE INTERNATIONAL CONFERENCE OF IEEE REGION 10 (TENCON), 2013,
  • [2] Deadlock-free Production Scheduling with Dynamic Buffers in MES
    Mo, Taiping
    Liao, Shengjuan
    Mo, Wei
    SMART SCIENCE, 2014, 2 (04) : 196 - 201
  • [3] Message Scheduling for the FlexRay Protocol: The Dynamic Segment
    Schmidt, Ece Guran
    Schmidt, Klaus
    IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2009, 58 (05) : 2160 - 2169
  • [4] Efficient Message Scheduling for FlexRay Dynamic Segments
    Wu, Yujing
    Li, Shuqing
    Liu, Suya
    Xu, Yinan
    SYMMETRY-BASEL, 2025, 17 (03):
  • [5] On optimal deadlock detection scheduling
    Applied Research, Telcordia Technologies, One Telcordia Drive, Piscataway, NJ 08854, United States
    不详
    IEEE Trans Comput, 2006, 9 (1178-1187):
  • [6] On optimal deadlock detection scheduling
    Ling, Yibei
    Chen, Shigang
    Chiang, Cho-Yu Jason
    IEEE TRANSACTIONS ON COMPUTERS, 2006, 55 (09) : 1178 - 1187
  • [7] DEADLOCK-PREVENTING ROUTING IN HYPERCYCLES
    DIMOPOULOS, NJ
    SIVAKUMAR, R
    CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING-REVUE CANADIENNE DE GENIE ELECTRIQUE ET INFORMATIQUE, 1994, 19 (04): : 193 - 199
  • [8] DPTSV:A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
    ZHAO Bo
    XIANG Shuang
    AN Yang
    TAO Wei
    中国通信, 2016, 13 (01) : 161 - 175
  • [9] A Dynamic Buffer Reservation Method Based on Markov Chain to Solve Deadlock Problem in Scheduling
    Han, Zhonghua
    Liu, Yuehan
    Shi, Haibo
    Tian, Xutian
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON MODELLING, IDENTIFICATION AND CONTROL (ICMIC2019), 2020, 582 : 1205 - 1213
  • [10] DPTSV: A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
    Zhao Bo
    Xiang Shuang
    An Yang
    Tao Wei
    CHINA COMMUNICATIONS, 2016, 13 (01) : 161 - 175
12345