There is a newer version of this record available.

Software Open Access

Verifying a concurrent, crash-safe journaling system using JrnlCert (Artifact)

Chajed, Tej; Tassarotti, Joseph; Theng, Mark; Jung, Ralf; Kaashoek, Frans; Zeldovich, Nickolai

OSDI 2021 artifact. See https://github.com/mit-pdos/goose-nfsd/tree/master/osdi21-artifact#readme for instructions on using this artifact.

Files (3.2 GB)
Name Size
jrnlcert-osdi21-artifact.ova
md5:85f10dfb9a83140a661afddbf959fdc9
3.2 GB Download
61
11
views
downloads
All versions This version
Views 6144
Downloads 1110
Data volume 34.1 GB32.2 GB
Unique views 5338
Unique downloads 109

Share

Cite as