The Community for Technology Leaders
2003 12th International Conference on Parallel Architectures and Compilation Techniques (2003)
New Orleans, Louisiana
Sept. 27, 2003 to Oct. 1, 2003
ISSN: 1089-795X
ISBN: 0-7695-2021-9
pp: 170
María Jesús Garzarán , University of Illinois at Urbana-Champaign
Milos Prvulovic , University of Illinois at Urbana-Champaign
Víctor Viñals , Universidad de Zaragoza
José María Llabería , Universitat Politècnica de Catalunya
Lawrence Rauchwerger , Texas A&M University
Josep Torrellas , University of Illinois at Urbana-Champaign
<p>In Thread-Level Speculation (TLS), speculative tasks generate memory state that cannot simply be combined with the rest of the system because it is unsafe. One way to deal with this difficulty is to allow speculative state to merge with memory but back up in an undo log the data that will be overwritten. Such undo log can be used to roll back to a safe state if a violation occurs. This approach is said to use Future Main Memory (FMM), as memory keeps the most speculative state.</p> <p>While the aggressive approach of FMM systems often delivers better performance than more conservative approaches, it also requires additional hardware support. To simplify the design of FMM systems, this paper proposes a software-only design for the undo log system. We show that an FMM system with software logging is a good design point: the design has less implementation complexity than an FMM system with hardware logs, and it only reduces performance moderately. In particular, in a simulated 16-processor machine, applications take only 10% longer to execute than if the system had the logging system fully implemented in hardware.</p>

J. M. Llabería, L. Rauchwerger, V. Viñals, J. Torrellas, M. Prvulovic and M. J. Garzarán, "Using Software Logging to Support Multi-Version Buffering in Thread-Level Speculation," 2003 12th International Conference on Parallel Architectures and Compilation Techniques(PACT), New Orleans, Louisiana, 2003, pp. 170.
87 ms
(Ver 3.3 (11022016))