Self-recovery in server programs

International Symposium on Memory Management, ISMM

Volumn , Issue , 2009, Pages 49-58

  Nagarajan, Vijay ^a   Jeffrey, Dennis ^a   Gupta, Rajiv ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Memory propagation; Self cleansing; Self recovery

Indexed keywords

CHECK POINTING; MEMORY CORRUPTION; MEMORY ERROR; MEMORY LOCATIONS; PROGRAM STATE; RESPONSE TIME; ROLL BACK; ROLLBACK RECOVERY; SELF RECOVERY; SOFTWARE BUG; SOFTWARE FAILURE; STATE INFORMATION;

COMPUTER SOFTWARE; INTERACTIVE COMPUTER SYSTEMS; RECOVERY; STIMULATED RAMAN SCATTERING;

PROGRAM DEBUGGING;

EID: 70450230739     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542431.1542439     Document Type: Conference Paper

References (33)

1. mysql bug. bugs.mysql.com/bug.php?id=110.
2. National vulnerability database. http://nvd.nist.gov/statistics.cfm.
3. Derek Bruening, Timothy Garnett, and Saman Amarasinghe. An infrastructure for adaptive dynamic optimization. In CGO, pages 265-275. IEEE Computer Society, 2003.
4. George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox. Microreboot - a technique for cheap recovery. In OSDI, pages 31-44, 2004.
5. Winnie Cheng, Qin Zhao, Bei Yu, and Scott Hiroshige. Tainttrace: Efficient flow tracing with dynamic binary rewriting. ISCC, pages 749-754,2006.
6. JaeWoong Chung, Michael Dalton, Hari Kannan, and Christos Kozyrakis. Thread-safe binary translation using transactional memory. In HPCA, 2008.
7. Jedidiah R. Crandall, S. Felix Wu, and Frederic T Chong. Minos: Architectural support for protecting control data. ACM Trans. Archit. Code Optim., 3(4):359-389, 2006.
8. Michael Dalton, Hari Kannan, and Christos Kozyrakis. Raksha: a flexible information flow architecture for software security. In ISCA, pages 482-493, 2007.
9. Jim Gray. Why do computers stop and what can be done about it? In Symposium on Reliability in Distributed Software and Database Systems, pages 3-12,1986.
10. Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou, and Yuanyuan Zhou. Bugbench: A benchmark for evaluating bug detection tools. In Bugs, 2005.
11. Shubhendu S. Mukherjee, Joel S. Emer, and Steven K. Reinhardt. The soft error problem: An architectural perspective. In HPCA, pages 243-247, 2005.
12. Vijay Nagarajan and Rajiv Gupta. Architectural support for shadow memory in multiprocessors. In VEE, pages 1-10, 2009.
13. Nicholas Nethercote and Julian Seward. How to shadow every byte of memory used by a program. In VEE, pages 65-74, 2007a.
14. Nicholas Nethercote and Julian Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In PLDI, pages 89-100, 2007b.
15. James Newsome and Dawn Song. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In NDSS, 2005.
16. David L. Oppenheimer, Aaron B. Brown, James Beck, Daniel Hettena, Jon Kuroda, Noah Treuhaft, David A. Patterson, and Katherine A. Yelick. Roc-1: Hardware support for recovery-oriented computing. IEEE Trans. Computers, 51(2):100-107, 2002.
17. David A. Patterson. Recovery oriented computing: A new research agenda for a new century. In HPCA, page 247, 2002.
18. James S. Plank, Kai Li, and Michael A. Puening. Diskless checkpointing. IEEE Trans. Parallel Distrib. Syst., 9(10):972-986,1998.
19. Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, and Yuanyuan Zhou. Rx: treating bugs as allergies - a safe method to survive software failures. In SOSP, pages 235-248, 2005.
20. Feng Qin, Cheng Wang, Zhenmin Li, Ho seop Kim, Yuanyuan Zhou, and Youfeng Wu. Lift: A low-overhead practical information flow tracking system for detecting security attacks. In MICRO 39, pages 135-148, 2006.
21. Brian Randell, P. A. Lee, and Philip C. Treleaven. Reliability issues in computing system design. ACM Comput. Surv., 10(2):123-165,1978.
22. Steven K. Reinhardt and Shubhendu S. Mukherjee. Transient fault detection via simultaneous multithreading. In ISCA, pages 25-36, 2000.
23. George A. Reis, Jonathan Chang, Neil Vachharajani, Ram Rangan, and David I. August. Swift: Software implemented fault tolerance. In CGO, pages 243-254, 2005.
24. Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee. Enhancing server availability and security through failure-oblivious computing. In OSDI, pages 303-316, 2004.
25. Stelios Sidiroglou, Michael E. Locasto, Stephen W Boyd, and Angelos D. Keromytis. Building a reactive immune system for software services. In USENIX Annual Technical Conference, General Track, pages 149-161, 2005.
26. Sudarshan M. Srinivasan, Srikanth Kandula, Christopher R. Andrews, and Yuanyuan Zhou. Flashback: a lightweight extension for rollback and deterministic replay for software debugging. In ATEC, pages 29-44, 2004.
27. G. Edward Suh, Jae W. Lee, David Zhang, and Srinivas Devadas. Secure program execution via dynamic information flow tracking. In ASPLOS, pages 85-96, 2004.
28. Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, and Henry M. Levy. Recovering device drivers (awarded best paper!). In OSDI, pages 1-16, 2004.
29. Michael M. Swift, Brian N. Bershad, and Henry M. Levy. Improving the reliability of commodity operating systems. In SOSP, pages 207-222, 2003.
30. Sriraman Tallam, Chen Tian, Rajiv Gupta, and Xiangyu Zhang. Avoiding program failures through safe execution perturbations. In COMPSAC, pages 152-159, 2008.
31. T N. Vijaykumar, Irith Pomeranz, and Karl Cheng. Transient-fault recovery using simultaneous multithreading. In ISCA, pages 87-98, 2002.
32. Cheng Wang, Ho-Seop Kim, Youfeng Wu, and Victor Ying. Compiler-managed software-based redundant multi-threading for transient fault detection. In CGO, pages 244-258, 2007.
33. Xiangyu Zhang, Sriraman Tallam, and Rajiv Gupta. Dynamic slicing long running programs through execution fast forwarding. In SIGSOFT '06/FSE-14, pages 81-91, 2006.