test_verifier from ubuntu_bpf failed on B-hwe-edge 5.3 / 5.4 ARM64

Bug #1845870 reported by Po-Hsu Lin
12
This bug affects 1 person
Affects Status Importance Assigned to Milestone
ubuntu-kernel-tests
New
Undecided
Unassigned
linux (Ubuntu)
Fix Released
Undecided
Unassigned
Focal
Fix Released
Undecided
Unassigned
Groovy
Fix Committed
Undecided
Unassigned
Hirsute
Fix Released
Undecided
Unassigned

Bug Description

Issue found on a Moonshot node with B-hwe-edge 5.3 kernel,
test failed with:
  #13/p valid read map access into a read-only array 2 FAIL retval 65507 != -29 (run 1/1)
  verification time 41 usec
  stack depth 8
  processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

This is the only test failing in this test suite:
  Summary: 1547 PASSED, 0 SKIPPED, 1 FAILED

Po-Hsu Lin (cypressyew)
tags: added: 5.3 arm64 bionic sru-20190902 ubuntu-bpf
Revision history for this message
Ubuntu Kernel Bot (ubuntu-kernel-bot) wrote : Missing required logs.

This bug is missing log files that will aid in diagnosing the problem. While running an Ubuntu kernel (not a mainline or third-party kernel) please enter the following command in a terminal window:

apport-collect 1845870

and then change the status of the bug to 'Confirmed'.

If, due to the nature of the issue you have encountered, you are unable to run this command, please add a comment stating that fact and change the bug status to 'Confirmed'.

This change has been made by an automated script, maintained by the Ubuntu Kernel Team.

Changed in linux (Ubuntu):
status: New → Incomplete
Revision history for this message
Po-Hsu Lin (cypressyew) wrote : Re: test_verifier from ubuntu_bpf failed on B-hwe-edge 5.3 ARM64

Still seeing this on B-GCP-5.3
5.3.0-1020.22~18.04.1

tags: added: sru-20200518
Revision history for this message
Po-Hsu Lin (cypressyew) wrote :

Spotted on 5.4.0-42.46~18.04.1
With ARM64 node hotdog-kernel / wright-kernel

summary: - test_verifier from ubuntu_bpf failed on B-hwe-edge 5.3 ARM64
+ test_verifier from ubuntu_bpf failed on B-hwe-edge 5.3 / 5.4 ARM64
tags: added: 5.4 sru-20200629
Revision history for this message
Po-Hsu Lin (cypressyew) wrote :

Spotted on 5.4.0-44.48-generic
With ARM64 node hotdog-kernel / ms10-34-mcdivittB0-kernel

tags: added: sru-20200810
Revision history for this message
Francis Ginther (fginther) wrote :

Seen with Bionic linux-aws 5.4.0-1026.26~18.04.1 and 5.4.0-1025.25~18.04.1 on arm64.

tags: added: sru-20200921
tags: added: aws focal
Revision history for this message
Thadeu Lima de Souza Cascardo (cascardo) wrote :

Upstream commit 6185266c5a853bb0f2a459e3ff594546f277609b ("selftests/bpf: Mask bpf_csum_diff() return value to 16 bits in test_verifier") would likely fix this and has been applied to 5.4, 5.8 and 5.11.

5.11 was already released with it.

Ubuntu-5.4.0-73.82, from the cycle that has just ended, should have this fixed too.

Ubuntu-5.8.0-54.61, though, is still going to be promoted to -proposed. But it should have this fixed.

Changed in linux (Ubuntu):
status: Incomplete → Fix Released
Changed in linux (Ubuntu Hirsute):
status: New → Fix Released
Changed in linux (Ubuntu Groovy):
status: New → Fix Committed
Changed in linux (Ubuntu Focal):
status: New → Fix Committed
tags: added: verification-needed-focal verification-needed-groovy
Revision history for this message
Thadeu Lima de Souza Cascardo (cascardo) wrote :

http://10.246.72.47/5.4.0-1047.49-aws/focal-linux-aws-aws-arm64-5.4.0-a1.2xlarge-ubuntu_bpf/ubuntu_bpf/results/ubuntu_bpf.test_verifier/debug/ubuntu_bpf.test_verifier.DEBUG.html

28. 04/29 20:24:36 DEBUG| utils:0153| [stdout] #13/p valid read map access into a read-only array 2 FAIL retval 65507 != -29 (run 1/1)
29. 04/29 20:24:36 DEBUG| utils:0153| [stdout] verification time 26 usec
30. 04/29 20:24:36 DEBUG| utils:0153| [stdout] stack depth 8
31. 04/29 20:24:36 DEBUG| utils:0153| [stdout] processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

http://10.246.72.47/5.4.0-1048.50-aws/focal-linux-aws-aws-arm64-5.4.0-a1.2xlarge-ubuntu_bpf/ubuntu_bpf/results/ubuntu_bpf.test_verifier/debug/ubuntu_bpf.test_verifier.DEBUG.html

05/04 15:51:01 DEBUG| utils:0153| [stdout] #13/p valid read map access into a read-only array 2 OK

tags: added: verification-done-focal
removed: verification-needed-focal
Changed in linux (Ubuntu Focal):
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Duplicates of this bug

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.