utsaslab / chipmunk
Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
☆18Updated 8 months ago
Alternatives and similar repositories for chipmunk:
Users that are interested in chipmunk are comparing it to the libraries listed below
- ☆26Updated 4 years ago
- A Filesystem Semi-Microkernel.☆37Updated 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
- ☆35Updated 2 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 3 years ago
- Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)☆8Updated 2 years ago
- VANS: A validated NVRAM simulator☆26Updated last year
- Strata: A Cross Media File System☆70Updated last year
- This repository contains the source code for our ACM SIGMOD '21 paper (Maximizing Persistent Memory Bandwidth Utilization for OLAP Worklo…☆21Updated 2 years ago
- ☆16Updated last year
- A Memory-Disaggregated Managed Runtime.☆65Updated 3 years ago
- ☆13Updated 3 years ago
- Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)☆18Updated last year
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆33Updated 3 years ago
- This is the open-source site for XFDetector (ASPLOS'20)☆11Updated 3 years ago
- Fast In-memory Transaction Processing using Hybrid RDMA Primitives☆67Updated 6 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆48Updated 6 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆16Updated last year
- ☆12Updated 2 years ago
- ☆20Updated 3 years ago
- Prefetching and efficient data path for memory disaggregation☆65Updated 4 years ago
- ☆57Updated 3 years ago
- Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony☆33Updated 8 months ago
- Hydra adds resilience and high availability to remote memory solutions.☆30Updated 3 years ago
- ☆26Updated 2 years ago
- ThyNVM: Transparent hybrid NonVolatile Memory (NOTE: This repo is not working yet. Please refer to the old version: https://github.com/ba…☆29Updated 7 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 5 years ago
- MemLiner is a remote-memory-friendly runtime system.☆30Updated 2 years ago
- This is the respository that holds the artifacts of MICRO'23 -- Demystifying CXL Memory with True CXL-Ready Systems and CXL Memory Device…☆44Updated 11 months ago