Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Date:   Wed, 30 Dec 2020 08:19:41 -0800
From:   "Paul E. McKenney" <paulmck@kernel.org>
To:     qiang.zhang@windriver.com
Cc:     akpm@linux-foundation.org, manfred@colorfullife.com,
        gustavoars@kernel.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH] ipc/sem.c: Convert kfree_rcu() to call_rcu() in freeary
 function
Message-ID: <20201230161941.GN2657@paulmck-ThinkPad-P72>
Reply-To: paulmck@kernel.org
References: <20201230120038.19489-1-qiang.zhang@windriver.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20201230120038.19489-1-qiang.zhang@windriver.com>
User-Agent: Mutt/1.9.4 (2018-02-28)
Precedence: bulk

On Wed, Dec 30, 2020 at 08:00:38PM +0800, qiang.zhang@windriver.com wrote:
> From: Zqiang <qiang.zhang@windriver.com>
> 
> Due to freeary function is called with spinlock be held,
> the synchronize_rcu function may be called in kfree_rcu
> function, the schedule may be happen in spinlock critical
> region, need to replace kfree_rcu() with call_rcu().

Except that the call to kfree_rcu() below has two arguments, and thus
provides a link for queuing the callback.  It will never directly invoke
synchronize_rcu().  It is only the single-argument variant of kfree_rcu()
that might invoke synchronize_rcu().

Or are you seeing lockdep or might-sleep failures with the current code?
If so, please post the relevant portions of the console output.

							Thanx, Paul

> Fixes: 693a8b6eecce ("ipc,rcu: Convert call_rcu(free_un) to kfree_rcu()")
> Signed-off-by: Zqiang <qiang.zhang@windriver.com>
> ---
>  ipc/sem.c | 9 ++++++++-
>  1 file changed, 8 insertions(+), 1 deletion(-)
> 
> diff --git a/ipc/sem.c b/ipc/sem.c
> index f6c30a85dadf..12c3184347d9 100644
> --- a/ipc/sem.c
> +++ b/ipc/sem.c
> @@ -1132,6 +1132,13 @@ static int count_semcnt(struct sem_array *sma, ushort semnum,
>  	return semcnt;
>  }
>  
> +static void free_un(struct rcu_head *head)
> +{
> +	struct sem_undo *un = container_of(head, struct sem_undo, rcu);
> +
> +	kfree(un);
> +}
> +
>  /* Free a semaphore set. freeary() is called with sem_ids.rwsem locked
>   * as a writer and the spinlock for this semaphore set hold. sem_ids.rwsem
>   * remains locked on exit.
> @@ -1152,7 +1159,7 @@ static void freeary(struct ipc_namespace *ns, struct kern_ipc_perm *ipcp)
>  		un->semid = -1;
>  		list_del_rcu(&un->list_proc);
>  		spin_unlock(&un->ulp->lock);
> -		kfree_rcu(un, rcu);
> +		call_rcu(&un->rcu, free_un);
>  	}
>  
>  	/* Wake up all pending processes and let them fail with EIDRM. */
> -- 
> 2.17.1
>