On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models

D. Manivannan; M. Singhal

On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models

D. Manivannan
, M. Singhal

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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

Cite this

Manivannan, D., & Singhal, M. (2003). On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. In S.-M. Yoo, & H. Y. Youn (Eds.), 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003 (pp. 309-314). (16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003). International Society for Computers and Their Applications (ISCA).

Manivannan, D. ; Singhal, M. / On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003. editor / Seong-Moo Yoo ; Hee Yong Youn. International Society for Computers and Their Applications (ISCA), 2003. pp. 309-314 (16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003).

@inproceedings{5054b93f105d45c8959692516b88e8ea,

title = "On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models",

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.",

keywords = "AND model, Deadlock detection, Deadlock models, Knot detection, OR model",

author = "D. Manivannan and M. Singhal",

note = "Publisher Copyright: {\textcopyright} PDCS 2003. All rights reserved.; 16th International Conference on Parallel and Distributed Computing Systems, PDCS 2003 ; Conference date: 13-08-2003 Through 15-08-2003",

year = "2003",

language = "English",

series = "16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003",

publisher = "International Society for Computers and Their Applications (ISCA)",

pages = "309--314",

editor = "Seong-Moo Yoo and Youn, \{Hee Yong\}",

booktitle = "16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003",

address = "United States",

}

Manivannan, D & Singhal, M 2003, On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. in S-M Yoo & HY Youn (eds), 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003. 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003, International Society for Computers and Their Applications (ISCA), pp. 309-314, 16th International Conference on Parallel and Distributed Computing Systems, PDCS 2003, Reno, United States, 8/13/03.

On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. / Manivannan, D.; Singhal, M.
16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003. ed. / Seong-Moo Yoo; Hee Yong Youn. International Society for Computers and Their Applications (ISCA), 2003. p. 309-314 (16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models

AU - Manivannan, D.

AU - Singhal, M.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - AND model

KW - Deadlock detection

KW - Deadlock models

KW - Knot detection

KW - OR model

UR - https://www.scopus.com/pages/publications/85133176742

UR - https://www.scopus.com/pages/publications/85133176742#tab=citedBy

M3 - Conference contribution

AN - SCOPUS:85133176742

T3 - 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003

SP - 309

EP - 314

BT - 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003

A2 - Yoo, Seong-Moo

A2 - Youn, Hee Yong

PB - International Society for Computers and Their Applications (ISCA)

T2 - 16th International Conference on Parallel and Distributed Computing Systems, PDCS 2003

Y2 - 13 August 2003 through 15 August 2003

ER -

Manivannan D, Singhal M. On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. In Yoo SM, Youn HY, editors, 16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003. International Society for Computers and Their Applications (ISCA). 2003. p. 309-314. (16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003).

On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this