Back to Search Start Over

{GoJournal}: {A} Verified, Concurrent, Crash-safe Journaling System

Authors :
Chajed, T.
Tassarotti, J.
Theng, M.
Jung, R.
Kaashoek, M.
Zeldovich, N.
Source :
15th USENIX Symposium on Operating Systems Design and Implementation
Publication Year :
2021

Details

Language :
English
Database :
OpenAIRE
Journal :
15th USENIX Symposium on Operating Systems Design and Implementation
Accession number :
edsair.od......1874..8dd98b0456971857790be58aa42015b9

Tools

Authors Abstract Subjects Details