Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Wed 25 Oct 2017 16:15 - 16:37 at Regency C - Dynamic Analysis Chair(s): Jonathan Aldrich

Non-volatile memory technologies such as PCM, ReRAM and STT-RAM allow data to be saved to persistent storage significantly faster than hard drives or SSDs. Many of the use cases for non-volatile memory requires persistent logging since it enables a set of operations to execute in an atomic manner. However, a logging protocol must handle reordering, which causes a write to reach the non-volatile memory before a previous write operation.

In this paper, we show that reordering results from two parts of the system: the out-of-order execution in the CPU and the cache coherence protocol. By carefully considering the properties of these reorderings, we present a logging protocol that requires only one round trip to non-volatile memory while avoiding expensive computations, thus increasing performance. We also show how the logging protocol can be extended to building a durable set (hash map) that also requires a single round trip to non-volatile memory for inserting, updating, or deleting operations.

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

15:30 - 17:00
Dynamic AnalysisOOPSLA at Regency C
Chair(s): Jonathan Aldrich Carnegie Mellon University
15:30
22m
Talk
Practical Initialization Race Detection for JavaScript Web Applications
OOPSLA
Christoffer Quist Adamsen Aarhus University, Anders Møller Aarhus University, Frank Tip Northeastern University
DOI
15:52
22m
Talk
Instrumentation Bias for Dynamic Data Race Detection
OOPSLA
Benjamin P. Wood Wellesley College, Man Cao Ohio State University, Michael D. Bond Ohio State University, Dan Grossman University of Washington
DOI
16:15
22m
Talk
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
OOPSLA
Nachshon Cohen EPFL, Switzerland, Michal Friedman , James Larus EPFL
DOI
16:37
22m
Talk
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
OOPSLA
Neville Grech , George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
DOI