Iterative Computations with Ordered Read-Write Locks - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Parallel and Distributed Computing Année : 2010

Iterative Computations with Ordered Read-Write Locks

Pierre-Nicolas Clauss
  • Fonction : Auteur
  • PersonId : 843073
Jens Gustedt
Connectez-vous pour contacter l'auteur

Résumé

We introduce the framework of ordered read-write locks, ORWL, that are characterized by two main features: a strict FIFO policy for access and the attribution of access to lock-handles instead of processes or threads. These two properties allow applications to have a controlled pro-active access to resources and thereby to achieve a high degree of asynchronicity between different tasks of the same application. For the case of iterative computations with many parallel tasks which access their resources in a cyclic pattern we provide a generic technique to implement them by means of ORWL. We show that the possible execution patterns for such a system correspond to a combinatorial lattice structure and that this lattice is finite iff the configuration contains a potential deadlock. In addition, we provide efficient algorithms: one that allows for a deadlock-free initialization of such a system and another one for the detection of deadlocks in an already initialized system.
Fichier principal
Vignette du fichier
RR-6685.pdf (228.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00330024 , version 1 (13-10-2008)

Identifiants

Citer

Pierre-Nicolas Clauss, Jens Gustedt. Iterative Computations with Ordered Read-Write Locks. Journal of Parallel and Distributed Computing, 2010, 70 (5), pp.496­-504. ⟨10.1016/j.jpdc.2009.09.002⟩. ⟨inria-00330024⟩
394 Consultations
258 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More