Skip to content

mit-pdos/gokv

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

Grove SOSP'23 artifact

The Grove artifact is in its own repository (with its own README) here. 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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages