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