Efficent and highly portable deterministic multithreading (DetLock)
In this paper, we present DetLock, a runtime system to ensure deterministic execution of multithreaded programs running on multicore systems. DetLock does not rely on any hardware support or kernel modification to ensure determinism. For tracking the progress of the threads, logical clocks are used. Unlike previous approaches, which rely on non-portable hardware to update the logical clocks, DetLock employs a compiler pass to insert code for updating these clocks, thus increasing portability. For 4 cores, the average overhead of these clocks on tested benchmarks is brought down from 16 to 2% by applying several optimizations. Moreover, the average overall overhead, including deterministic execution, is 14%.
determinism multithreading multicore 68n01 68w10 68n20