Traditionally, Logical Processes (LPs) forming a simulation model store their execution information into disjoint simulations states, forcing events exchange to communicate data between each other. In this work we propose the design and implementation of an extension to the traditional Time Warp (optimistic) synchronization protocol for parallel/distributed simulation, targeted at shared-memory/multicore machines, allowing LPs to share parts of their simulation states by using global variables. In order to preserve optimism’s intrinsic properties, global variables are transparently mapped to multi-version ones, so to avoid any form of safety predicate verification upon updates. Execution’s consistency is ensured via the introduction of a new rollback scheme which is triggered upon the detection of an incorrect global variable’s read. At the same time, efficiency in the execution is guaranteed by the exploitation of non-blocking algorithms in order to manage the multi-version variables’ lists. Furthermore, our proposal is integrated with the simulation model’s code through software instrumentation, in order to allow the application-level programmer to avoid using any specific API to mark or to inform the simulation kernel of updates to global variables. Thus we support full transparency. An assessment of our proposal, comparing it with a traditional message-passing implementation of variables’ multi-version is provided as well.
Pellegrini, A., Vitali, R., Peluso, S., Quaglia, F. (2012). Transparent and Efficient Shared-State Management for Optimistic Simulations on Multi-core Machines. ??????? it.cilea.surplus.oa.citation.tipologie.CitationProceedings.prensentedAt ??????? 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems [10.1109/mascots.2012.25].
Transparent and Efficient Shared-State Management for Optimistic Simulations on Multi-core Machines
Alessandro Pellegrini;Francesco Quaglia
2012-08-01
Abstract
Traditionally, Logical Processes (LPs) forming a simulation model store their execution information into disjoint simulations states, forcing events exchange to communicate data between each other. In this work we propose the design and implementation of an extension to the traditional Time Warp (optimistic) synchronization protocol for parallel/distributed simulation, targeted at shared-memory/multicore machines, allowing LPs to share parts of their simulation states by using global variables. In order to preserve optimism’s intrinsic properties, global variables are transparently mapped to multi-version ones, so to avoid any form of safety predicate verification upon updates. Execution’s consistency is ensured via the introduction of a new rollback scheme which is triggered upon the detection of an incorrect global variable’s read. At the same time, efficiency in the execution is guaranteed by the exploitation of non-blocking algorithms in order to manage the multi-version variables’ lists. Furthermore, our proposal is integrated with the simulation model’s code through software instrumentation, in order to allow the application-level programmer to avoid using any specific API to mark or to inform the simulation kernel of updates to global variables. Thus we support full transparency. An assessment of our proposal, comparing it with a traditional message-passing implementation of variables’ multi-version is provided as well.File | Dimensione | Formato | |
---|---|---|---|
Transparent_and_Efficient_Shared-State_Management_for_Optimistic_Simulations_on_Multi-core_Machines.pdf
solo utenti autorizzati
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
254.16 kB
Formato
Adobe PDF
|
254.16 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.