Merge branch 'Reduce kmalloc / kfree churn in the verifier'
authorAlexei Starovoitov <ast@kernel.org>
Mon, 10 May 2021 23:13:01 +0000 (16:13 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Mon, 10 May 2021 23:13:01 +0000 (16:13 -0700)
commitf4cceb783169c9f0639ce7c648a6a5de83c00dc4
tree4a7faeae5e95b86efce632ff25f08a15b725dea9
parentb741596468b010af2846b75f5e75a842ce344a6e
parentc9e73e3d2b1eb1ea7ff068e05007eec3bd8ef1c9
Merge branch 'Reduce kmalloc / kfree churn in the verifier'

Lorenz Bauer says:

====================

github.com/cilium/ebpf runs integration tests with libbpf in a vm on CI.
I recently did some work to increase the code coverage from that, and
started experiencing OOM-kills in the VM. That led me down a rabbit
hole looking at verifier memory allocation patterns. I didn't figure out
what triggered the OOM-kills but refactored some often called memory
allocation code.

The key insight is that often times we don't need to do a full kfree /
kmalloc, but can instead just reallocate. The first patch adds two helpers
which do just that for the use cases in the verifier, which are sufficiently
different that they can't use stock krealloc_array and friends.

The series makes bpf_verif_scale about 10% faster in my VM set up, which
is especially noticeable when running with KASAN enabled.
====================

Signed-off-by: Alexei Starovoitov <ast@kernel.org>