imdea-software / swiftpaxos
Prototype implementation of SwiftPaxos (NSDI 2024)
☆17Updated 9 months ago
Alternatives and similar repositories for swiftpaxos:
Users that are interested in swiftpaxos are comparing it to the libraries listed below
- A yaml-based SQL planner test framework☆27Updated last month
- ☆16Updated 6 months ago
- Mea provides async primitives and combinators that are runtime agnostic.☆14Updated this week
- The labs of Raft consensus algorithm based on MadSim.☆112Updated last year
- A memcomparable serialization format.☆22Updated last year
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Explore JIT in TiDB☆28Updated 3 years ago
- Use io_uring from vanilla tokio.☆40Updated last month
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆32Updated last year
- SQL Fuzz Testing Utilities☆29Updated last year
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆16Updated last year
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆73Updated last year
- A rust implementation of lock free cuckoo hashmap☆67Updated this week
- Viewstamped Replication for Rust☆64Updated last year
- ☆12Updated 5 years ago
- Kiseki is a Rust implementation for Juicedata's juicefs (https://github.com/juicedata/juicefs), a distributed POSIX file system built on …☆29Updated 3 months ago
- Golang driver for databend cloud☆20Updated last week
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago
- ☆132Updated 2 years ago
- OSPP 2022 Project: String Adaptive Hash Table for Databend☆19Updated 2 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 7 months ago
- ☆14Updated last year
- A Postgres extension that rewrites strings to 💩☆21Updated last year
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆18Updated last year
- [WIP] An experimental cloud-native distributed KV engine for OLTP workload.☆68Updated 2 years ago
- Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025)☆42Updated last week
- LeanStore is a larger-than-memory database, optimized for NVMe SSD and multi-core CPU, achieves performance close to in-memory systems wi…☆29Updated 4 months ago
- Verified, concurrent, crash-safe transaction system☆54Updated 6 months ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 4 months ago