Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Wed 17 Jun 2020 13:20 - 13:40 at PLDI Research Papers live stream - Language Implementation Chair(s): Chris Seaton

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

Wed 17 Jun

Displayed time zone: Pacific Time (US & Canada) change

13:00 - 14:00
Compiler and Runtime Support for Continuation Marks
PLDI Research Papers
Matthew Flatt University of Utah, USA, R. Kent Dybvig Cisco Systems, USA
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
From Folklore to Fact: Comparing Implementations of Stacks and Continuations
PLDI Research Papers
Kavon Farvardin University of Chicago, USA, John Reppy University of Chicago, USA