Self-stabilizing Philosophers with Generic Conflicts - Archive ouverte HAL Access content directly
Journal Articles ACM Transactions on Autonomous and Adaptive Systems Year : 2009

Self-stabilizing Philosophers with Generic Conflicts

Praveen Danturi
  • Function : Author
Sébastien Tixeuil

Abstract

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 and versions

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

Identifiers

Cite

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⟩
62 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More