luhsra / llfree-rs
LLFree: Lock- and Log-free Allocator
☆21Updated 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
- Loupe: Syscall Usage Analysis Tool☆32Updated this week
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆57Updated 2 months ago
- ☆36Updated 9 months ago
- ☆56Updated 4 years ago
- A Type-1.5 hypervisor written in Rust.☆62Updated 11 months ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆27Updated 3 years ago
- A Rust library for safely programming persistent memory☆74Updated 10 months ago
- Experimental kernel with built-in replication.☆157Updated last year
- A verified library of synchronization primitives and concurrent data structures☆32Updated last week
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 7 months ago
- An operation-log based approach for data replication.☆62Updated last year
- Handle TrapFrame across kernel and user space on multiple ISAs.☆33Updated 9 months ago
- Heterogeneous Containerization of Large Language Model Apps☆41Updated 3 weeks ago
- SQLite Benchmark☆41Updated 2 years ago
- Verification and optimization tool for concurrent code☆24Updated this week
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated last year
- ☆30Updated 3 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆39Updated 2 years ago
- Nautilus Aerokernel☆45Updated 2 years ago
- ☆45Updated last year
- Library for Restartable Sequences☆70Updated this week
- Virtualisation platform using CHERI for isolation and sharing☆37Updated 10 months ago
- ☆12Updated 11 months ago
- RedLeaf Operating System☆123Updated 2 years ago
- ☆19Updated 3 years ago
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆15Updated 5 months ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated last month
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆96Updated 11 months ago
- ☆120Updated 2 months ago
- Montage is a system for building fast buffered persistent data structures on nonvolatile memory.☆15Updated 2 years ago