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
Times are displayed in time zone: Tijuana, Baja California change

15:30 - 17:00: Dynamic AnalysisOOPSLA at Regency C
Chair(s): Jonathan AldrichCarnegie Mellon University
15:30 - 15:52
Talk
Practical Initialization Race Detection for JavaScript Web Applications
OOPSLA
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Frank TipNortheastern University
DOI
15:52 - 16:15
Talk
Instrumentation Bias for Dynamic Data Race Detection
OOPSLA
Benjamin P. WoodWellesley College, Man CaoOhio State University, Michael D. BondOhio State University, Dan GrossmanUniversity of Washington
DOI
16:15 - 16:37
Talk
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
OOPSLA
DOI
16:37 - 17:00
Talk
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
OOPSLA
Neville Grech, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
DOI