Funnel Replication algorithm implementation with support for crash recovery.
-
Updated
Sep 3, 2020 - Java
Funnel Replication algorithm implementation with support for crash recovery.
Main memory key value store in several varieties
TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat
Research resources on the distributed consensus problem
Distributed Consensus.
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…
Distributed consensus algorithms implemented using Apache Kafka as a message broker.
Analysis and distributed control of opinion dynamics in a network containing malicious agents.
A Distributed Auction Game using Paxos made for CSC445.
Implementation of a distributed replication protocol used for passive replication
A multi-group Paxos library in Go.
collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities
Implementation of Lamport's mutual exclusion algorithm
A New Distributed Consensus and Distributed Ledger Algorithm
Implementation of Raft's distributed consensus using P4-programmable data-plane devices.
collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities
Distributed Raft Consensus algorithm implementation using UDP segments.
A Go implementation of Raft Algorithm & A fault-tolerant primary/backup K/V storage system that use the implementation. Written just as learning project.
Angular implementation for RAFT
Add a description, image, and links to the distributed-consensus topic page so that developers can more easily learn about it.
To associate your repository with the distributed-consensus topic, visit your repo's landing page and select "manage topics."