midwinter1993 / dogfoodLinks
Artifact evaluation for Dogfood
☆12Updated 5 years ago
Alternatives and similar repositories for dogfood
Users that are interested in dogfood are comparing it to the libraries listed below
Sorting:
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆38Updated 11 months ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆153Updated this week
- ☆58Updated last year
- Writing a hypervisor in Rust☆12Updated 4 months ago
- The MOSAIC Operating Systems Model and Checker☆195Updated 2 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆36Updated 10 months ago
- An RISC-V experimental OS☆25Updated last year
- 项目的主仓库☆25Updated 2 years ago
- ☆23Updated 2 years ago
- ☆72Updated last year
- 面向可信执行环境的OS。☆12Updated 3 months ago
- Study materials collected while studying☆51Updated 3 years ago
- Linux kernel labs☆55Updated 4 years ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆44Updated last week
- Let's write an x86 hypervisor in Rust from scratch!☆158Updated last year
- ☆10Updated 3 years ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆56Updated last year
- Compile Optimization Guided Binary Translator (using llvm as infrastructure)☆51Updated 11 months ago
- x86_64体系结构学习☆10Updated 6 years ago
- 使用哈希页表实现虚拟机的stage-2页表☆7Updated 3 months ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆21Updated 3 years ago
- A Progam-Behavior-Guided Far Memory System☆35Updated last year
- ☆48Updated 2 years ago
- On-demand-fork☆30Updated 2 years ago
- ☆42Updated last year
- A mirror of https://bitbucket.org/ajaustin/hemem/src/sosp-submission/☆23Updated 2 years ago
- ☆15Updated 3 years ago
- Transparent zero-copy IO☆21Updated last year
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆20Updated 9 months ago
- 基于eBPF实现高性能用户态文件系统功能☆14Updated 3 months ago