rcslab / aurora
Aurora Single Level Store
☆30Updated last year
Alternatives and similar repositories for aurora:
Users that are interested in aurora are comparing it to the libraries listed below
- 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☆90Updated this week
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- The world's first wait-free KV store with generic durable linearizable transactions☆40Updated 3 years ago
- Heterogeneous memory mapper (hmmap)☆10Updated 4 years ago
- ☆47Updated 2 years ago
- Experimental kernel with built-in replication.☆157Updated last year
- The No-Order File System (NoFS)☆46Updated 12 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆20Updated 3 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆51Updated 2 years ago
- K42 Kernel☆27Updated 12 years ago
- Source for SibylFS model and test tools☆35Updated 4 years ago
- An operation-log based approach for data replication.☆62Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- QEMU with support for CHERI☆58Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆13Updated 5 months ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Official mirror of the Muen Separation Kernel repository☆85Updated last week
- Parallel sections library for parallel data-structures☆14Updated last year
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago
- User-space Page Management☆107Updated 8 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆57Updated 2 months ago
- Rust APIs for userworld zfs(uzfs)☆16Updated this week
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 8 years ago
- Prototype Mixed-consistency transaction implementation☆62Updated 6 years ago
- eRPC library for Rust☆14Updated 5 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆21Updated 5 years ago
- A compiler for an Ada-like language☆29Updated this week