Inside a Verified Flash File System: Transactions and Garbage Collection.

Gidon Ernst Jörg Pfähler Gerhard Schellhorn Wolfgang Reif

Published in: VSTTE (2015)

Keyphrases

file system
garbage collection
flash memory
disk drives
storage systems
storage devices
database
hard disk
naming conventions
databases
distributed database systems
memory management
concurrency control
mobile devices
space efficient
random access
continuous media
b tree
information systems