[发明专利]通过最小化差错恢复逻辑来改善软件系统

权利要求书

1.一种在计算环境中处理错误的方法，所述方法包括：

标识包括多个显式地标识出的失败状况的集合；

确定已发生了所述显式地标识出的失败状况中的一个或多个；以及

作为结果，停止预定的第一计算执行范围，并向另一计算范围通知该失败状况。

2.如权利要求1所述的方法，其特征在于，所述包括多个显式地标识出的失败状况的集合包括指示计算模块的静态不变式要求已被违反的失败状况。

3.如权利要求1所述的方法，其特征在于，进一步包括向编程器用户标识所述包括多个显式地标识出的失败状况的集合，以向所述编程器用户指示能导致所述第一计算执行范围的失败的失败状况。

4.如权利要求1所述的方法，其特征在于，进一步包括向编译器标识所述包括多个显式地标识出的失败状况的集合，以向所述编译器指示能导致所述第一计算执行范围的失败的失败状况。

5.如权利要求4所述的方法，其特征在于，进一步包括所述编译器以经优化的方式基于所述标识出的包括多个显式地标识出的失败状况的集合来编译所述预定的第一计算执行范围。

6.如权利要求5所述的方法，其特征在于，以经优化的方式基于所述标识出的包括多个显式地标识出的失败状况的集合来编译所述预定的第一计算执行范围包括通过将不被频繁使用的代码移到线外来组织所述预定的第一执行范围的代码布局以改善高速缓存效率。

7.如权利要求5所述的方法，其特征在于，以经优化的方式基于所述标识出的包括多个显式地标识出的失败状况的集合来编译所述预定的第一计算执行范围包括基于所述编译器对导致停止所述预定的第一计算执行范围的状况的知识来消除冗余的控制流。