All of lore.kernel.org
 help / color / mirror / Atom feed
From: Simon Jeons <simon.jeons@gmail.com>
To: Hugh Dickins <hughd@google.com>
Cc: Andrew Morton <akpm@linux-foundation.org>,
	Petr Holasek <pholasek@redhat.com>,
	Andrea Arcangeli <aarcange@redhat.com>,
	Izik Eidus <izik.eidus@ravellosystems.com>,
	linux-kernel@vger.kernel.org, linux-mm@kvack.org
Subject: Re: [PATCH 7/11] ksm: make KSM page migration possible
Date: Sun, 27 Jan 2013 18:41:23 -0600	[thread overview]
Message-ID: <1359333683.6763.13.camel@kernel> (raw)
In-Reply-To: <alpine.LNX.2.00.1301271506480.17495@eggly.anvils>

On Sun, 2013-01-27 at 15:12 -0800, Hugh Dickins wrote:
> On Sat, 26 Jan 2013, Simon Jeons wrote:
> > On Fri, 2013-01-25 at 18:03 -0800, Hugh Dickins wrote:
> > > +	while (!get_page_unless_zero(page)) {
> > > +		/*
> > > +		 * Another check for page->mapping != expected_mapping would
> > > +		 * work here too.  We have chosen the !PageSwapCache test to
> > > +		 * optimize the common case, when the page is or is about to
> > > +		 * be freed: PageSwapCache is cleared (under spin_lock_irq)
> > > +		 * in the freeze_refs section of __remove_mapping(); but Anon
> > > +		 * page->mapping reset to NULL later, in free_pages_prepare().
> > > +		 */
> > > +		if (!PageSwapCache(page))
> > > +			goto stale;
> > > +		cpu_relax();
> > > +	}
> > > +
> > > +	if (ACCESS_ONCE(page->mapping) != expected_mapping) {
> > >  		put_page(page);
> > >  		goto stale;
> > >  	}
> > > +
> > >  	if (locked) {
> > >  		lock_page(page);
> > > -		if (page->mapping != expected_mapping) {
> > > +		if (ACCESS_ONCE(page->mapping) != expected_mapping) {
> > >  			unlock_page(page);
> > >  			put_page(page);
> > >  			goto stale;
> > >  		}
> > >  	}
> > 
> > Could you explain why need check page->mapping twice after get page?
> 
> Once for the !locked case, which should not return page if mapping changed.
> Once for the locked case, which should not return page if mapping changed.
> We could use "else", but that wouldn't be an improvement.

But for locked case, page->mapping will be check twice.



--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org.  For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>

WARNING: multiple messages have this Message-ID (diff)
From: Simon Jeons <simon.jeons@gmail.com>
To: Hugh Dickins <hughd@google.com>
Cc: Andrew Morton <akpm@linux-foundation.org>,
	Petr Holasek <pholasek@redhat.com>,
	Andrea Arcangeli <aarcange@redhat.com>,
	Izik Eidus <izik.eidus@ravellosystems.com>,
	linux-kernel@vger.kernel.org, linux-mm@kvack.org
Subject: Re: [PATCH 7/11] ksm: make KSM page migration possible
Date: Sun, 27 Jan 2013 18:41:23 -0600	[thread overview]
Message-ID: <1359333683.6763.13.camel@kernel> (raw)
In-Reply-To: <alpine.LNX.2.00.1301271506480.17495@eggly.anvils>

On Sun, 2013-01-27 at 15:12 -0800, Hugh Dickins wrote:
> On Sat, 26 Jan 2013, Simon Jeons wrote:
> > On Fri, 2013-01-25 at 18:03 -0800, Hugh Dickins wrote:
> > > +	while (!get_page_unless_zero(page)) {
> > > +		/*
> > > +		 * Another check for page->mapping != expected_mapping would
> > > +		 * work here too.  We have chosen the !PageSwapCache test to
> > > +		 * optimize the common case, when the page is or is about to
> > > +		 * be freed: PageSwapCache is cleared (under spin_lock_irq)
> > > +		 * in the freeze_refs section of __remove_mapping(); but Anon
> > > +		 * page->mapping reset to NULL later, in free_pages_prepare().
> > > +		 */
> > > +		if (!PageSwapCache(page))
> > > +			goto stale;
> > > +		cpu_relax();
> > > +	}
> > > +
> > > +	if (ACCESS_ONCE(page->mapping) != expected_mapping) {
> > >  		put_page(page);
> > >  		goto stale;
> > >  	}
> > > +
> > >  	if (locked) {
> > >  		lock_page(page);
> > > -		if (page->mapping != expected_mapping) {
> > > +		if (ACCESS_ONCE(page->mapping) != expected_mapping) {
> > >  			unlock_page(page);
> > >  			put_page(page);
> > >  			goto stale;
> > >  		}
> > >  	}
> > 
> > Could you explain why need check page->mapping twice after get page?
> 
> Once for the !locked case, which should not return page if mapping changed.
> Once for the locked case, which should not return page if mapping changed.
> We could use "else", but that wouldn't be an improvement.

But for locked case, page->mapping will be check twice.




  reply	other threads:[~2013-01-28  0:41 UTC|newest]

Thread overview: 138+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-01-26  1:53 [PATCH 0/11] ksm: NUMA trees and page migration Hugh Dickins
2013-01-26  1:53 ` Hugh Dickins
2013-01-26  1:54 ` [PATCH 1/11] ksm: allow trees per NUMA node Hugh Dickins
2013-01-26  1:54   ` Hugh Dickins
2013-01-27  1:14   ` Simon Jeons
2013-01-27  1:14     ` Simon Jeons
2013-01-27  2:54     ` Hugh Dickins
2013-01-27  2:54       ` Hugh Dickins
2013-01-27  3:16       ` Simon Jeons
2013-01-27  3:16         ` Simon Jeons
2013-01-27 21:55         ` Hugh Dickins
2013-01-27 21:55           ` Hugh Dickins
2013-01-28 23:03   ` Andrew Morton
2013-01-28 23:03     ` Andrew Morton
2013-01-29  1:17     ` Hugh Dickins
2013-01-29  1:17       ` Hugh Dickins
2013-01-28 23:08   ` Andrew Morton
2013-01-28 23:08     ` Andrew Morton
2013-01-29  1:38     ` Hugh Dickins
2013-01-29  1:38       ` Hugh Dickins
2013-02-05 16:41   ` Mel Gorman
2013-02-05 16:41     ` Mel Gorman
2013-02-07 23:57     ` Hugh Dickins
2013-02-07 23:57       ` Hugh Dickins
2013-01-26  1:56 ` [PATCH 2/11] ksm: add sysfs ABI Documentation Hugh Dickins
2013-01-26  1:56   ` Hugh Dickins
2013-01-26  1:58 ` [PATCH 3/11] ksm: trivial tidyups Hugh Dickins
2013-01-26  1:58   ` Hugh Dickins
2013-01-28 23:11   ` Andrew Morton
2013-01-28 23:11     ` Andrew Morton
2013-01-29  1:44     ` Hugh Dickins
2013-01-29  1:44       ` Hugh Dickins
2013-01-26  1:59 ` [PATCH 4/11] ksm: reorganize ksm_check_stable_tree Hugh Dickins
2013-01-26  1:59   ` Hugh Dickins
2013-02-05 16:48   ` Mel Gorman
2013-02-05 16:48     ` Mel Gorman
2013-02-08  0:07     ` Hugh Dickins
2013-02-08  0:07       ` Hugh Dickins
2013-02-14 11:30       ` Mel Gorman
2013-02-14 11:30         ` Mel Gorman
2013-01-26  2:00 ` [PATCH 5/11] ksm: get_ksm_page locked Hugh Dickins
2013-01-26  2:00   ` Hugh Dickins
2013-01-27  2:36   ` Simon Jeons
2013-01-27  2:36     ` Simon Jeons
2013-01-27 22:08     ` Hugh Dickins
2013-01-27 22:08       ` Hugh Dickins
2013-01-28  0:36       ` Simon Jeons
2013-01-28  0:36         ` Simon Jeons
2013-01-28  3:35         ` Hugh Dickins
2013-01-28  3:35           ` Hugh Dickins
2013-01-27  2:48   ` Simon Jeons
2013-01-27  2:48     ` Simon Jeons
2013-01-27 22:10     ` Hugh Dickins
2013-01-27 22:10       ` Hugh Dickins
2013-02-05 17:18   ` Mel Gorman
2013-02-05 17:18     ` Mel Gorman
2013-02-08  0:33     ` Hugh Dickins
2013-02-08  0:33       ` Hugh Dickins
2013-02-14 11:34       ` Mel Gorman
2013-02-14 11:34         ` Mel Gorman
2013-01-26  2:01 ` [PATCH 6/11] ksm: remove old stable nodes more thoroughly Hugh Dickins
2013-01-26  2:01   ` Hugh Dickins
2013-01-27  4:55   ` Simon Jeons
2013-01-27  4:55     ` Simon Jeons
2013-01-27 23:05     ` Hugh Dickins
2013-01-27 23:05       ` Hugh Dickins
2013-01-28  1:42       ` Simon Jeons
2013-01-28  1:42         ` Simon Jeons
2013-01-28  4:14         ` Hugh Dickins
2013-01-28  4:14           ` Hugh Dickins
2013-01-28  2:12   ` Simon Jeons
2013-01-28  2:12     ` Simon Jeons
2013-01-28  4:19     ` Hugh Dickins
2013-01-28  4:19       ` Hugh Dickins
2013-01-28  6:36   ` Simon Jeons
2013-01-28  6:36     ` Simon Jeons
2013-01-28 23:44   ` Andrew Morton
2013-01-28 23:44     ` Andrew Morton
2013-01-29  2:03     ` Hugh Dickins
2013-01-29  2:03       ` Hugh Dickins
2013-02-05 17:55   ` Mel Gorman
2013-02-05 17:55     ` Mel Gorman
2013-02-08 19:33     ` Hugh Dickins
2013-02-08 19:33       ` Hugh Dickins
2013-02-14 11:58       ` Mel Gorman
2013-02-14 11:58         ` Mel Gorman
2013-02-14 22:19         ` Hugh Dickins
2013-02-14 22:19           ` Hugh Dickins
2013-01-26  2:03 ` [PATCH 7/11] ksm: make KSM page migration possible Hugh Dickins
2013-01-26  2:03   ` Hugh Dickins
2013-01-27  5:47   ` Simon Jeons
2013-01-27  5:47     ` Simon Jeons
2013-01-27 23:12     ` Hugh Dickins
2013-01-27 23:12       ` Hugh Dickins
2013-01-28  0:41       ` Simon Jeons [this message]
2013-01-28  0:41         ` Simon Jeons
2013-01-28  3:44         ` Hugh Dickins
2013-01-28  3:44           ` Hugh Dickins
2013-02-05 19:11   ` Mel Gorman
2013-02-05 19:11     ` Mel Gorman
2013-02-08 20:52     ` Hugh Dickins
2013-02-08 20:52       ` Hugh Dickins
2013-01-26  2:05 ` [PATCH 8/11] ksm: make !merge_across_nodes migration safe Hugh Dickins
2013-01-26  2:05   ` Hugh Dickins
2013-01-27  8:49   ` Simon Jeons
2013-01-27  8:49     ` Simon Jeons
2013-01-27 23:25     ` Hugh Dickins
2013-01-27 23:25       ` Hugh Dickins
2013-01-28  3:44   ` Simon Jeons
2013-01-28  3:44     ` Simon Jeons
2013-01-26  2:06 ` [PATCH 9/11] ksm: enable KSM page migration Hugh Dickins
2013-01-26  2:06   ` Hugh Dickins
2013-01-26  2:07 ` [PATCH 10/11] mm: remove offlining arg to migrate_pages Hugh Dickins
2013-01-26  2:07   ` Hugh Dickins
2013-01-26  2:10 ` [PATCH 11/11] ksm: stop hotremove lockdep warning Hugh Dickins
2013-01-26  2:10   ` Hugh Dickins
2013-01-27  6:23   ` Simon Jeons
2013-01-27  6:23     ` Simon Jeons
2013-01-27 23:35     ` Hugh Dickins
2013-01-27 23:35       ` Hugh Dickins
2013-02-08 18:45   ` Gerald Schaefer
2013-02-08 18:45     ` Gerald Schaefer
2013-02-11 22:13     ` Hugh Dickins
2013-02-11 22:13       ` Hugh Dickins
2013-01-28 23:54 ` [PATCH 0/11] ksm: NUMA trees and page migration Andrew Morton
2013-01-28 23:54   ` Andrew Morton
2013-01-29  0:49   ` Izik Eidus
2013-01-29  0:49     ` Izik Eidus
2013-01-29  2:26     ` Izik Eidus
2013-01-29  2:26       ` Izik Eidus
2013-01-29 16:51       ` Andrea Arcangeli
2013-01-29 16:51         ` Andrea Arcangeli
2013-01-31  0:05         ` Ric Mason
2013-01-31  0:05           ` Ric Mason
2013-01-29  1:07   ` Hugh Dickins
2013-01-29  1:07     ` Hugh Dickins
2013-01-29 10:45     ` Gleb Natapov
2013-01-29 10:45       ` Gleb Natapov

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=1359333683.6763.13.camel@kernel \
    --to=simon.jeons@gmail.com \
    --cc=aarcange@redhat.com \
    --cc=akpm@linux-foundation.org \
    --cc=hughd@google.com \
    --cc=izik.eidus@ravellosystems.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=pholasek@redhat.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.