1748446bbSMel Gorman /* 2748446bbSMel Gorman * linux/mm/compaction.c 3748446bbSMel Gorman * 4748446bbSMel Gorman * Memory compaction for the reduction of external fragmentation. Note that 5748446bbSMel Gorman * this heavily depends upon page migration to do all the real heavy 6748446bbSMel Gorman * lifting 7748446bbSMel Gorman * 8748446bbSMel Gorman * Copyright IBM Corp. 2007-2010 Mel Gorman <mel@csn.ul.ie> 9748446bbSMel Gorman */ 10748446bbSMel Gorman #include <linux/swap.h> 11748446bbSMel Gorman #include <linux/migrate.h> 12748446bbSMel Gorman #include <linux/compaction.h> 13748446bbSMel Gorman #include <linux/mm_inline.h> 14748446bbSMel Gorman #include <linux/backing-dev.h> 1576ab0f53SMel Gorman #include <linux/sysctl.h> 16ed4a6d7fSMel Gorman #include <linux/sysfs.h> 17bf6bddf1SRafael Aquini #include <linux/balloon_compaction.h> 18194159fbSMinchan Kim #include <linux/page-isolation.h> 19b8c73fc2SAndrey Ryabinin #include <linux/kasan.h> 20748446bbSMel Gorman #include "internal.h" 21748446bbSMel Gorman 22010fc29aSMinchan Kim #ifdef CONFIG_COMPACTION 23010fc29aSMinchan Kim static inline void count_compact_event(enum vm_event_item item) 24010fc29aSMinchan Kim { 25010fc29aSMinchan Kim count_vm_event(item); 26010fc29aSMinchan Kim } 27010fc29aSMinchan Kim 28010fc29aSMinchan Kim static inline void count_compact_events(enum vm_event_item item, long delta) 29010fc29aSMinchan Kim { 30010fc29aSMinchan Kim count_vm_events(item, delta); 31010fc29aSMinchan Kim } 32010fc29aSMinchan Kim #else 33010fc29aSMinchan Kim #define count_compact_event(item) do { } while (0) 34010fc29aSMinchan Kim #define count_compact_events(item, delta) do { } while (0) 35010fc29aSMinchan Kim #endif 36010fc29aSMinchan Kim 37ff9543fdSMichal Nazarewicz #if defined CONFIG_COMPACTION || defined CONFIG_CMA 38ff9543fdSMichal Nazarewicz 39b7aba698SMel Gorman #define CREATE_TRACE_POINTS 40b7aba698SMel Gorman #include <trace/events/compaction.h> 41b7aba698SMel Gorman 42748446bbSMel Gorman static unsigned long release_freepages(struct list_head *freelist) 43748446bbSMel Gorman { 44748446bbSMel Gorman struct page *page, *next; 456bace090SVlastimil Babka unsigned long high_pfn = 0; 46748446bbSMel Gorman 47748446bbSMel Gorman list_for_each_entry_safe(page, next, freelist, lru) { 486bace090SVlastimil Babka unsigned long pfn = page_to_pfn(page); 49748446bbSMel Gorman list_del(&page->lru); 50748446bbSMel Gorman __free_page(page); 516bace090SVlastimil Babka if (pfn > high_pfn) 526bace090SVlastimil Babka high_pfn = pfn; 53748446bbSMel Gorman } 54748446bbSMel Gorman 556bace090SVlastimil Babka return high_pfn; 56748446bbSMel Gorman } 57748446bbSMel Gorman 58ff9543fdSMichal Nazarewicz static void map_pages(struct list_head *list) 59ff9543fdSMichal Nazarewicz { 60ff9543fdSMichal Nazarewicz struct page *page; 61ff9543fdSMichal Nazarewicz 62ff9543fdSMichal Nazarewicz list_for_each_entry(page, list, lru) { 63ff9543fdSMichal Nazarewicz arch_alloc_page(page, 0); 64ff9543fdSMichal Nazarewicz kernel_map_pages(page, 1, 1); 65b8c73fc2SAndrey Ryabinin kasan_alloc_pages(page, 0); 66ff9543fdSMichal Nazarewicz } 67ff9543fdSMichal Nazarewicz } 68ff9543fdSMichal Nazarewicz 6947118af0SMichal Nazarewicz static inline bool migrate_async_suitable(int migratetype) 7047118af0SMichal Nazarewicz { 7147118af0SMichal Nazarewicz return is_migrate_cma(migratetype) || migratetype == MIGRATE_MOVABLE; 7247118af0SMichal Nazarewicz } 7347118af0SMichal Nazarewicz 747d49d886SVlastimil Babka /* 757d49d886SVlastimil Babka * Check that the whole (or subset of) a pageblock given by the interval of 767d49d886SVlastimil Babka * [start_pfn, end_pfn) is valid and within the same zone, before scanning it 777d49d886SVlastimil Babka * with the migration of free compaction scanner. The scanners then need to 787d49d886SVlastimil Babka * use only pfn_valid_within() check for arches that allow holes within 797d49d886SVlastimil Babka * pageblocks. 807d49d886SVlastimil Babka * 817d49d886SVlastimil Babka * Return struct page pointer of start_pfn, or NULL if checks were not passed. 827d49d886SVlastimil Babka * 837d49d886SVlastimil Babka * It's possible on some configurations to have a setup like node0 node1 node0 847d49d886SVlastimil Babka * i.e. it's possible that all pages within a zones range of pages do not 857d49d886SVlastimil Babka * belong to a single zone. We assume that a border between node0 and node1 867d49d886SVlastimil Babka * can occur within a single pageblock, but not a node0 node1 node0 877d49d886SVlastimil Babka * interleaving within a single pageblock. It is therefore sufficient to check 887d49d886SVlastimil Babka * the first and last page of a pageblock and avoid checking each individual 897d49d886SVlastimil Babka * page in a pageblock. 907d49d886SVlastimil Babka */ 917d49d886SVlastimil Babka static struct page *pageblock_pfn_to_page(unsigned long start_pfn, 927d49d886SVlastimil Babka unsigned long end_pfn, struct zone *zone) 937d49d886SVlastimil Babka { 947d49d886SVlastimil Babka struct page *start_page; 957d49d886SVlastimil Babka struct page *end_page; 967d49d886SVlastimil Babka 977d49d886SVlastimil Babka /* end_pfn is one past the range we are checking */ 987d49d886SVlastimil Babka end_pfn--; 997d49d886SVlastimil Babka 1007d49d886SVlastimil Babka if (!pfn_valid(start_pfn) || !pfn_valid(end_pfn)) 1017d49d886SVlastimil Babka return NULL; 1027d49d886SVlastimil Babka 1037d49d886SVlastimil Babka start_page = pfn_to_page(start_pfn); 1047d49d886SVlastimil Babka 1057d49d886SVlastimil Babka if (page_zone(start_page) != zone) 1067d49d886SVlastimil Babka return NULL; 1077d49d886SVlastimil Babka 1087d49d886SVlastimil Babka end_page = pfn_to_page(end_pfn); 1097d49d886SVlastimil Babka 1107d49d886SVlastimil Babka /* This gives a shorter code than deriving page_zone(end_page) */ 1117d49d886SVlastimil Babka if (page_zone_id(start_page) != page_zone_id(end_page)) 1127d49d886SVlastimil Babka return NULL; 1137d49d886SVlastimil Babka 1147d49d886SVlastimil Babka return start_page; 1157d49d886SVlastimil Babka } 1167d49d886SVlastimil Babka 117bb13ffebSMel Gorman #ifdef CONFIG_COMPACTION 11824e2716fSJoonsoo Kim 11924e2716fSJoonsoo Kim /* Do not skip compaction more than 64 times */ 12024e2716fSJoonsoo Kim #define COMPACT_MAX_DEFER_SHIFT 6 12124e2716fSJoonsoo Kim 12224e2716fSJoonsoo Kim /* 12324e2716fSJoonsoo Kim * Compaction is deferred when compaction fails to result in a page 12424e2716fSJoonsoo Kim * allocation success. 1 << compact_defer_limit compactions are skipped up 12524e2716fSJoonsoo Kim * to a limit of 1 << COMPACT_MAX_DEFER_SHIFT 12624e2716fSJoonsoo Kim */ 12724e2716fSJoonsoo Kim void defer_compaction(struct zone *zone, int order) 12824e2716fSJoonsoo Kim { 12924e2716fSJoonsoo Kim zone->compact_considered = 0; 13024e2716fSJoonsoo Kim zone->compact_defer_shift++; 13124e2716fSJoonsoo Kim 13224e2716fSJoonsoo Kim if (order < zone->compact_order_failed) 13324e2716fSJoonsoo Kim zone->compact_order_failed = order; 13424e2716fSJoonsoo Kim 13524e2716fSJoonsoo Kim if (zone->compact_defer_shift > COMPACT_MAX_DEFER_SHIFT) 13624e2716fSJoonsoo Kim zone->compact_defer_shift = COMPACT_MAX_DEFER_SHIFT; 13724e2716fSJoonsoo Kim 13824e2716fSJoonsoo Kim trace_mm_compaction_defer_compaction(zone, order); 13924e2716fSJoonsoo Kim } 14024e2716fSJoonsoo Kim 14124e2716fSJoonsoo Kim /* Returns true if compaction should be skipped this time */ 14224e2716fSJoonsoo Kim bool compaction_deferred(struct zone *zone, int order) 14324e2716fSJoonsoo Kim { 14424e2716fSJoonsoo Kim unsigned long defer_limit = 1UL << zone->compact_defer_shift; 14524e2716fSJoonsoo Kim 14624e2716fSJoonsoo Kim if (order < zone->compact_order_failed) 14724e2716fSJoonsoo Kim return false; 14824e2716fSJoonsoo Kim 14924e2716fSJoonsoo Kim /* Avoid possible overflow */ 15024e2716fSJoonsoo Kim if (++zone->compact_considered > defer_limit) 15124e2716fSJoonsoo Kim zone->compact_considered = defer_limit; 15224e2716fSJoonsoo Kim 15324e2716fSJoonsoo Kim if (zone->compact_considered >= defer_limit) 15424e2716fSJoonsoo Kim return false; 15524e2716fSJoonsoo Kim 15624e2716fSJoonsoo Kim trace_mm_compaction_deferred(zone, order); 15724e2716fSJoonsoo Kim 15824e2716fSJoonsoo Kim return true; 15924e2716fSJoonsoo Kim } 16024e2716fSJoonsoo Kim 16124e2716fSJoonsoo Kim /* 16224e2716fSJoonsoo Kim * Update defer tracking counters after successful compaction of given order, 16324e2716fSJoonsoo Kim * which means an allocation either succeeded (alloc_success == true) or is 16424e2716fSJoonsoo Kim * expected to succeed. 16524e2716fSJoonsoo Kim */ 16624e2716fSJoonsoo Kim void compaction_defer_reset(struct zone *zone, int order, 16724e2716fSJoonsoo Kim bool alloc_success) 16824e2716fSJoonsoo Kim { 16924e2716fSJoonsoo Kim if (alloc_success) { 17024e2716fSJoonsoo Kim zone->compact_considered = 0; 17124e2716fSJoonsoo Kim zone->compact_defer_shift = 0; 17224e2716fSJoonsoo Kim } 17324e2716fSJoonsoo Kim if (order >= zone->compact_order_failed) 17424e2716fSJoonsoo Kim zone->compact_order_failed = order + 1; 17524e2716fSJoonsoo Kim 17624e2716fSJoonsoo Kim trace_mm_compaction_defer_reset(zone, order); 17724e2716fSJoonsoo Kim } 17824e2716fSJoonsoo Kim 17924e2716fSJoonsoo Kim /* Returns true if restarting compaction after many failures */ 18024e2716fSJoonsoo Kim bool compaction_restarting(struct zone *zone, int order) 18124e2716fSJoonsoo Kim { 18224e2716fSJoonsoo Kim if (order < zone->compact_order_failed) 18324e2716fSJoonsoo Kim return false; 18424e2716fSJoonsoo Kim 18524e2716fSJoonsoo Kim return zone->compact_defer_shift == COMPACT_MAX_DEFER_SHIFT && 18624e2716fSJoonsoo Kim zone->compact_considered >= 1UL << zone->compact_defer_shift; 18724e2716fSJoonsoo Kim } 18824e2716fSJoonsoo Kim 189bb13ffebSMel Gorman /* Returns true if the pageblock should be scanned for pages to isolate. */ 190bb13ffebSMel Gorman static inline bool isolation_suitable(struct compact_control *cc, 191bb13ffebSMel Gorman struct page *page) 192bb13ffebSMel Gorman { 193bb13ffebSMel Gorman if (cc->ignore_skip_hint) 194bb13ffebSMel Gorman return true; 195bb13ffebSMel Gorman 196bb13ffebSMel Gorman return !get_pageblock_skip(page); 197bb13ffebSMel Gorman } 198bb13ffebSMel Gorman 19902333641SVlastimil Babka static void reset_cached_positions(struct zone *zone) 20002333641SVlastimil Babka { 20102333641SVlastimil Babka zone->compact_cached_migrate_pfn[0] = zone->zone_start_pfn; 20202333641SVlastimil Babka zone->compact_cached_migrate_pfn[1] = zone->zone_start_pfn; 203623446e4SJoonsoo Kim zone->compact_cached_free_pfn = 204623446e4SJoonsoo Kim round_down(zone_end_pfn(zone) - 1, pageblock_nr_pages); 20502333641SVlastimil Babka } 20602333641SVlastimil Babka 207bb13ffebSMel Gorman /* 208bb13ffebSMel Gorman * This function is called to clear all cached information on pageblocks that 209bb13ffebSMel Gorman * should be skipped for page isolation when the migrate and free page scanner 210bb13ffebSMel Gorman * meet. 211bb13ffebSMel Gorman */ 21262997027SMel Gorman static void __reset_isolation_suitable(struct zone *zone) 213bb13ffebSMel Gorman { 214bb13ffebSMel Gorman unsigned long start_pfn = zone->zone_start_pfn; 215108bcc96SCody P Schafer unsigned long end_pfn = zone_end_pfn(zone); 216bb13ffebSMel Gorman unsigned long pfn; 217bb13ffebSMel Gorman 21862997027SMel Gorman zone->compact_blockskip_flush = false; 219bb13ffebSMel Gorman 220bb13ffebSMel Gorman /* Walk the zone and mark every pageblock as suitable for isolation */ 221bb13ffebSMel Gorman for (pfn = start_pfn; pfn < end_pfn; pfn += pageblock_nr_pages) { 222bb13ffebSMel Gorman struct page *page; 223bb13ffebSMel Gorman 224bb13ffebSMel Gorman cond_resched(); 225bb13ffebSMel Gorman 226bb13ffebSMel Gorman if (!pfn_valid(pfn)) 227bb13ffebSMel Gorman continue; 228bb13ffebSMel Gorman 229bb13ffebSMel Gorman page = pfn_to_page(pfn); 230bb13ffebSMel Gorman if (zone != page_zone(page)) 231bb13ffebSMel Gorman continue; 232bb13ffebSMel Gorman 233bb13ffebSMel Gorman clear_pageblock_skip(page); 234bb13ffebSMel Gorman } 23502333641SVlastimil Babka 23602333641SVlastimil Babka reset_cached_positions(zone); 237bb13ffebSMel Gorman } 238bb13ffebSMel Gorman 23962997027SMel Gorman void reset_isolation_suitable(pg_data_t *pgdat) 24062997027SMel Gorman { 24162997027SMel Gorman int zoneid; 24262997027SMel Gorman 24362997027SMel Gorman for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { 24462997027SMel Gorman struct zone *zone = &pgdat->node_zones[zoneid]; 24562997027SMel Gorman if (!populated_zone(zone)) 24662997027SMel Gorman continue; 24762997027SMel Gorman 24862997027SMel Gorman /* Only flush if a full compaction finished recently */ 24962997027SMel Gorman if (zone->compact_blockskip_flush) 25062997027SMel Gorman __reset_isolation_suitable(zone); 25162997027SMel Gorman } 25262997027SMel Gorman } 25362997027SMel Gorman 254bb13ffebSMel Gorman /* 255bb13ffebSMel Gorman * If no pages were isolated then mark this pageblock to be skipped in the 25662997027SMel Gorman * future. The information is later cleared by __reset_isolation_suitable(). 257bb13ffebSMel Gorman */ 258c89511abSMel Gorman static void update_pageblock_skip(struct compact_control *cc, 259c89511abSMel Gorman struct page *page, unsigned long nr_isolated, 260edc2ca61SVlastimil Babka bool migrate_scanner) 261bb13ffebSMel Gorman { 262c89511abSMel Gorman struct zone *zone = cc->zone; 26335979ef3SDavid Rientjes unsigned long pfn; 2646815bf3fSJoonsoo Kim 2656815bf3fSJoonsoo Kim if (cc->ignore_skip_hint) 2666815bf3fSJoonsoo Kim return; 2676815bf3fSJoonsoo Kim 268bb13ffebSMel Gorman if (!page) 269bb13ffebSMel Gorman return; 270bb13ffebSMel Gorman 27135979ef3SDavid Rientjes if (nr_isolated) 27235979ef3SDavid Rientjes return; 27335979ef3SDavid Rientjes 274bb13ffebSMel Gorman set_pageblock_skip(page); 275c89511abSMel Gorman 27635979ef3SDavid Rientjes pfn = page_to_pfn(page); 27735979ef3SDavid Rientjes 27835979ef3SDavid Rientjes /* Update where async and sync compaction should restart */ 279c89511abSMel Gorman if (migrate_scanner) { 28035979ef3SDavid Rientjes if (pfn > zone->compact_cached_migrate_pfn[0]) 28135979ef3SDavid Rientjes zone->compact_cached_migrate_pfn[0] = pfn; 282e0b9daebSDavid Rientjes if (cc->mode != MIGRATE_ASYNC && 283e0b9daebSDavid Rientjes pfn > zone->compact_cached_migrate_pfn[1]) 28435979ef3SDavid Rientjes zone->compact_cached_migrate_pfn[1] = pfn; 285c89511abSMel Gorman } else { 28635979ef3SDavid Rientjes if (pfn < zone->compact_cached_free_pfn) 287c89511abSMel Gorman zone->compact_cached_free_pfn = pfn; 288c89511abSMel Gorman } 289c89511abSMel Gorman } 290bb13ffebSMel Gorman #else 291bb13ffebSMel Gorman static inline bool isolation_suitable(struct compact_control *cc, 292bb13ffebSMel Gorman struct page *page) 293bb13ffebSMel Gorman { 294bb13ffebSMel Gorman return true; 295bb13ffebSMel Gorman } 296bb13ffebSMel Gorman 297c89511abSMel Gorman static void update_pageblock_skip(struct compact_control *cc, 298c89511abSMel Gorman struct page *page, unsigned long nr_isolated, 299edc2ca61SVlastimil Babka bool migrate_scanner) 300bb13ffebSMel Gorman { 301bb13ffebSMel Gorman } 302bb13ffebSMel Gorman #endif /* CONFIG_COMPACTION */ 303bb13ffebSMel Gorman 3041f9efdefSVlastimil Babka /* 3058b44d279SVlastimil Babka * Compaction requires the taking of some coarse locks that are potentially 3068b44d279SVlastimil Babka * very heavily contended. For async compaction, back out if the lock cannot 3078b44d279SVlastimil Babka * be taken immediately. For sync compaction, spin on the lock if needed. 3088b44d279SVlastimil Babka * 3098b44d279SVlastimil Babka * Returns true if the lock is held 3108b44d279SVlastimil Babka * Returns false if the lock is not held and compaction should abort 3111f9efdefSVlastimil Babka */ 3128b44d279SVlastimil Babka static bool compact_trylock_irqsave(spinlock_t *lock, unsigned long *flags, 3138b44d279SVlastimil Babka struct compact_control *cc) 3148b44d279SVlastimil Babka { 3158b44d279SVlastimil Babka if (cc->mode == MIGRATE_ASYNC) { 3168b44d279SVlastimil Babka if (!spin_trylock_irqsave(lock, *flags)) { 3178b44d279SVlastimil Babka cc->contended = COMPACT_CONTENDED_LOCK; 3188b44d279SVlastimil Babka return false; 3198b44d279SVlastimil Babka } 3208b44d279SVlastimil Babka } else { 3218b44d279SVlastimil Babka spin_lock_irqsave(lock, *flags); 3228b44d279SVlastimil Babka } 3231f9efdefSVlastimil Babka 3248b44d279SVlastimil Babka return true; 3252a1402aaSMel Gorman } 3262a1402aaSMel Gorman 32785aa125fSMichal Nazarewicz /* 328c67fe375SMel Gorman * Compaction requires the taking of some coarse locks that are potentially 3298b44d279SVlastimil Babka * very heavily contended. The lock should be periodically unlocked to avoid 3308b44d279SVlastimil Babka * having disabled IRQs for a long time, even when there is nobody waiting on 3318b44d279SVlastimil Babka * the lock. It might also be that allowing the IRQs will result in 3328b44d279SVlastimil Babka * need_resched() becoming true. If scheduling is needed, async compaction 3338b44d279SVlastimil Babka * aborts. Sync compaction schedules. 3348b44d279SVlastimil Babka * Either compaction type will also abort if a fatal signal is pending. 3358b44d279SVlastimil Babka * In either case if the lock was locked, it is dropped and not regained. 336c67fe375SMel Gorman * 3378b44d279SVlastimil Babka * Returns true if compaction should abort due to fatal signal pending, or 3388b44d279SVlastimil Babka * async compaction due to need_resched() 3398b44d279SVlastimil Babka * Returns false when compaction can continue (sync compaction might have 3408b44d279SVlastimil Babka * scheduled) 341c67fe375SMel Gorman */ 3428b44d279SVlastimil Babka static bool compact_unlock_should_abort(spinlock_t *lock, 3438b44d279SVlastimil Babka unsigned long flags, bool *locked, struct compact_control *cc) 344c67fe375SMel Gorman { 3458b44d279SVlastimil Babka if (*locked) { 3468b44d279SVlastimil Babka spin_unlock_irqrestore(lock, flags); 3478b44d279SVlastimil Babka *locked = false; 348c67fe375SMel Gorman } 349c67fe375SMel Gorman 3508b44d279SVlastimil Babka if (fatal_signal_pending(current)) { 3518b44d279SVlastimil Babka cc->contended = COMPACT_CONTENDED_SCHED; 3528b44d279SVlastimil Babka return true; 3538b44d279SVlastimil Babka } 3548b44d279SVlastimil Babka 3558b44d279SVlastimil Babka if (need_resched()) { 356e0b9daebSDavid Rientjes if (cc->mode == MIGRATE_ASYNC) { 3578b44d279SVlastimil Babka cc->contended = COMPACT_CONTENDED_SCHED; 3588b44d279SVlastimil Babka return true; 359c67fe375SMel Gorman } 360c67fe375SMel Gorman cond_resched(); 361c67fe375SMel Gorman } 362c67fe375SMel Gorman 3638b44d279SVlastimil Babka return false; 364c67fe375SMel Gorman } 365c67fe375SMel Gorman 366be976572SVlastimil Babka /* 367be976572SVlastimil Babka * Aside from avoiding lock contention, compaction also periodically checks 368be976572SVlastimil Babka * need_resched() and either schedules in sync compaction or aborts async 3698b44d279SVlastimil Babka * compaction. This is similar to what compact_unlock_should_abort() does, but 370be976572SVlastimil Babka * is used where no lock is concerned. 371be976572SVlastimil Babka * 372be976572SVlastimil Babka * Returns false when no scheduling was needed, or sync compaction scheduled. 373be976572SVlastimil Babka * Returns true when async compaction should abort. 374be976572SVlastimil Babka */ 375be976572SVlastimil Babka static inline bool compact_should_abort(struct compact_control *cc) 376be976572SVlastimil Babka { 377be976572SVlastimil Babka /* async compaction aborts if contended */ 378be976572SVlastimil Babka if (need_resched()) { 379be976572SVlastimil Babka if (cc->mode == MIGRATE_ASYNC) { 3801f9efdefSVlastimil Babka cc->contended = COMPACT_CONTENDED_SCHED; 381be976572SVlastimil Babka return true; 382be976572SVlastimil Babka } 383be976572SVlastimil Babka 384be976572SVlastimil Babka cond_resched(); 385be976572SVlastimil Babka } 386be976572SVlastimil Babka 387be976572SVlastimil Babka return false; 388be976572SVlastimil Babka } 389be976572SVlastimil Babka 390c67fe375SMel Gorman /* 3919e4be470SJerome Marchand * Isolate free pages onto a private freelist. If @strict is true, will abort 3929e4be470SJerome Marchand * returning 0 on any invalid PFNs or non-free pages inside of the pageblock 3939e4be470SJerome Marchand * (even though it may still end up isolating some pages). 39485aa125fSMichal Nazarewicz */ 395f40d1e42SMel Gorman static unsigned long isolate_freepages_block(struct compact_control *cc, 396e14c720eSVlastimil Babka unsigned long *start_pfn, 39785aa125fSMichal Nazarewicz unsigned long end_pfn, 39885aa125fSMichal Nazarewicz struct list_head *freelist, 39985aa125fSMichal Nazarewicz bool strict) 400748446bbSMel Gorman { 401b7aba698SMel Gorman int nr_scanned = 0, total_isolated = 0; 402bb13ffebSMel Gorman struct page *cursor, *valid_page = NULL; 403b8b2d825SXiubo Li unsigned long flags = 0; 404f40d1e42SMel Gorman bool locked = false; 405e14c720eSVlastimil Babka unsigned long blockpfn = *start_pfn; 406748446bbSMel Gorman 407748446bbSMel Gorman cursor = pfn_to_page(blockpfn); 408748446bbSMel Gorman 409f40d1e42SMel Gorman /* Isolate free pages. */ 410748446bbSMel Gorman for (; blockpfn < end_pfn; blockpfn++, cursor++) { 411748446bbSMel Gorman int isolated, i; 412748446bbSMel Gorman struct page *page = cursor; 413748446bbSMel Gorman 4148b44d279SVlastimil Babka /* 4158b44d279SVlastimil Babka * Periodically drop the lock (if held) regardless of its 4168b44d279SVlastimil Babka * contention, to give chance to IRQs. Abort if fatal signal 4178b44d279SVlastimil Babka * pending or async compaction detects need_resched() 4188b44d279SVlastimil Babka */ 4198b44d279SVlastimil Babka if (!(blockpfn % SWAP_CLUSTER_MAX) 4208b44d279SVlastimil Babka && compact_unlock_should_abort(&cc->zone->lock, flags, 4218b44d279SVlastimil Babka &locked, cc)) 4228b44d279SVlastimil Babka break; 4238b44d279SVlastimil Babka 424b7aba698SMel Gorman nr_scanned++; 425f40d1e42SMel Gorman if (!pfn_valid_within(blockpfn)) 4262af120bcSLaura Abbott goto isolate_fail; 4272af120bcSLaura Abbott 428bb13ffebSMel Gorman if (!valid_page) 429bb13ffebSMel Gorman valid_page = page; 4309fcd6d2eSVlastimil Babka 4319fcd6d2eSVlastimil Babka /* 4329fcd6d2eSVlastimil Babka * For compound pages such as THP and hugetlbfs, we can save 4339fcd6d2eSVlastimil Babka * potentially a lot of iterations if we skip them at once. 4349fcd6d2eSVlastimil Babka * The check is racy, but we can consider only valid values 4359fcd6d2eSVlastimil Babka * and the only danger is skipping too much. 4369fcd6d2eSVlastimil Babka */ 4379fcd6d2eSVlastimil Babka if (PageCompound(page)) { 4389fcd6d2eSVlastimil Babka unsigned int comp_order = compound_order(page); 4399fcd6d2eSVlastimil Babka 4409fcd6d2eSVlastimil Babka if (likely(comp_order < MAX_ORDER)) { 4419fcd6d2eSVlastimil Babka blockpfn += (1UL << comp_order) - 1; 4429fcd6d2eSVlastimil Babka cursor += (1UL << comp_order) - 1; 4439fcd6d2eSVlastimil Babka } 4449fcd6d2eSVlastimil Babka 4459fcd6d2eSVlastimil Babka goto isolate_fail; 4469fcd6d2eSVlastimil Babka } 4479fcd6d2eSVlastimil Babka 448f40d1e42SMel Gorman if (!PageBuddy(page)) 4492af120bcSLaura Abbott goto isolate_fail; 450f40d1e42SMel Gorman 451f40d1e42SMel Gorman /* 45269b7189fSVlastimil Babka * If we already hold the lock, we can skip some rechecking. 45369b7189fSVlastimil Babka * Note that if we hold the lock now, checked_pageblock was 45469b7189fSVlastimil Babka * already set in some previous iteration (or strict is true), 45569b7189fSVlastimil Babka * so it is correct to skip the suitable migration target 45669b7189fSVlastimil Babka * recheck as well. 45769b7189fSVlastimil Babka */ 45869b7189fSVlastimil Babka if (!locked) { 45969b7189fSVlastimil Babka /* 460f40d1e42SMel Gorman * The zone lock must be held to isolate freepages. 461f40d1e42SMel Gorman * Unfortunately this is a very coarse lock and can be 462f40d1e42SMel Gorman * heavily contended if there are parallel allocations 463f40d1e42SMel Gorman * or parallel compactions. For async compaction do not 464f40d1e42SMel Gorman * spin on the lock and we acquire the lock as late as 465f40d1e42SMel Gorman * possible. 466f40d1e42SMel Gorman */ 4678b44d279SVlastimil Babka locked = compact_trylock_irqsave(&cc->zone->lock, 4688b44d279SVlastimil Babka &flags, cc); 469f40d1e42SMel Gorman if (!locked) 470f40d1e42SMel Gorman break; 471f40d1e42SMel Gorman 472f40d1e42SMel Gorman /* Recheck this is a buddy page under lock */ 473f40d1e42SMel Gorman if (!PageBuddy(page)) 4742af120bcSLaura Abbott goto isolate_fail; 47569b7189fSVlastimil Babka } 476748446bbSMel Gorman 477748446bbSMel Gorman /* Found a free page, break it into order-0 pages */ 478748446bbSMel Gorman isolated = split_free_page(page); 479748446bbSMel Gorman total_isolated += isolated; 480748446bbSMel Gorman for (i = 0; i < isolated; i++) { 481748446bbSMel Gorman list_add(&page->lru, freelist); 482748446bbSMel Gorman page++; 483748446bbSMel Gorman } 484748446bbSMel Gorman 485748446bbSMel Gorman /* If a page was split, advance to the end of it */ 486748446bbSMel Gorman if (isolated) { 487932ff6bbSJoonsoo Kim cc->nr_freepages += isolated; 488932ff6bbSJoonsoo Kim if (!strict && 489932ff6bbSJoonsoo Kim cc->nr_migratepages <= cc->nr_freepages) { 490932ff6bbSJoonsoo Kim blockpfn += isolated; 491932ff6bbSJoonsoo Kim break; 492932ff6bbSJoonsoo Kim } 493932ff6bbSJoonsoo Kim 494748446bbSMel Gorman blockpfn += isolated - 1; 495748446bbSMel Gorman cursor += isolated - 1; 4962af120bcSLaura Abbott continue; 497748446bbSMel Gorman } 4982af120bcSLaura Abbott 4992af120bcSLaura Abbott isolate_fail: 5002af120bcSLaura Abbott if (strict) 5012af120bcSLaura Abbott break; 5022af120bcSLaura Abbott else 5032af120bcSLaura Abbott continue; 5042af120bcSLaura Abbott 505748446bbSMel Gorman } 506748446bbSMel Gorman 5079fcd6d2eSVlastimil Babka /* 5089fcd6d2eSVlastimil Babka * There is a tiny chance that we have read bogus compound_order(), 5099fcd6d2eSVlastimil Babka * so be careful to not go outside of the pageblock. 5109fcd6d2eSVlastimil Babka */ 5119fcd6d2eSVlastimil Babka if (unlikely(blockpfn > end_pfn)) 5129fcd6d2eSVlastimil Babka blockpfn = end_pfn; 5139fcd6d2eSVlastimil Babka 514e34d85f0SJoonsoo Kim trace_mm_compaction_isolate_freepages(*start_pfn, blockpfn, 515e34d85f0SJoonsoo Kim nr_scanned, total_isolated); 516e34d85f0SJoonsoo Kim 517e14c720eSVlastimil Babka /* Record how far we have got within the block */ 518e14c720eSVlastimil Babka *start_pfn = blockpfn; 519e14c720eSVlastimil Babka 520f40d1e42SMel Gorman /* 521f40d1e42SMel Gorman * If strict isolation is requested by CMA then check that all the 522f40d1e42SMel Gorman * pages requested were isolated. If there were any failures, 0 is 523f40d1e42SMel Gorman * returned and CMA will fail. 524f40d1e42SMel Gorman */ 5252af120bcSLaura Abbott if (strict && blockpfn < end_pfn) 526f40d1e42SMel Gorman total_isolated = 0; 527f40d1e42SMel Gorman 528f40d1e42SMel Gorman if (locked) 529f40d1e42SMel Gorman spin_unlock_irqrestore(&cc->zone->lock, flags); 530f40d1e42SMel Gorman 531bb13ffebSMel Gorman /* Update the pageblock-skip if the whole pageblock was scanned */ 532bb13ffebSMel Gorman if (blockpfn == end_pfn) 533edc2ca61SVlastimil Babka update_pageblock_skip(cc, valid_page, total_isolated, false); 534bb13ffebSMel Gorman 535010fc29aSMinchan Kim count_compact_events(COMPACTFREE_SCANNED, nr_scanned); 536397487dbSMel Gorman if (total_isolated) 537010fc29aSMinchan Kim count_compact_events(COMPACTISOLATED, total_isolated); 538748446bbSMel Gorman return total_isolated; 539748446bbSMel Gorman } 540748446bbSMel Gorman 54185aa125fSMichal Nazarewicz /** 54285aa125fSMichal Nazarewicz * isolate_freepages_range() - isolate free pages. 54385aa125fSMichal Nazarewicz * @start_pfn: The first PFN to start isolating. 54485aa125fSMichal Nazarewicz * @end_pfn: The one-past-last PFN. 54585aa125fSMichal Nazarewicz * 54685aa125fSMichal Nazarewicz * Non-free pages, invalid PFNs, or zone boundaries within the 54785aa125fSMichal Nazarewicz * [start_pfn, end_pfn) range are considered errors, cause function to 54885aa125fSMichal Nazarewicz * undo its actions and return zero. 54985aa125fSMichal Nazarewicz * 55085aa125fSMichal Nazarewicz * Otherwise, function returns one-past-the-last PFN of isolated page 55185aa125fSMichal Nazarewicz * (which may be greater then end_pfn if end fell in a middle of 55285aa125fSMichal Nazarewicz * a free page). 55385aa125fSMichal Nazarewicz */ 554ff9543fdSMichal Nazarewicz unsigned long 555bb13ffebSMel Gorman isolate_freepages_range(struct compact_control *cc, 556bb13ffebSMel Gorman unsigned long start_pfn, unsigned long end_pfn) 55785aa125fSMichal Nazarewicz { 558*e1409c32SJoonsoo Kim unsigned long isolated, pfn, block_start_pfn, block_end_pfn; 55985aa125fSMichal Nazarewicz LIST_HEAD(freelist); 56085aa125fSMichal Nazarewicz 5617d49d886SVlastimil Babka pfn = start_pfn; 562*e1409c32SJoonsoo Kim block_start_pfn = pfn & ~(pageblock_nr_pages - 1); 563*e1409c32SJoonsoo Kim if (block_start_pfn < cc->zone->zone_start_pfn) 564*e1409c32SJoonsoo Kim block_start_pfn = cc->zone->zone_start_pfn; 56585aa125fSMichal Nazarewicz block_end_pfn = ALIGN(pfn + 1, pageblock_nr_pages); 5667d49d886SVlastimil Babka 5677d49d886SVlastimil Babka for (; pfn < end_pfn; pfn += isolated, 568*e1409c32SJoonsoo Kim block_start_pfn = block_end_pfn, 5697d49d886SVlastimil Babka block_end_pfn += pageblock_nr_pages) { 570e14c720eSVlastimil Babka /* Protect pfn from changing by isolate_freepages_block */ 571e14c720eSVlastimil Babka unsigned long isolate_start_pfn = pfn; 5727d49d886SVlastimil Babka 57385aa125fSMichal Nazarewicz block_end_pfn = min(block_end_pfn, end_pfn); 57485aa125fSMichal Nazarewicz 57558420016SJoonsoo Kim /* 57658420016SJoonsoo Kim * pfn could pass the block_end_pfn if isolated freepage 57758420016SJoonsoo Kim * is more than pageblock order. In this case, we adjust 57858420016SJoonsoo Kim * scanning range to right one. 57958420016SJoonsoo Kim */ 58058420016SJoonsoo Kim if (pfn >= block_end_pfn) { 581*e1409c32SJoonsoo Kim block_start_pfn = pfn & ~(pageblock_nr_pages - 1); 58258420016SJoonsoo Kim block_end_pfn = ALIGN(pfn + 1, pageblock_nr_pages); 58358420016SJoonsoo Kim block_end_pfn = min(block_end_pfn, end_pfn); 58458420016SJoonsoo Kim } 58558420016SJoonsoo Kim 586*e1409c32SJoonsoo Kim if (!pageblock_pfn_to_page(block_start_pfn, 587*e1409c32SJoonsoo Kim block_end_pfn, cc->zone)) 5887d49d886SVlastimil Babka break; 5897d49d886SVlastimil Babka 590e14c720eSVlastimil Babka isolated = isolate_freepages_block(cc, &isolate_start_pfn, 591e14c720eSVlastimil Babka block_end_pfn, &freelist, true); 59285aa125fSMichal Nazarewicz 59385aa125fSMichal Nazarewicz /* 59485aa125fSMichal Nazarewicz * In strict mode, isolate_freepages_block() returns 0 if 59585aa125fSMichal Nazarewicz * there are any holes in the block (ie. invalid PFNs or 59685aa125fSMichal Nazarewicz * non-free pages). 59785aa125fSMichal Nazarewicz */ 59885aa125fSMichal Nazarewicz if (!isolated) 59985aa125fSMichal Nazarewicz break; 60085aa125fSMichal Nazarewicz 60185aa125fSMichal Nazarewicz /* 60285aa125fSMichal Nazarewicz * If we managed to isolate pages, it is always (1 << n) * 60385aa125fSMichal Nazarewicz * pageblock_nr_pages for some non-negative n. (Max order 60485aa125fSMichal Nazarewicz * page may span two pageblocks). 60585aa125fSMichal Nazarewicz */ 60685aa125fSMichal Nazarewicz } 60785aa125fSMichal Nazarewicz 60885aa125fSMichal Nazarewicz /* split_free_page does not map the pages */ 60985aa125fSMichal Nazarewicz map_pages(&freelist); 61085aa125fSMichal Nazarewicz 61185aa125fSMichal Nazarewicz if (pfn < end_pfn) { 61285aa125fSMichal Nazarewicz /* Loop terminated early, cleanup. */ 61385aa125fSMichal Nazarewicz release_freepages(&freelist); 61485aa125fSMichal Nazarewicz return 0; 61585aa125fSMichal Nazarewicz } 61685aa125fSMichal Nazarewicz 61785aa125fSMichal Nazarewicz /* We don't use freelists for anything. */ 61885aa125fSMichal Nazarewicz return pfn; 61985aa125fSMichal Nazarewicz } 62085aa125fSMichal Nazarewicz 621748446bbSMel Gorman /* Update the number of anon and file isolated pages in the zone */ 622edc2ca61SVlastimil Babka static void acct_isolated(struct zone *zone, struct compact_control *cc) 623748446bbSMel Gorman { 624748446bbSMel Gorman struct page *page; 625b9e84ac1SMinchan Kim unsigned int count[2] = { 0, }; 626748446bbSMel Gorman 627edc2ca61SVlastimil Babka if (list_empty(&cc->migratepages)) 628edc2ca61SVlastimil Babka return; 629edc2ca61SVlastimil Babka 630b9e84ac1SMinchan Kim list_for_each_entry(page, &cc->migratepages, lru) 631b9e84ac1SMinchan Kim count[!!page_is_file_cache(page)]++; 632748446bbSMel Gorman 633c67fe375SMel Gorman mod_zone_page_state(zone, NR_ISOLATED_ANON, count[0]); 634c67fe375SMel Gorman mod_zone_page_state(zone, NR_ISOLATED_FILE, count[1]); 635c67fe375SMel Gorman } 636748446bbSMel Gorman 637748446bbSMel Gorman /* Similar to reclaim, but different enough that they don't share logic */ 638748446bbSMel Gorman static bool too_many_isolated(struct zone *zone) 639748446bbSMel Gorman { 640bc693045SMinchan Kim unsigned long active, inactive, isolated; 641748446bbSMel Gorman 642748446bbSMel Gorman inactive = zone_page_state(zone, NR_INACTIVE_FILE) + 643748446bbSMel Gorman zone_page_state(zone, NR_INACTIVE_ANON); 644bc693045SMinchan Kim active = zone_page_state(zone, NR_ACTIVE_FILE) + 645bc693045SMinchan Kim zone_page_state(zone, NR_ACTIVE_ANON); 646748446bbSMel Gorman isolated = zone_page_state(zone, NR_ISOLATED_FILE) + 647748446bbSMel Gorman zone_page_state(zone, NR_ISOLATED_ANON); 648748446bbSMel Gorman 649bc693045SMinchan Kim return isolated > (inactive + active) / 2; 650748446bbSMel Gorman } 651748446bbSMel Gorman 6522fe86e00SMichal Nazarewicz /** 653edc2ca61SVlastimil Babka * isolate_migratepages_block() - isolate all migrate-able pages within 654edc2ca61SVlastimil Babka * a single pageblock 6552fe86e00SMichal Nazarewicz * @cc: Compaction control structure. 656edc2ca61SVlastimil Babka * @low_pfn: The first PFN to isolate 657edc2ca61SVlastimil Babka * @end_pfn: The one-past-the-last PFN to isolate, within same pageblock 658edc2ca61SVlastimil Babka * @isolate_mode: Isolation mode to be used. 6592fe86e00SMichal Nazarewicz * 6602fe86e00SMichal Nazarewicz * Isolate all pages that can be migrated from the range specified by 661edc2ca61SVlastimil Babka * [low_pfn, end_pfn). The range is expected to be within same pageblock. 662edc2ca61SVlastimil Babka * Returns zero if there is a fatal signal pending, otherwise PFN of the 663edc2ca61SVlastimil Babka * first page that was not scanned (which may be both less, equal to or more 664edc2ca61SVlastimil Babka * than end_pfn). 6652fe86e00SMichal Nazarewicz * 666edc2ca61SVlastimil Babka * The pages are isolated on cc->migratepages list (not required to be empty), 667edc2ca61SVlastimil Babka * and cc->nr_migratepages is updated accordingly. The cc->migrate_pfn field 668edc2ca61SVlastimil Babka * is neither read nor updated. 669748446bbSMel Gorman */ 670edc2ca61SVlastimil Babka static unsigned long 671edc2ca61SVlastimil Babka isolate_migratepages_block(struct compact_control *cc, unsigned long low_pfn, 672edc2ca61SVlastimil Babka unsigned long end_pfn, isolate_mode_t isolate_mode) 673748446bbSMel Gorman { 674edc2ca61SVlastimil Babka struct zone *zone = cc->zone; 675b7aba698SMel Gorman unsigned long nr_scanned = 0, nr_isolated = 0; 676748446bbSMel Gorman struct list_head *migratelist = &cc->migratepages; 677fa9add64SHugh Dickins struct lruvec *lruvec; 678b8b2d825SXiubo Li unsigned long flags = 0; 6792a1402aaSMel Gorman bool locked = false; 680bb13ffebSMel Gorman struct page *page = NULL, *valid_page = NULL; 681e34d85f0SJoonsoo Kim unsigned long start_pfn = low_pfn; 682748446bbSMel Gorman 683748446bbSMel Gorman /* 684748446bbSMel Gorman * Ensure that there are not too many pages isolated from the LRU 685748446bbSMel Gorman * list by either parallel reclaimers or compaction. If there are, 686748446bbSMel Gorman * delay for some time until fewer pages are isolated 687748446bbSMel Gorman */ 688748446bbSMel Gorman while (unlikely(too_many_isolated(zone))) { 689f9e35b3bSMel Gorman /* async migration should just abort */ 690e0b9daebSDavid Rientjes if (cc->mode == MIGRATE_ASYNC) 6912fe86e00SMichal Nazarewicz return 0; 692f9e35b3bSMel Gorman 693748446bbSMel Gorman congestion_wait(BLK_RW_ASYNC, HZ/10); 694748446bbSMel Gorman 695748446bbSMel Gorman if (fatal_signal_pending(current)) 6962fe86e00SMichal Nazarewicz return 0; 697748446bbSMel Gorman } 698748446bbSMel Gorman 699be976572SVlastimil Babka if (compact_should_abort(cc)) 700aeef4b83SDavid Rientjes return 0; 701aeef4b83SDavid Rientjes 702748446bbSMel Gorman /* Time to isolate some pages for migration */ 703748446bbSMel Gorman for (; low_pfn < end_pfn; low_pfn++) { 70429c0dde8SVlastimil Babka bool is_lru; 70529c0dde8SVlastimil Babka 7068b44d279SVlastimil Babka /* 7078b44d279SVlastimil Babka * Periodically drop the lock (if held) regardless of its 7088b44d279SVlastimil Babka * contention, to give chance to IRQs. Abort async compaction 7098b44d279SVlastimil Babka * if contended. 7108b44d279SVlastimil Babka */ 7118b44d279SVlastimil Babka if (!(low_pfn % SWAP_CLUSTER_MAX) 7128b44d279SVlastimil Babka && compact_unlock_should_abort(&zone->lru_lock, flags, 7138b44d279SVlastimil Babka &locked, cc)) 7148b44d279SVlastimil Babka break; 715b2eef8c0SAndrea Arcangeli 716748446bbSMel Gorman if (!pfn_valid_within(low_pfn)) 717748446bbSMel Gorman continue; 718b7aba698SMel Gorman nr_scanned++; 719748446bbSMel Gorman 720748446bbSMel Gorman page = pfn_to_page(low_pfn); 721dc908600SMel Gorman 722bb13ffebSMel Gorman if (!valid_page) 723bb13ffebSMel Gorman valid_page = page; 724bb13ffebSMel Gorman 725c122b208SJoonsoo Kim /* 72699c0fd5eSVlastimil Babka * Skip if free. We read page order here without zone lock 72799c0fd5eSVlastimil Babka * which is generally unsafe, but the race window is small and 72899c0fd5eSVlastimil Babka * the worst thing that can happen is that we skip some 72999c0fd5eSVlastimil Babka * potential isolation targets. 7306c14466cSMel Gorman */ 73199c0fd5eSVlastimil Babka if (PageBuddy(page)) { 73299c0fd5eSVlastimil Babka unsigned long freepage_order = page_order_unsafe(page); 73399c0fd5eSVlastimil Babka 73499c0fd5eSVlastimil Babka /* 73599c0fd5eSVlastimil Babka * Without lock, we cannot be sure that what we got is 73699c0fd5eSVlastimil Babka * a valid page order. Consider only values in the 73799c0fd5eSVlastimil Babka * valid order range to prevent low_pfn overflow. 73899c0fd5eSVlastimil Babka */ 73999c0fd5eSVlastimil Babka if (freepage_order > 0 && freepage_order < MAX_ORDER) 74099c0fd5eSVlastimil Babka low_pfn += (1UL << freepage_order) - 1; 741748446bbSMel Gorman continue; 74299c0fd5eSVlastimil Babka } 743748446bbSMel Gorman 7449927af74SMel Gorman /* 745bf6bddf1SRafael Aquini * Check may be lockless but that's ok as we recheck later. 746bf6bddf1SRafael Aquini * It's possible to migrate LRU pages and balloon pages 747bf6bddf1SRafael Aquini * Skip any other type of page 748bf6bddf1SRafael Aquini */ 74929c0dde8SVlastimil Babka is_lru = PageLRU(page); 75029c0dde8SVlastimil Babka if (!is_lru) { 751bf6bddf1SRafael Aquini if (unlikely(balloon_page_movable(page))) { 752d6d86c0aSKonstantin Khlebnikov if (balloon_page_isolate(page)) { 753bf6bddf1SRafael Aquini /* Successfully isolated */ 754b6c75016SJoonsoo Kim goto isolate_success; 755bf6bddf1SRafael Aquini } 756bf6bddf1SRafael Aquini } 757bf6bddf1SRafael Aquini } 758bc835011SAndrea Arcangeli 759bc835011SAndrea Arcangeli /* 76029c0dde8SVlastimil Babka * Regardless of being on LRU, compound pages such as THP and 76129c0dde8SVlastimil Babka * hugetlbfs are not to be compacted. We can potentially save 76229c0dde8SVlastimil Babka * a lot of iterations if we skip them at once. The check is 76329c0dde8SVlastimil Babka * racy, but we can consider only valid values and the only 76429c0dde8SVlastimil Babka * danger is skipping too much. 765bc835011SAndrea Arcangeli */ 76629c0dde8SVlastimil Babka if (PageCompound(page)) { 76729c0dde8SVlastimil Babka unsigned int comp_order = compound_order(page); 76829c0dde8SVlastimil Babka 76929c0dde8SVlastimil Babka if (likely(comp_order < MAX_ORDER)) 77029c0dde8SVlastimil Babka low_pfn += (1UL << comp_order) - 1; 771edc2ca61SVlastimil Babka 7722a1402aaSMel Gorman continue; 7732a1402aaSMel Gorman } 7742a1402aaSMel Gorman 77529c0dde8SVlastimil Babka if (!is_lru) 77629c0dde8SVlastimil Babka continue; 77729c0dde8SVlastimil Babka 778119d6d59SDavid Rientjes /* 779119d6d59SDavid Rientjes * Migration will fail if an anonymous page is pinned in memory, 780119d6d59SDavid Rientjes * so avoid taking lru_lock and isolating it unnecessarily in an 781119d6d59SDavid Rientjes * admittedly racy check. 782119d6d59SDavid Rientjes */ 783119d6d59SDavid Rientjes if (!page_mapping(page) && 784119d6d59SDavid Rientjes page_count(page) > page_mapcount(page)) 785119d6d59SDavid Rientjes continue; 786119d6d59SDavid Rientjes 78769b7189fSVlastimil Babka /* If we already hold the lock, we can skip some rechecking */ 78869b7189fSVlastimil Babka if (!locked) { 7898b44d279SVlastimil Babka locked = compact_trylock_irqsave(&zone->lru_lock, 7908b44d279SVlastimil Babka &flags, cc); 7918b44d279SVlastimil Babka if (!locked) 7922a1402aaSMel Gorman break; 7932a1402aaSMel Gorman 79429c0dde8SVlastimil Babka /* Recheck PageLRU and PageCompound under lock */ 7952a1402aaSMel Gorman if (!PageLRU(page)) 7962a1402aaSMel Gorman continue; 79729c0dde8SVlastimil Babka 79829c0dde8SVlastimil Babka /* 79929c0dde8SVlastimil Babka * Page become compound since the non-locked check, 80029c0dde8SVlastimil Babka * and it's on LRU. It can only be a THP so the order 80129c0dde8SVlastimil Babka * is safe to read and it's 0 for tail pages. 80229c0dde8SVlastimil Babka */ 80329c0dde8SVlastimil Babka if (unlikely(PageCompound(page))) { 80429c0dde8SVlastimil Babka low_pfn += (1UL << compound_order(page)) - 1; 805bc835011SAndrea Arcangeli continue; 806bc835011SAndrea Arcangeli } 80769b7189fSVlastimil Babka } 808bc835011SAndrea Arcangeli 809fa9add64SHugh Dickins lruvec = mem_cgroup_page_lruvec(page, zone); 810fa9add64SHugh Dickins 811748446bbSMel Gorman /* Try isolate the page */ 812edc2ca61SVlastimil Babka if (__isolate_lru_page(page, isolate_mode) != 0) 813748446bbSMel Gorman continue; 814748446bbSMel Gorman 81529c0dde8SVlastimil Babka VM_BUG_ON_PAGE(PageCompound(page), page); 816bc835011SAndrea Arcangeli 817748446bbSMel Gorman /* Successfully isolated */ 818fa9add64SHugh Dickins del_page_from_lru_list(page, lruvec, page_lru(page)); 819b6c75016SJoonsoo Kim 820b6c75016SJoonsoo Kim isolate_success: 821748446bbSMel Gorman list_add(&page->lru, migratelist); 822748446bbSMel Gorman cc->nr_migratepages++; 823b7aba698SMel Gorman nr_isolated++; 824748446bbSMel Gorman 825748446bbSMel Gorman /* Avoid isolating too much */ 82631b8384aSHillf Danton if (cc->nr_migratepages == COMPACT_CLUSTER_MAX) { 82731b8384aSHillf Danton ++low_pfn; 828748446bbSMel Gorman break; 829748446bbSMel Gorman } 83031b8384aSHillf Danton } 831748446bbSMel Gorman 83299c0fd5eSVlastimil Babka /* 83399c0fd5eSVlastimil Babka * The PageBuddy() check could have potentially brought us outside 83499c0fd5eSVlastimil Babka * the range to be scanned. 83599c0fd5eSVlastimil Babka */ 83699c0fd5eSVlastimil Babka if (unlikely(low_pfn > end_pfn)) 83799c0fd5eSVlastimil Babka low_pfn = end_pfn; 83899c0fd5eSVlastimil Babka 839c67fe375SMel Gorman if (locked) 840c67fe375SMel Gorman spin_unlock_irqrestore(&zone->lru_lock, flags); 841748446bbSMel Gorman 84250b5b094SVlastimil Babka /* 84350b5b094SVlastimil Babka * Update the pageblock-skip information and cached scanner pfn, 84450b5b094SVlastimil Babka * if the whole pageblock was scanned without isolating any page. 84550b5b094SVlastimil Babka */ 84635979ef3SDavid Rientjes if (low_pfn == end_pfn) 847edc2ca61SVlastimil Babka update_pageblock_skip(cc, valid_page, nr_isolated, true); 848bb13ffebSMel Gorman 849e34d85f0SJoonsoo Kim trace_mm_compaction_isolate_migratepages(start_pfn, low_pfn, 850e34d85f0SJoonsoo Kim nr_scanned, nr_isolated); 851b7aba698SMel Gorman 852010fc29aSMinchan Kim count_compact_events(COMPACTMIGRATE_SCANNED, nr_scanned); 853397487dbSMel Gorman if (nr_isolated) 854010fc29aSMinchan Kim count_compact_events(COMPACTISOLATED, nr_isolated); 855397487dbSMel Gorman 8562fe86e00SMichal Nazarewicz return low_pfn; 8572fe86e00SMichal Nazarewicz } 8582fe86e00SMichal Nazarewicz 859edc2ca61SVlastimil Babka /** 860edc2ca61SVlastimil Babka * isolate_migratepages_range() - isolate migrate-able pages in a PFN range 861edc2ca61SVlastimil Babka * @cc: Compaction control structure. 862edc2ca61SVlastimil Babka * @start_pfn: The first PFN to start isolating. 863edc2ca61SVlastimil Babka * @end_pfn: The one-past-last PFN. 864edc2ca61SVlastimil Babka * 865edc2ca61SVlastimil Babka * Returns zero if isolation fails fatally due to e.g. pending signal. 866edc2ca61SVlastimil Babka * Otherwise, function returns one-past-the-last PFN of isolated page 867edc2ca61SVlastimil Babka * (which may be greater than end_pfn if end fell in a middle of a THP page). 868edc2ca61SVlastimil Babka */ 869edc2ca61SVlastimil Babka unsigned long 870edc2ca61SVlastimil Babka isolate_migratepages_range(struct compact_control *cc, unsigned long start_pfn, 871edc2ca61SVlastimil Babka unsigned long end_pfn) 872edc2ca61SVlastimil Babka { 873*e1409c32SJoonsoo Kim unsigned long pfn, block_start_pfn, block_end_pfn; 874edc2ca61SVlastimil Babka 875edc2ca61SVlastimil Babka /* Scan block by block. First and last block may be incomplete */ 876edc2ca61SVlastimil Babka pfn = start_pfn; 877*e1409c32SJoonsoo Kim block_start_pfn = pfn & ~(pageblock_nr_pages - 1); 878*e1409c32SJoonsoo Kim if (block_start_pfn < cc->zone->zone_start_pfn) 879*e1409c32SJoonsoo Kim block_start_pfn = cc->zone->zone_start_pfn; 880edc2ca61SVlastimil Babka block_end_pfn = ALIGN(pfn + 1, pageblock_nr_pages); 881edc2ca61SVlastimil Babka 882edc2ca61SVlastimil Babka for (; pfn < end_pfn; pfn = block_end_pfn, 883*e1409c32SJoonsoo Kim block_start_pfn = block_end_pfn, 884edc2ca61SVlastimil Babka block_end_pfn += pageblock_nr_pages) { 885edc2ca61SVlastimil Babka 886edc2ca61SVlastimil Babka block_end_pfn = min(block_end_pfn, end_pfn); 887edc2ca61SVlastimil Babka 888*e1409c32SJoonsoo Kim if (!pageblock_pfn_to_page(block_start_pfn, 889*e1409c32SJoonsoo Kim block_end_pfn, cc->zone)) 890edc2ca61SVlastimil Babka continue; 891edc2ca61SVlastimil Babka 892edc2ca61SVlastimil Babka pfn = isolate_migratepages_block(cc, pfn, block_end_pfn, 893edc2ca61SVlastimil Babka ISOLATE_UNEVICTABLE); 894edc2ca61SVlastimil Babka 895edc2ca61SVlastimil Babka /* 896edc2ca61SVlastimil Babka * In case of fatal failure, release everything that might 897edc2ca61SVlastimil Babka * have been isolated in the previous iteration, and signal 898edc2ca61SVlastimil Babka * the failure back to caller. 899edc2ca61SVlastimil Babka */ 900edc2ca61SVlastimil Babka if (!pfn) { 901edc2ca61SVlastimil Babka putback_movable_pages(&cc->migratepages); 902edc2ca61SVlastimil Babka cc->nr_migratepages = 0; 903edc2ca61SVlastimil Babka break; 904edc2ca61SVlastimil Babka } 9056ea41c0cSJoonsoo Kim 9066ea41c0cSJoonsoo Kim if (cc->nr_migratepages == COMPACT_CLUSTER_MAX) 9076ea41c0cSJoonsoo Kim break; 908edc2ca61SVlastimil Babka } 909edc2ca61SVlastimil Babka acct_isolated(cc->zone, cc); 910edc2ca61SVlastimil Babka 911edc2ca61SVlastimil Babka return pfn; 912edc2ca61SVlastimil Babka } 913edc2ca61SVlastimil Babka 914ff9543fdSMichal Nazarewicz #endif /* CONFIG_COMPACTION || CONFIG_CMA */ 915ff9543fdSMichal Nazarewicz #ifdef CONFIG_COMPACTION 916018e9a49SAndrew Morton 917018e9a49SAndrew Morton /* Returns true if the page is within a block suitable for migration to */ 918018e9a49SAndrew Morton static bool suitable_migration_target(struct page *page) 919018e9a49SAndrew Morton { 920018e9a49SAndrew Morton /* If the page is a large free page, then disallow migration */ 921018e9a49SAndrew Morton if (PageBuddy(page)) { 922018e9a49SAndrew Morton /* 923018e9a49SAndrew Morton * We are checking page_order without zone->lock taken. But 924018e9a49SAndrew Morton * the only small danger is that we skip a potentially suitable 925018e9a49SAndrew Morton * pageblock, so it's not worth to check order for valid range. 926018e9a49SAndrew Morton */ 927018e9a49SAndrew Morton if (page_order_unsafe(page) >= pageblock_order) 928018e9a49SAndrew Morton return false; 929018e9a49SAndrew Morton } 930018e9a49SAndrew Morton 931018e9a49SAndrew Morton /* If the block is MIGRATE_MOVABLE or MIGRATE_CMA, allow migration */ 932018e9a49SAndrew Morton if (migrate_async_suitable(get_pageblock_migratetype(page))) 933018e9a49SAndrew Morton return true; 934018e9a49SAndrew Morton 935018e9a49SAndrew Morton /* Otherwise skip the block */ 936018e9a49SAndrew Morton return false; 937018e9a49SAndrew Morton } 938018e9a49SAndrew Morton 939ff9543fdSMichal Nazarewicz /* 940f2849aa0SVlastimil Babka * Test whether the free scanner has reached the same or lower pageblock than 941f2849aa0SVlastimil Babka * the migration scanner, and compaction should thus terminate. 942f2849aa0SVlastimil Babka */ 943f2849aa0SVlastimil Babka static inline bool compact_scanners_met(struct compact_control *cc) 944f2849aa0SVlastimil Babka { 945f2849aa0SVlastimil Babka return (cc->free_pfn >> pageblock_order) 946f2849aa0SVlastimil Babka <= (cc->migrate_pfn >> pageblock_order); 947f2849aa0SVlastimil Babka } 948f2849aa0SVlastimil Babka 949f2849aa0SVlastimil Babka /* 950ff9543fdSMichal Nazarewicz * Based on information in the current compact_control, find blocks 951ff9543fdSMichal Nazarewicz * suitable for isolating free pages from and then isolate them. 952ff9543fdSMichal Nazarewicz */ 953edc2ca61SVlastimil Babka static void isolate_freepages(struct compact_control *cc) 954ff9543fdSMichal Nazarewicz { 955edc2ca61SVlastimil Babka struct zone *zone = cc->zone; 956ff9543fdSMichal Nazarewicz struct page *page; 957c96b9e50SVlastimil Babka unsigned long block_start_pfn; /* start of current pageblock */ 958e14c720eSVlastimil Babka unsigned long isolate_start_pfn; /* exact pfn we start at */ 959c96b9e50SVlastimil Babka unsigned long block_end_pfn; /* end of current pageblock */ 960c96b9e50SVlastimil Babka unsigned long low_pfn; /* lowest pfn scanner is able to scan */ 961ff9543fdSMichal Nazarewicz struct list_head *freelist = &cc->freepages; 9622fe86e00SMichal Nazarewicz 963ff9543fdSMichal Nazarewicz /* 964ff9543fdSMichal Nazarewicz * Initialise the free scanner. The starting point is where we last 96549e068f0SVlastimil Babka * successfully isolated from, zone-cached value, or the end of the 966e14c720eSVlastimil Babka * zone when isolating for the first time. For looping we also need 967e14c720eSVlastimil Babka * this pfn aligned down to the pageblock boundary, because we do 968c96b9e50SVlastimil Babka * block_start_pfn -= pageblock_nr_pages in the for loop. 969c96b9e50SVlastimil Babka * For ending point, take care when isolating in last pageblock of a 970c96b9e50SVlastimil Babka * a zone which ends in the middle of a pageblock. 97149e068f0SVlastimil Babka * The low boundary is the end of the pageblock the migration scanner 97249e068f0SVlastimil Babka * is using. 973ff9543fdSMichal Nazarewicz */ 974e14c720eSVlastimil Babka isolate_start_pfn = cc->free_pfn; 975c96b9e50SVlastimil Babka block_start_pfn = cc->free_pfn & ~(pageblock_nr_pages-1); 976c96b9e50SVlastimil Babka block_end_pfn = min(block_start_pfn + pageblock_nr_pages, 977c96b9e50SVlastimil Babka zone_end_pfn(zone)); 9787ed695e0SVlastimil Babka low_pfn = ALIGN(cc->migrate_pfn + 1, pageblock_nr_pages); 9792fe86e00SMichal Nazarewicz 980ff9543fdSMichal Nazarewicz /* 981ff9543fdSMichal Nazarewicz * Isolate free pages until enough are available to migrate the 982ff9543fdSMichal Nazarewicz * pages on cc->migratepages. We stop searching if the migrate 983ff9543fdSMichal Nazarewicz * and free page scanners meet or enough free pages are isolated. 984ff9543fdSMichal Nazarewicz */ 985f5f61a32SVlastimil Babka for (; block_start_pfn >= low_pfn; 986c96b9e50SVlastimil Babka block_end_pfn = block_start_pfn, 987e14c720eSVlastimil Babka block_start_pfn -= pageblock_nr_pages, 988e14c720eSVlastimil Babka isolate_start_pfn = block_start_pfn) { 989ff9543fdSMichal Nazarewicz 990f6ea3adbSDavid Rientjes /* 991f6ea3adbSDavid Rientjes * This can iterate a massively long zone without finding any 992f6ea3adbSDavid Rientjes * suitable migration targets, so periodically check if we need 993be976572SVlastimil Babka * to schedule, or even abort async compaction. 994f6ea3adbSDavid Rientjes */ 995be976572SVlastimil Babka if (!(block_start_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages)) 996be976572SVlastimil Babka && compact_should_abort(cc)) 997be976572SVlastimil Babka break; 998f6ea3adbSDavid Rientjes 9997d49d886SVlastimil Babka page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn, 10007d49d886SVlastimil Babka zone); 10017d49d886SVlastimil Babka if (!page) 1002ff9543fdSMichal Nazarewicz continue; 1003ff9543fdSMichal Nazarewicz 1004ff9543fdSMichal Nazarewicz /* Check the block is suitable for migration */ 100568e3e926SLinus Torvalds if (!suitable_migration_target(page)) 1006ff9543fdSMichal Nazarewicz continue; 100768e3e926SLinus Torvalds 1008bb13ffebSMel Gorman /* If isolation recently failed, do not retry */ 1009bb13ffebSMel Gorman if (!isolation_suitable(cc, page)) 1010bb13ffebSMel Gorman continue; 1011bb13ffebSMel Gorman 1012e14c720eSVlastimil Babka /* Found a block suitable for isolating free pages from. */ 1013932ff6bbSJoonsoo Kim isolate_freepages_block(cc, &isolate_start_pfn, 1014c96b9e50SVlastimil Babka block_end_pfn, freelist, false); 1015ff9543fdSMichal Nazarewicz 1016ff9543fdSMichal Nazarewicz /* 1017f5f61a32SVlastimil Babka * If we isolated enough freepages, or aborted due to async 1018f5f61a32SVlastimil Babka * compaction being contended, terminate the loop. 1019e14c720eSVlastimil Babka * Remember where the free scanner should restart next time, 1020e14c720eSVlastimil Babka * which is where isolate_freepages_block() left off. 1021e14c720eSVlastimil Babka * But if it scanned the whole pageblock, isolate_start_pfn 1022e14c720eSVlastimil Babka * now points at block_end_pfn, which is the start of the next 1023e14c720eSVlastimil Babka * pageblock. 1024e14c720eSVlastimil Babka * In that case we will however want to restart at the start 1025e14c720eSVlastimil Babka * of the previous pageblock. 1026e14c720eSVlastimil Babka */ 1027f5f61a32SVlastimil Babka if ((cc->nr_freepages >= cc->nr_migratepages) 1028f5f61a32SVlastimil Babka || cc->contended) { 1029f5f61a32SVlastimil Babka if (isolate_start_pfn >= block_end_pfn) 1030f5f61a32SVlastimil Babka isolate_start_pfn = 1031e14c720eSVlastimil Babka block_start_pfn - pageblock_nr_pages; 1032be976572SVlastimil Babka break; 1033f5f61a32SVlastimil Babka } else { 1034f5f61a32SVlastimil Babka /* 1035f5f61a32SVlastimil Babka * isolate_freepages_block() should not terminate 1036f5f61a32SVlastimil Babka * prematurely unless contended, or isolated enough 1037f5f61a32SVlastimil Babka */ 1038f5f61a32SVlastimil Babka VM_BUG_ON(isolate_start_pfn < block_end_pfn); 1039f5f61a32SVlastimil Babka } 1040c89511abSMel Gorman } 1041ff9543fdSMichal Nazarewicz 1042ff9543fdSMichal Nazarewicz /* split_free_page does not map the pages */ 1043ff9543fdSMichal Nazarewicz map_pages(freelist); 1044ff9543fdSMichal Nazarewicz 10457ed695e0SVlastimil Babka /* 1046f5f61a32SVlastimil Babka * Record where the free scanner will restart next time. Either we 1047f5f61a32SVlastimil Babka * broke from the loop and set isolate_start_pfn based on the last 1048f5f61a32SVlastimil Babka * call to isolate_freepages_block(), or we met the migration scanner 1049f5f61a32SVlastimil Babka * and the loop terminated due to isolate_start_pfn < low_pfn 10507ed695e0SVlastimil Babka */ 1051f5f61a32SVlastimil Babka cc->free_pfn = isolate_start_pfn; 1052748446bbSMel Gorman } 1053748446bbSMel Gorman 1054748446bbSMel Gorman /* 1055748446bbSMel Gorman * This is a migrate-callback that "allocates" freepages by taking pages 1056748446bbSMel Gorman * from the isolated freelists in the block we are migrating to. 1057748446bbSMel Gorman */ 1058748446bbSMel Gorman static struct page *compaction_alloc(struct page *migratepage, 1059748446bbSMel Gorman unsigned long data, 1060748446bbSMel Gorman int **result) 1061748446bbSMel Gorman { 1062748446bbSMel Gorman struct compact_control *cc = (struct compact_control *)data; 1063748446bbSMel Gorman struct page *freepage; 1064748446bbSMel Gorman 1065be976572SVlastimil Babka /* 1066be976572SVlastimil Babka * Isolate free pages if necessary, and if we are not aborting due to 1067be976572SVlastimil Babka * contention. 1068be976572SVlastimil Babka */ 1069748446bbSMel Gorman if (list_empty(&cc->freepages)) { 1070be976572SVlastimil Babka if (!cc->contended) 1071edc2ca61SVlastimil Babka isolate_freepages(cc); 1072748446bbSMel Gorman 1073748446bbSMel Gorman if (list_empty(&cc->freepages)) 1074748446bbSMel Gorman return NULL; 1075748446bbSMel Gorman } 1076748446bbSMel Gorman 1077748446bbSMel Gorman freepage = list_entry(cc->freepages.next, struct page, lru); 1078748446bbSMel Gorman list_del(&freepage->lru); 1079748446bbSMel Gorman cc->nr_freepages--; 1080748446bbSMel Gorman 1081748446bbSMel Gorman return freepage; 1082748446bbSMel Gorman } 1083748446bbSMel Gorman 1084748446bbSMel Gorman /* 1085d53aea3dSDavid Rientjes * This is a migrate-callback that "frees" freepages back to the isolated 1086d53aea3dSDavid Rientjes * freelist. All pages on the freelist are from the same zone, so there is no 1087d53aea3dSDavid Rientjes * special handling needed for NUMA. 1088d53aea3dSDavid Rientjes */ 1089d53aea3dSDavid Rientjes static void compaction_free(struct page *page, unsigned long data) 1090d53aea3dSDavid Rientjes { 1091d53aea3dSDavid Rientjes struct compact_control *cc = (struct compact_control *)data; 1092d53aea3dSDavid Rientjes 1093d53aea3dSDavid Rientjes list_add(&page->lru, &cc->freepages); 1094d53aea3dSDavid Rientjes cc->nr_freepages++; 1095d53aea3dSDavid Rientjes } 1096d53aea3dSDavid Rientjes 1097ff9543fdSMichal Nazarewicz /* possible outcome of isolate_migratepages */ 1098ff9543fdSMichal Nazarewicz typedef enum { 1099ff9543fdSMichal Nazarewicz ISOLATE_ABORT, /* Abort compaction now */ 1100ff9543fdSMichal Nazarewicz ISOLATE_NONE, /* No pages isolated, continue scanning */ 1101ff9543fdSMichal Nazarewicz ISOLATE_SUCCESS, /* Pages isolated, migrate */ 1102ff9543fdSMichal Nazarewicz } isolate_migrate_t; 1103ff9543fdSMichal Nazarewicz 1104ff9543fdSMichal Nazarewicz /* 11055bbe3547SEric B Munson * Allow userspace to control policy on scanning the unevictable LRU for 11065bbe3547SEric B Munson * compactable pages. 11075bbe3547SEric B Munson */ 11085bbe3547SEric B Munson int sysctl_compact_unevictable_allowed __read_mostly = 1; 11095bbe3547SEric B Munson 11105bbe3547SEric B Munson /* 1111edc2ca61SVlastimil Babka * Isolate all pages that can be migrated from the first suitable block, 1112edc2ca61SVlastimil Babka * starting at the block pointed to by the migrate scanner pfn within 1113edc2ca61SVlastimil Babka * compact_control. 1114ff9543fdSMichal Nazarewicz */ 1115ff9543fdSMichal Nazarewicz static isolate_migrate_t isolate_migratepages(struct zone *zone, 1116ff9543fdSMichal Nazarewicz struct compact_control *cc) 1117ff9543fdSMichal Nazarewicz { 1118*e1409c32SJoonsoo Kim unsigned long block_start_pfn; 1119*e1409c32SJoonsoo Kim unsigned long block_end_pfn; 1120*e1409c32SJoonsoo Kim unsigned long low_pfn; 11211a16718cSJoonsoo Kim unsigned long isolate_start_pfn; 1122edc2ca61SVlastimil Babka struct page *page; 1123edc2ca61SVlastimil Babka const isolate_mode_t isolate_mode = 11245bbe3547SEric B Munson (sysctl_compact_unevictable_allowed ? ISOLATE_UNEVICTABLE : 0) | 1125edc2ca61SVlastimil Babka (cc->mode == MIGRATE_ASYNC ? ISOLATE_ASYNC_MIGRATE : 0); 1126ff9543fdSMichal Nazarewicz 1127edc2ca61SVlastimil Babka /* 1128edc2ca61SVlastimil Babka * Start at where we last stopped, or beginning of the zone as 1129edc2ca61SVlastimil Babka * initialized by compact_zone() 1130edc2ca61SVlastimil Babka */ 1131edc2ca61SVlastimil Babka low_pfn = cc->migrate_pfn; 1132*e1409c32SJoonsoo Kim block_start_pfn = cc->migrate_pfn & ~(pageblock_nr_pages - 1); 1133*e1409c32SJoonsoo Kim if (block_start_pfn < zone->zone_start_pfn) 1134*e1409c32SJoonsoo Kim block_start_pfn = zone->zone_start_pfn; 1135ff9543fdSMichal Nazarewicz 1136ff9543fdSMichal Nazarewicz /* Only scan within a pageblock boundary */ 1137*e1409c32SJoonsoo Kim block_end_pfn = ALIGN(low_pfn + 1, pageblock_nr_pages); 1138ff9543fdSMichal Nazarewicz 1139edc2ca61SVlastimil Babka /* 1140edc2ca61SVlastimil Babka * Iterate over whole pageblocks until we find the first suitable. 1141edc2ca61SVlastimil Babka * Do not cross the free scanner. 1142edc2ca61SVlastimil Babka */ 1143*e1409c32SJoonsoo Kim for (; block_end_pfn <= cc->free_pfn; 1144*e1409c32SJoonsoo Kim low_pfn = block_end_pfn, 1145*e1409c32SJoonsoo Kim block_start_pfn = block_end_pfn, 1146*e1409c32SJoonsoo Kim block_end_pfn += pageblock_nr_pages) { 1147edc2ca61SVlastimil Babka 1148edc2ca61SVlastimil Babka /* 1149edc2ca61SVlastimil Babka * This can potentially iterate a massively long zone with 1150edc2ca61SVlastimil Babka * many pageblocks unsuitable, so periodically check if we 1151edc2ca61SVlastimil Babka * need to schedule, or even abort async compaction. 1152edc2ca61SVlastimil Babka */ 1153edc2ca61SVlastimil Babka if (!(low_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages)) 1154edc2ca61SVlastimil Babka && compact_should_abort(cc)) 1155edc2ca61SVlastimil Babka break; 1156edc2ca61SVlastimil Babka 1157*e1409c32SJoonsoo Kim page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn, 1158*e1409c32SJoonsoo Kim zone); 11597d49d886SVlastimil Babka if (!page) 1160edc2ca61SVlastimil Babka continue; 1161edc2ca61SVlastimil Babka 1162edc2ca61SVlastimil Babka /* If isolation recently failed, do not retry */ 1163edc2ca61SVlastimil Babka if (!isolation_suitable(cc, page)) 1164edc2ca61SVlastimil Babka continue; 1165edc2ca61SVlastimil Babka 1166edc2ca61SVlastimil Babka /* 1167edc2ca61SVlastimil Babka * For async compaction, also only scan in MOVABLE blocks. 1168edc2ca61SVlastimil Babka * Async compaction is optimistic to see if the minimum amount 1169edc2ca61SVlastimil Babka * of work satisfies the allocation. 1170edc2ca61SVlastimil Babka */ 1171edc2ca61SVlastimil Babka if (cc->mode == MIGRATE_ASYNC && 1172edc2ca61SVlastimil Babka !migrate_async_suitable(get_pageblock_migratetype(page))) 1173edc2ca61SVlastimil Babka continue; 1174ff9543fdSMichal Nazarewicz 1175ff9543fdSMichal Nazarewicz /* Perform the isolation */ 11761a16718cSJoonsoo Kim isolate_start_pfn = low_pfn; 1177*e1409c32SJoonsoo Kim low_pfn = isolate_migratepages_block(cc, low_pfn, 1178*e1409c32SJoonsoo Kim block_end_pfn, isolate_mode); 1179edc2ca61SVlastimil Babka 1180ff59909aSHugh Dickins if (!low_pfn || cc->contended) { 1181ff59909aSHugh Dickins acct_isolated(zone, cc); 1182ff9543fdSMichal Nazarewicz return ISOLATE_ABORT; 1183ff59909aSHugh Dickins } 1184ff9543fdSMichal Nazarewicz 1185edc2ca61SVlastimil Babka /* 11861a16718cSJoonsoo Kim * Record where we could have freed pages by migration and not 11871a16718cSJoonsoo Kim * yet flushed them to buddy allocator. 11881a16718cSJoonsoo Kim * - this is the lowest page that could have been isolated and 11891a16718cSJoonsoo Kim * then freed by migration. 11901a16718cSJoonsoo Kim */ 11911a16718cSJoonsoo Kim if (cc->nr_migratepages && !cc->last_migrated_pfn) 11921a16718cSJoonsoo Kim cc->last_migrated_pfn = isolate_start_pfn; 11931a16718cSJoonsoo Kim 11941a16718cSJoonsoo Kim /* 1195edc2ca61SVlastimil Babka * Either we isolated something and proceed with migration. Or 1196edc2ca61SVlastimil Babka * we failed and compact_zone should decide if we should 1197edc2ca61SVlastimil Babka * continue or not. 1198edc2ca61SVlastimil Babka */ 1199edc2ca61SVlastimil Babka break; 1200edc2ca61SVlastimil Babka } 1201edc2ca61SVlastimil Babka 1202edc2ca61SVlastimil Babka acct_isolated(zone, cc); 1203f2849aa0SVlastimil Babka /* Record where migration scanner will be restarted. */ 1204f2849aa0SVlastimil Babka cc->migrate_pfn = low_pfn; 1205ff9543fdSMichal Nazarewicz 1206edc2ca61SVlastimil Babka return cc->nr_migratepages ? ISOLATE_SUCCESS : ISOLATE_NONE; 1207ff9543fdSMichal Nazarewicz } 1208ff9543fdSMichal Nazarewicz 120921c527a3SYaowei Bai /* 121021c527a3SYaowei Bai * order == -1 is expected when compacting via 121121c527a3SYaowei Bai * /proc/sys/vm/compact_memory 121221c527a3SYaowei Bai */ 121321c527a3SYaowei Bai static inline bool is_via_compact_memory(int order) 121421c527a3SYaowei Bai { 121521c527a3SYaowei Bai return order == -1; 121621c527a3SYaowei Bai } 121721c527a3SYaowei Bai 1218837d026dSJoonsoo Kim static int __compact_finished(struct zone *zone, struct compact_control *cc, 12196d7ce559SDavid Rientjes const int migratetype) 1220748446bbSMel Gorman { 12218fb74b9fSMel Gorman unsigned int order; 12225a03b051SAndrea Arcangeli unsigned long watermark; 122356de7263SMel Gorman 1224be976572SVlastimil Babka if (cc->contended || fatal_signal_pending(current)) 12252d1e1041SVlastimil Babka return COMPACT_CONTENDED; 1226748446bbSMel Gorman 1227753341a4SMel Gorman /* Compaction run completes if the migrate and free scanner meet */ 1228f2849aa0SVlastimil Babka if (compact_scanners_met(cc)) { 122955b7c4c9SVlastimil Babka /* Let the next compaction start anew. */ 123002333641SVlastimil Babka reset_cached_positions(zone); 123155b7c4c9SVlastimil Babka 123262997027SMel Gorman /* 123362997027SMel Gorman * Mark that the PG_migrate_skip information should be cleared 123462997027SMel Gorman * by kswapd when it goes to sleep. kswapd does not set the 123562997027SMel Gorman * flag itself as the decision to be clear should be directly 123662997027SMel Gorman * based on an allocation request. 123762997027SMel Gorman */ 123862997027SMel Gorman if (!current_is_kswapd()) 123962997027SMel Gorman zone->compact_blockskip_flush = true; 124062997027SMel Gorman 1241748446bbSMel Gorman return COMPACT_COMPLETE; 1242bb13ffebSMel Gorman } 1243748446bbSMel Gorman 124421c527a3SYaowei Bai if (is_via_compact_memory(cc->order)) 124556de7263SMel Gorman return COMPACT_CONTINUE; 124656de7263SMel Gorman 12473957c776SMichal Hocko /* Compaction run is not finished if the watermark is not met */ 12483957c776SMichal Hocko watermark = low_wmark_pages(zone); 12493957c776SMichal Hocko 1250ebff3980SVlastimil Babka if (!zone_watermark_ok(zone, cc->order, watermark, cc->classzone_idx, 1251ebff3980SVlastimil Babka cc->alloc_flags)) 12523957c776SMichal Hocko return COMPACT_CONTINUE; 12533957c776SMichal Hocko 125456de7263SMel Gorman /* Direct compactor: Is a suitable page free? */ 125556de7263SMel Gorman for (order = cc->order; order < MAX_ORDER; order++) { 12568fb74b9fSMel Gorman struct free_area *area = &zone->free_area[order]; 12572149cdaeSJoonsoo Kim bool can_steal; 12588fb74b9fSMel Gorman 125956de7263SMel Gorman /* Job done if page is free of the right migratetype */ 12606d7ce559SDavid Rientjes if (!list_empty(&area->free_list[migratetype])) 126156de7263SMel Gorman return COMPACT_PARTIAL; 126256de7263SMel Gorman 12632149cdaeSJoonsoo Kim #ifdef CONFIG_CMA 12642149cdaeSJoonsoo Kim /* MIGRATE_MOVABLE can fallback on MIGRATE_CMA */ 12652149cdaeSJoonsoo Kim if (migratetype == MIGRATE_MOVABLE && 12662149cdaeSJoonsoo Kim !list_empty(&area->free_list[MIGRATE_CMA])) 12672149cdaeSJoonsoo Kim return COMPACT_PARTIAL; 12682149cdaeSJoonsoo Kim #endif 12692149cdaeSJoonsoo Kim /* 12702149cdaeSJoonsoo Kim * Job done if allocation would steal freepages from 12712149cdaeSJoonsoo Kim * other migratetype buddy lists. 12722149cdaeSJoonsoo Kim */ 12732149cdaeSJoonsoo Kim if (find_suitable_fallback(area, order, migratetype, 12742149cdaeSJoonsoo Kim true, &can_steal) != -1) 127556de7263SMel Gorman return COMPACT_PARTIAL; 127656de7263SMel Gorman } 127756de7263SMel Gorman 1278837d026dSJoonsoo Kim return COMPACT_NO_SUITABLE_PAGE; 1279837d026dSJoonsoo Kim } 1280837d026dSJoonsoo Kim 1281837d026dSJoonsoo Kim static int compact_finished(struct zone *zone, struct compact_control *cc, 1282837d026dSJoonsoo Kim const int migratetype) 1283837d026dSJoonsoo Kim { 1284837d026dSJoonsoo Kim int ret; 1285837d026dSJoonsoo Kim 1286837d026dSJoonsoo Kim ret = __compact_finished(zone, cc, migratetype); 1287837d026dSJoonsoo Kim trace_mm_compaction_finished(zone, cc->order, ret); 1288837d026dSJoonsoo Kim if (ret == COMPACT_NO_SUITABLE_PAGE) 1289837d026dSJoonsoo Kim ret = COMPACT_CONTINUE; 1290837d026dSJoonsoo Kim 1291837d026dSJoonsoo Kim return ret; 1292748446bbSMel Gorman } 1293748446bbSMel Gorman 12943e7d3449SMel Gorman /* 12953e7d3449SMel Gorman * compaction_suitable: Is this suitable to run compaction on this zone now? 12963e7d3449SMel Gorman * Returns 12973e7d3449SMel Gorman * COMPACT_SKIPPED - If there are too few free pages for compaction 12983e7d3449SMel Gorman * COMPACT_PARTIAL - If the allocation would succeed without compaction 12993e7d3449SMel Gorman * COMPACT_CONTINUE - If compaction should run now 13003e7d3449SMel Gorman */ 1301837d026dSJoonsoo Kim static unsigned long __compaction_suitable(struct zone *zone, int order, 1302ebff3980SVlastimil Babka int alloc_flags, int classzone_idx) 13033e7d3449SMel Gorman { 13043e7d3449SMel Gorman int fragindex; 13053e7d3449SMel Gorman unsigned long watermark; 13063e7d3449SMel Gorman 130721c527a3SYaowei Bai if (is_via_compact_memory(order)) 13083957c776SMichal Hocko return COMPACT_CONTINUE; 13093957c776SMichal Hocko 1310ebff3980SVlastimil Babka watermark = low_wmark_pages(zone); 1311ebff3980SVlastimil Babka /* 1312ebff3980SVlastimil Babka * If watermarks for high-order allocation are already met, there 1313ebff3980SVlastimil Babka * should be no need for compaction at all. 1314ebff3980SVlastimil Babka */ 1315ebff3980SVlastimil Babka if (zone_watermark_ok(zone, order, watermark, classzone_idx, 1316ebff3980SVlastimil Babka alloc_flags)) 1317ebff3980SVlastimil Babka return COMPACT_PARTIAL; 1318ebff3980SVlastimil Babka 13193957c776SMichal Hocko /* 13203e7d3449SMel Gorman * Watermarks for order-0 must be met for compaction. Note the 2UL. 13213e7d3449SMel Gorman * This is because during migration, copies of pages need to be 13223e7d3449SMel Gorman * allocated and for a short time, the footprint is higher 13233e7d3449SMel Gorman */ 1324ebff3980SVlastimil Babka watermark += (2UL << order); 1325ebff3980SVlastimil Babka if (!zone_watermark_ok(zone, 0, watermark, classzone_idx, alloc_flags)) 13263e7d3449SMel Gorman return COMPACT_SKIPPED; 13273e7d3449SMel Gorman 13283e7d3449SMel Gorman /* 13293e7d3449SMel Gorman * fragmentation index determines if allocation failures are due to 13303e7d3449SMel Gorman * low memory or external fragmentation 13313e7d3449SMel Gorman * 1332ebff3980SVlastimil Babka * index of -1000 would imply allocations might succeed depending on 1333ebff3980SVlastimil Babka * watermarks, but we already failed the high-order watermark check 13343e7d3449SMel Gorman * index towards 0 implies failure is due to lack of memory 13353e7d3449SMel Gorman * index towards 1000 implies failure is due to fragmentation 13363e7d3449SMel Gorman * 13373e7d3449SMel Gorman * Only compact if a failure would be due to fragmentation. 13383e7d3449SMel Gorman */ 13393e7d3449SMel Gorman fragindex = fragmentation_index(zone, order); 13403e7d3449SMel Gorman if (fragindex >= 0 && fragindex <= sysctl_extfrag_threshold) 1341837d026dSJoonsoo Kim return COMPACT_NOT_SUITABLE_ZONE; 13423e7d3449SMel Gorman 13433e7d3449SMel Gorman return COMPACT_CONTINUE; 13443e7d3449SMel Gorman } 13453e7d3449SMel Gorman 1346837d026dSJoonsoo Kim unsigned long compaction_suitable(struct zone *zone, int order, 1347837d026dSJoonsoo Kim int alloc_flags, int classzone_idx) 1348837d026dSJoonsoo Kim { 1349837d026dSJoonsoo Kim unsigned long ret; 1350837d026dSJoonsoo Kim 1351837d026dSJoonsoo Kim ret = __compaction_suitable(zone, order, alloc_flags, classzone_idx); 1352837d026dSJoonsoo Kim trace_mm_compaction_suitable(zone, order, ret); 1353837d026dSJoonsoo Kim if (ret == COMPACT_NOT_SUITABLE_ZONE) 1354837d026dSJoonsoo Kim ret = COMPACT_SKIPPED; 1355837d026dSJoonsoo Kim 1356837d026dSJoonsoo Kim return ret; 1357837d026dSJoonsoo Kim } 1358837d026dSJoonsoo Kim 1359748446bbSMel Gorman static int compact_zone(struct zone *zone, struct compact_control *cc) 1360748446bbSMel Gorman { 1361748446bbSMel Gorman int ret; 1362c89511abSMel Gorman unsigned long start_pfn = zone->zone_start_pfn; 1363108bcc96SCody P Schafer unsigned long end_pfn = zone_end_pfn(zone); 13646d7ce559SDavid Rientjes const int migratetype = gfpflags_to_migratetype(cc->gfp_mask); 1365e0b9daebSDavid Rientjes const bool sync = cc->mode != MIGRATE_ASYNC; 1366748446bbSMel Gorman 1367ebff3980SVlastimil Babka ret = compaction_suitable(zone, cc->order, cc->alloc_flags, 1368ebff3980SVlastimil Babka cc->classzone_idx); 13693e7d3449SMel Gorman switch (ret) { 13703e7d3449SMel Gorman case COMPACT_PARTIAL: 13713e7d3449SMel Gorman case COMPACT_SKIPPED: 13723e7d3449SMel Gorman /* Compaction is likely to fail */ 13733e7d3449SMel Gorman return ret; 13743e7d3449SMel Gorman case COMPACT_CONTINUE: 13753e7d3449SMel Gorman /* Fall through to compaction */ 13763e7d3449SMel Gorman ; 13773e7d3449SMel Gorman } 13783e7d3449SMel Gorman 1379c89511abSMel Gorman /* 1380d3132e4bSVlastimil Babka * Clear pageblock skip if there were failures recently and compaction 1381d3132e4bSVlastimil Babka * is about to be retried after being deferred. kswapd does not do 1382d3132e4bSVlastimil Babka * this reset as it'll reset the cached information when going to sleep. 1383d3132e4bSVlastimil Babka */ 1384d3132e4bSVlastimil Babka if (compaction_restarting(zone, cc->order) && !current_is_kswapd()) 1385d3132e4bSVlastimil Babka __reset_isolation_suitable(zone); 1386d3132e4bSVlastimil Babka 1387d3132e4bSVlastimil Babka /* 1388c89511abSMel Gorman * Setup to move all movable pages to the end of the zone. Used cached 1389c89511abSMel Gorman * information on where the scanners should start but check that it 1390c89511abSMel Gorman * is initialised by ensuring the values are within zone boundaries. 1391c89511abSMel Gorman */ 1392e0b9daebSDavid Rientjes cc->migrate_pfn = zone->compact_cached_migrate_pfn[sync]; 1393c89511abSMel Gorman cc->free_pfn = zone->compact_cached_free_pfn; 1394623446e4SJoonsoo Kim if (cc->free_pfn < start_pfn || cc->free_pfn >= end_pfn) { 1395623446e4SJoonsoo Kim cc->free_pfn = round_down(end_pfn - 1, pageblock_nr_pages); 1396c89511abSMel Gorman zone->compact_cached_free_pfn = cc->free_pfn; 1397c89511abSMel Gorman } 1398623446e4SJoonsoo Kim if (cc->migrate_pfn < start_pfn || cc->migrate_pfn >= end_pfn) { 1399c89511abSMel Gorman cc->migrate_pfn = start_pfn; 140035979ef3SDavid Rientjes zone->compact_cached_migrate_pfn[0] = cc->migrate_pfn; 140135979ef3SDavid Rientjes zone->compact_cached_migrate_pfn[1] = cc->migrate_pfn; 1402c89511abSMel Gorman } 14031a16718cSJoonsoo Kim cc->last_migrated_pfn = 0; 1404748446bbSMel Gorman 140516c4a097SJoonsoo Kim trace_mm_compaction_begin(start_pfn, cc->migrate_pfn, 140616c4a097SJoonsoo Kim cc->free_pfn, end_pfn, sync); 14070eb927c0SMel Gorman 1408748446bbSMel Gorman migrate_prep_local(); 1409748446bbSMel Gorman 14106d7ce559SDavid Rientjes while ((ret = compact_finished(zone, cc, migratetype)) == 14116d7ce559SDavid Rientjes COMPACT_CONTINUE) { 14129d502c1cSMinchan Kim int err; 1413748446bbSMel Gorman 1414f9e35b3bSMel Gorman switch (isolate_migratepages(zone, cc)) { 1415f9e35b3bSMel Gorman case ISOLATE_ABORT: 14162d1e1041SVlastimil Babka ret = COMPACT_CONTENDED; 14175733c7d1SRafael Aquini putback_movable_pages(&cc->migratepages); 1418e64c5237SShaohua Li cc->nr_migratepages = 0; 1419f9e35b3bSMel Gorman goto out; 1420f9e35b3bSMel Gorman case ISOLATE_NONE: 1421fdaf7f5cSVlastimil Babka /* 1422fdaf7f5cSVlastimil Babka * We haven't isolated and migrated anything, but 1423fdaf7f5cSVlastimil Babka * there might still be unflushed migrations from 1424fdaf7f5cSVlastimil Babka * previous cc->order aligned block. 1425fdaf7f5cSVlastimil Babka */ 1426fdaf7f5cSVlastimil Babka goto check_drain; 1427f9e35b3bSMel Gorman case ISOLATE_SUCCESS: 1428f9e35b3bSMel Gorman ; 1429f9e35b3bSMel Gorman } 1430748446bbSMel Gorman 1431d53aea3dSDavid Rientjes err = migrate_pages(&cc->migratepages, compaction_alloc, 1432e0b9daebSDavid Rientjes compaction_free, (unsigned long)cc, cc->mode, 14337b2a2d4aSMel Gorman MR_COMPACTION); 1434748446bbSMel Gorman 1435f8c9301fSVlastimil Babka trace_mm_compaction_migratepages(cc->nr_migratepages, err, 1436f8c9301fSVlastimil Babka &cc->migratepages); 1437748446bbSMel Gorman 1438f8c9301fSVlastimil Babka /* All pages were either migrated or will be released */ 1439f8c9301fSVlastimil Babka cc->nr_migratepages = 0; 14409d502c1cSMinchan Kim if (err) { 14415733c7d1SRafael Aquini putback_movable_pages(&cc->migratepages); 14427ed695e0SVlastimil Babka /* 14437ed695e0SVlastimil Babka * migrate_pages() may return -ENOMEM when scanners meet 14447ed695e0SVlastimil Babka * and we want compact_finished() to detect it 14457ed695e0SVlastimil Babka */ 1446f2849aa0SVlastimil Babka if (err == -ENOMEM && !compact_scanners_met(cc)) { 14472d1e1041SVlastimil Babka ret = COMPACT_CONTENDED; 14484bf2bba3SDavid Rientjes goto out; 1449748446bbSMel Gorman } 14504bf2bba3SDavid Rientjes } 1451fdaf7f5cSVlastimil Babka 1452fdaf7f5cSVlastimil Babka check_drain: 1453fdaf7f5cSVlastimil Babka /* 1454fdaf7f5cSVlastimil Babka * Has the migration scanner moved away from the previous 1455fdaf7f5cSVlastimil Babka * cc->order aligned block where we migrated from? If yes, 1456fdaf7f5cSVlastimil Babka * flush the pages that were freed, so that they can merge and 1457fdaf7f5cSVlastimil Babka * compact_finished() can detect immediately if allocation 1458fdaf7f5cSVlastimil Babka * would succeed. 1459fdaf7f5cSVlastimil Babka */ 14601a16718cSJoonsoo Kim if (cc->order > 0 && cc->last_migrated_pfn) { 1461fdaf7f5cSVlastimil Babka int cpu; 1462fdaf7f5cSVlastimil Babka unsigned long current_block_start = 1463fdaf7f5cSVlastimil Babka cc->migrate_pfn & ~((1UL << cc->order) - 1); 1464fdaf7f5cSVlastimil Babka 14651a16718cSJoonsoo Kim if (cc->last_migrated_pfn < current_block_start) { 1466fdaf7f5cSVlastimil Babka cpu = get_cpu(); 1467fdaf7f5cSVlastimil Babka lru_add_drain_cpu(cpu); 1468fdaf7f5cSVlastimil Babka drain_local_pages(zone); 1469fdaf7f5cSVlastimil Babka put_cpu(); 1470fdaf7f5cSVlastimil Babka /* No more flushing until we migrate again */ 14711a16718cSJoonsoo Kim cc->last_migrated_pfn = 0; 1472fdaf7f5cSVlastimil Babka } 1473fdaf7f5cSVlastimil Babka } 1474fdaf7f5cSVlastimil Babka 1475748446bbSMel Gorman } 1476748446bbSMel Gorman 1477f9e35b3bSMel Gorman out: 14786bace090SVlastimil Babka /* 14796bace090SVlastimil Babka * Release free pages and update where the free scanner should restart, 14806bace090SVlastimil Babka * so we don't leave any returned pages behind in the next attempt. 14816bace090SVlastimil Babka */ 14826bace090SVlastimil Babka if (cc->nr_freepages > 0) { 14836bace090SVlastimil Babka unsigned long free_pfn = release_freepages(&cc->freepages); 14846bace090SVlastimil Babka 14856bace090SVlastimil Babka cc->nr_freepages = 0; 14866bace090SVlastimil Babka VM_BUG_ON(free_pfn == 0); 14876bace090SVlastimil Babka /* The cached pfn is always the first in a pageblock */ 14886bace090SVlastimil Babka free_pfn &= ~(pageblock_nr_pages-1); 14896bace090SVlastimil Babka /* 14906bace090SVlastimil Babka * Only go back, not forward. The cached pfn might have been 14916bace090SVlastimil Babka * already reset to zone end in compact_finished() 14926bace090SVlastimil Babka */ 14936bace090SVlastimil Babka if (free_pfn > zone->compact_cached_free_pfn) 14946bace090SVlastimil Babka zone->compact_cached_free_pfn = free_pfn; 14956bace090SVlastimil Babka } 1496748446bbSMel Gorman 149716c4a097SJoonsoo Kim trace_mm_compaction_end(start_pfn, cc->migrate_pfn, 149816c4a097SJoonsoo Kim cc->free_pfn, end_pfn, sync, ret); 14990eb927c0SMel Gorman 15002d1e1041SVlastimil Babka if (ret == COMPACT_CONTENDED) 15012d1e1041SVlastimil Babka ret = COMPACT_PARTIAL; 15022d1e1041SVlastimil Babka 1503748446bbSMel Gorman return ret; 1504748446bbSMel Gorman } 150576ab0f53SMel Gorman 1506e0b9daebSDavid Rientjes static unsigned long compact_zone_order(struct zone *zone, int order, 1507ebff3980SVlastimil Babka gfp_t gfp_mask, enum migrate_mode mode, int *contended, 1508ebff3980SVlastimil Babka int alloc_flags, int classzone_idx) 150956de7263SMel Gorman { 1510e64c5237SShaohua Li unsigned long ret; 151156de7263SMel Gorman struct compact_control cc = { 151256de7263SMel Gorman .nr_freepages = 0, 151356de7263SMel Gorman .nr_migratepages = 0, 151456de7263SMel Gorman .order = order, 15156d7ce559SDavid Rientjes .gfp_mask = gfp_mask, 151656de7263SMel Gorman .zone = zone, 1517e0b9daebSDavid Rientjes .mode = mode, 1518ebff3980SVlastimil Babka .alloc_flags = alloc_flags, 1519ebff3980SVlastimil Babka .classzone_idx = classzone_idx, 152056de7263SMel Gorman }; 152156de7263SMel Gorman INIT_LIST_HEAD(&cc.freepages); 152256de7263SMel Gorman INIT_LIST_HEAD(&cc.migratepages); 152356de7263SMel Gorman 1524e64c5237SShaohua Li ret = compact_zone(zone, &cc); 1525e64c5237SShaohua Li 1526e64c5237SShaohua Li VM_BUG_ON(!list_empty(&cc.freepages)); 1527e64c5237SShaohua Li VM_BUG_ON(!list_empty(&cc.migratepages)); 1528e64c5237SShaohua Li 1529e64c5237SShaohua Li *contended = cc.contended; 1530e64c5237SShaohua Li return ret; 153156de7263SMel Gorman } 153256de7263SMel Gorman 15335e771905SMel Gorman int sysctl_extfrag_threshold = 500; 15345e771905SMel Gorman 153556de7263SMel Gorman /** 153656de7263SMel Gorman * try_to_compact_pages - Direct compact to satisfy a high-order allocation 153756de7263SMel Gorman * @gfp_mask: The GFP mask of the current allocation 15381a6d53a1SVlastimil Babka * @order: The order of the current allocation 15391a6d53a1SVlastimil Babka * @alloc_flags: The allocation flags of the current allocation 15401a6d53a1SVlastimil Babka * @ac: The context of current allocation 1541e0b9daebSDavid Rientjes * @mode: The migration mode for async, sync light, or sync migration 15421f9efdefSVlastimil Babka * @contended: Return value that determines if compaction was aborted due to 15431f9efdefSVlastimil Babka * need_resched() or lock contention 154456de7263SMel Gorman * 154556de7263SMel Gorman * This is the main entry point for direct page compaction. 154656de7263SMel Gorman */ 15471a6d53a1SVlastimil Babka unsigned long try_to_compact_pages(gfp_t gfp_mask, unsigned int order, 15481a6d53a1SVlastimil Babka int alloc_flags, const struct alloc_context *ac, 15491a6d53a1SVlastimil Babka enum migrate_mode mode, int *contended) 155056de7263SMel Gorman { 155156de7263SMel Gorman int may_enter_fs = gfp_mask & __GFP_FS; 155256de7263SMel Gorman int may_perform_io = gfp_mask & __GFP_IO; 155356de7263SMel Gorman struct zoneref *z; 155456de7263SMel Gorman struct zone *zone; 155553853e2dSVlastimil Babka int rc = COMPACT_DEFERRED; 15561f9efdefSVlastimil Babka int all_zones_contended = COMPACT_CONTENDED_LOCK; /* init for &= op */ 15571f9efdefSVlastimil Babka 15581f9efdefSVlastimil Babka *contended = COMPACT_CONTENDED_NONE; 155956de7263SMel Gorman 15604ffb6335SMel Gorman /* Check if the GFP flags allow compaction */ 1561c5a73c3dSAndrea Arcangeli if (!order || !may_enter_fs || !may_perform_io) 156253853e2dSVlastimil Babka return COMPACT_SKIPPED; 156356de7263SMel Gorman 1564837d026dSJoonsoo Kim trace_mm_compaction_try_to_compact_pages(order, gfp_mask, mode); 1565837d026dSJoonsoo Kim 156656de7263SMel Gorman /* Compact each zone in the list */ 15671a6d53a1SVlastimil Babka for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, ac->high_zoneidx, 15681a6d53a1SVlastimil Babka ac->nodemask) { 156956de7263SMel Gorman int status; 15701f9efdefSVlastimil Babka int zone_contended; 157156de7263SMel Gorman 157253853e2dSVlastimil Babka if (compaction_deferred(zone, order)) 157353853e2dSVlastimil Babka continue; 157453853e2dSVlastimil Babka 1575e0b9daebSDavid Rientjes status = compact_zone_order(zone, order, gfp_mask, mode, 15761a6d53a1SVlastimil Babka &zone_contended, alloc_flags, 15771a6d53a1SVlastimil Babka ac->classzone_idx); 157856de7263SMel Gorman rc = max(status, rc); 15791f9efdefSVlastimil Babka /* 15801f9efdefSVlastimil Babka * It takes at least one zone that wasn't lock contended 15811f9efdefSVlastimil Babka * to clear all_zones_contended. 15821f9efdefSVlastimil Babka */ 15831f9efdefSVlastimil Babka all_zones_contended &= zone_contended; 158456de7263SMel Gorman 15853e7d3449SMel Gorman /* If a normal allocation would succeed, stop compacting */ 1586ebff3980SVlastimil Babka if (zone_watermark_ok(zone, order, low_wmark_pages(zone), 15871a6d53a1SVlastimil Babka ac->classzone_idx, alloc_flags)) { 158853853e2dSVlastimil Babka /* 158953853e2dSVlastimil Babka * We think the allocation will succeed in this zone, 159053853e2dSVlastimil Babka * but it is not certain, hence the false. The caller 159153853e2dSVlastimil Babka * will repeat this with true if allocation indeed 159253853e2dSVlastimil Babka * succeeds in this zone. 159353853e2dSVlastimil Babka */ 159453853e2dSVlastimil Babka compaction_defer_reset(zone, order, false); 15951f9efdefSVlastimil Babka /* 15961f9efdefSVlastimil Babka * It is possible that async compaction aborted due to 15971f9efdefSVlastimil Babka * need_resched() and the watermarks were ok thanks to 15981f9efdefSVlastimil Babka * somebody else freeing memory. The allocation can 15991f9efdefSVlastimil Babka * however still fail so we better signal the 16001f9efdefSVlastimil Babka * need_resched() contention anyway (this will not 16011f9efdefSVlastimil Babka * prevent the allocation attempt). 16021f9efdefSVlastimil Babka */ 16031f9efdefSVlastimil Babka if (zone_contended == COMPACT_CONTENDED_SCHED) 16041f9efdefSVlastimil Babka *contended = COMPACT_CONTENDED_SCHED; 16051f9efdefSVlastimil Babka 16061f9efdefSVlastimil Babka goto break_loop; 16071f9efdefSVlastimil Babka } 16081f9efdefSVlastimil Babka 1609f8669795SVlastimil Babka if (mode != MIGRATE_ASYNC && status == COMPACT_COMPLETE) { 161053853e2dSVlastimil Babka /* 161153853e2dSVlastimil Babka * We think that allocation won't succeed in this zone 161253853e2dSVlastimil Babka * so we defer compaction there. If it ends up 161353853e2dSVlastimil Babka * succeeding after all, it will be reset. 161453853e2dSVlastimil Babka */ 161553853e2dSVlastimil Babka defer_compaction(zone, order); 161653853e2dSVlastimil Babka } 16171f9efdefSVlastimil Babka 16181f9efdefSVlastimil Babka /* 16191f9efdefSVlastimil Babka * We might have stopped compacting due to need_resched() in 16201f9efdefSVlastimil Babka * async compaction, or due to a fatal signal detected. In that 16211f9efdefSVlastimil Babka * case do not try further zones and signal need_resched() 16221f9efdefSVlastimil Babka * contention. 16231f9efdefSVlastimil Babka */ 16241f9efdefSVlastimil Babka if ((zone_contended == COMPACT_CONTENDED_SCHED) 16251f9efdefSVlastimil Babka || fatal_signal_pending(current)) { 16261f9efdefSVlastimil Babka *contended = COMPACT_CONTENDED_SCHED; 16271f9efdefSVlastimil Babka goto break_loop; 162856de7263SMel Gorman } 162956de7263SMel Gorman 16301f9efdefSVlastimil Babka continue; 16311f9efdefSVlastimil Babka break_loop: 16321f9efdefSVlastimil Babka /* 16331f9efdefSVlastimil Babka * We might not have tried all the zones, so be conservative 16341f9efdefSVlastimil Babka * and assume they are not all lock contended. 16351f9efdefSVlastimil Babka */ 16361f9efdefSVlastimil Babka all_zones_contended = 0; 16371f9efdefSVlastimil Babka break; 16381f9efdefSVlastimil Babka } 16391f9efdefSVlastimil Babka 16401f9efdefSVlastimil Babka /* 16411f9efdefSVlastimil Babka * If at least one zone wasn't deferred or skipped, we report if all 16421f9efdefSVlastimil Babka * zones that were tried were lock contended. 16431f9efdefSVlastimil Babka */ 16441f9efdefSVlastimil Babka if (rc > COMPACT_SKIPPED && all_zones_contended) 16451f9efdefSVlastimil Babka *contended = COMPACT_CONTENDED_LOCK; 16461f9efdefSVlastimil Babka 164756de7263SMel Gorman return rc; 164856de7263SMel Gorman } 164956de7263SMel Gorman 165056de7263SMel Gorman 165176ab0f53SMel Gorman /* Compact all zones within a node */ 16527103f16dSAndrew Morton static void __compact_pgdat(pg_data_t *pgdat, struct compact_control *cc) 165376ab0f53SMel Gorman { 165476ab0f53SMel Gorman int zoneid; 165576ab0f53SMel Gorman struct zone *zone; 165676ab0f53SMel Gorman 165776ab0f53SMel Gorman for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { 165876ab0f53SMel Gorman 165976ab0f53SMel Gorman zone = &pgdat->node_zones[zoneid]; 166076ab0f53SMel Gorman if (!populated_zone(zone)) 166176ab0f53SMel Gorman continue; 166276ab0f53SMel Gorman 16637be62de9SRik van Riel cc->nr_freepages = 0; 16647be62de9SRik van Riel cc->nr_migratepages = 0; 16657be62de9SRik van Riel cc->zone = zone; 16667be62de9SRik van Riel INIT_LIST_HEAD(&cc->freepages); 16677be62de9SRik van Riel INIT_LIST_HEAD(&cc->migratepages); 166876ab0f53SMel Gorman 1669195b0c60SGioh Kim /* 1670195b0c60SGioh Kim * When called via /proc/sys/vm/compact_memory 1671195b0c60SGioh Kim * this makes sure we compact the whole zone regardless of 1672195b0c60SGioh Kim * cached scanner positions. 1673195b0c60SGioh Kim */ 167421c527a3SYaowei Bai if (is_via_compact_memory(cc->order)) 1675195b0c60SGioh Kim __reset_isolation_suitable(zone); 1676195b0c60SGioh Kim 167721c527a3SYaowei Bai if (is_via_compact_memory(cc->order) || 167821c527a3SYaowei Bai !compaction_deferred(zone, cc->order)) 16797be62de9SRik van Riel compact_zone(zone, cc); 168076ab0f53SMel Gorman 168175469345SJoonsoo Kim VM_BUG_ON(!list_empty(&cc->freepages)); 168275469345SJoonsoo Kim VM_BUG_ON(!list_empty(&cc->migratepages)); 168375469345SJoonsoo Kim 168475469345SJoonsoo Kim if (is_via_compact_memory(cc->order)) 168575469345SJoonsoo Kim continue; 168675469345SJoonsoo Kim 1687de6c60a6SVlastimil Babka if (zone_watermark_ok(zone, cc->order, 1688de6c60a6SVlastimil Babka low_wmark_pages(zone), 0, 0)) 1689de6c60a6SVlastimil Babka compaction_defer_reset(zone, cc->order, false); 1690aff62249SRik van Riel } 169176ab0f53SMel Gorman } 169276ab0f53SMel Gorman 16937103f16dSAndrew Morton void compact_pgdat(pg_data_t *pgdat, int order) 16947be62de9SRik van Riel { 16957be62de9SRik van Riel struct compact_control cc = { 16967be62de9SRik van Riel .order = order, 1697e0b9daebSDavid Rientjes .mode = MIGRATE_ASYNC, 16987be62de9SRik van Riel }; 16997be62de9SRik van Riel 17003a7200afSMel Gorman if (!order) 17013a7200afSMel Gorman return; 17023a7200afSMel Gorman 17037103f16dSAndrew Morton __compact_pgdat(pgdat, &cc); 17047be62de9SRik van Riel } 17057be62de9SRik van Riel 17067103f16dSAndrew Morton static void compact_node(int nid) 17077be62de9SRik van Riel { 17087be62de9SRik van Riel struct compact_control cc = { 17097be62de9SRik van Riel .order = -1, 1710e0b9daebSDavid Rientjes .mode = MIGRATE_SYNC, 171191ca9186SDavid Rientjes .ignore_skip_hint = true, 17127be62de9SRik van Riel }; 17137be62de9SRik van Riel 17147103f16dSAndrew Morton __compact_pgdat(NODE_DATA(nid), &cc); 17157be62de9SRik van Riel } 17167be62de9SRik van Riel 171776ab0f53SMel Gorman /* Compact all nodes in the system */ 17187964c06dSJason Liu static void compact_nodes(void) 171976ab0f53SMel Gorman { 172076ab0f53SMel Gorman int nid; 172176ab0f53SMel Gorman 17228575ec29SHugh Dickins /* Flush pending updates to the LRU lists */ 17238575ec29SHugh Dickins lru_add_drain_all(); 17248575ec29SHugh Dickins 172576ab0f53SMel Gorman for_each_online_node(nid) 172676ab0f53SMel Gorman compact_node(nid); 172776ab0f53SMel Gorman } 172876ab0f53SMel Gorman 172976ab0f53SMel Gorman /* The written value is actually unused, all memory is compacted */ 173076ab0f53SMel Gorman int sysctl_compact_memory; 173176ab0f53SMel Gorman 1732fec4eb2cSYaowei Bai /* 1733fec4eb2cSYaowei Bai * This is the entry point for compacting all nodes via 1734fec4eb2cSYaowei Bai * /proc/sys/vm/compact_memory 1735fec4eb2cSYaowei Bai */ 173676ab0f53SMel Gorman int sysctl_compaction_handler(struct ctl_table *table, int write, 173776ab0f53SMel Gorman void __user *buffer, size_t *length, loff_t *ppos) 173876ab0f53SMel Gorman { 173976ab0f53SMel Gorman if (write) 17407964c06dSJason Liu compact_nodes(); 174176ab0f53SMel Gorman 174276ab0f53SMel Gorman return 0; 174376ab0f53SMel Gorman } 1744ed4a6d7fSMel Gorman 17455e771905SMel Gorman int sysctl_extfrag_handler(struct ctl_table *table, int write, 17465e771905SMel Gorman void __user *buffer, size_t *length, loff_t *ppos) 17475e771905SMel Gorman { 17485e771905SMel Gorman proc_dointvec_minmax(table, write, buffer, length, ppos); 17495e771905SMel Gorman 17505e771905SMel Gorman return 0; 17515e771905SMel Gorman } 17525e771905SMel Gorman 1753ed4a6d7fSMel Gorman #if defined(CONFIG_SYSFS) && defined(CONFIG_NUMA) 175474e77fb9SRashika Kheria static ssize_t sysfs_compact_node(struct device *dev, 175510fbcf4cSKay Sievers struct device_attribute *attr, 1756ed4a6d7fSMel Gorman const char *buf, size_t count) 1757ed4a6d7fSMel Gorman { 17588575ec29SHugh Dickins int nid = dev->id; 17598575ec29SHugh Dickins 17608575ec29SHugh Dickins if (nid >= 0 && nid < nr_node_ids && node_online(nid)) { 17618575ec29SHugh Dickins /* Flush pending updates to the LRU lists */ 17628575ec29SHugh Dickins lru_add_drain_all(); 17638575ec29SHugh Dickins 17648575ec29SHugh Dickins compact_node(nid); 17658575ec29SHugh Dickins } 1766ed4a6d7fSMel Gorman 1767ed4a6d7fSMel Gorman return count; 1768ed4a6d7fSMel Gorman } 176910fbcf4cSKay Sievers static DEVICE_ATTR(compact, S_IWUSR, NULL, sysfs_compact_node); 1770ed4a6d7fSMel Gorman 1771ed4a6d7fSMel Gorman int compaction_register_node(struct node *node) 1772ed4a6d7fSMel Gorman { 177310fbcf4cSKay Sievers return device_create_file(&node->dev, &dev_attr_compact); 1774ed4a6d7fSMel Gorman } 1775ed4a6d7fSMel Gorman 1776ed4a6d7fSMel Gorman void compaction_unregister_node(struct node *node) 1777ed4a6d7fSMel Gorman { 177810fbcf4cSKay Sievers return device_remove_file(&node->dev, &dev_attr_compact); 1779ed4a6d7fSMel Gorman } 1780ed4a6d7fSMel Gorman #endif /* CONFIG_SYSFS && CONFIG_NUMA */ 1781ff9543fdSMichal Nazarewicz 1782ff9543fdSMichal Nazarewicz #endif /* CONFIG_COMPACTION */ 1783