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
contention.

Wed 17 Jun

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

13:00 - 14:00
13:00
20m
Talk
Compiler and Runtime Support for Continuation Marks
PLDI Research Papers
Matthew Flatt University of Utah, USA, R. Kent Dybvig Cisco Systems, USA
13:20
20m
Talk
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
20m
Talk
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