ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory

Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically executes speculative accesses in the region. Five new instructions are added to demarcate the region, use speculative access...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture S. 39 - 50
Hauptverfasser: Jaewoong Chung, Yen, Luke, Diestelhorst, Stephan, Pohlack, Martin, Hohmuth, Michael, Christie, David, Grossman, Dan
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.12.2010
Schlagworte:
Context
Data structures
Hardware
lock-free programming
Out of order
Programming
Registers
transactional memory
x86 architecture
ISBN:1424490715, 9781424490714
ISSN:1072-4451
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically executes speculative accesses in the region. Five new instructions are added to demarcate the region, use speculative accesses selectively, and control the speculative hardware context. Programmers can use speculative regions to build flexible multi-word atomic primitives with no additional software support by relying on the minimum guarantee of available ASF hardware resources for lock-free programming. Transactional programs with high-level TM language constructs can either be compiled directly to the ASF code or be linked to software TM systems that use ASF to accelerate transactional execution. In this paper we develop an out-of-order hardware design to implement ASF on a future AMD processor and evaluate it with an in-house simulator. The experimental results show that the combined use of the L1 cache and the LS unit is very helpful for the performance robustness of ASF-based lock free data structures, and that the selective use of speculative accesses enables transactional programs to scale with limited ASF hardware resources.
ISBN:1424490715
9781424490714
ISSN:1072-4451
DOI:10.1109/MICRO.2010.40