Fuzzing file systems via two-dimensional input space exploration
File systems, a basic building block of an OS, are too big and too complex to be bug free.
Nevertheless, file systems rely on regular stress-testing tools and formal checkers to find …
Nevertheless, file systems rely on regular stress-testing tools and formal checkers to find …
Finding semantic bugs in file systems with an extensible fuzzing framework
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 …
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?
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 …
structure, without the overhead of a file system. However, writing PM applications that are …
Ursa: Hybrid block storage for cloud-scale virtual disks
This paper presents URSA, a hybrid block store that provides virtual disks for various
applications to run efficiently on cloud VMs. Trace analysis shows that the I/O patterns …
applications to run efficiently on cloud VMs. Trace analysis shows that the I/O patterns …
Monarch: A Fuzzing Framework for Distributed File Systems
Distributed file systems (DFSes) are prone to bugs. Although numerous bug-finding
techniques have been applied to DFSes, static analysis does not scale well with the sheer …
techniques have been applied to DFSes, static analysis does not scale well with the sheer …
Rethinking file mapping for persistent memory
Persistent main memory (PM) dramatically improves IO performance. We find that this results
in file systems on PM spending as much as 70% of the IO path performing file mapping …
in file systems on PM spending as much as 70% of the IO path performing file mapping …
An empirical study of file systems on NVM
P Sehgal, S Basu, K Srinivasan… - 2015 31st symposium …, 2015 - ieeexplore.ieee.org
Emerging byte-addressable, non-volatile memory like phase-change memory, STT-MRAM,
etc. brings persistence at latencies within an order of magnitude of DRAM, thereby …
etc. brings persistence at latencies within an order of magnitude of DRAM, thereby …
{SpanFS}: A scalable file system on fast storage devices
J Kang, B Zhang, T Wo, W Yu, L Du, S Ma… - 2015 USENIX Annual …, 2015 - usenix.org
Most recent storage devices, such as NAND flash-based solid state drives (SSDs), provide
low access latency and high degree of parallelism. However, conventional file systems …
low access latency and high degree of parallelism. However, conventional file systems …
LedgerGuard: improving blockchain ledger dependability
The rise of crypto-currencies has spawned great interest in their underlying technology,
namely, Blockchain. The central component in a Blockchain is a shared distributed ledger. A …
namely, Blockchain. The central component in a Blockchain is a shared distributed ledger. A …
A survey on the integration of nand flash storage in the design of file systems and the host storage software stack
N Tehrany, K Doekemeijer, A Trivedi - arXiv preprint arXiv:2307.11866, 2023 - arxiv.org
With the ever-increasing amount of data generate in the world, estimated to reach over 200
Zettabytes by 2025, pressure on efficient data storage systems is intensifying. The shift from …
Zettabytes by 2025, pressure on efficient data storage systems is intensifying. The shift from …