From: Alexei Starovoitov <a...@fb.com> 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 <a...@kernel.org> > Acked-by: Daniel Borkmann <dan...@iogearbox.net> Applied, thanks Alexei.
