[發(fā)明專(zhuān)利]內(nèi)存隔離方法、隔離檢查電路和CPU芯片

有效

• 申請(qǐng)?zhí)枺?/td>: 202010533641.9
• 申請(qǐng)日: 2020-06-11
• 公開(kāi)（公告）號(hào): CN111857947B
• 公開(kāi)（公告）日: 2023-08-08
• 發(fā)明（設(shè)計(jì)）人: 姜瑩
• 申請(qǐng)（專(zhuān)利權(quán)）人: 海光信息技術(shù)股份有限公司
• 主分類(lèi)號(hào): G06F9/455
• 分類(lèi)號(hào): G06F9/455;G06F12/02
• 代理公司: 北京超凡宏宇專(zhuān)利代理事務(wù)所(特殊普通合伙) 11463
• 代理人: 何明倫

1.一種內(nèi)存隔離方法，包括：

接收內(nèi)存訪問(wèn)請(qǐng)求，所述內(nèi)存訪問(wèn)請(qǐng)求中包括請(qǐng)求訪問(wèn)的內(nèi)存頁(yè)的訪問(wèn)地址；

在內(nèi)存分頁(yè)保護(hù)信息表中查找與所述訪問(wèn)地址相對(duì)應(yīng)的表項(xiàng)；以及基于所述訪問(wèn)地址和所述表項(xiàng)對(duì)所述內(nèi)存訪問(wèn)請(qǐng)求進(jìn)行隔離檢查，當(dāng)所述隔離檢查成功時(shí)，允許訪問(wèn)所述請(qǐng)求訪問(wèn)的內(nèi)存頁(yè)；

其中，在內(nèi)存分頁(yè)保護(hù)信息表中查找與所述訪問(wèn)地址相對(duì)應(yīng)的表項(xiàng)，包括：

根據(jù)訪問(wèn)地址中的內(nèi)存訪問(wèn)主體標(biāo)簽和請(qǐng)求地址的一部分來(lái)確定索引值，并在所述內(nèi)存分頁(yè)保護(hù)信息表中查找所述索引值對(duì)應(yīng)的表項(xiàng)；

其中，根據(jù)訪問(wèn)地址中的內(nèi)存訪問(wèn)主體標(biāo)簽和請(qǐng)求地址的一部分來(lái)確定所述索引值，包括：

根據(jù)所述內(nèi)存分頁(yè)保護(hù)信息表中的表項(xiàng)的個(gè)數(shù)來(lái)確定所述訪問(wèn)地址中的請(qǐng)求地址的一部分的位數(shù)；

在所述請(qǐng)求地址中從高位開(kāi)始選取所述位數(shù)的比特位，作為所述請(qǐng)求地址的一部分；

將所述請(qǐng)求地址的一部分和所述訪問(wèn)地址中的內(nèi)存訪問(wèn)主體標(biāo)簽組合形成所述索引值。

2.如權(quán)利要求1所述的方法，其中，所述訪問(wèn)地址包括內(nèi)存訪問(wèn)主體標(biāo)簽和請(qǐng)求地址，和/或，所述表項(xiàng)中的信息包括表項(xiàng)有效位和允許訪問(wèn)的內(nèi)存訪問(wèn)主體標(biāo)簽。

3.如權(quán)利要求2所述的方法，其中，所述訪問(wèn)地址還包括隔離內(nèi)存請(qǐng)求標(biāo)識(shí)。

4.如權(quán)利要求3所述的方法，所述方法還包括：

當(dāng)所述隔離內(nèi)存請(qǐng)求標(biāo)識(shí)為無(wú)效時(shí)，或者所述表項(xiàng)有效位為無(wú)效時(shí)，所述隔離檢查成功。

5.如權(quán)利要求3所述的方法，所述方法還包括：

