Efficient distributed event-driven simulations of multiple-loop networks
Communications of the ACM
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Distributed supply chain simulation in a DEVS/CORBA execution environment
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Theory of Modeling and Simulation
Theory of Modeling and Simulation
N-dimensional Cell-DEVS Models
Discrete Event Dynamic Systems
CD++: a toolkit to develop DEVS models
Software—Practice & Experience
An Object-Oriented Time Warp Simulation Kernel
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
DEVS-C++: A High Performance Modelling and Simulation Environment
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 1: Software Technology and Architecture
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
IEEE Transactions on Software Engineering
Parallel and distributed simulation of parallel DEVS models
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Global Lookahead Management (GLM) Protocol for Conservative DEVS Simulation
DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications
Hi-index | 0.00 |
We present three conservative synchronization mechanisms for parallel DEVS and Cell-DEVS. The protocols are based on the classical Chandy-Misra-Bryant null message mechanism with deadlock avoidance. Our protocols provide a novel DEVS-based conservative approach that is deadlock-free, and extracts the lookahead information from the model's specification. The protocols are integrated into the CD++ simulation toolkit, providing a conservative simulator (named CCD++) for running large-scale DEVS and Cell-DEVS models in parallel and distributed fashion. We provide a comparative study of these protocols by investigating different performance metrics including: total execution time, blocked time, memory consumption, total number of positive and null event, as well as null message ratio, showing how CCD++ provides considerable speedups, and its ability for simulating large DEVS-based models.