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

[patchwork-bot+netdevbpf@kernel.org]

Hello:

This patch was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@kernel.org>:

On Thu,  2 Feb 2023 14:57:12 +0200 you wrote:
> An overview of the register tracking liveness algorithm.
> Previous versions posted here: [1], [2], [3].
> - Changes from RFC to v2 (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.
> - Changes from v2 to v3:
>   - lot's of grammatical / wording fixes as suggested by David Vernet;
>   - "Register parentage chains" section is fixed to reflect what
>     happens to r1-r5 when function call is processed (as suggested by David and Alexei);
>   - Example in "Liveness marks tracking" section updated to explain
>     why partial writes should not lead to REG_LIVE_WRITTEN marks
>     (suggested by David);
>   - "Read marks propagation for cache hits" section updates:
>     - Explanation updated to hint why read marks should be propagated
>       before jumping to example (suggested by David);
>     - Removed box around B/D in the diagram updated (suggested by Alexei).
> - Changes from v3 to v4 (suggested by Edward Cree):
>   - register parentage chain diagram updated to explain why r6 mark is
>     not propagated;
>   - read mark propagation algorithm pseudo-code fixed to correctly
>     show "if state->live & REG_LIVE_WRITTEN" stop condition;
>   - general wording improvements in section "Liveness marks tracking".
> 
> [...]

Here is the summary with links:
  - [bpf-next,v4,1/1] docs/bpf: Add description of register liveness tracking algorithm
    https://git.kernel.org/bpf/bpf-next/c/cb6018485cd9

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html