canonical-ubuntu-qa team mailing list archive

Thread
Date
[Bug 2040479] [NEW] test_verifier in ubuntu_bpf failed with 47 test cases on J-64k-ARM64 openstack

To: canonical-ubuntu-qa@xxxxxxxxxxxxxxxxxxx
From: Po-Hsu Lin <2040479@xxxxxxxxxxxxxxxxxx>
Date: Wed, 25 Oct 2023 10:42:37 -0000
Reply-to: Bug 2040479 <2040479@xxxxxxxxxxxxxxxxxx>
Sender: noreply@xxxxxxxxxxxxx
Public bug reported:

Issue found with J-generic-5.15.0-88.98 and J-lowlatency-5.15.0-88.98 on
Openstack ARM64 instance with 64k flavour.

After the ubuntu_bpf build issue (bug 2035181) fixed, test in ubuntu_bpf
can be tested and reporting failures.

The failure consists of 41 failures reported for  ARM64 in bug 2040261.
And 6 extra failures reported for 64k flavour:

 #867/u reference tracking: try to leak released ptr reg Failed to create hash map 'Invalid argument'!
 FAIL
 Unexpected verifier log!
 EXP: R8 !read_ok
 RES:
 FAIL
 Unexpected error message!
     EXP: R8 !read_ok
     RES: fd -1 is not pointing to valid bpf_map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 
 fd -1 is not pointing to valid bpf_map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 #867/p reference tracking: try to leak released ptr reg Failed to create hash map 'Invalid argument'!
 FAIL
 Failed to load prog 'Bad file descriptor'!
 fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 #944/u check valid spill/fill, ptr to mem Failed to create hash map 'Invalid argument'!
 FAIL
 Failed to load prog 'Bad file descriptor'!
 fd -1 is not pointing to valid bpf_map
 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
 #944/p check valid spill/fill, ptr to mem Failed to create hash map 'Invalid argument'!
 FAIL
 Failed to load prog 'Bad file descriptor'!
 fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 #945/u check with invalid reg offset 0 Failed to create hash map 'Invalid argument'!
 FAIL
 Unexpected verifier log!
 EXP: R0 pointer arithmetic on mem_or_null prohibited
 RES:
 FAIL
 Unexpected error message!
     EXP: R0 pointer arithmetic on mem_or_null prohibited
     RES: fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 
 fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 #945/p check with invalid reg offset 0 Failed to create hash map 'Invalid argument'!
 FAIL
 Unexpected verifier log!
 EXP: R0 pointer arithmetic on mem_or_null prohibited
 RES:
 FAIL
 Unexpected error message!
     EXP: R0 pointer arithmetic on mem_or_null prohibited
     RES: fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
 
 fd -1 is not pointing to valid bpf_map
 verification time 6 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

You will find the complete 47 failures in the attachment.

This should not be considered as a regression since we just start
testing ubuntu_bpf on openstack instances from 5.15.0-83 (and it's
affected by the aforementioned build issue since then)

** Affects: ubuntu-kernel-tests
     Importance: Undecided
         Status: New


** Tags: 5.15 64k arm64 jammy sru-20231002 ubuntu-bpf

-- 
You received this bug notification because you are a member of Canonical
Platform QA Team, which is subscribed to ubuntu-kernel-tests.
https://bugs.launchpad.net/bugs/2040479

Title:
  test_verifier in ubuntu_bpf failed with 47 test cases on J-64k-ARM64
  openstack

Status in ubuntu-kernel-tests:
  New

Bug description:
  Issue found with J-generic-5.15.0-88.98 and J-lowlatency-5.15.0-88.98
  on Openstack ARM64 instance with 64k flavour.

  After the ubuntu_bpf build issue (bug 2035181) fixed, test in
  ubuntu_bpf can be tested and reporting failures.

  The failure consists of 41 failures reported for  ARM64 in bug
  2040261. And 6 extra failures reported for 64k flavour:

   #867/u reference tracking: try to leak released ptr reg Failed to create hash map 'Invalid argument'!
   FAIL
   Unexpected verifier log!
   EXP: R8 !read_ok
   RES:
   FAIL
   Unexpected error message!
       EXP: R8 !read_ok
       RES: fd -1 is not pointing to valid bpf_map
   verification time 20 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   
   fd -1 is not pointing to valid bpf_map
   verification time 20 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   #867/p reference tracking: try to leak released ptr reg Failed to create hash map 'Invalid argument'!
   FAIL
   Failed to load prog 'Bad file descriptor'!
   fd -1 is not pointing to valid bpf_map
   verification time 6 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   #944/u check valid spill/fill, ptr to mem Failed to create hash map 'Invalid argument'!
   FAIL
   Failed to load prog 'Bad file descriptor'!
   fd -1 is not pointing to valid bpf_map
   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
   #944/p check valid spill/fill, ptr to mem Failed to create hash map 'Invalid argument'!
   FAIL
   Failed to load prog 'Bad file descriptor'!
   fd -1 is not pointing to valid bpf_map
   verification time 6 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   #945/u check with invalid reg offset 0 Failed to create hash map 'Invalid argument'!
   FAIL
   Unexpected verifier log!
   EXP: R0 pointer arithmetic on mem_or_null prohibited
   RES:
   FAIL
   Unexpected error message!
       EXP: R0 pointer arithmetic on mem_or_null prohibited
       RES: fd -1 is not pointing to valid bpf_map
   verification time 6 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   
   fd -1 is not pointing to valid bpf_map
   verification time 6 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   #945/p check with invalid reg offset 0 Failed to create hash map 'Invalid argument'!
   FAIL
   Unexpected verifier log!
   EXP: R0 pointer arithmetic on mem_or_null prohibited
   RES:
   FAIL
   Unexpected error message!
       EXP: R0 pointer arithmetic on mem_or_null prohibited
       RES: fd -1 is not pointing to valid bpf_map
   verification time 6 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
   
   fd -1 is not pointing to valid bpf_map
   verification time 6 usec
   stack depth 0
   processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

  You will find the complete 47 failures in the attachment.

  This should not be considered as a regression since we just start
  testing ubuntu_bpf on openstack instances from 5.15.0-83 (and it's
  affected by the aforementioned build issue since then)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-kernel-tests/+bug/2040479/+subscriptions
Follow ups

[Bug 2040479] Re: test_verifier in ubuntu_bpf failed with 47 test cases on J-64k-ARM64 openstack
From: Po-Hsu Lin, 2023-10-25