Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure

被引：0
|
作者：
Wei Liu
Lu Wang
Yuyue Du
Maozhen Li
机构：
[1] Shandong University of Science and Technology,College of Information Science and Engineering
[2] Brunel University London,Department of Electronic and Computer Engineering
[3] Jiangsu University,School of Computer Science and Communication Engineering
来源：
International Journal of Parallel Programming | 2017年 / 45卷
关键词：
Parallel programs; Deadlock; Process nets; Message places;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Deadlocks of concurrent programs are abnormal and need to be avoided. The deadlock property is analyzed in the paper. To reduce the analysis complexity, the decomposition method is presented. The Petri net model of concurrent programs is decomposed into multiple process nets based on the number of processes and message places in a concurrent program. The relation between process nets and the Petri net model of a concurrent program is studied. By analysis of deadlocks of process nets, deadlocks of concurrent programs are concluded. For an important subclass, deadlock property of concurrent programs is determined based on the deadlock property and the static structure of process nets. The decision condition of deadlocks is proposed. The concepts and techniques given in this paper are shown with some examples.
引用
收藏
页码：879 / 898
页数：19
相关论文
共 50 条
  • [41] TEMPORAL LOGIC-BASED DEADLOCK ANALYSIS FOR ADA
    KARAM, GM
    BUHR, RJA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (10) : 1109 - 1125
  • [42] Simulation based deadlock analysis for system level designs
    Chen, X
    Davare, A
    Hsieh, H
    Sangiovanni-Vincentelli, A
    Watanabe, Y
    42ND DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2005, 2005, : 260 - 265
  • [43] Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach
    Y. Dashora
    S. Kumar
    M. K. Tiwari
    S. T. Newman
    International Journal of Flexible Manufacturing Systems, 2007, 19 : 486 - 515
  • [44] Analysis of Real-time Embedded Multi-core System Based on Prioritized Time Petri Net
    Zhang, Kai-Wen
    Liu, Guan-Jun
    Sun, Yan-Tao
    Li, Xiao-Feng
    Guan, Jian
    Xie, Yi
    Gu, Bin
    Ruan Jian Xue Bao/Journal of Software, 2024, 35 (09): : 4123 - 4140
  • [45] Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based Evolutionary Endosymbiotic Learning Automata approach
    Dashora, Y.
    Kumar, S.
    Tiwari, M. K.
    Newman, S. T.
    INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 2007, 19 (04): : 486 - 515
  • [46] Controllable Petri Net-Based Implementation Approach for Motor Control Systems
    Kuo, Chung-Hsien
    Chen, Ting-Shuo
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2013, 60 (10) : 4599 - 4612
  • [47] A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems
    Bashir, Muhammad
    Li, Zhiwu
    Uzam, Murat
    Al-Ahmari, Abdulrahman
    Wu, Naiqi
    Liu, Ding
    Qu, Ting
    IEEE ACCESS, 2017, 5 : 15731 - 15749
  • [48] Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
    Wu, Naiqi
    Zhou, MengChu
    OR SPECTRUM, 2007, 29 (03) : 421 - 443
  • [49] New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs
    Chen, YuFeng
    Li, Zhiwu
    Barkaoui, Kamel
    Uzam, Murat
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (10): : 1384 - 1400
  • [50] Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
    Naiqi Wu
    MengChu Zhou
    OR Spectrum, 2007, 29 : 421 - 443
12345