Write a Blog >>
VEE 2017
Sat 8 - Sun 9 April 2017 Xi'an, China
Sun 9 Apr 2017 15:00 - 15:30 at Zhu Que Room - Memory Chair(s): Tim Harris

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 Apr

vee-2017-Session-5
14:00 - 15:30: Session 5 - Memory at Zhu Que Room
Chair(s): Tim HarrisOracle Labs
vee-2017-Session-514:00 - 14:30
Talk
Ahmed HusseinPurdue University / Huawei, USA, Mathias PayerPurdue University, Tony HoskingAustralian National University, Data61, and Purdue University, Christopher A. VickQualcomm
vee-2017-Session-514:30 - 15:00
Talk
Jie Zhang, Xiaoyi LuOhio State University, Dhabaleswar K. PandaOhio State University
vee-2017-Session-515:00 - 15:30
Talk
Kai LuCollege of Computer, National University of Defense Technology, Changsha, PR China, Wenzhe ZhangCollege of Computer, National University of Defense Technology, Changsha, PR China, Xiaoping WangCollege of Computer, National University of Defense Technology, Changsha, PR China, Mikel Lujan, Andy NisbetThe University of Manchester
File Attached