Using program analysis to identify and compensate for nondeterminism in fault-tolerant, replicated systems

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 2004, Pages 251-263

  Slember, Joseph G ^a   Narasimhan, Priya ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CORBA APPLICATIONS; FAULT-RECOVERY; FAULT-TOLERANT APPLICATIONS; REPLICATED SYSTEMS;

AUTOMATION; COMPUTER APPLICATIONS; COMPUTER OPERATING SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; INTERFACES (COMPUTER); REAL TIME SYSTEMS; RELIABILITY; SCHEDULING;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 16244403612     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RELDIS.2004.1353026     Document Type: Conference Paper

References (25)

1. http://www.edg.com/.
2. A. V. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley Publishing Company, 1986.
3. G. Aigner, A. Diwan, D. L. Heine, M. S. Lam, D. L. Moore, B. R. Murphy, and C. Sapuntzakis. The Basic SUIF Programming Guide.
4. P. Barrett, P. Bond, A. Hilborne, L. Rodrigues, D. Seaton, N. Speirs, and P. Verissimo. The Delta-4 extra performance architecture (XPA). In Fault-Tolerant Computing Symposium, pages 481-488, Newcastle, UK, June 1990.
5. [S] C. Basile. Active replication of multithreaded applications. Technical Report CRHC-02-01, University of Illinois at Urbana-Champaign, 2002.
6. C. Basile, Z. Kalbarczyk, and R. Iyer. A preemptive deterministic scheduling algorithm for multithreaded replicas. In International Conference on Dependable Systems and Networks, pages 149-158, San Francisco, CA, June 2003.
7. S. Bestaoui. One solution for the nondeterminism problem in the SCEPTRE 2 fault tolerance technique. In Euromicro Workshop on Real-Time Systems, pages 352-358, Odense, Denmark, June 1995.
8. T. C. Bressoud. TFT: A software system for application-transparent fault tolerance. In International Conference on Fault-Tolerant Computing, pages 128-137, Munich, Germany, June 1998.
9. T. C. Bressoud and F. B. Schneider. Hypervisor-based fault-tolerance. In ACM Transactions on Computer Systems, pages 90-107, Munich, Germany, February 1996.
10. N. Budhiraja, F. Schneider, S. Toueg, and K. Marzullo. The primary-backup approach. In S. Mullender, editor, Distributed Systems. ACM Press - Addison Wesley, 1993.
11. X. Defago, A. Schiper, and N. Sergent. Semi-passive replication. In Symposium on Reliable Distributed Systems, pages 43-50, West Lafayette, IN, October 1998.
12. T. Dumitraş and P. Narasimhan. An architecture for versatile dependability. DSN Workshop on Architecting Dependable Systems, Florence, Italy, June 2004.
13. J. Engblom, A. Ermedahl, M. Sjoedin, J. Gubstafsson, and H. Hansson. Worst-case execution-time analysis for embedded real-time systems. STTT (Software Tools for Technology Transfer) Special Issue on ASTEC, 2001.
14. S. Frolund and R. Guerraoui. X-ability: a theory of replication. In ACM Symposium on Principles of Distributed Computing, pages 229-237, Portland, Oregon, July 2000.
15. H. Gaifman, M. J. Maher, and E. Shapiro. Replay, recovery, replication, and snapshots of nondeterministic concurrent programs. In ACM Symposium on Principles of Distributed Computing, pages 241-55, Montreal, Canada, August 1991.
16. R. Jimenez-Peris, M. Patino-Martinez, and S. Arevalo. Deterministic scheduling for transactional multithreaded replicas. In IEEE Symposium on Reliable Distributed Systems, pages 164-173, Nurnberg, Germany, October 2000.
17. P. Narasimhan, L. E. Moser, and P. M. Melliar-Smith. Enforcing determinism for the consistent replication of multithreaded CORBA applications. In IEEE Symposium on Reliable Distributed Systems, pages 263-273, Lausanne, Switzerland, October 1999.
18. Object Management Group. Fault Tolerant CORBA. OMG Technical Committee Document formal/2001-09-29, September 2001.
19. M. Orgiyan and C. Fetzer. Tapping TCP streams. In IEEE International Symposium on Network Computing and Applications, pages 278-289, Cambridge, MA, October 2001.
20. S. Poledna. Replica Determinism in Fault-Tolerant Real-Time Systems. PhD thesis, Technical University of Vienna, Vienna, Austria, April 1994.
21. S. Poledna, A. Burns, A. Wellings, and P. Barrett. Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers, vol. 49, no. 2, pages 100-111, 2000.
22. F. B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys (CSUR), vol. 22, no. 4, pages 299-319, 1990.
23. R. W. Sebesta. Concepts of Programming Languages. Addison-Wesley Publishing Company, 2001.
24. J. H. Slye and E. N. Elnozahy. Support for software interrupts in log-based rollback-recovery. IEEE Transactions on Computers, vol. 47, no. 10, pages 1113-1123, 1998.
25. T. Wolf. Replication of Non-Deterministic Objects. PhD thesis, Ecole Polytechnique Federale de Lausanne, Lausanne, Switzerland, November 1988.