Loading...
Please wait, while we are loading the content...
Similar Documents
Configurable Fault-Tolerant Distributed Services (1996)
| Content Provider | CiteSeerX |
|---|---|
| Author | Hiltunen, Matti Aarno |
| Abstract | Fault tolerance---that is, the ability of a system to continue providing its specified service despite failures---is becoming more important as computers are increasingly used in application areas such as process control, airtraffic control, and banking. Distributed systems, consisting of computers connected by a network, are an important platform for many faulttolerant systems. Unfortunately, it is difficult to construct faulttolerant distributed software, so communication services such as multicast, RPC, membership, and transactions have been proposed as simplifying abstractions. However, although numerous versions of these services have been defined, no single implementation provides a perfect match for all applications and all execution environments. This dissertation presents an approach to constructing highly configurable fault tolerant services. A new model is proposed where a service is composed out of micro protocol objects, each of which implements an individual semantic property of the overall service. This makes it easy to construct different customized versions of a service with properties tailored to the specifics of an application. The model allows microprotocols to cooperate using userdefinable events and shared variables, making the model more flexible than existing approaches. Three prototype implementations of the model are also described. In addition, a new approach is introduced for specifying abstract properties of services using temporal logic over message ordering graphs, which are abstract representations of collections of messages on each site. Furthermore, the problem of which combinations of properties or corresponding microprotocols are feasible is addressed by defining relations that identify those combinations that result in a functioning service. Dependency and configuration graphs are presented as tools for constructing operational configurations. This new approach is used to develop configurable membership and group RPC ser vices. Furthermore, the system diagnosis problem is contrasted with membership, and new membership and system diagnosis algorithms are derived based on the observations. Finally, the dissertation presents an application of the eventdriven model to adaptive systems that dynamically change their behavior as a result of changes in the execution environment or user requirements. |
| File Format | |
| Language | English |
| Publisher Date | 1996-01-01 |
| Access Restriction | Open |
| Subject Keyword | Configurable Fault-tolerant Distributed Service Execution Environment New Approach Configurable Membership Micro Protocol Object Abstract Property Overall Service Temporal Logic Single Implementation Communication Service Fault Tolerance Functioning Service Configurable Fault Tolerant Service Prototype Implementation System Diagnosis Problem Different Customized Version Operational Configuration Configuration Graph Micro Protocol Application Area System Diagnosis Algorithm Process Control Individual Semantic Property Definable Event New Model Adaptive System Group Rpc Ser Vice Many Fault Tolerant System New Membership Fault Tolerant Important Platform Air Traffic Control User Requirement Perfect Match Specified Service Numerous Version Abstract Representation |
| Content Type | Text |
| Resource Type | Technical Report |
