lkml.org 
[lkml]   [2012]   [Jan]   [30]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 02/15] mm: page_alloc: update migrate type of pages on pcp when isolating
On Mon, Jan 30, 2012 at 04:41:22PM +0100, Michal Nazarewicz wrote:
> On Mon, 30 Jan 2012 12:15:22 +0100, Mel Gorman <mel@csn.ul.ie> wrote:
>
> >On Thu, Jan 26, 2012 at 10:00:44AM +0100, Marek Szyprowski wrote:
> >>From: Michal Nazarewicz <mina86@mina86.com>
> >>@@ -139,3 +139,27 @@ int test_pages_isolated(unsigned long start_pfn, unsigned long end_pfn)
> >> spin_unlock_irqrestore(&zone->lock, flags);
> >> return ret ? 0 : -EBUSY;
> >> }
> >>+
> >>+/* must hold zone->lock */
> >>+void update_pcp_isolate_block(unsigned long pfn)
> >>+{
> >>+ unsigned long end_pfn = pfn + pageblock_nr_pages;
> >>+ struct page *page;
> >>+
> >>+ while (pfn < end_pfn) {
> >>+ if (!pfn_valid_within(pfn)) {
> >>+ ++pfn;
> >>+ continue;
> >>+ }
> >>+
>
> On Mon, 30 Jan 2012 12:15:22 +0100, Mel Gorman <mel@csn.ul.ie> wrote:
> >There is a potential problem here that you need to be aware of.
> >set_pageblock_migratetype() is called from start_isolate_page_range().
> >I do not think there is a guarantee that pfn + pageblock_nr_pages is
> >not in a different block of MAX_ORDER_NR_PAGES. If that is right then
> >your options are to add a check like this;
> >
> >if ((pfn & (MAX_ORDER_NR_PAGES - 1)) == 0 && !pfn_valid(pfn))
> > break;
> >
> >or else ensure that end_pfn is always MAX_ORDER_NR_PAGES aligned and in
> >the same block as pfn and relying on the caller to have called
> >pfn_valid.
>
> pfn = round_down(pfn, pageblock_nr_pages);
> end_pfn = pfn + pageblock_nr_pages;
>
> should do the trick as well, right? move_freepages_block() seem to be
> doing the same thing.
>

That would also do it the trick.

> >>+ page = pfn_to_page(pfn);
> >>+ if (PageBuddy(page)) {
> >>+ pfn += 1 << page_order(page);
> >>+ } else if (page_count(page) == 0) {
> >>+ set_page_private(page, MIGRATE_ISOLATE);
> >>+ ++pfn;
> >
> >This is dangerous for two reasons. If the page_count is 0, it could
> >be because the page is in the process of being freed and is not
> >necessarily on the per-cpu lists yet and you cannot be sure if the
> >contents of page->private are important. Second, there is nothing to
> >prevent another CPU allocating this page from its per-cpu list while
> >the private field is getting updated from here which might lead to
> >some interesting races.
> >
> >I recognise that what you are trying to do is respond to Gilad's
> >request that you really check if an IPI here is necessary. I think what
> >you need to do is check if a page with a count of 0 is encountered
> >and if it is, then a draining of the per-cpu lists is necessary. To
> >address Gilad's concerns, be sure to only this this once per attempt at
> >CMA rather than for every page encountered with a count of 0 to avoid a
> >storm of IPIs.
>
> It's actually more then that.
>
> This is the same issue that I first fixed with a change to free_pcppages_bulk()
> function[1]. At the time of positing, you said you'd like me to try and find
> a different solution which would not involve paying the price of calling
> get_pageblock_migratetype(). Later I also realised that this solution is
> not enough.
>
> [1] http://article.gmane.org/gmane.linux.kernel.mm/70314
>

Yes. I had forgotten the history but looking at that patch again,
I would reach the conclusion that this was adding a new call to
get_pageblock_migratetype() in the bulk free path. That would affect
everybody whether they were using CMA or not.

> My next attempt was to run drain PCP list while holding zone->lock[2], but that
> quickly proven to be broken approach when Marek started testing it on an SMP
> system.
>
> [2] http://article.gmane.org/gmane.linux.kernel.mm/72016
>
> This patch is yet another attempt of solving this old issue. Even though it has
> a potential race condition we came to conclusion that the actual chances of
> causing any problems are slim. Various stress tests did not, in fact, show
> the race to be an issue.
>

It is a really small race. To cause a problem CPU 1 must find a page
with count 0, CPU 2 must then allocate the page and set page->private
before CPU 1 overwrites that value but it's there.

> The problem is that if a page is on a PCP list, and it's underlaying pageblocks'
> migrate type is changed to MIGRATE_ISOLATE, the page (i) will still remain on PCP
> list and thus someone can allocate it, and (ii) when removed from PCP list, the
> page will be put on freelist of migrate type it had prior to change.
>
> (i) is actually not such a big issue since the next thing that happens after
> isolation is migration so all the pages will get freed. (ii) is actual problem
> and if [1] is not an acceptable solution I really don't have a good fix for that.
>
> One things that comes to mind is calling drain_all_pages() prior to acquiring
> zone->lock in set_migratetype_isolate(). This is however prone to races since
> after the drain and before the zone->lock is acquired, pages might get moved
> back to PCP list.
>
> Draining PCP list after acquiring zone->lock is not possible because
> smp_call_function_many() cannot be called with interrupts disabled, and changing
> spin_lock_irqsave() to spin_lock() followed by local_irq_save() causes a dead
> lock (that's what [2] attempted to do).
>
> Any suggestions are welcome!
>

[1] is still not preferred as I'd still like to keep the impact
of CMA to the normal paths to be as close to 0 as possible. In
update_pcp_isolate_block() how about something like this?

if (page_count(page) == 0) {
spin_unlock_irqrestore(zone->lock, flags);
drain_all_pages()
spin_lock_irqsave(zone->lock, flags);
if (PageBuddy(page)) {
order = page_order(page);
list_del(&page->lru);
list_add_tail(&page->lru, &zone->free_area[order].free_list[MIGRATE_ISOLATE]);
set_page_private(page, MIGRATE_ISOLATE);
}
}

If the page is !PageBuddy, it does not matter as alloc_contig_range()
is just about to migrate it.


> >>+ } else {
> >>+ ++pfn;
> >>+ }
> >>+ }
> >>+}
>
> --
> Best regards, _ _
> .o. | Liege of Serenely Enlightened Majesty of o' \,=./ `o
> ..o | Computer Science, Micha?? ???mina86??? Nazarewicz (o o)
> ooo +----<email/xmpp: mpn@google.com>--------------ooO--(_)--Ooo--
>

--
Mel Gorman
SUSE Labs


\
 
 \ /
  Last update: 2012-01-30 17:17    [W:0.097 / U:0.556 seconds]
©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site