A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2003, Pages 149-158

  Basile, Claudio ^a   Kalbarczyk, Zbigniew ^a   Iyer, Ravi ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOOSE SYNCHRONIZATION ALGORITHMS (LSA); PREEMPTIVE DETERMINISTIC SCHEDULING (PDS);

ALGORITHMS; DATA ACQUISITION; ERROR ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SCHEDULING;

COMPUTER SOFTWARE;

EID: 1542330157     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2003.1209926     Document Type: Conference Paper

References (25)

1. M. Cukier et al. AQuA: An adaptive architecture that provides dependable distributed objects. In Proc. of Int'l Symp. on Reliable Distributed Systems, pages 245-253, 1998.
2. S. Pleisch and A. Schiper. FATOMAS: A fault-tolerant mobile agent system based on the agent-dependent approach. In Proc. of Int'l Conf. on Dependable Systems and Networks, pages 215-224, 2001.
3. G. D. Parrington et al. The design and implementation of Arjuna. Computing Systems, 8(2):255-308, 1995.
4. L. E. Moser, P. M. Melliar-Smith, and P. Narasimhan. Consistent object replication in the Eternal system. Theory and Practice of Object Systems, 4(2):81-92, 1998.
5. R. Jimenez-Peris, M. Patino-Martinez, and S. Arevalo. Deterministic scheduling for transactional multithreaded replicas. In Proc. of Int'l Symp. on Reliable Distributed Systems, 2000.
6. C. Basile et al. Loose synchronization of multithreaded replicas. In Proc. of Int'l Symp. on Reliable Distributed Systems, 2002.
7. A. Goldberg et al. Transparent recovery of Mach applications. In Usenix Mach Workshop, pages 169-183, 1990.
8. M. Hayden. The Ensemble System. PhD thesis, Dept. of Computer Science, Cornell University, USA, 1997.
9. A. Borg et al. Fault tolerance under UNIX. ACM Trans. on Computer Systems, 7(1): 1-24, 1989.
10. T. C. Bressoud and F. B. Schneider. Hypervisor-based fault tolerance. ACM Trans. on Computer Systems, 14(1):80-107, 1996.
11. P. A. Barrett et al. The Delta-4 extra performance architecture (XPA). In FTCS-20, pages 481-488, 1990.
12. D. Powell et al. GUARDS: A generic upgradable architecture for real-time dependable systems. IEEE Trans. on Parallel and Distributed Systems, 10(6):580-599, 1999.
13. O. Babaoglu and K. Marzullo. Distributed Systems, pages 55-96. Addison-Wesley, 1993.
14. E. Elnozahy, D. Johnson, and Y. Wang. A survey of rollback-recovery protocols in message-passing systems. Technical report, Carnegie Mellon University, 1996.
15. C. Basile, Z. Kalbarczyk, and R. Iyer. A preemptive deterministic scheduling algorithm for multithreaded replicas. Technical report, University of Illinois at Urbana-Champaign, 2003. http://www.uiuc.edu/~cbasile/papers.
16. G. Holzmann. The SPIN model checker. IEEE Trans. on Software Engineering, 23(5):279-295, 1997.
17. F. Cristian et al. Atomic broadcast: From simple message diffusion to byzantine agreement. Information and Computation, 118(1):158-179, 1995.
18. F. B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22(4):299-319, 1990.
19. K. Whisnant et al. An experimental evaluation of the REE SIFT environment for spaceborne applications. In Proc. of Int'l Conf. on Dependable Systems and Networks, pages 585-595, 2002.
20. D. Stott et al. Dependability assessment in distributed systems with lightweight fault injectors in NFTAPE. In Proc. of Int'l Computer Performance and Dependability Symposium, 2000.
21. E. Fuchs. Validating the fail-silence assumption of the MARS architecture. In Proc. of 6th Dependable Computing for Critical Applications Conference, pages 225-247, 1998.
22. H. Madeira and J.G.Silva. Experimental evaluation of the fail-silent behavior in computers without error masking. In Proc. of Int'l Symp. on Fault-Tolerant Computing, pages 350-359, 1994.
23. M. Rimen, J. Ohlsson, and J. Torin. On microprocessor error behavior modeling. In Proc. of Int'l Symp. on Fault-Tolerant Computing, 1994.
24. F. V. Brasileiro et al. Implementing fail-silent nodes for distributed systems. IEEE Trans. on Computers, 45(11):1226-1238, 1996.
25. R. Guerraoui et al. System support for object groups. In ACM Conf. on Object-Oriented Programming Systems, Languages and Applications, 1998.