With the ever-increasing complexity of simulation models, parallel simulation becomes necessary to perform simulation within reasonable time bounds. The built-in parallelism of Parallel DEVS is often insufficient to tackle this problem on its own. Several synchronization protocols have been proposed, each with their distinct advantages and disadvantages. Due to the significantly different implementation of these protocols, most Parallel DEVS simulation tools are limited to only one such protocol. In this paper, we present a Parallel DEVS simulator, grafted on C++11 and based on PythonPDEVS, supporting both conservative and optimistic synchronization protocols. The simulator not only supports both protocols but also has the capability to switch between them at runtime. The simulator can combine each synchronization protocols with either a threaded or sequential implementation of the PDEVS protocol. We evaluate the performance gain obtained by choosing the most appropriate synchronization protocol. A comparison is made to adevs in terms of CPU time and memory usage, to show that our modularity does not hinder performance. We compare the speedup obtained by synchronization with that of the inherent parallelism of PDEVS in isolation and combination, and contrast the results with the theoretical limits. We further allow for an external component to gather simulation statistics, on which runtime switching between the different synchronization protocols can be based. The effects of allocation on our synchronization protocols are also studied.
ZeiglerBPraehoferHKimTG. Theory of Modeling and Simulation. 2nd ed. New York: Academic Press, 2000.
2.
VangheluweH. DEVS as a common denominator for multi-formalism hybrid systems modelling. In IEEE International Symposium on Computer-Aided Control System Design, pp. 129–134.
3.
ChowACHZeiglerB. Parallel DEVS: a parallel, hierarchical, modular, modeling formalism. In Proceedings of the 1994 Winter Simulation Multiconference, pp. 716–722.
4.
HimmelspachJUhrmacherA. Sequential processing of PDEVS models. In Proceedings of the 3rd European Modeling & Simulation Symposium, pp. 239–244.
5.
FujimotoR. Parallel and Distributed Simulation Systems. 1st ed.New York: John Wiley & Sons, Inc., 1999.
6.
KimKHSeongYRKimTGet al. Distributed simulation of hierarchical DEVS models: Hierarchical scheduling locally and time warp globally. Trans SCS1996; 13(3): 135–154.
7.
JaferSWainerG. Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: A comparative study. In Proceedings of the 2010 Summer Simulation Multiconference, pp. 342–349.
8.
CardoenBManhaeveSTuijnTet al. Performance analysis of a PDEVS simulator supporting multiple synchronization protocols. In Proceedings of the 2016 Symposium on Theory of Modeling and Simulation - DEVS, pp. 614–621.
9.
Van TendelooYVangheluweH. The modular architecture of the Python(P)DEVS simulation kernel. In Proceedings of the 2014 Symposium on Theory of Modeling and Simulation - DEVS, pp. 387–392.
L’EcuyerP. Random numbers for simulation. Commun ACM1990; 33(10): 85–97.
24.
BaukeHMertensS. Random numbers for large-scale distributed Monte Carlo simulations. Phys Rev E2007; 75(6): 066701.
25.
WainerGGlinskyEGutierrez-AlcarazM. tudying performance of devs modeling and simulation environments using the devstone benchmark. Simulation2011; 87(7): 555–580.
26.
Van TendelooYVangheluweH. An evaluation of DEVS simulation tools. Simulation2016; 93(2): 103–121.
27.
ZeiglerBNutaroJSeoC. What’s the best possible speedup achievable in distributed simulation: Amdahl’s law reconstructed. In Proceedings of the 2015 Symposium on Theory of Modeling and Simulation - DEVS, pp. 189–196.
28.
GlinskyEWainerG. DEVStone: a benchmarking technique for studying performance of DEVS modeling simulation environments. In Proceedings of the 9th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, pp. 265–272.
29.
FujimotoR. Performance of Time Warp under synthetic workloads. In Proceedings of the SCS Multiconference on Distributed Simulation, pp. 23–28.
30.
MuzyANutaroJ. Algorithms for efficient implementations of the DEVS & DSDEVS abstract simulators. In 1st Open International Conference on Modeling and Simulation (OICMS), pp. 273–279.
31.
Van TendelooYVangheluweH. PythonPDEVS: a distributed Parallel DEVS simulator. In Proceedings of the 2015 Symposium on Theory of Modeling and Simulation - DEVS, pp. 844–851.
32.
JelasityM. Gossip. Berlin: Springer, 2011, pp. 139–162.
33.
QuesnelGDubozRRamatEet al. VLE: a multimodeling and simulation environment. In Proceedings of the 2007 Summer Simulation Multiconference, pp. 367–374.
34.
BergeroFKofmanE. PowerDEVS: a tool for hybrid system modeling and real-time simulation. Simulation2011; 87(1–2): 113–132.
35.
WainerG. CD++: a toolkit to develop DEVS models. Software Practice Experience2002; 32(13): 1261–1306.
36.
JaferSWainerG. Flattened conservative parallel simulator for DEVS and Cell-DEVS. In Proceedings of International Conferences on Computational Science and Engineering, pp. 443–448.
37.
TroccoliAWainerG. Implementing Parallel Cell-DEVS. In Proceedings of the 36th Annual Symposium on Simulation, pp. 273–280.
38.
VicinoDNiyonkuruDWainerGet al. Sequential PDEVS architecture. In Proceedings of the 2015 Symposium on Theory of Modeling and Simulation - DEVS, pp. 165–172.
39.
CapocchiLSantucciJFZeiglerB. PDEVS protocol performance prediction using activity patterns with Finite Probabilistic DEVS. In Proceedings of the 2016 Symposium on Theory of Modeling and Simulation - DEVS, pp. 605–613.
40.
JhaVBagrodiaR. A unified framework for conservative and optimistic distributed simulation. In Proceedings of the 8th workshop on Parallel and distributed simulation, pp. 12–19.
41.
DasS. Adaptive protocols for parallel discrete event simulation. In Proceedings of the 1996 Winter Simulation Conference, pp. 186–193.
42.
PerumallaK. μsik-a micro-kernel for parallel/distributed simulation systems. In Workshop on Principles of Advanced and Distributed Simulation, pp. 59–68.
43.
BahulkarKWangJAbu-GhazalehNet al. Partitioning on dynamic behavior for parallel discrete event simulation. In Proceedings of the ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, pp. 221–230.
44.
NicolD. Scalability, locality, partitioning and synchronization PDES. In Proceedings of the 12th Workshop on Parallel and Distributed Simulation, pp. 5–11.
45.
HimmelspachJEwaldRLeyeSet al. Parallel and distributed simulation of Parallel DEVS models. In Proceedings of the 2007 Spring Simulation Multiconference - Volume 2, pp. 249–256.
46.
EwaldRHimmelspachJUhrmacherA. A non-fragmenting partitioning algorithm for hierarchical models. In Proceedings of the 2006 Winter Simulation Conference, pp. 848–855.
47.
FujimotoRHybinetteM. Computing Global Virtual Time in shared-memory multiprocessors. ACM Transactions on Modeling and Computer Simulation1997; 7(4): 425–446.
48.
BauerDYaunGCarothersCet al. Seven-O’Clock: A new distributed GVT algorithm using network atomic operations. In Proceedings of the Workshop on Principles of Advanced and Distributed Simulation, pp. 39–48.
