Simulating Fail-Stop in Asynchronous Distributed Systems (1994)
| Venue: | In Proceedings of the 13th Symposium on Reliable Distributed Systems (SRDS), Dana Point |
| Citations: | 14 - 2 self |
BibTeX
@INPROCEEDINGS{Sabel94simulatingfail-stop,
author = {Laura Sabel and Keith Marzullo},
title = {Simulating Fail-Stop in Asynchronous Distributed Systems},
booktitle = {In Proceedings of the 13th Symposium on Reliable Distributed Systems (SRDS), Dana Point},
year = {1994},
pages = {138--147},
publisher = {IEEE}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The fail-stop failure model appears frequently in the distributed systems literature. However, in an asynchronous distributed system, the fail-stop model cannot be implemented. In particular, it is impossible to reliably detect crash failures in an asynchronous system. In this paper, we show that it is possible to specify and implement a failure model that is indistinguishable from the fail-stop model from the point of view of any process within an asynchronous system. We give necessary conditions for a failure model to be indistinguishable from the fail-stop model, and derive lower bounds on the amount of process replication needed to implement such a failure model. We present a simple one-round protocol for implementing one such failure model, which we call simulated fail-stop. 1 Introduction The fail-stop failure model appears frequently in the distributed systems literature. The fail-stop model makes two assumptions about the failure behavior of processes: processes fail only by p...
Citations
No citations identified.
