Go offline with the Player FM app!
Linux Kernel Scheduler Developer | David Vernet
Manage episode 405370712 series 2954990
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 the show who has spent quite a bit of time focusing on one aspect, that being the scheduler.
=========Guest Links==========
Twitch: https://www.twitch.tv/Byte_Lab
Kernel Recipes 2023: https://www.youtube.com/watch?v=8kAcnNVSAdI
LSF 2023: https://www.youtube.com/watch?v=MXejs4KGAro
BPF: https://datatracker.ietf.org/wg/bpf/about/
Sched_ext Repo: https://github.com/sched-ext/sched_ext
SCX Repo: https://github.com/sched-ext/scx
Other Changes 1: https://lore.kernel.org/all/20230809221218.163894-1-void@manifault.com/
Other Changes 2: https://lore.kernel.org/all/20231212003141.216236-1-void@manifault.com/
==========Support The Show==========
► Patreon: https://www.patreon.com/brodierobertson
► Paypal: https://www.paypal.me/BrodieRobertsonVideo
► Amazon USA: https://amzn.to/3d5gykF
► Other Methods: https://cointr.ee/brodierobertson
=========Video Platforms==========
🎥 YouTube: https://www.youtube.com/channel/UCBq5p-xOla8xhnrbhu8AIAg
=========Audio Release=========
🎵 RSS: https://anchor.fm/s/149fd51c/podcast/rss
🎵 Apple Podcast:https://podcasts.apple.com/us/podcast/tech-over-tea/id1501727953
🎵 Spotify: https://open.spotify.com/show/3IfFpfzlLo7OPsEnl4gbdM
🎵 Google Podcast: https://www.google.com/podcasts?feed=aHR0cHM6Ly9hbmNob3IuZm0vcy8xNDlmZDUxYy9wb2RjYXN0L3Jzcw==
🎵 Anchor: https://anchor.fm/tech-over-tea
==========Social Media==========
🎤 Discord:https://discord.gg/PkMRVn9
🐦 Twitter: https://twitter.com/TechOverTeaShow
📷 Instagram: https://www.instagram.com/techovertea/
🌐 Mastodon:https://mastodon.social/web/accounts/1093345
==========Credits==========
🎨 Channel Art:
All my art has was created by Supercozman
https://twitter.com/Supercozman
https://www.instagram.com/supercozman_draws/
DISCLOSURE: Wherever possible I use referral links, which means if you click one of the links in this video or description and make a purchase we may receive a small commission or other compensation.
232 episodes
Manage episode 405370712 series 2954990
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 the show who has spent quite a bit of time focusing on one aspect, that being the scheduler.
=========Guest Links==========
Twitch: https://www.twitch.tv/Byte_Lab
Kernel Recipes 2023: https://www.youtube.com/watch?v=8kAcnNVSAdI
LSF 2023: https://www.youtube.com/watch?v=MXejs4KGAro
BPF: https://datatracker.ietf.org/wg/bpf/about/
Sched_ext Repo: https://github.com/sched-ext/sched_ext
SCX Repo: https://github.com/sched-ext/scx
Other Changes 1: https://lore.kernel.org/all/20230809221218.163894-1-void@manifault.com/
Other Changes 2: https://lore.kernel.org/all/20231212003141.216236-1-void@manifault.com/
==========Support The Show==========
► Patreon: https://www.patreon.com/brodierobertson
► Paypal: https://www.paypal.me/BrodieRobertsonVideo
► Amazon USA: https://amzn.to/3d5gykF
► Other Methods: https://cointr.ee/brodierobertson
=========Video Platforms==========
🎥 YouTube: https://www.youtube.com/channel/UCBq5p-xOla8xhnrbhu8AIAg
=========Audio Release=========
🎵 RSS: https://anchor.fm/s/149fd51c/podcast/rss
🎵 Apple Podcast:https://podcasts.apple.com/us/podcast/tech-over-tea/id1501727953
🎵 Spotify: https://open.spotify.com/show/3IfFpfzlLo7OPsEnl4gbdM
🎵 Google Podcast: https://www.google.com/podcasts?feed=aHR0cHM6Ly9hbmNob3IuZm0vcy8xNDlmZDUxYy9wb2RjYXN0L3Jzcw==
🎵 Anchor: https://anchor.fm/tech-over-tea
==========Social Media==========
🎤 Discord:https://discord.gg/PkMRVn9
🐦 Twitter: https://twitter.com/TechOverTeaShow
📷 Instagram: https://www.instagram.com/techovertea/
🌐 Mastodon:https://mastodon.social/web/accounts/1093345
==========Credits==========
🎨 Channel Art:
All my art has was created by Supercozman
https://twitter.com/Supercozman
https://www.instagram.com/supercozman_draws/
DISCLOSURE: Wherever possible I use referral links, which means if you click one of the links in this video or description and make a purchase we may receive a small commission or other compensation.
232 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.