byte_lab Profile Banner
David Vernet Profile
David Vernet

@byte_lab

Followers
392
Following
881
Media
4
Statuses
83

Ring 0 Linux kernel hacker at Meta, scheduler-bug-adder, BPF standardization co-chair. If you want to know how it works, break it apart.

Chicago, IL
Joined March 2020
Don't wanna be here? Send us removal request.
@byte_lab
David Vernet
11 months
“So far Apple has yet to mitigate these issues even with being disclosed to the company last year.”
@phoronix
Phoronix
11 months
Apple CPUs Affected By New SLAP & FLOP Side-Channel Attacks https://t.co/c9qeewd0mM
0
0
5
@ietf
@IETF
1 year
With the BPF Instruction Set Architecture (ISA) document now officially published as #RFC9669 read about the details the process of bringing the RFC document to fruition, and why it's important to standardize core components of the BPF ecosystem: https://t.co/F7snL3KuYA
0
4
16
@byte_lab
David Vernet
1 year
I wonder if aliens in the sombrero galaxy realize that other aliens look at their entire galaxy and are like, “Lol that’s a sombrero”
0
0
2
@byte_lab
David Vernet
1 year
The BPF Instruction Set Architecture RFC document is hot off the presses: https://t.co/WdruzDjV3F. Thanks to the @ietf, and to everyone who participated and helped make it happen!
1
13
39
@byte_lab
David Vernet
1 year
Very interested and excited to hear more details. I always assumed it was impossible to trace an inlined function because the compiler can do basically anything with it, including e.g. eliding it completely. Daniel knows this though, so I’m keen to see what he’s cooked up!
@__dxu
Daniel Xu
1 year
Really exciting progress on finally solving the inlined function problem for tracing. Stay tuned.
0
0
8
@byte_lab
David Vernet
1 year
Very early is an understatement. @CachyOS started supporting us soon after the first RFC patch set, which is honestly wild. A special community to be sure.
@CachyOS
CachyOS
1 year
CachyOS has started supporting sched-ext very early, specially in the distribution integration as well as doing the testing for the schedulers with the community Was a really nice journey and thanks to the complete sched-ext team. Finally it happened. #Linux #sched_ext #CachyOS
2
3
14
@byte_lab
David Vernet
1 year
If you’re going to scheme, scheme with the best people in your field!
@erwanaliasr1
Velu Erwan
1 year
Preparing sched-recipes 🫣 #kr2024
2
1
19
@byte_lab
David Vernet
1 year
Man, this sucks. Rest in peace, @bristot. We didn’t always see eye to eye on technical matters, but we always saw eye to eye as people. You were an awesome engineer, and will be sorely missed.
1
3
25
@byte_lab
David Vernet
1 year
These aren’t really separate classes of contributors. Bug fixing usually leads to feature contributions, and that’s where trust matters. If your feature gets merged, you’d better be around to help with the inevitable maintenance. Otherwise, don’t expect to ever land anything else
@awesomekling
Andreas Kling
1 year
As an OSS maintainer, I find that I trust someone who has fixed 10 bugs far more than I trust someone who has added 10 features. Who do you trust more?
0
0
2
@arighi
Andrea Righi
2 years
Video of my talk at OSPM 2024 "Writing a Linux scheduler in Rust that runs in user-space"
2
33
165
@byte_lab
David Vernet
2 years
It’s gotta be this one right??
@jrfernandez
Jose Fernandez
2 years
https://t.co/9QaXTWnqfy (I assume this is the gif Linus had in mind)
1
0
14
@byte_lab
David Vernet
2 years
It’s official, sched_ext is getting merged upstream!! https://t.co/FKQZbJ1cry A huge thank you to everyone who has been a part of the project and the community. This project is truly proof that the best way to get something upstreamed is to build a community around it.
2
13
54
@arighi
Andrea Righi
2 years
I'm really excited to announce that we'll have a sched_ext micro-conference at Linux Plumbers this year! If you have some cool ideas, don't hesitate to submit your proposal. https://t.co/RnPW9A2SGq
0
10
25
@byte_lab
David Vernet
2 years
Here’s the LWN article on my sched_ext talk at LSFMM: https://t.co/46fqvbjO3g. Daroc is really a terrific writer. I’m excited about scx_rusty in particular. It was already beating EEVDF for interactive workloads, but with https://t.co/0kVS9olDOV it’s absolutely *crushing*.
lwn.net
David Vernet's second talk at the 2024 Linux Storage, Filesystem, Memory Management, and BPF S [...]
0
4
17
@byte_lab
David Vernet
2 years
LWN wrote a great article about a talk I gave at LSFMM last week: https://t.co/Kf7SyV8rf5. I doubt I’ll have time to implement it any time soon, but would love to see it get implemented at some point. Expecting another article about sched_ext in the near future as well.
lwn.net
David Vernet kicked off the BPF track at 2024's BPF track at the Linux Storage, Filesystem, Me [...]
0
1
18
@byte_lab
David Vernet
2 years
Thanks, @pchaigno! I'm also super excited to discuss sched_ext at LSFMM tomorrow. The community has grown tremendously, and it's really crazy to see what you can do with sched_ext at this point. Here's to hoping that it gets upstreamed soon 🤞
0
3
12
@byte_lab
David Vernet
2 years
PS props to @arighi who first used Terraria to showcase scx_rustland’s interactivity gains: https://t.co/TFUWog3vY0. Let’s just make Terraria *the* defacto scheduler benchmark?
@arighi
Andrea Righi
2 years
I ended up writing a Linux scheduler in Rust using sched-ext during Christmas break, just for fun. I'm pretty shocked to see that it doesn't just work, but it can even outperform the default Linux scheduler (EEVDF) with certain workloads (i.e., gaming):
1
0
5
@byte_lab
David Vernet
2 years
This is running on a Ryzen 9 7950X, which has 16 cores spread across 2 CCX’s. rusty also crushes it on Civ 6, winning by roughly 2.5x. Lower is better in this benchmark. See the attached pictures. This was also run concurrently with Spotify and ‘stress-ng -c $((4 * $(nproc)))’.
1
1
6
@byte_lab
David Vernet
2 years
https://t.co/WAEGTN2F1m updates the scx_rusty sched_ext scheduler to support interactive workloads. It’s showing very large wins over EEVDF (on v6.8). In this video of me playing Terraria while running Spotify and ‘stress-ng -c $(( 4 * $(nproc)))’, we improve FPS by over 50%!
2
4
15
@byte_lab
David Vernet
2 years
I have to agree with Andrea’s sentiment on this one! It’s a really special project, and we already have a great community built around it. Very grateful to be involved with it.
@arighi
Andrea Righi
2 years
sched_ext v6 patch set is out! It is such an amazing project and I'm feeling really proud to be involved
0
0
6