jiangyy / c3
Crash Consistency Checker
☆10Updated 8 years ago
Related projects: ⓘ
- ☆40Updated 2 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆19Updated 2 years ago
- https://rs3lab.github.io/SynCord/☆21Updated last year
- Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication☆30Updated 8 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆15Updated last year
- ☆31Updated 3 months ago
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆34Updated 11 months ago
- FusionFS: Fusing I/O Operations using CISCOps in Firmware File Systems, FAST '22☆17Updated 2 years ago
- ☆18Updated last week
- Strata: A Cross Media File System☆69Updated last year
- MemLiner is a remote-memory-friendly runtime system.☆30Updated last year
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 3 months ago
- This is the implementation repository of our FAST'23 paper: FUSEE: A Fully Memory-Disaggregated Key-Value Store.☆50Updated last year
- Transparent Paxos☆44Updated 5 years ago
- ☆52Updated 4 years ago
- ☆49Updated 6 months ago
- A user-level tool for extracting SSD internal properties☆17Updated last year
- 项目的主仓库☆22Updated 2 years ago
- Fast In-memory Transaction Processing using RDMA and HTM☆55Updated 8 years ago
- ☆26Updated 4 years ago
- Artifacts of EuroSys'24 paper "Exploring Performance and Cost Optimization with ASIC-Based CXL Memory"☆20Updated 7 months ago
- A false sharing detection and repair tool☆12Updated 5 years ago
- Understanding the Idiosyncrasies of Real Persistent Memory☆32Updated 3 years ago
- x86_64体系结构学习☆10Updated 5 years ago
- ☆13Updated last year
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- ☆25Updated 2 years ago
- Lock-free Concurrent Level Hashing for Persistent Memory (USENIX ATC 2020)☆49Updated 3 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆14Updated 6 months ago
- A Filesystem Semi-Microkernel.☆31Updated 10 months ago