revert "mm: have order > 0 compaction start off where it left"
[linux-2.6-block.git] / mm / compaction.c
CommitLineData
748446bb
MG
1/*
2 * linux/mm/compaction.c
3 *
4 * Memory compaction for the reduction of external fragmentation. Note that
5 * this heavily depends upon page migration to do all the real heavy
6 * lifting
7 *
8 * Copyright IBM Corp. 2007-2010 Mel Gorman <mel@csn.ul.ie>
9 */
10#include <linux/swap.h>
11#include <linux/migrate.h>
12#include <linux/compaction.h>
13#include <linux/mm_inline.h>
14#include <linux/backing-dev.h>
76ab0f53 15#include <linux/sysctl.h>
ed4a6d7f 16#include <linux/sysfs.h>
748446bb
MG
17#include "internal.h"
18
ff9543fd
MN
19#if defined CONFIG_COMPACTION || defined CONFIG_CMA
20
b7aba698
MG
21#define CREATE_TRACE_POINTS
22#include <trace/events/compaction.h>
23
748446bb
MG
24static unsigned long release_freepages(struct list_head *freelist)
25{
26 struct page *page, *next;
27 unsigned long count = 0;
28
29 list_for_each_entry_safe(page, next, freelist, lru) {
30 list_del(&page->lru);
31 __free_page(page);
32 count++;
33 }
34
35 return count;
36}
37
ff9543fd
MN
38static void map_pages(struct list_head *list)
39{
40 struct page *page;
41
42 list_for_each_entry(page, list, lru) {
43 arch_alloc_page(page, 0);
44 kernel_map_pages(page, 1, 1);
45 }
46}
47
47118af0
MN
48static inline bool migrate_async_suitable(int migratetype)
49{
50 return is_migrate_cma(migratetype) || migratetype == MIGRATE_MOVABLE;
51}
52
2a1402aa
MG
53static inline bool should_release_lock(spinlock_t *lock)
54{
55 return need_resched() || spin_is_contended(lock);
56}
57
c67fe375
MG
58/*
59 * Compaction requires the taking of some coarse locks that are potentially
60 * very heavily contended. Check if the process needs to be scheduled or
61 * if the lock is contended. For async compaction, back out in the event
62 * if contention is severe. For sync compaction, schedule.
63 *
64 * Returns true if the lock is held.
65 * Returns false if the lock is released and compaction should abort
66 */
67static bool compact_checklock_irqsave(spinlock_t *lock, unsigned long *flags,
68 bool locked, struct compact_control *cc)
69{
2a1402aa 70 if (should_release_lock(lock)) {
c67fe375
MG
71 if (locked) {
72 spin_unlock_irqrestore(lock, *flags);
73 locked = false;
74 }
75
76 /* async aborts if taking too long or contended */
77 if (!cc->sync) {
e64c5237 78 cc->contended = true;
c67fe375
MG
79 return false;
80 }
81
82 cond_resched();
c67fe375
MG
83 }
84
85 if (!locked)
86 spin_lock_irqsave(lock, *flags);
87 return true;
88}
89
90static inline bool compact_trylock_irqsave(spinlock_t *lock,
91 unsigned long *flags, struct compact_control *cc)
92{
93 return compact_checklock_irqsave(lock, flags, false, cc);
94}
95
f40d1e42
MG
96/* Returns true if the page is within a block suitable for migration to */
97static bool suitable_migration_target(struct page *page)
98{
99 int migratetype = get_pageblock_migratetype(page);
100
101 /* Don't interfere with memory hot-remove or the min_free_kbytes blocks */
102 if (migratetype == MIGRATE_ISOLATE || migratetype == MIGRATE_RESERVE)
103 return false;
104
105 /* If the page is a large free page, then allow migration */
106 if (PageBuddy(page) && page_order(page) >= pageblock_order)
107 return true;
108
109 /* If the block is MIGRATE_MOVABLE or MIGRATE_CMA, allow migration */
110 if (migrate_async_suitable(migratetype))
111 return true;
112
113 /* Otherwise skip the block */
114 return false;
115}
116
1fb3f8ca
MG
117static void compact_capture_page(struct compact_control *cc)
118{
119 unsigned long flags;
120 int mtype, mtype_low, mtype_high;
121
122 if (!cc->page || *cc->page)
123 return;
124
125 /*
126 * For MIGRATE_MOVABLE allocations we capture a suitable page ASAP
127 * regardless of the migratetype of the freelist is is captured from.
128 * This is fine because the order for a high-order MIGRATE_MOVABLE
129 * allocation is typically at least a pageblock size and overall
130 * fragmentation is not impaired. Other allocation types must
131 * capture pages from their own migratelist because otherwise they
132 * could pollute other pageblocks like MIGRATE_MOVABLE with
133 * difficult to move pages and making fragmentation worse overall.
134 */
135 if (cc->migratetype == MIGRATE_MOVABLE) {
136 mtype_low = 0;
137 mtype_high = MIGRATE_PCPTYPES;
138 } else {
139 mtype_low = cc->migratetype;
140 mtype_high = cc->migratetype + 1;
141 }
142
143 /* Speculatively examine the free lists without zone lock */
144 for (mtype = mtype_low; mtype < mtype_high; mtype++) {
145 int order;
146 for (order = cc->order; order < MAX_ORDER; order++) {
147 struct page *page;
148 struct free_area *area;
149 area = &(cc->zone->free_area[order]);
150 if (list_empty(&area->free_list[mtype]))
151 continue;
152
153 /* Take the lock and attempt capture of the page */
154 if (!compact_trylock_irqsave(&cc->zone->lock, &flags, cc))
155 return;
156 if (!list_empty(&area->free_list[mtype])) {
157 page = list_entry(area->free_list[mtype].next,
158 struct page, lru);
159 if (capture_free_page(page, cc->order, mtype)) {
160 spin_unlock_irqrestore(&cc->zone->lock,
161 flags);
162 *cc->page = page;
163 return;
164 }
165 }
166 spin_unlock_irqrestore(&cc->zone->lock, flags);
167 }
168 }
169}
170
85aa125f
MN
171/*
172 * Isolate free pages onto a private freelist. Caller must hold zone->lock.
173 * If @strict is true, will abort returning 0 on any invalid PFNs or non-free
174 * pages inside of the pageblock (even though it may still end up isolating
175 * some pages).
176 */
f40d1e42
MG
177static unsigned long isolate_freepages_block(struct compact_control *cc,
178 unsigned long blockpfn,
85aa125f
MN
179 unsigned long end_pfn,
180 struct list_head *freelist,
181 bool strict)
748446bb 182{
b7aba698 183 int nr_scanned = 0, total_isolated = 0;
748446bb 184 struct page *cursor;
f40d1e42
MG
185 unsigned long nr_strict_required = end_pfn - blockpfn;
186 unsigned long flags;
187 bool locked = false;
748446bb 188
748446bb
MG
189 cursor = pfn_to_page(blockpfn);
190
f40d1e42 191 /* Isolate free pages. */
748446bb
MG
192 for (; blockpfn < end_pfn; blockpfn++, cursor++) {
193 int isolated, i;
194 struct page *page = cursor;
195
b7aba698 196 nr_scanned++;
f40d1e42
MG
197 if (!pfn_valid_within(blockpfn))
198 continue;
199 if (!PageBuddy(page))
200 continue;
201
202 /*
203 * The zone lock must be held to isolate freepages.
204 * Unfortunately this is a very coarse lock and can be
205 * heavily contended if there are parallel allocations
206 * or parallel compactions. For async compaction do not
207 * spin on the lock and we acquire the lock as late as
208 * possible.
209 */
210 locked = compact_checklock_irqsave(&cc->zone->lock, &flags,
211 locked, cc);
212 if (!locked)
213 break;
214
215 /* Recheck this is a suitable migration target under lock */
216 if (!strict && !suitable_migration_target(page))
217 break;
748446bb 218
f40d1e42
MG
219 /* Recheck this is a buddy page under lock */
220 if (!PageBuddy(page))
748446bb
MG
221 continue;
222
223 /* Found a free page, break it into order-0 pages */
224 isolated = split_free_page(page);
85aa125f 225 if (!isolated && strict)
f40d1e42 226 break;
748446bb
MG
227 total_isolated += isolated;
228 for (i = 0; i < isolated; i++) {
229 list_add(&page->lru, freelist);
230 page++;
231 }
232
233 /* If a page was split, advance to the end of it */
234 if (isolated) {
235 blockpfn += isolated - 1;
236 cursor += isolated - 1;
237 }
238 }
239
b7aba698 240 trace_mm_compaction_isolate_freepages(nr_scanned, total_isolated);
f40d1e42
MG
241
242 /*
243 * If strict isolation is requested by CMA then check that all the
244 * pages requested were isolated. If there were any failures, 0 is
245 * returned and CMA will fail.
246 */
247 if (strict && nr_strict_required != total_isolated)
248 total_isolated = 0;
249
250 if (locked)
251 spin_unlock_irqrestore(&cc->zone->lock, flags);
252
748446bb
MG
253 return total_isolated;
254}
255
85aa125f
MN
256/**
257 * isolate_freepages_range() - isolate free pages.
258 * @start_pfn: The first PFN to start isolating.
259 * @end_pfn: The one-past-last PFN.
260 *
261 * Non-free pages, invalid PFNs, or zone boundaries within the
262 * [start_pfn, end_pfn) range are considered errors, cause function to
263 * undo its actions and return zero.
264 *
265 * Otherwise, function returns one-past-the-last PFN of isolated page
266 * (which may be greater then end_pfn if end fell in a middle of
267 * a free page).
268 */
ff9543fd 269unsigned long
85aa125f
MN
270isolate_freepages_range(unsigned long start_pfn, unsigned long end_pfn)
271{
f40d1e42 272 unsigned long isolated, pfn, block_end_pfn;
85aa125f
MN
273 struct zone *zone = NULL;
274 LIST_HEAD(freelist);
275
f40d1e42
MG
276 /* cc needed for isolate_freepages_block to acquire zone->lock */
277 struct compact_control cc = {
278 .sync = true,
279 };
280
85aa125f 281 if (pfn_valid(start_pfn))
f40d1e42 282 cc.zone = zone = page_zone(pfn_to_page(start_pfn));
85aa125f
MN
283
284 for (pfn = start_pfn; pfn < end_pfn; pfn += isolated) {
285 if (!pfn_valid(pfn) || zone != page_zone(pfn_to_page(pfn)))
286 break;
287
288 /*
289 * On subsequent iterations ALIGN() is actually not needed,
290 * but we keep it that we not to complicate the code.
291 */
292 block_end_pfn = ALIGN(pfn + 1, pageblock_nr_pages);
293 block_end_pfn = min(block_end_pfn, end_pfn);
294
f40d1e42 295 isolated = isolate_freepages_block(&cc, pfn, block_end_pfn,
85aa125f 296 &freelist, true);
85aa125f
MN
297
298 /*
299 * In strict mode, isolate_freepages_block() returns 0 if
300 * there are any holes in the block (ie. invalid PFNs or
301 * non-free pages).
302 */
303 if (!isolated)
304 break;
305
306 /*
307 * If we managed to isolate pages, it is always (1 << n) *
308 * pageblock_nr_pages for some non-negative n. (Max order
309 * page may span two pageblocks).
310 */
311 }
312
313 /* split_free_page does not map the pages */
314 map_pages(&freelist);
315
316 if (pfn < end_pfn) {
317 /* Loop terminated early, cleanup. */
318 release_freepages(&freelist);
319 return 0;
320 }
321
322 /* We don't use freelists for anything. */
323 return pfn;
324}
325
748446bb 326/* Update the number of anon and file isolated pages in the zone */
c67fe375 327static void acct_isolated(struct zone *zone, bool locked, struct compact_control *cc)
748446bb
MG
328{
329 struct page *page;
b9e84ac1 330 unsigned int count[2] = { 0, };
748446bb 331
b9e84ac1
MK
332 list_for_each_entry(page, &cc->migratepages, lru)
333 count[!!page_is_file_cache(page)]++;
748446bb 334
c67fe375
MG
335 /* If locked we can use the interrupt unsafe versions */
336 if (locked) {
337 __mod_zone_page_state(zone, NR_ISOLATED_ANON, count[0]);
338 __mod_zone_page_state(zone, NR_ISOLATED_FILE, count[1]);
339 } else {
340 mod_zone_page_state(zone, NR_ISOLATED_ANON, count[0]);
341 mod_zone_page_state(zone, NR_ISOLATED_FILE, count[1]);
342 }
748446bb
MG
343}
344
345/* Similar to reclaim, but different enough that they don't share logic */
346static bool too_many_isolated(struct zone *zone)
347{
bc693045 348 unsigned long active, inactive, isolated;
748446bb
MG
349
350 inactive = zone_page_state(zone, NR_INACTIVE_FILE) +
351 zone_page_state(zone, NR_INACTIVE_ANON);
bc693045
MK
352 active = zone_page_state(zone, NR_ACTIVE_FILE) +
353 zone_page_state(zone, NR_ACTIVE_ANON);
748446bb
MG
354 isolated = zone_page_state(zone, NR_ISOLATED_FILE) +
355 zone_page_state(zone, NR_ISOLATED_ANON);
356
bc693045 357 return isolated > (inactive + active) / 2;
748446bb
MG
358}
359
2fe86e00
MN
360/**
361 * isolate_migratepages_range() - isolate all migrate-able pages in range.
362 * @zone: Zone pages are in.
363 * @cc: Compaction control structure.
364 * @low_pfn: The first PFN of the range.
365 * @end_pfn: The one-past-the-last PFN of the range.
366 *
367 * Isolate all pages that can be migrated from the range specified by
368 * [low_pfn, end_pfn). Returns zero if there is a fatal signal
369 * pending), otherwise PFN of the first page that was not scanned
370 * (which may be both less, equal to or more then end_pfn).
371 *
372 * Assumes that cc->migratepages is empty and cc->nr_migratepages is
373 * zero.
374 *
375 * Apart from cc->migratepages and cc->nr_migratetypes this function
376 * does not modify any cc's fields, in particular it does not modify
377 * (or read for that matter) cc->migrate_pfn.
748446bb 378 */
ff9543fd 379unsigned long
2fe86e00
MN
380isolate_migratepages_range(struct zone *zone, struct compact_control *cc,
381 unsigned long low_pfn, unsigned long end_pfn)
748446bb 382{
9927af74 383 unsigned long last_pageblock_nr = 0, pageblock_nr;
b7aba698 384 unsigned long nr_scanned = 0, nr_isolated = 0;
748446bb 385 struct list_head *migratelist = &cc->migratepages;
f3fd4a61 386 isolate_mode_t mode = 0;
fa9add64 387 struct lruvec *lruvec;
c67fe375 388 unsigned long flags;
2a1402aa 389 bool locked = false;
748446bb 390
748446bb
MG
391 /*
392 * Ensure that there are not too many pages isolated from the LRU
393 * list by either parallel reclaimers or compaction. If there are,
394 * delay for some time until fewer pages are isolated
395 */
396 while (unlikely(too_many_isolated(zone))) {
f9e35b3b 397 /* async migration should just abort */
68e3e926 398 if (!cc->sync)
2fe86e00 399 return 0;
f9e35b3b 400
748446bb
MG
401 congestion_wait(BLK_RW_ASYNC, HZ/10);
402
403 if (fatal_signal_pending(current))
2fe86e00 404 return 0;
748446bb
MG
405 }
406
407 /* Time to isolate some pages for migration */
b2eef8c0 408 cond_resched();
748446bb
MG
409 for (; low_pfn < end_pfn; low_pfn++) {
410 struct page *page;
b2eef8c0
AA
411
412 /* give a chance to irqs before checking need_resched() */
2a1402aa
MG
413 if (locked && !((low_pfn+1) % SWAP_CLUSTER_MAX)) {
414 if (should_release_lock(&zone->lru_lock)) {
415 spin_unlock_irqrestore(&zone->lru_lock, flags);
416 locked = false;
417 }
b2eef8c0 418 }
c67fe375 419
0bf380bc
MG
420 /*
421 * migrate_pfn does not necessarily start aligned to a
422 * pageblock. Ensure that pfn_valid is called when moving
423 * into a new MAX_ORDER_NR_PAGES range in case of large
424 * memory holes within the zone
425 */
426 if ((low_pfn & (MAX_ORDER_NR_PAGES - 1)) == 0) {
427 if (!pfn_valid(low_pfn)) {
428 low_pfn += MAX_ORDER_NR_PAGES - 1;
429 continue;
430 }
431 }
432
748446bb
MG
433 if (!pfn_valid_within(low_pfn))
434 continue;
b7aba698 435 nr_scanned++;
748446bb 436
dc908600
MG
437 /*
438 * Get the page and ensure the page is within the same zone.
439 * See the comment in isolate_freepages about overlapping
440 * nodes. It is deliberate that the new zone lock is not taken
441 * as memory compaction should not move pages between nodes.
442 */
748446bb 443 page = pfn_to_page(low_pfn);
dc908600
MG
444 if (page_zone(page) != zone)
445 continue;
446
447 /* Skip if free */
748446bb
MG
448 if (PageBuddy(page))
449 continue;
450
9927af74
MG
451 /*
452 * For async migration, also only scan in MOVABLE blocks. Async
453 * migration is optimistic to see if the minimum amount of work
454 * satisfies the allocation
455 */
456 pageblock_nr = low_pfn >> pageblock_order;
68e3e926 457 if (!cc->sync && last_pageblock_nr != pageblock_nr &&
47118af0 458 !migrate_async_suitable(get_pageblock_migratetype(page))) {
2a1402aa 459 goto next_pageblock;
9927af74
MG
460 }
461
2a1402aa 462 /* Check may be lockless but that's ok as we recheck later */
bc835011
AA
463 if (!PageLRU(page))
464 continue;
465
466 /*
2a1402aa
MG
467 * PageLRU is set. lru_lock normally excludes isolation
468 * splitting and collapsing (collapsing has already happened
469 * if PageLRU is set) but the lock is not necessarily taken
470 * here and it is wasteful to take it just to check transhuge.
471 * Check TransHuge without lock and skip the whole pageblock if
472 * it's either a transhuge or hugetlbfs page, as calling
473 * compound_order() without preventing THP from splitting the
474 * page underneath us may return surprising results.
bc835011 475 */
2a1402aa
MG
476 if (PageTransHuge(page)) {
477 if (!locked)
478 goto next_pageblock;
479 low_pfn += (1 << compound_order(page)) - 1;
480 continue;
481 }
482
483 /* Check if it is ok to still hold the lock */
484 locked = compact_checklock_irqsave(&zone->lru_lock, &flags,
485 locked, cc);
486 if (!locked || fatal_signal_pending(current))
487 break;
488
489 /* Recheck PageLRU and PageTransHuge under lock */
490 if (!PageLRU(page))
491 continue;
bc835011
AA
492 if (PageTransHuge(page)) {
493 low_pfn += (1 << compound_order(page)) - 1;
494 continue;
495 }
496
68e3e926 497 if (!cc->sync)
c8244935
MG
498 mode |= ISOLATE_ASYNC_MIGRATE;
499
fa9add64
HD
500 lruvec = mem_cgroup_page_lruvec(page, zone);
501
748446bb 502 /* Try isolate the page */
f3fd4a61 503 if (__isolate_lru_page(page, mode) != 0)
748446bb
MG
504 continue;
505
bc835011
AA
506 VM_BUG_ON(PageTransCompound(page));
507
748446bb 508 /* Successfully isolated */
fa9add64 509 del_page_from_lru_list(page, lruvec, page_lru(page));
748446bb 510 list_add(&page->lru, migratelist);
748446bb 511 cc->nr_migratepages++;
b7aba698 512 nr_isolated++;
748446bb
MG
513
514 /* Avoid isolating too much */
31b8384a
HD
515 if (cc->nr_migratepages == COMPACT_CLUSTER_MAX) {
516 ++low_pfn;
748446bb 517 break;
31b8384a 518 }
2a1402aa
MG
519
520 continue;
521
522next_pageblock:
523 low_pfn += pageblock_nr_pages;
524 low_pfn = ALIGN(low_pfn, pageblock_nr_pages) - 1;
525 last_pageblock_nr = pageblock_nr;
748446bb
MG
526 }
527
c67fe375 528 acct_isolated(zone, locked, cc);
748446bb 529
c67fe375
MG
530 if (locked)
531 spin_unlock_irqrestore(&zone->lru_lock, flags);
748446bb 532
b7aba698
MG
533 trace_mm_compaction_isolate_migratepages(nr_scanned, nr_isolated);
534
2fe86e00
MN
535 return low_pfn;
536}
537
ff9543fd
MN
538#endif /* CONFIG_COMPACTION || CONFIG_CMA */
539#ifdef CONFIG_COMPACTION
2fe86e00 540/*
ff9543fd
MN
541 * Based on information in the current compact_control, find blocks
542 * suitable for isolating free pages from and then isolate them.
2fe86e00 543 */
ff9543fd
MN
544static void isolate_freepages(struct zone *zone,
545 struct compact_control *cc)
2fe86e00 546{
ff9543fd
MN
547 struct page *page;
548 unsigned long high_pfn, low_pfn, pfn, zone_end_pfn, end_pfn;
ff9543fd
MN
549 int nr_freepages = cc->nr_freepages;
550 struct list_head *freelist = &cc->freepages;
2fe86e00 551
ff9543fd
MN
552 /*
553 * Initialise the free scanner. The starting point is where we last
554 * scanned from (or the end of the zone if starting). The low point
555 * is the end of the pageblock the migration scanner is using.
556 */
557 pfn = cc->free_pfn;
558 low_pfn = cc->migrate_pfn + pageblock_nr_pages;
2fe86e00 559
ff9543fd
MN
560 /*
561 * Take care that if the migration scanner is at the end of the zone
562 * that the free scanner does not accidentally move to the next zone
563 * in the next isolation cycle.
564 */
565 high_pfn = min(low_pfn, pfn);
2fe86e00 566
ff9543fd 567 zone_end_pfn = zone->zone_start_pfn + zone->spanned_pages;
2fe86e00 568
ff9543fd
MN
569 /*
570 * Isolate free pages until enough are available to migrate the
571 * pages on cc->migratepages. We stop searching if the migrate
572 * and free page scanners meet or enough free pages are isolated.
573 */
574 for (; pfn > low_pfn && cc->nr_migratepages > nr_freepages;
575 pfn -= pageblock_nr_pages) {
576 unsigned long isolated;
2fe86e00 577
ff9543fd
MN
578 if (!pfn_valid(pfn))
579 continue;
2fe86e00 580
ff9543fd
MN
581 /*
582 * Check for overlapping nodes/zones. It's possible on some
583 * configurations to have a setup like
584 * node0 node1 node0
585 * i.e. it's possible that all pages within a zones range of
586 * pages do not belong to a single zone.
587 */
588 page = pfn_to_page(pfn);
589 if (page_zone(page) != zone)
590 continue;
591
592 /* Check the block is suitable for migration */
68e3e926 593 if (!suitable_migration_target(page))
ff9543fd 594 continue;
68e3e926 595
f40d1e42 596 /* Found a block suitable for isolating free pages from */
ff9543fd 597 isolated = 0;
f40d1e42
MG
598 end_pfn = min(pfn + pageblock_nr_pages, zone_end_pfn);
599 isolated = isolate_freepages_block(cc, pfn, end_pfn,
600 freelist, false);
601 nr_freepages += isolated;
ff9543fd
MN
602
603 /*
604 * Record the highest PFN we isolated pages from. When next
605 * looking for free pages, the search will restart here as
606 * page migration may have returned some pages to the allocator
607 */
753341a4 608 if (isolated)
ff9543fd
MN
609 high_pfn = max(high_pfn, pfn);
610 }
611
612 /* split_free_page does not map the pages */
613 map_pages(freelist);
614
615 cc->free_pfn = high_pfn;
616 cc->nr_freepages = nr_freepages;
748446bb
MG
617}
618
619/*
620 * This is a migrate-callback that "allocates" freepages by taking pages
621 * from the isolated freelists in the block we are migrating to.
622 */
623static struct page *compaction_alloc(struct page *migratepage,
624 unsigned long data,
625 int **result)
626{
627 struct compact_control *cc = (struct compact_control *)data;
628 struct page *freepage;
629
630 /* Isolate free pages if necessary */
631 if (list_empty(&cc->freepages)) {
632 isolate_freepages(cc->zone, cc);
633
634 if (list_empty(&cc->freepages))
635 return NULL;
636 }
637
638 freepage = list_entry(cc->freepages.next, struct page, lru);
639 list_del(&freepage->lru);
640 cc->nr_freepages--;
641
642 return freepage;
643}
644
645/*
646 * We cannot control nr_migratepages and nr_freepages fully when migration is
647 * running as migrate_pages() has no knowledge of compact_control. When
648 * migration is complete, we count the number of pages on the lists by hand.
649 */
650static void update_nr_listpages(struct compact_control *cc)
651{
652 int nr_migratepages = 0;
653 int nr_freepages = 0;
654 struct page *page;
655
656 list_for_each_entry(page, &cc->migratepages, lru)
657 nr_migratepages++;
658 list_for_each_entry(page, &cc->freepages, lru)
659 nr_freepages++;
660
661 cc->nr_migratepages = nr_migratepages;
662 cc->nr_freepages = nr_freepages;
663}
664
ff9543fd
MN
665/* possible outcome of isolate_migratepages */
666typedef enum {
667 ISOLATE_ABORT, /* Abort compaction now */
668 ISOLATE_NONE, /* No pages isolated, continue scanning */
669 ISOLATE_SUCCESS, /* Pages isolated, migrate */
670} isolate_migrate_t;
671
672/*
673 * Isolate all pages that can be migrated from the block pointed to by
674 * the migrate scanner within compact_control.
675 */
676static isolate_migrate_t isolate_migratepages(struct zone *zone,
677 struct compact_control *cc)
678{
679 unsigned long low_pfn, end_pfn;
680
681 /* Do not scan outside zone boundaries */
682 low_pfn = max(cc->migrate_pfn, zone->zone_start_pfn);
683
684 /* Only scan within a pageblock boundary */
685 end_pfn = ALIGN(low_pfn + pageblock_nr_pages, pageblock_nr_pages);
686
687 /* Do not cross the free scanner or scan within a memory hole */
688 if (end_pfn > cc->free_pfn || !pfn_valid(low_pfn)) {
689 cc->migrate_pfn = end_pfn;
690 return ISOLATE_NONE;
691 }
692
693 /* Perform the isolation */
694 low_pfn = isolate_migratepages_range(zone, cc, low_pfn, end_pfn);
e64c5237 695 if (!low_pfn || cc->contended)
ff9543fd
MN
696 return ISOLATE_ABORT;
697
698 cc->migrate_pfn = low_pfn;
699
700 return ISOLATE_SUCCESS;
701}
702
748446bb 703static int compact_finished(struct zone *zone,
5a03b051 704 struct compact_control *cc)
748446bb 705{
5a03b051 706 unsigned long watermark;
56de7263 707
748446bb
MG
708 if (fatal_signal_pending(current))
709 return COMPACT_PARTIAL;
710
753341a4
MG
711 /* Compaction run completes if the migrate and free scanner meet */
712 if (cc->free_pfn <= cc->migrate_pfn)
748446bb
MG
713 return COMPACT_COMPLETE;
714
82478fb7
JW
715 /*
716 * order == -1 is expected when compacting via
717 * /proc/sys/vm/compact_memory
718 */
56de7263
MG
719 if (cc->order == -1)
720 return COMPACT_CONTINUE;
721
3957c776
MH
722 /* Compaction run is not finished if the watermark is not met */
723 watermark = low_wmark_pages(zone);
724 watermark += (1 << cc->order);
725
726 if (!zone_watermark_ok(zone, cc->order, watermark, 0, 0))
727 return COMPACT_CONTINUE;
728
56de7263 729 /* Direct compactor: Is a suitable page free? */
1fb3f8ca
MG
730 if (cc->page) {
731 /* Was a suitable page captured? */
732 if (*cc->page)
56de7263 733 return COMPACT_PARTIAL;
1fb3f8ca
MG
734 } else {
735 unsigned int order;
736 for (order = cc->order; order < MAX_ORDER; order++) {
737 struct free_area *area = &zone->free_area[cc->order];
738 /* Job done if page is free of the right migratetype */
739 if (!list_empty(&area->free_list[cc->migratetype]))
740 return COMPACT_PARTIAL;
741
742 /* Job done if allocation would set block type */
743 if (cc->order >= pageblock_order && area->nr_free)
744 return COMPACT_PARTIAL;
745 }
56de7263
MG
746 }
747
748446bb
MG
748 return COMPACT_CONTINUE;
749}
750
3e7d3449
MG
751/*
752 * compaction_suitable: Is this suitable to run compaction on this zone now?
753 * Returns
754 * COMPACT_SKIPPED - If there are too few free pages for compaction
755 * COMPACT_PARTIAL - If the allocation would succeed without compaction
756 * COMPACT_CONTINUE - If compaction should run now
757 */
758unsigned long compaction_suitable(struct zone *zone, int order)
759{
760 int fragindex;
761 unsigned long watermark;
762
3957c776
MH
763 /*
764 * order == -1 is expected when compacting via
765 * /proc/sys/vm/compact_memory
766 */
767 if (order == -1)
768 return COMPACT_CONTINUE;
769
3e7d3449
MG
770 /*
771 * Watermarks for order-0 must be met for compaction. Note the 2UL.
772 * This is because during migration, copies of pages need to be
773 * allocated and for a short time, the footprint is higher
774 */
775 watermark = low_wmark_pages(zone) + (2UL << order);
776 if (!zone_watermark_ok(zone, 0, watermark, 0, 0))
777 return COMPACT_SKIPPED;
778
779 /*
780 * fragmentation index determines if allocation failures are due to
781 * low memory or external fragmentation
782 *
a582a738
SL
783 * index of -1000 implies allocations might succeed depending on
784 * watermarks
3e7d3449
MG
785 * index towards 0 implies failure is due to lack of memory
786 * index towards 1000 implies failure is due to fragmentation
787 *
788 * Only compact if a failure would be due to fragmentation.
789 */
790 fragindex = fragmentation_index(zone, order);
791 if (fragindex >= 0 && fragindex <= sysctl_extfrag_threshold)
792 return COMPACT_SKIPPED;
793
a582a738
SL
794 if (fragindex == -1000 && zone_watermark_ok(zone, order, watermark,
795 0, 0))
3e7d3449
MG
796 return COMPACT_PARTIAL;
797
798 return COMPACT_CONTINUE;
799}
800
748446bb
MG
801static int compact_zone(struct zone *zone, struct compact_control *cc)
802{
803 int ret;
804
3e7d3449
MG
805 ret = compaction_suitable(zone, cc->order);
806 switch (ret) {
807 case COMPACT_PARTIAL:
808 case COMPACT_SKIPPED:
809 /* Compaction is likely to fail */
810 return ret;
811 case COMPACT_CONTINUE:
812 /* Fall through to compaction */
813 ;
814 }
815
748446bb
MG
816 /* Setup to move all movable pages to the end of the zone */
817 cc->migrate_pfn = zone->zone_start_pfn;
753341a4
MG
818 cc->free_pfn = cc->migrate_pfn + zone->spanned_pages;
819 cc->free_pfn &= ~(pageblock_nr_pages-1);
748446bb
MG
820
821 migrate_prep_local();
822
823 while ((ret = compact_finished(zone, cc)) == COMPACT_CONTINUE) {
824 unsigned long nr_migrate, nr_remaining;
9d502c1c 825 int err;
748446bb 826
f9e35b3b
MG
827 switch (isolate_migratepages(zone, cc)) {
828 case ISOLATE_ABORT:
829 ret = COMPACT_PARTIAL;
e64c5237
SL
830 putback_lru_pages(&cc->migratepages);
831 cc->nr_migratepages = 0;
f9e35b3b
MG
832 goto out;
833 case ISOLATE_NONE:
748446bb 834 continue;
f9e35b3b
MG
835 case ISOLATE_SUCCESS:
836 ;
837 }
748446bb
MG
838
839 nr_migrate = cc->nr_migratepages;
9d502c1c 840 err = migrate_pages(&cc->migratepages, compaction_alloc,
68e3e926
LT
841 (unsigned long)cc, false,
842 cc->sync ? MIGRATE_SYNC_LIGHT : MIGRATE_ASYNC);
748446bb
MG
843 update_nr_listpages(cc);
844 nr_remaining = cc->nr_migratepages;
845
846 count_vm_event(COMPACTBLOCKS);
847 count_vm_events(COMPACTPAGES, nr_migrate - nr_remaining);
848 if (nr_remaining)
849 count_vm_events(COMPACTPAGEFAILED, nr_remaining);
b7aba698
MG
850 trace_mm_compaction_migratepages(nr_migrate - nr_remaining,
851 nr_remaining);
748446bb
MG
852
853 /* Release LRU pages not migrated */
9d502c1c 854 if (err) {
748446bb
MG
855 putback_lru_pages(&cc->migratepages);
856 cc->nr_migratepages = 0;
4bf2bba3
DR
857 if (err == -ENOMEM) {
858 ret = COMPACT_PARTIAL;
859 goto out;
860 }
748446bb 861 }
1fb3f8ca
MG
862
863 /* Capture a page now if it is a suitable size */
864 compact_capture_page(cc);
748446bb
MG
865 }
866
f9e35b3b 867out:
748446bb
MG
868 /* Release free pages and check accounting */
869 cc->nr_freepages -= release_freepages(&cc->freepages);
870 VM_BUG_ON(cc->nr_freepages != 0);
871
872 return ret;
873}
76ab0f53 874
d43a87e6 875static unsigned long compact_zone_order(struct zone *zone,
5a03b051 876 int order, gfp_t gfp_mask,
1fb3f8ca
MG
877 bool sync, bool *contended,
878 struct page **page)
56de7263 879{
e64c5237 880 unsigned long ret;
56de7263
MG
881 struct compact_control cc = {
882 .nr_freepages = 0,
883 .nr_migratepages = 0,
884 .order = order,
885 .migratetype = allocflags_to_migratetype(gfp_mask),
886 .zone = zone,
68e3e926 887 .sync = sync,
1fb3f8ca 888 .page = page,
56de7263
MG
889 };
890 INIT_LIST_HEAD(&cc.freepages);
891 INIT_LIST_HEAD(&cc.migratepages);
892
e64c5237
SL
893 ret = compact_zone(zone, &cc);
894
895 VM_BUG_ON(!list_empty(&cc.freepages));
896 VM_BUG_ON(!list_empty(&cc.migratepages));
897
898 *contended = cc.contended;
899 return ret;
56de7263
MG
900}
901
5e771905
MG
902int sysctl_extfrag_threshold = 500;
903
56de7263
MG
904/**
905 * try_to_compact_pages - Direct compact to satisfy a high-order allocation
906 * @zonelist: The zonelist used for the current allocation
907 * @order: The order of the current allocation
908 * @gfp_mask: The GFP mask of the current allocation
909 * @nodemask: The allowed nodes to allocate from
77f1fe6b 910 * @sync: Whether migration is synchronous or not
661c4cb9
MG
911 * @contended: Return value that is true if compaction was aborted due to lock contention
912 * @page: Optionally capture a free page of the requested order during compaction
56de7263
MG
913 *
914 * This is the main entry point for direct page compaction.
915 */
916unsigned long try_to_compact_pages(struct zonelist *zonelist,
77f1fe6b 917 int order, gfp_t gfp_mask, nodemask_t *nodemask,
1fb3f8ca 918 bool sync, bool *contended, struct page **page)
56de7263
MG
919{
920 enum zone_type high_zoneidx = gfp_zone(gfp_mask);
921 int may_enter_fs = gfp_mask & __GFP_FS;
922 int may_perform_io = gfp_mask & __GFP_IO;
56de7263
MG
923 struct zoneref *z;
924 struct zone *zone;
925 int rc = COMPACT_SKIPPED;
d95ea5d1 926 int alloc_flags = 0;
56de7263 927
4ffb6335 928 /* Check if the GFP flags allow compaction */
c5a73c3d 929 if (!order || !may_enter_fs || !may_perform_io)
56de7263
MG
930 return rc;
931
932 count_vm_event(COMPACTSTALL);
933
d95ea5d1
BZ
934#ifdef CONFIG_CMA
935 if (allocflags_to_migratetype(gfp_mask) == MIGRATE_MOVABLE)
936 alloc_flags |= ALLOC_CMA;
937#endif
56de7263
MG
938 /* Compact each zone in the list */
939 for_each_zone_zonelist_nodemask(zone, z, zonelist, high_zoneidx,
940 nodemask) {
56de7263
MG
941 int status;
942
c67fe375 943 status = compact_zone_order(zone, order, gfp_mask, sync,
1fb3f8ca 944 contended, page);
56de7263
MG
945 rc = max(status, rc);
946
3e7d3449 947 /* If a normal allocation would succeed, stop compacting */
d95ea5d1
BZ
948 if (zone_watermark_ok(zone, order, low_wmark_pages(zone), 0,
949 alloc_flags))
56de7263
MG
950 break;
951 }
952
953 return rc;
954}
955
956
76ab0f53 957/* Compact all zones within a node */
7be62de9 958static int __compact_pgdat(pg_data_t *pgdat, struct compact_control *cc)
76ab0f53
MG
959{
960 int zoneid;
76ab0f53
MG
961 struct zone *zone;
962
76ab0f53 963 for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) {
76ab0f53
MG
964
965 zone = &pgdat->node_zones[zoneid];
966 if (!populated_zone(zone))
967 continue;
968
7be62de9
RR
969 cc->nr_freepages = 0;
970 cc->nr_migratepages = 0;
971 cc->zone = zone;
972 INIT_LIST_HEAD(&cc->freepages);
973 INIT_LIST_HEAD(&cc->migratepages);
76ab0f53 974
aad6ec37 975 if (cc->order == -1 || !compaction_deferred(zone, cc->order))
7be62de9 976 compact_zone(zone, cc);
76ab0f53 977
aff62249
RR
978 if (cc->order > 0) {
979 int ok = zone_watermark_ok(zone, cc->order,
980 low_wmark_pages(zone), 0, 0);
c81758fb 981 if (ok && cc->order >= zone->compact_order_failed)
aff62249
RR
982 zone->compact_order_failed = cc->order + 1;
983 /* Currently async compaction is never deferred. */
68e3e926 984 else if (!ok && cc->sync)
aff62249
RR
985 defer_compaction(zone, cc->order);
986 }
987
7be62de9
RR
988 VM_BUG_ON(!list_empty(&cc->freepages));
989 VM_BUG_ON(!list_empty(&cc->migratepages));
76ab0f53
MG
990 }
991
992 return 0;
993}
994
7be62de9
RR
995int compact_pgdat(pg_data_t *pgdat, int order)
996{
997 struct compact_control cc = {
998 .order = order,
68e3e926 999 .sync = false,
1fb3f8ca 1000 .page = NULL,
7be62de9
RR
1001 };
1002
1003 return __compact_pgdat(pgdat, &cc);
1004}
1005
1006static int compact_node(int nid)
1007{
7be62de9
RR
1008 struct compact_control cc = {
1009 .order = -1,
68e3e926 1010 .sync = true,
1fb3f8ca 1011 .page = NULL,
7be62de9
RR
1012 };
1013
8575ec29 1014 return __compact_pgdat(NODE_DATA(nid), &cc);
7be62de9
RR
1015}
1016
76ab0f53
MG
1017/* Compact all nodes in the system */
1018static int compact_nodes(void)
1019{
1020 int nid;
1021
8575ec29
HD
1022 /* Flush pending updates to the LRU lists */
1023 lru_add_drain_all();
1024
76ab0f53
MG
1025 for_each_online_node(nid)
1026 compact_node(nid);
1027
1028 return COMPACT_COMPLETE;
1029}
1030
1031/* The written value is actually unused, all memory is compacted */
1032int sysctl_compact_memory;
1033
1034/* This is the entry point for compacting all nodes via /proc/sys/vm */
1035int sysctl_compaction_handler(struct ctl_table *table, int write,
1036 void __user *buffer, size_t *length, loff_t *ppos)
1037{
1038 if (write)
1039 return compact_nodes();
1040
1041 return 0;
1042}
ed4a6d7f 1043
5e771905
MG
1044int sysctl_extfrag_handler(struct ctl_table *table, int write,
1045 void __user *buffer, size_t *length, loff_t *ppos)
1046{
1047 proc_dointvec_minmax(table, write, buffer, length, ppos);
1048
1049 return 0;
1050}
1051
ed4a6d7f 1052#if defined(CONFIG_SYSFS) && defined(CONFIG_NUMA)
10fbcf4c
KS
1053ssize_t sysfs_compact_node(struct device *dev,
1054 struct device_attribute *attr,
ed4a6d7f
MG
1055 const char *buf, size_t count)
1056{
8575ec29
HD
1057 int nid = dev->id;
1058
1059 if (nid >= 0 && nid < nr_node_ids && node_online(nid)) {
1060 /* Flush pending updates to the LRU lists */
1061 lru_add_drain_all();
1062
1063 compact_node(nid);
1064 }
ed4a6d7f
MG
1065
1066 return count;
1067}
10fbcf4c 1068static DEVICE_ATTR(compact, S_IWUSR, NULL, sysfs_compact_node);
ed4a6d7f
MG
1069
1070int compaction_register_node(struct node *node)
1071{
10fbcf4c 1072 return device_create_file(&node->dev, &dev_attr_compact);
ed4a6d7f
MG
1073}
1074
1075void compaction_unregister_node(struct node *node)
1076{
10fbcf4c 1077 return device_remove_file(&node->dev, &dev_attr_compact);
ed4a6d7f
MG
1078}
1079#endif /* CONFIG_SYSFS && CONFIG_NUMA */
ff9543fd
MN
1080
1081#endif /* CONFIG_COMPACTION */