[发明专利]将主题可重放执行跟踪与比较可重放执行跟踪进行区分

说明书

将主题可重放跟踪与比较可重放跟踪进行区分包括标识记录在主题跟踪中的第一指令序列内的第一多个函数，并且标识记录在比较跟踪中的第二指令序列中的第二多个函数。标识第一多个函数的第一多个组和第二多个函数的第二多个组。比较第一多个组和第二多个组，包括基于每个组的身份和与该组相对应的(多个)函数确定第一多个组中的每个第一组是否是以下至少一项：等于第二多个组中的第二组、是第二多个组中的第二组的替换、从第二多个组中被删除、或者插入第二多个组中。

背景技术

跟踪和校正不期望的软件行为是软件开发中的核心活动。不期望的软件行为可以包括很多事情，诸如执行崩溃、运行时异常、执行性能缓慢、数据结果不正确、数据损坏等。不期望的软件行为可能由各种各样的因素触发，诸如数据输入、用户输入、竞争条件(例如，当访问共享资源时)等。鉴于触发器的多样性，不期望的软件行为可能很少见并且看似随机，并且极难重现。因此，开发人员标识给定的不期望的软件行为可能非常耗时并且困难。一旦标识出不期望的软件行为，确定其(多个)根本原因可能很耗时并且困难。

开发人员通常使用多种方法来标识不期望的软件行为，然后标识应用的代码中导致不期望的软件行为的(多个)位置。例如，开发人员可能会针对不同输入来测试应用的代码的不同部分(例如，单元测试)。作为另一示例，开发人员可能会推断应用的代码在调试器中的执行(例如，在代码执行时、通过设置断点/观察点、通过单步执行代码行、等等)。作为另一示例，开发人员可能会在分析器中观察代码执行行为(例如，时序、覆盖率)。作为另一示例，开发人员可能会将诊断代码(例如，跟踪语句)插入应用的代码中。

虽然常规的诊断工具(例如，调试器、分析器等)已经用于“实时”前向执行代码，但新兴形式的诊断工具能够实现“历史”调试(也称为“时间旅行”或“反向”调试)，其中程序的(多个)线程的至少部分的执行被记录到一个或多个跟踪文件(即，执行跟踪)中。使用一些跟踪技术，执行跟踪可以包含“位准确”的历史执行跟踪数据，这使(多个)跟踪线程的(多个)记录部分能够被虚拟地“重放”(例如，经由仿真)到个体指令(例如，机器代码指令、中间语言代码指令等)的粒度。因此，使用“位精确”的跟踪数据，诊断工具可以使开发人员能够推断主题代码的记录的先前执行，而不是该代码的“实时”前向执行。例如，使用执行跟踪，历史调试器可能会提供如下用户体验，该用户体验启用前向和反向断点/观察点两者，使得代码能够向前和向后单步执行，等等。另一方面，历史分析器可能能够从先前执行的代码中导出代码执行行为(例如，时间、覆盖率)。

由于现代微处理器通常以数万到数十万MIPS(每秒数百万条指令)的速率执行，因此执行跟踪可以捕获大量信息，即使仅捕获线程执行的几分之一秒。因此，分析和呈现有关执行跟踪的信息可能会带来重大的技术障碍。

发明内容

本文中描述的至少一些实施例区分可重放执行跟踪。这可以包括将单个主题执行跟踪与单个比较执行跟踪(例如，1:1)进行区分，将单个主题执行跟踪与多个比较执行跟踪(例如，1:N)进行区分，和/或将多个主题执行跟踪与多个比较执行跟踪(例如，M:N)进行区分。本文中的实施例通过对相关可执行指令的序列进行分组，并且基于这些组的属性执行区分来操作以确定这些组是否等效地执行，即使这些组中的特定指令不同。因此，本文中的实施例可以区分跟踪的指令集，即使那些指令从具有不同二进制文件的应用执行(例如，由于代码改变、编译器改变、编译器设置改变、处理器指令集架构(ISA)改变等)。此外，本文中的实施例可以以不同的细节等级来区分跟踪指令的不同部分，从而使得处理资源能够专用于那些特别感兴趣的区域。