diff options
Diffstat (limited to 'replay/replay.c')
| -rw-r--r-- | replay/replay.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/replay/replay.c b/replay/replay.c index eae8daf18a..8228261401 100644 --- a/replay/replay.c +++ b/replay/replay.c @@ -211,7 +211,12 @@ bool replay_checkpoint(ReplayCheckpoint checkpoint) } else if (replay_mode == REPLAY_MODE_RECORD) { g_assert(replay_mutex_locked()); replay_put_event(EVENT_CHECKPOINT + checkpoint); - replay_save_events(checkpoint); + /* This checkpoint belongs to several threads. + Processing events from different threads is + non-deterministic */ + if (checkpoint != CHECKPOINT_CLOCK_WARP_START) { + replay_save_events(checkpoint); + } res = true; } out: |