Persistent memory: A survey of programming support and implementations

A Baldassin, J Barreto, D Castro… - ACM Computing Surveys …, 2021 - dl.acm.org
The recent rise of byte-addressable non-volatile memory technologies is blurring the
dichotomy between memory and storage. In particular, they allow programmers to have …

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 …

PerMA-bench: benchmarking persistent memory access

L Benson, L Papke, T Rabl - Proceedings of the VLDB Endowment, 2022 - dl.acm.org
Persistent memory's (PMem) byte-addressability and persistence at DRAM-like speed with
SSD-like capacity have the potential to cause a major performance shift in database storage …

Chipmunk: Investigating crash-consistency in persistent-memory file systems

H LeBlanc, S Pailoor, OS KRE, I Dillig… - Proceedings of the …, 2023 - dl.acm.org
We present Chipmunk, a new framework to test persistent-memory (PM) file systems for
crash-consistency bugs. Using Chipmunk, we discovered 23 new bugs across five PM file …

Execution reconstruction: Harnessing failure reoccurrences for failure reproduction

G Zuo, J Ma, A Quinn, P Bhatotia, P Fonseca… - Proceedings of the …, 2021 - dl.acm.org
Reproducing production failures is crucial for software reliability. Alas, existing bug
reproduction approaches are not suitable for production systems because they are not …

{DURINN}: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs

X Fu, D Lee, C Min - 16th USENIX Symposium on Operating Systems …, 2022 - usenix.org
Non-volatile memory (NVM) has promoted the development of concurrent crash-consistent
data structures, which serve as the backbone of various in-memory persistent applications …

Yashme: detecting persistency races

H Gorjiara, GH Xu, B Demsky - … of the 27th ACM International Conference …, 2022 - dl.acm.org
Persistent memory (PM) or Non-Volatile Random-Access Memory (NVRAM) hardware such
as Intel's Optane memory product promises to transform how programs store and manipulate …