提交 547b3aa4 编写于 作者: J John Fastabend 提交者: Alexei Starovoitov

bpf: sockmap, error path can not release psock in multi-map case

The current code, in the error path of sock_hash_ctx_update_elem,
checks if the sock has a psock in the user data and if so decrements
the reference count of the psock. However, if the error happens early
in the error path we may have never incremented the psock reference
count and if the psock exists because the sock is in another map then
we may inadvertently decrement the reference count.

Fix this by making the error path only call smap_release_sock if the
error happens after the increment.

Reported-by: syzbot+d464d2c20c717ef5a6a8@syzkaller.appspotmail.com
Fixes: 81110384 ("bpf: sockmap, add hash map support")
Signed-off-by: NJohn Fastabend <john.fastabend@gmail.com>
Signed-off-by: NAlexei Starovoitov <ast@kernel.org>
上级 c48424d9
...@@ -1896,7 +1896,7 @@ static int __sock_map_ctx_update_elem(struct bpf_map *map, ...@@ -1896,7 +1896,7 @@ static int __sock_map_ctx_update_elem(struct bpf_map *map,
e = kzalloc(sizeof(*e), GFP_ATOMIC | __GFP_NOWARN); e = kzalloc(sizeof(*e), GFP_ATOMIC | __GFP_NOWARN);
if (!e) { if (!e) {
err = -ENOMEM; err = -ENOMEM;
goto out_progs; goto out_free;
} }
} }
...@@ -2342,7 +2342,10 @@ static int sock_hash_ctx_update_elem(struct bpf_sock_ops_kern *skops, ...@@ -2342,7 +2342,10 @@ static int sock_hash_ctx_update_elem(struct bpf_sock_ops_kern *skops,
if (err) if (err)
goto err; goto err;
/* bpf_map_update_elem() can be called in_irq() */ /* psock is valid here because otherwise above *ctx_update_elem would
* have thrown an error. It is safe to skip error check.
*/
psock = smap_psock_sk(sock);
raw_spin_lock_bh(&b->lock); raw_spin_lock_bh(&b->lock);
l_old = lookup_elem_raw(head, hash, key, key_size); l_old = lookup_elem_raw(head, hash, key, key_size);
if (l_old && map_flags == BPF_NOEXIST) { if (l_old && map_flags == BPF_NOEXIST) {
...@@ -2360,12 +2363,6 @@ static int sock_hash_ctx_update_elem(struct bpf_sock_ops_kern *skops, ...@@ -2360,12 +2363,6 @@ static int sock_hash_ctx_update_elem(struct bpf_sock_ops_kern *skops,
goto bucket_err; goto bucket_err;
} }
psock = smap_psock_sk(sock);
if (unlikely(!psock)) {
err = -EINVAL;
goto bucket_err;
}
rcu_assign_pointer(e->hash_link, l_new); rcu_assign_pointer(e->hash_link, l_new);
rcu_assign_pointer(e->htab, rcu_assign_pointer(e->htab,
container_of(map, struct bpf_htab, map)); container_of(map, struct bpf_htab, map));
...@@ -2388,12 +2385,10 @@ static int sock_hash_ctx_update_elem(struct bpf_sock_ops_kern *skops, ...@@ -2388,12 +2385,10 @@ static int sock_hash_ctx_update_elem(struct bpf_sock_ops_kern *skops,
raw_spin_unlock_bh(&b->lock); raw_spin_unlock_bh(&b->lock);
return 0; return 0;
bucket_err: bucket_err:
smap_release_sock(psock, sock);
raw_spin_unlock_bh(&b->lock); raw_spin_unlock_bh(&b->lock);
err: err:
kfree(e); kfree(e);
psock = smap_psock_sk(sock);
if (psock)
smap_release_sock(psock, sock);
return err; return err;
} }
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册