[发明专利]用于记录可重放跟踪的计算机系统、方法、硬件存储设备

摘要

记录多线程进程的执行的可重放跟踪包括标识跟踪存储器模型，其限定将要跨多线程进程的多个线程被排序的一个或多个可排序事件。跨一个或多个处理器的一个或多个处理单元同时执行多个线程。在多个线程的执行期间，针对每个线程独立地记录单独的可重放跟踪。记录包括针对每个线程：记录针对线程的初始状态；记录由至少一个处理器指令执行的至少一个存储器读取，由线程执行的至少一个处理器指令将存储器作为输入；以及利用单调增加的数字记录由线程执行的至少一个可排序事件，单调增加的数字将事件在跨多个线程的其他可排序事件间进行排序。

主权项

1.一种计算机系统，包括：一个或多个处理器；以及一个或多个计算机可读介质，所述一个或多个计算机可读介质具有存储于其上的计算机可执行指令，所述计算机可执行指令能够由所述一个或多个处理器执行以使得所述计算机系统记录多线程进程的执行的可重放跟踪，所述计算机可执行指令包括能够执行以使得所述计算机系统至少执行以下操作的指令：标识跟踪存储器模型，所述跟踪存储器模型限定将要跨所述多线程进程的多个线程被排序的一个或多个可排序事件；跨所述一个或多个处理器的一个或多个处理单元同时执行所述多个线程；以及在所述多个线程的执行期间，独立地记录针对每个线程的单独的可重放跟踪，包括针对每个线程：记录针对所述线程的初始状态；记录由至少一个处理器指令执行的至少一个存储器读取，由所述线程执行的所述至少一个处理器指令将存储器作为输入；以及利用单调增加的数字来记录由所述线程执行的至少一个可排序事件，所述单调增加的数字将所述事件在跨所述多个线程的其他可排序事件间进行排序。