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 条
  • [21] Deadlock prevention using Petri nets and their unfoldings
    A. Taubin
    A. Kondratyev
    M. Kishinevsky
    The International Journal of Advanced Manufacturing Technology, 1998, 14 : 750 - 759
  • [22] A deadlock prevention policy using elementary siphons
    Li, ZW
    Ma, X
    2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 1193 - 1198
  • [23] A rearrangement of adjacency matrix based approach for solving the crossing minimization problem
    Neng Fan
    Panos M. Pardalos
    Journal of Combinatorial Optimization, 2011, 22 : 747 - 762
  • [24] A rearrangement of adjacency matrix based approach for solving the crossing minimization problem
    Fan, Neng
    Pardalos, Panos M.
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2011, 22 (04) : 747 - 762
  • [25] Circuit Partitioning Problem Clustering Method Based on Adjacency Matrix Unification
    Kureichik, V. M.
    Safronenkova, I. B.
    PROCEEDINGS OF 2018 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2018), 2018,
  • [26] Graph representations using adjacency matrix transforms for clustering
    Tsapanos, Nikolaos
    Pitas, Ioannis
    Nikolaidis, Nikolaos
    Proceedings of the Mediterranean Electrotechnical Conference - MELECON, 2012, : 383 - 386
  • [27] Graph Representations using Adjacency Matrix Transforms for Clustering
    Tsapanos, Nikolaos
    Pitas, Ioannis
    Nikolaidis, Nikolaos
    2012 16TH IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE (MELECON), 2012, : 383 - 386
  • [28] A deadlock prevention policy for FMS using Petri nets
    Li, ZW
    Wei, N
    Zhu, RM
    2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 1187 - 1192
  • [29] Design of deadlock prevention supervisors using Petri nets
    Yi-Sheng Huang
    The International Journal of Advanced Manufacturing Technology, 2007, 35 : 349 - 362
  • [30] A deadlock prevention policy for FMS using mathematical programming
    Wei, N
    Li, ZW
    2005 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2005, : 399 - 403
12345