Transparent mutable replay for multicore debugging and patch validation

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

Volumn , Issue , 2013, Pages 127-138

  Viennot, Nicolas ^a   Nair, Siddharth ^a   Nieh, Jason ^a  

^a Howard Hughes Medical Institute   (United States)

Author keywords

Debugging; Deterministic replay; Multicore; Mutable replay

Indexed keywords

APPLICATION EXECUTION; D.2.5 [SOFTWARE ENGINEERING]: TESTING AND DEBUGGING; D.2.7 [SOFTWARE ENGINEERING]: DISTRIBUTION , MAINTENANCE , AND ENHANCEMENTS; DEBUGGING INFORMATION; DETERMINISTIC REPLAY; MULTI CORE; MUTABLE REPLAY; NON-DETERMINISTIC EVENTS;

APPLICATION PROGRAMS; COMPUTER DEBUGGING; PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING;

PROGRAM DEBUGGING;

EID: 84875661875     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2451116.2451130     Document Type: Conference Paper

References (29)

1. Apache Bug 53131. https://issues.apache.org/bugzilla/show-bug.cgi?id= 53131.
2. G. Altekar and I. Stoica. ODR: Output-Deterministic Replay for Multicore Debugging. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP '09), Nov. 2009.
3. S. Bhansali, W.-K. Chen, S. de Jong, A. Edwards, R. Murray, M. Drinić, D. Mihočka, and J. Chau. Framework for Instructionlevel Tracing and Analysis of Program Executions. In Proceedings of the 2nd International Conference on Virtual Execution Environments (VEE '06), June 2006.
4. E. W. Biederman. Multiple Instances of the Global Linux Namespaces. In Proceedings of the Linux Symposium, July 2006.
5. T. C. Bressoud. TFT: A Software System for Application- Transparent Fault Tolerance. In Proceedings of the 28th International Symposium on Fault-Tolerant Computing (FTCS '98), June 1998.
6. T. C. Bressoud and F. B. Schneider. Hypervisor-Based Fault Tolerance. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP '95), Dec. 1995.
7. J. Chow, T. Garfinkel, and P. M. Chen. Decoupling Dynamic Program Analysis from Execution in Virtual Environments. In Proceedings of the USENIX Annual Technical Conference (USENIX '08), June 2008.
8. J. Chow, D. Lucchetti, T. Garfinkel, G. Lefebvre, R. Gardner, J. Mason, S. Small, and P. M. Chen. Multi-stage Replay with Crosscut. In Proceedings of the 6th International Conference on Virtual Execution Environments (VEE '10), Mar. 2010.
9. 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 Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI '02), Dec. 2002.
10. G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen. Execution Replay of Multiprocessor Virtual Machines. In Proceedings of the 4th International Conference on Virtual Execution Environments (VEE '08), Mar. 2008.
11. 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 Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI '08), Dec. 2008.
12. A. Joshi, S. T. King, G. W. Dunlap, and P. M. Chen. Detecting Past and Present Intrusions through Vulnerability-Specific Predicates. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05), Oct. 2005.
13. I. Kravets and D. Tsafrir. Feasibility of Mutable Replay for Automated Regression Testing of Security Updates. In Workshop on Runtime Environments, Systems, Layering and Virtualized Environments (RESoLVE), March 2012.
14. O. Laadan and J. Nieh. Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems. In Proceedings of the 2007 USENIX Annual Technical Conference, June 2007.
15. O. Laadan, R. A. Baratto, D. Phung, S. Potter, and J. Nieh. DejaView: A Personal Virtual Computer Recorder. In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP '07), Oct. 2007.
16. O. Laadan, N. Viennot, and J. Nieh. Transparent, Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems. In Proceedings of the ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS '10), June 2010.
17. O. Laadan, N. Viennot, C.-c. Tsai, C. Blinn, J. Yang, and J. Nieh. Pervasive Detection of Process Races in Deployed Systems. In Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP '11), Oct. 2011.
18. T. J. LeBlanc and J. M. Mellor-Crummey. Debugging Parallel Programs with Instant Replay. IEEE Transactions on Computers, 36(4), Apr. 1987.
19. S. Narayanasamy, Z.Wang, J. Tigani, A. Edwards, and B. Calder. Automatically Classifying Benign and Harmful Data Races Using Replay Analysis. In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI '07), June 2007.
20. S. Osman, D. Subhraveti, G. Su, and J. Nieh. The Design and Implementation of Zap: A System for Migrating Computing Environments. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI '02), Dec. 2002.
21. S. Park, Y. Zhou, W. Xiong, Z. Yin, R. Kaushik, K. H. Lee, and S. Lu. PRES: Probabilistic Replay with Execution Sketching on Multiprocessors. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP '09), Oct. 2009.
22. Y. Saito. Jockey: a User-Space Library for Record-Replay Debugging. In Proceedings of the 6th International Symposium on Automated Analysis-Driven Debugging (AADEBUG '05), Sept. 2005.
23. S. Sidiroglou, S. Ioannidis, and A. D. Keromytis. Band-aid Patching. In Proceedings of the 3rd workshop on on Hot Topics in System Dependability (HotDep '07), June 2007.
24. S. Sidiroglou, O. Laadan, C. Perez, N. Viennot, J. Nieh, and A. D. Keromytis. ASSURE: Automatic Software Self-healing Using REscue points. In Proceedings of the 14th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS '09), Mar. 2009.
25. J. H. Slye and E. Elnozahy. Supporting Nondeterministic Execution in Fault-Tolerant Systems. In Proceedings of the 26th International Symposium on Fault-Tolerant Computing (FTCS '96), June 1996.
26. S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou. Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging. In Proceedings of the USENIX Annual Technical Conference (USENIX '04), June 2004.
27. D. Subhraveti and J. Nieh. Record and Transplay: Partial Checkpointing for Replay Debugging Across Heterogeneous Systems. In Proceedings of the ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS '11), June 2011.
28. C. Tang. DSF: A Common Platform for Distributed Systems Research and Development. In Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware (Middleware '09), Nov. 2009.
29. J. Tucek, W. Xiong, and Y. Zhou. Efficient Online Validation With Delta Execution. In Proceedings of the 14th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS '09), Mar. 2009.