Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Commit on overflow |
| Συγγραφείς: |
Stipic, Srdjan, Armejach, Adrià, Unsal, Osman Sabri, Cristal Kestelman, Adrián, Valero Cortés, Mateo |
| Συνεισφορές: |
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions |
| Έτος έκδοσης: |
2014 |
| Συλλογή: |
Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge |
| Θεματικοί όροι: |
Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Microprocessors -- Programming, Transactional memory, Transactional commit, Transactional abort, Transactional overflow, Microprocessadors -- Programació |
| Περιγραφή: |
Current commercial CPUs have hardware support for speculative lock elision (SLE). SLE tries to elide the lock by speculatively executing lock protected critical section. If the speculation fails, SLE acquires the lock and re-executes the critical section non-speculatively. Latest Intel CPUs implement SLE and hardware transactional memory (HTM) where SLE uses HTM transactions to speculatively execute critical sections. HTM only supports bounded size transactions where non-conflicting transactions execute until they overflow and abort. Bounded sized transactions impose the limit on the size of SLE protected critical sections. Even worse, the current SLE implementation execute large non-conflicting critical sections twice; first time, speculatively in a transaction, and second time, non-speculatively by acquiring the lock at the beginning of the critical section. Ideally, SLE should execute all non-conflicting critical sections exactly once. This paper introduces a \emph{commit on overflow} (COO) transaction abort policy which -- instead of aborting -- commits overflowed transaction and continues executing it. We show the usefulness of COO while executing large SLE protected critical sections. Also, we show that our COO implementation preserves atomicity of SLE protected critical sections. ; Postprint (published version) |
| Τύπος εγγράφου: |
report |
| Περιγραφή αρχείου: |
3 p.; application/pdf |
| Γλώσσα: |
English |
| Relation: |
UPC-DAC-RR-CAP-2014-8; Stipic, S., Armejach, A., Unsal, O., Cristal, A., Valero, M. "Commit on overflow". 2014.; https://hdl.handle.net/2117/110732 |
| Διαθεσιμότητα: |
https://hdl.handle.net/2117/110732 |
| Rights: |
Open Access |
| Αριθμός Καταχώρησης: |
edsbas.64125D9F |
| Βάση Δεδομένων: |
BASE |