Crash Consistency
Crash Consistency is a formal guarantee in file system semantics that ensures the persistent state of data and metadata remains structurally coherent and logically valid after an unanticipated system failure, by preserving the illusion of atomicity and ordering in the presence of incomplete write operations.
75
Publications
3.8K
Citations
226
Authors
73
Institutions
Publications per year
2017–2026
33
Parents
75
Crash Recovery in a Distributed Data Storage System
Butler Lampson, Howard E. Sturgis · 1981 · 323 citations
Aleksandar Dragojević, Dushyanth Narayanan, Edmund B. Nightingale et al. · 2015 · 284 citations
Using Crash Hoare logic for certifying the FSCQ file system
Haogang Chen, Daniel Ziegler, Tej Chajed et al. · 2015 · 200 citations · Full text
Jinglei Ren, Jishen Zhao, Samira Khan et al. · 2015 · 170 citations
1–5 of 75
226
6
h-index
6
h-index
5
h-index
5
h-index
University of Wisconsin–Madison, United States
4 publications · 310 citations
4
h-index
1–5 of 226
73
The University of Texas at Austin
Austin, United States
6 h-index
19 publications
756 citations
University of Wisconsin–Madison
Madison, United States
6 h-index
26 publications
1.6K citations
University of Virginia
Charlottesville, United States
5 h-index
12 publications
859 citations
Virginia Tech
Blacksburg, United States
5 h-index
15 publications
432 citations
Tsinghua University
Beijing, China
4 h-index
13 publications
560 citations

Pennsylvania State University
State College, United States
4 h-index
7 publications
293 citations
Purdue University West Lafayette
West Lafayette, United States
4 h-index
10 publications
256 citations
University of Michigan
Ann Arbor, United States
4 h-index
7 publications
226 citations
1–8 of 73
Conference · 2 publications · 60 citations
2
h-index
Conference · 2 publications · 96 citations
2
h-index
2 publications · 27 citations
2
h-index
1 publications · 42 citations
1
h-index
Conference · 1 publications · 11 citations
1
h-index
1–5