rcslab / auroraLinks
Aurora Single Level Store
☆32Updated last year
Alternatives and similar repositories for aurora
Users that are interested in aurora are comparing it to the libraries listed below
Sorting:
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆66Updated 5 years ago
- The Twizzler Operating System☆103Updated last week
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Heterogeneous memory mapper (hmmap)☆11Updated 4 years ago
- Experimental kernel with built-in replication.☆162Updated 4 months ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆23Updated 4 years ago
- Verification and optimization tool for concurrent code☆25Updated 4 months ago
- The world's first wait-free KV store with generic durable linearizable transactions☆41Updated 3 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 7 months ago
- The No-Order File System (NoFS)☆48Updated 13 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 2 years ago
- A component-based OS☆193Updated 9 months ago
- ☆28Updated 4 years ago
- A term rewriting system for experimental programming language development.☆47Updated 2 weeks ago
- ☆48Updated last year
- This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.☆79Updated 7 years ago
- ☆48Updated 2 years ago
- User-space Page Management☆111Updated last year
- A framework for implementing Block Devices in User Space☆34Updated 3 years ago
- K42 Kernel☆31Updated 13 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- RLU resizable hash-table☆17Updated 10 years ago
- a high performance cache simulator and library☆111Updated last year
- eRPC library for Rust☆14Updated 5 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆33Updated 5 years ago
- An operation-log based approach for data replication.☆65Updated 2 years ago
- LiTL: Library for Transparent Lock Interposition☆84Updated 2 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- Regionalized Value State Dependence Graph written in Rust☆11Updated 6 years ago