mit-pdos / gokvLinks
☆16Updated 2 months ago
Alternatives and similar repositories for gokv
Users that are interested in gokv are comparing it to the libraries listed below
Sorting:
- Verified, concurrent, crash-safe transaction system☆59Updated last year
- ☆25Updated 6 months ago
- The labs of Raft consensus algorithm based on MadSim.☆125Updated 9 months ago
- 🗳 A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.☆31Updated 4 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 6 months ago
- ☆27Updated 2 years ago
- ☆13Updated last year
- ☆19Updated 10 months ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆83Updated 2 years ago
- Asynchronous Rust bindings for SPDK.☆17Updated 3 years ago
- a high performance cache simulator and library☆112Updated last year
- InfiniStore: an elastic serverless cloud storage system (VLDB'23)☆24Updated 2 years ago
- In Spec We Trust☆41Updated 5 months ago
- Fast and efficient file system metadata through LSM-tree☆30Updated 3 years ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆35Updated 2 years ago
- Enables building safer SPDK-based Rust applications☆81Updated this week
- ☆121Updated 2 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆61Updated 5 years ago
- Course website for Systems Verification Fall 2024☆13Updated 4 months ago
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆21Updated 2 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆44Updated 2 years ago
- ☆15Updated 2 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆41Updated 5 years ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆114Updated this week
- TLA+ model checking guided testing for distributed systems☆17Updated last year
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆172Updated last year
- A Postgres Extension to Manage Extensions! (As well as some random stuff)☆15Updated 2 years ago
- framework for evaluating (planet-scale) consensus protocols☆129Updated last year
- ☆26Updated 3 years ago
- YCSB in Rust (WIP)☆19Updated 4 years ago