[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <675ea747-5c05-410c-888c-fe6dd2b48d87@I-love.SAKURA.ne.jp>
Date: Tue, 24 Jun 2025 11:17:09 +0900
From: Tetsuo Handa <penguin-kernel@...ove.SAKURA.ne.jp>
To: Heming Zhao <heming.zhao@...e.com>, Mark Fasheh <mark@...heh.com>,
Joel Becker <jlbec@...lplan.org>,
Joseph Qi <joseph.qi@...ux.alibaba.com>,
jiangyiwen <jiangyiwen@...wei.com>,
Andrew Morton
<akpm@...ux-foundation.org>,
ocfs2-devel@...ts.linux.dev,
Diogo Jahchan Koike <djahchankoike@...il.com>
Cc: LKML <linux-kernel@...r.kernel.org>
Subject: Re: [PATCH] ocfs2: kill osb->system_file_mutex lock
On 2025/06/24 10:33, Heming Zhao wrote:
>> @@ -112,11 +110,10 @@ struct inode *ocfs2_get_system_file_inode(struct ocfs2_super *osb,
>> inode = _ocfs2_get_system_file_inode(osb, type, slot);
>
> In my view, the key of commit 43b10a20372d is to avoid calling
> _ocfs2_get_system_file_inode() twice, which lead refcnt+1 but no place to
> do refcnt-1.
My understanding is that concurrently calling _ocfs2_get_system_file_inode() itself
is OK, for the caller of ocfs2_get_system_file_inode() is responsible for calling
iput().
The problem commit 43b10a20372d fixed is that there was no mechanism to avoid
concurrently calling
*arr = igrab(inode);
which will result in failing to call iput() for raced references when
ocfs2_release_system_inodes() is called.
>
>> /* add one more if putting into array for first time */
>> - if (arr && inode) {
>> - *arr = igrab(inode);
>> - BUG_ON(!*arr);
>> + if (inode && arr && !*arr && !cmpxchg(&(*arr), NULL, inode)) {
>
> Bypassing the refcnt+1 here is not a good idea. We should do refcnt+1
> before returning to the caller.
>
>> + inode = igrab(inode);
We do refcnt+1 immediately after cmpxchg() succeeds, for
ocfs2_release_system_inodes() which clears *arr is the place for
doing refcnt-1.
>> + BUG_ON(!inode);
>> }
>> - mutex_unlock(&osb->system_file_mutex);
>> return inode;
>> }
>>
>
Powered by blists - more mailing lists