Pinned Loading

1. ease-lab/Hermes ease-lab/Hermes Public

   Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.

   C 165 16

2. icsa-caps/ccKVS icsa-caps/ccKVS Public

   An RDMA skew-aware key-value store, which implements the Scale-Out ccNUMA design, to exploit skew in order to increase performance of data-serving applications.

   C 18 8

3. ease-lab/Zeus ease-lab/Zeus Public

   This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.

   TLA 18 1

4. Odyssey Odyssey Public

   Forked from vasigavr1/Odyssey

   Shell

5. Kite Kite Public

   Forked from vasigavr1/Kite

   Kite is a replicated, RDMA-enabled Key-Value Store that enforces available Release Consistency using Classic Paxos, ABD, Eventual Store and carstamps. The Kite paper appeared in PPoPP '20.

   C 1

6. time_rdtsc time_rdtsc Public

   Efficient timers via a short and sweet C wrapper that combines RDTSC efficiency with traditional timespec API.

   C 6 4