The Community for Technology Leaders
Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques (2007)
Brasov, Romania
Sept. 15, 2007 to Sept. 19, 2007
ISSN: 1089-795X
ISBN: 0-7695-2944-5
pp: 365-375
Marek Olszewski , University of Toronto, Canada
Jeremy Cutler , University of Toronto, Canada
J. Gregory Steffan , University of Toronto, Canada
ABSTRACT
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising programming model allowing programmers to focus on parallelism rather than maintaining correctness and avoiding deadlock. Many implementations of hardware, software, and hybrid support for TM have been proposed; of these, software-only implementations (STMs) are especially compelling since they can be used with current commodity hardware. However, in addition to higher overheads, many existing STM systems are limited to either managed languages or intrusive APIs. Furthermore, transactions in STMs cannot normally contain calls to unobservable code such as shared libraries or system calls. <p>In this paper we present JudoSTM, a novel dynamic binary-rewriting approach to implementing STM that supports C and C++ code. Furthermore, by using value-based conflict detection, JudoSTM additionally supports the transactional execution of both (i) irreversible system calls and (ii) library functions that may contain locks. We significantly lower overhead through several novel optimizations that improve the quality of rewritten code and reduce the cost of conflict detection and buffering. We show that our approach performs comparably to Rochester?s RSTM library-based implementation--demonstrating that a dynamic binary-rewriting approach to implementing STM is an interesting alternative.</p>
INDEX TERMS
null
CITATION
Marek Olszewski, Jeremy Cutler, J. Gregory Steffan, "JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory", Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, vol. 00, no. , pp. 365-375, 2007, doi:10.1109/PACT.2007.42
83 ms
(Ver 3.3 (11022016))