Speaker
Paul McKenney
(Facebook)
Description
This talk will review the goals and requirements for a BPF memory model and look at more recent work on deriving memory-model litmus tests from example BPF programs. These examples will cover ordering within and among BPF programs, but also ordering with the kernel code that BPF programs can interact with.
| I agree to abide by the anti-harassment policy | I agree |
|---|
Primary author
Paul McKenney
(Facebook)
