The Community for Technology Leaders
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (2001)
Lake Arrowhead, California
May 15, 2001 to May 18, 2001
ISSN: 1087-4097
ISBN: 0-7695-1104-X
pp: 137
David M. Nicol , Dartmouth College
Malcolm Yoke Hean Low , University of Oxford
ABSTRACT
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.
INDEX TERMS
CITATION
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
105 ms
(Ver 3.3 (11022016))