affinitydb / kernel
Affinity database C++ kernel library
☆30Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for kernel
- A Paxos implementation in C originally by Marco Primi, built on top of libevent☆35Updated 13 years ago
- Implementation of the BwTree as specified by Microsoft Research☆98Updated 8 years ago
- C implementations of several scalable non-blocking data structures for x86 and x86-64.☆38Updated 13 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- A SQL-to-native-code compiler based on LLVM☆45Updated 8 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆20Updated 3 years ago
- Experiments in partially ordered SMR.☆46Updated 3 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 7 years ago
- The Cicada engine☆56Updated 7 years ago
- Read- and latency-optimized log structured merge tree☆174Updated 12 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- lock free modified prefix B+tree append-only database☆115Updated 9 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆44Updated 2 years ago
- Code snippets for the workshop on concurrent data structure implementation.☆31Updated 11 years ago
- Masstree -- lockless cache-aware trie of B+ trees [experimental]☆97Updated 6 years ago
- Fast linearizability checker☆66Updated 9 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆24Updated 5 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 5 years ago
- Fast wait-free algorithms designed for shared memory systems☆45Updated 6 years ago
- TokuFT is a high-performance, transactional key-value store☆19Updated 4 years ago
- An attempt to split the Raft library out of LogCabin☆38Updated 7 years ago
- A transactional main-memory database system on multicores☆102Updated 6 years ago
- Prototype of FPaxos, built upon LibPaxos3☆49Updated 4 years ago
- NOPaxos consensus protocol☆133Updated 4 years ago
- Transparent Paxos☆43Updated 5 years ago
- Implementaions of concurrent lock-free SPSC queue in c++.☆14Updated 6 years ago
- A lightweight and fast key-value storage engine based on the buffer tree.☆53Updated 10 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago