A protocol description language for customizing failure semantics

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.<<ETX>>

[1]  Gul Agha,et al.  A Methodology for Adapting to Patterns of Faults , 1994 .

[2]  Gul A. Agha,et al.  Concurrent object-oriented programming , 1993, CACM.

[3]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[4]  R.D. Schlichting,et al.  A multi-paradigm programming language for constructing fault-tolerant, distributed systems , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.

[5]  Lily B. Mummert,et al.  Camelot and Avalon: A Distributed Transaction Facility , 1991 .

[6]  Roy H. Campbell,et al.  Designing and implementing Choices: an object-oriented system in C++ , 1993, CACM.

[7]  Larry L. Peterson,et al.  The x-Kernel: An Architecture for Implementing Network Protocols , 1991, IEEE Trans. Software Eng..

[8]  Fumio Teraoka,et al.  The muse object architecture: a new operating system structuring concept , 1991, OPSR.

[9]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[10]  Wooyoung Kim.  A Linguistic Framework for Dynamic Composition of Dependability Protocols , 1993 .

[11]  Flaviu Cristian,et al.  Understanding fault-tolerant distributed systems , 1991, CACM.

[12]  Anita Borg,et al.  A message system supporting fault tolerance , 1983, SOSP '83.

[13]  Kenneth P. Birman,et al.  Communication Support for Reliable Distributed Computing , 1986, Fault-Tolerant Distributed Computing.

[14]  米沢 明憲.  ABCL : an object-oriented concurrent system , 1990 .

[15]  Gul Agha,et al.  A LINGUISTIC FRAMEWORK FOR DYNAMIC COMPOSITION OF DEPENDABILITY PROTOCOLS , 1993 .

[16]  Philip Cannata,et al.  The extensible services switch in Carnot , 1993, IEEE Parallel & Distributed Technology: Systems & Applications.

[17]  Flaviu Cristian,et al.  A Linguistic Approach to Failure Handling in Distributed Systems , 1991 .

[18]  C. Talcott,et al.  A metaarchitecture for distributed resource management , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[19]  Barbara Liskov,et al.  Distributed programming in Argus , 1988, CACM.

[20]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.