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 条
  • [21] Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection
    Du, Yunkai
    Gu, Naijie
    Zhou, Xin
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D (12): : 2978 - 2985
  • [22] A Petri net structure-based deadlock prevention solution for sequential resource allocation systems
    Tricas, F
    García-Vallés, F
    Colom, JM
    Ezpeleta, J
    2005 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-4, 2005, : 271 - 277
  • [23] DEADLOCK-FREE SCHEDULING METHOD BASED ON PETRI NET AND GA
    Xu Gang Wu ZhimingSchool of Automation
    Chinese Journal of Mechanical Engineering, 2003, (04) : 371 - 375
  • [24] A kind of deadlock-free scheduling method based on Petri net
    Gang, X
    Wu, ZM
    7TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2002, : 195 - 200
  • [25] Deadlock and WCET analysis of barrier-synchronized concurrent programs
    Robert Mittermayr
    Johann Blieberger
    Computing, 2021, 103 : 749 - 770
  • [26] Deadlock and WCET analysis of barrier-synchronized concurrent programs
    Mittermayr, Robert
    Blieberger, Johann
    COMPUTING, 2021, 103 (05) : 749 - 770
  • [27] Petri net based deadlock prevention policy for flexible manufacturing systems
    Universidad de Zaragoza, Zaragoza, Spain
    IEEE Trans Rob Autom, 2 (173-184):
  • [28] Comments on “Deadlock prevention and avoidance in FMS: a Petri net based approach”
    Daniel Y. Chao
    The International Journal of Advanced Manufacturing Technology, 2008, 39 (3-4) : 317 - 318
  • [29] Deadlock detection method based on Petri net mining of program trajectory
    Lu F.
    Cui M.
    Bao Y.
    Zeng Q.
    Duan H.
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2021, 27 (09): : 2611 - 2624
  • [30] Research on Tool Flow Deadlock Based on Petri Net and Graph Theory
    Zhao Dan
    Liu Shao-gang
    Shu Hai-sheng
    ADVANCED DESIGN AND MANUFACTURE III, 2011, 450 : 59 - 62
12345