efficient / libinger
https://www.usenix.org/conference/atc20/presentation/boucher
☆24Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for libinger
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- An operation-log based approach for data replication.☆62Updated last year
- A Rust user-space file system [WIP]☆28Updated 3 years ago
- Simplify the use of performance counters.☆61Updated 2 years ago
- A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand☆48Updated 5 years ago
- This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.☆78Updated 6 years ago
- eRPC library for Rust☆13Updated 4 years ago
- Experimental kernel with built-in replication.☆154Updated 7 months ago
- Rust bindings for SPDK☆12Updated 4 years ago
- ☆45Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆48Updated last month
- ☆31Updated 2 years ago
- Programming Language for Continuous Deep Analytics☆44Updated last year
- Implementation of Adaptive Radix Tree in Rust☆42Updated 4 years ago
- SFI verifier of Wasm binaries☆80Updated last year
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆37Updated 2 months ago
- Azure Cosmos TLA+ specifications☆20Updated 10 months ago
- LiTL: Library for Transparent Lock Interposition☆77Updated last year
- Aurora Single Level Store☆27Updated 8 months ago
- A determinizing tracer using Ptrace☆34Updated 4 years ago
- User-space Page Management☆104Updated 3 months ago
- Tests with PlusCal / TLA+☆25Updated 7 years ago
- Rust bindings for SPDK☆19Updated 7 years ago
- The Twizzler Operating System☆75Updated this week
- Artifact for PPoPP'18☆17Updated 2 years ago
- Viewstamped Replication for Rust☆64Updated last year
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- reimplementing scalog from scratch☆30Updated 4 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago