luhsra / llfree-rsLinks
LLFree: Lock- and Log-free Allocator
☆22Updated 3 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:
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆59Updated last month
- Loupe: Syscall Usage Analysis Tool☆35Updated this week
- A Type-1.5 hypervisor written in Rust.☆65Updated last year
- An operation-log based approach for data replication.☆62Updated 2 years ago
- A Rust library for safely programming persistent memory☆74Updated 11 months ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆32Updated 10 months ago
- Verification and optimization tool for concurrent code☆24Updated last month
- A verified library of synchronization primitives and concurrent data structures☆35Updated last month
- SQLite Benchmark☆43Updated 2 years ago
- ☆36Updated 11 months ago
- RedLeaf Operating System☆124Updated 3 years ago
- ☆47Updated last year
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆35Updated 8 months ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆39Updated 2 years ago
- ☆26Updated 2 years ago
- hypercraft is a VMM library written in Rust.☆50Updated 7 months ago
- Experimental kernel with built-in replication.☆157Updated last year
- ☆73Updated last year
- Rust RISC-V Virtual Machine☆104Updated 6 months ago
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆16Updated 6 months ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated last year
- Simplify the use of performance counters.☆64Updated 3 years ago
- ☆62Updated 5 years ago
- ☆122Updated 4 months ago
- ☆12Updated last year
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 2 months ago
- ☆62Updated 11 months ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆21Updated 3 weeks ago
- ☆20Updated 3 years ago