Be conservative: Enhancing failure diagnosis with proactive logging

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012

Volumn , Issue , 2012, Pages 293-306

  Yuan, Ding ^a,b   Park, Soyeon ^a   Huang, Peng ^a   Liu, Yang ^a   Lee, Michael M ^a   Tang, Xiaoming ^a   Zhou, Yuanyuan ^a   Savage, Stefan ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

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

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

EMPIRICAL DATA; ERROR PATTERNS; FAILURE DIAGNOSIS; PRACTICAL IMPORTANCE; SOFTWARE SYSTEMS; SOURCE CODES; UNDERLYING CAUSE; WARNING MESSAGES;

ERRORS;

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

References (38)

1. M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In Proc. of the 19th ACM Symposium on Operating Systems Principles, pages 74-89, 2003.
2. A. Aiken, S. Bugrara, I. Dillig, T. Dillig, B. Hackett, and P. Hawkins. An overview of the saturn project. In Proceedings of the Workshop on Program Analysis for Software Tools and Engineering, pages 43-48, 2007.
3. G. Altekar and I. Stoica. ODR: output-deterministic replay for multicore debugging. In Proc. of the ACM 22nd Symp. on Operating Systems Principles, pages 193-206, 2009.
4. ab - Apache HTTP server benchmarking tool. http://goo.gl/NLAqZ.
5. M. D. Bond and K. S. McKinley. Bell: bit-encoding online memory leak detection. In Proc. of the 12th International Conference on on Architectural Support for Programming Languages and Operating Systems, pages 61-72, 2006.
6. M. D. Bond, N. Nethercote, S. W. Kent, S. Z. Guyer, and K. S. McKinley. Tracking bad apples: reporting the origin of null and undefined value errors. In Proc. of the ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications, pages 405-422, 2007.
7. C. Cadar, D. Dunbar, and D. Engler. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, pages 209-224, 2008.
8. M. Castro, M. Costa, and J.-P. Martin. Better bug reporting with better privacy. SIGARCH Comput. Archit. News, 36(1):319-328, Mar. 2008.
9. V. Chipounov, V. Kuznetsov, and G. Candea. S2E: a platform for in-vivo multi-path analysis of software systems. In Proceedings of the 16th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, pages 265-278, 2011.
10. Dell. Streamlined Troubleshooting with the Dell system E-Support tool. Dell Power Solutions, 2008.
11. G. W. Dunlap, S. T. King, S. Cinar, M. A. Basrai, and P. M. Chen. ReVirt: enabling intrusion analysis through virtual-machine logging and replay. In Proc. of the Symp. on Operating Systems Design & Implementation, 2002.
12. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: a general approach to inferring errors in systems code. In Proc. of the 18th ACM Symposium on Operating Systems Principles, pages 57-72, 2001.
13. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In Proceedings of the 22nd International Conference on Software Engineering, pages 449-458, 2000.
14. gcov - a test coverage program. http://goo.gl/ R9PoN.
15. K. Glerum, K. Kinshumann, S. Greenberg, G. Aul, V. Orgovan, G. Nichols, D. Grant, G. Loihle, and G. Hunt. Debugging in the (very) large: ten years of implementation and experience. In Proc. of the ACM 22nd Symposium on Operating Systems Principles, pages 103-116, 2009.
16. H. S. Gunawi, T. Do, P. Joshi, P. Alvaro, J. M. Hellerstein, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, K. Sen, and D. Borthakur. FATE and DESTINI: a framework for cloud recovery testing. In Proc. of the Symp. on Networked Systems Design & Implementation, pages 239-252, 2011.
17. H. S. Gunawi, C. Rubio-González, A. C. Arpaci-Dusseau, R. H. Arpaci-Dussea, and B. Liblit. EIO: error handling is occasionally correct. In Proc. of the USENIX Conference on File and Storage Technologies, pages 207-222, 2008.
18. 2: a graph processing system for diagnosing distributed systems. In Proc. of the USENIX Annual Technical Conference, pages 299-312, 2011.
19. M. Hauswirth and T. M. Chilimbi. Low-overhead memory leak detection using adaptive statistical profiling. In Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 156-164, 2004.
20. J.-C. Laprie. Dependable computing: concepts, limits, challenges. In Proceedings of the 25th International Conference on Fault-tolerant Computing, pages 42-54, 1995.
21. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Proc. of the ACM SIGPLAN 2003 conference on Programming Language Design and Implementation, pages 141-154, 2003.
22. P. D. Marinescu and G. Candea. Efficient testing of recovery code using fault injection. ACM Trans. Comput. Syst., 29(4):11:1-11:38, Dec. 2011.
23. Mozilla quality feedback agent. http://goo.gl/ V9zl2.
24. pgbench - PostgreSQL wiki. goo.gl/GKhms.
25. P. Reynolds, C. Killian, J. L. Wiener, J. C. Mogul, M. A. Shah, and A. Vahdat. Pip: detecting the unexpected in distributed systems. In Proc. of the 3rd Symp. on Networked Systems Design & Implementation, pages 115-128, 2006.
26. C. Rubio-González, H. S. Gunawi, B. Liblit, R. H. Arpaci-Dusseau, and A. C. Arpaci-Dusseau. Error propagation analysis for file systems. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 270-280, 2009.
27. S. K. Sahoo, J. Criswell, and V. S. Adve. An empirical study of reported bugs in server software with implications for automated bug diagnosis. In Proc. of the 32nd Intl. Conf. on Software Engineering, pages 485-494, 2010.
28. C. Spatz. Basic statistics, 1981.
29. D. Subhraveti and J. Nieh. Record and transplay: partial checkpointing for replay debugging across heterogeneous systems. In Proceedings of the ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, pages 109-120, 2011.
30. M. Sullivan and R. Chillarege. Software defects and their impact on system availability-a study of field failures in operating systems. In Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., 21st International Symposium, pages 2-9, 1991.
31. K. Veeraraghavan, D. Lee, B. Wester, J. Ouyang, P. M. Chen, J. Flinn, and S. Narayanasamy. Doubleplay: parallelizing sequential logging and replay. In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 15-26, 2011.
32. W. Xu, L. Huang, A. Fox, D. Patterson, and M. I. Jordan. Detecting large-scale system problems by mining console logs. In Proc. of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, pages 117-132, 2009.
33. J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using model checking to find serious file system errors. ACM Trans. Comput. Syst., 24(4):393-423, Nov. 2006.
34. Z. Yin, D. Yuan, Y. Zhou, S. Pasupathy, and L. Bairavasundaram. How do fixes become bugs? In Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pages 26-36, 2011.
35. D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou, and S. Pasupathy. SherLog: error diagnosis by connecting clues from run-time logs. In Proceedings of the 15th edition of ASP-LOS on Architectural Support for Programming Languages and Operating Systems, pages 143-154, 2010.
36. D. Yuan, S. Park, and Y. Zhou. Characterizing logging practices in open-source software. In Proc. of the Intl. Conf. on Software Engineering, pages 102-112, 2012.
37. D. Yuan, J. Zheng, S. Park, Y. Zhou, and S. Savage. Improving software diagnosability via log enhancement. ACM Trans. Comput. Syst., 30(1):4:1-4:28, Feb. 2012.
38. C. Zamfir and G. Candea. Low-overhead bug fingerprinting for fast debugging. In Proceedings of the 1st International Conference on Runtime Verification, pages 460-468, 2010.