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
- https://www.usenix.org/conference/atc20/presentation/boucher☆24Updated 2 years ago
- The Twizzler Operating System☆83Updated this week
- User-space Page Management☆104Updated 3 months ago
- ☆45Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆49Updated last month
- ☆26Updated 3 years ago
- The No-Order File System (NoFS)☆46Updated 12 years ago
- ☆37Updated 7 months ago
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- Source for SibylFS model and test tools☆34Updated 3 years ago
- The world's first wait-free KV store with generic durable linearizable transactions☆38Updated 2 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆20Updated 3 years ago
- An operation-log based approach for data replication.☆62Updated last year
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- Experimental kernel with built-in replication.☆155Updated 8 months ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆21Updated last year
- Verification and optimization tool for concurrent code☆19Updated last week
- ☆57Updated 2 years ago
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆18Updated last year
- A framework for implementing Block Devices in User Space☆33Updated 2 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
- QEMU with support for CHERI☆54Updated 2 weeks ago
- ☆22Updated last year
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆32Updated last year
- ☆20Updated 3 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- Ferrite, a toolkit for developing file system crash-consistency models☆17Updated 8 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- A simple, reference implementation of a B^e-tree☆148Updated 5 years ago