From: David Rientjes <rientjes@google.com>
To: Kirill Tkhai <ktkhai@virtuozzo.com>
Cc: Wei Yang <richardw.yang@linux.intel.com>,
hannes@cmpxchg.org, mhocko@kernel.org, vdavydov.dev@gmail.com,
akpm@linux-foundation.org, kirill.shutemov@linux.intel.com,
yang.shi@linux.alibaba.com, cgroups@vger.kernel.org,
linux-mm@kvack.org, linux-kernel@vger.kernel.org,
alexander.duyck@gmail.com, stable@vger.kernel.org
Subject: Re: [Patch v3] mm: thp: grab the lock before manipulation defer list
Date: Thu, 16 Jan 2020 14:01:59 -0800 (PST) [thread overview]
Message-ID: <alpine.DEB.2.21.2001161357240.109233@chino.kir.corp.google.com> (raw)
In-Reply-To: <0bb34c4a-97c7-0b3c-cf43-8af6cf9c4396@virtuozzo.com>
On Thu, 16 Jan 2020, Kirill Tkhai wrote:
> > diff --git a/mm/memcontrol.c b/mm/memcontrol.c
> > index c5b5f74cfd4d..6450bbe394e2 100644
> > --- a/mm/memcontrol.c
> > +++ b/mm/memcontrol.c
> > @@ -5360,10 +5360,12 @@ static int mem_cgroup_move_account(struct page *page,
> > }
> >
> > #ifdef CONFIG_TRANSPARENT_HUGEPAGE
> > - if (compound && !list_empty(page_deferred_list(page))) {
> > + if (compound) {
> > spin_lock(&from->deferred_split_queue.split_queue_lock);
> > - list_del_init(page_deferred_list(page));
> > - from->deferred_split_queue.split_queue_len--;
> > + if (!list_empty(page_deferred_list(page))) {
> > + list_del_init(page_deferred_list(page));
> > + from->deferred_split_queue.split_queue_len--;
> > + }
> > spin_unlock(&from->deferred_split_queue.split_queue_lock);
> > }
> > #endif
> > @@ -5377,11 +5379,13 @@ static int mem_cgroup_move_account(struct page *page,
> > page->mem_cgroup = to;
> >
> > #ifdef CONFIG_TRANSPARENT_HUGEPAGE
> > - if (compound && list_empty(page_deferred_list(page))) {
> > + if (compound) {
> > spin_lock(&to->deferred_split_queue.split_queue_lock);
> > - list_add_tail(page_deferred_list(page),
> > - &to->deferred_split_queue.split_queue);
> > - to->deferred_split_queue.split_queue_len++;
> > + if (list_empty(page_deferred_list(page))) {
> > + list_add_tail(page_deferred_list(page),
> > + &to->deferred_split_queue.split_queue);
> > + to->deferred_split_queue.split_queue_len++;
> > + }
> > spin_unlock(&to->deferred_split_queue.split_queue_lock);
> > }
> > #endif
>
> The patch looks OK for me. But there is another question. I forget, why we unconditionally
> add a page with empty deferred list to deferred_split_queue. Shouldn't we also check that
> it was initially in the list? Something like:
>
> diff --git a/mm/memcontrol.c b/mm/memcontrol.c
> index d4394ae4e5be..0be0136adaa6 100644
> --- a/mm/memcontrol.c
> +++ b/mm/memcontrol.c
> @@ -5289,6 +5289,7 @@ static int mem_cgroup_move_account(struct page *page,
> struct pglist_data *pgdat;
> unsigned long flags;
> unsigned int nr_pages = compound ? hpage_nr_pages(page) : 1;
> + bool split = false;
> int ret;
> bool anon;
>
> @@ -5346,6 +5347,7 @@ static int mem_cgroup_move_account(struct page *page,
> if (!list_empty(page_deferred_list(page))) {
> list_del_init(page_deferred_list(page));
> from->deferred_split_queue.split_queue_len--;
> + split = true;
> }
> spin_unlock(&from->deferred_split_queue.split_queue_lock);
> }
> @@ -5360,7 +5362,7 @@ static int mem_cgroup_move_account(struct page *page,
> page->mem_cgroup = to;
>
> #ifdef CONFIG_TRANSPARENT_HUGEPAGE
> - if (compound) {
> + if (compound && split) {
> spin_lock(&to->deferred_split_queue.split_queue_lock);
> if (list_empty(page_deferred_list(page))) {
> list_add_tail(page_deferred_list(page),
>
I think that's a good point, especially considering that the current code
appears to unconditionally place any compound page on the deferred split
queue of the destination memcg. The correct list that it should appear
on, I believe, depends on whether the pmd has been split for the process
being moved: note the MC_TARGET_PAGE caveat in
mem_cgroup_move_charge_pte_range() that does not move the charge for
compound pages with split pmds. So when mem_cgroup_move_account() is
called with compound == true, we're moving the charge of the entire
compound page: why would it appear on that memcg's deferred split queue?
next prev parent reply other threads:[~2020-01-16 22:02 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-01-16 1:31 Wei Yang
2020-01-16 9:35 ` Kirill Tkhai
2020-01-16 22:01 ` David Rientjes [this message]
2020-01-17 0:47 ` Wei Yang
2020-01-17 9:10 ` Michal Hocko
2020-01-17 9:26 ` Kirill Tkhai
2020-01-17 9:32 ` David Rientjes
2020-01-17 9:42 ` Kirill Tkhai
2020-01-17 11:59 ` Michal Hocko
2020-01-17 9:31 ` David Rientjes
2020-01-17 15:38 ` Kirill A. Shutemov
2020-01-17 19:11 ` David Rientjes
2020-01-17 19:17 ` Yang Shi
2020-01-17 22:18 ` Wei Yang
2020-01-17 22:57 ` Kirill A. Shutemov
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.DEB.2.21.2001161357240.109233@chino.kir.corp.google.com \
--to=rientjes@google.com \
--cc=akpm@linux-foundation.org \
--cc=alexander.duyck@gmail.com \
--cc=cgroups@vger.kernel.org \
--cc=hannes@cmpxchg.org \
--cc=kirill.shutemov@linux.intel.com \
--cc=ktkhai@virtuozzo.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=mhocko@kernel.org \
--cc=richardw.yang@linux.intel.com \
--cc=stable@vger.kernel.org \
--cc=vdavydov.dev@gmail.com \
--cc=yang.shi@linux.alibaba.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox