David Vernet

Appreciate the shout out! I should really dust off the blog and get it going again. Let me know if there are any topics you want to hear about. I was thinking something like, “How do things actually run on CPUs?”. Can go into instructions, schedulers, etc.

“So far Apple has yet to mitigate these issues even with being disclosed to the company last 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: ietf.org/blog/bpf-rfc96…

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”

The BPF Instruction Set Architecture RFC document is hot off the presses: rfc-editor.org/info/rfc9669. Thanks to the @ietf, and to everyone who participated and helped make it happen!

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!

@Naccyde Si tu aimes vraiment la conférence, il est temps de lui rendre la pareille en faisant une présentation 😉

Il y a toujours des points d’améliorations quelque soit la conférence, mais j’ai jamais entendu personne se plaindre de KR !

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.

@gautshen It is indeed

@byte_lab Is that Julia Lawall??

If you’re going to scheme, scheme with the best people in your field!

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.

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

Video of my talk at OSPM 2024 "Writing a Linux scheduler in Rust that runs in user-space" youtube.com/watch?v=HQRHo8…

It’s gotta be this one right??

It’s official, sched_ext is getting merged upstream!! @mail.gmail.com/" target="_blank" rel="nofollow noopener">lore.kernel.org/bpf/CAHk-=wg8A… 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.

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. @gpd/T/#u" target="_blank" rel="nofollow noopener">lore.kernel.org/lkml/ZmMuV6f6n…

Here’s the LWN article on my sched_ext talk at LSFMM: lwn.net/SubscriberLink…. Daroc is really a terrific writer. I’m excited about scx_rusty in particular. It was already beating EEVDF for interactive workloads, but with github.com/sched-ext/scx/… it’s absolutely *crushing*.

LWN wrote a great article about a talk I gave at LSFMM last week: lwn.net/SubscriberLink…. 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.

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 🤞

PS props to @arighi who first used Terraria to showcase scx_rustland’s interactivity gains: x.com/arighi/status/…. Let’s just make Terraria *the* defacto scheduler benchmark?

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)))’.

github.com/sched-ext/scx/… 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%!