Logical Disk: A Simple New Approach to Improving File System Performance
Making a file system efficient usually requires extensive modifications. For example, making a file system log-structured requires the introduction of new data structures that are tightly coupled with the general file system code.
Main Authors: | de Jonge, Wiebren, Kaashoek, M. Frans, Hsieh, Wilson C. |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149739 |
Similar Items
-
Using Crash Hoare logic for certifying the FSCQ file system
by: Chen, Haogang, et al.
Published: (2021) -
Certifying a file system using crash hoare logic
by: Chajed, Tej, et al.
Published: (2019) -
Hare: a file system for non-cache-coherent multicores
by: Gruenwald, Charles, et al.
Published: (2016) -
Scaling a file system to many cores using an operation log
by: Bhat, Srivatsa S., et al.
Published: (2021) -
Verifying a high-performance crash-safe file system using a tree specification
by: Chen, Haogang, et al.
Published: (2021)