Recipe: Converting concurrent dram indexes to persistent-memory indexes

SK Lee, J Mohan, S Kashyap, T Kim… - Proceedings of the 27th …, 2019 - dl.acm.org
We present Recipe, a principled approach for converting concurrent DRAM indexes into
crash-consistent indexes for persistent memory (PM). The main insight behind Recipe is that …

System software for persistent memory

SR Dulloor, S Kumar, A Keshavamurthy… - Proceedings of the …, 2014 - dl.acm.org
Emerging byte-addressable, non-volatile memory technologies offer performance within an
order of magnitude of DRAM, prompting their inclusion in the processor memory subsystem …

{AGAMOTTO}: How Persistent is your Persistent Memory Application?

I Neal, B Reeves, B Stoler, A Quinn, Y Kwon… - … USENIX Symposium on …, 2020 - usenix.org
Persistent Memory (PM) can be used by applications to directly and quickly persist any data
structure, without the overhead of a file system. However, writing PM applications that are …

Cross-failure bug detection in persistent memory programs

S Liu, K Seemakhupt, Y Wei, T Wenisch… - Proceedings of the …, 2020 - dl.acm.org
Persistent memory (PM) technologies, such as Intel's Optane memory, deliver high
performance, byte-addressability, and persistence, allowing programs to directly manipulate …

PMTest: A fast and flexible testing framework for persistent memory programs

S Liu, Y Wei, J Zhao, A Kolli, S Khan - Proceedings of the Twenty-Fourth …, 2019 - dl.acm.org
Recent non-volatile memory technologies such as 3D XPoint and NVDIMMs have enabled
persistent memory (PM) systems that can manipulate persistent data directly in memory. This …

Witcher: Systematic crash consistency testing for non-volatile memory key-value stores

X Fu, WH Kim, AP Shreepathi, M Ismail… - Proceedings of the …, 2021 - dl.acm.org
The advent of non-volatile main memory (NVM) enables the development of crash-
consistent software without paying storage stack overhead. However, building a correct …

PMFuzz: Test case generation for persistent memory programs

S Liu, S Mahar, B Ray, S Khan - Proceedings of the 26th ACM …, 2021 - dl.acm.org
The Persistent Memory (PM) technology combines the persistence of storage with the
performance approaching that of DRAM. Programs taking advantage of PM must ensure …

Fast, flexible, and comprehensive bug detection for persistent memory programs

B Di, J Liu, H Chen, D Li - Proceedings of the 26th ACM International …, 2021 - dl.acm.org
Debugging persistent memory (PM) programs faces a fundamental tradeoff between
performance overhead and bug coverage (comprehensiveness). Large performance …

Jaaru: Efficiently model checking persistent memory programs

H Gorjiara, GH Xu, B Demsky - … of the 26th ACM International Conference …, 2021 - dl.acm.org
Persistent memory (PM) technologies combine near DRAM performance with persistency
and open the possibility of using one copy of a data structure as both a working copy and a …

Janus: Optimizing memory and storage support for non-volatile memory systems

S Liu, K Seemakhupt, G Pekhimenko, A Kolli… - Proceedings of the 46th …, 2019 - dl.acm.org
Non-volatile memory (NVM) technologies can manipulate persistent data directly in memory.
Ensuring crash consistency of persistent data enforces that data updates reach all the way to …