Comparative analyses of parallel simulation protocols
WSC '89 Proceedings of the 21st conference on Winter simulation
GTW: a time warp system for shared memory multiprocessors
WSC '94 Proceedings of the 26th conference on Winter simulation
The dark side of risk (what your mother never told you about Time Warp)
Proceedings of the eleventh workshop on Parallel and distributed simulation
Fault-tolerant distributed simulation
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Wolf: a rollback algorithm for optimistic distributed simulation systems
WSC '88 Proceedings of the 20th conference on Winter simulation
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM
Proceedings of the 12th European Simulation Multiconference on Simulation - Past, Present and Future
Hi-index | 0.00 |
This paper discusses the problem of risk in optimistic simulation protocols, using as example simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augmented to detect model inconsistency errors resulting from risky optimistic simulation. While the model runs sequentially without consistency errors, errors occur when the model is executed in parallel optimistically. Some of the errors entirely violate the fundamental mutual exclusion properties of the model itself. To address this problem we extend the optimistic simulation library to eliminate these inconsistencies. We discuss the details of these extensions and the performance trade-off for adding them.