Shadow Filesystems: Recovering from Filesystem Runtime Errors via Robust Alternative Execution
Abstract
References
Index Terms
- Shadow Filesystems: Recovering from Filesystem Runtime Errors via Robust Alternative Execution
Recommendations
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model
Formal Methods: Foundations and ApplicationsAbstractFilesystems have held the interest of the formal verification community for a while, with several high-performance filesystems constructed with accompanying proofs of correctness. However, the question of verifying an existing filesystem and ...
A comprehensive study of energy efficiency and performance of flash-based SSD
Use of flash memory as a storage medium is becoming popular in diverse computing environments. However, because of differences in interface, flash memory requires a hard-disk-emulation layer, called FTL (flash translation layer). Although the FTL enables ...
The Reliability of Modern File Systems in the face of SSD Errors
ATC 2019 Special Section and Regular PapersAs solid state drives (SSDs) are increasingly replacing hard disk drives, the reliability of storage systems depends on the failure modes of SSDs and the ability of the file system layered on top to handle these failure modes. While the classical paper ...
Comments
Information & Contributors
Information
Published In

Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Funding Sources
- NSF
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 392Total Downloads
- Downloads (Last 12 months)392
- Downloads (Last 6 weeks)59
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in