Message Scheduling
During simulation, there are usually several messages to be evaluated in
a PE, and therefore some scheduling strategy is needed. In our strategy,
the message with the smallest time-stamp is evaluated first. This strategy is
considered to be adequate for TW because the bigger time-stamp a message
has, the more likely the message is to be rolled back.
Antimessage Reduction
As long as messages are sent through the KL1 stream, the messages arrive
at the receiver in the same order as they were transmitted. In this environ-
ment, subsequent antimessages can be reduced. We adopted this optimization
technique, expecting that it would reduce the rollback cost.