Umbra: Efficient and scalable memory shadowing

Proceedings of the 2010 CGO - The 8th International Symposium on Code Generation and Optimization

Volumn , Issue , 2010, Pages 22-31

  Zhao, Qin ^a   Bruening, Derek ^b   Amarasinghe, Saman ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b VMWARE INC   (United States)

Author keywords

dynamic optimization; shadow memory

Indexed keywords

64-BIT ARCHITECTURES; ADDRESS SPACE; APPLICATION DATA; DYNAMIC OPTIMIZATION; GENERAL DYNAMICS; MACHINE INSTRUCTIONS; MAPPING OPTIMIZATION; MEMORY SIZE; REAL-WORLD; RUNTIME OVERHEADS; RUNTIMES; SCALABLE MEMORY; SHADOW VALUE;

NETWORK COMPONENTS; OPTIMIZATION; PROGRAM COMPILERS;

METADATA;

EID: 77953978570     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1772954.1772960     Document Type: Conference Paper

References (31)

1. DynamoRIO dynamic instrumentation tool platform, February 2009. http://dynamorio.org/.
2. Derek Bruening. Efficient, Transparent, and Comprehensive Runtime Code Manipulation. PhD thesis, M.I.T., September 2004.
3. Michael Burrows, Stephen N. Freund, and Janet L. Wiener. Run-time type checking for binary programs. In Proc. of the 12th International Conference on Compiler Construction (CC '03), pages 90-105, 2003.
4. Shimin Chen, Michael Kozuch, Theodoros Strigkos, Babak Falsafi, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Olatunji Ruwase, Michael Ryan, and Evangelos Vlachos. Flexible hardware acceleration for instruction-grain program monitoring. In Proc. of the 35th International Symposium on Computer Architecture (ISCA '08), pages 377-388, 2008.
5. Winnie Cheng, Qin Zhao, Bei Yu, and Scott Hiroshige. Tainttrace: Efficient flow tracing with dynamic binary rewriting. In Proc. of the Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC '06), pages 749-754, 2006.
6. Marc L. Corliss, E. Christopher Lewis, and Amir Roth. Dise: a programmable macro engine for customizing applications. In Proc. of the 30th International Symposium on Computer Architecture (ISCA '03), pages 362-373, 2003.
7. Jedidiah R. Crandall and Frederic T. Chong. Minos: Control data attack prevention orthogonal to memory model. In Proc. of the 37th International Symposium on Microarchitecture (MICRO 37), pages 221-232, 2004.
8. Michael Dalton, Hari Kannan, and Christos Kozyrakis. Raksha: a flexible information flow architecture for software security. In Proc. of the 34th International Symposium on Computer architecture (ISCA '07), pages 482-493, 2007.
9. Jerry J. Harrow. Runtime checking of multithreaded applications with visual threads. In Proc. of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, pages 331-342, 2000.
10. Hewlett-Packard. Third Degree. http://h30097.www3.hp.com/ developerstoolkit/tools.html.
11. Intel. Intel Parallel Inspector. http://software.intel.com/en-us/intel- parallel-inspector/.
12. OpenWorks LLP. Helgrind: A data race detector, 2007. http://valgrind.org/ docs/manual/hg-manual.html/.
13. Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood. Pin: Building customized program analysis tools with dynamic instrumentation. In Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '05), pages 190-200, June 2005.
14. Satish Narayanasamy, Cristiano Pereira, Harish Patil, Robert Cohn, and Brad Calder. Automatic logging of operating system effects to guide application-level architecture simulation. In Proc. of the Joint International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS '06/Performance '06), pages 216-227, 2006.
15. Nicholas Nethercote and Alan Mycroft. Redux: A dynamic dataflow tracer. In Electronic Notes in Theoretical Computer Science, volume 89, 2003.
16. Nicholas Nethercote and Julian Seward. How to shadow every byte of memory used by a program. In Proc. of the 3rd International Conference on Virtual Execution Environments (VEE '07), pages 65-74, June 2007.
17. Nicholas Nethercote and Julian Seward. Valgrind: A framework for heavyweight dynamic binary instrumentation. In Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '07), pages 89-100, June 2007.
18. James Newsome. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In Proc. of the Network and Distributed System Security Symposium (NDSS 2005), 2005.
19. Parasoft. Insure++. http://www.parasoft.com/jsp/products/insure.jsp? itemId=63.
20. Feng Qin, ChengWang, Zhenmin Li, Ho-seop Kim, Yuanyuan Zhou, and Youfeng Wu. Lift: A low-overhead practical information flow tracking system for detecting security attacks. In Proc. of the 39th International Symposium on Microarchitecture (MICRO 39), pages 135-148, 2006.
21. Rational Software. Purify: Fast detection of memory leaks and access errors, 2000. http://www.rationalsoftware.com/products/whitepapers/319.jsp.
22. Michiel Ronsse, Bastiaan Stougie, Jonas Maebe, Frank Cornelis, and Koen De Bosschere. An efficient data race detector backend for diota. In Parallel Computing: Software Technology, Algorithms, Architectures & Applications, volume 13, pages 39-46. Elsevier, 2 2004.
23. Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst., 15(4):391-411, 1997.
24. Julian Seward and Nicholas Nethercote. Using Valgrind to detect undefined value errors with bit-precision. In Proc. of the USENIX Annual Technical Conference, pages 2-2, 2005.
25. Standard Performance Evaluation Corporation. SPEC CPU2006 benchmark suite, 2006. http://www.spec.org/osg/cpu2006/.
26. G. Edward Suh, Jae W. Lee, David Zhang, and Srinivas Devadas. Secure program execution via dynamic information flow tracking. In Proc. of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '04), pages 85-96, 2004.
27. Guru Venkataramani, Brandyn Roemer, Yan Solihin, and Milos Prvulovic. Memtracker: Efficient and programmable support for memory access monitoring and debugging. In Proc. of the 2007 IEEE 13th International Symposium on High Performance Computer Architecture (HPCA '07), pages 273-284, 2007.
28. Steven Cameron Woo, Moriyoshi Ohara, Evan Torrie, Jaswinder Pal Singh, and Anoop Gupta. The SPLASH-2 programs: characterization and methodological considerations. In Proc. of the 22nd International Symposium on Computer Architecture (ISCA '95), pages 24-36, 1995.
29. Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, and Weng-Fai Wong. How to do a million watch-points: Efficient debugging using dynamic instrumentation. In Proc. of the 17th International Conference on Compiler Construction (CC '08), pages 147-162, 2008.
30. Pin Zhou, Radu Teodorescu, and Yuanyuan Zhou. Hard: Hardware-assisted lockset-based race detection. In Proc. of the 2007 IEEE 13th International Symposium on High Performance Computer Architecture (HPCA '07), pages 121-132, 2007.
31. Yuanyuan Zhou, Pin Zhou, Feng Qin,Wei Liu, and Josep Torrellas. Efficient and flexible architectural support for dynamic monitoring. ACM Transactions on Architecture and Code Optimization (TACO), 2(1):3-33, 2005.