test_verifier in ubuntu_bpf failed with 6 test cases on J-gkeop (#27, #30, #40, #150, #392, #393)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
ubuntu-kernel-tests |
New
|
Undecided
|
Unassigned | ||
linux-gkeop (Ubuntu) |
New
|
Undecided
|
Unassigned | ||
Jammy |
New
|
Undecided
|
Unassigned |
Bug Description
Different from Jammy 5.15 generic kernel and J-oracle kernel, which has 40 failures reported in this test_verifier test case (bug 1991215). Also 3 failure for other cloud variants (bug 1991351)
test_verifier in ubuntu_bpf with Jammy gkeop is failing with another 6 test cases:
#27/u atomic compare-
Unexpected success to load!
verification time 30 usec
stack depth 4
processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1
#30/u BPF_W cmpxchg should zero top 32 bits FAIL
Unexpected success to load!
verification time 15 usec
stack depth 8
processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0
#40/p Can't use ATM_FETCH_ADD on kernel memory FAIL
Unexpected verifier log!
EXP: only read is supported
RES:
FAIL
Unexpected error message!
EXP: only read is supported
RES: The address of function bpf_fentry_test7 cannot be found
verification time 7 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
The address of function bpf_fentry_test7 cannot be found
verification time 7 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
#150/p calls: trigger reg2btf_
Unexpected verifier log!
EXP: arg#0 pointer type STRUCT prog_test_ref_kfunc must point
RES:
FAIL
Unexpected error message!
EXP: arg#0 pointer type STRUCT prog_test_ref_kfunc must point
RES: JIT is required for calling kernel function
verification time 5 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
JIT is required for calling kernel function
verification time 5 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
#392/p d_path accept FAIL
Failed to load prog 'No such file or directory'!
The address of function dentry_open cannot be found
verification time 7 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
#393/p d_path reject FAIL
Unexpected verifier log!
EXP: helper call is not allowed in probe
RES:
FAIL
Unexpected error message!
EXP: helper call is not allowed in probe
RES: The address of function d_path cannot be found
verification time 7 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
The address of function d_path cannot be found
verification time 7 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
summary: |
- test_verifier in ubuntu_bpf failed with 6 test cases on J-gkeop + test_verifier in ubuntu_bpf failed with 6 test cases on J-gkeop (#27, + #30, #40, #150, #392, #393) |
For J-gkeop 5.15.0-1005.7
The failed test case number has reduced to 3:
#27, #30, #150
#27/u atomic compare- and-exchange smoketest - 32bit FAIL
Unexpected success to load!
verification time 32 usec
stack depth 4
processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1
#30/u BPF_W cmpxchg should zero top 32 bits FAIL
Unexpected success to load!
verification time 17 usec
stack depth 8
processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0
#150/p calls: trigger reg2btf_ ids[reg- >type] for reg->type > __BPF_REG_TYPE_MAX FAIL
Unexpected verifier log!
EXP: arg#0 pointer type STRUCT prog_test_ref_kfunc must point
RES:
FAIL
Unexpected error message!
EXP: arg#0 pointer type STRUCT prog_test_ref_kfunc must point
RES: kernel btf_id 0 is not a function
verification time 10 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
kernel btf_id 0 is not a function
verification time 10 usec
stack depth 0
processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0