When Piecewise Determinism Is Almost TrueEdith

Most existing log-based recovery techniques assume perfect piecewise determinism. In practice, however, the behavior of certain events is determined by the execution environment, and is not replayble. In this paper , we introduce a probabilistic piecewise determinis-tic model, and develop a probability tracking mechanism to achieve high-conndence output commits. The paper also addresses the issue of scalability by proposing an eecient on-line algorithm that accurately estimates the probability of determinism by piggybacking only constant-size vectors.