CJTCS Volume 1998 Article 4
Multitolerance in Distributed Reset
Abstract
A reset of a distributed system is safe if it does not complete ``prematurely,'' i.e., without having reset some process in the system. Safe resets are possible in the presence of certain faults, such as process fail-stops and repairs, but are not always possible in the presence of more general faults, such as arbitrary transients. In this paper, we design a bounded-memory distributed-reset program that possesses two tolerances: (1) in the presence of fail-stops and repairs, it always executes resets safely, and (2) in the presence of a finite number of transient faults, it eventually executes resets safely. Designing this multitolerance in the reset program introduces the novel concern of designing a safety detector that is itself multitolerant. A broad application of our multitolerant safety detector is to make any total program likewise multitolerant.
-
Preformatted versions of the article
-
DVI:
Part of Figure 5 is presented as encapsulated
PostScript. With most WWW browsers, if you view the DVI
file directly, you will not see that portion of the
figure. In order to view the DVI version, download the
file below. Store it in the same directory, and name
the encapsulated PostScript files
"
cj9804f5.eps
".
- DVI (167,976 bytes)
- Encapsulated PostScript used in Figure 5 ( cj9803f5.eps , 21,933 bytes)
-
DVI:
Part of Figure 5 is presented as encapsulated
PostScript. With most WWW browsers, if you view the DVI
file directly, you will not see that portion of the
figure. In order to view the DVI version, download the
file below. Store it in the same directory, and name
the encapsulated PostScript files
"
cj9804f5.eps
".
- PostScript (642,283 bytes)
- PDF (493,786 bytes)
- Audio by AsTeR (to appear)
- LaTeX ( cj98-04.tex , 139,759 bytes)
- BIBTeX ( cj98-04.bib , 6,351 bytes)
- Parameter settings for custom formatting ( cjropts.tex , 165 bytes)
- Self citation in BIBTeX (255 bytes)
Article 3 Volume 1999, Article 1
Volume 1998 Published articles
Last modified: Tue Feb 9 20:50:58 CST 1999