josehu07 / summersetLinks
Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
☆13Updated this week
Alternatives and similar repositories for summerset
Users that are interested in summerset are comparing it to the libraries listed below
Sorting:
- ☆12Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆59Updated 3 weeks ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆39Updated 2 years ago
- Rust bindings for SPDK☆12Updated 5 years ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆14Updated last year
- Heterogeneous Containerization of Large Language Model Apps☆43Updated 2 months ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Updated last year
- eRPC library for Rust☆14Updated 5 years ago
- Verification and optimization tool for concurrent code☆24Updated last month
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆11Updated 8 months ago
- A Postgres Extension to Manage Extensions! (As well as some random stuff)☆14Updated 2 years ago
- Prototype implementation of SwiftPaxos (NSDI 2024)☆18Updated last year
- Take your first step in writing a compiler. Implemented in Rust.☆16Updated 2 years ago
- Pretty printing library for SQL☆24Updated last year
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆40Updated 6 months ago
- ☆30Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- An operation-log based approach for data replication.☆62Updated 2 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆21Updated 3 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆12Updated 2 weeks ago
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆23Updated 2 years ago
- ☆26Updated 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
- An experimental optimizing compiler for Bril☆69Updated this week
- Source code for Practical DB-OS Co-Design with Privileged Kernel Bypass☆11Updated 4 months ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆37Updated 9 months ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated 2 months ago