Exploiting intra-object dependencies in parallel simulation
This paper introduces the notion of weak causality that models the intra-object parallelism in parallel discrete event simulation. In this setting, a run where events are executed at each object according to their timestamp is a correct run. The weak causality relation allows to define the largest subset of all runs of a simulation that are equivalent to the timestamp-based run. Finally, we describe an application of weak causality to optimistic synchronization (Time Warp) by introducing a synchronization protocol that reduces the number of rollbacks and their extent. (C) 1999 Elsevier Science B.V. All rights reserved.
causality discrete event simulation optimistic synchronization time warp rollback-recovery parallel processing concurrency distributed systems