[PATCH v2 bpf-next 0/3] bpf: optimize explored_states

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