Towards a standardized eBPF ISA - Conformance testing
summary
The BPF Conformance Suite runs a test runner plus runtime-specific plugins to validate a draft BPF ISA against real implementations: Linux kernel BPF (via a libbpf plugin), uBPF, rbpf, eBPF for Windows (which translates BPF to C), and the Prevail verifier (which emulates and checks r0 postconditions). Tests declare initial memory, GCC-style assembly bytecode and expected r0; the suite uncovered differing division-by-zero behavior, tracks coverage of V3 instructions and is extending toward V4 and ELF-based tests in CI.
AI-written summary · about
chapters (7)
- 0:00Introduction and agenda
- 1:03BPF ISA standardization challenges
- 2:47Conformance testing goals and benefits
- 5:39BPF ISA overview and conformance approach
- 8:05How the conformance tool works
- 12:22Future enhancements and challenges
- 14:13Q&A and IETF approval timeline
related talks
29meBPF on the Rise - Getting Started
32meBPF: The Next Power Tool of SREs
45mSupporting BPF in the GNU Toolchain
33meBPF: exploring use case of BPF kernel infrastructure
01h 18mTutorial: Getting Started with eBPF
20mClosing Perspectives
53mGetting Started with BPF Security Observability
40mPanel Discussion: eBPF: A New Era in Cloud Infrastructure Tools