[發明專利]內存靜態劃分虛擬化方法

有效

• 申請號: 201310076740.9
• 申請日: 2013-03-11
• 公開（公告）號: CN103116556A
• 公開（公告）日: 2013-05-22
• 發明（設計）人: 王星焱;殷紅武;沈金祥;何升;許國春
• 申請（專利權）人: 無錫江南計算技術研究所
• 主分類號: G06F12/10
• 分類號: G06F12/10
• 代理公司: 北京眾合誠成知識產權代理有限公司 11246
• 代理人: 龔燮英

1.一種內存靜態劃分虛擬化方法，其特征在于包括：在進行虛地址轉換時，首先查詢TLB表，如果虛地址在表中命中，則直接根據TLB中的頁表項PTE中的頁幀號PFN確定虛地址所對應的機器地址；如果沒有命中，則轉入TLB的不命中處理流程。

2.根據權利要求1所述的內存靜態劃分虛擬化方法，其特征在于，在TLB的不命中處理流程中，從虛擬地址VA獲得物理地址PA，再通過虛擬機控制寄存器中存儲的虛擬機地址偏移Offset計算出物理地址PA對應的機器地址MA，再將機器地址MA裝填至TLB中，其中，虛擬機地址偏移Offset為虛擬機控制寄存器中存放的虛擬機地址偏移量Offset。

3.根據權利要求1或2所述的內存靜態劃分虛擬化方法，其特征在于，TLB的不命中處理流程包括：

a)頁表基地址寄存器中填的頁表基地址是虛擬物理地址，先從虛擬機控制寄存器得到虛擬機地址偏移量Offset，加上頁表基地址寄存器中的虛擬物理地址，得到頁表基地址的機器地址MAL1，其中，虛擬機地址偏移Offset為虛擬機控制寄存器中存放的虛擬機地址偏移量Offset；

b)從頁表基地址的機器地址MAL1所對應的頁面中，取出第一級Level1的頁表，從中取出頁幀號，將頁幀號乘以PAGE_SIZE，得到作為下一級頁表的第二級Level2的頁表的基地址的物理地址PAL1，再根據公式MAL2=PA?L1+Offset計算出作為下一級頁表的第二級Level2的頁表的基地址的機器地址MAL2，其中，PAGE_SIZE為頁面大小；

c)從上一步得到的機器地址MAL2所對應的頁面中取出第二級Level2的頁表，從中取出頁幀號，將頁幀號乘以PAGE_SIZE，以得到作為下一級頁表的第三級Level3的頁表的基地址的物理地址PAL2，再根據公式MAL3=PAL2+Offset計算出作為下一級頁表的第三級Level3的基地址的機器地址MAL3；

d)從上一步得到的機器地址MAL3所對應的頁面中取出第三級Level3的頁表，從中取出頁幀號，乘以PAGE_SIZE，得到下一級頁表的基地址的物理地址PAL3，再根據公式MAL4=PAL3+Offset計算出下一級頁表基地址的機器地址MAL4；

e)從上一步得到的機器地址MAL4所對應的頁面中取出TLB的頁表項PTE的頁表，從中取出頁幀號，將頁幀號乘以PAGE_SIZE，以得到物理地址PAL4，再根據公式MA=PAL4+Offset計算出機器地址MA，最終得到虛擬地址VA到機器地址MA的映射關系，并根據該機器地址MA裝填硬件TLB。