Amalgamated Lock-Elision

Abstract : Hardware lock-elision (HLE) introduces concurrency into legacy lock-based code by optimistically executing critical sections in a fast-path as hardware transactions. Its main limitation is that in case of repeated aborts, it reverts to a fallback-path that acquires a serial lock. This fallback-path lacks hardware- software concurrency, because all fast-path hardware transactions abort and wait for the completion of the fallback. Software lock elision has no such limitation, but the overheads incurred are simply too high. We propose amalgamated lock-elision (ALE), a novel lock-elision algorithm that provides hardware-software concurrency and efficiency: the fallback-path executes concurrently with fast-path hardware transactions, while the common-path fast-path reads incur no overheads and proceed without any instrumentation. The key idea in ALE is to use a sequence of fine-grained locks in the fallback-path to detect conflicts with the fast-path, and at the same time reduce the costs of these locks by executing the fallback-path as a series segments, where each segment is a dynamic length short hardware transaction. We implemented ALE into GCC and tested the new system on Intel Haswell 16-way chip that provides hardware transactions. We benchmarked linked-lists, hash-tables and red-black trees, as well as converting KyotoCacheDB to use ALE in GCC, and all show that ALE significantly outperforms HLE.
Type de document :
Communication dans un congrès
Yoram Moses; Matthieu Roy. DISC 2015, Oct 2015, Tokyo, Japan. Springer-Verlag Berlin Heidelberg, LNCS 9363, 29th International Symposium on Distributed Computing. 〈10.1007/978-3-662-48653-5_21〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01206577
Contributeur : Matthieu Roy <>
Soumis le : mardi 29 septembre 2015 - 12:24:50
Dernière modification le : mardi 1 janvier 2019 - 06:46:02
Document(s) archivé(s) le : mercredi 30 décembre 2015 - 10:37:12

Fichier

27.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Yehuda Afek, Alexander Matveev, Oscar R. Moll, Nir Shavit. Amalgamated Lock-Elision. Yoram Moses; Matthieu Roy. DISC 2015, Oct 2015, Tokyo, Japan. Springer-Verlag Berlin Heidelberg, LNCS 9363, 29th International Symposium on Distributed Computing. 〈10.1007/978-3-662-48653-5_21〉. 〈hal-01206577〉

Partager

Métriques

Consultations de la notice

38

Téléchargements de fichiers

110