Dynamic deadlock detection under the OR requirement model

Deadlock detection is one of the most discussed problems in the literature. Although several al- gorithms have been proposed, the problem is still open. In general, the correct operation of an algorithm depends on the requirement model being considered. This article introduces a deadlock detection a...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Campos, Alvaro E., Orellana, Christian Fabián, Soto, María Pía
Formato: Articulo
Lenguaje:Inglés
Publicado: 2003
Materias:
Ciencias Informáticas
Distributed Systems
Deadlocks
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9466
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct03-7.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-9466
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Distributed Systems
Deadlocks
spellingShingle Ciencias Informáticas
Distributed Systems
Deadlocks
Campos, Alvaro E.
Orellana, Christian Fabián
Soto, María Pía
Dynamic deadlock detection under the OR requirement model
topic_facet Ciencias Informáticas
Distributed Systems
Deadlocks
description Deadlock detection is one of the most discussed problems in the literature. Although several al- gorithms have been proposed, the problem is still open. In general, the correct operation of an algorithm depends on the requirement model being considered. This article introduces a deadlock detection algorithm for the OR model. The algorithm is complete, because it detects all deadlocks, and it is correct, because it does not detect false deadlocks. In addition, the algorithm supports dynamic changes in the wait-for graph on which it works. Once finalized the algorithm, at least each process that causes deadlock knows that it is deadlocked. Using this property, possible extensions are suggested in order to resolve deadlocks.
format Articulo
Articulo
author Campos, Alvaro E.
Orellana, Christian Fabián
Soto, María Pía
author_facet Campos, Alvaro E.
Orellana, Christian Fabián
Soto, María Pía
author_sort Campos, Alvaro E.
title Dynamic deadlock detection under the OR requirement model
title_short Dynamic deadlock detection under the OR requirement model
title_full Dynamic deadlock detection under the OR requirement model
title_fullStr Dynamic deadlock detection under the OR requirement model
title_full_unstemmed Dynamic deadlock detection under the OR requirement model
title_sort dynamic deadlock detection under the or requirement model
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/9466
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct03-7.pdf
work_keys_str_mv AT camposalvaroe dynamicdeadlockdetectionundertheorrequirementmodel
AT orellanachristianfabian dynamicdeadlockdetectionundertheorrequirementmodel
AT sotomariapia dynamicdeadlockdetectionundertheorrequirementmodel
bdutipo_str Repositorios
_version_ 1764820491778916355

Ejemplares similares