1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0 2748446bbSMel Gorman /* 3748446bbSMel Gorman * linux/mm/compaction.c 4748446bbSMel Gorman * 5748446bbSMel Gorman * Memory compaction for the reduction of external fragmentation. Note that 6748446bbSMel Gorman * this heavily depends upon page migration to do all the real heavy 7748446bbSMel Gorman * lifting 8748446bbSMel Gorman * 9748446bbSMel Gorman * Copyright IBM Corp. 2007-2010 Mel Gorman <mel@csn.ul.ie> 10748446bbSMel Gorman */ 11698b1b30SVlastimil Babka #include <linux/cpu.h> 12748446bbSMel Gorman #include <linux/swap.h> 13748446bbSMel Gorman #include <linux/migrate.h> 14748446bbSMel Gorman #include <linux/compaction.h> 15748446bbSMel Gorman #include <linux/mm_inline.h> 16174cd4b1SIngo Molnar #include <linux/sched/signal.h> 17748446bbSMel Gorman #include <linux/backing-dev.h> 1876ab0f53SMel Gorman #include <linux/sysctl.h> 19ed4a6d7fSMel Gorman #include <linux/sysfs.h> 20194159fbSMinchan Kim #include <linux/page-isolation.h> 21b8c73fc2SAndrey Ryabinin #include <linux/kasan.h> 22698b1b30SVlastimil Babka #include <linux/kthread.h> 23698b1b30SVlastimil Babka #include <linux/freezer.h> 2483358eceSJoonsoo Kim #include <linux/page_owner.h> 25eb414681SJohannes Weiner #include <linux/psi.h> 26748446bbSMel Gorman #include "internal.h" 27748446bbSMel Gorman 28010fc29aSMinchan Kim #ifdef CONFIG_COMPACTION 29010fc29aSMinchan Kim static inline void count_compact_event(enum vm_event_item item) 30010fc29aSMinchan Kim { 31010fc29aSMinchan Kim count_vm_event(item); 32010fc29aSMinchan Kim } 33010fc29aSMinchan Kim 34010fc29aSMinchan Kim static inline void count_compact_events(enum vm_event_item item, long delta) 35010fc29aSMinchan Kim { 36010fc29aSMinchan Kim count_vm_events(item, delta); 37010fc29aSMinchan Kim } 38010fc29aSMinchan Kim #else 39010fc29aSMinchan Kim #define count_compact_event(item) do { } while (0) 40010fc29aSMinchan Kim #define count_compact_events(item, delta) do { } while (0) 41010fc29aSMinchan Kim #endif 42010fc29aSMinchan Kim 43ff9543fdSMichal Nazarewicz #if defined CONFIG_COMPACTION || defined CONFIG_CMA 44ff9543fdSMichal Nazarewicz 45b7aba698SMel Gorman #define CREATE_TRACE_POINTS 46b7aba698SMel Gorman #include <trace/events/compaction.h> 47b7aba698SMel Gorman 4806b6640aSVlastimil Babka #define block_start_pfn(pfn, order) round_down(pfn, 1UL << (order)) 4906b6640aSVlastimil Babka #define block_end_pfn(pfn, order) ALIGN((pfn) + 1, 1UL << (order)) 5006b6640aSVlastimil Babka #define pageblock_start_pfn(pfn) block_start_pfn(pfn, pageblock_order) 5106b6640aSVlastimil Babka #define pageblock_end_pfn(pfn) block_end_pfn(pfn, pageblock_order) 5206b6640aSVlastimil Babka 53facdaa91SNitin Gupta /* 54facdaa91SNitin Gupta * Fragmentation score check interval for proactive compaction purposes. 55facdaa91SNitin Gupta */ 56d34c0a75SNitin Gupta static const unsigned int HPAGE_FRAG_CHECK_INTERVAL_MSEC = 500; 57facdaa91SNitin Gupta 58facdaa91SNitin Gupta /* 59facdaa91SNitin Gupta * Page order with-respect-to which proactive compaction 60facdaa91SNitin Gupta * calculates external fragmentation, which is used as 61facdaa91SNitin Gupta * the "fragmentation score" of a node/zone. 62facdaa91SNitin Gupta */ 63facdaa91SNitin Gupta #if defined CONFIG_TRANSPARENT_HUGEPAGE 64facdaa91SNitin Gupta #define COMPACTION_HPAGE_ORDER HPAGE_PMD_ORDER 6525788738SNitin Gupta #elif defined CONFIG_HUGETLBFS 66facdaa91SNitin Gupta #define COMPACTION_HPAGE_ORDER HUGETLB_PAGE_ORDER 67facdaa91SNitin Gupta #else 68facdaa91SNitin Gupta #define COMPACTION_HPAGE_ORDER (PMD_SHIFT - PAGE_SHIFT) 69facdaa91SNitin Gupta #endif 70facdaa91SNitin Gupta 71748446bbSMel Gorman static unsigned long release_freepages(struct list_head *freelist) 72748446bbSMel Gorman { 73748446bbSMel Gorman struct page *page, *next; 746bace090SVlastimil Babka unsigned long high_pfn = 0; 75748446bbSMel Gorman 76748446bbSMel Gorman list_for_each_entry_safe(page, next, freelist, lru) { 776bace090SVlastimil Babka unsigned long pfn = page_to_pfn(page); 78748446bbSMel Gorman list_del(&page->lru); 79748446bbSMel Gorman __free_page(page); 806bace090SVlastimil Babka if (pfn > high_pfn) 816bace090SVlastimil Babka high_pfn = pfn; 82748446bbSMel Gorman } 83748446bbSMel Gorman 846bace090SVlastimil Babka return high_pfn; 85748446bbSMel Gorman } 86748446bbSMel Gorman 874469ab98SMel Gorman static void split_map_pages(struct list_head *list) 88ff9543fdSMichal Nazarewicz { 8966c64223SJoonsoo Kim unsigned int i, order, nr_pages; 9066c64223SJoonsoo Kim struct page *page, *next; 9166c64223SJoonsoo Kim LIST_HEAD(tmp_list); 92ff9543fdSMichal Nazarewicz 9366c64223SJoonsoo Kim list_for_each_entry_safe(page, next, list, lru) { 9466c64223SJoonsoo Kim list_del(&page->lru); 9566c64223SJoonsoo Kim 9666c64223SJoonsoo Kim order = page_private(page); 9766c64223SJoonsoo Kim nr_pages = 1 << order; 9866c64223SJoonsoo Kim 9946f24fd8SJoonsoo Kim post_alloc_hook(page, order, __GFP_MOVABLE); 10066c64223SJoonsoo Kim if (order) 10166c64223SJoonsoo Kim split_page(page, order); 10266c64223SJoonsoo Kim 10366c64223SJoonsoo Kim for (i = 0; i < nr_pages; i++) { 10466c64223SJoonsoo Kim list_add(&page->lru, &tmp_list); 10566c64223SJoonsoo Kim page++; 106ff9543fdSMichal Nazarewicz } 107ff9543fdSMichal Nazarewicz } 108ff9543fdSMichal Nazarewicz 10966c64223SJoonsoo Kim list_splice(&tmp_list, list); 11066c64223SJoonsoo Kim } 11166c64223SJoonsoo Kim 112bb13ffebSMel Gorman #ifdef CONFIG_COMPACTION 11324e2716fSJoonsoo Kim 114bda807d4SMinchan Kim int PageMovable(struct page *page) 115bda807d4SMinchan Kim { 116bda807d4SMinchan Kim struct address_space *mapping; 117bda807d4SMinchan Kim 118bda807d4SMinchan Kim VM_BUG_ON_PAGE(!PageLocked(page), page); 119bda807d4SMinchan Kim if (!__PageMovable(page)) 120bda807d4SMinchan Kim return 0; 121bda807d4SMinchan Kim 122bda807d4SMinchan Kim mapping = page_mapping(page); 123bda807d4SMinchan Kim if (mapping && mapping->a_ops && mapping->a_ops->isolate_page) 124bda807d4SMinchan Kim return 1; 125bda807d4SMinchan Kim 126bda807d4SMinchan Kim return 0; 127bda807d4SMinchan Kim } 128bda807d4SMinchan Kim EXPORT_SYMBOL(PageMovable); 129bda807d4SMinchan Kim 130bda807d4SMinchan Kim void __SetPageMovable(struct page *page, struct address_space *mapping) 131bda807d4SMinchan Kim { 132bda807d4SMinchan Kim VM_BUG_ON_PAGE(!PageLocked(page), page); 133bda807d4SMinchan Kim VM_BUG_ON_PAGE((unsigned long)mapping & PAGE_MAPPING_MOVABLE, page); 134bda807d4SMinchan Kim page->mapping = (void *)((unsigned long)mapping | PAGE_MAPPING_MOVABLE); 135bda807d4SMinchan Kim } 136bda807d4SMinchan Kim EXPORT_SYMBOL(__SetPageMovable); 137bda807d4SMinchan Kim 138bda807d4SMinchan Kim void __ClearPageMovable(struct page *page) 139bda807d4SMinchan Kim { 140bda807d4SMinchan Kim VM_BUG_ON_PAGE(!PageMovable(page), page); 141bda807d4SMinchan Kim /* 142bda807d4SMinchan Kim * Clear registered address_space val with keeping PAGE_MAPPING_MOVABLE 143bda807d4SMinchan Kim * flag so that VM can catch up released page by driver after isolation. 144bda807d4SMinchan Kim * With it, VM migration doesn't try to put it back. 145bda807d4SMinchan Kim */ 146bda807d4SMinchan Kim page->mapping = (void *)((unsigned long)page->mapping & 147bda807d4SMinchan Kim PAGE_MAPPING_MOVABLE); 148bda807d4SMinchan Kim } 149bda807d4SMinchan Kim EXPORT_SYMBOL(__ClearPageMovable); 150bda807d4SMinchan Kim 15124e2716fSJoonsoo Kim /* Do not skip compaction more than 64 times */ 15224e2716fSJoonsoo Kim #define COMPACT_MAX_DEFER_SHIFT 6 15324e2716fSJoonsoo Kim 15424e2716fSJoonsoo Kim /* 15524e2716fSJoonsoo Kim * Compaction is deferred when compaction fails to result in a page 156860b3272SAlex Shi * allocation success. 1 << compact_defer_shift, compactions are skipped up 15724e2716fSJoonsoo Kim * to a limit of 1 << COMPACT_MAX_DEFER_SHIFT 15824e2716fSJoonsoo Kim */ 1592271b016SHui Su static void defer_compaction(struct zone *zone, int order) 16024e2716fSJoonsoo Kim { 16124e2716fSJoonsoo Kim zone->compact_considered = 0; 16224e2716fSJoonsoo Kim zone->compact_defer_shift++; 16324e2716fSJoonsoo Kim 16424e2716fSJoonsoo Kim if (order < zone->compact_order_failed) 16524e2716fSJoonsoo Kim zone->compact_order_failed = order; 16624e2716fSJoonsoo Kim 16724e2716fSJoonsoo Kim if (zone->compact_defer_shift > COMPACT_MAX_DEFER_SHIFT) 16824e2716fSJoonsoo Kim zone->compact_defer_shift = COMPACT_MAX_DEFER_SHIFT; 16924e2716fSJoonsoo Kim 17024e2716fSJoonsoo Kim trace_mm_compaction_defer_compaction(zone, order); 17124e2716fSJoonsoo Kim } 17224e2716fSJoonsoo Kim 17324e2716fSJoonsoo Kim /* Returns true if compaction should be skipped this time */ 1742271b016SHui Su static bool compaction_deferred(struct zone *zone, int order) 17524e2716fSJoonsoo Kim { 17624e2716fSJoonsoo Kim unsigned long defer_limit = 1UL << zone->compact_defer_shift; 17724e2716fSJoonsoo Kim 17824e2716fSJoonsoo Kim if (order < zone->compact_order_failed) 17924e2716fSJoonsoo Kim return false; 18024e2716fSJoonsoo Kim 18124e2716fSJoonsoo Kim /* Avoid possible overflow */ 18262b35fe0SMateusz Nosek if (++zone->compact_considered >= defer_limit) { 18324e2716fSJoonsoo Kim zone->compact_considered = defer_limit; 18424e2716fSJoonsoo Kim return false; 18562b35fe0SMateusz Nosek } 18624e2716fSJoonsoo Kim 18724e2716fSJoonsoo Kim trace_mm_compaction_deferred(zone, order); 18824e2716fSJoonsoo Kim 18924e2716fSJoonsoo Kim return true; 19024e2716fSJoonsoo Kim } 19124e2716fSJoonsoo Kim 19224e2716fSJoonsoo Kim /* 19324e2716fSJoonsoo Kim * Update defer tracking counters after successful compaction of given order, 19424e2716fSJoonsoo Kim * which means an allocation either succeeded (alloc_success == true) or is 19524e2716fSJoonsoo Kim * expected to succeed. 19624e2716fSJoonsoo Kim */ 19724e2716fSJoonsoo Kim void compaction_defer_reset(struct zone *zone, int order, 19824e2716fSJoonsoo Kim bool alloc_success) 19924e2716fSJoonsoo Kim { 20024e2716fSJoonsoo Kim if (alloc_success) { 20124e2716fSJoonsoo Kim zone->compact_considered = 0; 20224e2716fSJoonsoo Kim zone->compact_defer_shift = 0; 20324e2716fSJoonsoo Kim } 20424e2716fSJoonsoo Kim if (order >= zone->compact_order_failed) 20524e2716fSJoonsoo Kim zone->compact_order_failed = order + 1; 20624e2716fSJoonsoo Kim 20724e2716fSJoonsoo Kim trace_mm_compaction_defer_reset(zone, order); 20824e2716fSJoonsoo Kim } 20924e2716fSJoonsoo Kim 21024e2716fSJoonsoo Kim /* Returns true if restarting compaction after many failures */ 2112271b016SHui Su static bool compaction_restarting(struct zone *zone, int order) 21224e2716fSJoonsoo Kim { 21324e2716fSJoonsoo Kim if (order < zone->compact_order_failed) 21424e2716fSJoonsoo Kim return false; 21524e2716fSJoonsoo Kim 21624e2716fSJoonsoo Kim return zone->compact_defer_shift == COMPACT_MAX_DEFER_SHIFT && 21724e2716fSJoonsoo Kim zone->compact_considered >= 1UL << zone->compact_defer_shift; 21824e2716fSJoonsoo Kim } 21924e2716fSJoonsoo Kim 220bb13ffebSMel Gorman /* Returns true if the pageblock should be scanned for pages to isolate. */ 221bb13ffebSMel Gorman static inline bool isolation_suitable(struct compact_control *cc, 222bb13ffebSMel Gorman struct page *page) 223bb13ffebSMel Gorman { 224bb13ffebSMel Gorman if (cc->ignore_skip_hint) 225bb13ffebSMel Gorman return true; 226bb13ffebSMel Gorman 227bb13ffebSMel Gorman return !get_pageblock_skip(page); 228bb13ffebSMel Gorman } 229bb13ffebSMel Gorman 23002333641SVlastimil Babka static void reset_cached_positions(struct zone *zone) 23102333641SVlastimil Babka { 23202333641SVlastimil Babka zone->compact_cached_migrate_pfn[0] = zone->zone_start_pfn; 23302333641SVlastimil Babka zone->compact_cached_migrate_pfn[1] = zone->zone_start_pfn; 234623446e4SJoonsoo Kim zone->compact_cached_free_pfn = 23506b6640aSVlastimil Babka pageblock_start_pfn(zone_end_pfn(zone) - 1); 23602333641SVlastimil Babka } 23702333641SVlastimil Babka 238bb13ffebSMel Gorman /* 2392271b016SHui Su * Compound pages of >= pageblock_order should consistently be skipped until 240b527cfe5SVlastimil Babka * released. It is always pointless to compact pages of such order (if they are 241b527cfe5SVlastimil Babka * migratable), and the pageblocks they occupy cannot contain any free pages. 24221dc7e02SDavid Rientjes */ 243b527cfe5SVlastimil Babka static bool pageblock_skip_persistent(struct page *page) 24421dc7e02SDavid Rientjes { 245b527cfe5SVlastimil Babka if (!PageCompound(page)) 24621dc7e02SDavid Rientjes return false; 247b527cfe5SVlastimil Babka 248b527cfe5SVlastimil Babka page = compound_head(page); 249b527cfe5SVlastimil Babka 250b527cfe5SVlastimil Babka if (compound_order(page) >= pageblock_order) 25121dc7e02SDavid Rientjes return true; 252b527cfe5SVlastimil Babka 253b527cfe5SVlastimil Babka return false; 25421dc7e02SDavid Rientjes } 25521dc7e02SDavid Rientjes 256e332f741SMel Gorman static bool 257e332f741SMel Gorman __reset_isolation_pfn(struct zone *zone, unsigned long pfn, bool check_source, 258e332f741SMel Gorman bool check_target) 259e332f741SMel Gorman { 260e332f741SMel Gorman struct page *page = pfn_to_online_page(pfn); 2616b0868c8SMel Gorman struct page *block_page; 262e332f741SMel Gorman struct page *end_page; 263e332f741SMel Gorman unsigned long block_pfn; 264e332f741SMel Gorman 265e332f741SMel Gorman if (!page) 266e332f741SMel Gorman return false; 267e332f741SMel Gorman if (zone != page_zone(page)) 268e332f741SMel Gorman return false; 269e332f741SMel Gorman if (pageblock_skip_persistent(page)) 270e332f741SMel Gorman return false; 271e332f741SMel Gorman 272e332f741SMel Gorman /* 273e332f741SMel Gorman * If skip is already cleared do no further checking once the 274e332f741SMel Gorman * restart points have been set. 275e332f741SMel Gorman */ 276e332f741SMel Gorman if (check_source && check_target && !get_pageblock_skip(page)) 277e332f741SMel Gorman return true; 278e332f741SMel Gorman 279e332f741SMel Gorman /* 280e332f741SMel Gorman * If clearing skip for the target scanner, do not select a 281e332f741SMel Gorman * non-movable pageblock as the starting point. 282e332f741SMel Gorman */ 283e332f741SMel Gorman if (!check_source && check_target && 284e332f741SMel Gorman get_pageblock_migratetype(page) != MIGRATE_MOVABLE) 285e332f741SMel Gorman return false; 286e332f741SMel Gorman 2876b0868c8SMel Gorman /* Ensure the start of the pageblock or zone is online and valid */ 2886b0868c8SMel Gorman block_pfn = pageblock_start_pfn(pfn); 289a2e9a5afSVlastimil Babka block_pfn = max(block_pfn, zone->zone_start_pfn); 290a2e9a5afSVlastimil Babka block_page = pfn_to_online_page(block_pfn); 2916b0868c8SMel Gorman if (block_page) { 2926b0868c8SMel Gorman page = block_page; 2936b0868c8SMel Gorman pfn = block_pfn; 2946b0868c8SMel Gorman } 2956b0868c8SMel Gorman 2966b0868c8SMel Gorman /* Ensure the end of the pageblock or zone is online and valid */ 297a2e9a5afSVlastimil Babka block_pfn = pageblock_end_pfn(pfn) - 1; 2986b0868c8SMel Gorman block_pfn = min(block_pfn, zone_end_pfn(zone) - 1); 2996b0868c8SMel Gorman end_page = pfn_to_online_page(block_pfn); 3006b0868c8SMel Gorman if (!end_page) 3016b0868c8SMel Gorman return false; 3026b0868c8SMel Gorman 303e332f741SMel Gorman /* 304e332f741SMel Gorman * Only clear the hint if a sample indicates there is either a 305e332f741SMel Gorman * free page or an LRU page in the block. One or other condition 306e332f741SMel Gorman * is necessary for the block to be a migration source/target. 307e332f741SMel Gorman */ 308e332f741SMel Gorman do { 309e332f741SMel Gorman if (pfn_valid_within(pfn)) { 310e332f741SMel Gorman if (check_source && PageLRU(page)) { 311e332f741SMel Gorman clear_pageblock_skip(page); 312e332f741SMel Gorman return true; 313e332f741SMel Gorman } 314e332f741SMel Gorman 315e332f741SMel Gorman if (check_target && PageBuddy(page)) { 316e332f741SMel Gorman clear_pageblock_skip(page); 317e332f741SMel Gorman return true; 318e332f741SMel Gorman } 319e332f741SMel Gorman } 320e332f741SMel Gorman 321e332f741SMel Gorman page += (1 << PAGE_ALLOC_COSTLY_ORDER); 322e332f741SMel Gorman pfn += (1 << PAGE_ALLOC_COSTLY_ORDER); 323a2e9a5afSVlastimil Babka } while (page <= end_page); 324e332f741SMel Gorman 325e332f741SMel Gorman return false; 326e332f741SMel Gorman } 327e332f741SMel Gorman 32821dc7e02SDavid Rientjes /* 329bb13ffebSMel Gorman * This function is called to clear all cached information on pageblocks that 330bb13ffebSMel Gorman * should be skipped for page isolation when the migrate and free page scanner 331bb13ffebSMel Gorman * meet. 332bb13ffebSMel Gorman */ 33362997027SMel Gorman static void __reset_isolation_suitable(struct zone *zone) 334bb13ffebSMel Gorman { 335e332f741SMel Gorman unsigned long migrate_pfn = zone->zone_start_pfn; 3366b0868c8SMel Gorman unsigned long free_pfn = zone_end_pfn(zone) - 1; 337e332f741SMel Gorman unsigned long reset_migrate = free_pfn; 338e332f741SMel Gorman unsigned long reset_free = migrate_pfn; 339e332f741SMel Gorman bool source_set = false; 340e332f741SMel Gorman bool free_set = false; 341e332f741SMel Gorman 342e332f741SMel Gorman if (!zone->compact_blockskip_flush) 343e332f741SMel Gorman return; 344bb13ffebSMel Gorman 34562997027SMel Gorman zone->compact_blockskip_flush = false; 346bb13ffebSMel Gorman 347e332f741SMel Gorman /* 348e332f741SMel Gorman * Walk the zone and update pageblock skip information. Source looks 349e332f741SMel Gorman * for PageLRU while target looks for PageBuddy. When the scanner 350e332f741SMel Gorman * is found, both PageBuddy and PageLRU are checked as the pageblock 351e332f741SMel Gorman * is suitable as both source and target. 352e332f741SMel Gorman */ 353e332f741SMel Gorman for (; migrate_pfn < free_pfn; migrate_pfn += pageblock_nr_pages, 354e332f741SMel Gorman free_pfn -= pageblock_nr_pages) { 355bb13ffebSMel Gorman cond_resched(); 356bb13ffebSMel Gorman 357e332f741SMel Gorman /* Update the migrate PFN */ 358e332f741SMel Gorman if (__reset_isolation_pfn(zone, migrate_pfn, true, source_set) && 359e332f741SMel Gorman migrate_pfn < reset_migrate) { 360e332f741SMel Gorman source_set = true; 361e332f741SMel Gorman reset_migrate = migrate_pfn; 362e332f741SMel Gorman zone->compact_init_migrate_pfn = reset_migrate; 363e332f741SMel Gorman zone->compact_cached_migrate_pfn[0] = reset_migrate; 364e332f741SMel Gorman zone->compact_cached_migrate_pfn[1] = reset_migrate; 365bb13ffebSMel Gorman } 36602333641SVlastimil Babka 367e332f741SMel Gorman /* Update the free PFN */ 368e332f741SMel Gorman if (__reset_isolation_pfn(zone, free_pfn, free_set, true) && 369e332f741SMel Gorman free_pfn > reset_free) { 370e332f741SMel Gorman free_set = true; 371e332f741SMel Gorman reset_free = free_pfn; 372e332f741SMel Gorman zone->compact_init_free_pfn = reset_free; 373e332f741SMel Gorman zone->compact_cached_free_pfn = reset_free; 374e332f741SMel Gorman } 375e332f741SMel Gorman } 376e332f741SMel Gorman 377e332f741SMel Gorman /* Leave no distance if no suitable block was reset */ 378e332f741SMel Gorman if (reset_migrate >= reset_free) { 379e332f741SMel Gorman zone->compact_cached_migrate_pfn[0] = migrate_pfn; 380e332f741SMel Gorman zone->compact_cached_migrate_pfn[1] = migrate_pfn; 381e332f741SMel Gorman zone->compact_cached_free_pfn = free_pfn; 382e332f741SMel Gorman } 383bb13ffebSMel Gorman } 384bb13ffebSMel Gorman 38562997027SMel Gorman void reset_isolation_suitable(pg_data_t *pgdat) 38662997027SMel Gorman { 38762997027SMel Gorman int zoneid; 38862997027SMel Gorman 38962997027SMel Gorman for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { 39062997027SMel Gorman struct zone *zone = &pgdat->node_zones[zoneid]; 39162997027SMel Gorman if (!populated_zone(zone)) 39262997027SMel Gorman continue; 39362997027SMel Gorman 39462997027SMel Gorman /* Only flush if a full compaction finished recently */ 39562997027SMel Gorman if (zone->compact_blockskip_flush) 39662997027SMel Gorman __reset_isolation_suitable(zone); 39762997027SMel Gorman } 39862997027SMel Gorman } 39962997027SMel Gorman 400bb13ffebSMel Gorman /* 401e380bebeSMel Gorman * Sets the pageblock skip bit if it was clear. Note that this is a hint as 402e380bebeSMel Gorman * locks are not required for read/writers. Returns true if it was already set. 403e380bebeSMel Gorman */ 404e380bebeSMel Gorman static bool test_and_set_skip(struct compact_control *cc, struct page *page, 405e380bebeSMel Gorman unsigned long pfn) 406e380bebeSMel Gorman { 407e380bebeSMel Gorman bool skip; 408e380bebeSMel Gorman 409e380bebeSMel Gorman /* Do no update if skip hint is being ignored */ 410e380bebeSMel Gorman if (cc->ignore_skip_hint) 411e380bebeSMel Gorman return false; 412e380bebeSMel Gorman 413e380bebeSMel Gorman if (!IS_ALIGNED(pfn, pageblock_nr_pages)) 414e380bebeSMel Gorman return false; 415e380bebeSMel Gorman 416e380bebeSMel Gorman skip = get_pageblock_skip(page); 417e380bebeSMel Gorman if (!skip && !cc->no_set_skip_hint) 418e380bebeSMel Gorman set_pageblock_skip(page); 419e380bebeSMel Gorman 420e380bebeSMel Gorman return skip; 421e380bebeSMel Gorman } 422e380bebeSMel Gorman 423e380bebeSMel Gorman static void update_cached_migrate(struct compact_control *cc, unsigned long pfn) 424e380bebeSMel Gorman { 425e380bebeSMel Gorman struct zone *zone = cc->zone; 426e380bebeSMel Gorman 427e380bebeSMel Gorman pfn = pageblock_end_pfn(pfn); 428e380bebeSMel Gorman 429e380bebeSMel Gorman /* Set for isolation rather than compaction */ 430e380bebeSMel Gorman if (cc->no_set_skip_hint) 431e380bebeSMel Gorman return; 432e380bebeSMel Gorman 433e380bebeSMel Gorman if (pfn > zone->compact_cached_migrate_pfn[0]) 434e380bebeSMel Gorman zone->compact_cached_migrate_pfn[0] = pfn; 435e380bebeSMel Gorman if (cc->mode != MIGRATE_ASYNC && 436e380bebeSMel Gorman pfn > zone->compact_cached_migrate_pfn[1]) 437e380bebeSMel Gorman zone->compact_cached_migrate_pfn[1] = pfn; 438e380bebeSMel Gorman } 439e380bebeSMel Gorman 440e380bebeSMel Gorman /* 441bb13ffebSMel Gorman * If no pages were isolated then mark this pageblock to be skipped in the 44262997027SMel Gorman * future. The information is later cleared by __reset_isolation_suitable(). 443bb13ffebSMel Gorman */ 444c89511abSMel Gorman static void update_pageblock_skip(struct compact_control *cc, 445d097a6f6SMel Gorman struct page *page, unsigned long pfn) 446bb13ffebSMel Gorman { 447c89511abSMel Gorman struct zone *zone = cc->zone; 4486815bf3fSJoonsoo Kim 4492583d671SVlastimil Babka if (cc->no_set_skip_hint) 4506815bf3fSJoonsoo Kim return; 4516815bf3fSJoonsoo Kim 452bb13ffebSMel Gorman if (!page) 453bb13ffebSMel Gorman return; 454bb13ffebSMel Gorman 455bb13ffebSMel Gorman set_pageblock_skip(page); 456c89511abSMel Gorman 45735979ef3SDavid Rientjes /* Update where async and sync compaction should restart */ 45835979ef3SDavid Rientjes if (pfn < zone->compact_cached_free_pfn) 459c89511abSMel Gorman zone->compact_cached_free_pfn = pfn; 460c89511abSMel Gorman } 461bb13ffebSMel Gorman #else 462bb13ffebSMel Gorman static inline bool isolation_suitable(struct compact_control *cc, 463bb13ffebSMel Gorman struct page *page) 464bb13ffebSMel Gorman { 465bb13ffebSMel Gorman return true; 466bb13ffebSMel Gorman } 467bb13ffebSMel Gorman 468b527cfe5SVlastimil Babka static inline bool pageblock_skip_persistent(struct page *page) 46921dc7e02SDavid Rientjes { 47021dc7e02SDavid Rientjes return false; 47121dc7e02SDavid Rientjes } 47221dc7e02SDavid Rientjes 47321dc7e02SDavid Rientjes static inline void update_pageblock_skip(struct compact_control *cc, 474d097a6f6SMel Gorman struct page *page, unsigned long pfn) 475bb13ffebSMel Gorman { 476bb13ffebSMel Gorman } 477e380bebeSMel Gorman 478e380bebeSMel Gorman static void update_cached_migrate(struct compact_control *cc, unsigned long pfn) 479e380bebeSMel Gorman { 480e380bebeSMel Gorman } 481e380bebeSMel Gorman 482e380bebeSMel Gorman static bool test_and_set_skip(struct compact_control *cc, struct page *page, 483e380bebeSMel Gorman unsigned long pfn) 484e380bebeSMel Gorman { 485e380bebeSMel Gorman return false; 486e380bebeSMel Gorman } 487bb13ffebSMel Gorman #endif /* CONFIG_COMPACTION */ 488bb13ffebSMel Gorman 4891f9efdefSVlastimil Babka /* 4908b44d279SVlastimil Babka * Compaction requires the taking of some coarse locks that are potentially 491cb2dcaf0SMel Gorman * very heavily contended. For async compaction, trylock and record if the 492cb2dcaf0SMel Gorman * lock is contended. The lock will still be acquired but compaction will 493cb2dcaf0SMel Gorman * abort when the current block is finished regardless of success rate. 494cb2dcaf0SMel Gorman * Sync compaction acquires the lock. 4958b44d279SVlastimil Babka * 496cb2dcaf0SMel Gorman * Always returns true which makes it easier to track lock state in callers. 4971f9efdefSVlastimil Babka */ 498cb2dcaf0SMel Gorman static bool compact_lock_irqsave(spinlock_t *lock, unsigned long *flags, 4998b44d279SVlastimil Babka struct compact_control *cc) 50077337edeSJules Irenge __acquires(lock) 5018b44d279SVlastimil Babka { 502cb2dcaf0SMel Gorman /* Track if the lock is contended in async mode */ 503cb2dcaf0SMel Gorman if (cc->mode == MIGRATE_ASYNC && !cc->contended) { 504cb2dcaf0SMel Gorman if (spin_trylock_irqsave(lock, *flags)) 505cb2dcaf0SMel Gorman return true; 506cb2dcaf0SMel Gorman 507c3486f53SVlastimil Babka cc->contended = true; 5088b44d279SVlastimil Babka } 5091f9efdefSVlastimil Babka 510cb2dcaf0SMel Gorman spin_lock_irqsave(lock, *flags); 5118b44d279SVlastimil Babka return true; 5122a1402aaSMel Gorman } 5132a1402aaSMel Gorman 51485aa125fSMichal Nazarewicz /* 515c67fe375SMel Gorman * Compaction requires the taking of some coarse locks that are potentially 5168b44d279SVlastimil Babka * very heavily contended. The lock should be periodically unlocked to avoid 5178b44d279SVlastimil Babka * having disabled IRQs for a long time, even when there is nobody waiting on 5188b44d279SVlastimil Babka * the lock. It might also be that allowing the IRQs will result in 5198b44d279SVlastimil Babka * need_resched() becoming true. If scheduling is needed, async compaction 5208b44d279SVlastimil Babka * aborts. Sync compaction schedules. 5218b44d279SVlastimil Babka * Either compaction type will also abort if a fatal signal is pending. 5228b44d279SVlastimil Babka * In either case if the lock was locked, it is dropped and not regained. 523c67fe375SMel Gorman * 5248b44d279SVlastimil Babka * Returns true if compaction should abort due to fatal signal pending, or 5258b44d279SVlastimil Babka * async compaction due to need_resched() 5268b44d279SVlastimil Babka * Returns false when compaction can continue (sync compaction might have 5278b44d279SVlastimil Babka * scheduled) 528c67fe375SMel Gorman */ 5298b44d279SVlastimil Babka static bool compact_unlock_should_abort(spinlock_t *lock, 5308b44d279SVlastimil Babka unsigned long flags, bool *locked, struct compact_control *cc) 531c67fe375SMel Gorman { 5328b44d279SVlastimil Babka if (*locked) { 5338b44d279SVlastimil Babka spin_unlock_irqrestore(lock, flags); 5348b44d279SVlastimil Babka *locked = false; 535c67fe375SMel Gorman } 536c67fe375SMel Gorman 5378b44d279SVlastimil Babka if (fatal_signal_pending(current)) { 538c3486f53SVlastimil Babka cc->contended = true; 5398b44d279SVlastimil Babka return true; 5408b44d279SVlastimil Babka } 5418b44d279SVlastimil Babka 542cf66f070SMel Gorman cond_resched(); 543be976572SVlastimil Babka 544be976572SVlastimil Babka return false; 545be976572SVlastimil Babka } 546be976572SVlastimil Babka 547c67fe375SMel Gorman /* 5489e4be470SJerome Marchand * Isolate free pages onto a private freelist. If @strict is true, will abort 5499e4be470SJerome Marchand * returning 0 on any invalid PFNs or non-free pages inside of the pageblock 5509e4be470SJerome Marchand * (even though it may still end up isolating some pages). 55185aa125fSMichal Nazarewicz */ 552f40d1e42SMel Gorman static unsigned long isolate_freepages_block(struct compact_control *cc, 553e14c720eSVlastimil Babka unsigned long *start_pfn, 55485aa125fSMichal Nazarewicz unsigned long end_pfn, 55585aa125fSMichal Nazarewicz struct list_head *freelist, 5564fca9730SMel Gorman unsigned int stride, 55785aa125fSMichal Nazarewicz bool strict) 558748446bbSMel Gorman { 559b7aba698SMel Gorman int nr_scanned = 0, total_isolated = 0; 560d097a6f6SMel Gorman struct page *cursor; 561b8b2d825SXiubo Li unsigned long flags = 0; 562f40d1e42SMel Gorman bool locked = false; 563e14c720eSVlastimil Babka unsigned long blockpfn = *start_pfn; 56466c64223SJoonsoo Kim unsigned int order; 565748446bbSMel Gorman 5664fca9730SMel Gorman /* Strict mode is for isolation, speed is secondary */ 5674fca9730SMel Gorman if (strict) 5684fca9730SMel Gorman stride = 1; 5694fca9730SMel Gorman 570748446bbSMel Gorman cursor = pfn_to_page(blockpfn); 571748446bbSMel Gorman 572f40d1e42SMel Gorman /* Isolate free pages. */ 5734fca9730SMel Gorman for (; blockpfn < end_pfn; blockpfn += stride, cursor += stride) { 57466c64223SJoonsoo Kim int isolated; 575748446bbSMel Gorman struct page *page = cursor; 576748446bbSMel Gorman 5778b44d279SVlastimil Babka /* 5788b44d279SVlastimil Babka * Periodically drop the lock (if held) regardless of its 5798b44d279SVlastimil Babka * contention, to give chance to IRQs. Abort if fatal signal 5808b44d279SVlastimil Babka * pending or async compaction detects need_resched() 5818b44d279SVlastimil Babka */ 5828b44d279SVlastimil Babka if (!(blockpfn % SWAP_CLUSTER_MAX) 5838b44d279SVlastimil Babka && compact_unlock_should_abort(&cc->zone->lock, flags, 5848b44d279SVlastimil Babka &locked, cc)) 5858b44d279SVlastimil Babka break; 5868b44d279SVlastimil Babka 587b7aba698SMel Gorman nr_scanned++; 588f40d1e42SMel Gorman if (!pfn_valid_within(blockpfn)) 5892af120bcSLaura Abbott goto isolate_fail; 5902af120bcSLaura Abbott 5919fcd6d2eSVlastimil Babka /* 5929fcd6d2eSVlastimil Babka * For compound pages such as THP and hugetlbfs, we can save 5939fcd6d2eSVlastimil Babka * potentially a lot of iterations if we skip them at once. 5949fcd6d2eSVlastimil Babka * The check is racy, but we can consider only valid values 5959fcd6d2eSVlastimil Babka * and the only danger is skipping too much. 5969fcd6d2eSVlastimil Babka */ 5979fcd6d2eSVlastimil Babka if (PageCompound(page)) { 59821dc7e02SDavid Rientjes const unsigned int order = compound_order(page); 5999fcd6d2eSVlastimil Babka 600d3c85badSVlastimil Babka if (likely(order < MAX_ORDER)) { 60121dc7e02SDavid Rientjes blockpfn += (1UL << order) - 1; 60221dc7e02SDavid Rientjes cursor += (1UL << order) - 1; 6039fcd6d2eSVlastimil Babka } 6049fcd6d2eSVlastimil Babka goto isolate_fail; 6059fcd6d2eSVlastimil Babka } 6069fcd6d2eSVlastimil Babka 607f40d1e42SMel Gorman if (!PageBuddy(page)) 6082af120bcSLaura Abbott goto isolate_fail; 609f40d1e42SMel Gorman 610f40d1e42SMel Gorman /* 61169b7189fSVlastimil Babka * If we already hold the lock, we can skip some rechecking. 61269b7189fSVlastimil Babka * Note that if we hold the lock now, checked_pageblock was 61369b7189fSVlastimil Babka * already set in some previous iteration (or strict is true), 61469b7189fSVlastimil Babka * so it is correct to skip the suitable migration target 61569b7189fSVlastimil Babka * recheck as well. 61669b7189fSVlastimil Babka */ 61769b7189fSVlastimil Babka if (!locked) { 618cb2dcaf0SMel Gorman locked = compact_lock_irqsave(&cc->zone->lock, 6198b44d279SVlastimil Babka &flags, cc); 620f40d1e42SMel Gorman 621f40d1e42SMel Gorman /* Recheck this is a buddy page under lock */ 622f40d1e42SMel Gorman if (!PageBuddy(page)) 6232af120bcSLaura Abbott goto isolate_fail; 62469b7189fSVlastimil Babka } 625748446bbSMel Gorman 62666c64223SJoonsoo Kim /* Found a free page, will break it into order-0 pages */ 627ab130f91SMatthew Wilcox (Oracle) order = buddy_order(page); 62866c64223SJoonsoo Kim isolated = __isolate_free_page(page, order); 629a4f04f2cSDavid Rientjes if (!isolated) 630a4f04f2cSDavid Rientjes break; 63166c64223SJoonsoo Kim set_page_private(page, order); 632a4f04f2cSDavid Rientjes 633748446bbSMel Gorman total_isolated += isolated; 634a4f04f2cSDavid Rientjes cc->nr_freepages += isolated; 63566c64223SJoonsoo Kim list_add_tail(&page->lru, freelist); 63666c64223SJoonsoo Kim 637a4f04f2cSDavid Rientjes if (!strict && cc->nr_migratepages <= cc->nr_freepages) { 638932ff6bbSJoonsoo Kim blockpfn += isolated; 639932ff6bbSJoonsoo Kim break; 640932ff6bbSJoonsoo Kim } 641a4f04f2cSDavid Rientjes /* Advance to the end of split page */ 642748446bbSMel Gorman blockpfn += isolated - 1; 643748446bbSMel Gorman cursor += isolated - 1; 6442af120bcSLaura Abbott continue; 6452af120bcSLaura Abbott 6462af120bcSLaura Abbott isolate_fail: 6472af120bcSLaura Abbott if (strict) 6482af120bcSLaura Abbott break; 6492af120bcSLaura Abbott else 6502af120bcSLaura Abbott continue; 6512af120bcSLaura Abbott 652748446bbSMel Gorman } 653748446bbSMel Gorman 654a4f04f2cSDavid Rientjes if (locked) 655a4f04f2cSDavid Rientjes spin_unlock_irqrestore(&cc->zone->lock, flags); 656a4f04f2cSDavid Rientjes 6579fcd6d2eSVlastimil Babka /* 6589fcd6d2eSVlastimil Babka * There is a tiny chance that we have read bogus compound_order(), 6599fcd6d2eSVlastimil Babka * so be careful to not go outside of the pageblock. 6609fcd6d2eSVlastimil Babka */ 6619fcd6d2eSVlastimil Babka if (unlikely(blockpfn > end_pfn)) 6629fcd6d2eSVlastimil Babka blockpfn = end_pfn; 6639fcd6d2eSVlastimil Babka 664e34d85f0SJoonsoo Kim trace_mm_compaction_isolate_freepages(*start_pfn, blockpfn, 665e34d85f0SJoonsoo Kim nr_scanned, total_isolated); 666e34d85f0SJoonsoo Kim 667e14c720eSVlastimil Babka /* Record how far we have got within the block */ 668e14c720eSVlastimil Babka *start_pfn = blockpfn; 669e14c720eSVlastimil Babka 670f40d1e42SMel Gorman /* 671f40d1e42SMel Gorman * If strict isolation is requested by CMA then check that all the 672f40d1e42SMel Gorman * pages requested were isolated. If there were any failures, 0 is 673f40d1e42SMel Gorman * returned and CMA will fail. 674f40d1e42SMel Gorman */ 6752af120bcSLaura Abbott if (strict && blockpfn < end_pfn) 676f40d1e42SMel Gorman total_isolated = 0; 677f40d1e42SMel Gorman 6787f354a54SDavid Rientjes cc->total_free_scanned += nr_scanned; 679397487dbSMel Gorman if (total_isolated) 680010fc29aSMinchan Kim count_compact_events(COMPACTISOLATED, total_isolated); 681748446bbSMel Gorman return total_isolated; 682748446bbSMel Gorman } 683748446bbSMel Gorman 68485aa125fSMichal Nazarewicz /** 68585aa125fSMichal Nazarewicz * isolate_freepages_range() - isolate free pages. 686e8b098fcSMike Rapoport * @cc: Compaction control structure. 68785aa125fSMichal Nazarewicz * @start_pfn: The first PFN to start isolating. 68885aa125fSMichal Nazarewicz * @end_pfn: The one-past-last PFN. 68985aa125fSMichal Nazarewicz * 69085aa125fSMichal Nazarewicz * Non-free pages, invalid PFNs, or zone boundaries within the 69185aa125fSMichal Nazarewicz * [start_pfn, end_pfn) range are considered errors, cause function to 69285aa125fSMichal Nazarewicz * undo its actions and return zero. 69385aa125fSMichal Nazarewicz * 69485aa125fSMichal Nazarewicz * Otherwise, function returns one-past-the-last PFN of isolated page 69585aa125fSMichal Nazarewicz * (which may be greater then end_pfn if end fell in a middle of 69685aa125fSMichal Nazarewicz * a free page). 69785aa125fSMichal Nazarewicz */ 698ff9543fdSMichal Nazarewicz unsigned long 699bb13ffebSMel Gorman isolate_freepages_range(struct compact_control *cc, 700bb13ffebSMel Gorman unsigned long start_pfn, unsigned long end_pfn) 70185aa125fSMichal Nazarewicz { 702e1409c32SJoonsoo Kim unsigned long isolated, pfn, block_start_pfn, block_end_pfn; 70385aa125fSMichal Nazarewicz LIST_HEAD(freelist); 70485aa125fSMichal Nazarewicz 7057d49d886SVlastimil Babka pfn = start_pfn; 70606b6640aSVlastimil Babka block_start_pfn = pageblock_start_pfn(pfn); 707e1409c32SJoonsoo Kim if (block_start_pfn < cc->zone->zone_start_pfn) 708e1409c32SJoonsoo Kim block_start_pfn = cc->zone->zone_start_pfn; 70906b6640aSVlastimil Babka block_end_pfn = pageblock_end_pfn(pfn); 7107d49d886SVlastimil Babka 7117d49d886SVlastimil Babka for (; pfn < end_pfn; pfn += isolated, 712e1409c32SJoonsoo Kim block_start_pfn = block_end_pfn, 7137d49d886SVlastimil Babka block_end_pfn += pageblock_nr_pages) { 714e14c720eSVlastimil Babka /* Protect pfn from changing by isolate_freepages_block */ 715e14c720eSVlastimil Babka unsigned long isolate_start_pfn = pfn; 7167d49d886SVlastimil Babka 71785aa125fSMichal Nazarewicz block_end_pfn = min(block_end_pfn, end_pfn); 71885aa125fSMichal Nazarewicz 71958420016SJoonsoo Kim /* 72058420016SJoonsoo Kim * pfn could pass the block_end_pfn if isolated freepage 72158420016SJoonsoo Kim * is more than pageblock order. In this case, we adjust 72258420016SJoonsoo Kim * scanning range to right one. 72358420016SJoonsoo Kim */ 72458420016SJoonsoo Kim if (pfn >= block_end_pfn) { 72506b6640aSVlastimil Babka block_start_pfn = pageblock_start_pfn(pfn); 72606b6640aSVlastimil Babka block_end_pfn = pageblock_end_pfn(pfn); 72758420016SJoonsoo Kim block_end_pfn = min(block_end_pfn, end_pfn); 72858420016SJoonsoo Kim } 72958420016SJoonsoo Kim 730e1409c32SJoonsoo Kim if (!pageblock_pfn_to_page(block_start_pfn, 731e1409c32SJoonsoo Kim block_end_pfn, cc->zone)) 7327d49d886SVlastimil Babka break; 7337d49d886SVlastimil Babka 734e14c720eSVlastimil Babka isolated = isolate_freepages_block(cc, &isolate_start_pfn, 7354fca9730SMel Gorman block_end_pfn, &freelist, 0, true); 73685aa125fSMichal Nazarewicz 73785aa125fSMichal Nazarewicz /* 73885aa125fSMichal Nazarewicz * In strict mode, isolate_freepages_block() returns 0 if 73985aa125fSMichal Nazarewicz * there are any holes in the block (ie. invalid PFNs or 74085aa125fSMichal Nazarewicz * non-free pages). 74185aa125fSMichal Nazarewicz */ 74285aa125fSMichal Nazarewicz if (!isolated) 74385aa125fSMichal Nazarewicz break; 74485aa125fSMichal Nazarewicz 74585aa125fSMichal Nazarewicz /* 74685aa125fSMichal Nazarewicz * If we managed to isolate pages, it is always (1 << n) * 74785aa125fSMichal Nazarewicz * pageblock_nr_pages for some non-negative n. (Max order 74885aa125fSMichal Nazarewicz * page may span two pageblocks). 74985aa125fSMichal Nazarewicz */ 75085aa125fSMichal Nazarewicz } 75185aa125fSMichal Nazarewicz 75266c64223SJoonsoo Kim /* __isolate_free_page() does not map the pages */ 7534469ab98SMel Gorman split_map_pages(&freelist); 75485aa125fSMichal Nazarewicz 75585aa125fSMichal Nazarewicz if (pfn < end_pfn) { 75685aa125fSMichal Nazarewicz /* Loop terminated early, cleanup. */ 75785aa125fSMichal Nazarewicz release_freepages(&freelist); 75885aa125fSMichal Nazarewicz return 0; 75985aa125fSMichal Nazarewicz } 76085aa125fSMichal Nazarewicz 76185aa125fSMichal Nazarewicz /* We don't use freelists for anything. */ 76285aa125fSMichal Nazarewicz return pfn; 76385aa125fSMichal Nazarewicz } 76485aa125fSMichal Nazarewicz 765748446bbSMel Gorman /* Similar to reclaim, but different enough that they don't share logic */ 7665f438eeeSAndrey Ryabinin static bool too_many_isolated(pg_data_t *pgdat) 767748446bbSMel Gorman { 768bc693045SMinchan Kim unsigned long active, inactive, isolated; 769748446bbSMel Gorman 7705f438eeeSAndrey Ryabinin inactive = node_page_state(pgdat, NR_INACTIVE_FILE) + 7715f438eeeSAndrey Ryabinin node_page_state(pgdat, NR_INACTIVE_ANON); 7725f438eeeSAndrey Ryabinin active = node_page_state(pgdat, NR_ACTIVE_FILE) + 7735f438eeeSAndrey Ryabinin node_page_state(pgdat, NR_ACTIVE_ANON); 7745f438eeeSAndrey Ryabinin isolated = node_page_state(pgdat, NR_ISOLATED_FILE) + 7755f438eeeSAndrey Ryabinin node_page_state(pgdat, NR_ISOLATED_ANON); 776748446bbSMel Gorman 777bc693045SMinchan Kim return isolated > (inactive + active) / 2; 778748446bbSMel Gorman } 779748446bbSMel Gorman 7802fe86e00SMichal Nazarewicz /** 781edc2ca61SVlastimil Babka * isolate_migratepages_block() - isolate all migrate-able pages within 782edc2ca61SVlastimil Babka * a single pageblock 7832fe86e00SMichal Nazarewicz * @cc: Compaction control structure. 784edc2ca61SVlastimil Babka * @low_pfn: The first PFN to isolate 785edc2ca61SVlastimil Babka * @end_pfn: The one-past-the-last PFN to isolate, within same pageblock 786edc2ca61SVlastimil Babka * @isolate_mode: Isolation mode to be used. 7872fe86e00SMichal Nazarewicz * 7882fe86e00SMichal Nazarewicz * Isolate all pages that can be migrated from the range specified by 789edc2ca61SVlastimil Babka * [low_pfn, end_pfn). The range is expected to be within same pageblock. 790c2ad7a1fSOscar Salvador * Returns errno, like -EAGAIN or -EINTR in case e.g signal pending or congestion, 791369fa227SOscar Salvador * -ENOMEM in case we could not allocate a page, or 0. 792c2ad7a1fSOscar Salvador * cc->migrate_pfn will contain the next pfn to scan. 7932fe86e00SMichal Nazarewicz * 794edc2ca61SVlastimil Babka * The pages are isolated on cc->migratepages list (not required to be empty), 795c2ad7a1fSOscar Salvador * and cc->nr_migratepages is updated accordingly. 796748446bbSMel Gorman */ 797c2ad7a1fSOscar Salvador static int 798edc2ca61SVlastimil Babka isolate_migratepages_block(struct compact_control *cc, unsigned long low_pfn, 799edc2ca61SVlastimil Babka unsigned long end_pfn, isolate_mode_t isolate_mode) 800748446bbSMel Gorman { 8015f438eeeSAndrey Ryabinin pg_data_t *pgdat = cc->zone->zone_pgdat; 802b7aba698SMel Gorman unsigned long nr_scanned = 0, nr_isolated = 0; 803fa9add64SHugh Dickins struct lruvec *lruvec; 804b8b2d825SXiubo Li unsigned long flags = 0; 8056168d0daSAlex Shi struct lruvec *locked = NULL; 806bb13ffebSMel Gorman struct page *page = NULL, *valid_page = NULL; 807e34d85f0SJoonsoo Kim unsigned long start_pfn = low_pfn; 808fdd048e1SVlastimil Babka bool skip_on_failure = false; 809fdd048e1SVlastimil Babka unsigned long next_skip_pfn = 0; 810e380bebeSMel Gorman bool skip_updated = false; 811c2ad7a1fSOscar Salvador int ret = 0; 812c2ad7a1fSOscar Salvador 813c2ad7a1fSOscar Salvador cc->migrate_pfn = low_pfn; 814748446bbSMel Gorman 815748446bbSMel Gorman /* 816748446bbSMel Gorman * Ensure that there are not too many pages isolated from the LRU 817748446bbSMel Gorman * list by either parallel reclaimers or compaction. If there are, 818748446bbSMel Gorman * delay for some time until fewer pages are isolated 819748446bbSMel Gorman */ 8205f438eeeSAndrey Ryabinin while (unlikely(too_many_isolated(pgdat))) { 821d20bdd57SZi Yan /* stop isolation if there are still pages not migrated */ 822d20bdd57SZi Yan if (cc->nr_migratepages) 823c2ad7a1fSOscar Salvador return -EAGAIN; 824d20bdd57SZi Yan 825f9e35b3bSMel Gorman /* async migration should just abort */ 826e0b9daebSDavid Rientjes if (cc->mode == MIGRATE_ASYNC) 827c2ad7a1fSOscar Salvador return -EAGAIN; 828f9e35b3bSMel Gorman 829748446bbSMel Gorman congestion_wait(BLK_RW_ASYNC, HZ/10); 830748446bbSMel Gorman 831748446bbSMel Gorman if (fatal_signal_pending(current)) 832c2ad7a1fSOscar Salvador return -EINTR; 833748446bbSMel Gorman } 834748446bbSMel Gorman 835cf66f070SMel Gorman cond_resched(); 836aeef4b83SDavid Rientjes 837fdd048e1SVlastimil Babka if (cc->direct_compaction && (cc->mode == MIGRATE_ASYNC)) { 838fdd048e1SVlastimil Babka skip_on_failure = true; 839fdd048e1SVlastimil Babka next_skip_pfn = block_end_pfn(low_pfn, cc->order); 840fdd048e1SVlastimil Babka } 841fdd048e1SVlastimil Babka 842748446bbSMel Gorman /* Time to isolate some pages for migration */ 843748446bbSMel Gorman for (; low_pfn < end_pfn; low_pfn++) { 84429c0dde8SVlastimil Babka 845fdd048e1SVlastimil Babka if (skip_on_failure && low_pfn >= next_skip_pfn) { 846fdd048e1SVlastimil Babka /* 847fdd048e1SVlastimil Babka * We have isolated all migration candidates in the 848fdd048e1SVlastimil Babka * previous order-aligned block, and did not skip it due 849fdd048e1SVlastimil Babka * to failure. We should migrate the pages now and 850fdd048e1SVlastimil Babka * hopefully succeed compaction. 851fdd048e1SVlastimil Babka */ 852fdd048e1SVlastimil Babka if (nr_isolated) 853fdd048e1SVlastimil Babka break; 854fdd048e1SVlastimil Babka 855fdd048e1SVlastimil Babka /* 856fdd048e1SVlastimil Babka * We failed to isolate in the previous order-aligned 857fdd048e1SVlastimil Babka * block. Set the new boundary to the end of the 858fdd048e1SVlastimil Babka * current block. Note we can't simply increase 859fdd048e1SVlastimil Babka * next_skip_pfn by 1 << order, as low_pfn might have 860fdd048e1SVlastimil Babka * been incremented by a higher number due to skipping 861fdd048e1SVlastimil Babka * a compound or a high-order buddy page in the 862fdd048e1SVlastimil Babka * previous loop iteration. 863fdd048e1SVlastimil Babka */ 864fdd048e1SVlastimil Babka next_skip_pfn = block_end_pfn(low_pfn, cc->order); 865fdd048e1SVlastimil Babka } 866fdd048e1SVlastimil Babka 8678b44d279SVlastimil Babka /* 8688b44d279SVlastimil Babka * Periodically drop the lock (if held) regardless of its 869670105a2SMel Gorman * contention, to give chance to IRQs. Abort completely if 870670105a2SMel Gorman * a fatal signal is pending. 8718b44d279SVlastimil Babka */ 8726168d0daSAlex Shi if (!(low_pfn % SWAP_CLUSTER_MAX)) { 8736168d0daSAlex Shi if (locked) { 8746168d0daSAlex Shi unlock_page_lruvec_irqrestore(locked, flags); 8756168d0daSAlex Shi locked = NULL; 8766168d0daSAlex Shi } 8776168d0daSAlex Shi 8786168d0daSAlex Shi if (fatal_signal_pending(current)) { 8796168d0daSAlex Shi cc->contended = true; 880c2ad7a1fSOscar Salvador ret = -EINTR; 8816168d0daSAlex Shi 882670105a2SMel Gorman goto fatal_pending; 883670105a2SMel Gorman } 884b2eef8c0SAndrea Arcangeli 8856168d0daSAlex Shi cond_resched(); 8866168d0daSAlex Shi } 8876168d0daSAlex Shi 888748446bbSMel Gorman if (!pfn_valid_within(low_pfn)) 889fdd048e1SVlastimil Babka goto isolate_fail; 890b7aba698SMel Gorman nr_scanned++; 891748446bbSMel Gorman 892748446bbSMel Gorman page = pfn_to_page(low_pfn); 893dc908600SMel Gorman 894e380bebeSMel Gorman /* 895e380bebeSMel Gorman * Check if the pageblock has already been marked skipped. 896e380bebeSMel Gorman * Only the aligned PFN is checked as the caller isolates 897e380bebeSMel Gorman * COMPACT_CLUSTER_MAX at a time so the second call must 898e380bebeSMel Gorman * not falsely conclude that the block should be skipped. 899e380bebeSMel Gorman */ 900e380bebeSMel Gorman if (!valid_page && IS_ALIGNED(low_pfn, pageblock_nr_pages)) { 901e380bebeSMel Gorman if (!cc->ignore_skip_hint && get_pageblock_skip(page)) { 902e380bebeSMel Gorman low_pfn = end_pfn; 9039df41314SAlex Shi page = NULL; 904e380bebeSMel Gorman goto isolate_abort; 905e380bebeSMel Gorman } 906bb13ffebSMel Gorman valid_page = page; 907e380bebeSMel Gorman } 908bb13ffebSMel Gorman 909369fa227SOscar Salvador if (PageHuge(page) && cc->alloc_contig) { 910ae37c7ffSOscar Salvador ret = isolate_or_dissolve_huge_page(page, &cc->migratepages); 911369fa227SOscar Salvador 912369fa227SOscar Salvador /* 913369fa227SOscar Salvador * Fail isolation in case isolate_or_dissolve_huge_page() 914369fa227SOscar Salvador * reports an error. In case of -ENOMEM, abort right away. 915369fa227SOscar Salvador */ 916369fa227SOscar Salvador if (ret < 0) { 917369fa227SOscar Salvador /* Do not report -EBUSY down the chain */ 918369fa227SOscar Salvador if (ret == -EBUSY) 919369fa227SOscar Salvador ret = 0; 920369fa227SOscar Salvador low_pfn += (1UL << compound_order(page)) - 1; 921369fa227SOscar Salvador goto isolate_fail; 922369fa227SOscar Salvador } 923369fa227SOscar Salvador 924ae37c7ffSOscar Salvador if (PageHuge(page)) { 925ae37c7ffSOscar Salvador /* 926ae37c7ffSOscar Salvador * Hugepage was successfully isolated and placed 927ae37c7ffSOscar Salvador * on the cc->migratepages list. 928ae37c7ffSOscar Salvador */ 929ae37c7ffSOscar Salvador low_pfn += compound_nr(page) - 1; 930ae37c7ffSOscar Salvador goto isolate_success_no_list; 931ae37c7ffSOscar Salvador } 932ae37c7ffSOscar Salvador 933369fa227SOscar Salvador /* 934369fa227SOscar Salvador * Ok, the hugepage was dissolved. Now these pages are 935369fa227SOscar Salvador * Buddy and cannot be re-allocated because they are 936369fa227SOscar Salvador * isolated. Fall-through as the check below handles 937369fa227SOscar Salvador * Buddy pages. 938369fa227SOscar Salvador */ 939369fa227SOscar Salvador } 940369fa227SOscar Salvador 941c122b208SJoonsoo Kim /* 94299c0fd5eSVlastimil Babka * Skip if free. We read page order here without zone lock 94399c0fd5eSVlastimil Babka * which is generally unsafe, but the race window is small and 94499c0fd5eSVlastimil Babka * the worst thing that can happen is that we skip some 94599c0fd5eSVlastimil Babka * potential isolation targets. 9466c14466cSMel Gorman */ 94799c0fd5eSVlastimil Babka if (PageBuddy(page)) { 948ab130f91SMatthew Wilcox (Oracle) unsigned long freepage_order = buddy_order_unsafe(page); 94999c0fd5eSVlastimil Babka 95099c0fd5eSVlastimil Babka /* 95199c0fd5eSVlastimil Babka * Without lock, we cannot be sure that what we got is 95299c0fd5eSVlastimil Babka * a valid page order. Consider only values in the 95399c0fd5eSVlastimil Babka * valid order range to prevent low_pfn overflow. 95499c0fd5eSVlastimil Babka */ 95599c0fd5eSVlastimil Babka if (freepage_order > 0 && freepage_order < MAX_ORDER) 95699c0fd5eSVlastimil Babka low_pfn += (1UL << freepage_order) - 1; 957748446bbSMel Gorman continue; 95899c0fd5eSVlastimil Babka } 959748446bbSMel Gorman 9609927af74SMel Gorman /* 96129c0dde8SVlastimil Babka * Regardless of being on LRU, compound pages such as THP and 9621da2f328SRik van Riel * hugetlbfs are not to be compacted unless we are attempting 9631da2f328SRik van Riel * an allocation much larger than the huge page size (eg CMA). 9641da2f328SRik van Riel * We can potentially save a lot of iterations if we skip them 9651da2f328SRik van Riel * at once. The check is racy, but we can consider only valid 9661da2f328SRik van Riel * values and the only danger is skipping too much. 967bc835011SAndrea Arcangeli */ 9681da2f328SRik van Riel if (PageCompound(page) && !cc->alloc_contig) { 96921dc7e02SDavid Rientjes const unsigned int order = compound_order(page); 97029c0dde8SVlastimil Babka 971d3c85badSVlastimil Babka if (likely(order < MAX_ORDER)) 97221dc7e02SDavid Rientjes low_pfn += (1UL << order) - 1; 973fdd048e1SVlastimil Babka goto isolate_fail; 9742a1402aaSMel Gorman } 9752a1402aaSMel Gorman 976bda807d4SMinchan Kim /* 977bda807d4SMinchan Kim * Check may be lockless but that's ok as we recheck later. 978bda807d4SMinchan Kim * It's possible to migrate LRU and non-lru movable pages. 979bda807d4SMinchan Kim * Skip any other type of page 980bda807d4SMinchan Kim */ 981bda807d4SMinchan Kim if (!PageLRU(page)) { 982bda807d4SMinchan Kim /* 983bda807d4SMinchan Kim * __PageMovable can return false positive so we need 984bda807d4SMinchan Kim * to verify it under page_lock. 985bda807d4SMinchan Kim */ 986bda807d4SMinchan Kim if (unlikely(__PageMovable(page)) && 987bda807d4SMinchan Kim !PageIsolated(page)) { 988bda807d4SMinchan Kim if (locked) { 9896168d0daSAlex Shi unlock_page_lruvec_irqrestore(locked, flags); 9906168d0daSAlex Shi locked = NULL; 991bda807d4SMinchan Kim } 992bda807d4SMinchan Kim 9939e5bcd61SYisheng Xie if (!isolate_movable_page(page, isolate_mode)) 994bda807d4SMinchan Kim goto isolate_success; 995bda807d4SMinchan Kim } 996bda807d4SMinchan Kim 997fdd048e1SVlastimil Babka goto isolate_fail; 998bda807d4SMinchan Kim } 99929c0dde8SVlastimil Babka 1000119d6d59SDavid Rientjes /* 1001119d6d59SDavid Rientjes * Migration will fail if an anonymous page is pinned in memory, 1002119d6d59SDavid Rientjes * so avoid taking lru_lock and isolating it unnecessarily in an 1003119d6d59SDavid Rientjes * admittedly racy check. 1004119d6d59SDavid Rientjes */ 1005119d6d59SDavid Rientjes if (!page_mapping(page) && 1006119d6d59SDavid Rientjes page_count(page) > page_mapcount(page)) 1007fdd048e1SVlastimil Babka goto isolate_fail; 1008119d6d59SDavid Rientjes 100973e64c51SMichal Hocko /* 101073e64c51SMichal Hocko * Only allow to migrate anonymous pages in GFP_NOFS context 101173e64c51SMichal Hocko * because those do not depend on fs locks. 101273e64c51SMichal Hocko */ 101373e64c51SMichal Hocko if (!(cc->gfp_mask & __GFP_FS) && page_mapping(page)) 101473e64c51SMichal Hocko goto isolate_fail; 101573e64c51SMichal Hocko 10169df41314SAlex Shi /* 10179df41314SAlex Shi * Be careful not to clear PageLRU until after we're 10189df41314SAlex Shi * sure the page is not being freed elsewhere -- the 10199df41314SAlex Shi * page release code relies on it. 10209df41314SAlex Shi */ 10219df41314SAlex Shi if (unlikely(!get_page_unless_zero(page))) 10229df41314SAlex Shi goto isolate_fail; 10239df41314SAlex Shi 1024c2135f7cSAlex Shi if (!__isolate_lru_page_prepare(page, isolate_mode)) 10259df41314SAlex Shi goto isolate_fail_put; 10269df41314SAlex Shi 10279df41314SAlex Shi /* Try isolate the page */ 10289df41314SAlex Shi if (!TestClearPageLRU(page)) 10299df41314SAlex Shi goto isolate_fail_put; 10309df41314SAlex Shi 1031a984226fSMuchun Song lruvec = mem_cgroup_page_lruvec(page); 10326168d0daSAlex Shi 103369b7189fSVlastimil Babka /* If we already hold the lock, we can skip some rechecking */ 10346168d0daSAlex Shi if (lruvec != locked) { 10356168d0daSAlex Shi if (locked) 10366168d0daSAlex Shi unlock_page_lruvec_irqrestore(locked, flags); 10376168d0daSAlex Shi 10386168d0daSAlex Shi compact_lock_irqsave(&lruvec->lru_lock, &flags, cc); 10396168d0daSAlex Shi locked = lruvec; 10406168d0daSAlex Shi 10416168d0daSAlex Shi lruvec_memcg_debug(lruvec, page); 1042e380bebeSMel Gorman 1043e380bebeSMel Gorman /* Try get exclusive access under lock */ 1044e380bebeSMel Gorman if (!skip_updated) { 1045e380bebeSMel Gorman skip_updated = true; 1046e380bebeSMel Gorman if (test_and_set_skip(cc, page, low_pfn)) 1047e380bebeSMel Gorman goto isolate_abort; 1048e380bebeSMel Gorman } 10492a1402aaSMel Gorman 105029c0dde8SVlastimil Babka /* 105129c0dde8SVlastimil Babka * Page become compound since the non-locked check, 105229c0dde8SVlastimil Babka * and it's on LRU. It can only be a THP so the order 105329c0dde8SVlastimil Babka * is safe to read and it's 0 for tail pages. 105429c0dde8SVlastimil Babka */ 10551da2f328SRik van Riel if (unlikely(PageCompound(page) && !cc->alloc_contig)) { 1056d8c6546bSMatthew Wilcox (Oracle) low_pfn += compound_nr(page) - 1; 10579df41314SAlex Shi SetPageLRU(page); 10589df41314SAlex Shi goto isolate_fail_put; 1059bc835011SAndrea Arcangeli } 1060d99fd5feSAlex Shi } 1061fa9add64SHugh Dickins 10621da2f328SRik van Riel /* The whole page is taken off the LRU; skip the tail pages. */ 10631da2f328SRik van Riel if (PageCompound(page)) 10641da2f328SRik van Riel low_pfn += compound_nr(page) - 1; 1065bc835011SAndrea Arcangeli 1066748446bbSMel Gorman /* Successfully isolated */ 106746ae6b2cSYu Zhao del_page_from_lru_list(page, lruvec); 10681da2f328SRik van Riel mod_node_page_state(page_pgdat(page), 10699de4f22aSHuang Ying NR_ISOLATED_ANON + page_is_file_lru(page), 10706c357848SMatthew Wilcox (Oracle) thp_nr_pages(page)); 1071b6c75016SJoonsoo Kim 1072b6c75016SJoonsoo Kim isolate_success: 1073fdd048e1SVlastimil Babka list_add(&page->lru, &cc->migratepages); 1074ae37c7ffSOscar Salvador isolate_success_no_list: 107538935861SZi Yan cc->nr_migratepages += compound_nr(page); 107638935861SZi Yan nr_isolated += compound_nr(page); 1077748446bbSMel Gorman 1078804d3121SMel Gorman /* 1079804d3121SMel Gorman * Avoid isolating too much unless this block is being 1080cb2dcaf0SMel Gorman * rescanned (e.g. dirty/writeback pages, parallel allocation) 1081cb2dcaf0SMel Gorman * or a lock is contended. For contention, isolate quickly to 1082cb2dcaf0SMel Gorman * potentially remove one source of contention. 1083804d3121SMel Gorman */ 108438935861SZi Yan if (cc->nr_migratepages >= COMPACT_CLUSTER_MAX && 1085cb2dcaf0SMel Gorman !cc->rescan && !cc->contended) { 108631b8384aSHillf Danton ++low_pfn; 1087748446bbSMel Gorman break; 1088748446bbSMel Gorman } 1089fdd048e1SVlastimil Babka 1090fdd048e1SVlastimil Babka continue; 10919df41314SAlex Shi 10929df41314SAlex Shi isolate_fail_put: 10939df41314SAlex Shi /* Avoid potential deadlock in freeing page under lru_lock */ 10949df41314SAlex Shi if (locked) { 10956168d0daSAlex Shi unlock_page_lruvec_irqrestore(locked, flags); 10966168d0daSAlex Shi locked = NULL; 10979df41314SAlex Shi } 10989df41314SAlex Shi put_page(page); 10999df41314SAlex Shi 1100fdd048e1SVlastimil Babka isolate_fail: 1101369fa227SOscar Salvador if (!skip_on_failure && ret != -ENOMEM) 1102fdd048e1SVlastimil Babka continue; 1103fdd048e1SVlastimil Babka 1104fdd048e1SVlastimil Babka /* 1105fdd048e1SVlastimil Babka * We have isolated some pages, but then failed. Release them 1106fdd048e1SVlastimil Babka * instead of migrating, as we cannot form the cc->order buddy 1107fdd048e1SVlastimil Babka * page anyway. 1108fdd048e1SVlastimil Babka */ 1109fdd048e1SVlastimil Babka if (nr_isolated) { 1110fdd048e1SVlastimil Babka if (locked) { 11116168d0daSAlex Shi unlock_page_lruvec_irqrestore(locked, flags); 11126168d0daSAlex Shi locked = NULL; 1113fdd048e1SVlastimil Babka } 1114fdd048e1SVlastimil Babka putback_movable_pages(&cc->migratepages); 1115fdd048e1SVlastimil Babka cc->nr_migratepages = 0; 1116fdd048e1SVlastimil Babka nr_isolated = 0; 1117fdd048e1SVlastimil Babka } 1118fdd048e1SVlastimil Babka 1119fdd048e1SVlastimil Babka if (low_pfn < next_skip_pfn) { 1120fdd048e1SVlastimil Babka low_pfn = next_skip_pfn - 1; 1121fdd048e1SVlastimil Babka /* 1122fdd048e1SVlastimil Babka * The check near the loop beginning would have updated 1123fdd048e1SVlastimil Babka * next_skip_pfn too, but this is a bit simpler. 1124fdd048e1SVlastimil Babka */ 1125fdd048e1SVlastimil Babka next_skip_pfn += 1UL << cc->order; 1126fdd048e1SVlastimil Babka } 1127369fa227SOscar Salvador 1128369fa227SOscar Salvador if (ret == -ENOMEM) 1129369fa227SOscar Salvador break; 113031b8384aSHillf Danton } 1131748446bbSMel Gorman 113299c0fd5eSVlastimil Babka /* 113399c0fd5eSVlastimil Babka * The PageBuddy() check could have potentially brought us outside 113499c0fd5eSVlastimil Babka * the range to be scanned. 113599c0fd5eSVlastimil Babka */ 113699c0fd5eSVlastimil Babka if (unlikely(low_pfn > end_pfn)) 113799c0fd5eSVlastimil Babka low_pfn = end_pfn; 113899c0fd5eSVlastimil Babka 11399df41314SAlex Shi page = NULL; 11409df41314SAlex Shi 1141e380bebeSMel Gorman isolate_abort: 1142c67fe375SMel Gorman if (locked) 11436168d0daSAlex Shi unlock_page_lruvec_irqrestore(locked, flags); 11449df41314SAlex Shi if (page) { 11459df41314SAlex Shi SetPageLRU(page); 11469df41314SAlex Shi put_page(page); 11479df41314SAlex Shi } 1148748446bbSMel Gorman 114950b5b094SVlastimil Babka /* 1150804d3121SMel Gorman * Updated the cached scanner pfn once the pageblock has been scanned 1151804d3121SMel Gorman * Pages will either be migrated in which case there is no point 1152804d3121SMel Gorman * scanning in the near future or migration failed in which case the 1153804d3121SMel Gorman * failure reason may persist. The block is marked for skipping if 1154804d3121SMel Gorman * there were no pages isolated in the block or if the block is 1155804d3121SMel Gorman * rescanned twice in a row. 115650b5b094SVlastimil Babka */ 1157804d3121SMel Gorman if (low_pfn == end_pfn && (!nr_isolated || cc->rescan)) { 1158e380bebeSMel Gorman if (valid_page && !skip_updated) 1159e380bebeSMel Gorman set_pageblock_skip(valid_page); 1160e380bebeSMel Gorman update_cached_migrate(cc, low_pfn); 1161e380bebeSMel Gorman } 1162bb13ffebSMel Gorman 1163e34d85f0SJoonsoo Kim trace_mm_compaction_isolate_migratepages(start_pfn, low_pfn, 1164e34d85f0SJoonsoo Kim nr_scanned, nr_isolated); 1165b7aba698SMel Gorman 1166670105a2SMel Gorman fatal_pending: 11677f354a54SDavid Rientjes cc->total_migrate_scanned += nr_scanned; 1168397487dbSMel Gorman if (nr_isolated) 1169010fc29aSMinchan Kim count_compact_events(COMPACTISOLATED, nr_isolated); 1170397487dbSMel Gorman 1171c2ad7a1fSOscar Salvador cc->migrate_pfn = low_pfn; 1172c2ad7a1fSOscar Salvador 1173c2ad7a1fSOscar Salvador return ret; 11742fe86e00SMichal Nazarewicz } 11752fe86e00SMichal Nazarewicz 1176edc2ca61SVlastimil Babka /** 1177edc2ca61SVlastimil Babka * isolate_migratepages_range() - isolate migrate-able pages in a PFN range 1178edc2ca61SVlastimil Babka * @cc: Compaction control structure. 1179edc2ca61SVlastimil Babka * @start_pfn: The first PFN to start isolating. 1180edc2ca61SVlastimil Babka * @end_pfn: The one-past-last PFN. 1181edc2ca61SVlastimil Babka * 1182369fa227SOscar Salvador * Returns -EAGAIN when contented, -EINTR in case of a signal pending, -ENOMEM 1183369fa227SOscar Salvador * in case we could not allocate a page, or 0. 1184edc2ca61SVlastimil Babka */ 1185c2ad7a1fSOscar Salvador int 1186edc2ca61SVlastimil Babka isolate_migratepages_range(struct compact_control *cc, unsigned long start_pfn, 1187edc2ca61SVlastimil Babka unsigned long end_pfn) 1188edc2ca61SVlastimil Babka { 1189e1409c32SJoonsoo Kim unsigned long pfn, block_start_pfn, block_end_pfn; 1190c2ad7a1fSOscar Salvador int ret = 0; 1191edc2ca61SVlastimil Babka 1192edc2ca61SVlastimil Babka /* Scan block by block. First and last block may be incomplete */ 1193edc2ca61SVlastimil Babka pfn = start_pfn; 119406b6640aSVlastimil Babka block_start_pfn = pageblock_start_pfn(pfn); 1195e1409c32SJoonsoo Kim if (block_start_pfn < cc->zone->zone_start_pfn) 1196e1409c32SJoonsoo Kim block_start_pfn = cc->zone->zone_start_pfn; 119706b6640aSVlastimil Babka block_end_pfn = pageblock_end_pfn(pfn); 1198edc2ca61SVlastimil Babka 1199edc2ca61SVlastimil Babka for (; pfn < end_pfn; pfn = block_end_pfn, 1200e1409c32SJoonsoo Kim block_start_pfn = block_end_pfn, 1201edc2ca61SVlastimil Babka block_end_pfn += pageblock_nr_pages) { 1202edc2ca61SVlastimil Babka 1203edc2ca61SVlastimil Babka block_end_pfn = min(block_end_pfn, end_pfn); 1204edc2ca61SVlastimil Babka 1205e1409c32SJoonsoo Kim if (!pageblock_pfn_to_page(block_start_pfn, 1206e1409c32SJoonsoo Kim block_end_pfn, cc->zone)) 1207edc2ca61SVlastimil Babka continue; 1208edc2ca61SVlastimil Babka 1209c2ad7a1fSOscar Salvador ret = isolate_migratepages_block(cc, pfn, block_end_pfn, 1210edc2ca61SVlastimil Babka ISOLATE_UNEVICTABLE); 1211edc2ca61SVlastimil Babka 1212c2ad7a1fSOscar Salvador if (ret) 1213edc2ca61SVlastimil Babka break; 12146ea41c0cSJoonsoo Kim 121538935861SZi Yan if (cc->nr_migratepages >= COMPACT_CLUSTER_MAX) 12166ea41c0cSJoonsoo Kim break; 1217edc2ca61SVlastimil Babka } 1218edc2ca61SVlastimil Babka 1219c2ad7a1fSOscar Salvador return ret; 1220edc2ca61SVlastimil Babka } 1221edc2ca61SVlastimil Babka 1222ff9543fdSMichal Nazarewicz #endif /* CONFIG_COMPACTION || CONFIG_CMA */ 1223ff9543fdSMichal Nazarewicz #ifdef CONFIG_COMPACTION 1224018e9a49SAndrew Morton 1225b682debdSVlastimil Babka static bool suitable_migration_source(struct compact_control *cc, 1226b682debdSVlastimil Babka struct page *page) 1227b682debdSVlastimil Babka { 1228282722b0SVlastimil Babka int block_mt; 1229282722b0SVlastimil Babka 12309bebefd5SMel Gorman if (pageblock_skip_persistent(page)) 12319bebefd5SMel Gorman return false; 12329bebefd5SMel Gorman 1233282722b0SVlastimil Babka if ((cc->mode != MIGRATE_ASYNC) || !cc->direct_compaction) 1234b682debdSVlastimil Babka return true; 1235b682debdSVlastimil Babka 1236282722b0SVlastimil Babka block_mt = get_pageblock_migratetype(page); 1237282722b0SVlastimil Babka 1238282722b0SVlastimil Babka if (cc->migratetype == MIGRATE_MOVABLE) 1239282722b0SVlastimil Babka return is_migrate_movable(block_mt); 1240282722b0SVlastimil Babka else 1241282722b0SVlastimil Babka return block_mt == cc->migratetype; 1242b682debdSVlastimil Babka } 1243b682debdSVlastimil Babka 1244018e9a49SAndrew Morton /* Returns true if the page is within a block suitable for migration to */ 12459f7e3387SVlastimil Babka static bool suitable_migration_target(struct compact_control *cc, 12469f7e3387SVlastimil Babka struct page *page) 1247018e9a49SAndrew Morton { 1248018e9a49SAndrew Morton /* If the page is a large free page, then disallow migration */ 1249018e9a49SAndrew Morton if (PageBuddy(page)) { 1250018e9a49SAndrew Morton /* 1251018e9a49SAndrew Morton * We are checking page_order without zone->lock taken. But 1252018e9a49SAndrew Morton * the only small danger is that we skip a potentially suitable 1253018e9a49SAndrew Morton * pageblock, so it's not worth to check order for valid range. 1254018e9a49SAndrew Morton */ 1255ab130f91SMatthew Wilcox (Oracle) if (buddy_order_unsafe(page) >= pageblock_order) 1256018e9a49SAndrew Morton return false; 1257018e9a49SAndrew Morton } 1258018e9a49SAndrew Morton 12591ef36db2SYisheng Xie if (cc->ignore_block_suitable) 12601ef36db2SYisheng Xie return true; 12611ef36db2SYisheng Xie 1262018e9a49SAndrew Morton /* If the block is MIGRATE_MOVABLE or MIGRATE_CMA, allow migration */ 1263b682debdSVlastimil Babka if (is_migrate_movable(get_pageblock_migratetype(page))) 1264018e9a49SAndrew Morton return true; 1265018e9a49SAndrew Morton 1266018e9a49SAndrew Morton /* Otherwise skip the block */ 1267018e9a49SAndrew Morton return false; 1268018e9a49SAndrew Morton } 1269018e9a49SAndrew Morton 127070b44595SMel Gorman static inline unsigned int 127170b44595SMel Gorman freelist_scan_limit(struct compact_control *cc) 127270b44595SMel Gorman { 1273dd7ef7bdSQian Cai unsigned short shift = BITS_PER_LONG - 1; 1274dd7ef7bdSQian Cai 1275dd7ef7bdSQian Cai return (COMPACT_CLUSTER_MAX >> min(shift, cc->fast_search_fail)) + 1; 127670b44595SMel Gorman } 127770b44595SMel Gorman 1278ff9543fdSMichal Nazarewicz /* 1279f2849aa0SVlastimil Babka * Test whether the free scanner has reached the same or lower pageblock than 1280f2849aa0SVlastimil Babka * the migration scanner, and compaction should thus terminate. 1281f2849aa0SVlastimil Babka */ 1282f2849aa0SVlastimil Babka static inline bool compact_scanners_met(struct compact_control *cc) 1283f2849aa0SVlastimil Babka { 1284f2849aa0SVlastimil Babka return (cc->free_pfn >> pageblock_order) 1285f2849aa0SVlastimil Babka <= (cc->migrate_pfn >> pageblock_order); 1286f2849aa0SVlastimil Babka } 1287f2849aa0SVlastimil Babka 12885a811889SMel Gorman /* 12895a811889SMel Gorman * Used when scanning for a suitable migration target which scans freelists 12905a811889SMel Gorman * in reverse. Reorders the list such as the unscanned pages are scanned 12915a811889SMel Gorman * first on the next iteration of the free scanner 12925a811889SMel Gorman */ 12935a811889SMel Gorman static void 12945a811889SMel Gorman move_freelist_head(struct list_head *freelist, struct page *freepage) 12955a811889SMel Gorman { 12965a811889SMel Gorman LIST_HEAD(sublist); 12975a811889SMel Gorman 12985a811889SMel Gorman if (!list_is_last(freelist, &freepage->lru)) { 12995a811889SMel Gorman list_cut_before(&sublist, freelist, &freepage->lru); 13005a811889SMel Gorman list_splice_tail(&sublist, freelist); 13015a811889SMel Gorman } 13025a811889SMel Gorman } 13035a811889SMel Gorman 13045a811889SMel Gorman /* 13055a811889SMel Gorman * Similar to move_freelist_head except used by the migration scanner 13065a811889SMel Gorman * when scanning forward. It's possible for these list operations to 13075a811889SMel Gorman * move against each other if they search the free list exactly in 13085a811889SMel Gorman * lockstep. 13095a811889SMel Gorman */ 131070b44595SMel Gorman static void 131170b44595SMel Gorman move_freelist_tail(struct list_head *freelist, struct page *freepage) 131270b44595SMel Gorman { 131370b44595SMel Gorman LIST_HEAD(sublist); 131470b44595SMel Gorman 131570b44595SMel Gorman if (!list_is_first(freelist, &freepage->lru)) { 131670b44595SMel Gorman list_cut_position(&sublist, freelist, &freepage->lru); 131770b44595SMel Gorman list_splice_tail(&sublist, freelist); 131870b44595SMel Gorman } 131970b44595SMel Gorman } 132070b44595SMel Gorman 13215a811889SMel Gorman static void 13225a811889SMel Gorman fast_isolate_around(struct compact_control *cc, unsigned long pfn, unsigned long nr_isolated) 13235a811889SMel Gorman { 13245a811889SMel Gorman unsigned long start_pfn, end_pfn; 13256e2b7044SVlastimil Babka struct page *page; 13265a811889SMel Gorman 13275a811889SMel Gorman /* Do not search around if there are enough pages already */ 13285a811889SMel Gorman if (cc->nr_freepages >= cc->nr_migratepages) 13295a811889SMel Gorman return; 13305a811889SMel Gorman 13315a811889SMel Gorman /* Minimise scanning during async compaction */ 13325a811889SMel Gorman if (cc->direct_compaction && cc->mode == MIGRATE_ASYNC) 13335a811889SMel Gorman return; 13345a811889SMel Gorman 13355a811889SMel Gorman /* Pageblock boundaries */ 13366e2b7044SVlastimil Babka start_pfn = max(pageblock_start_pfn(pfn), cc->zone->zone_start_pfn); 13376e2b7044SVlastimil Babka end_pfn = min(pageblock_end_pfn(pfn), zone_end_pfn(cc->zone)); 13386e2b7044SVlastimil Babka 13396e2b7044SVlastimil Babka page = pageblock_pfn_to_page(start_pfn, end_pfn, cc->zone); 13406e2b7044SVlastimil Babka if (!page) 13416e2b7044SVlastimil Babka return; 13425a811889SMel Gorman 13435a811889SMel Gorman /* Scan before */ 13445a811889SMel Gorman if (start_pfn != pfn) { 13454fca9730SMel Gorman isolate_freepages_block(cc, &start_pfn, pfn, &cc->freepages, 1, false); 13465a811889SMel Gorman if (cc->nr_freepages >= cc->nr_migratepages) 13475a811889SMel Gorman return; 13485a811889SMel Gorman } 13495a811889SMel Gorman 13505a811889SMel Gorman /* Scan after */ 13515a811889SMel Gorman start_pfn = pfn + nr_isolated; 135260fce36aSMel Gorman if (start_pfn < end_pfn) 13534fca9730SMel Gorman isolate_freepages_block(cc, &start_pfn, end_pfn, &cc->freepages, 1, false); 13545a811889SMel Gorman 13555a811889SMel Gorman /* Skip this pageblock in the future as it's full or nearly full */ 13565a811889SMel Gorman if (cc->nr_freepages < cc->nr_migratepages) 13575a811889SMel Gorman set_pageblock_skip(page); 13585a811889SMel Gorman } 13595a811889SMel Gorman 1360dbe2d4e4SMel Gorman /* Search orders in round-robin fashion */ 1361dbe2d4e4SMel Gorman static int next_search_order(struct compact_control *cc, int order) 1362dbe2d4e4SMel Gorman { 1363dbe2d4e4SMel Gorman order--; 1364dbe2d4e4SMel Gorman if (order < 0) 1365dbe2d4e4SMel Gorman order = cc->order - 1; 1366dbe2d4e4SMel Gorman 1367dbe2d4e4SMel Gorman /* Search wrapped around? */ 1368dbe2d4e4SMel Gorman if (order == cc->search_order) { 1369dbe2d4e4SMel Gorman cc->search_order--; 1370dbe2d4e4SMel Gorman if (cc->search_order < 0) 1371dbe2d4e4SMel Gorman cc->search_order = cc->order - 1; 1372dbe2d4e4SMel Gorman return -1; 1373dbe2d4e4SMel Gorman } 1374dbe2d4e4SMel Gorman 1375dbe2d4e4SMel Gorman return order; 1376dbe2d4e4SMel Gorman } 1377dbe2d4e4SMel Gorman 13785a811889SMel Gorman static unsigned long 13795a811889SMel Gorman fast_isolate_freepages(struct compact_control *cc) 13805a811889SMel Gorman { 1381b55ca526SWonhyuk Yang unsigned int limit = max(1U, freelist_scan_limit(cc) >> 1); 13825a811889SMel Gorman unsigned int nr_scanned = 0; 138374e21484SRokudo Yan unsigned long low_pfn, min_pfn, highest = 0; 13845a811889SMel Gorman unsigned long nr_isolated = 0; 13855a811889SMel Gorman unsigned long distance; 13865a811889SMel Gorman struct page *page = NULL; 13875a811889SMel Gorman bool scan_start = false; 13885a811889SMel Gorman int order; 13895a811889SMel Gorman 13905a811889SMel Gorman /* Full compaction passes in a negative order */ 13915a811889SMel Gorman if (cc->order <= 0) 13925a811889SMel Gorman return cc->free_pfn; 13935a811889SMel Gorman 13945a811889SMel Gorman /* 13955a811889SMel Gorman * If starting the scan, use a deeper search and use the highest 13965a811889SMel Gorman * PFN found if a suitable one is not found. 13975a811889SMel Gorman */ 1398e332f741SMel Gorman if (cc->free_pfn >= cc->zone->compact_init_free_pfn) { 13995a811889SMel Gorman limit = pageblock_nr_pages >> 1; 14005a811889SMel Gorman scan_start = true; 14015a811889SMel Gorman } 14025a811889SMel Gorman 14035a811889SMel Gorman /* 14045a811889SMel Gorman * Preferred point is in the top quarter of the scan space but take 14055a811889SMel Gorman * a pfn from the top half if the search is problematic. 14065a811889SMel Gorman */ 14075a811889SMel Gorman distance = (cc->free_pfn - cc->migrate_pfn); 14085a811889SMel Gorman low_pfn = pageblock_start_pfn(cc->free_pfn - (distance >> 2)); 14095a811889SMel Gorman min_pfn = pageblock_start_pfn(cc->free_pfn - (distance >> 1)); 14105a811889SMel Gorman 14115a811889SMel Gorman if (WARN_ON_ONCE(min_pfn > low_pfn)) 14125a811889SMel Gorman low_pfn = min_pfn; 14135a811889SMel Gorman 1414dbe2d4e4SMel Gorman /* 1415dbe2d4e4SMel Gorman * Search starts from the last successful isolation order or the next 1416dbe2d4e4SMel Gorman * order to search after a previous failure 1417dbe2d4e4SMel Gorman */ 1418dbe2d4e4SMel Gorman cc->search_order = min_t(unsigned int, cc->order - 1, cc->search_order); 1419dbe2d4e4SMel Gorman 1420dbe2d4e4SMel Gorman for (order = cc->search_order; 1421dbe2d4e4SMel Gorman !page && order >= 0; 1422dbe2d4e4SMel Gorman order = next_search_order(cc, order)) { 14235a811889SMel Gorman struct free_area *area = &cc->zone->free_area[order]; 14245a811889SMel Gorman struct list_head *freelist; 14255a811889SMel Gorman struct page *freepage; 14265a811889SMel Gorman unsigned long flags; 14275a811889SMel Gorman unsigned int order_scanned = 0; 142874e21484SRokudo Yan unsigned long high_pfn = 0; 14295a811889SMel Gorman 14305a811889SMel Gorman if (!area->nr_free) 14315a811889SMel Gorman continue; 14325a811889SMel Gorman 14335a811889SMel Gorman spin_lock_irqsave(&cc->zone->lock, flags); 14345a811889SMel Gorman freelist = &area->free_list[MIGRATE_MOVABLE]; 14355a811889SMel Gorman list_for_each_entry_reverse(freepage, freelist, lru) { 14365a811889SMel Gorman unsigned long pfn; 14375a811889SMel Gorman 14385a811889SMel Gorman order_scanned++; 14395a811889SMel Gorman nr_scanned++; 14405a811889SMel Gorman pfn = page_to_pfn(freepage); 14415a811889SMel Gorman 14425a811889SMel Gorman if (pfn >= highest) 14436e2b7044SVlastimil Babka highest = max(pageblock_start_pfn(pfn), 14446e2b7044SVlastimil Babka cc->zone->zone_start_pfn); 14455a811889SMel Gorman 14465a811889SMel Gorman if (pfn >= low_pfn) { 14475a811889SMel Gorman cc->fast_search_fail = 0; 1448dbe2d4e4SMel Gorman cc->search_order = order; 14495a811889SMel Gorman page = freepage; 14505a811889SMel Gorman break; 14515a811889SMel Gorman } 14525a811889SMel Gorman 14535a811889SMel Gorman if (pfn >= min_pfn && pfn > high_pfn) { 14545a811889SMel Gorman high_pfn = pfn; 14555a811889SMel Gorman 14565a811889SMel Gorman /* Shorten the scan if a candidate is found */ 14575a811889SMel Gorman limit >>= 1; 14585a811889SMel Gorman } 14595a811889SMel Gorman 14605a811889SMel Gorman if (order_scanned >= limit) 14615a811889SMel Gorman break; 14625a811889SMel Gorman } 14635a811889SMel Gorman 14645a811889SMel Gorman /* Use a minimum pfn if a preferred one was not found */ 14655a811889SMel Gorman if (!page && high_pfn) { 14665a811889SMel Gorman page = pfn_to_page(high_pfn); 14675a811889SMel Gorman 14685a811889SMel Gorman /* Update freepage for the list reorder below */ 14695a811889SMel Gorman freepage = page; 14705a811889SMel Gorman } 14715a811889SMel Gorman 14725a811889SMel Gorman /* Reorder to so a future search skips recent pages */ 14735a811889SMel Gorman move_freelist_head(freelist, freepage); 14745a811889SMel Gorman 14755a811889SMel Gorman /* Isolate the page if available */ 14765a811889SMel Gorman if (page) { 14775a811889SMel Gorman if (__isolate_free_page(page, order)) { 14785a811889SMel Gorman set_page_private(page, order); 14795a811889SMel Gorman nr_isolated = 1 << order; 14805a811889SMel Gorman cc->nr_freepages += nr_isolated; 14815a811889SMel Gorman list_add_tail(&page->lru, &cc->freepages); 14825a811889SMel Gorman count_compact_events(COMPACTISOLATED, nr_isolated); 14835a811889SMel Gorman } else { 14845a811889SMel Gorman /* If isolation fails, abort the search */ 14855b56d996SQian Cai order = cc->search_order + 1; 14865a811889SMel Gorman page = NULL; 14875a811889SMel Gorman } 14885a811889SMel Gorman } 14895a811889SMel Gorman 14905a811889SMel Gorman spin_unlock_irqrestore(&cc->zone->lock, flags); 14915a811889SMel Gorman 14925a811889SMel Gorman /* 1493b55ca526SWonhyuk Yang * Smaller scan on next order so the total scan is related 14945a811889SMel Gorman * to freelist_scan_limit. 14955a811889SMel Gorman */ 14965a811889SMel Gorman if (order_scanned >= limit) 1497b55ca526SWonhyuk Yang limit = max(1U, limit >> 1); 14985a811889SMel Gorman } 14995a811889SMel Gorman 15005a811889SMel Gorman if (!page) { 15015a811889SMel Gorman cc->fast_search_fail++; 15025a811889SMel Gorman if (scan_start) { 15035a811889SMel Gorman /* 15045a811889SMel Gorman * Use the highest PFN found above min. If one was 1505f3867755SEthon Paul * not found, be pessimistic for direct compaction 15065a811889SMel Gorman * and use the min mark. 15075a811889SMel Gorman */ 15085a811889SMel Gorman if (highest) { 15095a811889SMel Gorman page = pfn_to_page(highest); 15105a811889SMel Gorman cc->free_pfn = highest; 15115a811889SMel Gorman } else { 1512e577c8b6SSuzuki K Poulose if (cc->direct_compaction && pfn_valid(min_pfn)) { 151373a6e474SBaoquan He page = pageblock_pfn_to_page(min_pfn, 15146e2b7044SVlastimil Babka min(pageblock_end_pfn(min_pfn), 15156e2b7044SVlastimil Babka zone_end_pfn(cc->zone)), 151673a6e474SBaoquan He cc->zone); 15175a811889SMel Gorman cc->free_pfn = min_pfn; 15185a811889SMel Gorman } 15195a811889SMel Gorman } 15205a811889SMel Gorman } 15215a811889SMel Gorman } 15225a811889SMel Gorman 1523d097a6f6SMel Gorman if (highest && highest >= cc->zone->compact_cached_free_pfn) { 1524d097a6f6SMel Gorman highest -= pageblock_nr_pages; 15255a811889SMel Gorman cc->zone->compact_cached_free_pfn = highest; 1526d097a6f6SMel Gorman } 15275a811889SMel Gorman 15285a811889SMel Gorman cc->total_free_scanned += nr_scanned; 15295a811889SMel Gorman if (!page) 15305a811889SMel Gorman return cc->free_pfn; 15315a811889SMel Gorman 15325a811889SMel Gorman low_pfn = page_to_pfn(page); 15335a811889SMel Gorman fast_isolate_around(cc, low_pfn, nr_isolated); 15345a811889SMel Gorman return low_pfn; 15355a811889SMel Gorman } 15365a811889SMel Gorman 1537f2849aa0SVlastimil Babka /* 1538ff9543fdSMichal Nazarewicz * Based on information in the current compact_control, find blocks 1539ff9543fdSMichal Nazarewicz * suitable for isolating free pages from and then isolate them. 1540ff9543fdSMichal Nazarewicz */ 1541edc2ca61SVlastimil Babka static void isolate_freepages(struct compact_control *cc) 1542ff9543fdSMichal Nazarewicz { 1543edc2ca61SVlastimil Babka struct zone *zone = cc->zone; 1544ff9543fdSMichal Nazarewicz struct page *page; 1545c96b9e50SVlastimil Babka unsigned long block_start_pfn; /* start of current pageblock */ 1546e14c720eSVlastimil Babka unsigned long isolate_start_pfn; /* exact pfn we start at */ 1547c96b9e50SVlastimil Babka unsigned long block_end_pfn; /* end of current pageblock */ 1548c96b9e50SVlastimil Babka unsigned long low_pfn; /* lowest pfn scanner is able to scan */ 1549ff9543fdSMichal Nazarewicz struct list_head *freelist = &cc->freepages; 15504fca9730SMel Gorman unsigned int stride; 15512fe86e00SMichal Nazarewicz 15525a811889SMel Gorman /* Try a small search of the free lists for a candidate */ 15535a811889SMel Gorman isolate_start_pfn = fast_isolate_freepages(cc); 15545a811889SMel Gorman if (cc->nr_freepages) 15555a811889SMel Gorman goto splitmap; 15565a811889SMel Gorman 1557ff9543fdSMichal Nazarewicz /* 1558ff9543fdSMichal Nazarewicz * Initialise the free scanner. The starting point is where we last 155949e068f0SVlastimil Babka * successfully isolated from, zone-cached value, or the end of the 1560e14c720eSVlastimil Babka * zone when isolating for the first time. For looping we also need 1561e14c720eSVlastimil Babka * this pfn aligned down to the pageblock boundary, because we do 1562c96b9e50SVlastimil Babka * block_start_pfn -= pageblock_nr_pages in the for loop. 1563c96b9e50SVlastimil Babka * For ending point, take care when isolating in last pageblock of a 1564a1c1dbebSRandy Dunlap * zone which ends in the middle of a pageblock. 156549e068f0SVlastimil Babka * The low boundary is the end of the pageblock the migration scanner 156649e068f0SVlastimil Babka * is using. 1567ff9543fdSMichal Nazarewicz */ 1568e14c720eSVlastimil Babka isolate_start_pfn = cc->free_pfn; 15695a811889SMel Gorman block_start_pfn = pageblock_start_pfn(isolate_start_pfn); 1570c96b9e50SVlastimil Babka block_end_pfn = min(block_start_pfn + pageblock_nr_pages, 1571c96b9e50SVlastimil Babka zone_end_pfn(zone)); 157206b6640aSVlastimil Babka low_pfn = pageblock_end_pfn(cc->migrate_pfn); 15734fca9730SMel Gorman stride = cc->mode == MIGRATE_ASYNC ? COMPACT_CLUSTER_MAX : 1; 15742fe86e00SMichal Nazarewicz 1575ff9543fdSMichal Nazarewicz /* 1576ff9543fdSMichal Nazarewicz * Isolate free pages until enough are available to migrate the 1577ff9543fdSMichal Nazarewicz * pages on cc->migratepages. We stop searching if the migrate 1578ff9543fdSMichal Nazarewicz * and free page scanners meet or enough free pages are isolated. 1579ff9543fdSMichal Nazarewicz */ 1580f5f61a32SVlastimil Babka for (; block_start_pfn >= low_pfn; 1581c96b9e50SVlastimil Babka block_end_pfn = block_start_pfn, 1582e14c720eSVlastimil Babka block_start_pfn -= pageblock_nr_pages, 1583e14c720eSVlastimil Babka isolate_start_pfn = block_start_pfn) { 15844fca9730SMel Gorman unsigned long nr_isolated; 15854fca9730SMel Gorman 1586f6ea3adbSDavid Rientjes /* 1587f6ea3adbSDavid Rientjes * This can iterate a massively long zone without finding any 1588cb810ad2SMel Gorman * suitable migration targets, so periodically check resched. 1589f6ea3adbSDavid Rientjes */ 1590cb810ad2SMel Gorman if (!(block_start_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages))) 1591cf66f070SMel Gorman cond_resched(); 1592f6ea3adbSDavid Rientjes 15937d49d886SVlastimil Babka page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn, 15947d49d886SVlastimil Babka zone); 15957d49d886SVlastimil Babka if (!page) 1596ff9543fdSMichal Nazarewicz continue; 1597ff9543fdSMichal Nazarewicz 1598ff9543fdSMichal Nazarewicz /* Check the block is suitable for migration */ 15999f7e3387SVlastimil Babka if (!suitable_migration_target(cc, page)) 1600ff9543fdSMichal Nazarewicz continue; 160168e3e926SLinus Torvalds 1602bb13ffebSMel Gorman /* If isolation recently failed, do not retry */ 1603bb13ffebSMel Gorman if (!isolation_suitable(cc, page)) 1604bb13ffebSMel Gorman continue; 1605bb13ffebSMel Gorman 1606e14c720eSVlastimil Babka /* Found a block suitable for isolating free pages from. */ 16074fca9730SMel Gorman nr_isolated = isolate_freepages_block(cc, &isolate_start_pfn, 16084fca9730SMel Gorman block_end_pfn, freelist, stride, false); 1609ff9543fdSMichal Nazarewicz 1610d097a6f6SMel Gorman /* Update the skip hint if the full pageblock was scanned */ 1611d097a6f6SMel Gorman if (isolate_start_pfn == block_end_pfn) 1612d097a6f6SMel Gorman update_pageblock_skip(cc, page, block_start_pfn); 1613d097a6f6SMel Gorman 1614cb2dcaf0SMel Gorman /* Are enough freepages isolated? */ 1615cb2dcaf0SMel Gorman if (cc->nr_freepages >= cc->nr_migratepages) { 1616a46cbf3bSDavid Rientjes if (isolate_start_pfn >= block_end_pfn) { 1617a46cbf3bSDavid Rientjes /* 1618a46cbf3bSDavid Rientjes * Restart at previous pageblock if more 1619a46cbf3bSDavid Rientjes * freepages can be isolated next time. 1620a46cbf3bSDavid Rientjes */ 1621f5f61a32SVlastimil Babka isolate_start_pfn = 1622e14c720eSVlastimil Babka block_start_pfn - pageblock_nr_pages; 1623a46cbf3bSDavid Rientjes } 1624be976572SVlastimil Babka break; 1625a46cbf3bSDavid Rientjes } else if (isolate_start_pfn < block_end_pfn) { 1626f5f61a32SVlastimil Babka /* 1627a46cbf3bSDavid Rientjes * If isolation failed early, do not continue 1628a46cbf3bSDavid Rientjes * needlessly. 1629f5f61a32SVlastimil Babka */ 1630a46cbf3bSDavid Rientjes break; 1631f5f61a32SVlastimil Babka } 16324fca9730SMel Gorman 16334fca9730SMel Gorman /* Adjust stride depending on isolation */ 16344fca9730SMel Gorman if (nr_isolated) { 16354fca9730SMel Gorman stride = 1; 16364fca9730SMel Gorman continue; 16374fca9730SMel Gorman } 16384fca9730SMel Gorman stride = min_t(unsigned int, COMPACT_CLUSTER_MAX, stride << 1); 1639c89511abSMel Gorman } 1640ff9543fdSMichal Nazarewicz 16417ed695e0SVlastimil Babka /* 1642f5f61a32SVlastimil Babka * Record where the free scanner will restart next time. Either we 1643f5f61a32SVlastimil Babka * broke from the loop and set isolate_start_pfn based on the last 1644f5f61a32SVlastimil Babka * call to isolate_freepages_block(), or we met the migration scanner 1645f5f61a32SVlastimil Babka * and the loop terminated due to isolate_start_pfn < low_pfn 16467ed695e0SVlastimil Babka */ 1647f5f61a32SVlastimil Babka cc->free_pfn = isolate_start_pfn; 16485a811889SMel Gorman 16495a811889SMel Gorman splitmap: 16505a811889SMel Gorman /* __isolate_free_page() does not map the pages */ 16515a811889SMel Gorman split_map_pages(freelist); 1652748446bbSMel Gorman } 1653748446bbSMel Gorman 1654748446bbSMel Gorman /* 1655748446bbSMel Gorman * This is a migrate-callback that "allocates" freepages by taking pages 1656748446bbSMel Gorman * from the isolated freelists in the block we are migrating to. 1657748446bbSMel Gorman */ 1658748446bbSMel Gorman static struct page *compaction_alloc(struct page *migratepage, 1659666feb21SMichal Hocko unsigned long data) 1660748446bbSMel Gorman { 1661748446bbSMel Gorman struct compact_control *cc = (struct compact_control *)data; 1662748446bbSMel Gorman struct page *freepage; 1663748446bbSMel Gorman 1664748446bbSMel Gorman if (list_empty(&cc->freepages)) { 1665edc2ca61SVlastimil Babka isolate_freepages(cc); 1666748446bbSMel Gorman 1667748446bbSMel Gorman if (list_empty(&cc->freepages)) 1668748446bbSMel Gorman return NULL; 1669748446bbSMel Gorman } 1670748446bbSMel Gorman 1671748446bbSMel Gorman freepage = list_entry(cc->freepages.next, struct page, lru); 1672748446bbSMel Gorman list_del(&freepage->lru); 1673748446bbSMel Gorman cc->nr_freepages--; 1674748446bbSMel Gorman 1675748446bbSMel Gorman return freepage; 1676748446bbSMel Gorman } 1677748446bbSMel Gorman 1678748446bbSMel Gorman /* 1679d53aea3dSDavid Rientjes * This is a migrate-callback that "frees" freepages back to the isolated 1680d53aea3dSDavid Rientjes * freelist. All pages on the freelist are from the same zone, so there is no 1681d53aea3dSDavid Rientjes * special handling needed for NUMA. 1682d53aea3dSDavid Rientjes */ 1683d53aea3dSDavid Rientjes static void compaction_free(struct page *page, unsigned long data) 1684d53aea3dSDavid Rientjes { 1685d53aea3dSDavid Rientjes struct compact_control *cc = (struct compact_control *)data; 1686d53aea3dSDavid Rientjes 1687d53aea3dSDavid Rientjes list_add(&page->lru, &cc->freepages); 1688d53aea3dSDavid Rientjes cc->nr_freepages++; 1689d53aea3dSDavid Rientjes } 1690d53aea3dSDavid Rientjes 1691ff9543fdSMichal Nazarewicz /* possible outcome of isolate_migratepages */ 1692ff9543fdSMichal Nazarewicz typedef enum { 1693ff9543fdSMichal Nazarewicz ISOLATE_ABORT, /* Abort compaction now */ 1694ff9543fdSMichal Nazarewicz ISOLATE_NONE, /* No pages isolated, continue scanning */ 1695ff9543fdSMichal Nazarewicz ISOLATE_SUCCESS, /* Pages isolated, migrate */ 1696ff9543fdSMichal Nazarewicz } isolate_migrate_t; 1697ff9543fdSMichal Nazarewicz 1698ff9543fdSMichal Nazarewicz /* 16995bbe3547SEric B Munson * Allow userspace to control policy on scanning the unevictable LRU for 17005bbe3547SEric B Munson * compactable pages. 17015bbe3547SEric B Munson */ 17026923aa0dSSebastian Andrzej Siewior #ifdef CONFIG_PREEMPT_RT 17036923aa0dSSebastian Andrzej Siewior int sysctl_compact_unevictable_allowed __read_mostly = 0; 17046923aa0dSSebastian Andrzej Siewior #else 17055bbe3547SEric B Munson int sysctl_compact_unevictable_allowed __read_mostly = 1; 17066923aa0dSSebastian Andrzej Siewior #endif 17075bbe3547SEric B Munson 170870b44595SMel Gorman static inline void 170970b44595SMel Gorman update_fast_start_pfn(struct compact_control *cc, unsigned long pfn) 171070b44595SMel Gorman { 171170b44595SMel Gorman if (cc->fast_start_pfn == ULONG_MAX) 171270b44595SMel Gorman return; 171370b44595SMel Gorman 171470b44595SMel Gorman if (!cc->fast_start_pfn) 171570b44595SMel Gorman cc->fast_start_pfn = pfn; 171670b44595SMel Gorman 171770b44595SMel Gorman cc->fast_start_pfn = min(cc->fast_start_pfn, pfn); 171870b44595SMel Gorman } 171970b44595SMel Gorman 172070b44595SMel Gorman static inline unsigned long 172170b44595SMel Gorman reinit_migrate_pfn(struct compact_control *cc) 172270b44595SMel Gorman { 172370b44595SMel Gorman if (!cc->fast_start_pfn || cc->fast_start_pfn == ULONG_MAX) 172470b44595SMel Gorman return cc->migrate_pfn; 172570b44595SMel Gorman 172670b44595SMel Gorman cc->migrate_pfn = cc->fast_start_pfn; 172770b44595SMel Gorman cc->fast_start_pfn = ULONG_MAX; 172870b44595SMel Gorman 172970b44595SMel Gorman return cc->migrate_pfn; 173070b44595SMel Gorman } 173170b44595SMel Gorman 173270b44595SMel Gorman /* 173370b44595SMel Gorman * Briefly search the free lists for a migration source that already has 173470b44595SMel Gorman * some free pages to reduce the number of pages that need migration 173570b44595SMel Gorman * before a pageblock is free. 173670b44595SMel Gorman */ 173770b44595SMel Gorman static unsigned long fast_find_migrateblock(struct compact_control *cc) 173870b44595SMel Gorman { 173970b44595SMel Gorman unsigned int limit = freelist_scan_limit(cc); 174070b44595SMel Gorman unsigned int nr_scanned = 0; 174170b44595SMel Gorman unsigned long distance; 174270b44595SMel Gorman unsigned long pfn = cc->migrate_pfn; 174370b44595SMel Gorman unsigned long high_pfn; 174470b44595SMel Gorman int order; 174515d28d0dSWonhyuk Yang bool found_block = false; 174670b44595SMel Gorman 174770b44595SMel Gorman /* Skip hints are relied on to avoid repeats on the fast search */ 174870b44595SMel Gorman if (cc->ignore_skip_hint) 174970b44595SMel Gorman return pfn; 175070b44595SMel Gorman 175170b44595SMel Gorman /* 175270b44595SMel Gorman * If the migrate_pfn is not at the start of a zone or the start 175370b44595SMel Gorman * of a pageblock then assume this is a continuation of a previous 175470b44595SMel Gorman * scan restarted due to COMPACT_CLUSTER_MAX. 175570b44595SMel Gorman */ 175670b44595SMel Gorman if (pfn != cc->zone->zone_start_pfn && pfn != pageblock_start_pfn(pfn)) 175770b44595SMel Gorman return pfn; 175870b44595SMel Gorman 175970b44595SMel Gorman /* 176070b44595SMel Gorman * For smaller orders, just linearly scan as the number of pages 176170b44595SMel Gorman * to migrate should be relatively small and does not necessarily 176270b44595SMel Gorman * justify freeing up a large block for a small allocation. 176370b44595SMel Gorman */ 176470b44595SMel Gorman if (cc->order <= PAGE_ALLOC_COSTLY_ORDER) 176570b44595SMel Gorman return pfn; 176670b44595SMel Gorman 176770b44595SMel Gorman /* 176870b44595SMel Gorman * Only allow kcompactd and direct requests for movable pages to 176970b44595SMel Gorman * quickly clear out a MOVABLE pageblock for allocation. This 177070b44595SMel Gorman * reduces the risk that a large movable pageblock is freed for 177170b44595SMel Gorman * an unmovable/reclaimable small allocation. 177270b44595SMel Gorman */ 177370b44595SMel Gorman if (cc->direct_compaction && cc->migratetype != MIGRATE_MOVABLE) 177470b44595SMel Gorman return pfn; 177570b44595SMel Gorman 177670b44595SMel Gorman /* 177770b44595SMel Gorman * When starting the migration scanner, pick any pageblock within the 177870b44595SMel Gorman * first half of the search space. Otherwise try and pick a pageblock 177970b44595SMel Gorman * within the first eighth to reduce the chances that a migration 178070b44595SMel Gorman * target later becomes a source. 178170b44595SMel Gorman */ 178270b44595SMel Gorman distance = (cc->free_pfn - cc->migrate_pfn) >> 1; 178370b44595SMel Gorman if (cc->migrate_pfn != cc->zone->zone_start_pfn) 178470b44595SMel Gorman distance >>= 2; 178570b44595SMel Gorman high_pfn = pageblock_start_pfn(cc->migrate_pfn + distance); 178670b44595SMel Gorman 178770b44595SMel Gorman for (order = cc->order - 1; 178815d28d0dSWonhyuk Yang order >= PAGE_ALLOC_COSTLY_ORDER && !found_block && nr_scanned < limit; 178970b44595SMel Gorman order--) { 179070b44595SMel Gorman struct free_area *area = &cc->zone->free_area[order]; 179170b44595SMel Gorman struct list_head *freelist; 179270b44595SMel Gorman unsigned long flags; 179370b44595SMel Gorman struct page *freepage; 179470b44595SMel Gorman 179570b44595SMel Gorman if (!area->nr_free) 179670b44595SMel Gorman continue; 179770b44595SMel Gorman 179870b44595SMel Gorman spin_lock_irqsave(&cc->zone->lock, flags); 179970b44595SMel Gorman freelist = &area->free_list[MIGRATE_MOVABLE]; 180070b44595SMel Gorman list_for_each_entry(freepage, freelist, lru) { 180170b44595SMel Gorman unsigned long free_pfn; 180270b44595SMel Gorman 180315d28d0dSWonhyuk Yang if (nr_scanned++ >= limit) { 180415d28d0dSWonhyuk Yang move_freelist_tail(freelist, freepage); 180515d28d0dSWonhyuk Yang break; 180615d28d0dSWonhyuk Yang } 180715d28d0dSWonhyuk Yang 180870b44595SMel Gorman free_pfn = page_to_pfn(freepage); 180970b44595SMel Gorman if (free_pfn < high_pfn) { 181070b44595SMel Gorman /* 181170b44595SMel Gorman * Avoid if skipped recently. Ideally it would 181270b44595SMel Gorman * move to the tail but even safe iteration of 181370b44595SMel Gorman * the list assumes an entry is deleted, not 181470b44595SMel Gorman * reordered. 181570b44595SMel Gorman */ 181615d28d0dSWonhyuk Yang if (get_pageblock_skip(freepage)) 181770b44595SMel Gorman continue; 181870b44595SMel Gorman 181970b44595SMel Gorman /* Reorder to so a future search skips recent pages */ 182070b44595SMel Gorman move_freelist_tail(freelist, freepage); 182170b44595SMel Gorman 1822e380bebeSMel Gorman update_fast_start_pfn(cc, free_pfn); 182370b44595SMel Gorman pfn = pageblock_start_pfn(free_pfn); 182470b44595SMel Gorman cc->fast_search_fail = 0; 182515d28d0dSWonhyuk Yang found_block = true; 182670b44595SMel Gorman set_pageblock_skip(freepage); 182770b44595SMel Gorman break; 182870b44595SMel Gorman } 182970b44595SMel Gorman } 183070b44595SMel Gorman spin_unlock_irqrestore(&cc->zone->lock, flags); 183170b44595SMel Gorman } 183270b44595SMel Gorman 183370b44595SMel Gorman cc->total_migrate_scanned += nr_scanned; 183470b44595SMel Gorman 183570b44595SMel Gorman /* 183670b44595SMel Gorman * If fast scanning failed then use a cached entry for a page block 183770b44595SMel Gorman * that had free pages as the basis for starting a linear scan. 183870b44595SMel Gorman */ 183915d28d0dSWonhyuk Yang if (!found_block) { 184015d28d0dSWonhyuk Yang cc->fast_search_fail++; 184170b44595SMel Gorman pfn = reinit_migrate_pfn(cc); 184215d28d0dSWonhyuk Yang } 184370b44595SMel Gorman return pfn; 184470b44595SMel Gorman } 184570b44595SMel Gorman 18465bbe3547SEric B Munson /* 1847edc2ca61SVlastimil Babka * Isolate all pages that can be migrated from the first suitable block, 1848edc2ca61SVlastimil Babka * starting at the block pointed to by the migrate scanner pfn within 1849edc2ca61SVlastimil Babka * compact_control. 1850ff9543fdSMichal Nazarewicz */ 185132aaf055SPengfei Li static isolate_migrate_t isolate_migratepages(struct compact_control *cc) 1852ff9543fdSMichal Nazarewicz { 1853e1409c32SJoonsoo Kim unsigned long block_start_pfn; 1854e1409c32SJoonsoo Kim unsigned long block_end_pfn; 1855e1409c32SJoonsoo Kim unsigned long low_pfn; 1856edc2ca61SVlastimil Babka struct page *page; 1857edc2ca61SVlastimil Babka const isolate_mode_t isolate_mode = 18585bbe3547SEric B Munson (sysctl_compact_unevictable_allowed ? ISOLATE_UNEVICTABLE : 0) | 18591d2047feSHugh Dickins (cc->mode != MIGRATE_SYNC ? ISOLATE_ASYNC_MIGRATE : 0); 186070b44595SMel Gorman bool fast_find_block; 1861ff9543fdSMichal Nazarewicz 1862edc2ca61SVlastimil Babka /* 1863edc2ca61SVlastimil Babka * Start at where we last stopped, or beginning of the zone as 186470b44595SMel Gorman * initialized by compact_zone(). The first failure will use 186570b44595SMel Gorman * the lowest PFN as the starting point for linear scanning. 1866edc2ca61SVlastimil Babka */ 186770b44595SMel Gorman low_pfn = fast_find_migrateblock(cc); 186806b6640aSVlastimil Babka block_start_pfn = pageblock_start_pfn(low_pfn); 186932aaf055SPengfei Li if (block_start_pfn < cc->zone->zone_start_pfn) 187032aaf055SPengfei Li block_start_pfn = cc->zone->zone_start_pfn; 1871ff9543fdSMichal Nazarewicz 187270b44595SMel Gorman /* 187370b44595SMel Gorman * fast_find_migrateblock marks a pageblock skipped so to avoid 187470b44595SMel Gorman * the isolation_suitable check below, check whether the fast 187570b44595SMel Gorman * search was successful. 187670b44595SMel Gorman */ 187770b44595SMel Gorman fast_find_block = low_pfn != cc->migrate_pfn && !cc->fast_search_fail; 187870b44595SMel Gorman 1879ff9543fdSMichal Nazarewicz /* Only scan within a pageblock boundary */ 188006b6640aSVlastimil Babka block_end_pfn = pageblock_end_pfn(low_pfn); 1881ff9543fdSMichal Nazarewicz 1882edc2ca61SVlastimil Babka /* 1883edc2ca61SVlastimil Babka * Iterate over whole pageblocks until we find the first suitable. 1884edc2ca61SVlastimil Babka * Do not cross the free scanner. 1885edc2ca61SVlastimil Babka */ 1886e1409c32SJoonsoo Kim for (; block_end_pfn <= cc->free_pfn; 188770b44595SMel Gorman fast_find_block = false, 1888c2ad7a1fSOscar Salvador cc->migrate_pfn = low_pfn = block_end_pfn, 1889e1409c32SJoonsoo Kim block_start_pfn = block_end_pfn, 1890e1409c32SJoonsoo Kim block_end_pfn += pageblock_nr_pages) { 1891edc2ca61SVlastimil Babka 1892edc2ca61SVlastimil Babka /* 1893edc2ca61SVlastimil Babka * This can potentially iterate a massively long zone with 1894edc2ca61SVlastimil Babka * many pageblocks unsuitable, so periodically check if we 1895cb810ad2SMel Gorman * need to schedule. 1896edc2ca61SVlastimil Babka */ 1897cb810ad2SMel Gorman if (!(low_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages))) 1898cf66f070SMel Gorman cond_resched(); 1899edc2ca61SVlastimil Babka 190032aaf055SPengfei Li page = pageblock_pfn_to_page(block_start_pfn, 190132aaf055SPengfei Li block_end_pfn, cc->zone); 19027d49d886SVlastimil Babka if (!page) 1903edc2ca61SVlastimil Babka continue; 1904edc2ca61SVlastimil Babka 1905e380bebeSMel Gorman /* 1906e380bebeSMel Gorman * If isolation recently failed, do not retry. Only check the 1907e380bebeSMel Gorman * pageblock once. COMPACT_CLUSTER_MAX causes a pageblock 1908e380bebeSMel Gorman * to be visited multiple times. Assume skip was checked 1909e380bebeSMel Gorman * before making it "skip" so other compaction instances do 1910e380bebeSMel Gorman * not scan the same block. 1911e380bebeSMel Gorman */ 1912e380bebeSMel Gorman if (IS_ALIGNED(low_pfn, pageblock_nr_pages) && 1913e380bebeSMel Gorman !fast_find_block && !isolation_suitable(cc, page)) 1914edc2ca61SVlastimil Babka continue; 1915edc2ca61SVlastimil Babka 1916edc2ca61SVlastimil Babka /* 19179bebefd5SMel Gorman * For async compaction, also only scan in MOVABLE blocks 19189bebefd5SMel Gorman * without huge pages. Async compaction is optimistic to see 19199bebefd5SMel Gorman * if the minimum amount of work satisfies the allocation. 19209bebefd5SMel Gorman * The cached PFN is updated as it's possible that all 19219bebefd5SMel Gorman * remaining blocks between source and target are unsuitable 19229bebefd5SMel Gorman * and the compaction scanners fail to meet. 1923edc2ca61SVlastimil Babka */ 19249bebefd5SMel Gorman if (!suitable_migration_source(cc, page)) { 19259bebefd5SMel Gorman update_cached_migrate(cc, block_end_pfn); 1926edc2ca61SVlastimil Babka continue; 19279bebefd5SMel Gorman } 1928ff9543fdSMichal Nazarewicz 1929ff9543fdSMichal Nazarewicz /* Perform the isolation */ 1930c2ad7a1fSOscar Salvador if (isolate_migratepages_block(cc, low_pfn, block_end_pfn, 1931c2ad7a1fSOscar Salvador isolate_mode)) 1932ff9543fdSMichal Nazarewicz return ISOLATE_ABORT; 1933ff9543fdSMichal Nazarewicz 1934edc2ca61SVlastimil Babka /* 1935edc2ca61SVlastimil Babka * Either we isolated something and proceed with migration. Or 1936edc2ca61SVlastimil Babka * we failed and compact_zone should decide if we should 1937edc2ca61SVlastimil Babka * continue or not. 1938edc2ca61SVlastimil Babka */ 1939edc2ca61SVlastimil Babka break; 1940edc2ca61SVlastimil Babka } 1941edc2ca61SVlastimil Babka 1942edc2ca61SVlastimil Babka return cc->nr_migratepages ? ISOLATE_SUCCESS : ISOLATE_NONE; 1943ff9543fdSMichal Nazarewicz } 1944ff9543fdSMichal Nazarewicz 194521c527a3SYaowei Bai /* 194621c527a3SYaowei Bai * order == -1 is expected when compacting via 194721c527a3SYaowei Bai * /proc/sys/vm/compact_memory 194821c527a3SYaowei Bai */ 194921c527a3SYaowei Bai static inline bool is_via_compact_memory(int order) 195021c527a3SYaowei Bai { 195121c527a3SYaowei Bai return order == -1; 195221c527a3SYaowei Bai } 195321c527a3SYaowei Bai 1954facdaa91SNitin Gupta static bool kswapd_is_running(pg_data_t *pgdat) 1955facdaa91SNitin Gupta { 1956b03fbd4fSPeter Zijlstra return pgdat->kswapd && task_is_running(pgdat->kswapd); 1957facdaa91SNitin Gupta } 1958facdaa91SNitin Gupta 1959facdaa91SNitin Gupta /* 1960facdaa91SNitin Gupta * A zone's fragmentation score is the external fragmentation wrt to the 196140d7e203SCharan Teja Reddy * COMPACTION_HPAGE_ORDER. It returns a value in the range [0, 100]. 196240d7e203SCharan Teja Reddy */ 196340d7e203SCharan Teja Reddy static unsigned int fragmentation_score_zone(struct zone *zone) 196440d7e203SCharan Teja Reddy { 196540d7e203SCharan Teja Reddy return extfrag_for_order(zone, COMPACTION_HPAGE_ORDER); 196640d7e203SCharan Teja Reddy } 196740d7e203SCharan Teja Reddy 196840d7e203SCharan Teja Reddy /* 196940d7e203SCharan Teja Reddy * A weighted zone's fragmentation score is the external fragmentation 197040d7e203SCharan Teja Reddy * wrt to the COMPACTION_HPAGE_ORDER scaled by the zone's size. It 197140d7e203SCharan Teja Reddy * returns a value in the range [0, 100]. 1972facdaa91SNitin Gupta * 1973facdaa91SNitin Gupta * The scaling factor ensures that proactive compaction focuses on larger 1974facdaa91SNitin Gupta * zones like ZONE_NORMAL, rather than smaller, specialized zones like 1975facdaa91SNitin Gupta * ZONE_DMA32. For smaller zones, the score value remains close to zero, 1976facdaa91SNitin Gupta * and thus never exceeds the high threshold for proactive compaction. 1977facdaa91SNitin Gupta */ 197840d7e203SCharan Teja Reddy static unsigned int fragmentation_score_zone_weighted(struct zone *zone) 1979facdaa91SNitin Gupta { 1980facdaa91SNitin Gupta unsigned long score; 1981facdaa91SNitin Gupta 198240d7e203SCharan Teja Reddy score = zone->present_pages * fragmentation_score_zone(zone); 1983facdaa91SNitin Gupta return div64_ul(score, zone->zone_pgdat->node_present_pages + 1); 1984facdaa91SNitin Gupta } 1985facdaa91SNitin Gupta 1986facdaa91SNitin Gupta /* 1987facdaa91SNitin Gupta * The per-node proactive (background) compaction process is started by its 1988facdaa91SNitin Gupta * corresponding kcompactd thread when the node's fragmentation score 1989facdaa91SNitin Gupta * exceeds the high threshold. The compaction process remains active till 1990facdaa91SNitin Gupta * the node's score falls below the low threshold, or one of the back-off 1991facdaa91SNitin Gupta * conditions is met. 1992facdaa91SNitin Gupta */ 1993d34c0a75SNitin Gupta static unsigned int fragmentation_score_node(pg_data_t *pgdat) 1994facdaa91SNitin Gupta { 1995d34c0a75SNitin Gupta unsigned int score = 0; 1996facdaa91SNitin Gupta int zoneid; 1997facdaa91SNitin Gupta 1998facdaa91SNitin Gupta for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { 1999facdaa91SNitin Gupta struct zone *zone; 2000facdaa91SNitin Gupta 2001facdaa91SNitin Gupta zone = &pgdat->node_zones[zoneid]; 200240d7e203SCharan Teja Reddy score += fragmentation_score_zone_weighted(zone); 2003facdaa91SNitin Gupta } 2004facdaa91SNitin Gupta 2005facdaa91SNitin Gupta return score; 2006facdaa91SNitin Gupta } 2007facdaa91SNitin Gupta 2008d34c0a75SNitin Gupta static unsigned int fragmentation_score_wmark(pg_data_t *pgdat, bool low) 2009facdaa91SNitin Gupta { 2010d34c0a75SNitin Gupta unsigned int wmark_low; 2011facdaa91SNitin Gupta 2012facdaa91SNitin Gupta /* 2013f0953a1bSIngo Molnar * Cap the low watermark to avoid excessive compaction 2014f0953a1bSIngo Molnar * activity in case a user sets the proactiveness tunable 2015facdaa91SNitin Gupta * close to 100 (maximum). 2016facdaa91SNitin Gupta */ 2017d34c0a75SNitin Gupta wmark_low = max(100U - sysctl_compaction_proactiveness, 5U); 2018d34c0a75SNitin Gupta return low ? wmark_low : min(wmark_low + 10, 100U); 2019facdaa91SNitin Gupta } 2020facdaa91SNitin Gupta 2021facdaa91SNitin Gupta static bool should_proactive_compact_node(pg_data_t *pgdat) 2022facdaa91SNitin Gupta { 2023facdaa91SNitin Gupta int wmark_high; 2024facdaa91SNitin Gupta 2025facdaa91SNitin Gupta if (!sysctl_compaction_proactiveness || kswapd_is_running(pgdat)) 2026facdaa91SNitin Gupta return false; 2027facdaa91SNitin Gupta 2028facdaa91SNitin Gupta wmark_high = fragmentation_score_wmark(pgdat, false); 2029facdaa91SNitin Gupta return fragmentation_score_node(pgdat) > wmark_high; 2030facdaa91SNitin Gupta } 2031facdaa91SNitin Gupta 203240cacbcbSMel Gorman static enum compact_result __compact_finished(struct compact_control *cc) 2033748446bbSMel Gorman { 20348fb74b9fSMel Gorman unsigned int order; 2035d39773a0SVlastimil Babka const int migratetype = cc->migratetype; 2036cb2dcaf0SMel Gorman int ret; 2037748446bbSMel Gorman 2038753341a4SMel Gorman /* Compaction run completes if the migrate and free scanner meet */ 2039f2849aa0SVlastimil Babka if (compact_scanners_met(cc)) { 204055b7c4c9SVlastimil Babka /* Let the next compaction start anew. */ 204140cacbcbSMel Gorman reset_cached_positions(cc->zone); 204255b7c4c9SVlastimil Babka 204362997027SMel Gorman /* 204462997027SMel Gorman * Mark that the PG_migrate_skip information should be cleared 2045accf6242SVlastimil Babka * by kswapd when it goes to sleep. kcompactd does not set the 204662997027SMel Gorman * flag itself as the decision to be clear should be directly 204762997027SMel Gorman * based on an allocation request. 204862997027SMel Gorman */ 2049accf6242SVlastimil Babka if (cc->direct_compaction) 205040cacbcbSMel Gorman cc->zone->compact_blockskip_flush = true; 205162997027SMel Gorman 2052c8f7de0bSMichal Hocko if (cc->whole_zone) 2053748446bbSMel Gorman return COMPACT_COMPLETE; 2054c8f7de0bSMichal Hocko else 2055c8f7de0bSMichal Hocko return COMPACT_PARTIAL_SKIPPED; 2056bb13ffebSMel Gorman } 2057748446bbSMel Gorman 2058facdaa91SNitin Gupta if (cc->proactive_compaction) { 2059facdaa91SNitin Gupta int score, wmark_low; 2060facdaa91SNitin Gupta pg_data_t *pgdat; 2061facdaa91SNitin Gupta 2062facdaa91SNitin Gupta pgdat = cc->zone->zone_pgdat; 2063facdaa91SNitin Gupta if (kswapd_is_running(pgdat)) 2064facdaa91SNitin Gupta return COMPACT_PARTIAL_SKIPPED; 2065facdaa91SNitin Gupta 2066facdaa91SNitin Gupta score = fragmentation_score_zone(cc->zone); 2067facdaa91SNitin Gupta wmark_low = fragmentation_score_wmark(pgdat, true); 2068facdaa91SNitin Gupta 2069facdaa91SNitin Gupta if (score > wmark_low) 2070facdaa91SNitin Gupta ret = COMPACT_CONTINUE; 2071facdaa91SNitin Gupta else 2072facdaa91SNitin Gupta ret = COMPACT_SUCCESS; 2073facdaa91SNitin Gupta 2074facdaa91SNitin Gupta goto out; 2075facdaa91SNitin Gupta } 2076facdaa91SNitin Gupta 207721c527a3SYaowei Bai if (is_via_compact_memory(cc->order)) 207856de7263SMel Gorman return COMPACT_CONTINUE; 207956de7263SMel Gorman 2080baf6a9a1SVlastimil Babka /* 2081efe771c7SMel Gorman * Always finish scanning a pageblock to reduce the possibility of 2082efe771c7SMel Gorman * fallbacks in the future. This is particularly important when 2083efe771c7SMel Gorman * migration source is unmovable/reclaimable but it's not worth 2084efe771c7SMel Gorman * special casing. 2085baf6a9a1SVlastimil Babka */ 2086efe771c7SMel Gorman if (!IS_ALIGNED(cc->migrate_pfn, pageblock_nr_pages)) 2087baf6a9a1SVlastimil Babka return COMPACT_CONTINUE; 2088baf6a9a1SVlastimil Babka 208956de7263SMel Gorman /* Direct compactor: Is a suitable page free? */ 2090cb2dcaf0SMel Gorman ret = COMPACT_NO_SUITABLE_PAGE; 209156de7263SMel Gorman for (order = cc->order; order < MAX_ORDER; order++) { 209240cacbcbSMel Gorman struct free_area *area = &cc->zone->free_area[order]; 20932149cdaeSJoonsoo Kim bool can_steal; 20948fb74b9fSMel Gorman 209556de7263SMel Gorman /* Job done if page is free of the right migratetype */ 2096b03641afSDan Williams if (!free_area_empty(area, migratetype)) 2097cf378319SVlastimil Babka return COMPACT_SUCCESS; 209856de7263SMel Gorman 20992149cdaeSJoonsoo Kim #ifdef CONFIG_CMA 21002149cdaeSJoonsoo Kim /* MIGRATE_MOVABLE can fallback on MIGRATE_CMA */ 21012149cdaeSJoonsoo Kim if (migratetype == MIGRATE_MOVABLE && 2102b03641afSDan Williams !free_area_empty(area, MIGRATE_CMA)) 2103cf378319SVlastimil Babka return COMPACT_SUCCESS; 21042149cdaeSJoonsoo Kim #endif 21052149cdaeSJoonsoo Kim /* 21062149cdaeSJoonsoo Kim * Job done if allocation would steal freepages from 21072149cdaeSJoonsoo Kim * other migratetype buddy lists. 21082149cdaeSJoonsoo Kim */ 21092149cdaeSJoonsoo Kim if (find_suitable_fallback(area, order, migratetype, 2110baf6a9a1SVlastimil Babka true, &can_steal) != -1) { 2111baf6a9a1SVlastimil Babka 2112baf6a9a1SVlastimil Babka /* movable pages are OK in any pageblock */ 2113baf6a9a1SVlastimil Babka if (migratetype == MIGRATE_MOVABLE) 2114cf378319SVlastimil Babka return COMPACT_SUCCESS; 2115baf6a9a1SVlastimil Babka 2116baf6a9a1SVlastimil Babka /* 2117baf6a9a1SVlastimil Babka * We are stealing for a non-movable allocation. Make 2118baf6a9a1SVlastimil Babka * sure we finish compacting the current pageblock 2119baf6a9a1SVlastimil Babka * first so it is as free as possible and we won't 2120baf6a9a1SVlastimil Babka * have to steal another one soon. This only applies 2121baf6a9a1SVlastimil Babka * to sync compaction, as async compaction operates 2122baf6a9a1SVlastimil Babka * on pageblocks of the same migratetype. 2123baf6a9a1SVlastimil Babka */ 2124baf6a9a1SVlastimil Babka if (cc->mode == MIGRATE_ASYNC || 2125baf6a9a1SVlastimil Babka IS_ALIGNED(cc->migrate_pfn, 2126baf6a9a1SVlastimil Babka pageblock_nr_pages)) { 2127baf6a9a1SVlastimil Babka return COMPACT_SUCCESS; 2128baf6a9a1SVlastimil Babka } 2129baf6a9a1SVlastimil Babka 2130cb2dcaf0SMel Gorman ret = COMPACT_CONTINUE; 2131cb2dcaf0SMel Gorman break; 2132baf6a9a1SVlastimil Babka } 213356de7263SMel Gorman } 213456de7263SMel Gorman 2135facdaa91SNitin Gupta out: 2136cb2dcaf0SMel Gorman if (cc->contended || fatal_signal_pending(current)) 2137cb2dcaf0SMel Gorman ret = COMPACT_CONTENDED; 2138cb2dcaf0SMel Gorman 2139cb2dcaf0SMel Gorman return ret; 2140837d026dSJoonsoo Kim } 2141837d026dSJoonsoo Kim 214240cacbcbSMel Gorman static enum compact_result compact_finished(struct compact_control *cc) 2143837d026dSJoonsoo Kim { 2144837d026dSJoonsoo Kim int ret; 2145837d026dSJoonsoo Kim 214640cacbcbSMel Gorman ret = __compact_finished(cc); 214740cacbcbSMel Gorman trace_mm_compaction_finished(cc->zone, cc->order, ret); 2148837d026dSJoonsoo Kim if (ret == COMPACT_NO_SUITABLE_PAGE) 2149837d026dSJoonsoo Kim ret = COMPACT_CONTINUE; 2150837d026dSJoonsoo Kim 2151837d026dSJoonsoo Kim return ret; 2152748446bbSMel Gorman } 2153748446bbSMel Gorman 2154ea7ab982SMichal Hocko static enum compact_result __compaction_suitable(struct zone *zone, int order, 2155c603844bSMel Gorman unsigned int alloc_flags, 215697a225e6SJoonsoo Kim int highest_zoneidx, 215786a294a8SMichal Hocko unsigned long wmark_target) 21583e7d3449SMel Gorman { 21593e7d3449SMel Gorman unsigned long watermark; 21603e7d3449SMel Gorman 216121c527a3SYaowei Bai if (is_via_compact_memory(order)) 21623957c776SMichal Hocko return COMPACT_CONTINUE; 21633957c776SMichal Hocko 2164a9214443SMel Gorman watermark = wmark_pages(zone, alloc_flags & ALLOC_WMARK_MASK); 2165ebff3980SVlastimil Babka /* 2166ebff3980SVlastimil Babka * If watermarks for high-order allocation are already met, there 2167ebff3980SVlastimil Babka * should be no need for compaction at all. 2168ebff3980SVlastimil Babka */ 216997a225e6SJoonsoo Kim if (zone_watermark_ok(zone, order, watermark, highest_zoneidx, 2170ebff3980SVlastimil Babka alloc_flags)) 2171cf378319SVlastimil Babka return COMPACT_SUCCESS; 2172ebff3980SVlastimil Babka 21733957c776SMichal Hocko /* 21749861a62cSVlastimil Babka * Watermarks for order-0 must be met for compaction to be able to 2175984fdba6SVlastimil Babka * isolate free pages for migration targets. This means that the 2176984fdba6SVlastimil Babka * watermark and alloc_flags have to match, or be more pessimistic than 2177984fdba6SVlastimil Babka * the check in __isolate_free_page(). We don't use the direct 2178984fdba6SVlastimil Babka * compactor's alloc_flags, as they are not relevant for freepage 217997a225e6SJoonsoo Kim * isolation. We however do use the direct compactor's highest_zoneidx 218097a225e6SJoonsoo Kim * to skip over zones where lowmem reserves would prevent allocation 218197a225e6SJoonsoo Kim * even if compaction succeeds. 21828348faf9SVlastimil Babka * For costly orders, we require low watermark instead of min for 21838348faf9SVlastimil Babka * compaction to proceed to increase its chances. 2184d883c6cfSJoonsoo Kim * ALLOC_CMA is used, as pages in CMA pageblocks are considered 2185d883c6cfSJoonsoo Kim * suitable migration targets 21863e7d3449SMel Gorman */ 21878348faf9SVlastimil Babka watermark = (order > PAGE_ALLOC_COSTLY_ORDER) ? 21888348faf9SVlastimil Babka low_wmark_pages(zone) : min_wmark_pages(zone); 21898348faf9SVlastimil Babka watermark += compact_gap(order); 219097a225e6SJoonsoo Kim if (!__zone_watermark_ok(zone, 0, watermark, highest_zoneidx, 2191d883c6cfSJoonsoo Kim ALLOC_CMA, wmark_target)) 21923e7d3449SMel Gorman return COMPACT_SKIPPED; 21933e7d3449SMel Gorman 2194cc5c9f09SVlastimil Babka return COMPACT_CONTINUE; 2195cc5c9f09SVlastimil Babka } 2196cc5c9f09SVlastimil Babka 21972b1a20c3SHui Su /* 21982b1a20c3SHui Su * compaction_suitable: Is this suitable to run compaction on this zone now? 21992b1a20c3SHui Su * Returns 22002b1a20c3SHui Su * COMPACT_SKIPPED - If there are too few free pages for compaction 22012b1a20c3SHui Su * COMPACT_SUCCESS - If the allocation would succeed without compaction 22022b1a20c3SHui Su * COMPACT_CONTINUE - If compaction should run now 22032b1a20c3SHui Su */ 2204cc5c9f09SVlastimil Babka enum compact_result compaction_suitable(struct zone *zone, int order, 2205cc5c9f09SVlastimil Babka unsigned int alloc_flags, 220697a225e6SJoonsoo Kim int highest_zoneidx) 2207cc5c9f09SVlastimil Babka { 2208cc5c9f09SVlastimil Babka enum compact_result ret; 2209cc5c9f09SVlastimil Babka int fragindex; 2210cc5c9f09SVlastimil Babka 221197a225e6SJoonsoo Kim ret = __compaction_suitable(zone, order, alloc_flags, highest_zoneidx, 2212cc5c9f09SVlastimil Babka zone_page_state(zone, NR_FREE_PAGES)); 22133e7d3449SMel Gorman /* 22143e7d3449SMel Gorman * fragmentation index determines if allocation failures are due to 22153e7d3449SMel Gorman * low memory or external fragmentation 22163e7d3449SMel Gorman * 2217ebff3980SVlastimil Babka * index of -1000 would imply allocations might succeed depending on 2218ebff3980SVlastimil Babka * watermarks, but we already failed the high-order watermark check 22193e7d3449SMel Gorman * index towards 0 implies failure is due to lack of memory 22203e7d3449SMel Gorman * index towards 1000 implies failure is due to fragmentation 22213e7d3449SMel Gorman * 222220311420SVlastimil Babka * Only compact if a failure would be due to fragmentation. Also 222320311420SVlastimil Babka * ignore fragindex for non-costly orders where the alternative to 222420311420SVlastimil Babka * a successful reclaim/compaction is OOM. Fragindex and the 222520311420SVlastimil Babka * vm.extfrag_threshold sysctl is meant as a heuristic to prevent 222620311420SVlastimil Babka * excessive compaction for costly orders, but it should not be at the 222720311420SVlastimil Babka * expense of system stability. 22283e7d3449SMel Gorman */ 222920311420SVlastimil Babka if (ret == COMPACT_CONTINUE && (order > PAGE_ALLOC_COSTLY_ORDER)) { 22303e7d3449SMel Gorman fragindex = fragmentation_index(zone, order); 22313e7d3449SMel Gorman if (fragindex >= 0 && fragindex <= sysctl_extfrag_threshold) 2232cc5c9f09SVlastimil Babka ret = COMPACT_NOT_SUITABLE_ZONE; 22333e7d3449SMel Gorman } 22343e7d3449SMel Gorman 2235837d026dSJoonsoo Kim trace_mm_compaction_suitable(zone, order, ret); 2236837d026dSJoonsoo Kim if (ret == COMPACT_NOT_SUITABLE_ZONE) 2237837d026dSJoonsoo Kim ret = COMPACT_SKIPPED; 2238837d026dSJoonsoo Kim 2239837d026dSJoonsoo Kim return ret; 2240837d026dSJoonsoo Kim } 2241837d026dSJoonsoo Kim 224286a294a8SMichal Hocko bool compaction_zonelist_suitable(struct alloc_context *ac, int order, 224386a294a8SMichal Hocko int alloc_flags) 224486a294a8SMichal Hocko { 224586a294a8SMichal Hocko struct zone *zone; 224686a294a8SMichal Hocko struct zoneref *z; 224786a294a8SMichal Hocko 224886a294a8SMichal Hocko /* 224986a294a8SMichal Hocko * Make sure at least one zone would pass __compaction_suitable if we continue 225086a294a8SMichal Hocko * retrying the reclaim. 225186a294a8SMichal Hocko */ 225297a225e6SJoonsoo Kim for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, 225397a225e6SJoonsoo Kim ac->highest_zoneidx, ac->nodemask) { 225486a294a8SMichal Hocko unsigned long available; 225586a294a8SMichal Hocko enum compact_result compact_result; 225686a294a8SMichal Hocko 225786a294a8SMichal Hocko /* 225886a294a8SMichal Hocko * Do not consider all the reclaimable memory because we do not 225986a294a8SMichal Hocko * want to trash just for a single high order allocation which 226086a294a8SMichal Hocko * is even not guaranteed to appear even if __compaction_suitable 226186a294a8SMichal Hocko * is happy about the watermark check. 226286a294a8SMichal Hocko */ 22635a1c84b4SMel Gorman available = zone_reclaimable_pages(zone) / order; 226486a294a8SMichal Hocko available += zone_page_state_snapshot(zone, NR_FREE_PAGES); 226586a294a8SMichal Hocko compact_result = __compaction_suitable(zone, order, alloc_flags, 226697a225e6SJoonsoo Kim ac->highest_zoneidx, available); 2267cc5c9f09SVlastimil Babka if (compact_result != COMPACT_SKIPPED) 226886a294a8SMichal Hocko return true; 226986a294a8SMichal Hocko } 227086a294a8SMichal Hocko 227186a294a8SMichal Hocko return false; 227286a294a8SMichal Hocko } 227386a294a8SMichal Hocko 22745e1f0f09SMel Gorman static enum compact_result 22755e1f0f09SMel Gorman compact_zone(struct compact_control *cc, struct capture_control *capc) 2276748446bbSMel Gorman { 2277ea7ab982SMichal Hocko enum compact_result ret; 227840cacbcbSMel Gorman unsigned long start_pfn = cc->zone->zone_start_pfn; 227940cacbcbSMel Gorman unsigned long end_pfn = zone_end_pfn(cc->zone); 2280566e54e1SMel Gorman unsigned long last_migrated_pfn; 2281e0b9daebSDavid Rientjes const bool sync = cc->mode != MIGRATE_ASYNC; 22828854c55fSMel Gorman bool update_cached; 2283748446bbSMel Gorman 2284a94b5252SYafang Shao /* 2285a94b5252SYafang Shao * These counters track activities during zone compaction. Initialize 2286a94b5252SYafang Shao * them before compacting a new zone. 2287a94b5252SYafang Shao */ 2288a94b5252SYafang Shao cc->total_migrate_scanned = 0; 2289a94b5252SYafang Shao cc->total_free_scanned = 0; 2290a94b5252SYafang Shao cc->nr_migratepages = 0; 2291a94b5252SYafang Shao cc->nr_freepages = 0; 2292a94b5252SYafang Shao INIT_LIST_HEAD(&cc->freepages); 2293a94b5252SYafang Shao INIT_LIST_HEAD(&cc->migratepages); 2294a94b5252SYafang Shao 229501c0bfe0SWei Yang cc->migratetype = gfp_migratetype(cc->gfp_mask); 229640cacbcbSMel Gorman ret = compaction_suitable(cc->zone, cc->order, cc->alloc_flags, 229797a225e6SJoonsoo Kim cc->highest_zoneidx); 22983e7d3449SMel Gorman /* Compaction is likely to fail */ 2299cf378319SVlastimil Babka if (ret == COMPACT_SUCCESS || ret == COMPACT_SKIPPED) 23003e7d3449SMel Gorman return ret; 2301c46649deSMichal Hocko 2302c46649deSMichal Hocko /* huh, compaction_suitable is returning something unexpected */ 2303c46649deSMichal Hocko VM_BUG_ON(ret != COMPACT_CONTINUE); 23043e7d3449SMel Gorman 2305c89511abSMel Gorman /* 2306d3132e4bSVlastimil Babka * Clear pageblock skip if there were failures recently and compaction 2307accf6242SVlastimil Babka * is about to be retried after being deferred. 2308d3132e4bSVlastimil Babka */ 230940cacbcbSMel Gorman if (compaction_restarting(cc->zone, cc->order)) 231040cacbcbSMel Gorman __reset_isolation_suitable(cc->zone); 2311d3132e4bSVlastimil Babka 2312d3132e4bSVlastimil Babka /* 2313c89511abSMel Gorman * Setup to move all movable pages to the end of the zone. Used cached 231406ed2998SVlastimil Babka * information on where the scanners should start (unless we explicitly 231506ed2998SVlastimil Babka * want to compact the whole zone), but check that it is initialised 231606ed2998SVlastimil Babka * by ensuring the values are within zone boundaries. 2317c89511abSMel Gorman */ 231870b44595SMel Gorman cc->fast_start_pfn = 0; 231906ed2998SVlastimil Babka if (cc->whole_zone) { 232006ed2998SVlastimil Babka cc->migrate_pfn = start_pfn; 232106ed2998SVlastimil Babka cc->free_pfn = pageblock_start_pfn(end_pfn - 1); 232206ed2998SVlastimil Babka } else { 232340cacbcbSMel Gorman cc->migrate_pfn = cc->zone->compact_cached_migrate_pfn[sync]; 232440cacbcbSMel Gorman cc->free_pfn = cc->zone->compact_cached_free_pfn; 2325623446e4SJoonsoo Kim if (cc->free_pfn < start_pfn || cc->free_pfn >= end_pfn) { 232606b6640aSVlastimil Babka cc->free_pfn = pageblock_start_pfn(end_pfn - 1); 232740cacbcbSMel Gorman cc->zone->compact_cached_free_pfn = cc->free_pfn; 2328c89511abSMel Gorman } 2329623446e4SJoonsoo Kim if (cc->migrate_pfn < start_pfn || cc->migrate_pfn >= end_pfn) { 2330c89511abSMel Gorman cc->migrate_pfn = start_pfn; 233140cacbcbSMel Gorman cc->zone->compact_cached_migrate_pfn[0] = cc->migrate_pfn; 233240cacbcbSMel Gorman cc->zone->compact_cached_migrate_pfn[1] = cc->migrate_pfn; 2333c89511abSMel Gorman } 2334c8f7de0bSMichal Hocko 2335e332f741SMel Gorman if (cc->migrate_pfn <= cc->zone->compact_init_migrate_pfn) 2336c8f7de0bSMichal Hocko cc->whole_zone = true; 233706ed2998SVlastimil Babka } 2338c8f7de0bSMichal Hocko 2339566e54e1SMel Gorman last_migrated_pfn = 0; 2340748446bbSMel Gorman 23418854c55fSMel Gorman /* 23428854c55fSMel Gorman * Migrate has separate cached PFNs for ASYNC and SYNC* migration on 23438854c55fSMel Gorman * the basis that some migrations will fail in ASYNC mode. However, 23448854c55fSMel Gorman * if the cached PFNs match and pageblocks are skipped due to having 23458854c55fSMel Gorman * no isolation candidates, then the sync state does not matter. 23468854c55fSMel Gorman * Until a pageblock with isolation candidates is found, keep the 23478854c55fSMel Gorman * cached PFNs in sync to avoid revisiting the same blocks. 23488854c55fSMel Gorman */ 23498854c55fSMel Gorman update_cached = !sync && 23508854c55fSMel Gorman cc->zone->compact_cached_migrate_pfn[0] == cc->zone->compact_cached_migrate_pfn[1]; 23518854c55fSMel Gorman 235216c4a097SJoonsoo Kim trace_mm_compaction_begin(start_pfn, cc->migrate_pfn, 235316c4a097SJoonsoo Kim cc->free_pfn, end_pfn, sync); 23540eb927c0SMel Gorman 2355361a2a22SMinchan Kim /* lru_add_drain_all could be expensive with involving other CPUs */ 2356361a2a22SMinchan Kim lru_add_drain(); 2357748446bbSMel Gorman 235840cacbcbSMel Gorman while ((ret = compact_finished(cc)) == COMPACT_CONTINUE) { 23599d502c1cSMinchan Kim int err; 236019d3cf9dSYanfei Xu unsigned long iteration_start_pfn = cc->migrate_pfn; 2361748446bbSMel Gorman 2362804d3121SMel Gorman /* 2363804d3121SMel Gorman * Avoid multiple rescans which can happen if a page cannot be 2364804d3121SMel Gorman * isolated (dirty/writeback in async mode) or if the migrated 2365804d3121SMel Gorman * pages are being allocated before the pageblock is cleared. 2366804d3121SMel Gorman * The first rescan will capture the entire pageblock for 2367804d3121SMel Gorman * migration. If it fails, it'll be marked skip and scanning 2368804d3121SMel Gorman * will proceed as normal. 2369804d3121SMel Gorman */ 2370804d3121SMel Gorman cc->rescan = false; 2371804d3121SMel Gorman if (pageblock_start_pfn(last_migrated_pfn) == 237219d3cf9dSYanfei Xu pageblock_start_pfn(iteration_start_pfn)) { 2373804d3121SMel Gorman cc->rescan = true; 2374804d3121SMel Gorman } 2375804d3121SMel Gorman 237632aaf055SPengfei Li switch (isolate_migratepages(cc)) { 2377f9e35b3bSMel Gorman case ISOLATE_ABORT: 23782d1e1041SVlastimil Babka ret = COMPACT_CONTENDED; 23795733c7d1SRafael Aquini putback_movable_pages(&cc->migratepages); 2380e64c5237SShaohua Li cc->nr_migratepages = 0; 2381f9e35b3bSMel Gorman goto out; 2382f9e35b3bSMel Gorman case ISOLATE_NONE: 23838854c55fSMel Gorman if (update_cached) { 23848854c55fSMel Gorman cc->zone->compact_cached_migrate_pfn[1] = 23858854c55fSMel Gorman cc->zone->compact_cached_migrate_pfn[0]; 23868854c55fSMel Gorman } 23878854c55fSMel Gorman 2388fdaf7f5cSVlastimil Babka /* 2389fdaf7f5cSVlastimil Babka * We haven't isolated and migrated anything, but 2390fdaf7f5cSVlastimil Babka * there might still be unflushed migrations from 2391fdaf7f5cSVlastimil Babka * previous cc->order aligned block. 2392fdaf7f5cSVlastimil Babka */ 2393fdaf7f5cSVlastimil Babka goto check_drain; 2394f9e35b3bSMel Gorman case ISOLATE_SUCCESS: 23958854c55fSMel Gorman update_cached = false; 239619d3cf9dSYanfei Xu last_migrated_pfn = iteration_start_pfn; 2397f9e35b3bSMel Gorman } 2398748446bbSMel Gorman 2399d53aea3dSDavid Rientjes err = migrate_pages(&cc->migratepages, compaction_alloc, 2400e0b9daebSDavid Rientjes compaction_free, (unsigned long)cc, cc->mode, 24015ac95884SYang Shi MR_COMPACTION, NULL); 2402748446bbSMel Gorman 2403f8c9301fSVlastimil Babka trace_mm_compaction_migratepages(cc->nr_migratepages, err, 2404f8c9301fSVlastimil Babka &cc->migratepages); 2405748446bbSMel Gorman 2406f8c9301fSVlastimil Babka /* All pages were either migrated or will be released */ 2407f8c9301fSVlastimil Babka cc->nr_migratepages = 0; 24089d502c1cSMinchan Kim if (err) { 24095733c7d1SRafael Aquini putback_movable_pages(&cc->migratepages); 24107ed695e0SVlastimil Babka /* 24117ed695e0SVlastimil Babka * migrate_pages() may return -ENOMEM when scanners meet 24127ed695e0SVlastimil Babka * and we want compact_finished() to detect it 24137ed695e0SVlastimil Babka */ 2414f2849aa0SVlastimil Babka if (err == -ENOMEM && !compact_scanners_met(cc)) { 24152d1e1041SVlastimil Babka ret = COMPACT_CONTENDED; 24164bf2bba3SDavid Rientjes goto out; 2417748446bbSMel Gorman } 2418fdd048e1SVlastimil Babka /* 2419fdd048e1SVlastimil Babka * We failed to migrate at least one page in the current 2420fdd048e1SVlastimil Babka * order-aligned block, so skip the rest of it. 2421fdd048e1SVlastimil Babka */ 2422fdd048e1SVlastimil Babka if (cc->direct_compaction && 2423fdd048e1SVlastimil Babka (cc->mode == MIGRATE_ASYNC)) { 2424fdd048e1SVlastimil Babka cc->migrate_pfn = block_end_pfn( 2425fdd048e1SVlastimil Babka cc->migrate_pfn - 1, cc->order); 2426fdd048e1SVlastimil Babka /* Draining pcplists is useless in this case */ 2427566e54e1SMel Gorman last_migrated_pfn = 0; 2428fdd048e1SVlastimil Babka } 24294bf2bba3SDavid Rientjes } 2430fdaf7f5cSVlastimil Babka 2431fdaf7f5cSVlastimil Babka check_drain: 2432fdaf7f5cSVlastimil Babka /* 2433fdaf7f5cSVlastimil Babka * Has the migration scanner moved away from the previous 2434fdaf7f5cSVlastimil Babka * cc->order aligned block where we migrated from? If yes, 2435fdaf7f5cSVlastimil Babka * flush the pages that were freed, so that they can merge and 2436fdaf7f5cSVlastimil Babka * compact_finished() can detect immediately if allocation 2437fdaf7f5cSVlastimil Babka * would succeed. 2438fdaf7f5cSVlastimil Babka */ 2439566e54e1SMel Gorman if (cc->order > 0 && last_migrated_pfn) { 2440fdaf7f5cSVlastimil Babka unsigned long current_block_start = 244106b6640aSVlastimil Babka block_start_pfn(cc->migrate_pfn, cc->order); 2442fdaf7f5cSVlastimil Babka 2443566e54e1SMel Gorman if (last_migrated_pfn < current_block_start) { 2444b01b2141SIngo Molnar lru_add_drain_cpu_zone(cc->zone); 2445fdaf7f5cSVlastimil Babka /* No more flushing until we migrate again */ 2446566e54e1SMel Gorman last_migrated_pfn = 0; 2447fdaf7f5cSVlastimil Babka } 2448fdaf7f5cSVlastimil Babka } 2449fdaf7f5cSVlastimil Babka 24505e1f0f09SMel Gorman /* Stop if a page has been captured */ 24515e1f0f09SMel Gorman if (capc && capc->page) { 24525e1f0f09SMel Gorman ret = COMPACT_SUCCESS; 24535e1f0f09SMel Gorman break; 24545e1f0f09SMel Gorman } 2455748446bbSMel Gorman } 2456748446bbSMel Gorman 2457f9e35b3bSMel Gorman out: 24586bace090SVlastimil Babka /* 24596bace090SVlastimil Babka * Release free pages and update where the free scanner should restart, 24606bace090SVlastimil Babka * so we don't leave any returned pages behind in the next attempt. 24616bace090SVlastimil Babka */ 24626bace090SVlastimil Babka if (cc->nr_freepages > 0) { 24636bace090SVlastimil Babka unsigned long free_pfn = release_freepages(&cc->freepages); 24646bace090SVlastimil Babka 24656bace090SVlastimil Babka cc->nr_freepages = 0; 24666bace090SVlastimil Babka VM_BUG_ON(free_pfn == 0); 24676bace090SVlastimil Babka /* The cached pfn is always the first in a pageblock */ 246806b6640aSVlastimil Babka free_pfn = pageblock_start_pfn(free_pfn); 24696bace090SVlastimil Babka /* 24706bace090SVlastimil Babka * Only go back, not forward. The cached pfn might have been 24716bace090SVlastimil Babka * already reset to zone end in compact_finished() 24726bace090SVlastimil Babka */ 247340cacbcbSMel Gorman if (free_pfn > cc->zone->compact_cached_free_pfn) 247440cacbcbSMel Gorman cc->zone->compact_cached_free_pfn = free_pfn; 24756bace090SVlastimil Babka } 2476748446bbSMel Gorman 24777f354a54SDavid Rientjes count_compact_events(COMPACTMIGRATE_SCANNED, cc->total_migrate_scanned); 24787f354a54SDavid Rientjes count_compact_events(COMPACTFREE_SCANNED, cc->total_free_scanned); 24797f354a54SDavid Rientjes 248016c4a097SJoonsoo Kim trace_mm_compaction_end(start_pfn, cc->migrate_pfn, 248116c4a097SJoonsoo Kim cc->free_pfn, end_pfn, sync, ret); 24820eb927c0SMel Gorman 2483748446bbSMel Gorman return ret; 2484748446bbSMel Gorman } 248576ab0f53SMel Gorman 2486ea7ab982SMichal Hocko static enum compact_result compact_zone_order(struct zone *zone, int order, 2487c3486f53SVlastimil Babka gfp_t gfp_mask, enum compact_priority prio, 248897a225e6SJoonsoo Kim unsigned int alloc_flags, int highest_zoneidx, 24895e1f0f09SMel Gorman struct page **capture) 249056de7263SMel Gorman { 2491ea7ab982SMichal Hocko enum compact_result ret; 249256de7263SMel Gorman struct compact_control cc = { 249356de7263SMel Gorman .order = order, 2494dbe2d4e4SMel Gorman .search_order = order, 24956d7ce559SDavid Rientjes .gfp_mask = gfp_mask, 249656de7263SMel Gorman .zone = zone, 2497a5508cd8SVlastimil Babka .mode = (prio == COMPACT_PRIO_ASYNC) ? 2498a5508cd8SVlastimil Babka MIGRATE_ASYNC : MIGRATE_SYNC_LIGHT, 2499ebff3980SVlastimil Babka .alloc_flags = alloc_flags, 250097a225e6SJoonsoo Kim .highest_zoneidx = highest_zoneidx, 2501accf6242SVlastimil Babka .direct_compaction = true, 2502a8e025e5SVlastimil Babka .whole_zone = (prio == MIN_COMPACT_PRIORITY), 25039f7e3387SVlastimil Babka .ignore_skip_hint = (prio == MIN_COMPACT_PRIORITY), 25049f7e3387SVlastimil Babka .ignore_block_suitable = (prio == MIN_COMPACT_PRIORITY) 250556de7263SMel Gorman }; 25065e1f0f09SMel Gorman struct capture_control capc = { 25075e1f0f09SMel Gorman .cc = &cc, 25085e1f0f09SMel Gorman .page = NULL, 25095e1f0f09SMel Gorman }; 25105e1f0f09SMel Gorman 2511b9e20f0dSVlastimil Babka /* 2512b9e20f0dSVlastimil Babka * Make sure the structs are really initialized before we expose the 2513b9e20f0dSVlastimil Babka * capture control, in case we are interrupted and the interrupt handler 2514b9e20f0dSVlastimil Babka * frees a page. 2515b9e20f0dSVlastimil Babka */ 2516b9e20f0dSVlastimil Babka barrier(); 2517b9e20f0dSVlastimil Babka WRITE_ONCE(current->capture_control, &capc); 251856de7263SMel Gorman 25195e1f0f09SMel Gorman ret = compact_zone(&cc, &capc); 2520e64c5237SShaohua Li 2521e64c5237SShaohua Li VM_BUG_ON(!list_empty(&cc.freepages)); 2522e64c5237SShaohua Li VM_BUG_ON(!list_empty(&cc.migratepages)); 2523e64c5237SShaohua Li 2524b9e20f0dSVlastimil Babka /* 2525b9e20f0dSVlastimil Babka * Make sure we hide capture control first before we read the captured 2526b9e20f0dSVlastimil Babka * page pointer, otherwise an interrupt could free and capture a page 2527b9e20f0dSVlastimil Babka * and we would leak it. 2528b9e20f0dSVlastimil Babka */ 2529b9e20f0dSVlastimil Babka WRITE_ONCE(current->capture_control, NULL); 2530b9e20f0dSVlastimil Babka *capture = READ_ONCE(capc.page); 253106dac2f4SCharan Teja Reddy /* 253206dac2f4SCharan Teja Reddy * Technically, it is also possible that compaction is skipped but 253306dac2f4SCharan Teja Reddy * the page is still captured out of luck(IRQ came and freed the page). 253406dac2f4SCharan Teja Reddy * Returning COMPACT_SUCCESS in such cases helps in properly accounting 253506dac2f4SCharan Teja Reddy * the COMPACT[STALL|FAIL] when compaction is skipped. 253606dac2f4SCharan Teja Reddy */ 253706dac2f4SCharan Teja Reddy if (*capture) 253806dac2f4SCharan Teja Reddy ret = COMPACT_SUCCESS; 25395e1f0f09SMel Gorman 2540e64c5237SShaohua Li return ret; 254156de7263SMel Gorman } 254256de7263SMel Gorman 25435e771905SMel Gorman int sysctl_extfrag_threshold = 500; 25445e771905SMel Gorman 254556de7263SMel Gorman /** 254656de7263SMel Gorman * try_to_compact_pages - Direct compact to satisfy a high-order allocation 254756de7263SMel Gorman * @gfp_mask: The GFP mask of the current allocation 25481a6d53a1SVlastimil Babka * @order: The order of the current allocation 25491a6d53a1SVlastimil Babka * @alloc_flags: The allocation flags of the current allocation 25501a6d53a1SVlastimil Babka * @ac: The context of current allocation 2551112d2d29SYang Shi * @prio: Determines how hard direct compaction should try to succeed 25526467552cSVlastimil Babka * @capture: Pointer to free page created by compaction will be stored here 255356de7263SMel Gorman * 255456de7263SMel Gorman * This is the main entry point for direct page compaction. 255556de7263SMel Gorman */ 2556ea7ab982SMichal Hocko enum compact_result try_to_compact_pages(gfp_t gfp_mask, unsigned int order, 2557c603844bSMel Gorman unsigned int alloc_flags, const struct alloc_context *ac, 25585e1f0f09SMel Gorman enum compact_priority prio, struct page **capture) 255956de7263SMel Gorman { 256056de7263SMel Gorman int may_perform_io = gfp_mask & __GFP_IO; 256156de7263SMel Gorman struct zoneref *z; 256256de7263SMel Gorman struct zone *zone; 25631d4746d3SMichal Hocko enum compact_result rc = COMPACT_SKIPPED; 256456de7263SMel Gorman 256573e64c51SMichal Hocko /* 256673e64c51SMichal Hocko * Check if the GFP flags allow compaction - GFP_NOIO is really 256773e64c51SMichal Hocko * tricky context because the migration might require IO 256873e64c51SMichal Hocko */ 256973e64c51SMichal Hocko if (!may_perform_io) 257053853e2dSVlastimil Babka return COMPACT_SKIPPED; 257156de7263SMel Gorman 2572a5508cd8SVlastimil Babka trace_mm_compaction_try_to_compact_pages(order, gfp_mask, prio); 2573837d026dSJoonsoo Kim 257456de7263SMel Gorman /* Compact each zone in the list */ 257597a225e6SJoonsoo Kim for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, 257697a225e6SJoonsoo Kim ac->highest_zoneidx, ac->nodemask) { 2577ea7ab982SMichal Hocko enum compact_result status; 257856de7263SMel Gorman 2579a8e025e5SVlastimil Babka if (prio > MIN_COMPACT_PRIORITY 2580a8e025e5SVlastimil Babka && compaction_deferred(zone, order)) { 25811d4746d3SMichal Hocko rc = max_t(enum compact_result, COMPACT_DEFERRED, rc); 258253853e2dSVlastimil Babka continue; 25831d4746d3SMichal Hocko } 258453853e2dSVlastimil Babka 2585a5508cd8SVlastimil Babka status = compact_zone_order(zone, order, gfp_mask, prio, 258697a225e6SJoonsoo Kim alloc_flags, ac->highest_zoneidx, capture); 258756de7263SMel Gorman rc = max(status, rc); 258856de7263SMel Gorman 25897ceb009aSVlastimil Babka /* The allocation should succeed, stop compacting */ 25907ceb009aSVlastimil Babka if (status == COMPACT_SUCCESS) { 259153853e2dSVlastimil Babka /* 259253853e2dSVlastimil Babka * We think the allocation will succeed in this zone, 259353853e2dSVlastimil Babka * but it is not certain, hence the false. The caller 259453853e2dSVlastimil Babka * will repeat this with true if allocation indeed 259553853e2dSVlastimil Babka * succeeds in this zone. 259653853e2dSVlastimil Babka */ 259753853e2dSVlastimil Babka compaction_defer_reset(zone, order, false); 25981f9efdefSVlastimil Babka 2599c3486f53SVlastimil Babka break; 26001f9efdefSVlastimil Babka } 26011f9efdefSVlastimil Babka 2602a5508cd8SVlastimil Babka if (prio != COMPACT_PRIO_ASYNC && (status == COMPACT_COMPLETE || 2603c3486f53SVlastimil Babka status == COMPACT_PARTIAL_SKIPPED)) 260453853e2dSVlastimil Babka /* 260553853e2dSVlastimil Babka * We think that allocation won't succeed in this zone 260653853e2dSVlastimil Babka * so we defer compaction there. If it ends up 260753853e2dSVlastimil Babka * succeeding after all, it will be reset. 260853853e2dSVlastimil Babka */ 260953853e2dSVlastimil Babka defer_compaction(zone, order); 26101f9efdefSVlastimil Babka 26111f9efdefSVlastimil Babka /* 26121f9efdefSVlastimil Babka * We might have stopped compacting due to need_resched() in 26131f9efdefSVlastimil Babka * async compaction, or due to a fatal signal detected. In that 2614c3486f53SVlastimil Babka * case do not try further zones 26151f9efdefSVlastimil Babka */ 2616c3486f53SVlastimil Babka if ((prio == COMPACT_PRIO_ASYNC && need_resched()) 2617c3486f53SVlastimil Babka || fatal_signal_pending(current)) 26181f9efdefSVlastimil Babka break; 26191f9efdefSVlastimil Babka } 26201f9efdefSVlastimil Babka 262156de7263SMel Gorman return rc; 262256de7263SMel Gorman } 262356de7263SMel Gorman 2624facdaa91SNitin Gupta /* 2625facdaa91SNitin Gupta * Compact all zones within a node till each zone's fragmentation score 2626facdaa91SNitin Gupta * reaches within proactive compaction thresholds (as determined by the 2627facdaa91SNitin Gupta * proactiveness tunable). 2628facdaa91SNitin Gupta * 2629facdaa91SNitin Gupta * It is possible that the function returns before reaching score targets 2630facdaa91SNitin Gupta * due to various back-off conditions, such as, contention on per-node or 2631facdaa91SNitin Gupta * per-zone locks. 2632facdaa91SNitin Gupta */ 2633facdaa91SNitin Gupta static void proactive_compact_node(pg_data_t *pgdat) 2634facdaa91SNitin Gupta { 2635facdaa91SNitin Gupta int zoneid; 2636facdaa91SNitin Gupta struct zone *zone; 2637facdaa91SNitin Gupta struct compact_control cc = { 2638facdaa91SNitin Gupta .order = -1, 2639facdaa91SNitin Gupta .mode = MIGRATE_SYNC_LIGHT, 2640facdaa91SNitin Gupta .ignore_skip_hint = true, 2641facdaa91SNitin Gupta .whole_zone = true, 2642facdaa91SNitin Gupta .gfp_mask = GFP_KERNEL, 2643facdaa91SNitin Gupta .proactive_compaction = true, 2644facdaa91SNitin Gupta }; 2645facdaa91SNitin Gupta 2646facdaa91SNitin Gupta for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { 2647facdaa91SNitin Gupta zone = &pgdat->node_zones[zoneid]; 2648facdaa91SNitin Gupta if (!populated_zone(zone)) 2649facdaa91SNitin Gupta continue; 2650facdaa91SNitin Gupta 2651facdaa91SNitin Gupta cc.zone = zone; 2652facdaa91SNitin Gupta 2653facdaa91SNitin Gupta compact_zone(&cc, NULL); 2654facdaa91SNitin Gupta 2655facdaa91SNitin Gupta VM_BUG_ON(!list_empty(&cc.freepages)); 2656facdaa91SNitin Gupta VM_BUG_ON(!list_empty(&cc.migratepages)); 2657facdaa91SNitin Gupta } 2658facdaa91SNitin Gupta } 265956de7263SMel Gorman 266076ab0f53SMel Gorman /* Compact all zones within a node */ 26617103f16dSAndrew Morton static void compact_node(int nid) 26627be62de9SRik van Riel { 2663791cae96SVlastimil Babka pg_data_t *pgdat = NODE_DATA(nid); 2664791cae96SVlastimil Babka int zoneid; 2665791cae96SVlastimil Babka struct zone *zone; 26667be62de9SRik van Riel struct compact_control cc = { 26677be62de9SRik van Riel .order = -1, 2668e0b9daebSDavid Rientjes .mode = MIGRATE_SYNC, 266991ca9186SDavid Rientjes .ignore_skip_hint = true, 267006ed2998SVlastimil Babka .whole_zone = true, 267173e64c51SMichal Hocko .gfp_mask = GFP_KERNEL, 26727be62de9SRik van Riel }; 26737be62de9SRik van Riel 2674791cae96SVlastimil Babka 2675791cae96SVlastimil Babka for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { 2676791cae96SVlastimil Babka 2677791cae96SVlastimil Babka zone = &pgdat->node_zones[zoneid]; 2678791cae96SVlastimil Babka if (!populated_zone(zone)) 2679791cae96SVlastimil Babka continue; 2680791cae96SVlastimil Babka 2681791cae96SVlastimil Babka cc.zone = zone; 2682791cae96SVlastimil Babka 26835e1f0f09SMel Gorman compact_zone(&cc, NULL); 2684791cae96SVlastimil Babka 2685791cae96SVlastimil Babka VM_BUG_ON(!list_empty(&cc.freepages)); 2686791cae96SVlastimil Babka VM_BUG_ON(!list_empty(&cc.migratepages)); 2687791cae96SVlastimil Babka } 26887be62de9SRik van Riel } 26897be62de9SRik van Riel 269076ab0f53SMel Gorman /* Compact all nodes in the system */ 26917964c06dSJason Liu static void compact_nodes(void) 269276ab0f53SMel Gorman { 269376ab0f53SMel Gorman int nid; 269476ab0f53SMel Gorman 26958575ec29SHugh Dickins /* Flush pending updates to the LRU lists */ 26968575ec29SHugh Dickins lru_add_drain_all(); 26978575ec29SHugh Dickins 269876ab0f53SMel Gorman for_each_online_node(nid) 269976ab0f53SMel Gorman compact_node(nid); 270076ab0f53SMel Gorman } 270176ab0f53SMel Gorman 2702fec4eb2cSYaowei Bai /* 2703facdaa91SNitin Gupta * Tunable for proactive compaction. It determines how 2704facdaa91SNitin Gupta * aggressively the kernel should compact memory in the 2705facdaa91SNitin Gupta * background. It takes values in the range [0, 100]. 2706facdaa91SNitin Gupta */ 2707d34c0a75SNitin Gupta unsigned int __read_mostly sysctl_compaction_proactiveness = 20; 2708facdaa91SNitin Gupta 2709facdaa91SNitin Gupta /* 2710fec4eb2cSYaowei Bai * This is the entry point for compacting all nodes via 2711fec4eb2cSYaowei Bai * /proc/sys/vm/compact_memory 2712fec4eb2cSYaowei Bai */ 271376ab0f53SMel Gorman int sysctl_compaction_handler(struct ctl_table *table, int write, 271432927393SChristoph Hellwig void *buffer, size_t *length, loff_t *ppos) 271576ab0f53SMel Gorman { 271676ab0f53SMel Gorman if (write) 27177964c06dSJason Liu compact_nodes(); 271876ab0f53SMel Gorman 271976ab0f53SMel Gorman return 0; 272076ab0f53SMel Gorman } 2721ed4a6d7fSMel Gorman 2722ed4a6d7fSMel Gorman #if defined(CONFIG_SYSFS) && defined(CONFIG_NUMA) 272317adb230SYueHaibing static ssize_t compact_store(struct device *dev, 272410fbcf4cSKay Sievers struct device_attribute *attr, 2725ed4a6d7fSMel Gorman const char *buf, size_t count) 2726ed4a6d7fSMel Gorman { 27278575ec29SHugh Dickins int nid = dev->id; 27288575ec29SHugh Dickins 27298575ec29SHugh Dickins if (nid >= 0 && nid < nr_node_ids && node_online(nid)) { 27308575ec29SHugh Dickins /* Flush pending updates to the LRU lists */ 27318575ec29SHugh Dickins lru_add_drain_all(); 27328575ec29SHugh Dickins 27338575ec29SHugh Dickins compact_node(nid); 27348575ec29SHugh Dickins } 2735ed4a6d7fSMel Gorman 2736ed4a6d7fSMel Gorman return count; 2737ed4a6d7fSMel Gorman } 273817adb230SYueHaibing static DEVICE_ATTR_WO(compact); 2739ed4a6d7fSMel Gorman 2740ed4a6d7fSMel Gorman int compaction_register_node(struct node *node) 2741ed4a6d7fSMel Gorman { 274210fbcf4cSKay Sievers return device_create_file(&node->dev, &dev_attr_compact); 2743ed4a6d7fSMel Gorman } 2744ed4a6d7fSMel Gorman 2745ed4a6d7fSMel Gorman void compaction_unregister_node(struct node *node) 2746ed4a6d7fSMel Gorman { 274710fbcf4cSKay Sievers return device_remove_file(&node->dev, &dev_attr_compact); 2748ed4a6d7fSMel Gorman } 2749ed4a6d7fSMel Gorman #endif /* CONFIG_SYSFS && CONFIG_NUMA */ 2750ff9543fdSMichal Nazarewicz 2751698b1b30SVlastimil Babka static inline bool kcompactd_work_requested(pg_data_t *pgdat) 2752698b1b30SVlastimil Babka { 2753172400c6SVlastimil Babka return pgdat->kcompactd_max_order > 0 || kthread_should_stop(); 2754698b1b30SVlastimil Babka } 2755698b1b30SVlastimil Babka 2756698b1b30SVlastimil Babka static bool kcompactd_node_suitable(pg_data_t *pgdat) 2757698b1b30SVlastimil Babka { 2758698b1b30SVlastimil Babka int zoneid; 2759698b1b30SVlastimil Babka struct zone *zone; 276097a225e6SJoonsoo Kim enum zone_type highest_zoneidx = pgdat->kcompactd_highest_zoneidx; 2761698b1b30SVlastimil Babka 276297a225e6SJoonsoo Kim for (zoneid = 0; zoneid <= highest_zoneidx; zoneid++) { 2763698b1b30SVlastimil Babka zone = &pgdat->node_zones[zoneid]; 2764698b1b30SVlastimil Babka 2765698b1b30SVlastimil Babka if (!populated_zone(zone)) 2766698b1b30SVlastimil Babka continue; 2767698b1b30SVlastimil Babka 2768698b1b30SVlastimil Babka if (compaction_suitable(zone, pgdat->kcompactd_max_order, 0, 276997a225e6SJoonsoo Kim highest_zoneidx) == COMPACT_CONTINUE) 2770698b1b30SVlastimil Babka return true; 2771698b1b30SVlastimil Babka } 2772698b1b30SVlastimil Babka 2773698b1b30SVlastimil Babka return false; 2774698b1b30SVlastimil Babka } 2775698b1b30SVlastimil Babka 2776698b1b30SVlastimil Babka static void kcompactd_do_work(pg_data_t *pgdat) 2777698b1b30SVlastimil Babka { 2778698b1b30SVlastimil Babka /* 2779698b1b30SVlastimil Babka * With no special task, compact all zones so that a page of requested 2780698b1b30SVlastimil Babka * order is allocatable. 2781698b1b30SVlastimil Babka */ 2782698b1b30SVlastimil Babka int zoneid; 2783698b1b30SVlastimil Babka struct zone *zone; 2784698b1b30SVlastimil Babka struct compact_control cc = { 2785698b1b30SVlastimil Babka .order = pgdat->kcompactd_max_order, 2786dbe2d4e4SMel Gorman .search_order = pgdat->kcompactd_max_order, 278797a225e6SJoonsoo Kim .highest_zoneidx = pgdat->kcompactd_highest_zoneidx, 2788698b1b30SVlastimil Babka .mode = MIGRATE_SYNC_LIGHT, 2789a0647dc9SDavid Rientjes .ignore_skip_hint = false, 279073e64c51SMichal Hocko .gfp_mask = GFP_KERNEL, 2791698b1b30SVlastimil Babka }; 2792698b1b30SVlastimil Babka trace_mm_compaction_kcompactd_wake(pgdat->node_id, cc.order, 279397a225e6SJoonsoo Kim cc.highest_zoneidx); 27947f354a54SDavid Rientjes count_compact_event(KCOMPACTD_WAKE); 2795698b1b30SVlastimil Babka 279697a225e6SJoonsoo Kim for (zoneid = 0; zoneid <= cc.highest_zoneidx; zoneid++) { 2797698b1b30SVlastimil Babka int status; 2798698b1b30SVlastimil Babka 2799698b1b30SVlastimil Babka zone = &pgdat->node_zones[zoneid]; 2800698b1b30SVlastimil Babka if (!populated_zone(zone)) 2801698b1b30SVlastimil Babka continue; 2802698b1b30SVlastimil Babka 2803698b1b30SVlastimil Babka if (compaction_deferred(zone, cc.order)) 2804698b1b30SVlastimil Babka continue; 2805698b1b30SVlastimil Babka 2806698b1b30SVlastimil Babka if (compaction_suitable(zone, cc.order, 0, zoneid) != 2807698b1b30SVlastimil Babka COMPACT_CONTINUE) 2808698b1b30SVlastimil Babka continue; 2809698b1b30SVlastimil Babka 2810172400c6SVlastimil Babka if (kthread_should_stop()) 2811172400c6SVlastimil Babka return; 2812a94b5252SYafang Shao 2813a94b5252SYafang Shao cc.zone = zone; 28145e1f0f09SMel Gorman status = compact_zone(&cc, NULL); 2815698b1b30SVlastimil Babka 28167ceb009aSVlastimil Babka if (status == COMPACT_SUCCESS) { 2817698b1b30SVlastimil Babka compaction_defer_reset(zone, cc.order, false); 2818c8f7de0bSMichal Hocko } else if (status == COMPACT_PARTIAL_SKIPPED || status == COMPACT_COMPLETE) { 2819698b1b30SVlastimil Babka /* 2820bc3106b2SDavid Rientjes * Buddy pages may become stranded on pcps that could 2821bc3106b2SDavid Rientjes * otherwise coalesce on the zone's free area for 2822bc3106b2SDavid Rientjes * order >= cc.order. This is ratelimited by the 2823bc3106b2SDavid Rientjes * upcoming deferral. 2824bc3106b2SDavid Rientjes */ 2825bc3106b2SDavid Rientjes drain_all_pages(zone); 2826bc3106b2SDavid Rientjes 2827bc3106b2SDavid Rientjes /* 2828698b1b30SVlastimil Babka * We use sync migration mode here, so we defer like 2829698b1b30SVlastimil Babka * sync direct compaction does. 2830698b1b30SVlastimil Babka */ 2831698b1b30SVlastimil Babka defer_compaction(zone, cc.order); 2832698b1b30SVlastimil Babka } 2833698b1b30SVlastimil Babka 28347f354a54SDavid Rientjes count_compact_events(KCOMPACTD_MIGRATE_SCANNED, 28357f354a54SDavid Rientjes cc.total_migrate_scanned); 28367f354a54SDavid Rientjes count_compact_events(KCOMPACTD_FREE_SCANNED, 28377f354a54SDavid Rientjes cc.total_free_scanned); 28387f354a54SDavid Rientjes 2839698b1b30SVlastimil Babka VM_BUG_ON(!list_empty(&cc.freepages)); 2840698b1b30SVlastimil Babka VM_BUG_ON(!list_empty(&cc.migratepages)); 2841698b1b30SVlastimil Babka } 2842698b1b30SVlastimil Babka 2843698b1b30SVlastimil Babka /* 2844698b1b30SVlastimil Babka * Regardless of success, we are done until woken up next. But remember 284597a225e6SJoonsoo Kim * the requested order/highest_zoneidx in case it was higher/tighter 284697a225e6SJoonsoo Kim * than our current ones 2847698b1b30SVlastimil Babka */ 2848698b1b30SVlastimil Babka if (pgdat->kcompactd_max_order <= cc.order) 2849698b1b30SVlastimil Babka pgdat->kcompactd_max_order = 0; 285097a225e6SJoonsoo Kim if (pgdat->kcompactd_highest_zoneidx >= cc.highest_zoneidx) 285197a225e6SJoonsoo Kim pgdat->kcompactd_highest_zoneidx = pgdat->nr_zones - 1; 2852698b1b30SVlastimil Babka } 2853698b1b30SVlastimil Babka 285497a225e6SJoonsoo Kim void wakeup_kcompactd(pg_data_t *pgdat, int order, int highest_zoneidx) 2855698b1b30SVlastimil Babka { 2856698b1b30SVlastimil Babka if (!order) 2857698b1b30SVlastimil Babka return; 2858698b1b30SVlastimil Babka 2859698b1b30SVlastimil Babka if (pgdat->kcompactd_max_order < order) 2860698b1b30SVlastimil Babka pgdat->kcompactd_max_order = order; 2861698b1b30SVlastimil Babka 286297a225e6SJoonsoo Kim if (pgdat->kcompactd_highest_zoneidx > highest_zoneidx) 286397a225e6SJoonsoo Kim pgdat->kcompactd_highest_zoneidx = highest_zoneidx; 2864698b1b30SVlastimil Babka 28656818600fSDavidlohr Bueso /* 28666818600fSDavidlohr Bueso * Pairs with implicit barrier in wait_event_freezable() 28676818600fSDavidlohr Bueso * such that wakeups are not missed. 28686818600fSDavidlohr Bueso */ 28696818600fSDavidlohr Bueso if (!wq_has_sleeper(&pgdat->kcompactd_wait)) 2870698b1b30SVlastimil Babka return; 2871698b1b30SVlastimil Babka 2872698b1b30SVlastimil Babka if (!kcompactd_node_suitable(pgdat)) 2873698b1b30SVlastimil Babka return; 2874698b1b30SVlastimil Babka 2875698b1b30SVlastimil Babka trace_mm_compaction_wakeup_kcompactd(pgdat->node_id, order, 287697a225e6SJoonsoo Kim highest_zoneidx); 2877698b1b30SVlastimil Babka wake_up_interruptible(&pgdat->kcompactd_wait); 2878698b1b30SVlastimil Babka } 2879698b1b30SVlastimil Babka 2880698b1b30SVlastimil Babka /* 2881698b1b30SVlastimil Babka * The background compaction daemon, started as a kernel thread 2882698b1b30SVlastimil Babka * from the init process. 2883698b1b30SVlastimil Babka */ 2884698b1b30SVlastimil Babka static int kcompactd(void *p) 2885698b1b30SVlastimil Babka { 2886698b1b30SVlastimil Babka pg_data_t *pgdat = (pg_data_t *)p; 2887698b1b30SVlastimil Babka struct task_struct *tsk = current; 2888*e1e92bfaSCharan Teja Reddy long default_timeout = msecs_to_jiffies(HPAGE_FRAG_CHECK_INTERVAL_MSEC); 2889*e1e92bfaSCharan Teja Reddy long timeout = default_timeout; 2890698b1b30SVlastimil Babka 2891698b1b30SVlastimil Babka const struct cpumask *cpumask = cpumask_of_node(pgdat->node_id); 2892698b1b30SVlastimil Babka 2893698b1b30SVlastimil Babka if (!cpumask_empty(cpumask)) 2894698b1b30SVlastimil Babka set_cpus_allowed_ptr(tsk, cpumask); 2895698b1b30SVlastimil Babka 2896698b1b30SVlastimil Babka set_freezable(); 2897698b1b30SVlastimil Babka 2898698b1b30SVlastimil Babka pgdat->kcompactd_max_order = 0; 289997a225e6SJoonsoo Kim pgdat->kcompactd_highest_zoneidx = pgdat->nr_zones - 1; 2900698b1b30SVlastimil Babka 2901698b1b30SVlastimil Babka while (!kthread_should_stop()) { 2902eb414681SJohannes Weiner unsigned long pflags; 2903eb414681SJohannes Weiner 2904698b1b30SVlastimil Babka trace_mm_compaction_kcompactd_sleep(pgdat->node_id); 2905facdaa91SNitin Gupta if (wait_event_freezable_timeout(pgdat->kcompactd_wait, 2906*e1e92bfaSCharan Teja Reddy kcompactd_work_requested(pgdat), timeout)) { 2907698b1b30SVlastimil Babka 2908eb414681SJohannes Weiner psi_memstall_enter(&pflags); 2909698b1b30SVlastimil Babka kcompactd_do_work(pgdat); 2910eb414681SJohannes Weiner psi_memstall_leave(&pflags); 2911*e1e92bfaSCharan Teja Reddy /* 2912*e1e92bfaSCharan Teja Reddy * Reset the timeout value. The defer timeout from 2913*e1e92bfaSCharan Teja Reddy * proactive compaction is lost here but that is fine 2914*e1e92bfaSCharan Teja Reddy * as the condition of the zone changing substantionally 2915*e1e92bfaSCharan Teja Reddy * then carrying on with the previous defer interval is 2916*e1e92bfaSCharan Teja Reddy * not useful. 2917*e1e92bfaSCharan Teja Reddy */ 2918*e1e92bfaSCharan Teja Reddy timeout = default_timeout; 2919facdaa91SNitin Gupta continue; 2920facdaa91SNitin Gupta } 2921facdaa91SNitin Gupta 2922*e1e92bfaSCharan Teja Reddy /* 2923*e1e92bfaSCharan Teja Reddy * Start the proactive work with default timeout. Based 2924*e1e92bfaSCharan Teja Reddy * on the fragmentation score, this timeout is updated. 2925*e1e92bfaSCharan Teja Reddy */ 2926*e1e92bfaSCharan Teja Reddy timeout = default_timeout; 2927facdaa91SNitin Gupta if (should_proactive_compact_node(pgdat)) { 2928facdaa91SNitin Gupta unsigned int prev_score, score; 2929facdaa91SNitin Gupta 2930facdaa91SNitin Gupta prev_score = fragmentation_score_node(pgdat); 2931facdaa91SNitin Gupta proactive_compact_node(pgdat); 2932facdaa91SNitin Gupta score = fragmentation_score_node(pgdat); 2933facdaa91SNitin Gupta /* 2934facdaa91SNitin Gupta * Defer proactive compaction if the fragmentation 2935facdaa91SNitin Gupta * score did not go down i.e. no progress made. 2936facdaa91SNitin Gupta */ 2937*e1e92bfaSCharan Teja Reddy if (unlikely(score >= prev_score)) 2938*e1e92bfaSCharan Teja Reddy timeout = 2939*e1e92bfaSCharan Teja Reddy default_timeout << COMPACT_MAX_DEFER_SHIFT; 2940facdaa91SNitin Gupta } 2941698b1b30SVlastimil Babka } 2942698b1b30SVlastimil Babka 2943698b1b30SVlastimil Babka return 0; 2944698b1b30SVlastimil Babka } 2945698b1b30SVlastimil Babka 2946698b1b30SVlastimil Babka /* 2947698b1b30SVlastimil Babka * This kcompactd start function will be called by init and node-hot-add. 2948698b1b30SVlastimil Babka * On node-hot-add, kcompactd will moved to proper cpus if cpus are hot-added. 2949698b1b30SVlastimil Babka */ 2950698b1b30SVlastimil Babka int kcompactd_run(int nid) 2951698b1b30SVlastimil Babka { 2952698b1b30SVlastimil Babka pg_data_t *pgdat = NODE_DATA(nid); 2953698b1b30SVlastimil Babka int ret = 0; 2954698b1b30SVlastimil Babka 2955698b1b30SVlastimil Babka if (pgdat->kcompactd) 2956698b1b30SVlastimil Babka return 0; 2957698b1b30SVlastimil Babka 2958698b1b30SVlastimil Babka pgdat->kcompactd = kthread_run(kcompactd, pgdat, "kcompactd%d", nid); 2959698b1b30SVlastimil Babka if (IS_ERR(pgdat->kcompactd)) { 2960698b1b30SVlastimil Babka pr_err("Failed to start kcompactd on node %d\n", nid); 2961698b1b30SVlastimil Babka ret = PTR_ERR(pgdat->kcompactd); 2962698b1b30SVlastimil Babka pgdat->kcompactd = NULL; 2963698b1b30SVlastimil Babka } 2964698b1b30SVlastimil Babka return ret; 2965698b1b30SVlastimil Babka } 2966698b1b30SVlastimil Babka 2967698b1b30SVlastimil Babka /* 2968698b1b30SVlastimil Babka * Called by memory hotplug when all memory in a node is offlined. Caller must 2969698b1b30SVlastimil Babka * hold mem_hotplug_begin/end(). 2970698b1b30SVlastimil Babka */ 2971698b1b30SVlastimil Babka void kcompactd_stop(int nid) 2972698b1b30SVlastimil Babka { 2973698b1b30SVlastimil Babka struct task_struct *kcompactd = NODE_DATA(nid)->kcompactd; 2974698b1b30SVlastimil Babka 2975698b1b30SVlastimil Babka if (kcompactd) { 2976698b1b30SVlastimil Babka kthread_stop(kcompactd); 2977698b1b30SVlastimil Babka NODE_DATA(nid)->kcompactd = NULL; 2978698b1b30SVlastimil Babka } 2979698b1b30SVlastimil Babka } 2980698b1b30SVlastimil Babka 2981698b1b30SVlastimil Babka /* 2982698b1b30SVlastimil Babka * It's optimal to keep kcompactd on the same CPUs as their memory, but 2983698b1b30SVlastimil Babka * not required for correctness. So if the last cpu in a node goes 2984698b1b30SVlastimil Babka * away, we get changed to run anywhere: as the first one comes back, 2985698b1b30SVlastimil Babka * restore their cpu bindings. 2986698b1b30SVlastimil Babka */ 2987e46b1db2SAnna-Maria Gleixner static int kcompactd_cpu_online(unsigned int cpu) 2988698b1b30SVlastimil Babka { 2989698b1b30SVlastimil Babka int nid; 2990698b1b30SVlastimil Babka 2991698b1b30SVlastimil Babka for_each_node_state(nid, N_MEMORY) { 2992698b1b30SVlastimil Babka pg_data_t *pgdat = NODE_DATA(nid); 2993698b1b30SVlastimil Babka const struct cpumask *mask; 2994698b1b30SVlastimil Babka 2995698b1b30SVlastimil Babka mask = cpumask_of_node(pgdat->node_id); 2996698b1b30SVlastimil Babka 2997698b1b30SVlastimil Babka if (cpumask_any_and(cpu_online_mask, mask) < nr_cpu_ids) 2998698b1b30SVlastimil Babka /* One of our CPUs online: restore mask */ 2999698b1b30SVlastimil Babka set_cpus_allowed_ptr(pgdat->kcompactd, mask); 3000698b1b30SVlastimil Babka } 3001e46b1db2SAnna-Maria Gleixner return 0; 3002698b1b30SVlastimil Babka } 3003698b1b30SVlastimil Babka 3004698b1b30SVlastimil Babka static int __init kcompactd_init(void) 3005698b1b30SVlastimil Babka { 3006698b1b30SVlastimil Babka int nid; 3007e46b1db2SAnna-Maria Gleixner int ret; 3008e46b1db2SAnna-Maria Gleixner 3009e46b1db2SAnna-Maria Gleixner ret = cpuhp_setup_state_nocalls(CPUHP_AP_ONLINE_DYN, 3010e46b1db2SAnna-Maria Gleixner "mm/compaction:online", 3011e46b1db2SAnna-Maria Gleixner kcompactd_cpu_online, NULL); 3012e46b1db2SAnna-Maria Gleixner if (ret < 0) { 3013e46b1db2SAnna-Maria Gleixner pr_err("kcompactd: failed to register hotplug callbacks.\n"); 3014e46b1db2SAnna-Maria Gleixner return ret; 3015e46b1db2SAnna-Maria Gleixner } 3016698b1b30SVlastimil Babka 3017698b1b30SVlastimil Babka for_each_node_state(nid, N_MEMORY) 3018698b1b30SVlastimil Babka kcompactd_run(nid); 3019698b1b30SVlastimil Babka return 0; 3020698b1b30SVlastimil Babka } 3021698b1b30SVlastimil Babka subsys_initcall(kcompactd_init) 3022698b1b30SVlastimil Babka 3023ff9543fdSMichal Nazarewicz #endif /* CONFIG_COMPACTION */ 3024