Iwatcher: Simple general architectural support for software debugging

IEEE Micro

Volumn 24, Issue 6, 2004, Pages 50-56

  Zhou, Pin ^a   Qin, Feng ^a   Liu, Wei ^a   Zhou, Yuanyuan ^a   Torrellas, Josep ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; DATA STORAGE EQUIPMENT; FAULT TOLERANT COMPUTER SYSTEMS; MICROPROCESSOR CHIPS; PERFORMANCE; PROGRAM DEBUGGING;

IWATCHER; SOFTWARE DEBUGGING;

COMPUTER DEBUGGING;

EID: 15044363978     PISSN: 02721732     EISSN: None     Source Type: Journal    
DOI: 10.1109/MM.2004.79     Document Type: Article

References (15)

1. E. Marcus and H. Stern, Blueprints for High Availability, John Wiley & Sons, 2000.
2. "Software Errors Cost U.S. Economy $59.5 Billion Annually," NIST News Release 2002-10, Nat'l Inst. of Standards and Technology (NIST), US Dept. of Commerce, June 2002.
3. J.-D. Choi et al., "Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs," Proc. Conf. Programming Language Design and Implementation (PLDI 02), ACM Press, 2002, pp. 258-269.
4. D. Engler and K. Ashcraft, "RacerX: Effective, Static Detection of Race Conditions and Deadlocks," Proc. Symp. Operating Systems Principles (SOSP 03), ACM Press, 2003, pp. 237-252.
5. S. Hallem et al., "A System and Language for Building System-Specific, Static Analyses," Proc. Conf. Programming Language Design and Implementation (PLDI 02), ACM Press, 2002, pp. 69-82.
6. U. Stern and D.L. Dill, "Automatic Verification of the SCI Cache Coherence Protocol," Proc. Conf. Correct Hardware Design and Verification Methods - IFIP WG10.5 Advanced Research Working Conf., Lecture Notes in Computer Science 987, Springer-Verlag, 1995, pp. 21-34.
7. R. Hastings and B. Joyce, "Purify: Fast Detection of Memory Leaks and Access Errors," Proc. Usenix Winter Tech. Conf., Usenix Assoc., 1992, pp. 125-138.
8. S. Hangal and M.S. Lam, "Tracking Down Software Bugs Using Automatic Anomaly Detection," Proc. Int'l Conf. Software Eng. (ICSE 02), IEEE CS Press, 2002, pp. 291-301.
9. S. Savage et al., "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," ACM Trans. Computer Systems, vol. 15, no. 4, Nov. 1997, pp. 319-411.
10. J. Condit et al., "CCured in the Real World," Proc. Conf. Programming Language Design and Implementation (PLDI 03), ACM Press, 2003, pp. 232-244.
11. G.C. Necula, S. McPeak, and W. Weimer, "CCured: Type-Safe Retrofitting of Legacy Code," Proc. Symp. Principles of Programming Languages (POPL 02), ACM Press, 2002, pp. 128-139.
12. B. Sprunt, "Pentium 4 Performance-Monitoring Features," IEEE Micro vol. 22, no. 4, July-Aug. 2002, pp. 72-82.
13. M. Prvulovic and J. Torrellas, "ReEnact: Using Thread-Level Speculation Mechanisms to Debug Data Races in Multithreaded Codes," Proc. 30th Ann. Int'l Symp. Computer Architecture (ISCA 03), IEEE CS Press, 2003, pp. 110-121.
14. M. Xu, R. Bodik, and M.D. Hill, "A 'Flight Data Recorder' for Enabling Full System Multi-processor Deterministic Replay," Proc. 30th Int'l Symp. Computer Architecture (ISCA 03), IEEE CS Press, 2003, pp. 122-133.
15. P. Zhou et al., "iWatcher: Efficient Architectural Support for Software Debugging," Proc. 31st Ann. Int'l Symp. Computer Architecture (ISCA 04), IEEE CS Press, 2004, pp. 224-235.