loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Symposium on Code Generation and Optimization (CGO'04)
Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads
San Jose, California
March 20-March 24
ISBN: 0-7695-2102-9
Antonia Zhai, Carnegie Mellon University, Pittsburgh, PA
Christopher B. Colohan, Carnegie Mellon University, Pittsburgh, PA
J. Gregory Steffan, University of Toronto, Ontario
Todd C. Mowry, Carnegie Mellon University, Pittsburgh, PA
Efficient inter-thread value communication is essential for improving performance in Thread-Level Speculation (TLS). Although several mechanisms for improving value communication using hardware support have been proposed, there is relatively little work on exploiting the potential of compiler optimization.Building on recent research on compiler optimization of scalar value communication between speculative threads, we propose compiler techniques for the optimization of memory-resident values.
In TLS, data dependences through memory-resident values are tracked by the underlying hardware and preserved by reexecuting any speculative thread that violates a dependence; however, reexecution incurs a large performance penalty and should be used only to resolve data dependences that are infrequent. In contrast, value communication for frequently-occurring data dependences must be very efficient.
In this paper, we propose using the compiler to first identify frequently-occurring memory-resident data dependences, then insert synchronization for communicating values to preserve these dependences. We find that by synchronizing frequently-occurring data dependences we can significantly improve the efficiency of parallel execution. A comparison between compiler-inserted and hardware-inserted memory synchronization reveals that the two techniques are complementary, with each technique benefitting different benchmarks.
Citation:
Antonia Zhai, Christopher B. Colohan, J. Gregory Steffan, Todd C. Mowry, "Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads," cgo, pp.39, International Symposium on Code Generation and Optimization (CGO'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.