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
“So far Apple has yet to mitigate these issues even with being disclosed to the company last year.”
Apple CPUs Affected By New SLAP & FLOP Side-Channel Attacks https://t.co/c9qeewd0mM
0
0
5
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
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
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
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!
0
0
8
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 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
If you’re going to scheme, scheme with the best people in your field!
2
1
19
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
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
Video of my talk at OSPM 2024 "Writing a Linux scheduler in Rust that runs in user-space"
2
33
165
It’s gotta be this one right??
1
0
14
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
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
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
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
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?
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
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
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