This repo includes the code submitted for UCSB's Winter 2021 CS 171.

Project "publish/subscribe system based on Topics" assigned in the class "Algorithm and Distributed Systems" 2019/ 2020.

A minimal basic-paxos protocol implemeted by Java

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.

Discovering some distributed algorithms. "Introduction to Reliable and Secure Distributed Programming" book used as main reference.

Specification and proof of the Paxos protocol in Dafny

some papers.

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.

go paxos demo

Multi-Paxos replicated log in Rust

Java Implentation of Paxos Consensus Algorithm

Raft implementation using akka.

Multi Paxos Implementation to maintain consistent log in the replicated machine

Transactional Distributed Database Layer

A Key-Value paxos server on Elixir

Distributed Key-Value Database, using Paxos algorithm to reach a decision over client requests

Distributed Systems Algorithms Final Project

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…