Paper Info
Title
The Velox Transactional Memory Stack
Abstract
The adoption of multi- and many-core architectures for mainstream computing undoubtedly brings profound changes in the way software is developed. In particular, the use of fine grained locking as the multi-core programmer’s coordination methodology is considered by more and more experts as a dead-end. The transactional memory (TM) programming paradigm is a strong contender to become the approach of choice for replacing locks and implementing atomic operations in concurrent programming. Combining sequences of concurrent operations into atomic transactions allows a great reduction in the complexity of both programming and verification, by making parts of the code appear to execute sequentially without the need to program using fine-grained locking. Transactions remove from the programmer the burden of figuring out the interaction among concurrent operations that happen to conflict when accessing the same locations in memory. The EU-funded FP7 VELOX project designs, implements and evaluates an integrated TM stack, spanning from programming language to the hardware support, and including runtime and libraries, compilers, and application environments. This paper presents an overview of the VELOX TM stack and its associated challenges and contributions.
Year
DOI
Venue
2010
10.1109/MM.2010.80
IEEE Micro
Keywords
DocType
Volume
multi-core programmer,atomic operation,concurrent operation,concurrent programming,programming language,Velox Transactional Memory,FP7 VELOX project design,atomic transaction,VELOX TM,integrated TM,programming paradigm
Journal
30
Issue
Citations 
PageRank 
5
4
0.42
References 
Authors
0
24
Name
Order
Citations
PageRank
Yehuda Afek11840176.95
Ulrich Drepper2312.95
Pascal Felber32432178.76
Christof Fetzer42429172.89
Vincent Gramoli552939.08
Michael Hohmuth633226.61
Etienne Riviere738625.93
Per Stenström83048234.09
Osman Unsal916414.33
Walther Maldonado Moreira1040.42
Derin Harmanci11724.70
Patrick Marlier121216.40
Stephan Diestelhorst131227.17
Martin Pohlack141407.28
Adrian Cristal1550032.64
Ibrahim Hur1642126.49
Aleksandar Dragojevic1747016.41
Rachid Guerraoui186364430.90
Michal Kapalka1926210.93
Sasa Tomic2083.24
Guy Korland21804.73
Nir Shavit223780244.84
Martin Nowack23865.48
Torvald Riegel2452320.78