Certifying checksum-based logging in the RapidFSCQ crash-safe filesystem
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.
Main Author: | Wang, Stephanie, M. Eng Massachusetts Institute of Technology |
---|---|
Other Authors: | Frans Kaashoek and Nickolai Zeldovich. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2017
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/106390 |
Similar Items
-
Using Crash Hoare logic for certifying the FSCQ file system
by: Chen, Haogang, et al.
Published: (2021) -
Access control lists for the self-certifying filesystem
by: Savvides, George, 1976-
Published: (2014) -
Certifying a crash-safe file system
by: Chen, Haogang
Published: (2017) -
Designing multicore scalable filesystems with durability and crash consistency
by: Bhat, Srivatsa S. (Srivatsa Sitaram)
Published: (2017) -
Compiling Gallina to go for the FSCQ file system
by: Ziegler, Daniel (Daniel M.)
Published: (2018)