Writing Linux Kernel Modules in Safe Rust - Geoffrey Thomas & Alex Gaynor
Writing Linux Kernel Modules in Safe Rust - Geoffrey Thomas, Two Sigma Investments & Alex Gaynor, Alloy
With 65% of recent Linux kernel vulnerabilities being the result of memory unsafety (buffer overflows, pointers used after being freed, etc.) and not logic errors, both kernel developers and downstream users have wondered whether it's possible to use a safer language than C for kernel development. This talk will explore the presenters' work building a framework for writing kernel modules in Rust and accessing kernel APIs in safe Rust. In particular, the talk will discuss some of the challenges of building binary-compatible kernel modules in Rust, techniques for working with existing C code, and how to design safe bindings over raw kernel APIs. It will also discuss advantages and difficulties for integrating Rust in upstream kernel development and possible directions the upstream kernel community could go.
Видео Writing Linux Kernel Modules in Safe Rust - Geoffrey Thomas & Alex Gaynor канала The Linux Foundation
With 65% of recent Linux kernel vulnerabilities being the result of memory unsafety (buffer overflows, pointers used after being freed, etc.) and not logic errors, both kernel developers and downstream users have wondered whether it's possible to use a safer language than C for kernel development. This talk will explore the presenters' work building a framework for writing kernel modules in Rust and accessing kernel APIs in safe Rust. In particular, the talk will discuss some of the challenges of building binary-compatible kernel modules in Rust, techniques for working with existing C code, and how to design safe bindings over raw kernel APIs. It will also discuss advantages and difficulties for integrating Rust in upstream kernel development and possible directions the upstream kernel community could go.
Видео Writing Linux Kernel Modules in Safe Rust - Geoffrey Thomas & Alex Gaynor канала The Linux Foundation
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Tutorial: Building the Simplest Possible Linux System - Rob Landley, se-instruments.comRust at speed — building a fast concurrent databaseThe mind behind Linux | Linus TorvaldsIs It Time to Rewrite the Operating System in Rust?Keynote: Linus Torvalds in conversation with Dirk HohndelUnix50 - Unix Today and Tomorrow: The LanguagesRust for C++ developers - What you need to know to get rolling with crates - Pavel YosifovichRust in the Browser for JavaScripters: New Frontiers, New PossibilitiesIntroduction to Memory Management in LinuxConsidering RustAshley Williams - intermezzOS: a teaching operating systemBryan Cantrill: The Summer of RUSTLinus Torvalds answers questions about LinuxLinus Torvalds - LinuxCon North America 2016The Forgotten Art of Structured Programming - Kevlin Henney [C++ on Sea 2019]Linux vs. Windows | The Fundamental DifferencesRust Ownership and BorrowingMonotron - a 1980s style home computer written in Rust — Jonathan PallantWrite and Submit your first Linux kernel PatchSteven Rostedt - Learning the Linux Kernel with tracing