Complexity Analysis of Weak Multitolerance

• Published in: 2010 IEEE 30th International Conference on Distributed Computing Systems pp. 398 - 407
• Main Authors: Jingshu Chen, Kulkarni, Sandeep
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.06.2010
• Subjects: Clocks; Computer bugs; Computer science; Costs; Distributed computing; Fault tolerance; Fault tolerant systems; Formal methods; Multitolerance; Polynomials; Program synthesis; Safety; Synchronization

In this paper, we classify multitolerant systems, i.e., systems that tolerate multiple classes of faults and provide potentially different levels of tolerance to them in terms of strong and weak multitolerance. Intuitively, this classification is based upon the guarantees provided by the program whe...