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] PETRI-NET-BASED DEADLOCK ANALYSIS OF PROCESS ALGEBRA PROGRAMS
    RONDOGIANNIS, P
    CHENG, MHM
    SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (01) : 55 - 89
  • [3] 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
  • [4] Improving the Accuracy of Petri Net-based Analysis of Concurrent Programs Analysis (ISSTA)
    Software Eng Notes, 3 (24):
  • [5] PETRI NET MODELS OF CONCURRENT ADA PROGRAMS
    STANSIFER, R
    MARINESCU, D
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 577 - 594
  • [6] The analysis and test of Petri Net's deadlock
    Tang, Peihe
    2005 International Symposium on Computer Science and Technology, Proceedings, 2005, : 188 - 193
  • [7] Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy
    王生原
    梁英毅
    董渊
    Tsinghua Science and Technology, 2007, (06) : 684 - 690
  • [8] Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy
    Wang, Shengyuan
    Liang, Yingyi
    Dong, Yuan
    Tsinghua Science and Technology, 2007, 12 (06) : 684 - 690
  • [9] Verification of Concurrent Programs Using Petri Net Unfoldings
    Dietsch, Daniel
    Heizmann, Matthias
    Klumpp, Dominik
    Naouar, Mehdi
    Podelski, Andreas
    Schaetzle, Claus
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 174 - 195
  • [10] A Survey of Deadlock Prevention Policies Based on Petri Net
    Wu Wen-hui
    Zhang Qi
    INTERNATIONAL CONFERENCE OF CHINA COMMUNICATION (ICCC2010), 2010, : 764 - +
12345