On 05/22/2019 05:17 AM, Alexei Starovoitov wrote: > 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(-) >
Applied, thanks!
