【技术实现步骤摘要】
【国外来华专利技术】
技术介绍
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有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。