ACM Transactions on Programming Languages and Systems (TOPLAS)
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
Topics in distributed algorithms
Topics in distributed algorithms
A spectrum of options for parallel simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
Detection of Unstable Predicates in Distributed Programs
Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science
Global Virtual Time and distributed synchronization
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
A fast asynchronous GVT algorithm for shared memory multiprocessor architectures
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Non-interfering GVT computation via asynchronous global reductions
WSC '93 Proceedings of the 25th conference on Winter simulation
Computing global virtual time in shared-memory multiprocessors
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Optimistic distributed simulation based on transitive dependency tracking
Proceedings of the eleventh workshop on Parallel and distributed simulation
Experiences in verifying parallel simulation algorithms
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Optimism: not just for event execution anymore
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Redesigning the WARPED Simulation Kernel for Analysis and Application Development
ANSS '03 Proceedings of the 36th annual symposium on Simulation
Seven-O'Clock: A New Distributed GVT Algorithm Using Network Atomic Operations
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
A visual environment for distributed simulation systems
ACM SIGSIM Simulation Digest
DSIM: scaling time warp to 1,033 processors
WSC '05 Proceedings of the 37th conference on Winter simulation
Causality information and fossil collection in timewarp simulations
Proceedings of the 38th conference on Winter simulation
| Hi-index | 0.00 |
Global virtual time (GVT) is used in distributed simulations to reclaim memory, commit output, detect termination, and handle errors. It is a global function that is computed many times during the course of a simulation. A small GVT latency (delay between its occurrence and detection) allows for more efficient use of resources. We present an algorithm which minimizes the latency, and we prove its correctness. The algorithm is unique in that a target virtual time (TVT) is predetermined by an initiator who then detects when GVT ≥ TVT. This approach eliminates the avalanche effect because the collection phase is spread out over time, and it allows for regular and timely GVT updates. The algorithm does not require messages to be acknowledged, which significantly reduces the message overhead of the simulation. One possible application is with interactive simulators, where regular and timely updates would produce output that is up to date and appears smooth.