sock_map_update_common() and __sock_map_delete() hold stab->lock and call sock_map_unref() -> sock_map_del_link() under it. sock_map_del_link() takes sk_callback_lock for write to stop the strparser and verdict, giving the lock order stab->lock -> sk_callback_lock. The opposite order comes from an SK_SKB stream parser. On RX, sk_psock_strp_data_ready() holds sk_callback_lock for read while running the parser. The verdict redirects the skb to egress, where a sched_cls program calls bpf_map_delete_elem() on a sockmap, which takes stab->lock: WARNING: possible circular locking dependency detected 7.1.0-rc6 Not tainted ------------------------------------------------------ syz.9.8824 is trying to acquire lock: (&stab->lock){+.-.}-{3:3}, at: __sock_map_delete net/core/sock_map.c:421 but task is already holding lock: (clock-AF_INET){++.-}-{3:3}, at: sk_psock_strp_data_ready net/core/skmsg.c:1173 -> #1 (clock-AF_INET){++.-}-{3:3}: _raw_write_lock_bh sock_map_del_link net/core/sock_map.c:167 sock_map_unref net/core/sock_map.c:184 sock_map_update_common net/core/sock_map.c:509 sock_map_update_elem_sys net/core/sock_map.c:588 map_update_elem kernel/bpf/syscall.c:1805 -> #0 (&stab->lock){+.-.}-{3:3}: _raw_spin_lock_bh __sock_map_delete net/core/sock_map.c:421 sock_map_delete_elem net/core/sock_map.c:452 bpf_prog_06044d24140080b6 tcx_run net/core/dev.c:4451 sch_handle_egress net/core/dev.c:4541 __dev_queue_xmit net/core/dev.c:4808 ... tcp_bpf_strp_read_sock net/ipv4/tcp_bpf.c:701 strp_data_ready net/strparser/strparser.c:402 sk_psock_strp_data_ready net/core/skmsg.c:1174 tcp_data_queue net/ipv4/tcp_input.c:5661 Possible unsafe locking scenario: CPU0 CPU1 ---- ---- rlock(clock-AF_INET); lock(&stab->lock); lock(clock-AF_INET); lock(&stab->lock); *** DEADLOCK *** sk_callback_lock is an rwlock and the established side takes it for write, so the read side cannot re-enter once a writer is queued. sock_map_del_link() uses psock->link_lock and sk_callback_lock, not stab->lock. The socket is removed from the slot with xchg() under stab->lock, which leaves a single deleter owning it, and its reference is dropped only by sk_psock_put() in sock_map_unref(). Release stab->lock right after the xchg() and run sock_map_unref() outside it. Do the same for the replaced socket in sock_map_update_common(). sock_map_free() already unrefs without stab->lock. Fixes: 604326b41a6f ("bpf, sockmap: convert to generic sk_msg interface") Signed-off-by: Sechang Lim --- net/core/sock_map.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/net/core/sock_map.c b/net/core/sock_map.c index 99e3789492a0..390bd5ee46d4 100644 --- a/net/core/sock_map.c +++ b/net/core/sock_map.c @@ -421,13 +421,13 @@ static int __sock_map_delete(struct bpf_stab *stab, struct sock *sk_test, spin_lock_bh(&stab->lock); if (!sk_test || sk_test == *psk) sk = xchg(psk, NULL); + spin_unlock_bh(&stab->lock); if (likely(sk)) sock_map_unref(sk, psk); else err = -EINVAL; - spin_unlock_bh(&stab->lock); return err; } @@ -505,9 +505,10 @@ static int sock_map_update_common(struct bpf_map *map, u32 idx, sock_map_add_link(psock, link, map, &stab->sks[idx]); stab->sks[idx] = sk; + spin_unlock_bh(&stab->lock); + if (osk) sock_map_unref(osk, &stab->sks[idx]); - spin_unlock_bh(&stab->lock); return 0; out_unlock: spin_unlock_bh(&stab->lock); -- 2.43.0