Matches in SemOpenAlex for { <https://semopenalex.org/work/W4245208088> ?p ?o ?g. }
- W4245208088 endingPage "98" @default.
- W4245208088 startingPage "83" @default.
- W4245208088 abstract "Applications depend on persistent storage to recover state after system crashes. But the POSIX file system interfaces do not define the possible outcomes of a crash. As a result, it is difficult for application writers to correctly understand the ordering of and dependencies between file system operations, which can lead to corrupt application state and, in the worst case, catastrophic data loss. This paper presents crash-consistency models, analogous to memory consistency models, which describe the behavior of a file system across crashes. Crash-consistency models include both litmus tests, which demonstrate allowed and forbidden behaviors, and axiomatic and operational specifications. We present a formal framework for developing crash-consistency models, and a toolkit, called Ferrite, for validating those models against real file system implementations. We develop a crash-consistency model for ext4, and use Ferrite to demonstrate unintuitive crash behaviors of the ext4 implementation. To demonstrate the utility of crash-consistency models to application writers, we use our models to prototype proof-of-concept verification and synthesis tools, as well as new library interfaces for crash-safe applications." @default.
- W4245208088 created "2022-05-12" @default.
- W4245208088 creator A5007408091 @default.
- W4245208088 creator A5014548534 @default.
- W4245208088 creator A5045220535 @default.
- W4245208088 creator A5055964348 @default.
- W4245208088 creator A5077068949 @default.
- W4245208088 creator A5088791029 @default.
- W4245208088 date "2016-03-25" @default.
- W4245208088 modified "2023-10-17" @default.
- W4245208088 title "Specifying and Checking File System Crash-Consistency Models" @default.
- W4245208088 cites W1421635567 @default.
- W4245208088 cites W1519503479 @default.
- W4245208088 cites W157238496 @default.
- W4245208088 cites W1594228127 @default.
- W4245208088 cites W1808398105 @default.
- W4245208088 cites W1822674892 @default.
- W4245208088 cites W1852929912 @default.
- W4245208088 cites W1940267184 @default.
- W4245208088 cites W1964802076 @default.
- W4245208088 cites W1985227357 @default.
- W4245208088 cites W1998669042 @default.
- W4245208088 cites W2009404871 @default.
- W4245208088 cites W2020395879 @default.
- W4245208088 cites W2025018396 @default.
- W4245208088 cites W2030689875 @default.
- W4245208088 cites W2031032746 @default.
- W4245208088 cites W2054739713 @default.
- W4245208088 cites W2057156093 @default.
- W4245208088 cites W2073742357 @default.
- W4245208088 cites W2091085450 @default.
- W4245208088 cites W2098643127 @default.
- W4245208088 cites W2104413677 @default.
- W4245208088 cites W2104670257 @default.
- W4245208088 cites W2104954161 @default.
- W4245208088 cites W2130427425 @default.
- W4245208088 cites W2134184428 @default.
- W4245208088 cites W2141423292 @default.
- W4245208088 cites W2149236697 @default.
- W4245208088 cites W2149911648 @default.
- W4245208088 cites W2154161369 @default.
- W4245208088 cites W2155061608 @default.
- W4245208088 cites W2159890891 @default.
- W4245208088 cites W2160963348 @default.
- W4245208088 cites W2205436351 @default.
- W4245208088 cites W2418656106 @default.
- W4245208088 cites W2583566947 @default.
- W4245208088 cites W2584459836 @default.
- W4245208088 cites W2620706897 @default.
- W4245208088 cites W3021404837 @default.
- W4245208088 cites W4243477111 @default.
- W4245208088 doi "https://doi.org/10.1145/2954679.2872406" @default.
- W4245208088 hasPublicationYear "2016" @default.
- W4245208088 type Work @default.
- W4245208088 citedByCount "1" @default.
- W4245208088 countsByYear W42452080882022 @default.
- W4245208088 crossrefType "journal-article" @default.
- W4245208088 hasAuthorship W4245208088A5007408091 @default.
- W4245208088 hasAuthorship W4245208088A5014548534 @default.
- W4245208088 hasAuthorship W4245208088A5045220535 @default.
- W4245208088 hasAuthorship W4245208088A5055964348 @default.
- W4245208088 hasAuthorship W4245208088A5077068949 @default.
- W4245208088 hasAuthorship W4245208088A5088791029 @default.
- W4245208088 hasBestOaLocation W42452080881 @default.
- W4245208088 hasConcept C111919701 @default.
- W4245208088 hasConcept C154945302 @default.
- W4245208088 hasConcept C175652121 @default.
- W4245208088 hasConcept C183469790 @default.
- W4245208088 hasConcept C199360897 @default.
- W4245208088 hasConcept C26713055 @default.
- W4245208088 hasConcept C2776436953 @default.
- W4245208088 hasConcept C2780940931 @default.
- W4245208088 hasConcept C37279795 @default.
- W4245208088 hasConcept C41008148 @default.
- W4245208088 hasConcept C532756234 @default.
- W4245208088 hasConcept C82029504 @default.
- W4245208088 hasConcept C93361087 @default.
- W4245208088 hasConceptScore W4245208088C111919701 @default.
- W4245208088 hasConceptScore W4245208088C154945302 @default.
- W4245208088 hasConceptScore W4245208088C175652121 @default.
- W4245208088 hasConceptScore W4245208088C183469790 @default.
- W4245208088 hasConceptScore W4245208088C199360897 @default.
- W4245208088 hasConceptScore W4245208088C26713055 @default.
- W4245208088 hasConceptScore W4245208088C2776436953 @default.
- W4245208088 hasConceptScore W4245208088C2780940931 @default.
- W4245208088 hasConceptScore W4245208088C37279795 @default.
- W4245208088 hasConceptScore W4245208088C41008148 @default.
- W4245208088 hasConceptScore W4245208088C532756234 @default.
- W4245208088 hasConceptScore W4245208088C82029504 @default.
- W4245208088 hasConceptScore W4245208088C93361087 @default.
- W4245208088 hasFunder F4320306076 @default.
- W4245208088 hasFunder F4320332180 @default.
- W4245208088 hasIssue "4" @default.
- W4245208088 hasLocation W42452080881 @default.
- W4245208088 hasOpenAccess W4245208088 @default.
- W4245208088 hasPrimaryLocation W42452080881 @default.
- W4245208088 hasRelatedWork W172083608 @default.
- W4245208088 hasRelatedWork W2322874084 @default.