A Deadlock Prevention Using Adjacency Matrix on Dining Philosophers Problem

被引：0
|
作者：
Zhan, Jinsong [1 ]
Guo, Yongning [1 ]
Liu, Chenglian [1 ]
机构：
[1] Fujian Normal Univ, Dept Math & Comp Sci, Fuqing Branch, Fuqing 350300, Peoples R China
来源：
FRONTIERS OF MANUFACTURING AND DESIGN SCIENCE II, PTS 1-6 | 2012年 / 121-126卷
关键词：
Dining Philosophers Problem; Prevent Deadlock; Resource Starvation; Memory Consistency;
D O I：
10.4028/www.scientific.net/AMM.121-126.1191
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
In computer science, the dining philosopher's problem is an illustrative example of a common computing problem in concurrency. It is a classic multi-process synchronization problem. In this paper, we proposed a mathematical model which it expresses an adjacency matrix to show the deadlock occurs, and how resolve it.
引用
收藏
页码：1191 / 1195
页数：5
相关论文
共 50 条
  • [31] Design of deadlock prevention supervisors using elementary siphons
    Huang, Y. S.
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 869 - 875
  • [32] Synthesis of deadlock prevention supervisors using Petri nets
    Iordache, MV
    Moody, JO
    Antsaklis, PJ
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (01): : 59 - 68
  • [33] Design of deadlock prevention supervisors using Petri nets
    Huang, Yi-Sheng
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2007, 35 (3-4): : 349 - 362
  • [34] DEADLOCK PREVENTION IN A COMMUNICATIONS SHELL USING EMPTY SLOTS
    WARING, LC
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 33 (01): : 33 - 43
  • [35] Using ordered and atomic multicast for distributed deadlock prevention
    Cheng, WCH
    FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 106 - 116
  • [36] Deadlock analysis of Petri nets using the transitive matrix
    Song, YJ
    Lee, JK
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 689 - 694
  • [37] DEADLOCK PREVENTION AND DEADLOCK-AVOIDANCE IN FLEXIBLE MANUFACTURING SYSTEMS USING PETRI NET MODELS
    VISWANADHAM, N
    NARAHARI, Y
    JOHNSON, TL
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1990, 6 (06): : 713 - 723
  • [38] Adjacency Matrix Construction Using Sparse Coding for Label Propagation
    Zheng, Haixia
    Ip, Horace H. S.
    Tao, Liang
    COMPUTER VISION - ECCV 2012, PT III, 2012, 7585 : 315 - 323
  • [39] Graceful Labeling for Some Supercaterpillar Graphs Using Adjacency Matrix
    Pakpahan, R. N.
    Sugeng, K. A.
    PROCEEDINGS OF THE 3RD INTERNATIONAL SYMPOSIUM ON CURRENT PROGRESS IN MATHEMATICS AND SCIENCES 2017 (ISCPMS2017), 2018, 2023
  • [40] Network Classification Using Adjacency Matrix Embeddings and Deep Learning
    Wu, Ke
    Watters, Philip
    Magdon-Ismail, Malik
    PROCEEDINGS OF THE 2016 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING ASONAM 2016, 2016, : 299 - 306
12345