An efficient approach to collaborative simulation of variable structure systems on multi-core machines

Complex variable-structure systems (CVSSs) are a common type of complex systems that exhibit changes both at structural and behavior levels. Simulations of CVSSs challenge current collaborative execution methods with increasingly big and complex models. The emergence of multi-core paradigm presents an exciting opportunity to address such challenge, so an advanced parallel simulator under multi-core environments is proposed. The simulator: (1) provides thread simulation kernels and five kinds of management services to support dynamic model structure flexibly; (2) can explore both inherent and dynamic parallelism among models based on interaction relations, and employ the multi-thread paradigm to gain good speedup; (3) adopts an efficient dynamic load-balancing method, which can migrate models among cores with very low cost and support dynamic core allocation on demand, to address evident load-imbalance problems brought by variable-structure. The experiments show that structure changes can be supported while up to 23 % performance increase can be gained.

[1]  Yao Yiping,et al.  A hierarchical parallel discrete event simulation kernel for multicore platform , 2013, Cluster Computing.

[2]  Yi Sun,et al.  Performance Measurement of Dynamic Structure DEVS for Large-Scale Cellular Space Models , 2009 .

[3]  Peng Yong.  Parallel Framework for HLA Federate Oriented to Simulation Component on Multicore Platform , 2012 .

[4]  Stephen John Turner,et al.  Symbiotic Simulation Systems: An Extended Definition Motivated by Symbiosis in Biology , 2008, 2008 22nd Workshop on Principles of Advanced and Distributed Simulation.

[5]  Mitsuo Yokokawa,et al.  The Earth Simulator system , 2003 .

[6]  Gerald Estrin,et al.  Organization of computer systems: the fixed plus variable structure computer , 1960, IRE-AIEE-ACM '60 (Western).

[7]  Gerald Estrin,et al.  Organization of Computer Systems-the Fixed Plus Variable Structure Computer , 1899 .

[8]  Saurabh Mittal,et al.  Emergence in stigmergic and complex adaptive systems: A formal discrete event systems perspective , 2013, Cognitive Systems Research.

[9]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.

[10]  Azzedine Boukerche,et al.  Dynamic balancing of communication and computation load for HLA-based simulations on large-scale distributed systems , 2011, J. Parallel Distributed Comput..

[11]  Gabriel A. Wainer,et al.  Synchronization methods in parallel and distributed discrete-event simulation , 2013, Simul. Model. Pract. Theory.

[12]  Shaoliang Peng,et al.  A Well-Balanced Time Warp System on Multi-Core Environments , 2011, 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation.

[13]  Lei Ren,et al.  An Efficient Dynamic Load Balancing Method for Simulation of Variable Structure Systems , 2013, 2013 8th EUROSIM Congress on Modelling and Simulation.

[14]  Chen Yang,et al.  Ivy: a parallel simulator for variable structure systems under multi-core environments , 2013 .

[15]  Nael B. Abu-Ghazaleh,et al.  Parallel Discrete Event Simulation for Multi-Core Systems: Analysis and Optimization , 2014, IEEE Transactions on Parallel and Distributed Systems.

[16]  Philip A. Wilsey,et al.  Unsynchronized parallel discrete event simulation , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[17]  Ryan J. Miller,et al.  Optimistic Parallel Discrete Event Simulation on a Beowulf Cluster of Multi-core Machines , 2010 .

[18]  Marie-Pierre Gleizes,et al.  Self-organization in multi-agent systems , 2005, The Knowledge Engineering Review.

[19]  Pavol Bauer,et al.  Efficient Inter-Process Synchronization for Parallel Discrete Event Simulation on Multicores , 2015, SIGSIM-PADS.

[20]  Norbert Giambiasi,et al.  A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow , 2010, Simul..

