All file systems are not created equal: on the complexity of crafting crash-consistent applications
作者： Remzi H. Arpaci-Dusseau , Samer Al-Kiswany , Andrea C. Arpaci-Dusseau , Thanumalayan Sankaranarayana Pillai , Vijay Chidambaram
关键词: Software 、 Correctness 、 State (computer science) 、 Consistency (database systems) 、 Alice (programming language) 、 Virtualization 、 Distributed computing 、 Computer science 、 Operating system 、 Protocol (science) 、 File system
摘要: … applications implicitly expect ordering among system calls (eg… of the 11 tested applications have trouble properly recovering … Calls Applications are extremely vulnerable to system calls …
acm.org
otago.ac.nz 参考文章(30)
Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau, Tushar Sharma, Vijay Chidambaram, Consistency without ordering file and storage technologies. pp. 9- 9 ,(2012) , 10.5555/2208461.2208470
Vijayan Prabhakaran, Andrea C Arpaci-Dusseau, Remzi H Arpaci-Dusseau, None, Analysis and evolution of journaling file systems usenix annual technical conference. pp. 8- 8 ,(2005)
Erez Zadok, Richard P. Spillane, Charles P. Wright, Sachin Gaikwad, Manjunath Chinni, Enabling transactional file access via lightweight kernel extensions file and storage technologies. pp. 29- 42 ,(2009)
Mark Lillibridge, Mai Zheng, Bill W. Zhao, Elizabeth S. Yang, Shashank Singh, Feng Qin, Dachuan Huang, Joseph Tucek, Torturing databases for fun and profit operating systems design and implementation. pp. 449- 464 ,(2014) , 10.5555/2685048.2685083
Robert A. Yost, Donald D. Chamberlin, A. M. Gilbert, A history of system R and SQL/data system very large data bases. pp. 456- 464 ,(1981)
L Kerschberg S Jajodia, None, Advanced Transaction Models and Architectures ,(2012)
Cris Pedregal Martin, Krithi Ramamritham, Toward Formalizing Recovery of (Advanced) Transactions Advanced Transaction Models and Architectures. pp. 213- 234 ,(1997) , 10.1007/978-1-4615-6217-7_8
Bill Gallagher, Dean Jacobs, Anno Langen, A high-performance, transactional filestore for application servers Proceedings of the 2005 ACM SIGMOD international conference on Management of data - SIGMOD '05. pp. 868- 872 ,(2005) , 10.1145/1066157.1066269
Junfeng Yang, Can Sar, Dawson Engler, EXPLODE: a lightweight, general system for finding serious storage system errors operating systems design and implementation. pp. 131- 146 ,(2006) , 10.5555/1298455.1298469
Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Optimistic crash consistency symposium on operating systems principles. pp. 228- 243 ,(2013) , 10.1145/2517349.2522726