Search
50 results for “pchaigno”
-
The slides for my #LinuxPlumbers talk on the formal verification of the #eBPF verifier are available at: https://pchaigno.github.io/assets/Linux%20Plumbers%202024%20Agni.pdf. I explained how Hari Vishwanathan et al. sped up the verification to a few minutes and how we're now able to continuously verify the verifier's range analysis in CI.
-
If you read French, I've uploaded the slides for my #eBPF talk at #Breizhcamp and added references where appropriate: https://pchaigno.github.io/assets/BreizhCamp%202023%20eBPF.pdf
-
Running into stack size issues with #eBPF? My colleague Dylan Reimerink wrote a tool to figure out what is taking space on your stack! https://github.com/cilium/stackwhere
-
Syzkaller has been fuzzing Linux patchsets since August! It already caught more than 100 bugs before they were merged. At #LinuxPlumbers, Aleksandr Nogikh shared some stats and explained why your patchset may not be covered.
Website: https://ci.syzbot.org
Slides: https://lpc.events/event/19/contributions/2195/attachments/1876/4021/%5BLPC'25%5D%20syzbot%20ci.pdf
Recording: http://www.youtube.com/watch?v=69PjOqjltrs -
Syzkaller has been fuzzing Linux patchsets since August! It already caught more than 100 bugs before they were merged. At #LinuxPlumbers, Aleksandr Nogikh shared some stats and explained why your patchset may not be covered.
Website: https://ci.syzbot.org
Slides: https://lpc.events/event/19/contributions/2195/attachments/1876/4021/%5BLPC'25%5D%20syzbot%20ci.pdf
Recording: http://www.youtube.com/watch?v=69PjOqjltrs -
Syzkaller has been fuzzing Linux patchsets since August! It already caught more than 100 bugs before they were merged. At #LinuxPlumbers, Aleksandr Nogikh shared some stats and explained why your patchset may not be covered.
Website: https://ci.syzbot.org
Slides: https://lpc.events/event/19/contributions/2195/attachments/1876/4021/%5BLPC'25%5D%20syzbot%20ci.pdf
Recording: http://www.youtube.com/watch?v=69PjOqjltrs -
Syzkaller has been fuzzing Linux patchsets since August! It already caught more than 100 bugs before they were merged. At #LinuxPlumbers, Aleksandr Nogikh shared some stats and explained why your patchset may not be covered.
Website: https://ci.syzbot.org
Slides: https://lpc.events/event/19/contributions/2195/attachments/1876/4021/%5BLPC'25%5D%20syzbot%20ci.pdf
Recording: http://www.youtube.com/watch?v=69PjOqjltrs -
Syzkaller has been fuzzing Linux patchsets since August! It already caught more than 100 bugs before they were merged. At #LinuxPlumbers, Aleksandr Nogikh shared some stats and explained why your patchset may not be covered.
Website: https://ci.syzbot.org
Slides: https://lpc.events/event/19/contributions/2195/attachments/1876/4021/%5BLPC'25%5D%20syzbot%20ci.pdf
Recording: http://www.youtube.com/watch?v=69PjOqjltrs -
After accelerating pod networking with netkit devices, @cilium will tackle the challenge of KubeVirt pods. At #LinuxPlumbers, Daniel Borkmann et al. explained what it will look like and the required changes.
Recording: http://www.youtube.com/watch?v=_Qy4TIaaIo4
Slides: https://lpc.events/event/19/contributions/2275/attachments/1946/4156/zero_copy.pdf -
After accelerating pod networking with netkit devices, @cilium will tackle the challenge of KubeVirt pods. At #LinuxPlumbers, Daniel Borkmann et al. explained what it will look like and the required changes.
Recording: http://www.youtube.com/watch?v=_Qy4TIaaIo4
Slides: https://lpc.events/event/19/contributions/2275/attachments/1946/4156/zero_copy.pdf -
After accelerating pod networking with netkit devices, @cilium will tackle the challenge of KubeVirt pods. At #LinuxPlumbers, Daniel Borkmann et al. explained what it will look like and the required changes.
Recording: http://www.youtube.com/watch?v=_Qy4TIaaIo4
Slides: https://lpc.events/event/19/contributions/2275/attachments/1946/4156/zero_copy.pdf -
After accelerating pod networking with netkit devices, @cilium will tackle the challenge of KubeVirt pods. At #LinuxPlumbers, Daniel Borkmann et al. explained what it will look like and the required changes.
Recording: http://www.youtube.com/watch?v=_Qy4TIaaIo4
Slides: https://lpc.events/event/19/contributions/2275/attachments/1946/4156/zero_copy.pdf -
After accelerating pod networking with netkit devices, @cilium will tackle the challenge of KubeVirt pods. At #LinuxPlumbers, Daniel Borkmann et al. explained what it will look like and the required changes.
Recording: http://www.youtube.com/watch?v=_Qy4TIaaIo4
Slides: https://lpc.events/event/19/contributions/2275/attachments/1946/4156/zero_copy.pdf -
Peilin Ye gave an easy-to-follow introduction to the new BPF_ATOMIC instructions for Load-Acquire and Store-Release in eBPF. Only at #LinuxPlumbers! 😉
Recording: http://www.youtube.com/watch?v=iF7JXK9qxbc
Slides: https://lpc.events/event/19/contributions/2163/attachments/1806/3886/Introduction%20to%20eBPF%20Load-Acquire%20and%20Store-Release%20Instructions.pdf -
Peilin Ye gave an easy-to-follow introduction to the new BPF_ATOMIC instructions for Load-Acquire and Store-Release in eBPF. Only at #LinuxPlumbers! 😉
Recording: http://www.youtube.com/watch?v=iF7JXK9qxbc
Slides: https://lpc.events/event/19/contributions/2163/attachments/1806/3886/Introduction%20to%20eBPF%20Load-Acquire%20and%20Store-Release%20Instructions.pdf -
Peilin Ye gave an easy-to-follow introduction to the new BPF_ATOMIC instructions for Load-Acquire and Store-Release in eBPF. Only at #LinuxPlumbers! 😉
Recording: http://www.youtube.com/watch?v=iF7JXK9qxbc
Slides: https://lpc.events/event/19/contributions/2163/attachments/1806/3886/Introduction%20to%20eBPF%20Load-Acquire%20and%20Store-Release%20Instructions.pdf -
Peilin Ye gave an easy-to-follow introduction to the new BPF_ATOMIC instructions for Load-Acquire and Store-Release in eBPF. Only at #LinuxPlumbers! 😉
Recording: http://www.youtube.com/watch?v=iF7JXK9qxbc
Slides: https://lpc.events/event/19/contributions/2163/attachments/1806/3886/Introduction%20to%20eBPF%20Load-Acquire%20and%20Store-Release%20Instructions.pdf -
Peilin Ye gave an easy-to-follow introduction to the new BPF_ATOMIC instructions for Load-Acquire and Store-Release in eBPF. Only at #LinuxPlumbers! 😉
Recording: http://www.youtube.com/watch?v=iF7JXK9qxbc
Slides: https://lpc.events/event/19/contributions/2163/attachments/1806/3886/Introduction%20to%20eBPF%20Load-Acquire%20and%20Store-Release%20Instructions.pdf -
Justin Ngai presented a BPF regex engine to be able to match file paths and command lines in the kernel. He explained how it works, its limitations, and some of the challenges involved. #LinuxPlumbers
Recording: https://youtu.be/n0xMU3XkXYM
Slides: https://lpc.events/event/19/contributions/2176/attachments/1815/3947/LPC%202025%20-%20Justin%20Ngai-NEW.pdf -
Justin Ngai presented a BPF regex engine to be able to match file paths and command lines in the kernel. He explained how it works, its limitations, and some of the challenges involved. #LinuxPlumbers
Recording: https://youtu.be/n0xMU3XkXYM
Slides: https://lpc.events/event/19/contributions/2176/attachments/1815/3947/LPC%202025%20-%20Justin%20Ngai-NEW.pdf -
Justin Ngai presented a BPF regex engine to be able to match file paths and command lines in the kernel. He explained how it works, its limitations, and some of the challenges involved. #LinuxPlumbers
Recording: https://youtu.be/n0xMU3XkXYM
Slides: https://lpc.events/event/19/contributions/2176/attachments/1815/3947/LPC%202025%20-%20Justin%20Ngai-NEW.pdf -
Justin Ngai presented a BPF regex engine to be able to match file paths and command lines in the kernel. He explained how it works, its limitations, and some of the challenges involved. #LinuxPlumbers
Recording: https://youtu.be/n0xMU3XkXYM
Slides: https://lpc.events/event/19/contributions/2176/attachments/1815/3947/LPC%202025%20-%20Justin%20Ngai-NEW.pdf -
Justin Ngai presented a BPF regex engine to be able to match file paths and command lines in the kernel. He explained how it works, its limitations, and some of the challenges involved. #LinuxPlumbers
Recording: https://youtu.be/n0xMU3XkXYM
Slides: https://lpc.events/event/19/contributions/2176/attachments/1815/3947/LPC%202025%20-%20Justin%20Ngai-NEW.pdf -
Related to the previous #LinuxPlumbers talk, Raman Shukhau implemented and presented a small DNS server in eBPF!
Recording: http://www.youtube.com/watch?v=di2RcXVqPyM
Slides: https://lpc.events/event/19/contributions/2161/attachments/1832/3924/Simple%20DNS%20Server%20with%20BPF.pdf -
Related to the previous #LinuxPlumbers talk, Raman Shukhau implemented and presented a small DNS server in eBPF!
Recording: http://www.youtube.com/watch?v=di2RcXVqPyM
Slides: https://lpc.events/event/19/contributions/2161/attachments/1832/3924/Simple%20DNS%20Server%20with%20BPF.pdf -
Related to the previous #LinuxPlumbers talk, Raman Shukhau implemented and presented a small DNS server in eBPF!
Recording: http://www.youtube.com/watch?v=di2RcXVqPyM
Slides: https://lpc.events/event/19/contributions/2161/attachments/1832/3924/Simple%20DNS%20Server%20with%20BPF.pdf -
Related to the previous #LinuxPlumbers talk, Raman Shukhau implemented and presented a small DNS server in eBPF!
Recording: http://www.youtube.com/watch?v=di2RcXVqPyM
Slides: https://lpc.events/event/19/contributions/2161/attachments/1832/3924/Simple%20DNS%20Server%20with%20BPF.pdf -
Related to the previous #LinuxPlumbers talk, Raman Shukhau implemented and presented a small DNS server in eBPF!
Recording: http://www.youtube.com/watch?v=di2RcXVqPyM
Slides: https://lpc.events/event/19/contributions/2161/attachments/1832/3924/Simple%20DNS%20Server%20with%20BPF.pdf -
@cilium can enforce network policies based on FQDNs using a userspace proxy. At #LinuxPlumbers, @hemanthmalla proposed to move this to the kernel by implementing DNS parsing in #eBPF!
Recording: http://www.youtube.com/watch?v=ecQoxg2yHSE
Demo: https://youtu.be/0qmQ1bTBLHo
Slides: https://lpc.events/event/19/contributions/2157/attachments/1831/3921/eBPF%20FQDN%20-%20LPC%20Japan%2025.pdf -
@cilium can enforce network policies based on FQDNs using a userspace proxy. At #LinuxPlumbers, @hemanthmalla proposed to move this to the kernel by implementing DNS parsing in #eBPF!
Recording: http://www.youtube.com/watch?v=ecQoxg2yHSE
Demo: https://youtu.be/0qmQ1bTBLHo
Slides: https://lpc.events/event/19/contributions/2157/attachments/1831/3921/eBPF%20FQDN%20-%20LPC%20Japan%2025.pdf