TraceBack: First fault diagnosis by reconstruction of distributed control flow

ACM SIGPLAN Notices

Volumn 40, Issue 6, 2005, Pages 201-212

  Ayers, Andrew ^a   Schooler, Richard ^a   Metcalf, Chris ^b   Agarwal, Anant ^b   Rhee, Junghwan ^c   Witchel, Emmett ^c  

^a MICROSOFT   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Fault diagnosis; Instrumentation

Indexed keywords

CROSS-MACHINE ABILITIES; FAULT DIAGNOSIS; INSTRUMENTATION; PRODUCTION SOFTWARE;

BENCHMARKING; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING;

COMPUTER PROGRAMMING;

EID: 33745236840     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1064978.1065035     Document Type: Article

References (30)

1. Aiken, A., Foster, J., Kodumal, J. and Terauchi, T. Checking and Inferring Local NonAliasing. In PLDI, 2003.
2. M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance Debugging for Distributed Systems of Black Boxes. In Proceedings of SOSP, 2003.
3. Bala, V., Duesterwald, E., and Banerjia, S. Dynamo: A Transparent Runtime Optimization System. In PLDI, 2000.
4. Ball, T., and Larus, J.R. Efficient path profiling. In Proceedings of MICRO-29, (Paris, 1996).
5. Bond, M. D. and McKinley, K. S. Practical Path Profiling for Dynamic Optimizers. In CGO, 2005.
6. M. Chen, E. Kiciman, E. Fratkin, A. Fox, and E. Brewer. Pinpoint: Problem Determination in Large, Dynamic, Internet Services, in Proc. Int. Conf. on Dependable Systems and Networks (IPDS Track), 2002.
7. Chernoff, A., and Hookway, R. DIGITAL FX!32: Running 32-Bit x86 Applications on Alpha NT. In Proceedings of the USENIX Windows NT Workshop (Seattle, WA, Aug. 1997).
8. Cifuentes, C. and Gough, K.J. Decompilation of Binary Programs. In Software - Practice & Experience. Vol 25 (7), July 1995.
9. Cmelik, B., and Keppel, D. Shade: A Fast Instruction-Set Simulator for Execution Profiling. In SIGMETRICS, 1994.
10. Condit, J., Harren, M., McPeak, S., Necula, G. and Weimer, W. CCured in the Real World. In PLDI, 2003.
11. Cook, J. C. Reverse execution of Java Bytecode. In The Computer Journal. Vol 45 (6), 2002.
12. Duesterwald, E. and Bala, V. Software Profiling for Hot Path Prediction: Less is More. In ASPLOS 2000.
13. Dor, N., Rodeh, M. and Sagiv, M. CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C. In PLDI, 2003.
14. Heine, D., and Lam, M. A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector. In PLDI, 2003.
15. Joshi, R., Bond, M. D., Zilles, C. Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems. In CGO 2004.
16. J. O. Kephart and D. M. Chess. The vision of autonomic computing. Computer, 36(1):41-52, 2003.
17. Larus, J. and Schnarr, E. EEL: Machine-Independent Executable Editing. In PLDI. 1995.
18. Larus, J. Whole Program Paths. In PLDI. 1999.
19. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI, 2003.
20. Microsoft Corporation. Phoenix compiler infrastructure. http://research.microsoft.com/phoenix April 2005.
21. Nandy, S., Xiaofeng, G., and Ferrante, J. TFP: Time-sensitive, Flow-specific Profiling at Runtime. In Workshop on Languages and Compilers for Parallel Computing, 2003.
22. National Software Testing Laboratories. NSTL Final Report for Rational Software: Performance test of Rational Software's software product Purify. October 1997. http://www.rational.com/media/whitepapers/pnt-nstl.pdf
23. Nethercote, N. Dynamic Binary Analysis and Instrumentation. Ph.D. dissertation, University of Cambridge, 2004.
24. Romer, T., Voelker, G., Lee, D., Wolman, A., Wong, W., Levy, H., Bershad, B., and Chen, J. Instrumentation and Optimization of Win32/Intel Executables Using Etch. In Proceedings of the USENIX Windows NT Workshop, 1997.
25. Sites, R.L., Chernoff, A., Kirk, M.B., Marks, M.P. and Robinson, S.G., Binary Translation. In Communications of the ACM, Vol 36(2), Feb. 1993.
26. Szymanski, T. G., Assembling code for machines with Span-dependent Instructions. In Communications of the ACM. Vol 21 (4), April 1978.
27. Srivastava, A. and Eustace, A. ATOM: A system for building customized program analysis tools. In PLDI, 1994.
28. Tallam, S., Zhang, X., Gupta, R. Extending Path Profiling across Loop Backedges and Procedure Boundaries. In CGO, 2004.
29. Virtutech Corporation. Hindsight, http://www.virtutech.com March, 2005.
30. Witchel, E. and Rosenblum, M., Embra: Fast and Flexible Machine Simulation. In SIGMETRICS, 1996.