luhsra / llfree-rs
LLFree: Lock- and Log-free Allocator
☆16Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for llfree-rs
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆49Updated last month
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- An operation-log based approach for data replication.☆62Updated last year
- A Rust library for safely programming persistent memory☆74Updated 5 months ago
- ☆37Updated 7 months ago
- Experimental kernel with built-in replication.☆155Updated 8 months ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆31Updated 4 months ago
- A Type-1.5 hypervisor written in Rust.☆55Updated 6 months ago
- ☆10Updated 6 months ago
- A rust implementation of lock free cuckoo hashmap☆67Updated 2 years ago
- A lock-free thread-safe arena based Skiplist impelementation for building memtable.☆51Updated last week
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆38Updated 2 months ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆34Updated last year
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆37Updated 4 months ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 5 months ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆32Updated last year
- 用Rust语言重写Linux kernel中的KVM☆16Updated 2 years ago
- Asynchronous Rust bindings for SPDK.☆16Updated 2 years ago
- A zero-copy serialization library and networking stack.☆43Updated 10 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆22Updated 2 months ago
- The Twizzler Operating System☆83Updated this week
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- ☆72Updated 11 months ago
- RedLeaf Operating System☆119Updated 2 years ago
- ☆40Updated last month
- ☆108Updated this week
- User-space Page Management☆104Updated 3 months ago
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆45Updated this week
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 4 months ago