Commit f3408580 authored by Namhyung Kim's avatar Namhyung Kim

perf lock contention: Add a missing NULL check

I got a report for a failure in BPF verifier on a recent kernel with
perf lock contention command.  It checks task->sighand->siglock without
checking if sighand is NULL or not.  Let's add one.

  ; if (&curr->sighand->siglock == (void *)lock)
  265: (79) r1 = *(u64 *)(r0 +2624)     ; frame1: R0_w=trusted_ptr_task_struct(off=0,imm=0)
                                        ;         R1_w=rcu_ptr_or_null_sighand_struct(off=0,imm=0)
  266: (b7) r2 = 0                      ; frame1: R2_w=0
  267: (0f) r1 += r2
  R1 pointer arithmetic on rcu_ptr_or_null_ prohibited, null-check it first
  processed 164 insns (limit 1000000) max_states_per_insn 1 total_states 15 peak_states 15 mark_read 5
  -- END PROG LOAD LOG --
  libbpf: prog 'contention_end': failed to load: -13
  libbpf: failed to load object 'lock_contention_bpf'
  libbpf: failed to load BPF skeleton 'lock_contention_bpf': -13
  Failed to load lock-contention BPF skeleton
  lock contention BPF setup failed
  lock contention did not detect any lock contention

Fixes: 1811e827 ("perf lock contention: Track and show siglock with address")
Reviewed-by: default avatarIan Rogers <irogers@google.com>
Acked-by: default avatarArnaldo Carvalho de Melo <acme@redhat.com>
Cc: Song Liu <song@kernel.org>
Cc: bpf@vger.kernel.org
Signed-off-by: default avatarNamhyung Kim <namhyung@kernel.org>
Link: https://lore.kernel.org/r/20240409225542.1870999-1-namhyung@kernel.org
parent 2b8dbf69
...@@ -284,6 +284,7 @@ static inline __u32 check_lock_type(__u64 lock, __u32 flags) ...@@ -284,6 +284,7 @@ static inline __u32 check_lock_type(__u64 lock, __u32 flags)
struct task_struct *curr; struct task_struct *curr;
struct mm_struct___old *mm_old; struct mm_struct___old *mm_old;
struct mm_struct___new *mm_new; struct mm_struct___new *mm_new;
struct sighand_struct *sighand;
switch (flags) { switch (flags) {
case LCB_F_READ: /* rwsem */ case LCB_F_READ: /* rwsem */
...@@ -305,7 +306,9 @@ static inline __u32 check_lock_type(__u64 lock, __u32 flags) ...@@ -305,7 +306,9 @@ static inline __u32 check_lock_type(__u64 lock, __u32 flags)
break; break;
case LCB_F_SPIN: /* spinlock */ case LCB_F_SPIN: /* spinlock */
curr = bpf_get_current_task_btf(); curr = bpf_get_current_task_btf();
if (&curr->sighand->siglock == (void *)lock) sighand = curr->sighand;
if (sighand && &sighand->siglock == (void *)lock)
return LCD_F_SIGHAND_LOCK; return LCD_F_SIGHAND_LOCK;
break; break;
default: default:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment