Fix off-by-one error in trace-line logging with coalesced USR_SCHEDs.

wisicn · Oct 3, 2013 · cce1a02 · cce1a02
1 parent a5d707e
commit cce1a02
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/src/replayer/rep_sched.c b/src/replayer/rep_sched.c
@@ -97,6 +97,7 @@ struct task* rep_sched_get_thread()
  t->trace.rbc = rbc;
  }
  }
+ assert(get_global_time() == t->trace.global_time);
  return t;
 }
 

diff --git a/src/share/trace.c b/src/share/trace.c
@@ -1053,9 +1053,11 @@ void peek_next_trace(struct trace_frame *trace)
  fpos_t pos;
  fgetpos(trace_file, &pos);
  int saved_trace_file_lines_counter = trace_file_lines_counter;
+ uint32_t saved_global_time = global_time;
  read_next_trace(trace);
  /* check if read is successful */
  assert(!feof(trace_file));
+ global_time = saved_global_time;
  trace_file_lines_counter = saved_trace_file_lines_counter;
  fsetpos(trace_file, &pos);
 }