Abstract | ||
---|---|---|
In this article, we show that some fundamental self- and snap-stabilizing wave protocols (e.g., token circulation, PIF, etc.) implicitly assume a very light property that we call BreakingIn. We prove that BreakingIn is strictly induced by self- and snap-stabilization. Combined with a transformer, BreakingIn allows to easily turn the non-fault-tolerant versions of those protocols into snap-stabilizing versions. Unlike the previous solutions, the transformed protocols are very efficient and work at least with the same daemon as the initial versions extended to satisfy BreakingIn. Finally, we show how to use an additional property of the transformer to design snap-stabilizing extensions of those fundamental protocols like Mutual Exclusion. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1145/1462187.1462193 | TAAS |
Keywords | DocType | Volume |
fundamental protocol,additional property,snap-stabilizing wave protocol,wave protocols,fundamental self,Mutual Exclusion,self- and snap-stabilization,initial version,light property,light enabling snap-stabilization,transformer,non-fault-tolerant version,snap-stabilizing extension,snap-stabilizing version | Journal | 4 |
Issue | ISSN | Citations |
1 | 1556-4665 | 2 |
PageRank | References | Authors |
0.38 | 15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alain Cournier | 1 | 281 | 22.07 |
Stéphane Devismes | 2 | 61 | 6.15 |
Vincent Villain | 3 | 544 | 45.77 |