Name
tau_timecorrect — Corrects and reorders the records of tau trace files.
Synopsis
tau_timecorrect {
trace input file
} {
EDF input file
} {
trace output file
} {
EDF input file
}
Description
This program takes in tau trace files, reorders and corrects the times of these records and then outputs the records to new trace files. The time correction algorithm uses a logical clock algorithm with amortization. This is done by adjusting the times of events such that the product of an effect happens after the cause of that effect.