https://github.com/teo-sl/consensusidp
This repository contains the implementation of the Consensus protocol with Initially Dead Process (IDP) proposed by Michael J. Fischer, Nancy A. Lynch and Michael S. Paterson in the famous paper "Impossibility of Distributed Consensus with One Faulty Process".
https://github.com/teo-sl/consensusidp
consensus consensus-protocol distributed-systems fault-tolerance java thread
Last synced: 3 months ago
JSON representation
This repository contains the implementation of the Consensus protocol with Initially Dead Process (IDP) proposed by Michael J. Fischer, Nancy A. Lynch and Michael S. Paterson in the famous paper "Impossibility of Distributed Consensus with One Faulty Process".
- Host: GitHub
- URL: https://github.com/teo-sl/consensusidp
- Owner: teo-sl
- Created: 2022-10-31T22:42:44.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2022-11-06T16:19:37.000Z (over 3 years ago)
- Last Synced: 2025-06-12T20:33:44.592Z (8 months ago)
- Topics: consensus, consensus-protocol, distributed-systems, fault-tolerance, java, thread
- Language: Java
- Homepage:
- Size: 31.3 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: Readme.md
Awesome Lists containing this project
README
# Consensus protocol for Initially Dead Processes (IDP)
This repository contains the implementation of the Consensus protocol with Initially Dead Process (IDP) proposed by Michael J. Fischer, Nancy A. Lynch and Michael S. Paterson in the famous paper Impossibility of Distributed Consensus with One Faulty Process.
The paper's $4^{th}$ section describes a protocol that solves the consensus problem for N processes, as long as a majority of the processes are nonfaulty and no process dies during the execution of the protocol.
The protocol involves mainly graph theory aspects, like the transitive enclosure or the initial clique.
This implementation simulates the execution of N processes as N Java threads.
An example of use is presented in the Test.java file.
