Stabilizing Dining with Failure Locality 1
Conference Paper
Overview
Research
Identity
Additional Document Info
Other
View All
Overview
abstract
The dining philosophers problem, or simply dining, is a fundamental distributed resource allocation problem. We propose two algorithms for solving stabilizing dining with failure locality 1 in asynchronous shared-memory systems with regular registers. Since this problem cannot be solved in pure asynchrony, we augment the shared-memory system with failure detectors. Specifically, we introduce the local anonymous eventually perfect failure detector ?P 1, and show that this failure detector is sufficient to solve the problem at hand. 2014 Springer-Verlag.