HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines

doi:10.1145/2731186.2731188

CORC > 计算技术研究所 > 中国科学院计算技术研究所 > 中国科学院计算技术研究所期刊论文 > 英文

	HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines
	Wang, Zhe 1,6; Li, Jianjun 6; Wu, Chenggang 6; Yang, Dongyan 2; Wang, Zhenjiang 6; Hsu, Wei-Chung 3; Li, Bin 5; Guan, Yong 4
刊名	ACM SIGPLAN NOTICES
	2015-07-01
卷号	50 期号:7 页码:53-64
关键词	Management Measurement Performance Design Experimentation Security memory virtualization cross-ISA virtualization Embedded Shadow Page Table HSPT Hosted Shadow Page Table practical implementation loadable kernel module Security Portability
ISSN号	0362-1340
DOI	10.1145/2731186.2731188
英文摘要	Cross-ISA (Instruction Set Architecture) system-level virtual machine has a significant research and practical value. For example, several recently announced virtual smart phones for iOS which run smart phone applications on x86 based PCs are deployed on cross-ISA system level virtual machines. Also, for mobile device application development, by emulating the Android/ARM environment on the more powerful x86-64 platform, application development and debugging become more convenient and productive. However, the virtualization layer often incurs high performance overhead. The key overhead comes from memory virtualization where a guest virtual address (GVA) must go through multilevel address translation to become a host physical address (HPA). The Embedded Shadow Page Table (ESPT) approach has been proposed to effectively decrease this address translation cost. ESPT directly maps GVA to HPA, thus avoid the lengthy guest virtual to guest physical, guest physical to host virtual, and host virtual to host physical address translation. However, the original ESPT work has a few drawbacks. For example, its implementation relies on a loadable kernel module (LKM) to manage the shadow page table. Using LKMs is less desirable for system virtual machines due to portability, security and maintainability concerns. Our work proposes a different, yet more practical, implementation to address the shortcomings. Instead of relying on using LKMs, our approach adopts a shared memory mapping scheme to maintain the shadow page table (SPT) using only "mmap" system call. Furthermore, this work studies the support of SPT for multi-processing in greater details. It devices three different SPT organizations and evaluates their strength and weakness with standard and real Android applications on the system virtual machine which emulates the Android/ ARM platform on x86-64 systems.
资助项目	National High Technology Research and Development Program of China[2012AA010901] ; National Natural Science Foundation of China (NSFC)[61303051] ; National Natural Science Foundation of China (NSFC)[61303052] ; National Natural Science Foundation of China (NSFC)[61332009] ; National Natural Science Foundation of China (NSFC)[60925009] ; Innovation Research Group of NSFC[61221062]
WOS研究方向	Computer Science
语种	英语
出版者	ASSOC COMPUTING MACHINERY
WOS记录号	WOS:000361284300005
内容类型	期刊论文
源URL	[http://119.78.100.204/handle/2XEOYT63/9334]
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Wang, Zhe
作者单位	1.Univ Chinese Acad Sci, Beijing, Peoples R China 2.IBM Corp, China Syst & Technol Lab, Beijing, Peoples R China 3.Natl Taiwan Univ, Dept Comp Sci & Informat Engn, Hangzhou, Zhejiang, Peoples R China 4.Capital Normal Univ, Coll Informat Engn, Beijing, Peoples R China 5.Netease, Hangzhou, Zhejiang, Peoples R China 6.Chinese Acad Sci, Inst Comp Technol, State Key Lab Comp Architecture, Beijing, Peoples R China
推荐引用方式 GB/T 7714	Wang, Zhe,Li, Jianjun,Wu, Chenggang,et al. HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines[J]. ACM SIGPLAN NOTICES,2015,50(7):53-64.
APA	Wang, Zhe.,Li, Jianjun.,Wu, Chenggang.,Yang, Dongyan.,Wang, Zhenjiang.,...&Guan, Yong.(2015).HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines.ACM SIGPLAN NOTICES,50(7),53-64.
MLA	Wang, Zhe,et al."HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines".ACM SIGPLAN NOTICES 50.7(2015):53-64.