Rex and Its Integration with Rust-for-Linux

Explore a conference talk presenting Rex, a Rust-based kernel extension framework that provides safety guarantees similar to eBPF while leveraging Rust's language-based safety features instead of in-kernel verification. Learn how Rex addresses the limitations of eBPF's overly restrictive verification requirements and complex constraints by enforcing extension programs to be written in a safe subset of Rust, with the Rex compiler performing safety checks and generating native code directly. Discover the framework's architecture, including its custom kernel crate that provides safe Rust wrappers and bindings for existing eBPF interfaces, and its lightweight runtime system that implements graceful Rust panic handling with resource cleanup, kernel stack usage monitoring, and extension program termination capabilities. Gain insights into the design philosophy behind positioning Rex as a middle ground between Rust kernel modules and eBPF, and participate in discussions about potential integration opportunities with the Rust-for-Linux project, contributions to the broader Rust kernel ecosystem, and considerations regarding trust in the Rust toolchain for kernel-level safety guarantees.