We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Crafty: Efficient, HTM-Compatible Persistent Transactions

Authors: Kaan Genç (1), Michael D. Bond (1), Guoqing Harry Xu (2) ((1) Ohio State University, (2) University of California, Los Angeles)
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.
Comments: 32 pages, 24 figures. To appear in PLDI 2020
Subjects: Programming Languages (cs.PL)
ACM classes: D.3.3; H.3.2
DOI: 10.1145/3385412.3385991
Cite as: arXiv:2004.00262 [cs.PL]
  (or arXiv:2004.00262v2 [cs.PL] for this version)

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.