[21]  Peter Martini,et al.  A Flexible Dynamic Partitioning Algorithm for Optimistic Distributed Simulation , 2007, 21st International Workshop on Principles of Advanced and Distributed Simulation (PADS'07).

[22]  Roberto Vitali,et al.  Load sharing for optimistic parallel simulations on multi core machines , 2012, PERV.

[23]  Carl Tropper,et al.  On Process Migration and Load Balancing in Time Warp , 1993, IEEE Trans. Parallel Distributed Syst..

[24]  Rupak Biswas,et al.  Petascale Computing: Impact on Future NASA Missions , 2007 .

[25]  Hassan Rajaei,et al.  The local Time Warp approach to parallel simulation , 1993, PADS '93.

[26]  Daniel Mossé,et al.  Generic framework for design, modeling and simulation of cyber physical systems , 2008, SIGBED.

[27]  Rhyd Lewis,et al.  A general-purpose hill-climbing method for order independent minimum grouping problems: A case study in graph colouring and bin packing , 2009, Comput. Oper. Res..

[28]  Bernard P. Zeigler,et al.  Specification of dynamic structure discrete event systems using single point encapsulated control functions , 2014, Int. J. Model. Simul. Sci. Comput..

[29]  Adelinde M. Uhrmacher,et al.  Introducing Variable Ports and Multi-Couplings for Cell Biological Modeling in DEVS , 2006, Proceedings of the 2006 Winter Simulation Conference.

[30]  Gérard P. Cachon,et al.  Perspective: Complexity Theory and Organization Science , 1999, Organization Science.

[31]  Xiao Chen,et al.  Performance-based control interfaces using mixture of factor analyzers , 2011, The Visual Computer.

[32]  Xiaolin Hu,et al.  Variable Structure in DEVS Component-Based Modeling and Simulation , 2005, Simul..

[33]  Stephen John Turner,et al.  Load balancing for conservative simulation on shared memory multiprocessor systems , 2000, Proceedings Fourteenth Workshop on Parallel and Distributed Simulation.

[34]  Gabriele D'Angelo,et al.  Distributed simulation of large-scale and detailed models , 2009, Int. J. Simul. Process. Model..

[35]  Fernando J. Barros,et al.  Modeling formalisms for dynamic structure systems , 1997, TOMC.

[36]  Bernard P. Zeigler,et al.  Systems Theory Challenges in the Simulation of Variable Structure and Intelligent Systems , 1989, International Conference/Workshop on Computer Aided Systems Theory.

[37]  C.-L. Liu,et al.  Dynamic load balancing in parallel simulation using time warp mechanism , 1994, Proceedings of 1994 International Conference on Parallel and Distributed Systems.

[38]  Robert G. Sargent,et al.  Model structure and load balancing in optimistic parallel discrete event simulation , 2000, Proceedings Fourteenth Workshop on Parallel and Distributed Simulation.

[39]  Michael L. Hines,et al.  NTW-MT: a Multi-threaded Simulator for Reaction Diffusion Simulations in NEURON , 2015, SIGSIM-PADS.

[40]  François E. Cellier,et al.  A novel parallelization technique for DEVS simulation of continuous and hybrid systems , 2013, Simul..

[41]  Adelinde M. Uhrmacher,et al.  Processing dynamic PDEVS models , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[42]  Christophe Bobda,et al.  Introduction to reconfigurable computing - architectures, algorithms, and applications , 2010 .

[43]  Adelinde M. Uhrmacher,et al.  Variable structure models: autonomy and control answers from two different modeling approaches , 1993, 1993 4th Annual Conference on AI, Simulation and Planning in High Autonomy Systems.

[44]  R.M. Fujimoto,et al.  Parallel and distributed simulation systems , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[45]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[46]  Frederica Darema,et al.  Dynamic Data Driven Applications Systems: A New Paradigm for Application Simulations and Measurements , 2004, International Conference on Computational Science.

[47]  Christopher D. Carothers,et al.  Efficient Execution of Time Warp Programs on Heterogeneous, NOW Platforms , 2000, IEEE Trans. Parallel Distributed Syst..

[48]  Fernando J. Barros,et al.  On the representation of dynamic topologies: the case for centralized and modular approaches , 2014, SpringSim.

[49]  Jian Lü,et al.  Technical framework for Internetware: An architecture centric approach , 2008, Science in China Series F: Information Sciences.

[50]  Mathias John,et al.  Combining micro and macro-modeling in DEVS for computational biology , 2007, 2007 Winter Simulation Conference.

[51]  Adelinde M. Uhrmacher,et al.  Dynamic structures in modeling and simulation: a reflective approach , 2001, TOMC.

[52]  John H. Holland,et al.  Studying Complex Adaptive Systems , 2006, J. Syst. Sci. Complex..