Login

Recent searches

No recent searches

Search options

Only available when logged in.
fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

9.8K
active users

fosstodon.org: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#linuxplumbers

1 post1 participant0 posts today
Public *
Thorsten Leemhuis (acct. 1/4)

Many dozens of recordings from this years @linuxplumbersconf are now available on YouTube. You can find them in the list of videos (youtube.com/@LinuxPlumbersConf ) on in a dedicated playlist (youtube.com/playlist?list=PLVs ).

Abstracts as well as slides for most of the talks are available through the 's schedule page: lpc.events/event/18/timetable/

#Linux#kernel#LinuxKernel
Public
Paul Chaignon

Luis Gerhorst (FAU) and his colleagues found that many existing #eBPF programs would be rejected due to the verifier's Spectre mitigations if they were loaded as unprivileged. They proposed to add lfences to cover those cases. #LinuxPlumbers

Slides: lpc.events/event/18/contributi
Recording: youtube.com/live/rQtQ-Nd1ZmA?f
Paper: arxiv.org/pdf/2405.00078
Code: gitlab.cs.fau.de/un65esoq/linu

Slide illustrating a Spectre-PHT vulnerability in a program, with the control flow graph of the program and dotted lines for speculative execution branches. The example shows a type confusion vulnerability under speculative execution, with a scalar speculatively accessed as a pointer.
Public
Paul Chaignon

So much is now happening in #eBPF that tracing kernel functions isn't enough to debug the network stack. You need to trace inside BPF programs! At #LinuxPlumbers, my colleagues @brb and Gray Liang explained how they extended pwru to trace BPF programs and why it wasn't so simple.

Slides: lpc.events/event/18/contributi
Recording: youtube.com/live/rQtQ-Nd1ZmA?t
Code: github.com/cilium/pwru

Slide showing the challenge of tracing BPF-based datapath with only a view of kernel functions. The top of the slide shows the output of the old pwru, where only Linux functions from the network stack are printed. The bottom shows the huge control-flow graph of the BPF code, highlighting that it's also a complex piece that needs tracing.
Public
Paul Chaignon

On the last day of #LinuxPlumbers, @kkdwivedi (EPFL) took a look at how we could redesign the network stack in a backward compatible way to improve its efficiency without losing isolation. Basically the holy grail of network stack research (dataplane OSes, kernel bypasses, kernel offloads). He thinks #eBPF could help implement a new Fibers abstraction to solve this problem.

Slides: lpc.events/event/18/contributi
Recording: youtube.com/live/rQtQ-Nd1ZmA?f

Slide presenting the what the new abstraction would need to provide, with an example of its application to the existing RX stack.
Public
Paul Albertella

I really enjoyed my first , in Vienna. There were so many in-depth & engaging talks, which sparked plenty of impromptu discussions and hallway track huddles. I particularly liked Julia Lawall's talk on formal verification, meeting up with the KernelCI folks, and the chance to see more of my ELISA comrades in real life. Thanks to the organisers and all the other participants!

Public *
sj
My Kernel Memory Management LPC Micro Conference talk titled "DAMON: Long-term Plans for Kernel That {Just Works,Extensible}" was successful.
The video[1] and slides[2] are available. I was obviously nervous since I forgot contents of the slides due to the great talks from two previous speakers (I highly recommend you to watch those). I like it though, since it reminds me how humble I am ;)

[1] https://www.youtube.com/live/CTWQ-d7pj5s?feature=shared&t=20182
[2] https://lpc.events/event/18/contributions/1768/

#linux #kernel #damon #linuxplumbers
YouTubeLPC 2024 - Hall L1 - Live from ViennaBy Linux Plumbers Conference
#linuxplumbers
Public *
Paul Chaignon

Next at #LinuxPlumbers, to improve the #eBPF verifier, @kkdwivedi (EPFL) proposes KFlex, a better tradeoff between runtime sandboxing (ex. SFI) and static analysis (the eBPF verifiers). Out of all the approaches presented to improve/replace the verifier, this is IMO the most likely to make it upstream!

Slides: lpc.events/event/18/contributi
Recording: youtube.com/live/rQtQ-Nd1ZmA?t
Code: github.com/rs3lab/KFlex

Slide with the problem statement for KFlex, with current approaches having to trade-off flexibility for performance or vice versa.
Slide showing the performance improvement of offloading Redis to the kernel using KFlex.
ExploreLive feeds
About