#210 Linux Kernel Scheduler Developer | David Vernet

2025 1:55:19
Synopsis
The linux kernel is something we all use but have you ever thought about what goes into it, well today we've got David Vernet on ...

You Might Also Like

Kernel Recipes 2023 - sched_ext: pluggable scheduling in the Linux kernel 47:26
Kernel Recipes 2023 - Sched_ext: Pluggable Scheduling In The...
2024
sched ext - David Vernet 1:00:25
Sched Ext - David Vernet
2024
Checking your work: Linux kernel testing and CI - David Vernet 18:46
Checking Your Work: Linux Kernel Testing And Ci - David Vern...
2023
More features and use-cases for sched_ext (David Vernet) 30:38
More Features And Use-cases For Sched_ext (david Vernet)
2025
Linux Kernel Scheduler 20:58
Linux Kernel Scheduler
2021
“Understanding Kernel Scheduling Behavior with SchedViz” by Lee Baugh (Google) 17:54
“understanding Kernel Scheduling Behavior With Schedviz”...
2021
How do we make a Steamdeck scheduler work on large servers - David Dai (Meta), Ryan Newton (Meta) 15:33
How Do We Make A Steamdeck Scheduler Work On Large Servers -...
2026
Why Is The Linux Kernel's Process Scheduler So Intelligent? - All About Operating Systems 3:15
Why Is The Linux Kernel's Process Scheduler So Intelligent? ...
2026
Kernel Recipes 2024 - Scheduling with superpowers: Using sched_ext to get big perf gains 40:56
Kernel Recipes 2024 - Scheduling With Superpowers: Using Sch...
2025
Crafting a Linux kernel scheduler in Rust - Andrea Righi 57:05
Crafting A Linux Kernel Scheduler In Rust - Andrea Righi
2025
The Linux Scheduler: a Decade of Wasted Cores - Papers We Love SG 36:27
The Linux Scheduler: A Decade Of Wasted Cores - Papers We Lo...
2017
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.