[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20220823163930.033b1330@kernel.org>
Date: Tue, 23 Aug 2022 16:39:30 -0700
From: Jakub Kicinski <kuba@...nel.org>
To: Cong Wang <xiyou.wangcong@...il.com>
Cc: netdev@...r.kernel.org, Cong Wang <cong.wang@...edance.com>,
syzbot+9fc084a4348493ef65d2@...kaller.appspotmail.com,
syzbot+e696806ef96cdd2d87cd@...kaller.appspotmail.com,
Tom Herbert <tom@...bertland.com>
Subject: Re: [Patch net] kcm: get rid of unnecessary cleanup
On Sun, 21 Aug 2022 21:06:28 -0700 Cong Wang wrote:
> From: Cong Wang <cong.wang@...edance.com>
>
> strp_init() is called just a few lines above this csk->sk_user_data
> check, it also initializes strp->work etc., therefore, it is
> unnecessary to call strp_done() to cancel the freshly initialized
> work.
>
> This also makes a lockdep warning reported by syzbot go away.
>
> Reported-and-tested-by: syzbot+9fc084a4348493ef65d2@...kaller.appspotmail.com
> Reported-by: syzbot+e696806ef96cdd2d87cd@...kaller.appspotmail.com
> Fixes: e5571240236c ("kcm: Check if sk_user_data already set in kcm_attach")
> Fixes: dff8baa26117 ("kcm: Call strp_stop before strp_done in kcm_attach")
> Cc: Jakub Kicinski <kuba@...nel.org>
> Cc: Tom Herbert <tom@...bertland.com>
> Signed-off-by: Cong Wang <cong.wang@...edance.com>
> ---
> net/kcm/kcmsock.c | 2 --
> 1 file changed, 2 deletions(-)
>
> diff --git a/net/kcm/kcmsock.c b/net/kcm/kcmsock.c
> index 71899e5a5a11..661c40cdab3e 100644
> --- a/net/kcm/kcmsock.c
> +++ b/net/kcm/kcmsock.c
> @@ -1425,8 +1425,6 @@ static int kcm_attach(struct socket *sock, struct socket *csock,
> */
> if (csk->sk_user_data) {
> write_unlock_bh(&csk->sk_callback_lock);
> - strp_stop(&psock->strp);
> - strp_done(&psock->strp);
> kmem_cache_free(kcm_psockp, psock);
> err = -EALREADY;
> goto out;
Looks correct, but if strp_init() ever grows code which needs
to be unwound in strp_done() we'd risk a leak. This seems to
have been Tom's intent.
Could we perhaps reorder the sk_user_data check vs the strp_init() call?
sock_map already calls strp_init() under the callback lock so we'd not
be introducing any new lock ordering.
Powered by blists - more mailing lists