13–15 Nov 2023
America/New_York timezone

Exceptions in BPF

13 Nov 2023, 10:00
30m
"James River Salon C" (Omni Richmond Hotel)

"James River Salon C"

Omni Richmond Hotel

225
eBPF & Networking Track eBPF & Networking

Speaker

Kumar Kartikeya Dwivedi (EPFL)

Description

There has been recent work on adding the notion of exceptions to the BPF runtime in the Linux kernel. In this presentation, we will explore the necessary changes made to the BPF subsystem to fulfill this. We will also explore various implementation choices, reasons for making the feature as generic as possible, and the possibility of integrating similar features found in other languages (C++, Rust, etc.) in the future.

Finally, we discuss the value proposition of exceptions, how their careful and creative use can simplify writing BPF programs, and how they allow us to make guarantees about program behavior that are difficult to enforce through the verifier's static analysis.

Primary author

Presentation materials

Diamond Sponsors
Platinum Sponsor
Gold Sponsors
Silver Sponsors
Catchbox Sponsor
Livestream Sponsors
T-Shirt Sponsor
Conference Services Provided by