當(dāng)所述隔離內(nèi)存請(qǐng)求標(biāo)識(shí)為有效，所述表項(xiàng)有效位為有效，且所述訪問(wèn)地址中的內(nèi)存訪問(wèn)主體標(biāo)簽與所述表項(xiàng)中允許訪問(wèn)的內(nèi)存訪問(wèn)主體標(biāo)簽一致時(shí)，所述隔離檢查成功。

6.如權(quán)利要求2所述的方法，其中，所述方法還包括：

當(dāng)所述請(qǐng)求地址未落在需要進(jìn)行隔離檢查的地址范圍內(nèi)，或者所述表項(xiàng)有效位為無(wú)效時(shí)，所述隔離檢查成功。

7.如權(quán)利要求2所述的方法，其中，所述方法還包括：

當(dāng)所述請(qǐng)求地址落在需要進(jìn)行隔離檢查的地址范圍內(nèi)，所述表項(xiàng)有效位為有效，且所述訪問(wèn)地址中的內(nèi)存訪問(wèn)主體標(biāo)簽與所述表項(xiàng)中允許訪問(wèn)的內(nèi)存訪問(wèn)主體標(biāo)簽一致時(shí)，所述隔離檢查成功。

8.如權(quán)利要求2所述的方法，所述內(nèi)存訪問(wèn)主體標(biāo)簽包括虛擬機(jī)、虛擬機(jī)管理器和/或虛擬機(jī)中的應(yīng)用的標(biāo)識(shí)。

9.一種隔離檢查電路，包括：

存儲(chǔ)單元，存儲(chǔ)有內(nèi)存分頁(yè)保護(hù)信息表；和

判斷邏輯單元，用于

接收內(nèi)存訪問(wèn)請(qǐng)求，所述內(nèi)存訪問(wèn)請(qǐng)求中包括請(qǐng)求訪問(wèn)的內(nèi)存頁(yè)的訪問(wèn)地址；

在內(nèi)存分頁(yè)保護(hù)信息表中查找與所述訪問(wèn)地址相對(duì)應(yīng)的表項(xiàng)；以及

基于所述訪問(wèn)地址和所述表項(xiàng)對(duì)所述內(nèi)存訪問(wèn)請(qǐng)求進(jìn)行隔離檢查，當(dāng)所述隔離檢查成功時(shí)，允許訪問(wèn)所述請(qǐng)求訪問(wèn)的內(nèi)存頁(yè)；

其中，所述判斷邏輯單元，具體用于根據(jù)所述訪問(wèn)地址中的內(nèi)存訪問(wèn)主體標(biāo)簽和所述請(qǐng)求地址的一部分來(lái)確定索引值，并在所述內(nèi)存分頁(yè)保護(hù)信息表中查找與所述索引值相對(duì)應(yīng)的表項(xiàng)；

其中，所述判斷邏輯單元，在根據(jù)所述訪問(wèn)地址中的內(nèi)存訪問(wèn)主體標(biāo)簽和所述請(qǐng)求地址的一部分來(lái)確定所述索引值時(shí)，具體用于：

根據(jù)所述內(nèi)存分頁(yè)保護(hù)信息表中的表項(xiàng)的個(gè)數(shù)來(lái)確定所述訪問(wèn)地址中的請(qǐng)求地址的一部分的位數(shù)，在所述請(qǐng)求地址中從高位開(kāi)始選取所述位數(shù)的比特位，作為所述請(qǐng)求地址的一部分，將所述請(qǐng)求地址的一部分和所述訪問(wèn)地址中的內(nèi)存訪問(wèn)主體標(biāo)簽組合形成所述索引值。

10.如權(quán)利要求9所述的隔離檢查電路，所述訪問(wèn)地址包括內(nèi)存訪問(wèn)主體標(biāo)簽和請(qǐng)求地址，和/或，所述表項(xiàng)中的信息包括表項(xiàng)有效位和允許訪問(wèn)的內(nèi)存訪問(wèn)主體標(biāo)簽。

11.如權(quán)利要求10所述的隔離檢查電路，其中，所述訪問(wèn)地址還包括隔離內(nèi)存請(qǐng)求標(biāo)識(shí)。