MinPaxos

export GOPATH=[...]/git/minpaxos/

What is MinPaxos?

MinPaxos is an implementation of Multi-Paxos that is an extension of Carnegie Melon's epaxos repository. It is my Princeton Senior Thesis designed to provide a mimimalistic, understandable implementation of Multi-Paxos for fault tolerance in distributed systems.

AUTHOR:

Andrew Lin, Princeton University Class of 2021

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
bin		bin
src		src
tla+		tla+
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
bareminrun.sh		bareminrun.sh
checklog.sh		checklog.sh
client+killprocess.sh		client+killprocess.sh
fixreconnect.sh		fixreconnect.sh
leaderelectiontestmaster.sh		leaderelectiontestmaster.sh
listings-golang.sty		listings-golang.sty
lotschecklog.sh		lotschecklog.sh
masterkill.sh		masterkill.sh
noreconnecttwoservers.sh		noreconnecttwoservers.sh
run.sh		run.sh
simpletest.sh		simpletest.sh
singleserverreconnect.sh		singleserverreconnect.sh
twoserversreconnect.sh		twoserversreconnect.sh

License

arobertlin/MinPaxos

Folders and files

Latest commit

History

Repository files navigation

MinPaxos

What is MinPaxos?

About

Resources

License

Stars

Watchers

Forks

Languages