Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif

First Page		Document Content
Date: 2015-02-26 04:38:47 Disk file systems Flash file systems Embedded Linux Unix UBIFS LogFS Log-structured file system File system Virtual file system System software Computing Software		Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Download Document from Source Website File Size: 446,09 KB Share Document on Facebook

	85 On-line Data Compression in a Log-structured File System Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann DocID: 1u9Yu - View Document
	Elephant: The File System that Never Forgets Douglas J. Santry, Michael J. Feeley, Norman C. Hutchinson Department of Computer Science University of British Columbia Vancouver, Canada dsantry,feeley,norm @cs.ubc.ca DocID: 1rpgl - View Document
	Gecko: A Contention-Oblivious Design for Cloud Storage Ji-Yong Shin∗, Mahesh Balakrishnan‡, Lakshmi Ganesh§, Tudor Marian†, Hakim Weatherspoon∗ ∗ Cornell University, ‡ Microsoft Research, § UT Austin, † G DocID: 1l9AT - View Document
	Soft Updates: A Solution to the Metadata Update Problem in File Systems GREGORY R. GANGER Carnegie Mellon University MARSHALL KIRK MCKUSICK McKusick.com DocID: 1fKVE - View Document
	The Design and Implementation of a Log-Structured File System Mendel Rosenblum and John K. Ousterhout Electrical Engineering and Computer Sciences, Computer Science Division University of California Berkeley, CAme DocID: 1bbgy - View Document