Crafty: Efficient, HTM-Compatible Persistent Transactions
Byte-addressable persistent memory, such as Intel/Micron 3D XPoint, is an emerging technology that bridges the gap between volatile memory and persistent storage.
Data in persistent memory survives crashes and restarts; however, it is challenging to ensure that this data is consistent after failures. Existing approaches incur significant performance costs to ensure crash consistency.
This paper introduces <em>Crafty</em>, a new approach for ensuring consistency and atomicity on persistent memory operations using <em>commodity hardware</em> with existing hardware transactional memory (HTM) capabilities, while incurring low overhead. Crafty employs a novel technique called <em>nondestructive undo logging</em> that leverages commodity HTM to control persist ordering.
Our evaluation shows that Crafty outperforms state-of-the-art prior work
under low contention, and performs competitively under high
Fri 22 OctDisplayed time zone: Central Time (US & Canada) change
10:50 - 12:10
|BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t|
|Crafty: Efficient, HTM-Compatible Persistent Transactions|
|SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework|
Sotiris Apostolakis Google, Ziyang Xu Princeton University, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton UniversityDOI Pre-print
Fraser Brown Stanford University, USA, John Renner University of California at San Diego, USA, Andres Nötzli Stanford University, USA, Sorin Lerner University of California at San Diego, Hovav Shacham University of Texas at Austin, Deian Stefan University of California at San Diego, USALink to publication DOI
|Discussion, Questions and Answers|