twizzler-operating-system / twizzlerLinks
The Twizzler Operating System
☆104Updated last week
Alternatives and similar repositories for twizzler
Users that are interested in twizzler are comparing it to the libraries listed below
Sorting:
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65Updated 8 months ago
- Experimental kernel with built-in replication.☆162Updated 5 months ago
- 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
- An operation-log based approach for data replication.☆65Updated 2 years ago
- Aurora Single Level Store☆32Updated last year
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆28Updated 2 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated this week
- A Rust library for safely programming persistent memory☆74Updated last year
- The labs of Raft consensus algorithm based on MadSim.☆126Updated 10 months ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆35Updated 2 years ago
- ☆146Updated 3 years ago
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆42Updated 8 months ago
- RedLeaf Operating System☆136Updated 3 years ago
- A determinizing tracer using Ptrace☆39Updated 5 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index☆82Updated last year
- ☆28Updated 4 years ago
- a high performance cache simulator and library☆111Updated last year
- A zero-copy serialization library and networking stack.☆50Updated last year
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆142Updated 2 years ago
- Concurrent ART (adaptive radix tree)☆174Updated 3 months ago
- A bogus CPU emulator written in Rust.☆54Updated last year
- ☆27Updated 7 months ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆141Updated this week
- Rust support for seL4 userspace☆179Updated last month
- ☆50Updated last year
- ☆125Updated 6 months ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆16Updated 7 months ago
- Streaming and Incremental Computation Framework☆246Updated 2 years ago