Fail-Awareness in Timed Asynchronous Systems

Research output: Contribution to conferencesPaperContributedpeer-review

Contributors

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.

Details

Original languageEnglish
Pages314-321
Number of pages8
Publication statusPublished - 1996
Peer-reviewedYes

Conference

Title15th Annual ACM Symposium on Principles of Distributed Computing
Abbreviated titlePODC '96
Conference number15
Duration23 - 26 May 1996
Website
Degree of recognitionInternational event
CityPhiladelphia
CountryUnited States of America

External IDs

Scopus 0029723381

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards