On necessary and sufficient conditions for deadlocks in AND and OR models

被引：0
|
作者：
Manivannan, D [1 ]
Singhal, M [1 ]
机构：
[1] Univ Kentucky, Dept Comp Sci, Lexington, KY 40506 USA
来源：
PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS | 2003年
关键词：
deadlock detection; knot detection; deadlock models; AND model; OR model;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Even though deadlock detection in distributed systems has been extensively studied in the literature, to our knowledge, the necessary and sufficient conditions for a process to be involved in deadlock appears to have not been established. In this paper, we prove the necessary and sufficient conditions for a process to be involved in deadlock in the AND model and the OR model.
引用
收藏
页码：309 / 314
页数：6
相关论文
共 50 条
12345