- Alagappan, R., Chidambaram, V., Sankaranarayana Pillai, T., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H. Beyond storage APIs: Provable semantics for storage stacks. In Proceedings of the 15th Workshop on Hot Topics in Operating Systems (Kartause Ittingen, Switzerland, May 2015). Google ScholarDigital Library
- Al-Kiswany, S. Namenode fails to boot if the file system reorders <code>rename</code> operations, 2014; http://issues.apache.org/jira/browse/HDFS-6820.Google Scholar
- Aurora, V. POSIX v. reality: A position on O PONIES, 2009; http://lwn.net/Articles/351422/.Google Scholar
- Austin Group Defect Tracker. 0000672: Necessary step(s) to synchronize filename operations on disk, 2013; http://austingroupbugs.net/view.php?id=672.Google Scholar
- Chen, H., Ziegler, D., Chlipala, A., Kaashoek, M. F., Kohler, E., Zeldovich, N. Specifying crash safety for storage systems. In Proceedings of the 15th Workshop on Hot Topics in Operating Systems (Kartause Ittingen, Switzerland, May 2015). Google ScholarDigital Library
- Corbet, J. Ext4 and data loss, 2009; https://lwn.net/Articles/322823/.Google Scholar
- Corbet, J. That massive filesystem thread, 2009; http://lwn.net/Articles/326471/.Google Scholar
- Davies, C. Fake hard drive has short-term memory not 500GB. SlashGear, 2011; http://www.slashgear.com/fake-hard-drive-has-short-term-memory-not-500gb-08145144/.Google Scholar
- Edge, J. Testing power failures, 2015; https://lwn.net/Articles/637079/.Google Scholar
- Ganger, G.R., Patt, Y.N. 1994. Metadata update performance in file systems. In Proceedings of the 1st Symposium on Operating Systems Design and Implementation. (Monterey, CA, Nov. 1994), 49--60. Google ScholarDigital Library
- Garcia-Molina, H., Ullman, J.D., Widom, J. Database Systems: The Complete Book. Prentice Hall Press, 2008. Google ScholarDigital Library
- Hagmann, R. Reimplementing the Cedar file system using logging and group commit. In Proceedings of the 11th ACM Symposium on Operating Systems Principles, (Austin, TX, Nov. 1987). Google ScholarDigital Library
- Kim, H., Agrawal, N., Ungureanu, C. Revisiting storage for smartphones. In Proceedings of the 10th Usenix Symposium on File and Storage Technologies (San Jose, CA, Feb. 2012). Google ScholarDigital Library
- Lamport, L. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Computers 28, 9 (1979), 690--691. Google ScholarDigital Library
- Mercurial. Dealing with repository and dirstate corruption, 2014; http://mercurial.selenic.com/wiki/RepositoryCorruption.Google Scholar
- Microsoft. Alternatives to using transactional NTFS; https://msdn.microsoft.com/en-us/library/windows/desktop/hh802690(v=vs.85).aspx.Google Scholar
- Open Group Base Specifications. POSIX.1-2008 IEEE Std 1003.1, 2013; http://pubs.opengroup.org/onlinepubs/9699919799/.Google Scholar
- Sankaranarayana Pillai, T. Possible bug: <code>fsync()</code> required after calling <code>rename()</code>, 2013; https://code.google.com/p/leveldb/issues/detail?id=189.Google Scholar
- Sankaranarayana Pillai, T. Possible bug: Missing a <code>fsync()</code> on the log file before compaction, 2013; https://code.google.com/p/leveldb/issues/detail?id=187.Google Scholar
- Sankaranarayana Pillai, T., Chidambaram, V. Alagappan, R., Al-Kiswany, S., Arpaci-Dusseau, A.C. and Arpaci-Dusseau, R.H. ALICE: Application-Level Intelligent Crash Explorer; http://research.cs.wisc.edu/adsl/Software/alice/.Google Scholar
- Sankaranarayana Pillai, T., Chidambaram, V., Alagappan, R., Al-Kiswany, S., Arpaci-Dusseau, A.C. and Arpaci-Dusseau, R.H. 2014. All file systems are not created equal: on the complexity of crafting crash-consistent applications. In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (Broomfield, CO, Oct. 2014). Google ScholarDigital Library
- Sewell, P., Sarkar, S., Owens, S., Nardelli, F.Z. and Myreen, M.O. x86-TSO: A rigorous and usable programmer's model for x86 multiprocessors. Commun. ACM 53, 7 (July 2010): 89--97. Google ScholarDigital Library
- Shvachko, K., Kuang, H., Radia, S. and Chansler, R. The Hadoop Distributed File System. In Proceedings of the 26th IEEE Symposium on Mass Storage Systems and Technologies (Incline Village, NV, May 2010). Google ScholarDigital Library
- Sorin, D.J., Hill, M.D., Wood, D.A. A Primer on Memory Consistency and Cache Coherence. Morgan & Claypool Publishers, 2011. Google ScholarDigital Library
- Terry, D. Replicated data consistency explained through baseball. MSR Technical Report (Oct. 2011).Google Scholar
- Verma, R., Mendez, A.A., Park, S., Mannarswamy, S.S., Kelly, T.P., and Morrey III, C.B. Failure-atomic updates of application data in a Linux file system. In Proceedings of the 13th Usenix Symposium on File and Storage Technologies (Santa Clara, CA, Feb. 2015). Google ScholarDigital Library
- VMWare. Software-defined storage (SDS) and storage virtualization; http://www.vmware.com/software-defined-datacenter/storage.Google Scholar
- VMWare. The VMware perspective on software-defined storage; http://www.vmware.com/files/pdf/solutions/VMware-Perspective-on-software-defined-storage-white-paper.pdf.Google Scholar
- Zheng, M., Tucek, J., Huang, D., Qin, F., Lillibridge, M., Yang, E. S., Zhao, B. W., Singh, S. Torturing databases for fun and profit. In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (Broomfield, CA, Oct. 2014). Google ScholarDigital Library
Index Terms
- Crash consistency
Recommendations
Optimistic crash consistency
SOSP '13: Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems PrinciplesWe introduce optimistic crash consistency, a new approach to crash consistency in journaling file systems. Using an array of novel techniques, we demonstrate how to build an optimistic commit protocol that correctly recovers from crashes and delivers ...
Specifying and Checking File System Crash-Consistency Models
ASPLOS '16: Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating SystemsApplications 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 ...
Application Crash Consistency and Performance with CCFS
Special Issue on FAST 2017 and Regular PapersRecent research has shown that applications often incorrectly implement crash consistency. We present the Crash-Consistent File System (ccfs), a file system that improves the correctness of application-level crash consistency protocols while maintaining ...
Comments