Flexible Page-level Memory Access Monitoring Based on Virtualization Hardware
Page protection is often used to achieve memory access monitoring in many applications, dealing with program-analysis, checkpoint-based failure recovery, and garbage collection in managed runtime systems. Typically, low overhead access monitoring is limited by the relatively large page-level granularity of memory management unit hardware support for virtual memory protection. In this paper, we improve upon traditional page-level mechanisms by additionally using hardware support for virtualization in order to achieve fine and flexible granularities that can be smaller than a page. We first introduce a memory allocator based on page protection that can achieve fine-grained monitoring. Secondly, we explain how virtualization hardware support can be used to achieve dynamic adjustment of the monitoring granularity. In all, we propose a process-level virtual machine to achieve dynamic and fine-grained monitoring. Any application can run on our process-level virtual machine without modification. Experimental results for an incremental checkpoint tool provide a use-case to demonstrate our work. Comparing with traditional page-based checkpoint, our work can effectively reduce the amount of checkpoint data and improve performance.
Presentation Slides (Zhang_final_presentation.pdf) | 508KiB |
Sun 9 AprDisplayed time zone: Azores change
14:00 - 15:30 | |||
14:00 30mTalk | One Process to Reap Them All: Garbage Collection As A Service Session 5 Ahmed Hussein Purdue University / Huawei, USA, Mathias Payer Purdue University, Tony Hosking Australian National University, Data61, and Purdue University, Christopher A. Vick Qualcomm | ||
14:30 30mTalk | Designing Locality and NUMA Aware MPI Runtime for Nested Virtualization based HPC Cloud with SR-IOV Enabled InfiniBand Session 5 | ||
15:00 30mTalk | Flexible Page-level Memory Access Monitoring Based on Virtualization Hardware Session 5 Kai Lu College of Computer, National University of Defense Technology, Changsha, PR China, Wenzhe Zhang College of Computer, National University of Defense Technology, Changsha, PR China, Xiaoping Wang College of Computer, National University of Defense Technology, Changsha, PR China, Mikel Luján , Andrew Nisbet The University of Manchester File Attached |