A protocol description language for customizing failure semantics
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
To optimize performance in a fault-tolerant distributed system, it is often necessary to enforce different failure semantics for different components. By choosing a custom set of failure semantics for each component and then by enforcing the semantics with a minimal set of protocols for a particular architecture, performance may be maximized while ensuring the desired system behavior. We have developed DIL, a language for specifying, on a per-component basis, protocols that transparently enforce failure semantics. These protocols may be reused with arbitrary components, allowing the development of a library of protocols.<>Keywords
This publication has 14 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- A multi-paradigm programming language for constructing fault-tolerant, distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Designing and implementingChoicesCommunications of the ACM, 1993
- A Linguistic Framework for Dynamic Composition of Dependability ProtocolsPublished by Springer Nature ,1993
- Understanding fault-tolerant distributed systemsCommunications of the ACM, 1991
- A Linguistic Approach to Failure Handling in Distributed SystemsPublished by Springer Nature ,1991
- The x-Kernel: an architecture for implementing network protocolsIEEE Transactions on Software Engineering, 1991
- Concurrent object-oriented programmingCommunications of the ACM, 1990
- Distributed programming in ArgusCommunications of the ACM, 1988
- Distributed snapshotsACM Transactions on Computer Systems, 1985