Back to Search
Start Over
The design and verification of the Rio file cache
- Source :
- IEEE Transactions on Computers. 50:322-337
- Publication Year :
- 2001
- Publisher :
- Institute of Electrical and Electronics Engineers (IEEE), 2001.
-
Abstract
- Today's file systems are limited in speed and reliability by memory's vulnerability to operating system crashes. Because memory is viewed as unsafe, systems periodically write modified file data back to disk. These extra disk writes lower system performance and the delay period before data is safe lowers reliability. The goal of the Rio (RAM I/O) file cache is to make ordinary main memory safe for persistent storage by enabling memory to survive operating system crashes. Reliable main memory enables the Rio file cache to be as reliable as a write-through file cache, where every write is safe instantly, and as fast as a pure write-back file cache, with no reliability-induced writes to disk. This paper describes the systematic, quantitative process we used to design and verify the Rio file cache on Intel PCs running FreeBSD and the reliability and performance of the resulting system.
- Subjects :
- Computer science
Cache coloring
Stub file
Cache pollution
computer.software_genre
Theoretical Computer Science
Persistence (computer science)
Data_FILES
Versioning file system
SSH File Transfer Protocol
Cache algorithms
Flash file system
File system fragmentation
Hardware_MEMORYSTRUCTURES
business.industry
Computer file
Device file
Unix file types
Memory-mapped file
File Control Block
Self-certifying File System
Computational Theory and Mathematics
Hardware and Architecture
Journaling file system
Embedded system
Operating system
Page cache
Cache
business
computer
Software
Subjects
Details
- ISSN :
- 00189340
- Volume :
- 50
- Database :
- OpenAIRE
- Journal :
- IEEE Transactions on Computers
- Accession number :
- edsair.doi...........a2cca914aaf3ef8223d456cc8a98d4e2