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

Producción científica: Conference contribution › revisión exhaustiva

Resumen

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.

Idioma original	English
Título de la publicación alojada	16th ISCA International Conference on Parallel and Distributed Computing Systems 2003, PDCS 2003
Editores	Seong-Moo Yoo, Hee Yong Youn
Editorial	International Society for Computers and Their Applications (ISCA)
Páginas	309-314
Número de páginas	6
ISBN (versión digital)	9781618398161
Estado	Published - 2003
Evento	16th International Conference on Parallel and Distributed Computing Systems, PDCS 2003 - Reno, United States Duración: ago 13 2003 → ago 15 2003

Serie de la publicación

Nombre	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
País/Territorio	United States
Ciudad	Reno
Período	8/13/03 → 8/15/03

Nota bibliográfica

Publisher Copyright:
© PDCS 2003. All rights reserved.

ASJC Scopus subject areas

Computer Networks and Communications
Hardware and Architecture
Software

Otros archivos y enlaces

Citar esto

Manivannan, D., & Singhal, M. (2003). On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models. En 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. En 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).

Producción científica: Conference contribution › revisión exhaustiva

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. En Yoo SM, Youn HY, editores, 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

Resumen

Serie de la publicación

Conference

Nota bibliográfica

ASJC Scopus subject areas

Otros archivos y enlaces

Huella

Citar esto