First page Back Continue Last page Overview Text
Notes:
Timestamp correction is needed to handle out of order application message delivery.
In simulation, the first correction will be triggered if a message with an earlier timestamp arrives later in time. The correction scheme is needed to reorder the events in the timeline in the non-decreasing order of their receive times. When timestamp correction happens to a wrong event, it sends out a correction simulation message informing other LPs of this change, for every application message that it sent during its execution, similar to cancellation messages cascading the effect.
As the simulator runs, a chain of logs preserving the event dependencies is created on the fly. Every event E has a list of forward and backward dependents. The backward dependents of E will be those events which must complete before E can start. The forward dependents of E will be the list of those events that have E as one of their backward dependents.