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@xxxxxxxxx/ 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
