Abstract
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 A N D model and the OR model.
| Original language | English |
|---|---|
| Title of host publication | 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003 |
| Editors | Seong-Moo Yoo, Hee Yong Youn |
| Publisher | International Society for Computers and Their Applications (ISCA) |
| Pages | 309-314 |
| Number of pages | 6 |
| ISBN (Electronic) | 9781618398161 |
| State | Published - 2003 |
| Event | 16th International Conference on Parallel and Distributed Computing Systems, PDCS 2003 - Reno, United States Duration: Aug 13 2003 → Aug 15 2003 |
Publication series
| Name | 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003 |
|---|
Conference
| Conference | 16th International Conference on Parallel and Distributed Computing Systems, PDCS 2003 |
|---|---|
| Country/Territory | United States |
| City | Reno |
| Period | 8/13/03 → 8/15/03 |
Bibliographical note
Publisher Copyright:© PDCS 2003. All rights reserved.
Keywords
- AND model
- Deadlock detection
- Deadlock models
- Knot detection
- OR model
ASJC Scopus subject areas
- Computer Networks and Communications
- Hardware and Architecture
- Software