[發明專利]指令驗證方法、裝置及存儲介質

有效

• 申請號: 201810010681.8
• 申請日: 2018-01-05
• 公開（公告）號: CN110007958B
• 公開（公告）日: 2021-06-08
• 發明（設計）人: 王宗磊;汪文祥
• 申請（專利權）人: 龍芯中科技術股份有限公司
• 主分類號: G06F9/30
• 分類號: G06F9/30
• 代理公司: 北京同立鈞成知識產權代理有限公司 11205
• 代理人: 董建姣;劉芳

1.一種指令驗證方法，其特征在于，包括：

在指令文件中確定預留指令和第一合法指令，所述預留指令的第一預設位中的值為空，所述第一合法指令中的第二預設位中的值為固定值；

生成所述預留指令對應的第一非法指令集合和所述第一合法指令對應的第二非法指令集合，所述第一非法指令集合中包括至少一個與所述預留指令對應的非法指令，所述第二非法指令集合中包括至少一個與所述第一合法指令對應的非法指令，對于所述預留指令，當所述第一預設位中的值為非空時，所述預留指令對應的指令為非法指令，對于所述第一合法指令，當所述第二預設位中的值為固定值之外的其他值時，所述第一合法指令對應的指令為非法指令；

通過處理器執行所述第一非法指令集合和所述第二非法指令集合中的非法指令的結果的異常指示，以確定所述處理器和所述指令文件的一致性結果。

2.根據權利要求1所述的方法，其特征在于，所述生成所述預留指令對應的第一非法指令集合，包括：

根據第一位數，分別將所述第一預設位中的值設置為與所述第一位數對應的第一數值范圍中的每一個數值，得到所述第一非法指令集合；所述第一位數為所述第一預設位包含的位數。

3.根據權利要求1所述的方法，其特征在于，所述生成所述第一合法指令對應的第二非法指令集合，包括：

根據第二位數以及第三位數，分別將所述第二預設位中的值設置為與所述第二位數對應的第二數值范圍中除所述固定值之外的每一個數值，并分別將所述第一合法指令中可變位中的值設置為與所述第三位數對應的第三數值范圍中的每一個數值，得到所述第二非法指令集合，所述第二位數為所述第二預設位包含的位數，所述第三位數為所述可變位包含的位數。

4.根據權利要求1-3任一項所述的方法，其特征在于，所述通過處理器執行所述第一非法指令集合和所述第二非法指令集合中的非法指令，以確定所述處理器和所述指令文件的一致性結果，包括：

通過所述處理器執行所述第一非法指令集合和所述第二非法指令集合中的非法指令，得到所述第一非法指令集合和所述第二非法指令集合中每一個非法指令對應的處理結果；

根據所述處理結果，確定所述處理器和所述指令文件的一致性結果。

5.根據權利要求4所述的方法，其特征在于，根據所述處理結果，確定所述處理器和所述指令文件的一致性結果，包括：

若所述處理結果均包括異常指示，則確定所述一致性結果為所述處理器和所述指令文件具備指令一致性；

若所述處理結果中存在至少一條處理結果未包括異常指示，則確定所述一致性結果為所述處理器和所述指令文件不具備指令一致性。

6.一種指令驗證裝置，其特征在于，包括第一確定模塊、生成模塊和第二確定模塊，其中，

所述第一確定模塊用于，在指令文件中確定預留指令和第一合法指令，所述預留指令的第一預設位中的值為空，所述第一合法指令中的第二預設位中的值為固定值；

所述生成模塊用于，生成所述預留指令對應的第一非法指令集合和所述第一合法指令對應的第二非法指令集合，所述第一非法指令集合中包括至少一個與所述預留指令對應的非法指令，所述第二非法指令集合中包括至少一個與所述第一合法指令對應的非法指令，對于所述預留指令，當所述第一預設位中的值為非空時，所述預留指令對應的指令為非法指令，對于所述第一合法指令，當所述第二預設位中的值為固定值之外的其他值時，所述第一合法指令對應的指令為非法指令；

所述第二確定模塊用于，通過處理器執行所述第一非法指令集合和所述第二非法指令集合中的非法指令的結果的異常指示，以確定所述處理器和所述指令文件的一致性結果。

7.根據權利要求6所述的裝置，其特征在于，所述生成模塊具體用于：

根據第一位數，分別將所述第一預設位中的值設置為與所述第一位數對應的第一數值范圍中的每一個數值，得到所述第一非法指令集合；所述第一位數為所述第一預設位包含的位數。