[PATCH bpf-next v2 0/1] docs/bpf: Add description of register liveness tracking algorithm

[Eduard Zingerman <eddyz87@gmail.com>]

An overview of the register tracking liveness algorithm.
Previous version posted here: [1].
This update includes fixes suggested by Andrii Nakryiko:
- wording corrected to use term "stack slot" instead of "stack spill";
- parentage chain diagram updated to show nil links for frame #1;
- added example for non-BPF_DW writes behavior;
- explanation in "Read marks propagation for cache hits" is reworked.

[1] https://lore.kernel.org/bpf/20230124220343.2942203-1-eddyz87@gmail.com/

Eduard Zingerman (1):
  docs/bpf: Add description of register liveness tracking algorithm

 Documentation/bpf/verifier.rst | 266 +++++++++++++++++++++++++++++++++
 1 file changed, 266 insertions(+)

-- 
2.39.0