Note:

This is a submodule part of the Odyssey project. Please refer to the odyssey project for execution scripts. CMakeLists.txt is not maintained. Please use the CMakeLists.txt found in vasigavr1/odyssey to compile.

Kite

Kite is a replicated, RDMA-enabled Key-Value Store that enforces available Release Consistency. Kite implements a read/write/RMW API an uses:

1. Eventual Store for relaxed reads & writes
2. MW-ABD (simply called ABD) for releases & acquires (i.e. linearizable reads/writes)
3. Classic Paxos for RMWs.
4. All-aboard Paxos for RMWs as a configurable optimization

Eventual Store (ES)

Eventual Store is a protocol that provides per-keu Sequential consistency. ES implements reads locally and incurs a broadcast round for writes.

ABD Algorithm (Attiya, Bar-Noy, Dolev )

ABD is an algorithm that implements linearizable reads and writes Writes incur 2 broadcast rounds and reads incur 1 broadcast round with an conditional second round.

Paxos

Paxos is implemented as such:

• Classic Paxos (leaderless with 3 rtts) or All-aboard Paxos (leaderless 2 rtts)
• Key-granularity: Paxos commands to different keys do not interact
• With both release and acquire semantics
• Compare And Swaps can be weak: they can fail locally if the comparison fails locally

Optimizations

The protocol is implemented over UD Sends and Receives. All messages are batched.

---

The title of the project is inspired by this