Hello:
This patch was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Thu, 9 Mar 2023 22:01:49 -0800 you wrote:
> State equivalence check and checkpointing performed in is_state_visited()
> employs certain heuristics to try to save memory by avoiding state checkpoints
> if not enough jumps and instructions happened since last checkpoint. This leads
> to unpredictability of whether a particular instruction will be checkpointed
> and how regularly. While normally this is not causing much problems (except
> inconveniences for predictable verifier tests, which we overcome with
> BPF_F_TEST_STATE_FREQ flag), turns out it's not the case for open-coded
> iterators.
>
> [...]
Here is the summary with links:
- [bpf-next] bpf: ensure state checkpointing at iter_next() call sites
https://git.kernel.org/bpf/bpf-next/c/4b5ce570dbef
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
