Causality and Proactive Cancellation
Causality and Proactive Cancellation
复制标题
因果关系和主动取消
DOI：
10.1109/ds-rt.2006.12
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
P. Wilsey
中科院分区：
文献类型：
--
作者：
Malolan Chetlur;P. Wilsey
乐观的时间扭曲模拟器应该停止错误事件的快速传播，以避免达到灾难性状态（无序事件执行始终比其纠正措施领先一步的状态）。早些时候提出了使用总时钟的分布式取消机制来避免这种灾难性状态。在本文中，我们提出了一种使用事件计数器范围向量的主动取消机制，以解决先前定义的解决方案的可扩展性问题。与总时钟相反，这种时间戳机制（又名似是而非的总时钟）由恒定大小的向量组成，并且与模拟中的模拟对象的数量无关。通过确定其与已消除事件的因果关系，主动取消因无序执行而产生的事件。我们提出了分布式取消机制的正确性证明，并表明这种主动取消机制可以避免灾难性状态。该取消机制假设 FIFO 通信层、静态互连拓扑以及由多个模拟对象组成的逻辑过程
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