Andrea Righi
@arighi.bsky.social
46 followers 12 following 22 posts
Principal System Software Engineer @ NVIDIA
Posts Media Videos Starter Packs
arighi.bsky.social
virtme-ng v1.38 is out! This is a pretty stable update, bringing only bug fixes. Most notably, the infamous "Stale file handle" errors with virtiofsd are finally gone. If you've hit them before, you know how annoying they were, so time to update!

github.com/arighi/virtm...
arighi.bsky.social
It was a great honor to speak at @kernelrecipes.bsky.social again this year. This conference is always a rich source of inspiration, I'm going back home full of new ideas... and lots of work to do. :)

To all kernel folk: don't miss it next year! #kr2025
Reposted by Andrea Righi
kernelrecipes.bsky.social
#kr2025 speakers team. Thanks for making this edition a great success again!
Reposted by Andrea Righi
kernelrecipes.bsky.social
juming on the conclusion after nice aquarium demos. @arighi.bsky.social
Reposted by Andrea Righi
kernelrecipes.bsky.social
@arighi.bsky.social to finalize this first day : Scheduling recipes
what the role of the scheduler, sched_ext project and interaction with BPF

kernel-recipes.org/en/2025/sche...

#kr2025
arighi.bsky.social
virtme-ng v1.37 has been released with the initial support for systemd. You can now test apps that depend on systemd inside the virtualized environment.

More info: github.com/arighi/virtm...
arighi.bsky.social
I'm quite shocked to see a user-space Rust scheduler (rustland) competing and, in some cases, even outperforming other BPF or in-kernel schedulers.

Big shoutout to the @cachyos.org community for constantly running all these benchmarks! It's great motivation to keep improving!
arighi.bsky.social
May the 4th be with your kernel tests, virtme-ng v1.34 is out!

In this new release: vsock SSH support (more lightweight guest connections), a better support for the s390 architecture and the usual set of bug fixes and improvements.

github.com/arighi/virtm...
arighi.bsky.social
Thanks! bpfland is still slightly better overall (I'll share a comparison too), but what's exciting IMHO is the potential that user-space scheduling brings, before it was held back by overhead, now that performance is comparable to in-kernel schedulers, it can open the door to new cool experiments
arighi.bsky.social
I've decided to revamp my Linux kernel scheduler in Rust, re-designing and improving the BPF <-> user-space pipeline, and found some interesting benchmark results (from the Phoronix test suite). User-space scheduling feels even more viable now. More info: arighi.blogspot.com/2025/05/reva...
Revamping my Linux kernel scheduler in Rust
Recap Some time ago, I built a kernel scheduler in Rust, called scx_rustland . It runs entirely in user space, powered by sched_ext , a tec...
arighi.blogspot.com
arighi.bsky.social
Me blabbing and demoing the new NUMA-aware features in the scx_bpfland scheduler
youtu.be/CootF9OtSRM

#linux #scheduling #sched_ext #bpf
NUMA-aware scheduling with sched_ext and scx_bpfland
YouTube video by arighi_linux
youtu.be
arighi.bsky.social
virtme-ng v1.33 is available! Now you can run amd64 instances on non-x86 architectures (which means you can use arm64 as your kernel dev / testing platform with vng). Plus, more bug fixes and security improvements.

Check out the full changes here:
github.com/arighi/virtm...
arighi.bsky.social
And my other talk at FOSDEM 2025 "Level up your Linux gaming: how sched_ext can save your fps" is also out: ftp.fau.de/fosdem/2025/...
ftp.fau.de
arighi.bsky.social
Video of my talk at FOSDEM 2025 "Rust-ifying the Linux kernel scheduler (in user space)":

video.fosdem.org/2025/ub2252a...

There are some skips here and there in the recording, but they don't alter the content too much.
video.fosdem.org
arighi.bsky.social
I'm happy to answer any sched_ext related questions and also show a live demo for those that are at FOSDEM 🙂
arighi.bsky.social
A short compilation of clips showing how sched_ext / scx_bpfland can mitigate the impact of background workloads and improve the gaming experience on Linux (featuring AAA games)

www.youtube.com/watch?v=ZuWy...
Gaming under pressure: enhancing the Linux gaming experience with sched_ext
YouTube video by arighi_linux
www.youtube.com
arighi.bsky.social
Video of my talk 'Designing Custom Linux Schedulers with sched_ext' for the Linux Foundation Mentorship Series. Hope you find it useful!

www.youtube.com/watch?v=jsLj...
Mentorship Session: Designing Custom Linux Schedulers with sched_ext
YouTube video by The Linux Foundation
www.youtube.com
arighi.bsky.social
Sharing some results of my experiments with sched_ext to speed up micro-VM boot time. A modified bpfland provides ~11% faster boot time than the default Linux scheduler. This doesn't make bpfland a better scheduler, but it shows the potential of sched_ext:
arighi.blogspot.com/2025/01/acce...
Accelerating micro-VM boot time with sched_ext
Overview Booting short-lived virtual machines (VMs) can be a highly CPU-intensive workload. In scenarios like serverless computing, where b...
arighi.blogspot.com
arighi.bsky.social
virtme-ng v1.32 is out with exciting new features, such as the remote (vsock) console and ssh support, so now you can attach to a running vng instance from another terminal or use ssh/scp!

github.com/arighi/virtm...