[发明专利]用于错误修复的方法和系统

说明书

技术领域

本发明涉及高可用性处理器中的错误修复，更具体地说，本发明的示范性实施例涉及利用操作的可修复和不可修复模式两者为高可用性处理器进行指令处理的错误修复系统和方法。

背景技术

高可用性计算机系统都需要硬件差错检测和修复所检测差错和防止任何不正确结果的方法两者。在支持差错修复的传统微处理器中，大多数差错修复操作都是硬件特有的并集成在微处理器本身内。因此，在微处理器上执行的软件在缺乏由微处理器硬件内的瞬时硬件差错引起的中断或信令的时候可以不中断地运行。

这些在微处理器中实现的传统修复机制在保持来自检测到差错之前处理的任何时间上较老指令的结果的同时，通常放弃通过出错电路处理或可能处理的指令。为了鉴别指令的结果是否可能出错，需要缓存和/或保存结果，直到在无错提交这些指令(以及它们的结果)之前，对照任何可能出错状况检验了相关结果。如果检测到出错状况，则需要重算这些可能出错结果，并放弃和以后重发任何受影响指令。

为了取得上述能力，需要额外流水线资源来缓存指令结果，直到未检测到差错。另外，因为需要从好总体结构状态收回指令，所以需要保持(例如，通过检验点))适当状态(总体结构以及有时非总体结构)。这样的缓存、维护、和检验点设置增加了所需的总电路或减少了支持差错修复的传统微处理器中可用于指令处理的净可用资源。

发明内容

按照本发明的示范性实施例，提供了进行差错修复的计算机程序产品、系统、和方法。由处理器创建软件修复检验点。根据软件修复检验点的创建使处理器动态地切换到操作的不可修复处理模式。操作的不可修复处理模式是将一子组硬件错误修复资源断电或为指令处理改用(re-purpose)的模式。在操作的不可修复处理模式期间确定需要新软件修复检验点。根据需要新软件修复检验点的确定，使处理器动态地切换到操作的可修复处理模式。操作的可修复处理模式是使包括该子组中的至少一种硬件差错修复资源的硬件差错修复资源用于硬件差错修复操作的模式。

通过本发明的技术实现了另外的特征和优点。本发明的其它实施例和方面将在本文中作详细描述，并且被认为是要求保护的发明的一部分。为了更好地理解具有这些优点和特征的发明，请参照如下描述以及附图。

附图说明

作为本说明书的结论，在权利要求书中具体指出和明确要求保护视为本发明的主题，本发明的前面和其它特征和优点可以从结合附图所作的如下详细描述中明显看出，在附图中：

图1例示了按照本发明的示范性实施例的在可修复模式下的高可用性计算机处理器的图形；

图2例示了按照本发明的示范性实施例的在不可修复模式下的高可用性计算机处理器的图形；

图3例示了按照本发明的示范性实施例的支持不可修复模式的高可用性计算机处理器中处理指令的方法的流程图；

图4例示了按照本发明的示范性实施例的计算机可用存储介质；以及

图5例示了按照本发明的示范性实施例的计算机装置的图形。

具体实施方式

按照本发明的示范性实施例，提供了通过动态改变可用于处理器的差错修复系统增加可用于指令执行的资源、在高可用性处理器上处理指令的高可用性计算机处理器和方法。例如，按照至少一个示范性实施例，高可用性计算机处理器可以动态地从可完全修复模式切换到可以为其它操作释放通常用于差错/错误修复的资源(例如，寄存器、缓冲器等)的不可修复模式的一种形式。因此，当在不可修复模式下操作时，在仍然为如通过软件创建检验点而不是昂贵的硬件特有检验点实现的可接受水平的差错修复提供保证的同时，与其它计算机处理器(例如，只有可修复模式的处理器)相比，释放的资源可以使计算吞吐量增大。

例如，硬件机制可以通过软件来实现，以便处理器动态地将自身配置成在两种模式的某一种下执行。在处在操作的不可修复模式下的时候，软件可以提供一些粗粒度修复机制，并且可以使用基于软件的检验点方案修复差错，从而使差错修复得到相同度量，同时还拥有来自未使用硬件修复资源的释放资源。因此，应用(或代码段)可以指示处理器进入不可修复模式，并且只有当检测到差错时才得到通知。否则，处理器可以仍然到(或切换回到)它的可修复模式。