[发明专利]对处理器未定义行为依赖的重放时间行程跟踪

权利要求书

1.一种计算机系统，包括：

一个或多个处理器；以及

一个或多个计算机可读介质，所述一个或多个计算机可读介质具有存储在其上的计算机可执行指令，所述计算机可执行指令由所述一个或多个处理器可执行，以将所述计算机系统配置为重放对处理器未定义行为依赖的跟踪，所述计算机可执行指令包括可执行以将所述计算机系统配置为至少执行以下操作的指令：

通过基于来自跟踪文件的所跟踪的程序执行的重放所执行的指令，标识对处理器未定义行为的依赖；以及

基于对所述处理器未定义行为的所述依赖，执行以下中的一项或多项：

发起对所述处理器未定义行为的所述依赖的通知；

跳转到所述跟踪文件中的关键帧，并且在所述关键帧处恢复重放；

使用两个或更多个潜在行为来分叉重放；或者

使用从所述两个或更多个潜在行为之中选择的所选择的行为来继续重放。

2.根据权利要求1所述的计算机系统，其中通过基于来自所述跟踪文件的所跟踪的程序执行的重放所执行的所述指令来标识对处理器未定义行为的依赖包括：

基于来自跟踪文件的所述所跟踪的程序执行的所述重放来标识先前指令的执行，所述先前指令引起未定义处理器状态；以及

基于跟踪所述未定义处理器状态，通过基于来自跟踪文件的所跟踪的程序执行的重放所执行的所述指令来标识对所述未定义处理器状态的依赖。

3.根据权利要求1所述的计算机系统，其中标识对处理器未定义行为的依赖包括：标识所述所跟踪的程序执行的所述重放不能继续进行。

4.根据权利要求1所述的计算机系统，其中标识对处理器未定义行为的依赖包括：标识在所述所跟踪的程序执行的重放期间发生的事件与在所述跟踪文件中所记录的事件之间的不匹配。

5.根据权利要求1所述的计算机系统，其中对处理器未定义行为的所述依赖包括：所述指令使用具有未定义值的标志作为输入。

6.根据权利要求1所述的计算机系统，其中当所述计算机系统发起对所述处理器未定义行为的所述依赖的所述通知时，所述计算机系统中止所述所跟踪的程序执行的所述重放。

7.根据权利要求1所述的计算机系统，其中当所述计算机系统使用所述所选择的行为来继续重放时，所述计算机系统基于以下中的至少一项来选择所述所选择的行为：

从所述两个或更多个潜在行为之中对所述所选择的行为的选择；

在对所述跟踪文件的所述程序执行的跟踪期间用于执行所述程序的处理器模型的标识；或者

基于统计分析的所述所选择的行为作为可能行为的标识。

8.根据权利要求7所述的计算机系统，其中当所述计算机系统基于在跟踪期间用于执行所述程序的所述处理器模型的标识来选择所述所选择的行为时，所述选择包括执行数据库查找，所述数据库查找将所述处理器模型与所述处理器模型的一个或多个已知行为相关联。

9.根据权利要求7所述的计算机系统，其中当所述计算机系统基于统计分析来选择所述所选择的行为时，所述统计分析包括：标识在先前代码重放期间所述所选择的行为导致有效的后续代码执行状态的频率，所述频率也依赖于由特定指令的执行所引起的处理器行为。

10.根据权利要求1所述的计算机系统，其中当所述计算机使用两个或更多个潜在行为分叉重放时，所述计算机系统还：

执行第一重放，所述第一重放向后续指令供应第一潜在输入值；以及

执行第二重放，所述第二重放向所述后续指令供应第二潜在输入值。

11.根据权利要求10所述的计算机系统，所述计算机可执行指令还包括可执行以将所述计算机系统配置为执行以下中的一项的指令：

标识所述第一重放和所述第二重放的执行状态收敛；或者

标识所述第一重放达到无效的执行状态同时所述第二重放达到有效的执行状态，并且因此在跟踪记录期间所述第二潜在输入值可能被利用。