TY - GEN
T1 - Design of ISA for efficient virtualization
AU - Yuhang, Liu
AU - Qinfen, Hao
AU - LiMin, Xiao
AU - Mingfa, Zhu
PY - 2009
Y1 - 2009
N2 - Popek, Goldberg have done some research on the formal requirements for virtualizable third Generation Architectures. This paper discusses how to design Instruction Set Architectures (ISAs) that supporting virtualization. Firstly, it defines formally the concepts that concerns with the issue. Secondly, it reclassifies the instructions according to instruction behaviors. Thirdly, it discusses how to reduce the proportion of instructions that are executed with intervention and interpretation of Virtual Machine Monitor (VMM) in the entire instruction set so as to expand the efficiency space in further with the premise of the whole Machine Can be Virtualized (MCV). At last, it not only gives but proves a theorem about the mapping between any instruction sequences when VMM doesn't exist and its counterpart when VMM does exist. These not only provide guidelines for the design of ISA and the construction of efficient VMM, but also help to assess the existing ISA and make some necessary modification to enable MCV.
AB - Popek, Goldberg have done some research on the formal requirements for virtualizable third Generation Architectures. This paper discusses how to design Instruction Set Architectures (ISAs) that supporting virtualization. Firstly, it defines formally the concepts that concerns with the issue. Secondly, it reclassifies the instructions according to instruction behaviors. Thirdly, it discusses how to reduce the proportion of instructions that are executed with intervention and interpretation of Virtual Machine Monitor (VMM) in the entire instruction set so as to expand the efficiency space in further with the premise of the whole Machine Can be Virtualized (MCV). At last, it not only gives but proves a theorem about the mapping between any instruction sequences when VMM doesn't exist and its counterpart when VMM does exist. These not only provide guidelines for the design of ISA and the construction of efficient VMM, but also help to assess the existing ISA and make some necessary modification to enable MCV.
KW - Efficient virtualization
KW - Instruction set architecture (ISA)
KW - Sensitive instruction (SI)
UR - https://www.scopus.com/pages/publications/70349337292
U2 - 10.1109/ICIEA.2009.5138785
DO - 10.1109/ICIEA.2009.5138785
M3 - 会议稿件
AN - SCOPUS:70349337292
SN - 9781424428007
T3 - 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009
SP - 3167
EP - 3172
BT - 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009
T2 - 2009 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009
Y2 - 25 May 2009 through 27 May 2009
ER -