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...

Full description

Saved in:
Bibliographic Details
Published in:2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture pp. 39 - 50
Main Authors: Jaewoong Chung, Yen, Luke, Diestelhorst, Stephan, Pohlack, Martin, Hohmuth, Michael, Christie, David, Grossman, Dan
Format: Conference Proceeding
Language:English
Published: IEEE 01.12.2010
Subjects:
Context
Data structures
Hardware
lock-free programming
Out of order
Programming
Registers
transactional memory
x86 architecture
ISBN:1424490715, 9781424490714
ISSN:1072-4451
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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