~/talk

Rust in the Linux kernel

Talkat RustLab 2023 · 2023-11-19..11-21· [rust, linux-and-operating-systems]
slides:none on file

Rust code replaces the Android binder driver with a feature-par Rust implementation that passes Android tests and even boots a device, showing microbenchmarks with comparable performance. Binder historically shows a high vulnerability density (~3.1 per KLOC) and many exploits; moving new and churn-heavy code to Rust reduces memory-safety bugs. Work involves bgen-generated C bindings, a kernel crate of safe wrappers, a half-C binder_fs kept for compatibility, a forked alloc crate, pinning macros and a custom linter Kalin to catch atomic-context sleeps.

AI-written summary · about

  1. 0:00Rust in Linux kernel intro
  2. 1:10Why Rust for Linux kernel
  3. 6:12Current Rust kernel projects
  4. 8:00Rewriting Android binder in Rust
  5. 12:23Rust binder driver progress
  6. 14:08Rust in kernel vs userspace
  7. 20:56Kernel memory allocation failures
  8. 25:21Atomic context and spin locks
  9. 30:26Linter for atomic safety
  10. 31:10Pinning in the kernel
  11. 33:15Unstable Rust features needed
  12. 36:30Contributing to embedded Rust
  13. 37:40Question and answer session
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.