loading...
Assessing the Crash-Failure Assumption of Group Communication Protocols
Chicago, Illinois November 08-November 11
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.916th IEEE International Symposium on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sergio Mena, École Polytechnique Fédérale de Lausanne
Claudio Basile, University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign
André Schiper, École Polytechnique Fédérale de Lausanne
Ravi K. Iyer, University of Illinois at Urbana-Champaign
Designing and correctly implementing Group Communication Systems (GCSs) is notoriously difficult. Assuming that processes fail only by crashing provides a powerful means to simplify the theoretical development of these systems. When making this assumption, however, one should not forget that clean crash failures provide only a coarse approximation of the effects that errors can have in distributed systems. Ignoring such a discrepancy can lead to complex GCS-based applications that pay a large price in terms of performance overhead yet fail to deliver the promised level of dependability. This paper provides a thorough study of error effects in real systems by demonstrating a error-injection-driven design methodology, where error injection is integrated in the core steps of the design process of a robust fault-tolerant system. The methodology is demonstrated for the Fortika toolkit, a Java-based GCS. Error injection enables us to uncover subtle reliability bottlenecks both in the design of Fortika and in the implementation of Java. Based on the obtained insights, we enhance Fortika?s design to reduce the identified bottlenecks. Finally, a comparison of the results obtained for Fortika with the results obtained for the OCAML-based Ensemble system in a previous work, allows us to investigate the reliability implications that the choice of the development platform (Java versus OCAML) can have.
Citation:
Sergio Mena, Claudio Basile, Zbigniew Kalbarczyk, André Schiper, Ravi K. Iyer, "Assessing the Crash-Failure Assumption of Group Communication Protocols," issre, pp.107-116, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.