# README

GoTxn: a verified, concurrent, crash-safe transaction system

GoTxn is a transaction system that makes it easy to safely access a disk with concurrent transactions that are atomic if the system crashes in the middle. The implementation is verified in Perennial, and the proof can be found alongside the Perennial framework.

The biggest use of GoTxn is GoNFS, a verified implementation of the Network File System (NFS) API that uses GoTxn to simplify implementing and verifying a concurrent file system.

This repository is still called go-journal, as GoTxn evolved from a journaling system to a transaction system. The journaling layer is still available as github.com/mit-pdos/go-journal/jrnl.

Publications

GoJournal: a verified, concurrent, crash-safe journaling system at OSDI 2021

# Packages

addr

No description provided by the author

alloc

No description provided by the author

buf

buf manages sub-block disk objects, to be packed into disk blocks.

common

No description provided by the author

jrnl

Package jrnl is the top-level journal API.

jrnl_replication

No description provided by the author

lockmap

lockmap is a sharded lock map.

obj

Package obj atomically installs objects from modified buffers in their corresponding disk blocks and writes the blocks to the write-ahead log.

txn

Package txn implements a full transaction interface on top of GoJournal.

util

No description provided by the author

wal

wal implements write-ahead logging The layout of log: [ installed writes | logged writes | in-memory/logged | unstable in-memory ] ^ ^ ^ ^ 0 memStart diskEnd nextDiskEnd Blocks in the range [diskEnd, nextDiskEnd) are in the process of being logged.