luhsra / llfree-rs
LLFree: Lock- and Log-free Allocator
☆20Updated last week
Alternatives and similar repositories for llfree-rs:
Users that are interested in llfree-rs are comparing it to the libraries listed below
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆54Updated last week
- Loupe: Syscall Usage Analysis Tool☆30Updated this week
- Verification and optimization tool for concurrent code☆23Updated 2 weeks ago
- ☆40Updated 10 months ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆31Updated 7 months ago
- A Rust library for safely programming persistent memory☆73Updated 8 months ago
- ☆11Updated 9 months ago
- ☆20Updated 2 years ago
- Experimental kernel with built-in replication.☆157Updated 11 months ago
- An operation-log based approach for data replication.☆61Updated last year
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 8 months ago
- Asynchronous Rust bindings for SPDK.☆16Updated 2 years ago
- A verified library of synchronization primitives and concurrent data structures☆27Updated this week
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆37Updated last year
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 5 months ago
- Code and results for our paper "Analyzing Vectorized Hash Tables Across CPU Architectures" @ VLDB '23.☆24Updated last year
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆47Updated 2 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- ☆21Updated last year
- ☆72Updated last year
- ☆24Updated last year
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆32Updated last year
- ☆35Updated 7 months ago
- Rust bindings for SPDK☆12Updated 4 years ago
- User-space Page Management☆106Updated 6 months ago
- The world's first wait-free KV store with generic durable linearizable transactions☆40Updated 2 years ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆22Updated last year
- ☆44Updated 4 months ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 7 months ago
- ☆26Updated 3 years ago