Using software logging to support multiversion buffering in thread-level speculation

M. J. Garzarán, M. Prvulovic, V. Viñals, J. M. Llabería, L. Rauchwerger, J. Torrellas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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. 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, we propose 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.

Original languageEnglish (US)
Title of host publicationProceedings - 12th International Conference on Parallel Architectures and Compilation Techniques, PACT 2003
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages170-181
Number of pages12
ISBN (Electronic)0769520219
DOIs
StatePublished - Jan 1 2003
Event12th International Conference on Parallel Architectures and Compilation Techniques, PACT 2003 - New Orleans, United States
Duration: Sep 27 2003Oct 1 2003

Publication series

NameParallel Architectures and Compilation Techniques - Conference Proceedings, PACT
Volume2003-January
ISSN (Print)1089-795X

Other

Other12th International Conference on Parallel Architectures and Compilation Techniques, PACT 2003
CountryUnited States
CityNew Orleans
Period9/27/0310/1/03

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Using software logging to support multiversion buffering in thread-level speculation'. Together they form a unique fingerprint.

  • Cite this

    Garzarán, M. J., Prvulovic, M., Viñals, V., Llabería, J. M., Rauchwerger, L., & Torrellas, J. (2003). Using software logging to support multiversion buffering in thread-level speculation. In Proceedings - 12th International Conference on Parallel Architectures and Compilation Techniques, PACT 2003 (pp. 170-181). [1238013] (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT; Vol. 2003-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/PACT.2003.1238013