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 条
  • [1] Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure
    Liu, Wei
    Wang, Lu
    Du, Yuyue
    Li, Maozhen
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2017, 45 (04) : 879 - 898
  • [2] The concurrent information flow model and deadlock analysis based on Petri net for multilevel management
    Zhang Li
    Mu Xiao-dong
    Qi Wei
    2008 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-11, 2008, : 1872 - 1874
  • [3] Supply Chain Network Optimization of Deadlock: A Model Based on Petri Net
    Liu, Qin
    Hai, Feng
    Liu, Gang
    PROCEEDINGS OF 2010 INTERNATIONAL CONFERENCE ON LOGISTICS SYSTEMS AND INTELLIGENT MANAGEMENT, VOLS 1-3, 2010, : 1396 - +
  • [4] 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
  • [5] Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
    Ahmad, Farooq
    Huang, Hejiao
    Wang, Xiao-Long
    JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (04) : 675 - 688
  • [6] Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding
    Liu, Guanjun
    Zhang, Kun
    Jiang, Changjun
    ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2016, 2016, 10048 : 98 - 105
  • [7] A deadlock detection tool for concurrent Java']Java programs
    Demartini, C
    Iosif, R
    Sisto, R
    SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07) : 577 - 603
  • [8] Deadlock analysis of Petri nets based on the resource share places relationship
    Kim, Sanghwan
    Lee, Sangho
    Lee, Jongkun
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 59 - 64
  • [9] An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems
    Uzam, Murat
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (03): : 362 - 371
  • [10] The Analysis and Avoidance of Concurrent Processes Deadlock
    Shang, Kun
    Zhang, Kai
    ADVANCED RESEARCH ON INFORMATION SCIENCE, AUTOMATION AND MATERIAL SYSTEM, PTS 1-6, 2011, 219-220 : 45 - 48
12345