twizzler-operating-system / twizzlerLinks
The Twizzler Operating System
☆95Updated this week
Alternatives and similar repositories for twizzler
Users that are interested in twizzler are comparing it to the libraries listed below
Sorting:
- Experimental kernel with built-in replication.☆159Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆60Updated 2 months ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 5 years ago
- An operation-log based approach for data replication.☆63Updated 2 years ago
- Aurora Single Level Store☆31Updated last year
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆38Updated last week
- A Rust library for safely programming persistent memory☆74Updated last year
- A determinizing tracer using Ptrace☆38Updated 4 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆13Updated last week
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated 2 years ago
- A bogus CPU emulator written in Rust.☆52Updated 11 months ago
- ☆47Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆88Updated last year
- a high performance cache simulator and library☆106Updated 11 months ago
- ☆137Updated 3 years ago
- RedLeaf Operating System☆129Updated 3 years ago
- Programming Language for Continuous Deep Analytics☆47Updated last year
- ☆123Updated last month
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆25Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆37Updated last week
- A zero-copy serialization library and networking stack.☆47Updated last year
- User-space Page Management☆109Updated 11 months ago
- The labs of Raft consensus algorithm based on MadSim.☆122Updated 4 months ago
- ☆232Updated last year
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆13Updated last month
- ☆75Updated last year
- ☆21Updated last month
- Verification and optimization tool for concurrent code☆25Updated 3 months ago
- ☆28Updated 4 years ago