Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/MICRO.2010.40 | IEEE Internet Computing |
Keywords | Field | DocType |
amd64 extension,asf hardware resource,limited asf hardware resource,out-of-order hardware design,software support,combined use,software tm system,multiword atomic primitive,parallel programming,transactional program,storage management,lock free programming,data structures,speculative access,transactional memory,advanced synchronization facility,asf code,amd64 hardware extension,available asf hardware resource,amd processor,lock-free data structures,shared memory systems,speculative hardware context,lock-free programming,speculative region,lock free data structure,x86 architecture,in-house simulator,high level tm language,out of order,registers,hardware,programming | Data structure,Advanced Synchronization Facility,Computer science,Non-blocking algorithm,CPU cache,Language construct,Parallel computing,Transactional memory,Real-time computing,Software,Out-of-order execution,Operating system | Conference |
ISSN | ISBN | Citations |
1072-4451 | 978-1-4244-9071-4 | 34 |
PageRank | References | Authors |
1.25 | 14 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jaewoong Chung | 1 | 993 | 52.00 |
Luke Yen | 2 | 361 | 12.30 |
Stephan Diestelhorst | 3 | 122 | 7.17 |
Martin Pohlack | 4 | 140 | 7.28 |
Michael Hohmuth | 5 | 332 | 26.61 |
David Christie | 6 | 53 | 4.46 |
Dan Grossman | 7 | 1218 | 71.43 |