jiangyy / c3Links
Crash Consistency Checker
☆11Updated 9 years ago
Alternatives and similar repositories for c3
Users that are interested in c3 are comparing it to the libraries listed below
Sorting:
- Yizhou' Homepage☆51Updated last month
- ☆43Updated 3 years ago
- ☆15Updated 5 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆38Updated last year
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆82Updated 3 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Updated 11 years ago
- ☆19Updated 8 months ago
- ☆58Updated last year
- Lab assignments for 6.826☆11Updated 5 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- 项目的主仓库☆25Updated 3 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆33Updated 3 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis☆19Updated 5 years ago
- 华科七边形,欢迎各位朋友的指导与交流。☆30Updated 10 months ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆43Updated 2 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Updated last year
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆36Updated last year
- Website for Systems Research Seminar at UIUC☆20Updated this week
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆21Updated 3 years ago
- ☆51Updated 3 years ago
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆24Updated 3 years ago
- ☆23Updated 2 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆15Updated 4 months ago
- ☆33Updated 7 years ago
- 用Rust语言重新设计与实现xv6☆35Updated 3 years ago
- The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing☆22Updated 3 years ago
- 面向可信执行环境的OS。☆12Updated 4 months ago
- ☆12Updated last year