Lancern / cache-coherence-protocol-benchLinks
Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms
☆14Updated 4 years ago
Alternatives and similar repositories for cache-coherence-protocol-bench
Users that are interested in cache-coherence-protocol-bench are comparing it to the libraries listed below
Sorting:
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆45Updated 2 years ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆35Updated 2 years ago
- ☆13Updated last year
- ☆23Updated 2 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65Updated 7 months ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- Yizhou' Homepage☆53Updated last week
- ☆27Updated 2 years ago
- ☆21Updated 4 years ago
- Website for Systems Research Seminar at UIUC☆20Updated 2 weeks ago
- ☆19Updated 11 months ago
- ☆58Updated last year
- https://rs3lab.github.io/SynCord/☆26Updated 3 years ago
- The codebase for DBSim☆16Updated 2 years ago
- ☆53Updated 2 years ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆17Updated last year
- Framework of pa code for THU compiler principle course.☆13Updated 6 years ago
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆21Updated last year
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- ☆33Updated 8 years ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Updated 5 years ago
- A simple containerized application manage system like Kubernetes, but written in Rust☆19Updated 3 years ago
- ☆37Updated 2 months ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Updated 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
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆84Updated 3 years ago
- 面向可信执行环境的OS。☆12Updated 7 months ago
- A set of tools that automate the execution of scarab simulations☆18Updated last week
- Yet Another AsYnc runtime for RuSt.☆33Updated 5 years ago