Conference
Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation
| العنوان: | Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation |
|---|---|
| المؤلفون: | CINGOLANI, DAVIDE, IANNI, MAURO, PELLEGRINI, ALESSANDRO, QUAGLIA, Francesco |
| المساهمون: | Devitt, S., Lanese, I., Cingolani, Davide, Ianni, Mauro, Pellegrini, Alessandro, Quaglia, Francesco |
| بيانات النشر: | Springer |
| سنة النشر: | 2016 |
| المجموعة: | Sapienza Università di Roma: CINECA IRIS |
| مصطلحات موضوعية: | Parallel Discrete Event Simulation, Reversible Computation, Runtime Environments |
| الوصف: | 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. |
| نوع الوثيقة: | conference object |
| وصف الملف: | STAMPA |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/isbn/978-331940577-3; info:eu-repo/semantics/altIdentifier/isbn/978-3-319-40578-0; info:eu-repo/semantics/altIdentifier/wos/WOS:000387765200009; ispartofbook:Reversible Computation; 8th Conference on Reversible Computation (RC); volume:9720; firstpage:137; lastpage:152; numberofpages:16; serie:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/11573/874483; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84978832823 |
| DOI: | 10.1007/978-3-319-40578-0_9 |
| الاتاحة: | http://hdl.handle.net/11573/874483 https://doi.org/10.1007/978-3-319-40578-0_9 |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.18C29E4B |
| قاعدة البيانات: | BASE |
كن أول من يترك تعليقا!