2024-02-04 12:54:50

by Zhongkun He

[permalink] [raw]
Subject: [PATCH] mm/z3fold: remove unneeded spinlock

There is no need to use spinlock in this section, so
remove it.

Signed-off-by: Zhongkun He <[email protected]>
---
mm/z3fold.c | 2 --
1 file changed, 2 deletions(-)

diff --git a/mm/z3fold.c b/mm/z3fold.c
index 7c76b396b74c..7f608c0667f3 100644
--- a/mm/z3fold.c
+++ b/mm/z3fold.c
@@ -442,8 +442,6 @@ static void __release_z3fold_page(struct z3fold_header *zhdr, bool locked)
WARN_ON(!list_empty(&zhdr->buddy));
set_bit(PAGE_STALE, &page->private);
clear_bit(NEEDS_COMPACTING, &page->private);
- spin_lock(&pool->lock);
- spin_unlock(&pool->lock);

if (locked)
z3fold_page_unlock(zhdr);
--
2.20.1



2024-02-04 22:26:15

by Matthew Wilcox

[permalink] [raw]
Subject: Re: [PATCH] mm/z3fold: remove unneeded spinlock

On Sun, Feb 04, 2024 at 08:54:04PM +0800, Zhongkun He wrote:
> There is no need to use spinlock in this section, so
> remove it.

I don't know this code at all, but the idiom is (relatively) common.
It waits until anybody _currently_ holding the lock has released it.

That would, eg, make it safe to free the 'pool' memory.

> - spin_lock(&pool->lock);
> - spin_unlock(&pool->lock);


2024-02-05 01:08:29

by Zhongkun He

[permalink] [raw]
Subject: Re: [External] Re: [PATCH] mm/z3fold: remove unneeded spinlock

On Mon, Feb 5, 2024 at 2:46 AM Matthew Wilcox <[email protected]> wrote:
>
> On Sun, Feb 04, 2024 at 08:54:04PM +0800, Zhongkun He wrote:
> > There is no need to use spinlock in this section, so
> > remove it.
>
> I don't know this code at all, but the idiom is (relatively) common.
> It waits until anybody _currently_ holding the lock has released it.
>
> That would, eg, make it safe to free the 'pool' memory.
>
> > - spin_lock(&pool->lock);
> > - spin_unlock(&pool->lock);
>

no, please see the commit 'e774a7bc7f0adb'.

spin_lock(&pool->lock);
- if (!list_empty(&page->lru))
- list_del_init(&page->lru);
spin_unlock(&pool->lock);

The original purpose of this lock was to protect page->lru,
which was removed now, so the spinlock is unnecessary.

Thanks for your time.

2024-02-08 03:31:48

by Johannes Weiner

[permalink] [raw]
Subject: Re: [External] Re: [PATCH] mm/z3fold: remove unneeded spinlock

On Mon, Feb 05, 2024 at 09:08:05AM +0800, Zhongkun He wrote:
> On Mon, Feb 5, 2024 at 2:46 AM Matthew Wilcox <[email protected]> wrote:
> >
> > On Sun, Feb 04, 2024 at 08:54:04PM +0800, Zhongkun He wrote:
> > > There is no need to use spinlock in this section, so
> > > remove it.
> >
> > I don't know this code at all, but the idiom is (relatively) common.
> > It waits until anybody _currently_ holding the lock has released it.
> >
> > That would, eg, make it safe to free the 'pool' memory.
> >
> > > - spin_lock(&pool->lock);
> > > - spin_unlock(&pool->lock);
> >
>
> no, please see the commit 'e774a7bc7f0adb'.
>
> spin_lock(&pool->lock);
> - if (!list_empty(&page->lru))
> - list_del_init(&page->lru);
> spin_unlock(&pool->lock);
>
> The original purpose of this lock was to protect page->lru,
> which was removed now, so the spinlock is unnecessary.

But pool->lock protects other stuff too? This doesn't rule out that
there is some other ordering dependency on cycling the lock before
freeing the entry. The person who would know best is the maintainer of
this code, Vitaly. Let's CC him.

2024-02-08 18:10:48

by Zhongkun He

[permalink] [raw]
Subject: Re: [External] Re: [PATCH] mm/z3fold: remove unneeded spinlock

On Thu, Feb 8, 2024 at 11:29 AM Johannes Weiner <[email protected]> wrote:
>
> On Mon, Feb 05, 2024 at 09:08:05AM +0800, Zhongkun He wrote:
> > On Mon, Feb 5, 2024 at 2:46 AM Matthew Wilcox <[email protected]> wrote:
> > >
> > > On Sun, Feb 04, 2024 at 08:54:04PM +0800, Zhongkun He wrote:
> > > > There is no need to use spinlock in this section, so
> > > > remove it.
> > >
> > > I don't know this code at all, but the idiom is (relatively) common.
> > > It waits until anybody _currently_ holding the lock has released it.
> > >
> > > That would, eg, make it safe to free the 'pool' memory.
> > >
> > > > - spin_lock(&pool->lock);
> > > > - spin_unlock(&pool->lock);
> > >
> >
> > no, please see the commit 'e774a7bc7f0adb'.
> >
> > spin_lock(&pool->lock);
> > - if (!list_empty(&page->lru))
> > - list_del_init(&page->lru);
> > spin_unlock(&pool->lock);
> >
> > The original purpose of this lock was to protect page->lru,
> > which was removed now, so the spinlock is unnecessary.
>
> But pool->lock protects other stuff too? This doesn't rule out that
> there is some other ordering dependency on cycling the lock before
> freeing the entry. The person who would know best is the maintainer of
> this code, Vitaly. Let's CC him.

Thank you for your reply and look forward to hearing from Vitaly.