Consistent modeling of distributed mutual exclusion protocol using optimistic simulation

M. Y.H. Low, D. M. Nicol

Research output: Contribution to conferencePaperpeer-review


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.

Original languageEnglish (US)
Number of pages8
StatePublished - 2001
Externally publishedYes
Event15th Workshop on Parallel and Distributed Simulation (PADS 2001) - Lake Arrowhead, CA, United States
Duration: May 15 2001May 18 2001


Other15th Workshop on Parallel and Distributed Simulation (PADS 2001)
Country/TerritoryUnited States
CityLake Arrowhead, CA

ASJC Scopus subject areas

  • Engineering(all)

Cite this