twizzler-operating-system / twizzlerLinks
The Twizzler Operating System
☆96Updated 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.☆160Updated last month
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆62Updated 3 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.☆64Updated 2 years ago
- A Rust library for safely programming persistent memory☆74Updated last year
- Aurora Single Level Store☆31Updated last year
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- A bogus CPU emulator written in Rust.☆52Updated 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…☆87Updated 2 weeks ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- A determinizing tracer using Ptrace☆39Updated 4 years ago
- RedLeaf Operating System☆130Updated 3 years ago
- The labs of Raft consensus algorithm based on MadSim.☆124Updated 6 months ago
- Concurrent ART (adaptive radix tree)☆156Updated 2 months ago
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆27Updated 2 years ago
- A zero-copy serialization library and networking stack.☆48Updated last year
- ☆141Updated 3 years ago
- ☆48Updated last year
- a high performance cache simulator and library☆109Updated last year
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆54Updated 2 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Programming Language for Continuous Deep Analytics☆47Updated last year
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated 2 years ago
- Rust support for seL4 userspace☆163Updated last month
- The runtime for the Verona project☆34Updated last month
- Verification and optimization tool for concurrent code☆25Updated last month
- User-space Page Management☆109Updated last year
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆43Updated 2 weeks ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆135Updated 2 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆14Updated 3 months ago