将主题可重放执行跟踪与多个比较可重放执行跟踪进行区分

摘要

将主题可重放跟踪与多个比较可重放跟踪进行区分包括：标识比较可重放跟踪之间的映射集，各自标识记录在比较可重放跟踪中的等效执行的连续指令的对应比较部分。在比较可重放跟踪内标识出多个不同比较部分。将对象跟踪内的多个对象部分中的每个对象部分与(多个)不同比较部分进行比较以确定每个对象部分的比较状态，包括每个对象部分是否(i)等于至少一个对应不同比较部分，或者(ii)不同于不同比较部分。至少一个特定主题部分相对于至少一个特定对应不同比较部分的所确定的比较状态被应用于每个附加比较部分，映射集中至少一个特定不同比较部分被映射到每个附加比较部分。