imdea-software / swiftpaxos
Prototype implementation of SwiftPaxos (NSDI 2024)
☆18Updated last year
Alternatives and similar repositories for swiftpaxos
Users that are interested in swiftpaxos are comparing it to the libraries listed below
Sorting:
- A yaml-based SQL planner test framework☆27Updated 4 months ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆80Updated 2 years ago
- SQL Fuzz Testing Utilities☆29Updated last year
- The labs of Raft consensus algorithm based on MadSim.☆120Updated 2 months ago
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆21Updated 2 years ago
- Mea provides async primitives and combinators that are runtime agnostic.☆33Updated last week
- ☆21Updated last week
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆25Updated 2 weeks ago
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆23Updated 2 years ago
- OSPP 2022 Project: String Adaptive Hash Table for Databend☆19Updated 2 years ago
- A playground to experiment with Raft proposal pipeline optimization☆16Updated 2 years ago
- Verified, concurrent, crash-safe transaction system☆57Updated 9 months ago
- ☆12Updated 5 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆45Updated last year
- Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index☆54Updated 7 months ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated last month
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆25Updated 5 years ago
- Code for "Lessons Learned from Building a Query Optimizer" blog series☆47Updated 3 months ago
- A memcomparable serialization format.☆23Updated 2 years ago
- Distributed consensus system with Map interface based on Apache Ratis☆27Updated last year
- [WIP] An experimental cloud-native distributed KV engine for OLTP workload.☆69Updated 2 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- A toy memory store with great performance☆34Updated 2 years ago
- A SQL query compiler written in Rust from scratch☆22Updated 7 months ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated last year
- Explore JIT in TiDB☆27Updated 3 years ago
- Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025 Best Paper Award)☆53Updated 2 weeks ago
- Use io_uring from vanilla tokio.☆46Updated last week
- An ergonomic, opinionated framework for SQL integration test.☆23Updated 3 months ago
- A rust implementation of lock free cuckoo hashmap☆68Updated 3 months ago