SherLog: Error diagnosis by connecting clues from run-time logs

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2010, Pages 143-154

  Yuan, Ding ^a   Mai, Haohui ^a   Xiong, Weiwei ^a   Tan, Lin ^b   Zhou, Yuanyuan ^c   Pasupathy, Shankar ^d  

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

^b UNIVERSITY OF WATERLOO   (Canada)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d Network Appliance Inc   (United States)

Author keywords

Failure diagnostics; Log; Static analysis

Indexed keywords

CONCURRENT EXECUTION; DATA VALUES; ERROR DIAGNOSIS; EXECUTION ENVIRONMENTS; EXPERT KNOWLEDGE; FAILURE DIAGNOSTICS; FILE CONTENTS; IN-BUILDINGS; MULTI-PROCESSORS; NON-DETERMINISM; PRIVACY CONCERNS; PRODUCTION RUN; RE-EXECUTION; ROOT CAUSE; RUNTIMES; SERVER APPLICATIONS; SOFTWARE BUG; SOFTWARE FAILURE; SOURCE CODES;

COMPUTER OPERATING SYSTEMS; DIAGNOSIS; ERRORS; FAILURE ANALYSIS; LINGUISTICS; QUALITY ASSURANCE; SERVERS; STATIC ANALYSIS;

PROGRAM DEBUGGING;

EID: 77952272081     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1736020.1736038     Document Type: Conference Paper

References (50)

1. H. Agrawal, R. A. DeMillo, and E. H. Spafford. Debugging with dynamic slicing and backtracking. Software - Practice and Experience, 23(6):589-616, June 1993.
2. H. Agrawal, J. R. Horgan, S. London, and W. E.Wong. Fault localization using execution slices and dataflow tests. In ISSRE'95.
3. M. K. Aguilera, J. C. Mogul, J. L.Wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In SOSP'03.
4. A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins, and B. Hackett. The Saturn Program Analysis System.
5. K. Ashcraft and D. Engler. Using programmer-written compiler extensions to catch security holes. In SP '02: Proceedings of the 2002 IEEE Symposium on Security and Privacy.
6. A. Ayers, R. Schooler, C. Metcalf, A. Agarwal, J. Rhee, and E. Witchel. Traceback: First fault diagnosis by reconstruction of distributed control flow. In PLDI'05.
7. T. Ball, M. Naik, and S. K. Rajamani. From symptom to cause: localizing errors in counterexample traces. ACM SIGPLAN Notices, 38(1):97-105, Jan. 2003.
8. P. Barham, A. Donnelly, R. Isaacs, and R. Mortier. Using magpie for request extraction and workload modelling. In OSDI'04.
9. E. Bodden, P. Lam, and L. Hendren. Finding programming errors earlier by evaluating runtime monitors ahead-of-time. In FSE'08.
10. C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI'08.
11. F. Chen and G. Roşu. Parametric trace slicing and monitoring. In TACAS'09.
12. T. M. Chilimbi, B. Liblit, K. Mehra, A. V. Nori, and K. Vaswani. HOLMES: Effective statistical debugging via efficient path profiling. In ICSE'09.
13. V. Chipounov, V. Georgescu, C. Zamfir, and G. Candea. Selective Symbolic Execution. In HotDep'09.
14. I. Cohen, S. Zhang, M. Goldszmidt, J. Symons, T. Kelly, and A. Fox. Capturing, indexing, clustering, and retrieving system history. In SOSP'05.
15. Dell. Streamlined Troubleshooting with the Dell system E-Support tool. Dell Power Solutions, 2008.
16. R. A. DeMillo, H. Pan, and E. H. Spafford. Critical slicing for software fault localization. In ISSTA, pages 121-134, 1996.
17. J. Devietti, B. Lucia, M. Oskin, and L. Ceze. Dmp: Deterministic shared-memory multiprocessing. In ASPLOS'09.
18. I. Dillig, T. Dillig, and A. Aiken. Sound, complete and scalable path-sensitive analysis. SIGPLAN Not., 2008.
19. G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen. Execution replay of multiprocessor virtual machines. In VEE'08.
20. D. Engler, B. Chelf, and A. Chou. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI'00.
21. K. Fisher, D. Walker, K. Q. Zhu, and P. White. From dirt to shovels: Fully automatic tool generation from ad hoc data. In POPL'08.
22. 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 SOSP'09, pages 103-116, New York, NY, USA, 2009. ACM.
23. J. Gray. Why do computers stop and what can be done about it?, 1985.
24. Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: An application-level kernel for record and replay. In OSDI'08.
25. R. Gupta, M. L. Soffa, and J. Howard. Hybrid slicing: integrating dynamic information with static analysis. ACM Transactions on Software Engineering and Methodology, 6(4):370-397, Oct. 1997.
26. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. In PLDI '88.
27. W. Jiang. Understanding storage system problems and diagnosing them through log analysis. Ph.D. Dissertation.
28. W. Jiang, C. Hu, S. Pasupathy, A. Kanevsky, Z. Li, and Y. Zhou. Understanding customer problem troubleshooting from storage system logs. In FAST'09.
29. S. Kandula, R. Mahajan, P. Verkaik, S. Agrawal, J. Padhye, and P. Bahl. Degailed diagnosis in enterprise networks. In SIGCOMM'09.
30. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX ATC'05.
31. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI'03.
32. Apache Logging Services - Log4j. http://logging.apache.org/log4j.
33. R. Manevich, M. Sridharan, S. Adams, M. Das, and Z. Yang. PSE: Explaining program failures via postmortem static analysis. SIGSOFT Softw. Eng. Notes, 29(6):63-72, 2004.
34. Mozilla Quality Feedback Agent. http://support.mozilla.com/en-US/kb/ quality+feedback+agent.
35. S. Narayanasamy, C. Pereira, and B. Calder. Recording shared memory dependencies using strata. In ASPLOS'06.
36. S. Narayanasamy, G. Pokam, and B. Calder. Bugnet: Continuously recording program execution for deterministic replay debugging. In ISCA'05.
37. NetApp. Proactive health management with auto-support. NetApp White Paper, 2007.
38. M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: Efficient determistic multithreading in software. In ASPLOS'09.
39. Squid Archives. http://www.squid-cache.org/Versions/v2/2.3/bugs/#squid-2. 3.stable4-ftp-icon-not-found.
40. M. Sridharan, S. J. Fink, and R. Bodik. Thin slicing. In PLDI'07.
41. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3:121-189, 1995.
42. J. Tucek, S. Lu, C. Huang, S. Xanthos, and Y. Zhou. Triage: Diagnosing production run failures at the user's site. In SOSP'07.
43. VMWare. Using the intergrated virtual debugger for visual studio. http://www.vmware.com/pdf/ws65-manual.pdf.
44. A. Whitaker, R. S. Cox, and S. D. Gribble. Configuration debugging as search: finding the needle in the haystack. In OSDI'04.
45. Windows Error Reporting(Dr.Watson). http://www.microsoft.com/whdc/ maintain/StartWER.mspx.
46. M. Xu, R. Bodik, and M. D. Hill. A "flight data recorder" for enabling full-system multiprocessor deterministic replay. In ISCA'03.
47. W. Xu, L. Huang, M. Jordan, D. Patterson, and A. Fox. Mining console logs for large-scale system problem detection. In SOSP'09.
48. J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using model checking to find serious file system errors. In OSDI'04.
49. Y.Xie and A.Aiken. Saturn: A scalable framework for error detection using boolean satisfiability. Transactions on Programming Language and Systems, 29(3):1-16, 2007.
50. A. Zeller. Isolating cause-effect chains from computer programs. In FSE'02.