Recon: Verifying file system consistency at runtime

@inproceedings{Fryer2012ReconVF,
  title={Recon: Verifying file system consistency at runtime},
  author={Daniel Fryer and Kuei Sun and Rahat Mahmood and Tinghao Cheng and Shaun Benjamin and Ashvin Goel and Angela Demke Brown},
  booktitle={TOS},
  year={2012}
}
  • Daniel Fryer, Kuei Sun, +4 authors Angela Demke Brown
  • Published in TOS 2012
  • Computer Science
  • File system bugs that corrupt metadata on disk are insidious. Existing reliability methods, such as checksums, redundancy, or transactional updates, merely ensure that the corruption is reliably preserved. Typical workarounds, based on using backups or repairing the file system, are painfully slow. Worse, the recovery may result in further corruption. We present Recon, a system that protects file system metadata from buggy file system operations. Our approach leverages file systems that… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 51 CITATIONS

    Checking the Integrity of Transactional Mechanisms

    VIEW 11 EXCERPTS
    CITES BACKGROUND & METHODS

    PMTest: A Fast and Flexible Testing Framework for Persistent Memory Programs

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Building a Reliable Storage Stack

    VIEW 3 EXCERPTS
    CITES BACKGROUND, RESULTS & METHODS
    HIGHLY INFLUENCED

    SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

    VIEW 5 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Cross-Failure Bug Detection in Persistent Memory Programs

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Architectural Support for Containment-based Security

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Finding semantic bugs in file systems with an extensible fuzzing framework

    VIEW 1 EXCERPT
    CITES METHODS

    Let the Cloud Watch Over Your IoT File Systems

    VIEW 3 EXCERPTS
    CITES BACKGROUND & METHODS

    FILTER CITATIONS BY YEAR

    2012
    2020

    CITATION STATISTICS

    • 4 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 14 REFERENCES

    A study of practical deduplication

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Semantically-Smart Disk Systems

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Ksplice: automatic rebootless kernel updates

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Automatically generating malicious disks using symbolic execution

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Goal-Directed Reasoning for Specification-Based Data Structure Repair

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL