HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery

We present a framework called Hierarchically Interacting Logs (HIL) for constructing Flash Translation Layers (FTLs). The main goal of the HIL framework is to heal the Achilles heel —the crash recovery—of FTLs (hence, its name). Nonetheless, the framework itself is general enough to encompass not on...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on storage 2018-12, Vol.14 (4), p.1-29
Hauptverfasser:	Choi, Jin-Yong, Nam, Eyee Hyun, Seong, Yoon Jae, Yoon, Jin Hyuk, Lee, Sookwan, Kim, Hong Seok, Park, Jeongsu, Woo, Yeong-Jae, Lee, Sheayun, Min, Sang Lyul
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!