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 |