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.
20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Rilevanza internazionale
ago-2012
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Intervento a convegno
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].
Pellegrini, A; Vitali, R; Peluso, S; Quaglia, F
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/323623
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? ND
social impact