Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Compile-time Detection of Atomic Context Violations for Kernel Rust Code

Linux Plumbers Conference via YouTube

Overview

Explore compile-time detection of atomic context violations in kernel Rust code through Dr. Gary Guo's 27-minute conference talk at the Linux Plumbers Conference. Delve into the challenges of maintaining safety and correctness in the Linux kernel, particularly focusing on the dangers of sleeping inside an atomic context. Examine how such violations can escalate from correctness issues to safety hazards, potentially causing use-after-free problems in scenarios involving RCU read locks. Learn about Klint, a specialized tool designed to catch these violations at compile time, and discover how it employs simple, understandable rules to generate developer-friendly diagnostics. Gain insights into why traditional safe APIs, often burdened with runtime costs or ergonomic issues, may be less suitable for kernel development, and how Klint aims to address these concerns.

Syllabus

Klint: Compile-time Detection of Atomic Context Violations for Kernel Rust Code - Dr Gary Guo

Taught by

Linux Plumbers Conference

Reviews

Start your review of Compile-time Detection of Atomic Context Violations for Kernel Rust Code

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.