CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation
Authors
Davide Cingolani
Mauro Ianni
Alessandro Pellegrini
Francesco Quaglia
Publication date
1 January 2016
Publisher
'Springer Science and Business Media LLC'
Doi
Cite
Abstract
Speculative parallel discrete event simulation requires a support for reversing processed events, also called state recovery, when causal inconsistencies are revealed. In this article we present an approach where state recovery relies on a mix of hardware- and software-based techniques. We exploit the Hardware Transactional Memory (HTM) support, as offered by Intel Haswell CPUs, to process events as in-memory transactions, which are possibly committed only after their causal consistency is verified. At the same time, we exploit an innovative software-based reversibility technique, fully relying on transparent software instrumentation targeting x86/ELF objects, which enables undoing side effects by events with no actual backward re-computation. Each thread within our speculative processing engine dynamically (on a per-event basis) selects which recovery mode to rely on (hardware vs software) depending on varying runtime dynamics. The latter are captured by a lightweight analytic model indicating to what extent the HTM support (not paying any instrumentation cost) is efficient, and after what level of events’ parallelism it starts degrading its performance, e.g., due to excessive data conflicts while manipulating causality meta-data within HTM-based transactions. We released our implementation as open source software and provide experimental results for an assessment of its effectiveness. © Springer International Publishing Switzerland 2016
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
ART
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:art.torvergata.it:2108/240...
Last time updated on 29/03/2020
Archivio della ricerca- Università di Roma La Sapienza
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:iris.uniroma1.it:11573/874...
Last time updated on 12/11/2016