Convert explored_states array into hash table and use simple hash to reduce verifier peak memory consumption for programs with bpf2bpf calls. More details in patch 3.
v1->v2: fixed Jakub's small nit in patch 1 Alexei Starovoitov (3): bpf: cleanup explored_states bpf: split explored_states bpf: convert explored_states to hash table include/linux/bpf_verifier.h | 2 + kernel/bpf/verifier.c | 77 ++++++++++++++++++++++-------------- 2 files changed, 50 insertions(+), 29 deletions(-) -- 2.20.0
