Back to Search
Start Over
Snap-stabilization in message-passing systems
- Source :
-
Journal of Parallel & Distributed Computing . Dec2010, Vol. 70 Issue 12, p1220-1230. 11p. - Publication Year :
- 2010
-
Abstract
- Abstract: In this paper, we tackle the problem of snap-stabilization in message-passing systems. Snap-stabilization allows designing protocols that withstand transient faults: indeed, any computation that is started after faults cease immediately satisfies the expected specification. Our contribution is twofold: we demonstrate that in message-passing systems (i) snap-stabilization is impossible for nontrivial problems if channels are of finite yet unbounded capacity, and (ii) snap-stabilization becomes possible in the same setting with bounded capacity channels. The latter contribution is constructive, as we propose two snap-stabilizing protocols for propagation of information with feedback and mutual exclusion. Our work opens exciting new research perspectives, as it enables the snap-stabilizing paradigm to be implemented in actual networks. [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 07437315
- Volume :
- 70
- Issue :
- 12
- Database :
- Academic Search Index
- Journal :
- Journal of Parallel & Distributed Computing
- Publication Type :
- Academic Journal
- Accession number :
- 55054240
- Full Text :
- https://doi.org/10.1016/j.jpdc.2010.04.002