Specifying Crash Safety for Storage Systems.

Haogang Chen Daniel Ziegler Adam Chlipala M. Frans Kaashoek Eddie Kohler Nickolai Zeldovich

Published in: HotOS (2015)

Keyphrases

storage systems
file system
data grids
disk drives
high performance computing
flash memory
fine grained
storage devices
data structure
digital libraries