【技術實現步驟摘要】
【國外來華專利技術】
技術介紹
1、本技術涉及數據處理領域。更具體地，本技術涉及完整性檢查。
2、處理器中可能發生故障，影響該處理器的操作。此類故障可歸因于若干可能因素中的一者或多者，諸如，例如制造問題、系統老化或硬件或軟件設計中的缺陷。如果不加以解決，這些故障可能導致處理器執行測算時出現錯誤。在一些情況下，此類故障可能僅以非確定性方式發生，其中在同一處理器或核上執行相同測算，從而在一個實例中導致錯誤結果，而在另一實例中不導致錯誤結果。雖然處理電路中的一些故障導致容易標識的錯誤，但是一些故障卻導致由測算產生的有效但錯誤的結果，從而使得這些故障的檢測更加困難。表現出此類行為的核可稱為“汞核”。
3、“cores?that?don't?count”，peter?h.hochschild等人，2021年，第18屆操作系統熱門專題研討會(hotos2021)描述了導致間歇性故障的此類汞核的一些已知實例。
技術實現思路
1、在一個示例布置中，提供了一種裝置，該裝置包括：處理電路，該處理電路用于執行指令；其中該處理電路包括：測算電路，該測算電路對要求執行測算的一個或多個指令作出響應，以計算該測算的結果；近似電路，該近似電路對所述一個或多個指令作出響應，以獨立于測算電路測算該測算的近似結果；和完整性檢查電路，該完整性檢查電路被配置為通過以下步驟來執行完整性檢查：將由測算電路執行的測算的結果與由近似電路執行的測算的近似結果進行比較；以及響應于確定該測算的結果與該測算的近似結果之間的差異大于偏差
2、在另一示例布置中，提供了一種方法，該方法包括：通過處理電路執行指令；響應于要求執行測算的一個或多個指令來計算該測算的結果；響應于所述一個或多個指令來獨立于該計算來測算該測算的近似結果；以及通過以下步驟來執行完整性檢查：將測算的結果與測算的近似結果進行比較；以及響應于確定該測算的結果與該測算的近似結果之間的差異大于偏差閾值，檢測處理電路中的錯誤。
3、在仍又一示例布置中，提供了一種用于控制主機數據處理裝置以提供指令執行環境的計算機程序，該計算機程序包括：處理程序邏輯，該處理程序邏輯用于執行指令；其中該處理程序邏輯包括：測算程序邏輯，該測算程序邏輯對要求執行測算的一個或多個指令作出響應，以計算該測算的結果；近似程序邏輯，該近似程序邏輯對所述一個或多個指令作出響應，以獨立于測算程序邏輯測算該測算的近似結果；和完整性檢查程序邏輯，該完整性檢查程序邏輯被配置為通過以下步驟來執行完整性檢查：將由測算程序邏輯執行的測算的結果與由近似程序邏輯執行的測算的近似結果進行比較；以及響應于確定該測算的結果與該測算的近似結果之間的差異大于偏差閾值，檢測處理程序邏輯中的錯誤。
本文檔來自技高網...【技術保護點】
1.一種裝置，所述裝置包括：
2.根據權利要求1所述的裝置，其中：
3.根據權利要求2所述的裝置，其中：
4.根據權利要求1或權利要求2所述的裝置，其中：
5.根據任一前述權利要求所述的裝置，其中：
6.根據權利要求5所述的裝置，其中：
7.根據權利要求5或權利要求6所述的裝置，其中：
8.根據權利要求5至7中任一項所述的裝置，其中：
9.根據任一前述權利要求所述的裝置，其中所述近似電路被配置為：
10.根據權利要求9所述的裝置，其中所述測算結果歷史信息包括：
11.根據權利要求10所述的裝置，其中：
12.根據權利要求9至11中任一項所述的裝置，其中：
13.根據權利要求12所述的裝置，其中更新所述測算結果歷史包括：
14.根據任一前述權利要求所述的裝置，其中：
15.根據權利要求1至13中任一項所述的裝置，其中：
16.根據任一前述權利要求所述的裝置，其中：
17.根據權利要求1至15中
18.根據權利要求2或在從屬于權利要求2時權利要求3至15中任一項所述的裝置，其中：
19.一種方法，所述方法包括：
20.一種計算機程序，所述計算機程序用于控制主機數據處理裝置以提供指令執行環境，所述計算機程序包括：
...【技術特征摘要】
【國外來華專利技術】
1.一種裝置，所述裝置包括：
2.根據權利要求1所述的裝置，其中：
3.根據權利要求2所述的裝置，其中：
4.根據權利要求1或權利要求2所述的裝置，其中：
5.根據任一前述權利要求所述的裝置，其中：
6.根據權利要求5所述的裝置，其中：
7.根據權利要求5或權利要求6所述的裝置，其中：
8.根據權利要求5至7中任一項所述的裝置，其中：
9.根據任一前述權利要求所述的裝置，其中所述近似電路被配置為：
10.根據權利要求9所述的裝置，其中所述測算結果歷史信息包括：
11.根據權利要求10所述的裝置，其中：
【專利技術屬性】
技術研發人員：巴拉吉·韋尼，姆布·埃約勒，
申請(專利權)人：ARM有限公司，
類型：發明
國別省市：
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。