Patent ID: 6854108
Filing Date: 2005-02-08
Classification: G06F

Abstract:
1. A method of determinstically replaying an observable run-time behavior of distributed multi-threaded programs rug on multiprocessors in a shared-memory multiprocessor environment, wherein a run-time behavior of said programs includes sequences of events on each processor, each sequence being associated with one of a plurality of execution threads, said method comprising: identifying an execution order of critical events on each processor of said program, wherein said program comprises critical events and non-critical events; generating groups of critical events on each processor of said program; for each given execution thread, generating a logical thread schedule that identifies a sequence of said groups of critical events on each processor associated with said given execution thread in said shared-memory multiprocessor environment; storing said logical thread schedule of each processor for subsequent reuse; and determining accesses of shared variables affecting deterministic replay, including a first upward-exposed read of each non-thread-local variable within a synchronization region, non-thread-local variables written in said synchronization region, and synchronization events.