hsnlab / annabellaDBLinks
☆11Updated 3 years ago
Alternatives and similar repositories for annabellaDB
Users that are interested in annabellaDB are comparing it to the libraries listed below
Sorting:
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Experiments in partially ordered SMR.☆48Updated 4 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 4 years ago
- framework for evaluating (planet-scale) consensus protocols☆128Updated last year
- A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.☆105Updated 3 weeks ago
- TLA+ specification of Fast Flexible Paxos☆17Updated 4 years ago
- "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)☆25Updated 7 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 3 years ago
- Couchbase Key-Value Engine☆140Updated last week
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆37Updated 6 years ago
- Prototype of FPaxos, built upon LibPaxos3☆48Updated 5 years ago
- Append-only key-value database on a distributed shared-log☆52Updated last year
- A SQL-to-native-code compiler based on LLVM☆48Updated 9 years ago
- ☆12Updated 5 years ago
- NOPaxos consensus protocol☆136Updated 4 years ago
- A high-performance distributed shared-log for Ceph☆115Updated 6 years ago
- A project to implement Augmented Time☆49Updated 11 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆22Updated 4 years ago
- RocksDB modified to separate keys and values, resulting in a major decrease in write amplification without sacrificing performance☆55Updated 4 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 5 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 8 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆171Updated last year
- Server Wide Clocks for Distributed Eventually Consistent Systems☆46Updated 8 years ago
- Multi-core Window-Based Stream Processing Engine☆72Updated 3 years ago
- File-system fault injection framework for distributed storage systems☆67Updated 6 years ago
- Fast linearizability checker☆67Updated 10 years ago
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago
- The Cicada engine☆59Updated 8 years ago
- The Lightstep distributed tracing library for C++☆39Updated last year
- ☆28Updated 3 years ago