Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published July 14, 2021 | Version v0.2.0
Software Open

GoJournal: a verified, concurrent, crash-safe journaling system (Artifact)

  • 1. MIT CSAIL
  • 2. Boston College
  • 3. MPI-SWS

Description

OSDI 2021 artifact for the GoJournal paper.

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

The artifact has been updated since artifact review to match the final version of the paper.

Files

Files (2.0 GB)

Name Size Download all
md5:3c3f9f33cecdd1343abe9bb96a367351
2.0 GB Download

Additional details

Funding

RustBelt – Logical Foundations for the Future of Safe Systems Programming 683289
European Commission