Flashback: A lightweight extension for rollback and deterministic replay for software debugging

Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference

Volumn , Issue , 2004, Pages

  Srinivasan, Sudarshan M ^a   Kandula, Srikanth ^a   Andrews, Christopher R ^a   Zhou, Yuanyuan ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; BENCHMARKING; COMPUTER DEBUGGING; COMPUTER OPERATING SYSTEMS;

DETERMINISTIC REPLAY; LINUX- OPERATING SYSTEM; MICRO-BENCHMARK; OPERATING SYSTEM FAILURES; REAL APPLICATIONS; SOFTWARE DEBUGGING; SOFTWARE ROBUSTNESS; SYSTEM AVAILABILITY;

PROGRAM DEBUGGING;

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

References (82)

1. S. V. Adve, M. D. Hill, B. P. Miller, and R. H. B. Netzer. Detecting Data Races on Weak Memory Systems. In Proceedings of the 18th Annual International Symposium on Computer Architecture, pages 234-243, 1991.
2. Alvisi and Marzullo. Trade-offs in implementing causal message logging protocols. In PODC: 15th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, 1996.
3. C. Amza, A. Cox, and W. Zwaenepoel. Data replication strategies for fault tolerance and availability on commodity clusters. Proc. of the International Conference on Dependable Systems and Networks., 2000.
4. A. Bobbio and M. Sereno. Fine grained software rejuvenation models. In IEEE International Computer Performance and Dependability Symposium, 1998.
5. A. Borg, J. Baumbach, and S. Glazer. A message system supporting fault tolerance. In Proceedings of the 9th ACM Symposium on Operating Systems Principles (SOSP), volume 17, pages 90-99, 1983.
6. A. Borg, W. Blau, W. Graetsch, F. Herrmann, and W. Oberle. Fault tolerance under UNIX. ACM Transactions on Computer Systems, 7(l):l-24, Feb. 1989.
7. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
8. G. Candea and A. Fox. Crashonly software. In Proceedings of the 9th Workshop on Hot Topics in Operating Systems, May 2003.
9. M. Castro and B. Liskov. Proactive recovery in a byzantine-fault-tolerant system. In OSDI, 2000.
10. P. M. Chen, D. E. Lowell, and G. W. Dunlap. Discount checking: Transparent, low-overhead recovery for general applications. Technical report, University of Michigan, Department of Electrical Engineering and Computer Science, July 1998.
11. P. M. Chen, W. T. Ng, S. Chandra, C. Aycock, G. Rajamani, and D. Lowell. The Rio file cache: Surviving operating systems crashes. In Seventh International Conference on Architectural Support, for Programming Languages and Operating Systems, pages 74-83, Cambridge, Massachusetts, 1-5 Oct. 1996. ACM Press.
12. Y. Chen, J. S. Plank, and K. L i. Clip: a checkpointing tool for message-passing parallel programs. In Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM), pages 1-11. ACM Press, 1997.
13. J. Choi and H. Srinivasan. Deterministic replay of java multithreaded applications. In Proceedings of the SIGMETRICS Symposium, on Parallel and Distributed Tools, pages 48-59, Aug. 1998.
14. J.-D. Choi and S. L. Min. Race Frontier: Reproducing Data Races in Parallel-Program Debugging. In Proceedings of the Third ACM SIGPLAN Symposium, on Principles & Practice of Parallel Programming, pages 145-154, 1991.
15. K. D. Cooper, M. W. Hall, R. T. Hood, K. Kennedy, K. S. McKinley, J. M. Mellor-Crummey, L. Torczon, and S. K. Warren. The ParaScope Parallel Programming Environment. Proceedings of the IEEE, 81(2):244-263, 1993.
16. O. P. Damani and V. K. Garg. How to recover efficiently and asynchronously when optimism fails. In International Conference on Distributed Computing Systems, pages 108-115, 1996.
17. G. W. Dunlap, S. T. Kind, S. Cinar, M. A. Basrai, and P. M. Chen. Revirt: enabling intrusion analysis through virtual-machine logging and replav. ACM SIGOPS Operating Systems Review, 35(SI):211-224, 2002.
18. E. N. M. Elnozahy, L. Alvisi, Y. Wang, and D. B. Johnson. A survev of rollback-recoverv protocols in message-passing svstems. ACM Computing Surveys (CSUR), 34(3):375-408, 2002.
19. D. R. Engler, D. Y. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Symposium, on Operating Systems Principles, pages 57-72, 2001.
20. D. Evans, J. Guttag, J. Horning, and Y. M. Tan. Lclint: A tool for using specifications to check code. In Symposium, on the Foundations of Software Engineering, December 1994.
21. D. Evans and D. Larochelle. Improving security using extensible lightweight static analvsis. IEEE Software, 19(1):42-51, /2002.
22. S. Feldman and C. Brown. Igor: A system for program debugging via reversible execution. ACM SIGPLAN Notices, Workshop on Parallel and Distributed Debugging, 24(1):112-123, Jan. 1989.
23. C. Flanagan and S. N. Freund. Tvpe-based race detection for Java. ACM SIGPLAN Notices, 35(5):219-232, 2000.
24. C. Flanagan, K. Leino, M. Lillibridge, C. Nelson, J. Saxe, and R. Stata. Extended static checking for java. In PLDI, 2002.
25. G. Candea et. al. Reducing recovery time in a small recursively restartable system. In DSN, 2002.
26. K. Gharachorloo and P. B. gibbons. Detecting Violations of Sequential Consistency. In Proceedings of the Third Annual ACM Symposium, on Parallel Algorithms and Architectures, pages 316-326, 1991.
27. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceeding of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (PLDI), 2002.
28. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proc. 2002 Int. Conf. Software Engineering, pages 291-301, Orlando, F L, May 2002.
29. R. Haskin, Y. Malachi, and G. Chan. Recovery management in quicksilver. ACM Transactions on Computer Sytems (TOCS), 6(1):82-108, 1988.
30. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In the Winter USENIX, 1992.
31. K. Havelund and T. Pressburger. Model checking java programs using java pathfinder, 1998.
32. Y. Huang, C. Kintala, N. Kolettis, and N. Fulton. Software rejuvenation: analvsis, module and applications. In FTCS-25, 1995.
33. Y. Huang and Y. Wang. Why optimistic message logging has not been used in telecommunication systems. In Proceedings of the 1995 International Symposium, on Fault-Tolerant Computing (FTCS), pages 459-463, june 1995.
34. D. Johnson and W. Zwaenepoel. Recovery in distributed systems using optimistic message logging and checkpointing. In Proceedings of the Seventh Annual ACM Symposium, on Principles of Distributed Computing, pages 171-181, Aug. 1988.
35. KAI-Intel Corporation. Assure. URL: http: //developer.intel.com/software/products/assure/.
36. S. Kumar and K. Li. Using model checking to debug network interface firmware. In the Fifth Symposium, on Operating Systems Design and Implementation (OSDI), 2002.
37. K. Li, J. Naughton, and J. Plank. Concurrent real-time checkpoint for parallel programs. In Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 79-88, Seattle, Washington, Mar. 1990.
38. K. Li, J. Naughton, and J. Plank. An efficient checkpointing method for multicomputers with wormhole routing. International Journal of Parallel Programming, 20(3):159-180, June 1991.
39. K. L i, J. Naughton, and J. Plank. Low-latency concurrent checkpoint for parallel programs. IEEE Transactions on Parallel and Distributed Computing, 1994.
40. B. Liskov. Distributed programming in argus. Communications of the ACM, 31(3):300-312, March 1988.
41. A. Loginov, S. H. Yong, S. Horwitz, and T. W. Reps. Debugging via run-time type checking. In Fundamental Approaches to Software Engineering, pages 217-232, 2001.
42. D. E. Lowell, S. Chandra, and P. M. Chen. Exploring failure transparency and limits of generic recovery. In OSDI, 2000.
43. D. E. Lowell and P. M. Chen. Free transactions with Rio Vista. In Proceedings of the 16th Symposium on Operating Systems Principles (SOSP-97), volume 31,5 of Operating Systems Review, pages 92-101, New York, Oct.5-8 1997. ACM Press.
44. M. Lujan, J. R. Gurd, T. L. Freeman, and J. Miguel. Elimination of Java array bounds checks in the presence of indirection. In Proceedings of the Joint ACM Java Grande-Iscope Conference, pages 76-85, 2002.
45. E. Marcus and H. Stern. Blueprints for high availablitv. John Willey and Sons, 2000.
46. J.M. Mellor-Crummey and M.L. Scott. Synchronization without contention. In Proceedings of The 4th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 269-278, Apr. 1991.
47. S. L. Min and J.-D. Choi. An Efficient Cache-based Access Anomaly Detection Scheme. In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 235-244, 1991.
48. National Institute of Standards and Technlogy (NIST), Department of Commerce. Software errors cost u.s. economy $59.5 billion annually. NIST News Release 2002-10, 2002.
49. G.C. Necula, S. McPeak, and W. Weimer. C Cured: type - safe retrofitting of legacy code. In Symposium on Principles of Programming Languages, pages 128-139, 2002.
50. R. H. B. Netzer. Optimal tracing and replay for debugging shared-memory parallel programs. In PADD, 1993.
51. J. Oplinger and M. S. Lam. Enhancing software reliability with speculative threads, October 2002.
52. D. A. Patterson and et. al. Recovery-oriented computing (roc): Motivation, definition, techniques, and case studies. UC Berkeley CS Tech. Report,UCB//CSD-02-1175, 2002.
53. D. Perkovic and P. J. Keleher. A Protocol-Centric Approach to on-the-Flv Race Detection. IEEE Transactions on Parallel and Distributed Systems, 11(10):1058-1072, 2000.
54. J. S. Plank, K. Li, and M. A. Puening. Diskless checkpointing. IEEE Transactions on Parallel and Distributed Systems, 9(10):972, 1998.
55. M. Prvulovic and J. Torrellas. Reenact: using thread-level speculation mechanisms to debug data races in multithreaded codes. In Proceedings of the 30th Annual Symposium, on Computer Architecture, 2003.
56. M. Prvulovic and J. Torrellas. ReEnact: Using Thread-Level Speculation to Debug Software; An Application to Data Races in Multithreaded Codes. In Proceedings of the 30th Annual International Symposium on Computer Architecture (ISCA), June 2003.
57. R. Rodrigues, M. Castro, and B. Liskov. BASE: Using abstraction to improve fault tolerance. In Proceedings of the 18th ACM Symposium, on Operating System, Principles, pages 15-28, Banff, Canada, Oct. 2001.
58. M. Ronsse and K. D. Bosschere. RecPlay: a Fully Integrated Practical Record/Replav Svstem. ACM Transactions on Computer Systems, 17(2):133-152, 1999.
59. M. Russinovich and B. Cogswell. Replay for concurrent nondeterministic shared-memory applications. In Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, pages 258-266, Jerusalem, Israel, 1996. ACM Press.
60. Y. Saito and B. Bershad. A transactional memory service in an extensible operating system. In USENIX Annual Technical Conference, 1998.
61. K. Salem and H. Garcia-Molina. Checkpointing memory-resident databases. Technical Report CS-TR-126-87, Department of Computer Science, Princeton University, 1987.
62. M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steere, and J. Kistler. Lightweight recoverable virtual memorv. In SOSP, 1993.
63. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
64. E. Schonberg. On-the-fly detection of access anomalies. In ACM SIGPLAN '89 Conference on Programming Language Design and Implementation (PLDI), June 1989.
65. M. Seltzer, Y. Endo, and C. Small. Dealing with disaster: Surviving misbehaved kernel extensions. In OSDI, 1996.
66. J. H. Slye and E. N. Elnozahy. Supporting nondeterministic execution in fault-tolerant systems. In Proceedings of the Twenty-Sixth International Symposium, on Fault-Tolerant Computing, pages 250-261, Washington, June 25-27 1996. IEEE.
67. S. W. Smith, D. B. Johnson, and J. D. Tygar. Completely asynchronous optimistic recovery with minimal rollbacks. In FTCS-25: 25th International Symposium on Fault Tolerant Computing Digest of Papers, pages 361-371, Pasadena, California, 1995.
68. N. Sterling. Warlock: A static data race analvsis tool. In USENIX Winter Technical Conference, 1993.
69. J. M. Stone. Debugging concurrent processes: A case study. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 1988.
70. R. E. Strom and S. A. Yemini. Optimistic recovery in distributed systems. ACM Transactions on Computer Systems, 3(3):204-226, Aug. 1985.
71. syscalltrack software home page at http://syscalltrack.sourceforge.net/how.html
72. C. A. Thekkath and H. M. Levy. Hardware and software support for efficient exception handling. In ASPLOS, 1994.
73. G. Trent and M. Sake. Webstone: The first generation in http server benchmarking. Feb 1995.
74. C. v. Praun and T. Gross. Object race detection. In 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa Bav, F L, October 2001.
75. D. Wagner and D. Dean. Intrusion detection via static analvsis. In IEEE Symposium, on Security and Privacy, pages 156-169, 2001.
76. D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities. In Network and Distributed System, Security Symposium,, pages 3-17, San Diego, CA, February 2000.
77. Y. Wang, P. Y. Chung, Y. Huang, and E. N. Elnozahy. Integrating checkpointing with transaction processing. In FTCS, 1997.
78. Y. Wang, Y. Huang, W. K. Fuchs, C. Kintala, and G. Suri. Progressive retry for software failure recovery in message-passing applications. IEEE Transactions on Computers, 46(10):1137-1141, Oct 1997.
79. Y. Wang, Y. Huang, K.-P. Vo, P.-Y. Chung, and C. Kintala. Checkpointing and its applications. In FTCS-25, 1995.
80. M. Wu and W. Zwaenepoel. eNVy: A non-volatile, main memory storage system. In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 86-97, San Jose, California, Oct. 4-7, 1994. ACM SIGARCH, SIGOPS, SIGPLAN, and the IEEE Computer Society.
81. Y. Xie and D. Engler. Using redundancies to find errors. In Proceedings of the tenth ACM SIGSOFT symposium, on Foundations of software engineering, pages 51-60, 2002.
82. Y. Zhou, P. M. Chen, and K. Li. Fast cluster failover using virtual memory-mapped communication. In the 13th ACM International Conference on Supercomputing, June 1999.