Self-stabilizing Philosophers with Generic Conflicts - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Autonomous and Adaptive Systems Année : 2009

Self-stabilizing Philosophers with Generic Conflicts

Praveen Danturi
  • Fonction : Auteur
Sébastien Tixeuil

Résumé

We generalize the classic dining philosophers problem to separate the conflict and communication neighbors of each process. Communication neighbors may directly exchange information while conflict neighbors compete for the access to the exclusive critical section of code. This generalization is motivated by a number of practical problems in distributed systems including problems in wireless sensor networks. We present a self-stabilizing deterministic algorithm—GDP that solves this generalized problem. Our algorithm is terminating. We formally prove GDP correct and evaluate its performance. We extend the algorithm to handle a similarly generalized drinking philosophers and the committee coordination problem. We describe how GDP can be implemented in wireless sensor networks and demonstrate that this implementation does not jeopardize its correctness or termination properties.

Dates et versions

hal-01151770 , version 1 (13-05-2015)

Identifiants

Citer

Praveen Danturi, Sébastien Tixeuil. Self-stabilizing Philosophers with Generic Conflicts. ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.7. ⟨10.1145/1462187.1462194⟩. ⟨hal-01151770⟩
71 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More