bpf: improve verifier state analysis
Status from this message: Applied, thanks!
Get series with b4
b4 am [email protected]Versions newest first · linked by author and title
- v2 Latest4 patches 2 repliesApplied
- v14 patches 8 repliesSuperseded
Changes in v2 from the cover letter
with optimization suggested by Jakub patch 4 safety check became cheap enough.
Patches in v2 Applied
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/4 | bpf: speed up stacksafe checkkernel/ | +3 | 0 replies | |
| 2/4 | selftests/bpf: check insn processed in test_verifiertools/ | +14 | 0 replies | |
| 3/4 | bpf: improve stacksafe state comparisonkernel/ tools/ | +29 | 0 replies | |
| 4/4 | bpf: add self-check logic to liveness analysisinclude/ kernel/ | +108 | 1 reply |
Reviews trailers per patch
All 4 patches have a Reviewed-by or Acked-by.
| Patch | Edward Cree | Jakub Kicinski |
|---|---|---|
| 1/4 | A-b | A-b |
| 2/4 | A-b | A-b |
| 3/4 | A-b | A-b |
| 4/4 | A-b |
Trailers given in replies are filled; those carried in the patches from earlier versions are outlined with dashes.
Cover letter [PATCH v2 bpf-next 0/4] bpf: improve verifier state analysis
v1->v2:
with optimization suggested by Jakub patch 4 safety check became cheap enough.
Several improvements to verifier state logic.
Patch 1 - trivial optimization
Patch 3 - significant optimization for stack state equivalence Patch 4 - safety check for liveness and prep for future state merging
Alexei Starovoitov (4):
bpf: speed up stacksafe check selftests/bpf: check insn processed in test_verifier
bpf: improve stacksafe state comparison
bpf: add self-check logic to liveness analysis
include/linux/bpf_verifier.h | 1 + kernel/bpf/verifier.c | 125 ++++++++++++++++++-- tools/testing/selftests/bpf/test_verifier.c | 37 +++++- 3 files changed, 154 insertions(+), 9 deletions(-)
Signature · 1 line
2.17.1