perfectvur.blogg.se

bpf/verifier/helper_access_var_len.c | 28 +. bpf/verifier/direct_packet_access.c | 3 +. Tools/testing/selftests/bpf/verifier/cfg.c | 11 +. Tools/testing/selftests/bpf/verifier/calls.c | 22 +. Tools/testing/selftests/bpf/test_verifier.c | 11 +. selftests/bpf/progs/test_sysctl_loop2.c | 72 ++ selftests/bpf/progs/test_sysctl_loop1.c | 71 ++ testing/selftests/bpf/progs/strobemeta.c | 10 +

selftests/bpf/progs/pyperf600_nounroll.c | 8 + Tools/testing/selftests/bpf/progs/pyperf600.c | 9 + Tools/testing/selftests/bpf/progs/pyperf.h | 6 +. Tools/testing/selftests/bpf/progs/loop3.c | 22 + Tools/testing/selftests/bpf/progs/loop2.c | 28 + Tools/testing/selftests/bpf/progs/loop1.c | 28 +

bpf/prog_tests/bpf_verif_scale.c | 67 +. Selftests/bpf: add basic verifier tests for loops Selftests/bpf: fix tests due to const spill/fill Patch 9 is the most tricky one and could be rewritten with See patch 8 for many kinds of loops that are now validated. The end result is much faster verifier for existing programs Which finally resolves degradation from patch 1. Introduction of parentage chain of verifier states in patch 4Īllows patch 9 to add backtracking of precise scalar registers Then patch 4 adds support for the loops while adding Patch 3 introduces another feature by extending is_branch_taken That patch introduces tracking of spill/fill

Ideally they would be introduced one at a time,īut to support bounded loop the verifier needs to 'step back' This patch set introduces verifier support for bounded loops and The next step is to add a lot more tests for backtracking. V2->v3: fixed issues in backtracking pointed out by Andrii. To: davem +Cc: daniel, netdev, bpf, kernel-team ` (9 more replies) 0 siblings, 10 replies 23+ messages in threadįrom: Alexei Starovoitov 19:12 UTC ( / raw) 19:12 ` bpf: track spill/fill of constants Alexei Starovoitov Bpf: bounded loops and other features All of help / color / mirror / Atom feed * bpf: bounded loops and other features 19:12 Alexei Starovoitov