test_verifier in ubuntu_bpf fails (192, 467, 990) - Permission denied on ARM64

Bug #2023680 reported by Andrei Gherzan
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
ubuntu-kernel-tests
New
Undecided
Unassigned

Bug Description

Some of the test_verifier tests (192, 467, 990) from ubuntu_bpf fail:

#192/p bpf_get_task_stack return R0 range is refined FAIL
Failed to load prog 'Permission denied'!
func 'bpf_iter_task' arg0 has btf_id 26598 type STRUCT 'bpf_iter_meta'
cannot access ptr member buf with moff 0 in struct seq_file with off 0 size 1
R1 is of type seq_file but seq_file is expected
verification time 1202 usec
stack depth 8
processed 27 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 2

#467/p d_path accept FAIL
Failed to load prog 'Permission denied'!
func 'dentry_open' arg0 has btf_id 10498 type STRUCT 'path'
cannot access ptr member mnt with moff 0 in struct path with off 0 size 1
R1 is of type path but path is expected
verification time 1198 usec
stack depth 8
processed 7 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

#990/p reference tracking: bpf_sk_release(btf_tcp_sock) FAIL
Failed to load prog 'Permission denied'!
R1 is of type tcp_sock but sock_common is expected
verification time 965 usec
stack depth 48
processed 24 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

This was observed on an AWS instance while testing Lunar linux-aws (6.2.0-1005.5):

SRU Cycle: 2023.05.15
Series: lunar
Package: linux-aws
Version: 6.2.0-1005.5
Cloud: aws
Instance: c6g.8xlarge
Region: us-west-1
Operation: sru

It only affects the c6g.8xlarge instance type from the instances picked up for the 2023.05.15 cycle.

Revision history for this message
Andrei Gherzan (agherzan) wrote :

The same bug was seen on a1.medium (it wasn't initially, as the instance was timing out before).

SRU Cycle: 2023.05.15
Series: lunar
Package: linux-aws
Version: 6.2.0-1005.5
Cloud: aws
Instance: a1.medium
Region: us-west-2
Operation: sru

Revision history for this message
Po-Hsu Lin (cypressyew) wrote (last edit ):

This issue can be found on L-azure Standard_D2pds_v5 (ARM64)
 #192/p bpf_get_task_stack return R0 range is refined FAIL
 Failed to load prog 'Permission denied'!
 func 'bpf_iter_task' arg0 has btf_id 20383 type STRUCT 'bpf_iter_meta'
 cannot access ptr member buf with moff 0 in struct seq_file with off 0 size 1
 R1 is of type seq_file but seq_file is expected
 verification time 1428 usec
 stack depth 8
 processed 27 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 2

 #467/p d_path accept FAIL
 Failed to load prog 'Permission denied'!
 func 'dentry_open' arg0 has btf_id 198631 type STRUCT 'path'
 cannot access ptr member mnt with moff 0 in struct path with off 0 size 1
 R1 is of type path but path is expected
 verification time 1423 usec
 stack depth 8
 processed 7 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #990/p reference tracking: bpf_sk_release(btf_tcp_sock) FAIL
 Failed to load prog 'Permission denied'!
 R1 is of type tcp_sock but sock_common is expected
 verification time 709 usec
 stack depth 48
 processed 24 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

Revision history for this message
Po-Hsu Lin (cypressyew) wrote : Re: test_verifier in ubuntu_bpf fails - Permission denied on ARM64

Note that for AWS, this failure can be found on another ARM64 instance c6g.8xlarge as well.

summary: - test_verifier in ubuntu_bpf fails - Permission denied
+ test_verifier in ubuntu_bpf fails - Permission denied on ARM64
tags: added: 6.2 arm64 azure lunar ubuntu-bpf
Revision history for this message
Po-Hsu Lin (cypressyew) wrote :

Found on L-gcp t2a-standard-4 (ARM64) as well.

description: updated
tags: added: gcp
Po-Hsu Lin (cypressyew)
summary: - test_verifier in ubuntu_bpf fails - Permission denied on ARM64
+ test_verifier in ubuntu_bpf fails (192, 467, 990) - Permission denied
+ on ARM64
tags: added: sru-20230612
Revision history for this message
Po-Hsu Lin (cypressyew) wrote :

With L-aws 6.2.0-1009.9, there are just two failures now:
* #192/p bpf_get_task_stack return R0 range is refined FAIL
  Failed to load prog 'Permission denied'!
* #467/p d_path accept FAIL
  Failed to load prog 'Permission denied'!

tags: added: sru-20230710
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

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