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

pldi-2020-papers
13:00 - 14:00: PLDI Research Papers - Language Implementation at PLDI Research Papers live stream
Chair(s): Chris SeatonShopify

YouTube lightning session video

pldi-2020-papers13:00 - 13:20
Talk
Matthew FlattUniversity of Utah, USA, R. Kent DybvigCisco Systems, USA
pldi-2020-papers13:20 - 13:40
Talk
Kaan GençOhio State University, USA, Michael D. BondOhio State University, USA, Guoqing Harry XuUniversity of California at Los Angeles, USA
pldi-2020-papers13:40 - 14:00
Talk
Kavon FarvardinUniversity of Chicago, USA, John ReppyUniversity of Chicago, USA