josehu07 / summerset
Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
☆13Updated 5 months ago
Alternatives and similar repositories for summerset:
Users that are interested in summerset are comparing it to the libraries listed below
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆57Updated this week
- ☆12Updated 11 months ago
- Heterogeneous Containerization of Large Language Model Apps☆41Updated last month
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆11Updated 7 months ago
- Pretty printing library for SQL☆24Updated last year
- Prototype implementation of SwiftPaxos (NSDI 2024)☆17Updated last year
- Take your first step in writing a compiler. Implemented in Rust.☆15Updated 2 years ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated last year
- Rust bindings for SPDK☆12Updated 5 years ago
- eRPC library for Rust☆14Updated 5 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆39Updated 5 months ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆14Updated last year
- An experimental optimizing compiler for Bril☆66Updated this week
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Superscalar RISC-V processor written in Clash.☆34Updated 2 years ago
- ☆28Updated 3 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 8 months ago
- ☆43Updated 2 years ago
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆23Updated 2 years ago
- A rust implementation of lock free cuckoo hashmap☆68Updated 3 months ago
- ☆19Updated 2 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆39Updated 2 years ago
- Course website for Systems Verification Fall 2024☆11Updated 3 weeks ago
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Updated 3 years ago
- A memcomparable serialization format.☆23Updated last year
- An operation-log based approach for data replication.☆62Updated 2 years ago
- Use io_uring from vanilla tokio.☆46Updated this week
- A zero-copy serialization library and networking stack.☆46Updated last year