UW-Madison Logo

LogTM: Log-based Transactional Memory

UW-Madison Computer Architecture Group
Department of Computer Sciences
University of Wisconsin-Madison

Multifacet:
Overview
People
Publications & Talks
Theses
Related Projects
Links

Overview

We introduced Log-Based Transactional Memory (LogTM) at HPCA (2/2006) and extended it to support nested transactions at ASPLOS (10/2006). LogTM differs from most other transactional memory systems primarily in that transactional stores eagerly update memory "in place" while recording old values in a per-thread log. Common-case transactional commits are fast, because data is in place and need not move. Less common transactional aborts, however, use software handlers to restore old values from the log. LogTM's transaction log and software aborts extend naturally to nested transactions. Each nested transaction allocates its own frame on log much like a function call pushes an activation record on the stack. Software abort processing cleanly supports unrolling arbitrary nesting levels and allows the execution of compensating actions without additional hardware.

LogTM-Signature Edition replaced transactional bits in the cache with a signature that supports virtualization. With signatures, which may be saved and restored in software, transactions can exceed the cache size, and surivive both context switches and virtual memory paging.

People

Faculty

Students

Alumni

Publications & Talks

  • Condition Variables and Transactional Memory: Problem or Opportunity?,
    Polina Dudnik and Michael M. Swift
    4th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), February 2009.
    Local copy: pdf
    Talk: ppt

  • Notary: Hardware Techniques to Enhance Signatures,
    Luke Yen, Stark C. Draper, and Mark D. Hill
    41st International Symposium on Microarchitecture (MICRO), November 2008.
    Local copy: pdf
    Talk: ppt

  • Is Transactional Memory an Oxymoron?,
    Mark D. Hill
    Very Large Data Bases (VLDB) August 2008.
    Keynote Talk: ppt

  • ACM DL Author-ize serviceTokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory
    Jayaram Bobba, Neelam Goyal, Mark D. Hill, Michael M. Swift, David A. Wood
    ISCA '08 Proceedings of the 35th Annual International Symposium on Computer Architecture, 2008
    Local copy: pdf
    Talk: ppt

  • OS Support for Virtualizing Transactional Memory,
    Michael M. Swift, Haris Volos, Neelam Goyal, Luke Yen, Mark D. Hill and David A Wood
    Third ACM SIGPLAN Workshop on Transactional Memory (TRANSACT), February 2008.
    Local copy: pdf
    Talk: ppt
    Also appears as Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1630, February 2008.

  • Pathological Interaction of Locks with Transactional Memory,
    Haris Volos, Neelam Goyal and Michael M. Swift
    Third ACM SIGPLAN Workshop on Transactional Memory (TRANSACT), February 2008.
    Local copy: pdf
    Talk: ppt
    Also appears as Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1631, February 2008.

  • Performance Pathologies in Hardware Transactional Memory,
    Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Yen, Mark D. Hill, Michael M. Swift, and David A. Wood
    IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, January-February 2008.
    (Shorter, award version of ISCA 2007 Paper)

  • Implementing Signatures for Transactional Memory,
    Daniel Sanchez, Luke Yen, Mark D. Hill, and Karthikeyan Sankaralingam
    40th International Symposium on Microarchitecture (MICRO), December 2007.
    Local copy: pdf
    Talk: ppt

  • Design and Implementation of Signatures for Transactional Memory Systems,
    Daniel Sanchez,
    Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2007-1611, September 2007.
    Local copy: pdf
    Talk: ppt

  • A Case for Deconstructing Hardware Transactional Memory Systems,
    Mark D. Hill, Derek Hower, Kevin E. Moore, Michael M. Swift, Haris Volos and David A. Wood
    Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2007-1594, June 2007.
    Local copy: pdf
    Also appears as Dagstuhl Seminar Proceedings 07361, editors Albert Cohen, Maria J. Garzaran, Christian Lengauer, and Samuel P. Midkiff, 2008.

  • ACM DL Author-ize servicePerformance pathologies in hardware transactional memory
    Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Yen, Mark D. Hill, Michael M. Swift, David A. Wood
    ISCA '07 Proceedings of the 34th annual international symposium on Computer architecture, 2007
    Local copy: pdf
    Talk: ppt
    Extended Talk: ppt

  • Log-based Transactional Memory,
    Overview Talk, April 2007.

  • LogTM-SE: Decoupling Hardware Transactional Memory from Caches,
    Luke Yen, Jayaram Bobba, Michael R. Marty, Kevin E. Moore, Haris Volos, Mark D. Hill, Michael M. Swift, and David A. Wood
    International Symposium on High Performance Computer Architecture (HPCA), February 2007.
    Local copy: pdf
    Talk: ppt, pdf

  • ACM DL Author-ize serviceSupporting nested transactional memory in logTM
    Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, David A. Wood
    ASPLOS XII Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, 2006
    Local copy: pdf
    Talk: pdf, ppt

  • An Operational Semantics for LogTM,
    Ben Liblit,
    Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2006-1571, August 2006.
    Local copy: pdf

  • LogTM: Log-based Transactional Memory,
    Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan, Mark D. Hill and David A. Wood
    International Symposium on High Performance Computer Architecture (HPCA), February 2006.
    Local copy: pdf
    Talk: ppt, pdf

  • Thread-Level Transactional Memory,
    Kevin E. Moore, Mark D. Hill, and David A. Wood,
    Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2005-1524, March 2005.
    Local copy: pdf

  • Thread-Level Transactional Memory,
    Kevin E. Moore
    Wisconsin Industrial Affiliates Meeting, October 2004.
    Talk: pdf, ppt

    Software & Tools

    Sponsors

    Artwork

    Here are icons from the ISCA'07 Pathologies paper.


    Friendly Fire


    Starving Writer


    Serialized Commit


    Futile Stall


    Starving Elder


    Restart Convoy


    Dueling Upgrades


    Any opinions, findings, and conclusions or recommendations expressed on these pages are those of the author(s) and do not necessarily reflect the views of the National Science Foundation or any other sponsor.

    Last modified: Friday, 30-Oct-2009 21:56:01 CDT