loading...
Causality and Proactive Cancellation
Torremolinos (M?laga), Spain October 02-October 04
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DS-RT.2006.12Tenth IEEE International Symposium on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Malolan Chetlur, AT&T, USA
Philip A. Wilsey, Dept. of ECECS, USA
Optimistic Time Warp simulators should stop the rapid propagation of incorrect events to avoid reaching a catastrophic state (a state where out of order event execution is always a step ahead of its corrective measures). A distributed cancellation mechanism using Total Clocks was proposed earlier to avoid such catastrophic states. In this paper, we present a proactive cancellation mechanism using a vector of event counter range to address the scalability issues with the previously defined solution. As opposed to total clocks, this timestamp mechanism (a.k.a. Plausible Total Clocks) consists of constant size vectors and are independent of the number of simulation objects in the simulation. The events generated due to an out of order execution are pro-actively canceled by determining its causality relation with the already annihilated events. We present a proof of correctness of the distributed cancellation mechanism and also show that catastrophic states are avoided with this proactive cancellation mechanism. This cancellation mechanism assumes FIFO communication layer, static inter-connection topology, and Logical Processes consisting of several simulation objects.
Citation:
Malolan Chetlur, Philip A. Wilsey, "Causality and Proactive Cancellation," ds-rt, pp.193-200, Tenth IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.