Fail-Awareness in Timed Asynchronous Systems
Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
Beitragende
Abstract
We address the problem of the impossibdity of implement-
ing synchronous fault-tolerant service specifications in asyn-
chronous distributed systems. We introduce a method for
weakening a synchronous service specification so that it be-
comes implementable in “timed” asynchronous systems, that
is, asynchronous systems in which processes have access to
local hardware clocks. The method (1) adds to a service
interface an exception indicator so that a client knows at
any time if a server is currently providing its standard “syn-
chronous” semantics or some other specified exceptional se-
mantics, (2) the standard behavior provided when the excep-
tion indicator does not signal an exception is “similar” to the
original synchronous service behavior, and (3) a server has
to provide its standard semantics whenever the underlying
communication and process services exhibit “synchronous
behavior”. To illustrate our method, we show how the spec-
ification of a synchronous datagram service and an inter-
nal clock synchronization service can be transformed into a
~aii-aware service specification. Further illustrations of the
usefulness of fail-aware services are provided by describing a
fail-safe railway crossing service and a fail-aware weak group
membership service.
ing synchronous fault-tolerant service specifications in asyn-
chronous distributed systems. We introduce a method for
weakening a synchronous service specification so that it be-
comes implementable in “timed” asynchronous systems, that
is, asynchronous systems in which processes have access to
local hardware clocks. The method (1) adds to a service
interface an exception indicator so that a client knows at
any time if a server is currently providing its standard “syn-
chronous” semantics or some other specified exceptional se-
mantics, (2) the standard behavior provided when the excep-
tion indicator does not signal an exception is “similar” to the
original synchronous service behavior, and (3) a server has
to provide its standard semantics whenever the underlying
communication and process services exhibit “synchronous
behavior”. To illustrate our method, we show how the spec-
ification of a synchronous datagram service and an inter-
nal clock synchronization service can be transformed into a
~aii-aware service specification. Further illustrations of the
usefulness of fail-aware services are provided by describing a
fail-safe railway crossing service and a fail-aware weak group
membership service.
Details
Originalsprache | Englisch |
---|---|
Seiten | 314-321 |
Seitenumfang | 8 |
Publikationsstatus | Veröffentlicht - 1996 |
Peer-Review-Status | Ja |
Konferenz
Titel | 15th Annual ACM Symposium on Principles of Distributed Computing |
---|---|
Kurztitel | PODC '96 |
Veranstaltungsnummer | 15 |
Dauer | 23 - 26 Mai 1996 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Stadt | Philadelphia |
Land | USA/Vereinigte Staaten |