On Tue, May 21, 2019 at 8:17 PM Alexei Starovoitov <ast@xxxxxxxxxx> 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(-) > > -- > 2.20.0 > For the series: Acked-by: Andrii Nakryiko <andriin@xxxxxx>
