Rx: Treating bugs as allergies - -a safe method to survive software failures

ACM Transactions on Computer Systems

Volumn 25, Issue 3, 2007, Pages

  Qin, Feng ^a,d   Tucek, Joseph ^b,e   Zhou, Yuanyuan ^b,e   Sundaresan, Jagadeesan ^c,f  

^a OHIO STATE UNIVERSITY   (United States)

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

^c THE CITADEL   (United States)

^d The Ohio State University

^e University of Illinois at Urbana Champaign

^f Citadel Investment Group   (United States)

Author keywords

Availability; Bug; Reliability; Software Failure

Indexed keywords

AVAILABILITY; COMPUTER OPERATING SYSTEMS; DATA STRUCTURES; PROGRAM DEBUGGING; SOFTWARE RELIABILITY; SUPERVISORY AND EXECUTIVE PROGRAMS;

LINUX (OPERATING SYSTEM); SOFTWARE BUGS; SOFTWARE FAILURES;

COMPUTER SYSTEM RECOVERY;

EID: 34548235323     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/1275517.1275519     Document Type: Article

References (71)

1. ABRAMS, M., STANDRIDGE, C. R., ABDULLA, G., WILLIAMS, S., AND FOX, E. A. 1995. Caching proxies: Limitations and potentials. In Proceedings of the 4th International WWW Conference.
2. ALVISI, L. AND MARZULLO, K 1996. Trade-offs in implementing optimal message logging protocols. In Proceedings of the 15th ACM Symposium on the Principles of Distributed Computing.
3. AMMANN, P. E. AND KNIGHT, J. C. 1988. Data diversity: An approach to software fault tolerance. IEEE Trans. Comput. 37, 4, 418-425.
4. AMZA, C., COX, A., AND ZWAENEPOEL, W. 2000. Data replication strategies for fault tolerance and availability on commodity clusters. In Proceedings of the International Conference on Dependable Systems and Networks.
5. AVIZIENIS, A. 1985. The N-version approach to fault-tolerant software. IEEE Trans. Softw. Engin. 11, 12.
6. AVIZIENIS, A. AND CHEN, L. 1977. On the implementation of N-version programming for software fault tolerance during execution. In Proceedings of the 1st International Computer Software and Applications Conference.
7. BARTLETT, J. F. 1981. A NonStop kernel. In Proceedings of the 8th Symposium on Operating Systems Principles.
8. BERGER, E. D. AND ZORN, B. G. 2006. Diehard: Probabilistic memory safety for unsafe languages. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation.
9. BIRMAN, K. P. 1996. Building Secure and Reliable Network Applications. Manning ISBN: 1884777-29-5, Chapter 19.
10. BOBBIO, A. AND SERENO, M. 1998. Fine grained software rejuvenation models. In Proceedings of the International Computer Performance and Dependability Symposium.
11. BOHRA, A., NEAMTIU, I., GALLARD, P., SULTAN, F., AND IFTODE, L. 2004. Remote repair of operating system state using backdoors. In Proceedings of the International Conference on Autonomic Computing.
12. BORG, A., BAUMBACH, J., AND GLAZER, S. 1983. A message system supporting fault tolerance. In Proceedings of the 9th Symposium on Operating Systems Principles.
13. BORG, A., BLAU, W., GRAETSCH, W., HERRMANN, F., AND OBERLE, W. 1989. Fault tolerance under UNIX. ACM Trans. Comput. Syst. 7, 1.
14. BRESSOUD, T. C. AND SCHNEIDER, F. B. 1996. Hypervisor-based fault tolerance. ACM Trans. Comput. Syst. 14, 1 (Feb), 80-107.
15. BUSH, W., PINCUS, J., AND SIELAFF, D. 2000. A static analyzer for finding dynamic programming errors. Softw. Pract. Expert 30, 7, 775-802.
16. CANDEA, G., CUTLER, J., FOX, A., DOSHI, R., GARG, P., AND GOWDA, R. 2002. Reducing recovery time in a small recursively restartable system. In Proceedings of the International Conference an Dependable Systems and Networks.
17. CANDEA, G., KAWAMOTO, S., FUJIKI, Y., FRIEDMAN, G., AND FOX, A. 2004. Microreboot-A technique for cheap recovery. In Proceedings of the 6th Symposium on Operating System Design and Implementation.
18. CASTRO, M. AND LISKOV, B. 1999. Practical byzantine fault tolerance. In Proceedings of the 3rd Symposium on Operating System Design and Implementation.
19. CASTRO, M. AND LISKOV, B. 2000. Proactive recovery in a Byzantine-Fault-Tolerant system. In Proceedings of the 4th Symposium on Operating System Design and Implementation. CERT/CC Advisories, http://www.cert.org/advisories/.
20. CHANDRA, S. AND CHEN, P. M. 2000. Whither generic recovery from application faults? A fault study using open-source software. In Proceedings of the International Conference on Dependable Systems and Networks.
21. CHANDRA, S. AND CHEN, P. M. 2002. The impact of recovery mechanisms on the likelihood of saving corrupted state. In Proceedings of the 13th International Symposium on Software Reliability Engineering.
22. CHEN, Y., PLANK, J. S., AND LI, K. 1997. CLIP: A checkpointing tool for message-passing parallel programs. In Proceedings of the ACM/IEEE Supercomputing Conference.
23. CONDIT, J., HARREN, M., MCPEAK, S., NECULA, G. C., AND WEIMER, W. 2003. CCured in the real world. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation.
24. COWAN, C., PU, C., MAIER, D., WALPOLE, J., BAKKE, P., BEATTIE, S., GRIER, A., WAGLE, P., ZHANG, Q., AND HINTON, H. 1998. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proceedings of the 7th USENIX Security Symposium.
25. DUNLAP, G. W., KING, S. T., CINAR, S., BASRAI, M. A., AND CHEN, P. M. 2002. Revirt: Enabling intrusion analysis through virtual-machine logging and replay. In Proceedings of the 5th Symposium on Operating System Design and Implementation.
26. ELNOZAHY, E. N. M., ALVISI, L., WANG, Y-M., AND JOHNSON, D. B. 2002. A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv. 34, 3, 375-408.
27. FELDMAN, Y. A. AND SCHNEIDER, H. 1993. Simulating reactive systems by deduction. ACM Trans. Softw. Engin. Method. 2, 2, 128-175.
28. GARG, S., PULIAFITO, A., TELEK, M., AND TRIVEDI, K. S. 1997. On the analysis of software rejuvenation policies. In Proceedings of the Annual Conference on Computer Assurance.
29. GRAY, J. 1986. Why do computers stop and what can be done about it? In Proceedings of the 5th Symposium on Reliable Distributed Systems.
30. GU, W., KALBARCZYK, Z., IYER, R. K., AND YANG, Z.-Y 2003. Characterization of Linux kernel behavior under errors. In Proceedings of the International Conference on Dependable Systems and Networks.
31. HALLEM, S., CHELF, B., XIE, Y., AND ENGLER, D. 2002. A system and language for building systemspecific, static analyses. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 69-82.
32. HASTING, R. AND JOYCE, B. 1992. Purify: Fast detection of memory leaks and access errors. In Proceedings of the USENLX Winter Technical Conference.
33. HEINE, D. AND LAM, M. 2003. A practical flow-sensitive and context-sensitive c and c+- memory leak detector. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation.
34. HUANG, Y., KINTALA, C., KOLETTIS, N., AND FULTON, N. D. 1995. Software rejuvenation: Analysis, module and applications. In Proceedings of the 25th Annual International Symposium on FaultTolerant Computing.
35. JOHNSON, D. AND ZWAENEPOEL, W 1988. Recovery in distributed systems using optimistic message logging and checkpointing. In Proceedings of the 7th Annual ACM Symposium on Principles of Distributed Computing.
36. JOHNSON, D. B. AND ZWAENEPOEL, W. 1990. Recovery in distributed systems using optimistic message logging and check-pointing. J. Algor. 11, 3, 462-491.
37. LI, K., NAUGHTON, J., AND PLANK, J. 1990. Concurrent real-time checkpoint for parallel programs. In Proceedings of the 2nd ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming.
38. LI, Z., TAN, L., WANG, X., LU, S., ZHOU, Y., AND ZHAI, C. 2006. Have things changed now? - an empirical study of bug characteristics in modern open source software. In Procedings of the 1st Workshop on Architecture and System Support for Improving Software Dependability.
39. LOWELL, D. E., CHANDRA, S., AND CHEN, R. M. 2000. Exploring failure transparency and the limits of generic recovery. In Proceedings of the 4th Symposium on Operating System Design and Implementation.
40. LOWELL, D. E. AND CHEN, P. M. 1997. Free transactions with rio vista. In Proceedings of the 16th Symposium, on Operating Systems Principles.
41. LOWELL, D. E. AND CHEN, P. M. 1998. Discount checking: Transparent, low-overhead recovery for general applications. Tech. rep., CSE-TR-410-99, University of Michigan.
42. LUOTONEN, A. AND ALTIS, K. 1994. World-wide web proxies. In Proceedings of the 1st International WWW Conference.
43. MOSBERGER, D. AND JIN, T. 1998. httperf-a tool for measuring web server performance. SIGMETRICS Perform. Eval. Rev. 26, 3, 31-37.
44. PATTERSON, D., BROWN, A., BROADWELL, P., CANDEA, G., CHEN, M., CUTLER, J., ENRIQUEZ, P., FOX, A., KICIMAN, E., MERZBACHER, M., OPPENHEIMER, D., SASTRY, N., TETZLAFF, W., TRAUPMAN, J., AND TREUHAFT,N. 2002. Recovery oriented computing (ROC): Motivation, definition, techniques, and case studies. Tech. rep., UCB//CSD-02-1175, University of California, Berkeley.
45. PLANK, J. S., LI, K., AND PUENING, M. A. 1998. Diskless checkpointing. IEEE Transactions on Parallel and Distrib. Syst. 9, 10, 972-986.
46. PRVULOVIC, M. AND TORRELLAS, J. 2003. ReEnact: Using thread-level speculation mechanisms to debug data races in multithreaded codes. In Proceedings of the 30th International Symposium on Computer Architecture.
47. QLN, F., Lu, S., AND ZHOU, Y 2005. Safemem: Exploiting ECC-memory for detecting memory leaks and memory corruption during production runs. In Proceedings of the 11th International Symposium on High-Performance Computer Architecture.
48. RANDELL, B. 1975. System structure for software fault tolerance. IEEE Trans. Softw. Engin. 1, 2, 220-232.
49. RANDELL, B., LEE, P.A., AND TRELEAVEN, P. C. 1978. Reliability issues in computing system design. ACM Comput. Surv. 10, 2, 123-165.
50. RINARD, M., CADAR, C., DUMITRAN, D., ROY, D. M., LEU, T., AND BEEBEE, JR., W. S. 2004. Enhancing server availability and security through failure-oblivious computing. In Proceedings of the 6th Symposium on Operating System Design and Implementation.
51. Rocco, E. AND IGOU, B. 2001. The critical role of high-availability infrastructure support services.
52. RODRIGUES, R., CASTRO, M., AND LISKOV, B. 2001. BASE: Using abstraction to improve fault tolerance. In Proceedings of the 18th Symposium on Operating Systems Principles.
53. RUSSINOVICH, M. AND COGSWELL, B. 1996. Replay for concurrent non-deterministic shared-memory applications. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation.
54. SANTRY, D. S., FEELEY, M. J., HUTCHINSON, N. C., VEITCH, A. C., CARTON, R. W, AND OFIR, J. 1999. Deciding when to forget in the Elephant file system. In Proceedings of the 17th ACM Symposium on Operating System Principles.
55. SAVAGE, S., BURROWS, M., NELSON, G., SOBALVARRO, P., AND ANDERSON, T. 1997. Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15, 4, 391411.
56. SCOTT, D. 1998. Assessing the costs of application downtime. Gartner Group.
57. SIDIROGLOU, S., LOCASTO, M. E., BOYD, S. W., AND KEROMYTIS, A. D. 2005. Building a reactive immune system for software services. In Proceedings of the USENIX Annual Technical Conference.
58. SRINIVASAN, S., ANDREWS, C., KANDULA, S., AND ZHOU, Y 2004. Flashback: A light-weight extension for rollback and deterministic replay for software debugging. In Proceedings of the USENIX Annual Technical Conference.
59. STAMFORD, S., PAXSON, V., AND WEAVER, N. 2002. How to own the internet in your spare time. In Proceedings of the 11th USENIX Security Symposium.
60. STOLLER, S. D. 2002. Testing concurrent Java programs using randomized scheduling. In Proceedings of the 2nd Workshop on Runtime Verification.
61. STROM, R. AND YEMINI, S. 1985. Optimistic recovery in distributed systems. ACM Trans. Comput. Syst. 3, 3, 204-226.
62. SULLIVAN, M. AND CHILLAREGE, R. 1991. Software defects and their impact on system availabilityA study of field failures in operating systems. In Proceedings of the 21th Annual International Symposium on Fault-Tolerant Computing.
63. SULLIVAN, M. AND CHILLAREGE, R. 1992. A comparison of software defects in database management systems and operating systems. In Proceedings of the 22th Annual International Symposium on Fault-Tolerant Computing.
64. SWIFT, M. M., ANNAMALAI, M., BERSHAD, B. N., AND LEVY, H. M. 2004. Recovering device drivers. In Proceedings of the 6th Symposium on Operating System Design and Implementation.
65. TRENT, G. AND SAKE, M. 1995. Webstone: The first generation in http server benchmarking. http://www.cs.virginia.edu/~zaher/ classes/cs851/papers/webstone.
66. VOGELS, W., DUMITRIU, D., AGRAWAL, A., CHIA, T., AND GUO, K. 1998. Scalability of the Microsoft cluster service. In Proceedings of the 2nd USENIX Windows NT Symposium.
67. VOGELS, W., DUMITRIU, D., BIRMAN, K., GAMACHE, R., MASSA, M., SHORT, R., VERT, J., BARRERA, J., AND GRAY, J. 1998. The design and architecture of the Microsoft cluster service. In Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing.
68. WANG, Y-M., HUANG, Y., AND FUCHS, W. K. 1993. Progressive retry for software error recovery in distributed systems. In Proceedings of the 23rd Annual International Symposium on FaultTolerant Computing.
69. WANG, Y-M., HUANG, Y., VO, K.-P., CHUNG, P.-Y., AND KINTALA, C. 1995a. Checkpointing and its applications. In Proceedings of the 25th Annual International Symposium on Fault-Tolerant Computing.
70. WANG, Y-M., HUANG, Y., VO, K-P., CHUNG, P.-Y., AND KINTALA, C. M. R. 1995b. Checkpointing and its applications. In Proceedings of the 25th Annual International Symposium on Fault-Tolerant Computing.
71. ZHOU, Y., CHEN, P. M., AND LI, K. 1999. Fast cluster failover using virtual memory-mapped communication. In Proceedings of the ACM International Conference on Super computing.