ANALYZING DEADLOCKS AND LIVELOCKS IN CONCURRENT ADA PROGRAMS USING EXTENDED PETRI NETS.

被引：0
|
作者：
Cheng, Jingde [1 ]
Ushijima, Kazuo [1 ]
机构：
[1] Faculty of Engineering Kyushu Univ, Fukuoka, Jpn, Faculty of Engineering Kyushu Univ, Fukuoka, Jpn
来源：
Memoirs of the Kyushu University, Faculty of Engineering | 1988年 / 48卷 / 02期
关键词：
COMPUTER SOFTWARE - Software Engineering - MATHEMATICAL TECHNIQUES - Set Theory - PROBABILITY - Queueing Theory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Deadlocks and livelocks are two kinds of the most typical synchronization errors in a concurrent and/or distributed software. This paper shows that deadlocks and livelocks in a concurrent Ada program can be analyzed using Petri net theory. The authors model tasking behaviors of concurrent Ada programs by extended Petri nets and analyze the modeled programs by linear algebra methods. The solution of a deadlock and/or livelock problem in a concurrent Ada program can be reduced to obtaining a positive integer solution for a matrix equation. Some advantages and limitations of the authors' approach are discussed.
引用
收藏
页码：153 / 165
相关论文
共 50 条
  • [1] ANALYZING ADA TASKING DEADLOCKS AND LIVELOCKS USING EXTENDED PETRI NETS
    CHENG, JD
    USHIJIMA, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 499 : 125 - 146
  • [2] STATIC ANALYSIS OF CONCURRENT PROCESSES FOR DYNAMIC PROPERTIES USING PETRI NETS.
    Herzog, Otthein
    Instrument Maintenance Management, 1979, 70 : 66 - 90
  • [3] SAFETY ANALYSIS USING PETRI NETS.
    Leveson, Nancy G.
    Stolzy, Janice L.
    IEEE Transactions on Software Engineering, 1987, SE-13 (03) : 386 - 397
  • [4] Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended Petri Nets
    Yunkai Du
    Naijie Gu
    Huaxiong Cao
    Arabian Journal for Science and Engineering, 2017, 42 : 913 - 923
  • [5] Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended Petri Nets
    Du, Yunkai
    Gu, Naijie
    Cao, Huaxiong
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2017, 42 (02) : 913 - 923
  • [6] A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming
    Tricas, F
    Colom, JM
    Ezpeleta, J
    SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 542 - 546
  • [7] PETRI NET MODELS OF CONCURRENT ADA PROGRAMS
    STANSIFER, R
    MARINESCU, D
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 577 - 594
  • [8] CONCURRENT, REAL-TIME SYSTEMS: A SYSTEMATIC APPROACH USING TIMED PETRI NETS.
    Wong, C.Y.
    Dillon, T.S.
    Forward, K.E.
    Computer Systems Science and Engineering, 1987, 2 (03): : 117 - 124
  • [9] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
    STANSIFER, R
    BEAVEN, M
    MARINESCU, DC
    JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 129 - 148
  • [10] VERIFICATION OF COMMUNICATION PROTOCOLS USING NUMERICAL PETRI NETS.
    Symons, Fred J.W.
    ATR, Australian Telecommunication Research, 1980, 14 (01): : 34 - 38
12345