utsaslab / squirrelfs
SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
☆55Updated last month
Alternatives and similar repositories for squirrelfs:
Users that are interested in squirrelfs are comparing it to the libraries listed below
- An operation-log based approach for data replication.☆62Updated last year
- ☆12Updated 10 months ago
- RedLeaf Operating System☆122Updated 2 years ago
- ☆44Updated 5 months ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆39Updated 2 years ago
- A Rust library for safely programming persistent memory☆74Updated 9 months ago
- Experimental kernel with built-in replication.☆157Updated last year
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆32Updated 6 months ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆77Updated 2 years ago
- A rust implementation of lock free cuckoo hashmap☆67Updated last month
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 9 months ago
- Heterogeneous Containerization of Large Language Model Apps☆32Updated this week
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated last year
- The labs of Raft consensus algorithm based on MadSim.☆116Updated last month
- LLFree: Lock- and Log-free Allocator☆20Updated last month
- The repo for SOSP23 paper: FIFO queues are all you need for cache evictions☆115Updated 9 months ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆22Updated last year
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆14Updated 4 months ago
- Course website for Systems Verification Fall 2024☆11Updated this week
- Concurrent ART (adaptive radix tree)☆142Updated last month
- 用Rust语言重写Linux kernel中的KVM☆16Updated 2 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆39Updated 3 months ago
- ☆20Updated 3 years ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆28Updated 2 years ago
- ☆113Updated last month
- Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025)☆42Updated 2 months ago
- ☆46Updated last year
- An OS kernel module for fast **remote** fork using advanced datacenter networking (RDMA).☆60Updated last month
- Verification and optimization tool for concurrent code☆23Updated last week