https://github.com/mit-pdos/gokv

https://github.com/mit-pdos/gokv

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/mit-pdos/gokv
• Owner: mit-pdos
• Created: 2021-03-09T16:33:54.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2024-08-26T18:53:03.000Z (4 months ago)
• Last Synced: 2024-08-26T22:06:50.384Z (4 months ago)
• Language: Go
• Size: 5.56 MB
• Stars: 10
• Watchers: 9
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Overview

The code for the replicated state machine library vRSM and the key-value store

vKV are in the `vrsm` directory. Inside, there are packages for

primary/backup replica servers (`replica`), a config service (`configservice`), a

storage library (`storage`), a clerk (`clerk`), and some applications

including the key-value store vKV (`apps`).

The proofs for all of this code are in the [Perennial

repository](https://github.com/mit-pdos/perennial/tree/master/src/program_proof/simplepb).

# Grove SOSP'23 artifact

The Grove artifact is in its own repository (with its own README)

[here](https://github.com/mit-pdos/grove-artifact). It includes a specific

commit of this repository as a git submodule. The artifact repository describes

how to run the experiments described in the SOSP'23 paper.