基于自适应释放策略的低开销确定性重放方法

Efficient deterministic replay technique based on adaptive release strategy

针对基于页保护机制的确定性重放方法虽然能够有效降低记录开销,但由于页保护异常仍会引入性能开销的问题,本文深入研究了共享页面访问权限释放同步点对并行程序记录性能的影响,提出了一种基于自适应释放策略的确定性重放方法。采用PARSEC测试集进行性能评估,实验结果表明,该方法能够更进一步降低记录开销。

Inherent non-determinism in parallel program brings huge difficuIty and challenge to programmers to test and debug.The major source of non-determinism is the undetermined order of shared memory accesses.Deterministic replay provides the possibility of reproducing parallel program execution,and deterministic replay method based on page protection mechanism can reduce the recording overhead effectively.However,the exception of page protection is the main performance cost.This paper deeply analyzes runtime overhead incurred by release synchronization points in record-runs,and proposes a deterministic replay method based on adaptive release strategy. Performance evaluation shows that the record slowdown is much smaller than prior user-level replay system.