

Linux Kernel Scheduler Developer | David Vernet
Mar 8, 2024
The podcast features a Linux kernel scheduler developer discussing topics such as optimizing CPU scheduling, implementing SkedX with BPF programs, load balancing in kernel space, standardizing BPF, decision-making on BPF instruction grouping, work conservation with shared run queues, challenges in Linux desktop environments, kernel maintenance intricacies, exploring Skedex, and streaming kernel development on Twitch.
Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12
Introduction
00:00 • 3min
Optimizing CPU Scheduling for Enhanced Performance
03:29 • 18min
SkedX: A Pluggable Scheduling Framework with BPF Programs
21:28 • 8min
Understanding Load Balancing and System Optimization in Kernel Space
29:32 • 14min
Standardizing BPF with GPLv2 License Implications
43:06 • 9min
Decision-making on BPF instruction grouping and following RISC-V standard
52:33 • 1min
Optimizing Work Conservation with Shared Run Queues
53:52 • 6min
Navigating Challenges in Linux Desktop Environments
01:00:06 • 22min
Navigating the Complexities of Kernel Maintenance
01:21:42 • 20min
Exploring Skedex in the Linux Kernel Scheduler
01:41:51 • 10sec
Streaming Kernel Development on Twitch
01:42:01 • 9min
Guest Promotion and Technical Difficulties
01:50:52 • 4min