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
contention.
Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change
13:00 - 14:00 | Language ImplementationPLDI Research Papers at PLDI Research Papers live stream Chair(s): Chris Seaton Shopify | ||
13:00 20mTalk | Compiler and Runtime Support for Continuation Marks PLDI Research Papers | ||
13:20 20mTalk | Crafty: Efficient, HTM-Compatible Persistent Transactions PLDI Research Papers Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA, Guoqing Harry Xu University of California at Los Angeles, USA | ||
13:40 20mTalk | From Folklore to Fact: Comparing Implementations of Stacks and Continuations PLDI Research Papers |