twizzler-operating-system / twizzler
The Twizzler Operating System
☆86Updated this week
Alternatives and similar repositories for twizzler:
Users that are interested in twizzler are comparing it to the libraries listed below
- Experimental kernel with built-in replication.☆157Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆55Updated last month
- 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
- Aurora Single Level Store☆29Updated last year
- An operation-log based approach for data replication.☆62Updated last year
- RedLeaf Operating System☆122Updated 2 years ago
- ☆27Updated 2 weeks ago
- ☆43Updated 11 months ago
- ☆19Updated 8 months ago
- ☆46Updated last year
- ☆136Updated 2 years ago
- Verification and optimization tool for concurrent code☆23Updated 2 weeks ago
- ☆114Updated 2 months ago
- The labs of Raft consensus algorithm based on MadSim.☆116Updated last month
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆22Updated last year
- LiTL: Library for Transparent Lock Interposition☆79Updated last year
- A Rust library for safely programming persistent memory☆74Updated 9 months ago
- ☆27Updated 3 years ago
- Verifying concurrent crash-safe systems☆175Updated this week
- User-space Page Management☆108Updated 7 months ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆25Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆129Updated last year
- a high performance cache simulator and library☆102Updated 7 months ago
- This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.☆78Updated 7 years ago
- ☆56Updated 4 years ago
- A zero-copy serialization library and networking stack.☆46Updated 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…☆27Updated this week
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year