References & Citations
Computer Science > Programming Languages
Title: Crafty: Efficient, HTM-Compatible Persistent Transactions
(Submitted on 1 Apr 2020 (this version), latest version 21 Apr 2020 (v3))
Abstract: 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 Crafty, a new approach for ensuring consistency and atomicity on persistent memory operations using commodity hardware with existing hardware transactional memory (HTM) capabilities, while incurring low overhead. Crafty employs a novel technique called nondestructive undo logging 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.
Submission history
From: Kaan Genç [view email][v1] Wed, 1 Apr 2020 07:26:29 GMT (990kb)
[v2] Wed, 15 Apr 2020 03:49:56 GMT (1032kb)
[v3] Tue, 21 Apr 2020 02:55:26 GMT (1057kb)
Link back to: arXiv, form interface, contact.