luhsra / llfree-rsLinks
LLFree: Lock- and Log-free Allocator
☆25Updated 2 months ago
Alternatives and similar repositories for llfree-rs
Users that are interested in llfree-rs are comparing it to the libraries listed below
Sorting:
- Experimental kernel with built-in replication.☆162Updated 3 months ago
- A Rust library for safely programming persistent memory☆75Updated last year
- Loupe: Syscall Usage Analysis Tool☆41Updated this week
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 6 months ago
- A Type-1.5 hypervisor written in Rust.☆68Updated last year
- RedLeaf Operating System☆136Updated 3 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- Rcore Virtual Machine☆114Updated last year
- ☆124Updated 5 months ago
- SQLite Benchmark☆45Updated 3 years ago
- hypercraft is a VMM library written in Rust.☆52Updated last year
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆39Updated 5 years ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆35Updated last year
- An operation-log based approach for data replication.☆65Updated 2 years ago
- Binary wrapper that disables vDSO for a wrapped application.☆15Updated 2 years ago
- ☆77Updated last year
- Rust Unikernel OS☆85Updated 2 months ago
- A verified library of synchronization primitives and concurrent data structures☆38Updated 2 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- ☆38Updated last year
- Linux kernel loader☆207Updated 3 weeks ago
- ☆64Updated last year
- Library for Restartable Sequences☆74Updated this week
- Hodor-PKU☆26Updated 4 years ago
- safe type-1 Rust Hypervisor for edge devices☆147Updated last week
- DAMON user-space tool☆58Updated this week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- framework for emulating devices in userspace☆195Updated 3 weeks ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆22Updated 5 months ago
- ☆50Updated last year