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
Times are displayed in time zone: Pacific Time (US & Canada) change

13:00 - 14:00
Compiler and Runtime Support for Continuation Marks
PLDI Research Papers
Matthew FlattUniversity of Utah, USA, R. Kent DybvigCisco Systems, USA
Crafty: Efficient, HTM-Compatible Persistent Transactions
PLDI Research Papers
Kaan GençOhio State University, USA, Michael D. BondOhio State University, USA, Guoqing Harry XuUniversity of California at Los Angeles, USA
From Folklore to Fact: Comparing Implementations of Stacks and Continuations
PLDI Research Papers
Kavon FarvardinUniversity of Chicago, USA, John ReppyUniversity of Chicago, USA