Rex and its integration with Rust-for-Linux
summary
Rex implements a Rust-based kernel extension framework that compiles a safe subset of Rust to native code, ships a Rex kernel crate with safe wrappers over existing eBPF helpers, and runs a lightweight runtime that handles panics, enforces kernel stack checks, and performs per-CPU resource cleanup. A real workload, the BMC cache, shrinks from 500 lines to ~300 lines and yields comparable performance with a measured <5% speedup. Classroom use shows students can write correct extensions.
AI-written summary · about
chapters (8)
- 0:00Introduction and team background
- 2:32Language-verifier gap in BPF
- 5:20Introducing Rex framework
- 7:07Safe exception handling in Rex
- 11:42Resource cleanup on panic
- 18:24Rex usability evaluation
- 21:12Conclusion and future work
- 22:18Q&A and community feedback
