rs3lab / KFlex
☆21Updated last month
Related projects ⓘ
Alternatives and complementary repositories for KFlex
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆38Updated 4 months ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆74Updated last week
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆60Updated last year
- XRP: In-Kernel Storage Functions with eBPF☆207Updated last year
- ☆45Updated last year
- ☆48Updated last year
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆193Updated 2 years ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- ☆221Updated 11 months ago
- ☆60Updated 4 months ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆29Updated 2 years ago
- DAMON user-space tool☆155Updated 2 months ago
- i10 kernel implementation (NSDI'20)☆52Updated 4 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆49Updated last month
- ☆20Updated 3 years ago
- Meta's fleetwide profiler framework☆46Updated 3 weeks ago
- Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers☆134Updated this week
- Loupe: Syscall Usage Analysis Tool☆25Updated 2 months ago
- https://rs3lab.github.io/SynCord/☆21Updated 2 years ago
- ☆27Updated 3 months ago
- A zero-copy serialization library and networking stack.☆43Updated 10 months ago
- Seemlessly Migrate Process without boundary.☆24Updated 5 months ago
- Resource Allocation for Dynamic Demands☆18Updated 10 months ago
- This repo is no longer active. sched_ext is now developed in https://git.kernel.org/pub/scm/linux/kernel/git/tj/sched_ext.git/☆132Updated 5 months ago
- ☆23Updated last year
- blk-switch kernel implementation (OSDI'21)☆70Updated 7 months ago
- ☆16Updated 3 weeks ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆93Updated last week
- An operation-log based approach for data replication.☆62Updated last year
- ☆51Updated 6 months ago