Skip to main content
Presentation
Conservative DEVS: A Novel Protocol for Parallel Conservative Simulation of DEVS and Cell-DEVS Models
Proceedings of the Spring Simulation Multiconference, SpringSim (2010)
  • Shafagh Jafer, Carleton University
  • Gabriel Wainer, Carleton University
Abstract
"We present a novel conservative algorithm based on the classical Chandy-Misra-Bryant (CMB) synchronization mechanism by extending DEVS abstract simulator to provide means for look-ahead computation and null-message distribution. We integrate this mechanism into the CD++ simulation toolkit, providing a purely conservative simulator for running large-scale DEVS and Cell-DEVS models. Our algorithm is implemented on a revised DEVS abstract simulator to reduce the frequency of look-ahead computation. It also replaces time information estimations with a single lookahead computation, causing reduction in the number of null-messages. The dynamic lookahead values of the proposed algorithm are extracted from the model specification and the user is not required to provide lookahead values prior to the execution. In addition, the low-cost lookahead computation feature of the algorithm provides a fast and efficient method and reduces overhead."--From the paper.
Keywords
  • Cell-DEVS,
  • DEVS,
  • dynamic look-ahead,
  • DEVS models
Publication Date
April, 2010
Location
Orlando, FL
DOI
10.1145/1878537.187683
Citation Information
Shafagh Jafer and Gabriel Wainer. "Conservative DEVS: A Novel Protocol for Parallel Conservative Simulation of DEVS and Cell-DEVS Models" Proceedings of the Spring Simulation Multiconference, SpringSim (2010)
Available at: http://works.bepress.com/shafagh_jafer/26/