{NV-Tree}: reducing consistency cost for {NVM-based} single level systems

J Yang, Q Wei, C Chen, C Wang, KL Yong… - 13th USENIX Conference …, 2015 - usenix.org
The non-volatile memory (NVM) has DRAM-like performance and disk-like persistency
which make it possible to replace both disk and DRAM to build single level systems. To keep …

Aerie: Flexible file-system interfaces to storage-class memory

H Volos, S Nalli, S Panneerselvam… - Proceedings of the …, 2014 - dl.acm.org
Storage-class memory technologies such as phase-change memory and memristors present
a radically different interface to storage than existing block devices. As a result, they provide …

Finding semantic bugs in file systems with an extensible fuzzing framework

S Kim, M Xu, S Kashyap, J Yoon, W Xu… - Proceedings of the 27th …, 2019 - dl.acm.org
File systems are too large to be bug free. Although handwritten test suites have been widely
used to stress file systems, they can hardly keep up with the rapid increase in file system …

{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 …

Cross-checking semantic correctness: The case of finding file system bugs

C Min, S Kashyap, B Lee, C Song, T Kim - Proceedings of the 25th …, 2015 - dl.acm.org
Today, systems software is too complex to be bug-free. To find bugs in systems software,
developers often rely on code checkers, like Linux's Sparse. However, the capability of …

Redundancy does not imply fault tolerance: Analysis of distributed storage reactions to file-system faults

A Ganesan, R Alagappan, AC Arpaci-Dusseau… - ACM Transactions on …, 2017 - dl.acm.org
We analyze how modern distributed storage systems behave in the presence of file-system
faults such as data corruption and read and write errors. We characterize eight popular …

Enabling high-performance and secure userspace nvm file systems with the trio architecture

D Zhou, V Aschenbrenner, T Lyu, J Zhang… - Proceedings of the 29th …, 2023 - dl.acm.org
Userspace library file systems (LibFSes) promise to unleash the performance potential of
non-volatile memory (NVM) by directly accessing it and enabling unprivileged applications …

Understanding the robustness of {SSDs} under power fault

M Zheng, J Tucek, F Qin, M Lillibridge - 11th USENIX Conference on File …, 2013 - usenix.org
Abstract Modern storage technology (SSDs, No-SQL databases, commoditized RAID
hardware, etc.) bring new reliability challenges to the already complicated storage stack …