Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

First Page		Document Content
Date: 2018-08-25 00:49:18 Computer architecture Computing System software Disk file systems C POSIX library System calls Application programming interfaces Ext4 Sync POSIX Ext3 File system		Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: unsat.cs.washington.edu Download Document from Source Website File Size: 616,23 KB Share Document on Facebook

	The Composite-file File System: Decoupling the One-to-one Mapping of Files and Metadata for Better Performance Shuanglong Zhang, Helen Catanese, and An-I Andy Wang Computer Science Department, Florida State University Ab DocID: 1qYNu - View Document
	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li DocID: 1qjVu - View Document
	Increasing Automation in the Backporting of Linux Drivers Using Coccinelle Luis R. Rodriguez Julia Lawall DocID: 1pYaA - View Document
	Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications James Mickens, Edmund B. Nightingale, Jeremy Elson, and Darren Gehring, Microsoft Research; Bin Fan, Carnegie Mellon University; Asim Kadav and V DocID: 1pxLV - View Document
	btrfs and snapper The Next Steps From Pure filesystem Features to Management Integration and Compliance SUSECon 2013, Orlando, Florida DocID: 1pxDl - View Document