rcslab / aurora
Aurora Single Level Store
☆27Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for aurora
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 4 years ago
- The Twizzler Operating System☆75Updated this week
- https://www.usenix.org/conference/atc20/presentation/boucher☆24Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- ☆37Updated 6 months ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆48Updated last month
- The world's first wait-free KV store with generic durable linearizable transactions☆38Updated 2 years ago
- User-space Page Management☆104Updated 3 months ago
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- ☆26Updated 3 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 7 years ago
- ☆45Updated last year
- a high performance cache simulator and library☆96Updated 2 months ago
- Key-Value Store for Non-Volatile Memories uDepot☆44Updated 2 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12Updated 8 years ago
- Experimental kernel with built-in replication.☆154Updated 7 months ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆19Updated 3 years ago
- ☆16Updated 3 months ago
- Programming Language for Continuous Deep Analytics☆44Updated last year
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆18Updated last year
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆39Updated last year
- Heterogeneous memory mapper (hmmap)☆10Updated 3 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- A simple implementation of the write-optimized Bε Tree 🌳 - for MIT 6.854 (Advanced Algorithms).☆22Updated 4 years ago
- An operation-log based approach for data replication.☆62Updated last year
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆19Updated last year
- A framework for implementing Block Devices in User Space☆33Updated 2 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆21Updated last year
- ☆10Updated 3 years ago
- eRPC library for Rust☆13Updated 4 years ago