2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (2001)
Lake Arrowhead, California
May 15, 2001 to May 18, 2001
David M. Nicol , Dartmouth College
Malcolm Yoke Hean Low , University of Oxford
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.
David M. Nicol, Malcolm Yoke Hean Low, "Consistent Modeling of Distributed Mutual Exclusion Protocol using Optimistic Simulation", 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, vol. 00, no. , pp. 137, 2001, doi:10.1109/PADS.2001.924630