利用差异图进行跟踪索引和重放。重放以第一指令开始且以第二指令结束的跟踪的指令的子集以获得一个或多个命名资源的状态。基于重放指令的子集，生成差异图，该差异图被结构化为使得在第一指令处的差异图的添加将一个或多个命名资源带到第二状态，并且在第二指令处的差异图的减去将一个或多个命名资源带到第一状态。到达目标指令的一部分，稍后在第一指令处添加差异图以在第二指令处恢复第二状态，或者在第二指令处减去差异图以恢复第一指令的第一状态。