A Comparison of Timed Asynchronous Systems and Asynchronous Systems with Failure Detectors
Publikation: Beitrag zu Konferenzen › Paper › Beigetragen
Beitragende
Abstract
Failure detectors were introduced as a concept to provide processes
with information about failures. We show in this paper that failure
detectors can also provide information about time. In particular, we
demonstrate that one can define a failure detector that provides
a process with the same properties as a hardware clock. This allows
us to demonstrate that all properties – except process recoveries –
of the timed asynchronous system model can be provided with the
help of . To prove this, we define a slightly restricted timed model
(which is essentially the timed model without process recov-
eries). Given an algorithm designed for , we show that the
set of runs in the timed model is the same as the set of runs
of the algorithm using the failure detector in the failure detector
model for partitionable systems.
with information about failures. We show in this paper that failure
detectors can also provide information about time. In particular, we
demonstrate that one can define a failure detector that provides
a process with the same properties as a hardware clock. This allows
us to demonstrate that all properties – except process recoveries –
of the timed asynchronous system model can be provided with the
help of . To prove this, we define a slightly restricted timed model
(which is essentially the timed model without process recov-
eries). Given an algorithm designed for , we show that the
set of runs in the timed model is the same as the set of runs
of the algorithm using the failure detector in the failure detector
model for partitionable systems.
Details
Originalsprache | Englisch |
---|---|
Seitenumfang | 8 |
Publikationsstatus | Veröffentlicht - 1999 |
Peer-Review-Status | Nein |
Konferenz
Titel | Third European Research Seminar on Advances in Distributed Systems (ERSADS 1999) |
---|---|
Kurztitel | ERSADS 1999 |
Veranstaltungsnummer | |
Dauer | 23 April 1999 |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Madeira Island |
Land | Portugal |