Semantics-based Time Warp Protocols

  • Authors:
  • Hong V Leong;Divyakant Agrawal

  • Affiliations:
  • -;-

  • Venue:
  • Semantics-based Time Warp Protocols
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

The time warp mechanism is one of the useful paradigms to carry out a distributed discrete event simulation, where the synchronization of events can be determined a priori when the program is being executed. The forward computation performed optimistically has to be rolled back when an out-of-order synchronization message is received. This excessive amount of rollback seriously jeopardizes the performance of a time warp mechanism. Semantics of the synchronization messages being sent in a time warp execution can be exploited to reduce the amount of rollback. In particular, the commutativity and dependency properties of messages can be used to avoid certain types of rollback. For example, two commutative messages can be processed in any order and the resultant computation remains valid. In this paper, the semantics on the messages are defined and the protocols for handling such kinds of messages in the time warp mechanism and several optimizations are presented.