Specifying and Checking File System Crash-Consistency Models-Reference-Cited by-同舟云学术

Specifying and Checking File System Crash-Consistency Models

Published:2016-03-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Bornholt James¹,Kaufmann Antoine¹,Li Jialin¹,Krishnamurthy Arvind¹,Torlak Emina¹,Wang Xi¹

Affiliation:

1. University of Washington, Seattle, WA, USA

Funder

National Science Foundation

Defense Advanced Research Projects Agency

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2872362.2872406

Reference89 articles.

1. Memory models

2. A formal hierarchy of weak memory models

3. Fences in Weak Memory Models

4. Litmus: Running Tests against Hardware

5. R. H. Arpaci-Dusseau and A. C. Arpaci-Dusseau. Operating Systems: Three Easy Pieces. Arpaci-Dusseau Books 0.90 edition Mar. 2015. R. H. Arpaci-Dusseau and A. C. Arpaci-Dusseau. Operating Systems: Three Easy Pieces. Arpaci-Dusseau Books 0.90 edition Mar. 2015.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CEIU: Consistent and Efficient Incremental Update mechanism for mobile systems on flash storage;Journal of Systems Architecture;2024-07

2. When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection;Proceedings of the VLDB Endowment;2024-07

3. Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08

4. Grisette: Symbolic Compilation as a Functional Programming Library;Proceedings of the ACM on Programming Languages;2023-01-09

5. Comparative Analysis of Crash Consistency Techniques in File Systems;Proceedings of the NIELIT's International Conference on Communication, Electronics and Digital Technology;2023