You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Styx++ is an easy-to-integrate open-source solution that bundles together existing tools and concepts, providing researchers outside of the systems domain with a reliable distributed system for their database needs.
The goal of this project is to design a fault-tolerant distributed system. Here we focus on a Akka state-machine replicated system build atop Obstruction-Free Consensus and Paxos. Project done in Télécom Paris.
This project aimed at extending the original Paxos implementation specified by Lamport into a version with preemption. As part of this project I also added correctness testing to check that executions with both the original and the extended versions are correct. I measure the running times to learn a consensus value under varying values of 3 par…