The Community for Technology Leaders
Green Image
Issue No. 05 - September/October (2010 vol. 30)
ISSN: 0272-1732
pp: 76-87
Yehuda Afek , Tel Aviv University
Ulrich Drepper , Red Hat
Pascal Felber , University of Neuchatel
Christof Fetzer , Technische Universitat Dresden
Vincent Gramoli , University of Neuchâtel
Michael Hohmuth , Advancd Micro Devices
Etienne Riviere , University of Neuchatel
Per Stenstrom , Chalmers University of Technology
Osman Unsal , Barcelona Supercomputing Center
Walther Maldonado Moreira , University of Neuchatel
Derin Harmanci , University of Neuchatel
Patrick Marlier , University of Neuchatel
Stephan Diestelhorst , Advanced Micro Devices
Martin Pohlack , Advanced Micro Devices
Adrian Cristal , Barcelona Supercomputing Center
Ibrahim Hur , Barcelona Supercomputing Center
Aleksandar Dragojevic , Ecole Polytechnique Federale de Lausanne
Rachid Guerraoui , Ecole Polytechnique Federale de Lausanne
Michal Kapalka , Ecole Polytechnique Federale de Lausanne
Sasa Tomic , Universitat Politecnica de Catalunya
Guy Korland , Tel Aviv University
Nir Shavit , Tel Aviv University
Martin Nowack , Technische Universitat Dresden
Torvald Riegel , Technische Universitat Dresden
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.
concurrent programming, software transactional memory, hardware transactional memory, compilers, language extensions

V. Gramoli et al., "The Velox Transactional Memory Stack," in IEEE Micro, vol. 30, no. , pp. 76-87, 2010.
783 ms
(Ver 3.3 (11022016))