Storyboard: Optimistic deterministic multithreading

Proceedings of the 6th Workshop on Hot Topics in System Dependability, HotDep 2010

Volumn , Issue , 2010, Pages

  Kapitza, Rüdiger ^a   Schunter, Matthias ^a   Cachin, Christian ^a   Stengel, Klaus ^b   Distler, Tobias ^b  

^a IBM RESEARCH ZURICH   (Switzerland)

^b UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORECASTING;

APPLICATION-SPECIFIC KNOWLEDGE; CRITICAL SECTIONS; DETERMINISTIC EXECUTION; MULTI-THREADED PROGRAMS; MULTITHREADED EXECUTIONS; NETWORK-BASED SERVICES; RUN TIME SYSTEMS; STATE MACHINE REPLICATION;

DATA SHARING;

EID: 85013795089     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. BASILE, C., KALBARCZYK, Z., AND IYER, R. A preemptive deterministic scheduling algorithm for multithreaded replicas. In Proceedings of the 2003 Int. Conf. on Dependable Systems and Networks (DSN '03) (2003), pp. 149-158.
2. BASILE, C., WHISNANT, K., KALBARCZYK, Z., AND IYER, R. Loose synchronization of multithreaded replicas. In Proceedings of the 21st IEEE Symp. on Reliable Distributed Systems (SRDS '02) (2002), pp. 250-255.
3. BRESSOUD, T. C., AND SCHNEIDER, F. B. Hypervisor-based fault tolerance. ACM Transactions on Computer Systems (TOCS) 14, 1 (1996), 80-107.
4. CASTRO, M., AND LISKOV, B. Practical Byzantine fault tolerance. In Proceedings of the 3rd Symp. on Operating Systems Design and Implementation (OSDI '99) (1999), pp. 173-186.
5. CLEMENT, A., KAPRITSOS, M., LEE, S., WANG, Y., ALVISI, L., DAHLIN, M., AND RICHE, T. UpRight cluster services. In Proceedings of the 22nd Symp. on Operating Systems Principles (SOSP '09) (2009), pp. 277-290.
6. CULLY, B., LEFEBVRE, G., MEYER, D., FEELEY, M., HUTCHINSON, N., AND WARFIELD, A. Remus: high availability via asynchronous virtual machine replication. In Proceedings of the 5th USENIX Symp. on Networked Systems Design and Implementation (NSDI '08) (2008), pp. 161-174.
7. DING, X., HUANG, H., RUAN, Y., SHAIKH, A., PETERSON, B., AND ZHANG, X. Splitter: a proxy-based approach for postmigration testing of web applications. In Proceedings of the 5th European Conf. on Computer Systems (EuroSys '10) (2010), pp. 97-110.
8. DOMASCHKA, J., BESTFLEISCH, T., HAUCK, F. J., REISER, H. P., AND KAPITZA, R. Multithreading strategies for replicated objects. In Proceedings of the ACM/IFIP/USENIX 9th Int. Middleware Conf. (Middleware '08) (2008), pp. 104-123.
9. DOMASCHKA, J., SCHMIED, A. I., REISER, H. P., AND HAUCK, F. J. Revisiting deterministic multithreading strategies. In Proceedings of the IEEE Int. Parallel and Distributed Processing Symp. (IPDPS '07) (2007), pp. 225-232.
10. KOTLA, R., AND DAHLIN, M. High throughput Byzantine fault tolerance. In Proceedings of 2004 Int. Conf. on Dependable Systems and Networks (DSN '04) (2004), pp. 575-584.
11. NAPPER, J., ALVISI, L., AND VIN, H. A fault-tolerant Java virtual machine. In Proceedings of the 2003 Int. Conf. on Dependable Systems and Networks (DSN '03) (2003), pp. 425-434.
12. POOL, J., WONG, I. S. K., AND LIE, D. Relaxed determinism: making redundant execution on multiprocessors practical. In Proceedings of the 11th USENIX Work. on Hot Topics in Operating Systems (HOTOS '07) (2007), pp. 1-6.
13. REISER, H. P., HAUCK, F. J., DOMASCHKA, J., KAPITZA, R., AND SCHRÖDER-PREIKSCHAT, W. Consistent replication of multithreaded distributed objects. In Proceedings of the 25th IEEE Symp. on Reliable Distributed Systems (SRDS'06) (2006), pp. 257-266.
14. SCHNEIDER, F. B. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Computing Survey 22, 4 (1990), 299-319.