Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language
Wang, Cheng
Chen, Wei-Yu
Wu, Youfeng
Saha, Bratin
Adl-Tabatabai, Ali-Reza
Programming Syst. Lab., Intel Corp., Santa Clara, CA;
This paper appears in: Code Generation and Optimization, 2007. CGO '07. International Symposium on
Publication Date: 11-14 March 2007
On page(s): 34-48
Location: San Jose, CA,
ISBN: 0-7695-2764-7
INSPEC Accession Number: 9465495
Digital Object Identifier: 10.1109/CGO.2007.4
Current Version Published: 2007-04-02
Abstract
Transactional memory offers significant advantages for concurrency control compared to locks. This paper presents the design and implementation of transactional memory constructs in an unmanaged language. Unmanaged languages pose a unique set of challenges to transactional memory constructs - for example, lack of type and memory safety, use of function pointers, aliasing of local variables, and others. This paper describes novel compiler and runtime mechanisms that address these challenges and optimize the performance of transactions in an unmanaged environment. We have implemented these mechanisms in a production-quality C compiler and a high-performance software transactional memory runtime. We measure the effectiveness of these optimizations and compare the performance of lock-based versus transaction-based programming on a set of concurrent data structures and the SPLASH-2 benchmark suite. On a 16 processor SMP system, the transaction-based version of the SPLASH-2 benchmarks scales much better than the coarse-grain locking version and performs comparably to the fine-grain locking version. Compiler optimizations significantly reduce the overheads of transactional memory so that, on a single thread, the transaction-based version incurs only about 6.4% overhead compared to the lock-based version for the SPLASH-2 benchmark suite. Thus, our system is the first to demonstrate that transactions integrate well with an unmanaged language, and can perform as well as fine-grain locking while providing the programming ease of coarse-grain locking even on an unmanaged environment
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
