https://github.com/ivanyu/paxos

A toy single-decree Paxos implementation on Kotlin + a faulty network simulator
https://github.com/ivanyu/paxos

Last synced: about 1 month ago
JSON representation

A toy single-decree Paxos implementation on Kotlin + a faulty network simulator

• Host: GitHub
• URL: https://github.com/ivanyu/paxos
• Owner: ivanyu
• License: apache-2.0
• Created: 2019-07-01T18:46:44.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-07-24T15:48:48.000Z (almost 6 years ago)
• Last Synced: 2025-02-01T20:13:09.450Z (3 months ago)
• Language: Kotlin
• Homepage:
• Size: 101 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Paxos

This repository is an implementation of basic single-decree Paxos

algorithm.

It contains logic classes of `Acceptor` and `Proposer` that are tested

on the unit level.

It also contains a simulator with time and message passing that can

detect breaking of safety guarantees.

To run a simulation, execute:

```bash

./gradlew runSimulation -Pruns=10000

```

When the safety guarantee is detected to be broken, the simulation stop

and the log of events is printed.

Check

[src/main/resources/simulation.conf](src/main/resources/simulation.conf)

for parameters of the simulation.

# LICENSE

Copyright 2019 Ivan Yurchenko

Licensed under the Apache License, Version 2.0. See [LICENSE](LICENSE).