Towards a BPF Memory Model

Explore the intricacies of BPF memory models in this insightful conference talk delivered by Paul McKenney at the Linux Plumbers Conference. Delve into key topics including tooling, kcsanQA, unforPrototype, and BPF trace points. Gain valuable knowledge on userspace considerations, potential kernel breakage, search exclusivity, and scoped access. Learn about the challenges and opportunities in developing a robust BPF memory model, and understand its implications for Linux kernel development and performance optimization.

Introduction
Tools
kcsan
QA
Unfor
Prototype
Questions
What can be done
BPF trace points
Userspace
Kernel breakage
Search exclusive
Scoped access
Conclusion