From: Alexei Starovoitov <[email protected]> Date: Tue, 31 Oct 2017 18:16:05 -0700
> the verifier got progressively smarter over time and size of its internal > state grew as well. Time to reduce the memory consumption. > > Before: > sizeof(struct bpf_verifier_state) = 6520 > After: > sizeof(struct bpf_verifier_state) = 896 > > It's done by observing that majority of BPF programs use little to > no stack whereas verifier kept all of 512 stack slots ready always. > Instead dynamically reallocate struct verifier state when stack > access is detected. > Runtime difference before vs after is within a noise. > The number of processed instructions stays the same. > > Signed-off-by: Alexei Starovoitov <[email protected]> > Acked-by: Daniel Borkmann <[email protected]> Applied, thanks Alexei.
