Software Open Access
GoJournal: a verified, concurrent, crash-safe journaling system (Artifact)
Chajed, Tej;
Tassarotti, Joseph;
Theng, Mark;
Jung, Ralf;
Kaashoek, Frans;
Zeldovich, Nickolai
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
(2.0 GB)
| Name | Size | |
|---|---|---|
|
gojournal-osdi21-artifact.ova
md5:3c3f9f33cecdd1343abe9bb96a367351 |
2.0 GB | Download |
77
13
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 77 | 30 |
| Downloads | 13 | 3 |
| Data volume | 38.1 GB | 5.9 GB |
| Unique views | 69 | 29 |
| Unique downloads | 11 | 2 |
Indexed in
- Publication date:
- July 14, 2021
- DOI:
-
- Keyword(s):
- verification
- Grants:
-
European Commission:
- RustBelt - Logical Foundations for the Future of Safe Systems Programming (683289)
- Meeting:
- 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2021), 14-16 July, 2021
- License (for files):
- Creative Commons Attribution 4.0 International