xref: /openbmc/linux/mm/compaction.c (revision b682debd97153706ffbe2fe3f8ec30a7ee11f9e1)
1748446bbSMel Gorman /*
2748446bbSMel Gorman  * linux/mm/compaction.c
3748446bbSMel Gorman  *
4748446bbSMel Gorman  * Memory compaction for the reduction of external fragmentation. Note that
5748446bbSMel Gorman  * this heavily depends upon page migration to do all the real heavy
6748446bbSMel Gorman  * lifting
7748446bbSMel Gorman  *
8748446bbSMel Gorman  * Copyright IBM Corp. 2007-2010 Mel Gorman <mel@csn.ul.ie>
9748446bbSMel Gorman  */
10698b1b30SVlastimil Babka #include <linux/cpu.h>
11748446bbSMel Gorman #include <linux/swap.h>
12748446bbSMel Gorman #include <linux/migrate.h>
13748446bbSMel Gorman #include <linux/compaction.h>
14748446bbSMel Gorman #include <linux/mm_inline.h>
15174cd4b1SIngo Molnar #include <linux/sched/signal.h>
16748446bbSMel Gorman #include <linux/backing-dev.h>
1776ab0f53SMel Gorman #include <linux/sysctl.h>
18ed4a6d7fSMel Gorman #include <linux/sysfs.h>
19194159fbSMinchan Kim #include <linux/page-isolation.h>
20b8c73fc2SAndrey Ryabinin #include <linux/kasan.h>
21698b1b30SVlastimil Babka #include <linux/kthread.h>
22698b1b30SVlastimil Babka #include <linux/freezer.h>
2383358eceSJoonsoo Kim #include <linux/page_owner.h>
24748446bbSMel Gorman #include "internal.h"
25748446bbSMel Gorman 
26010fc29aSMinchan Kim #ifdef CONFIG_COMPACTION
27010fc29aSMinchan Kim static inline void count_compact_event(enum vm_event_item item)
28010fc29aSMinchan Kim {
29010fc29aSMinchan Kim 	count_vm_event(item);
30010fc29aSMinchan Kim }
31010fc29aSMinchan Kim 
32010fc29aSMinchan Kim static inline void count_compact_events(enum vm_event_item item, long delta)
33010fc29aSMinchan Kim {
34010fc29aSMinchan Kim 	count_vm_events(item, delta);
35010fc29aSMinchan Kim }
36010fc29aSMinchan Kim #else
37010fc29aSMinchan Kim #define count_compact_event(item) do { } while (0)
38010fc29aSMinchan Kim #define count_compact_events(item, delta) do { } while (0)
39010fc29aSMinchan Kim #endif
40010fc29aSMinchan Kim 
41ff9543fdSMichal Nazarewicz #if defined CONFIG_COMPACTION || defined CONFIG_CMA
42ff9543fdSMichal Nazarewicz 
43b7aba698SMel Gorman #define CREATE_TRACE_POINTS
44b7aba698SMel Gorman #include <trace/events/compaction.h>
45b7aba698SMel Gorman 
4606b6640aSVlastimil Babka #define block_start_pfn(pfn, order)	round_down(pfn, 1UL << (order))
4706b6640aSVlastimil Babka #define block_end_pfn(pfn, order)	ALIGN((pfn) + 1, 1UL << (order))
4806b6640aSVlastimil Babka #define pageblock_start_pfn(pfn)	block_start_pfn(pfn, pageblock_order)
4906b6640aSVlastimil Babka #define pageblock_end_pfn(pfn)		block_end_pfn(pfn, pageblock_order)
5006b6640aSVlastimil Babka 
51748446bbSMel Gorman static unsigned long release_freepages(struct list_head *freelist)
52748446bbSMel Gorman {
53748446bbSMel Gorman 	struct page *page, *next;
546bace090SVlastimil Babka 	unsigned long high_pfn = 0;
55748446bbSMel Gorman 
56748446bbSMel Gorman 	list_for_each_entry_safe(page, next, freelist, lru) {
576bace090SVlastimil Babka 		unsigned long pfn = page_to_pfn(page);
58748446bbSMel Gorman 		list_del(&page->lru);
59748446bbSMel Gorman 		__free_page(page);
606bace090SVlastimil Babka 		if (pfn > high_pfn)
616bace090SVlastimil Babka 			high_pfn = pfn;
62748446bbSMel Gorman 	}
63748446bbSMel Gorman 
646bace090SVlastimil Babka 	return high_pfn;
65748446bbSMel Gorman }
66748446bbSMel Gorman 
67ff9543fdSMichal Nazarewicz static void map_pages(struct list_head *list)
68ff9543fdSMichal Nazarewicz {
6966c64223SJoonsoo Kim 	unsigned int i, order, nr_pages;
7066c64223SJoonsoo Kim 	struct page *page, *next;
7166c64223SJoonsoo Kim 	LIST_HEAD(tmp_list);
72ff9543fdSMichal Nazarewicz 
7366c64223SJoonsoo Kim 	list_for_each_entry_safe(page, next, list, lru) {
7466c64223SJoonsoo Kim 		list_del(&page->lru);
7566c64223SJoonsoo Kim 
7666c64223SJoonsoo Kim 		order = page_private(page);
7766c64223SJoonsoo Kim 		nr_pages = 1 << order;
7866c64223SJoonsoo Kim 
7946f24fd8SJoonsoo Kim 		post_alloc_hook(page, order, __GFP_MOVABLE);
8066c64223SJoonsoo Kim 		if (order)
8166c64223SJoonsoo Kim 			split_page(page, order);
8266c64223SJoonsoo Kim 
8366c64223SJoonsoo Kim 		for (i = 0; i < nr_pages; i++) {
8466c64223SJoonsoo Kim 			list_add(&page->lru, &tmp_list);
8566c64223SJoonsoo Kim 			page++;
86ff9543fdSMichal Nazarewicz 		}
87ff9543fdSMichal Nazarewicz 	}
88ff9543fdSMichal Nazarewicz 
8966c64223SJoonsoo Kim 	list_splice(&tmp_list, list);
9066c64223SJoonsoo Kim }
9166c64223SJoonsoo Kim 
92bb13ffebSMel Gorman #ifdef CONFIG_COMPACTION
9324e2716fSJoonsoo Kim 
94bda807d4SMinchan Kim int PageMovable(struct page *page)
95bda807d4SMinchan Kim {
96bda807d4SMinchan Kim 	struct address_space *mapping;
97bda807d4SMinchan Kim 
98bda807d4SMinchan Kim 	VM_BUG_ON_PAGE(!PageLocked(page), page);
99bda807d4SMinchan Kim 	if (!__PageMovable(page))
100bda807d4SMinchan Kim 		return 0;
101bda807d4SMinchan Kim 
102bda807d4SMinchan Kim 	mapping = page_mapping(page);
103bda807d4SMinchan Kim 	if (mapping && mapping->a_ops && mapping->a_ops->isolate_page)
104bda807d4SMinchan Kim 		return 1;
105bda807d4SMinchan Kim 
106bda807d4SMinchan Kim 	return 0;
107bda807d4SMinchan Kim }
108bda807d4SMinchan Kim EXPORT_SYMBOL(PageMovable);
109bda807d4SMinchan Kim 
110bda807d4SMinchan Kim void __SetPageMovable(struct page *page, struct address_space *mapping)
111bda807d4SMinchan Kim {
112bda807d4SMinchan Kim 	VM_BUG_ON_PAGE(!PageLocked(page), page);
113bda807d4SMinchan Kim 	VM_BUG_ON_PAGE((unsigned long)mapping & PAGE_MAPPING_MOVABLE, page);
114bda807d4SMinchan Kim 	page->mapping = (void *)((unsigned long)mapping | PAGE_MAPPING_MOVABLE);
115bda807d4SMinchan Kim }
116bda807d4SMinchan Kim EXPORT_SYMBOL(__SetPageMovable);
117bda807d4SMinchan Kim 
118bda807d4SMinchan Kim void __ClearPageMovable(struct page *page)
119bda807d4SMinchan Kim {
120bda807d4SMinchan Kim 	VM_BUG_ON_PAGE(!PageLocked(page), page);
121bda807d4SMinchan Kim 	VM_BUG_ON_PAGE(!PageMovable(page), page);
122bda807d4SMinchan Kim 	/*
123bda807d4SMinchan Kim 	 * Clear registered address_space val with keeping PAGE_MAPPING_MOVABLE
124bda807d4SMinchan Kim 	 * flag so that VM can catch up released page by driver after isolation.
125bda807d4SMinchan Kim 	 * With it, VM migration doesn't try to put it back.
126bda807d4SMinchan Kim 	 */
127bda807d4SMinchan Kim 	page->mapping = (void *)((unsigned long)page->mapping &
128bda807d4SMinchan Kim 				PAGE_MAPPING_MOVABLE);
129bda807d4SMinchan Kim }
130bda807d4SMinchan Kim EXPORT_SYMBOL(__ClearPageMovable);
131bda807d4SMinchan Kim 
13224e2716fSJoonsoo Kim /* Do not skip compaction more than 64 times */
13324e2716fSJoonsoo Kim #define COMPACT_MAX_DEFER_SHIFT 6
13424e2716fSJoonsoo Kim 
13524e2716fSJoonsoo Kim /*
13624e2716fSJoonsoo Kim  * Compaction is deferred when compaction fails to result in a page
13724e2716fSJoonsoo Kim  * allocation success. 1 << compact_defer_limit compactions are skipped up
13824e2716fSJoonsoo Kim  * to a limit of 1 << COMPACT_MAX_DEFER_SHIFT
13924e2716fSJoonsoo Kim  */
14024e2716fSJoonsoo Kim void defer_compaction(struct zone *zone, int order)
14124e2716fSJoonsoo Kim {
14224e2716fSJoonsoo Kim 	zone->compact_considered = 0;
14324e2716fSJoonsoo Kim 	zone->compact_defer_shift++;
14424e2716fSJoonsoo Kim 
14524e2716fSJoonsoo Kim 	if (order < zone->compact_order_failed)
14624e2716fSJoonsoo Kim 		zone->compact_order_failed = order;
14724e2716fSJoonsoo Kim 
14824e2716fSJoonsoo Kim 	if (zone->compact_defer_shift > COMPACT_MAX_DEFER_SHIFT)
14924e2716fSJoonsoo Kim 		zone->compact_defer_shift = COMPACT_MAX_DEFER_SHIFT;
15024e2716fSJoonsoo Kim 
15124e2716fSJoonsoo Kim 	trace_mm_compaction_defer_compaction(zone, order);
15224e2716fSJoonsoo Kim }
15324e2716fSJoonsoo Kim 
15424e2716fSJoonsoo Kim /* Returns true if compaction should be skipped this time */
15524e2716fSJoonsoo Kim bool compaction_deferred(struct zone *zone, int order)
15624e2716fSJoonsoo Kim {
15724e2716fSJoonsoo Kim 	unsigned long defer_limit = 1UL << zone->compact_defer_shift;
15824e2716fSJoonsoo Kim 
15924e2716fSJoonsoo Kim 	if (order < zone->compact_order_failed)
16024e2716fSJoonsoo Kim 		return false;
16124e2716fSJoonsoo Kim 
16224e2716fSJoonsoo Kim 	/* Avoid possible overflow */
16324e2716fSJoonsoo Kim 	if (++zone->compact_considered > defer_limit)
16424e2716fSJoonsoo Kim 		zone->compact_considered = defer_limit;
16524e2716fSJoonsoo Kim 
16624e2716fSJoonsoo Kim 	if (zone->compact_considered >= defer_limit)
16724e2716fSJoonsoo Kim 		return false;
16824e2716fSJoonsoo Kim 
16924e2716fSJoonsoo Kim 	trace_mm_compaction_deferred(zone, order);
17024e2716fSJoonsoo Kim 
17124e2716fSJoonsoo Kim 	return true;
17224e2716fSJoonsoo Kim }
17324e2716fSJoonsoo Kim 
17424e2716fSJoonsoo Kim /*
17524e2716fSJoonsoo Kim  * Update defer tracking counters after successful compaction of given order,
17624e2716fSJoonsoo Kim  * which means an allocation either succeeded (alloc_success == true) or is
17724e2716fSJoonsoo Kim  * expected to succeed.
17824e2716fSJoonsoo Kim  */
17924e2716fSJoonsoo Kim void compaction_defer_reset(struct zone *zone, int order,
18024e2716fSJoonsoo Kim 		bool alloc_success)
18124e2716fSJoonsoo Kim {
18224e2716fSJoonsoo Kim 	if (alloc_success) {
18324e2716fSJoonsoo Kim 		zone->compact_considered = 0;
18424e2716fSJoonsoo Kim 		zone->compact_defer_shift = 0;
18524e2716fSJoonsoo Kim 	}
18624e2716fSJoonsoo Kim 	if (order >= zone->compact_order_failed)
18724e2716fSJoonsoo Kim 		zone->compact_order_failed = order + 1;
18824e2716fSJoonsoo Kim 
18924e2716fSJoonsoo Kim 	trace_mm_compaction_defer_reset(zone, order);
19024e2716fSJoonsoo Kim }
19124e2716fSJoonsoo Kim 
19224e2716fSJoonsoo Kim /* Returns true if restarting compaction after many failures */
19324e2716fSJoonsoo Kim bool compaction_restarting(struct zone *zone, int order)
19424e2716fSJoonsoo Kim {
19524e2716fSJoonsoo Kim 	if (order < zone->compact_order_failed)
19624e2716fSJoonsoo Kim 		return false;
19724e2716fSJoonsoo Kim 
19824e2716fSJoonsoo Kim 	return zone->compact_defer_shift == COMPACT_MAX_DEFER_SHIFT &&
19924e2716fSJoonsoo Kim 		zone->compact_considered >= 1UL << zone->compact_defer_shift;
20024e2716fSJoonsoo Kim }
20124e2716fSJoonsoo Kim 
202bb13ffebSMel Gorman /* Returns true if the pageblock should be scanned for pages to isolate. */
203bb13ffebSMel Gorman static inline bool isolation_suitable(struct compact_control *cc,
204bb13ffebSMel Gorman 					struct page *page)
205bb13ffebSMel Gorman {
206bb13ffebSMel Gorman 	if (cc->ignore_skip_hint)
207bb13ffebSMel Gorman 		return true;
208bb13ffebSMel Gorman 
209bb13ffebSMel Gorman 	return !get_pageblock_skip(page);
210bb13ffebSMel Gorman }
211bb13ffebSMel Gorman 
21202333641SVlastimil Babka static void reset_cached_positions(struct zone *zone)
21302333641SVlastimil Babka {
21402333641SVlastimil Babka 	zone->compact_cached_migrate_pfn[0] = zone->zone_start_pfn;
21502333641SVlastimil Babka 	zone->compact_cached_migrate_pfn[1] = zone->zone_start_pfn;
216623446e4SJoonsoo Kim 	zone->compact_cached_free_pfn =
21706b6640aSVlastimil Babka 				pageblock_start_pfn(zone_end_pfn(zone) - 1);
21802333641SVlastimil Babka }
21902333641SVlastimil Babka 
220bb13ffebSMel Gorman /*
221bb13ffebSMel Gorman  * This function is called to clear all cached information on pageblocks that
222bb13ffebSMel Gorman  * should be skipped for page isolation when the migrate and free page scanner
223bb13ffebSMel Gorman  * meet.
224bb13ffebSMel Gorman  */
22562997027SMel Gorman static void __reset_isolation_suitable(struct zone *zone)
226bb13ffebSMel Gorman {
227bb13ffebSMel Gorman 	unsigned long start_pfn = zone->zone_start_pfn;
228108bcc96SCody P Schafer 	unsigned long end_pfn = zone_end_pfn(zone);
229bb13ffebSMel Gorman 	unsigned long pfn;
230bb13ffebSMel Gorman 
23162997027SMel Gorman 	zone->compact_blockskip_flush = false;
232bb13ffebSMel Gorman 
233bb13ffebSMel Gorman 	/* Walk the zone and mark every pageblock as suitable for isolation */
234bb13ffebSMel Gorman 	for (pfn = start_pfn; pfn < end_pfn; pfn += pageblock_nr_pages) {
235bb13ffebSMel Gorman 		struct page *page;
236bb13ffebSMel Gorman 
237bb13ffebSMel Gorman 		cond_resched();
238bb13ffebSMel Gorman 
239bb13ffebSMel Gorman 		if (!pfn_valid(pfn))
240bb13ffebSMel Gorman 			continue;
241bb13ffebSMel Gorman 
242bb13ffebSMel Gorman 		page = pfn_to_page(pfn);
243bb13ffebSMel Gorman 		if (zone != page_zone(page))
244bb13ffebSMel Gorman 			continue;
245bb13ffebSMel Gorman 
246bb13ffebSMel Gorman 		clear_pageblock_skip(page);
247bb13ffebSMel Gorman 	}
24802333641SVlastimil Babka 
24902333641SVlastimil Babka 	reset_cached_positions(zone);
250bb13ffebSMel Gorman }
251bb13ffebSMel Gorman 
25262997027SMel Gorman void reset_isolation_suitable(pg_data_t *pgdat)
25362997027SMel Gorman {
25462997027SMel Gorman 	int zoneid;
25562997027SMel Gorman 
25662997027SMel Gorman 	for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) {
25762997027SMel Gorman 		struct zone *zone = &pgdat->node_zones[zoneid];
25862997027SMel Gorman 		if (!populated_zone(zone))
25962997027SMel Gorman 			continue;
26062997027SMel Gorman 
26162997027SMel Gorman 		/* Only flush if a full compaction finished recently */
26262997027SMel Gorman 		if (zone->compact_blockskip_flush)
26362997027SMel Gorman 			__reset_isolation_suitable(zone);
26462997027SMel Gorman 	}
26562997027SMel Gorman }
26662997027SMel Gorman 
267bb13ffebSMel Gorman /*
268bb13ffebSMel Gorman  * If no pages were isolated then mark this pageblock to be skipped in the
26962997027SMel Gorman  * future. The information is later cleared by __reset_isolation_suitable().
270bb13ffebSMel Gorman  */
271c89511abSMel Gorman static void update_pageblock_skip(struct compact_control *cc,
272c89511abSMel Gorman 			struct page *page, unsigned long nr_isolated,
273edc2ca61SVlastimil Babka 			bool migrate_scanner)
274bb13ffebSMel Gorman {
275c89511abSMel Gorman 	struct zone *zone = cc->zone;
27635979ef3SDavid Rientjes 	unsigned long pfn;
2776815bf3fSJoonsoo Kim 
2786815bf3fSJoonsoo Kim 	if (cc->ignore_skip_hint)
2796815bf3fSJoonsoo Kim 		return;
2806815bf3fSJoonsoo Kim 
281bb13ffebSMel Gorman 	if (!page)
282bb13ffebSMel Gorman 		return;
283bb13ffebSMel Gorman 
28435979ef3SDavid Rientjes 	if (nr_isolated)
28535979ef3SDavid Rientjes 		return;
28635979ef3SDavid Rientjes 
287bb13ffebSMel Gorman 	set_pageblock_skip(page);
288c89511abSMel Gorman 
28935979ef3SDavid Rientjes 	pfn = page_to_pfn(page);
29035979ef3SDavid Rientjes 
29135979ef3SDavid Rientjes 	/* Update where async and sync compaction should restart */
292c89511abSMel Gorman 	if (migrate_scanner) {
29335979ef3SDavid Rientjes 		if (pfn > zone->compact_cached_migrate_pfn[0])
29435979ef3SDavid Rientjes 			zone->compact_cached_migrate_pfn[0] = pfn;
295e0b9daebSDavid Rientjes 		if (cc->mode != MIGRATE_ASYNC &&
296e0b9daebSDavid Rientjes 		    pfn > zone->compact_cached_migrate_pfn[1])
29735979ef3SDavid Rientjes 			zone->compact_cached_migrate_pfn[1] = pfn;
298c89511abSMel Gorman 	} else {
29935979ef3SDavid Rientjes 		if (pfn < zone->compact_cached_free_pfn)
300c89511abSMel Gorman 			zone->compact_cached_free_pfn = pfn;
301c89511abSMel Gorman 	}
302c89511abSMel Gorman }
303bb13ffebSMel Gorman #else
304bb13ffebSMel Gorman static inline bool isolation_suitable(struct compact_control *cc,
305bb13ffebSMel Gorman 					struct page *page)
306bb13ffebSMel Gorman {
307bb13ffebSMel Gorman 	return true;
308bb13ffebSMel Gorman }
309bb13ffebSMel Gorman 
310c89511abSMel Gorman static void update_pageblock_skip(struct compact_control *cc,
311c89511abSMel Gorman 			struct page *page, unsigned long nr_isolated,
312edc2ca61SVlastimil Babka 			bool migrate_scanner)
313bb13ffebSMel Gorman {
314bb13ffebSMel Gorman }
315bb13ffebSMel Gorman #endif /* CONFIG_COMPACTION */
316bb13ffebSMel Gorman 
3171f9efdefSVlastimil Babka /*
3188b44d279SVlastimil Babka  * Compaction requires the taking of some coarse locks that are potentially
3198b44d279SVlastimil Babka  * very heavily contended. For async compaction, back out if the lock cannot
3208b44d279SVlastimil Babka  * be taken immediately. For sync compaction, spin on the lock if needed.
3218b44d279SVlastimil Babka  *
3228b44d279SVlastimil Babka  * Returns true if the lock is held
3238b44d279SVlastimil Babka  * Returns false if the lock is not held and compaction should abort
3241f9efdefSVlastimil Babka  */
3258b44d279SVlastimil Babka static bool compact_trylock_irqsave(spinlock_t *lock, unsigned long *flags,
3268b44d279SVlastimil Babka 						struct compact_control *cc)
3278b44d279SVlastimil Babka {
3288b44d279SVlastimil Babka 	if (cc->mode == MIGRATE_ASYNC) {
3298b44d279SVlastimil Babka 		if (!spin_trylock_irqsave(lock, *flags)) {
330c3486f53SVlastimil Babka 			cc->contended = true;
3318b44d279SVlastimil Babka 			return false;
3328b44d279SVlastimil Babka 		}
3338b44d279SVlastimil Babka 	} else {
3348b44d279SVlastimil Babka 		spin_lock_irqsave(lock, *flags);
3358b44d279SVlastimil Babka 	}
3361f9efdefSVlastimil Babka 
3378b44d279SVlastimil Babka 	return true;
3382a1402aaSMel Gorman }
3392a1402aaSMel Gorman 
34085aa125fSMichal Nazarewicz /*
341c67fe375SMel Gorman  * Compaction requires the taking of some coarse locks that are potentially
3428b44d279SVlastimil Babka  * very heavily contended. The lock should be periodically unlocked to avoid
3438b44d279SVlastimil Babka  * having disabled IRQs for a long time, even when there is nobody waiting on
3448b44d279SVlastimil Babka  * the lock. It might also be that allowing the IRQs will result in
3458b44d279SVlastimil Babka  * need_resched() becoming true. If scheduling is needed, async compaction
3468b44d279SVlastimil Babka  * aborts. Sync compaction schedules.
3478b44d279SVlastimil Babka  * Either compaction type will also abort if a fatal signal is pending.
3488b44d279SVlastimil Babka  * In either case if the lock was locked, it is dropped and not regained.
349c67fe375SMel Gorman  *
3508b44d279SVlastimil Babka  * Returns true if compaction should abort due to fatal signal pending, or
3518b44d279SVlastimil Babka  *		async compaction due to need_resched()
3528b44d279SVlastimil Babka  * Returns false when compaction can continue (sync compaction might have
3538b44d279SVlastimil Babka  *		scheduled)
354c67fe375SMel Gorman  */
3558b44d279SVlastimil Babka static bool compact_unlock_should_abort(spinlock_t *lock,
3568b44d279SVlastimil Babka 		unsigned long flags, bool *locked, struct compact_control *cc)
357c67fe375SMel Gorman {
3588b44d279SVlastimil Babka 	if (*locked) {
3598b44d279SVlastimil Babka 		spin_unlock_irqrestore(lock, flags);
3608b44d279SVlastimil Babka 		*locked = false;
361c67fe375SMel Gorman 	}
362c67fe375SMel Gorman 
3638b44d279SVlastimil Babka 	if (fatal_signal_pending(current)) {
364c3486f53SVlastimil Babka 		cc->contended = true;
3658b44d279SVlastimil Babka 		return true;
3668b44d279SVlastimil Babka 	}
3678b44d279SVlastimil Babka 
3688b44d279SVlastimil Babka 	if (need_resched()) {
369e0b9daebSDavid Rientjes 		if (cc->mode == MIGRATE_ASYNC) {
370c3486f53SVlastimil Babka 			cc->contended = true;
3718b44d279SVlastimil Babka 			return true;
372c67fe375SMel Gorman 		}
373c67fe375SMel Gorman 		cond_resched();
374c67fe375SMel Gorman 	}
375c67fe375SMel Gorman 
3768b44d279SVlastimil Babka 	return false;
377c67fe375SMel Gorman }
378c67fe375SMel Gorman 
379be976572SVlastimil Babka /*
380be976572SVlastimil Babka  * Aside from avoiding lock contention, compaction also periodically checks
381be976572SVlastimil Babka  * need_resched() and either schedules in sync compaction or aborts async
3828b44d279SVlastimil Babka  * compaction. This is similar to what compact_unlock_should_abort() does, but
383be976572SVlastimil Babka  * is used where no lock is concerned.
384be976572SVlastimil Babka  *
385be976572SVlastimil Babka  * Returns false when no scheduling was needed, or sync compaction scheduled.
386be976572SVlastimil Babka  * Returns true when async compaction should abort.
387be976572SVlastimil Babka  */
388be976572SVlastimil Babka static inline bool compact_should_abort(struct compact_control *cc)
389be976572SVlastimil Babka {
390be976572SVlastimil Babka 	/* async compaction aborts if contended */
391be976572SVlastimil Babka 	if (need_resched()) {
392be976572SVlastimil Babka 		if (cc->mode == MIGRATE_ASYNC) {
393c3486f53SVlastimil Babka 			cc->contended = true;
394be976572SVlastimil Babka 			return true;
395be976572SVlastimil Babka 		}
396be976572SVlastimil Babka 
397be976572SVlastimil Babka 		cond_resched();
398be976572SVlastimil Babka 	}
399be976572SVlastimil Babka 
400be976572SVlastimil Babka 	return false;
401be976572SVlastimil Babka }
402be976572SVlastimil Babka 
403c67fe375SMel Gorman /*
4049e4be470SJerome Marchand  * Isolate free pages onto a private freelist. If @strict is true, will abort
4059e4be470SJerome Marchand  * returning 0 on any invalid PFNs or non-free pages inside of the pageblock
4069e4be470SJerome Marchand  * (even though it may still end up isolating some pages).
40785aa125fSMichal Nazarewicz  */
408f40d1e42SMel Gorman static unsigned long isolate_freepages_block(struct compact_control *cc,
409e14c720eSVlastimil Babka 				unsigned long *start_pfn,
41085aa125fSMichal Nazarewicz 				unsigned long end_pfn,
41185aa125fSMichal Nazarewicz 				struct list_head *freelist,
41285aa125fSMichal Nazarewicz 				bool strict)
413748446bbSMel Gorman {
414b7aba698SMel Gorman 	int nr_scanned = 0, total_isolated = 0;
415bb13ffebSMel Gorman 	struct page *cursor, *valid_page = NULL;
416b8b2d825SXiubo Li 	unsigned long flags = 0;
417f40d1e42SMel Gorman 	bool locked = false;
418e14c720eSVlastimil Babka 	unsigned long blockpfn = *start_pfn;
41966c64223SJoonsoo Kim 	unsigned int order;
420748446bbSMel Gorman 
421748446bbSMel Gorman 	cursor = pfn_to_page(blockpfn);
422748446bbSMel Gorman 
423f40d1e42SMel Gorman 	/* Isolate free pages. */
424748446bbSMel Gorman 	for (; blockpfn < end_pfn; blockpfn++, cursor++) {
42566c64223SJoonsoo Kim 		int isolated;
426748446bbSMel Gorman 		struct page *page = cursor;
427748446bbSMel Gorman 
4288b44d279SVlastimil Babka 		/*
4298b44d279SVlastimil Babka 		 * Periodically drop the lock (if held) regardless of its
4308b44d279SVlastimil Babka 		 * contention, to give chance to IRQs. Abort if fatal signal
4318b44d279SVlastimil Babka 		 * pending or async compaction detects need_resched()
4328b44d279SVlastimil Babka 		 */
4338b44d279SVlastimil Babka 		if (!(blockpfn % SWAP_CLUSTER_MAX)
4348b44d279SVlastimil Babka 		    && compact_unlock_should_abort(&cc->zone->lock, flags,
4358b44d279SVlastimil Babka 								&locked, cc))
4368b44d279SVlastimil Babka 			break;
4378b44d279SVlastimil Babka 
438b7aba698SMel Gorman 		nr_scanned++;
439f40d1e42SMel Gorman 		if (!pfn_valid_within(blockpfn))
4402af120bcSLaura Abbott 			goto isolate_fail;
4412af120bcSLaura Abbott 
442bb13ffebSMel Gorman 		if (!valid_page)
443bb13ffebSMel Gorman 			valid_page = page;
4449fcd6d2eSVlastimil Babka 
4459fcd6d2eSVlastimil Babka 		/*
4469fcd6d2eSVlastimil Babka 		 * For compound pages such as THP and hugetlbfs, we can save
4479fcd6d2eSVlastimil Babka 		 * potentially a lot of iterations if we skip them at once.
4489fcd6d2eSVlastimil Babka 		 * The check is racy, but we can consider only valid values
4499fcd6d2eSVlastimil Babka 		 * and the only danger is skipping too much.
4509fcd6d2eSVlastimil Babka 		 */
4519fcd6d2eSVlastimil Babka 		if (PageCompound(page)) {
4529fcd6d2eSVlastimil Babka 			unsigned int comp_order = compound_order(page);
4539fcd6d2eSVlastimil Babka 
4549fcd6d2eSVlastimil Babka 			if (likely(comp_order < MAX_ORDER)) {
4559fcd6d2eSVlastimil Babka 				blockpfn += (1UL << comp_order) - 1;
4569fcd6d2eSVlastimil Babka 				cursor += (1UL << comp_order) - 1;
4579fcd6d2eSVlastimil Babka 			}
4589fcd6d2eSVlastimil Babka 
4599fcd6d2eSVlastimil Babka 			goto isolate_fail;
4609fcd6d2eSVlastimil Babka 		}
4619fcd6d2eSVlastimil Babka 
462f40d1e42SMel Gorman 		if (!PageBuddy(page))
4632af120bcSLaura Abbott 			goto isolate_fail;
464f40d1e42SMel Gorman 
465f40d1e42SMel Gorman 		/*
46669b7189fSVlastimil Babka 		 * If we already hold the lock, we can skip some rechecking.
46769b7189fSVlastimil Babka 		 * Note that if we hold the lock now, checked_pageblock was
46869b7189fSVlastimil Babka 		 * already set in some previous iteration (or strict is true),
46969b7189fSVlastimil Babka 		 * so it is correct to skip the suitable migration target
47069b7189fSVlastimil Babka 		 * recheck as well.
47169b7189fSVlastimil Babka 		 */
47269b7189fSVlastimil Babka 		if (!locked) {
47369b7189fSVlastimil Babka 			/*
474f40d1e42SMel Gorman 			 * The zone lock must be held to isolate freepages.
475f40d1e42SMel Gorman 			 * Unfortunately this is a very coarse lock and can be
476f40d1e42SMel Gorman 			 * heavily contended if there are parallel allocations
477f40d1e42SMel Gorman 			 * or parallel compactions. For async compaction do not
478f40d1e42SMel Gorman 			 * spin on the lock and we acquire the lock as late as
479f40d1e42SMel Gorman 			 * possible.
480f40d1e42SMel Gorman 			 */
4818b44d279SVlastimil Babka 			locked = compact_trylock_irqsave(&cc->zone->lock,
4828b44d279SVlastimil Babka 								&flags, cc);
483f40d1e42SMel Gorman 			if (!locked)
484f40d1e42SMel Gorman 				break;
485f40d1e42SMel Gorman 
486f40d1e42SMel Gorman 			/* Recheck this is a buddy page under lock */
487f40d1e42SMel Gorman 			if (!PageBuddy(page))
4882af120bcSLaura Abbott 				goto isolate_fail;
48969b7189fSVlastimil Babka 		}
490748446bbSMel Gorman 
49166c64223SJoonsoo Kim 		/* Found a free page, will break it into order-0 pages */
49266c64223SJoonsoo Kim 		order = page_order(page);
49366c64223SJoonsoo Kim 		isolated = __isolate_free_page(page, order);
494a4f04f2cSDavid Rientjes 		if (!isolated)
495a4f04f2cSDavid Rientjes 			break;
49666c64223SJoonsoo Kim 		set_page_private(page, order);
497a4f04f2cSDavid Rientjes 
498748446bbSMel Gorman 		total_isolated += isolated;
499a4f04f2cSDavid Rientjes 		cc->nr_freepages += isolated;
50066c64223SJoonsoo Kim 		list_add_tail(&page->lru, freelist);
50166c64223SJoonsoo Kim 
502a4f04f2cSDavid Rientjes 		if (!strict && cc->nr_migratepages <= cc->nr_freepages) {
503932ff6bbSJoonsoo Kim 			blockpfn += isolated;
504932ff6bbSJoonsoo Kim 			break;
505932ff6bbSJoonsoo Kim 		}
506a4f04f2cSDavid Rientjes 		/* Advance to the end of split page */
507748446bbSMel Gorman 		blockpfn += isolated - 1;
508748446bbSMel Gorman 		cursor += isolated - 1;
5092af120bcSLaura Abbott 		continue;
5102af120bcSLaura Abbott 
5112af120bcSLaura Abbott isolate_fail:
5122af120bcSLaura Abbott 		if (strict)
5132af120bcSLaura Abbott 			break;
5142af120bcSLaura Abbott 		else
5152af120bcSLaura Abbott 			continue;
5162af120bcSLaura Abbott 
517748446bbSMel Gorman 	}
518748446bbSMel Gorman 
519a4f04f2cSDavid Rientjes 	if (locked)
520a4f04f2cSDavid Rientjes 		spin_unlock_irqrestore(&cc->zone->lock, flags);
521a4f04f2cSDavid Rientjes 
5229fcd6d2eSVlastimil Babka 	/*
5239fcd6d2eSVlastimil Babka 	 * There is a tiny chance that we have read bogus compound_order(),
5249fcd6d2eSVlastimil Babka 	 * so be careful to not go outside of the pageblock.
5259fcd6d2eSVlastimil Babka 	 */
5269fcd6d2eSVlastimil Babka 	if (unlikely(blockpfn > end_pfn))
5279fcd6d2eSVlastimil Babka 		blockpfn = end_pfn;
5289fcd6d2eSVlastimil Babka 
529e34d85f0SJoonsoo Kim 	trace_mm_compaction_isolate_freepages(*start_pfn, blockpfn,
530e34d85f0SJoonsoo Kim 					nr_scanned, total_isolated);
531e34d85f0SJoonsoo Kim 
532e14c720eSVlastimil Babka 	/* Record how far we have got within the block */
533e14c720eSVlastimil Babka 	*start_pfn = blockpfn;
534e14c720eSVlastimil Babka 
535f40d1e42SMel Gorman 	/*
536f40d1e42SMel Gorman 	 * If strict isolation is requested by CMA then check that all the
537f40d1e42SMel Gorman 	 * pages requested were isolated. If there were any failures, 0 is
538f40d1e42SMel Gorman 	 * returned and CMA will fail.
539f40d1e42SMel Gorman 	 */
5402af120bcSLaura Abbott 	if (strict && blockpfn < end_pfn)
541f40d1e42SMel Gorman 		total_isolated = 0;
542f40d1e42SMel Gorman 
543bb13ffebSMel Gorman 	/* Update the pageblock-skip if the whole pageblock was scanned */
544bb13ffebSMel Gorman 	if (blockpfn == end_pfn)
545edc2ca61SVlastimil Babka 		update_pageblock_skip(cc, valid_page, total_isolated, false);
546bb13ffebSMel Gorman 
5477f354a54SDavid Rientjes 	cc->total_free_scanned += nr_scanned;
548397487dbSMel Gorman 	if (total_isolated)
549010fc29aSMinchan Kim 		count_compact_events(COMPACTISOLATED, total_isolated);
550748446bbSMel Gorman 	return total_isolated;
551748446bbSMel Gorman }
552748446bbSMel Gorman 
55385aa125fSMichal Nazarewicz /**
55485aa125fSMichal Nazarewicz  * isolate_freepages_range() - isolate free pages.
55585aa125fSMichal Nazarewicz  * @start_pfn: The first PFN to start isolating.
55685aa125fSMichal Nazarewicz  * @end_pfn:   The one-past-last PFN.
55785aa125fSMichal Nazarewicz  *
55885aa125fSMichal Nazarewicz  * Non-free pages, invalid PFNs, or zone boundaries within the
55985aa125fSMichal Nazarewicz  * [start_pfn, end_pfn) range are considered errors, cause function to
56085aa125fSMichal Nazarewicz  * undo its actions and return zero.
56185aa125fSMichal Nazarewicz  *
56285aa125fSMichal Nazarewicz  * Otherwise, function returns one-past-the-last PFN of isolated page
56385aa125fSMichal Nazarewicz  * (which may be greater then end_pfn if end fell in a middle of
56485aa125fSMichal Nazarewicz  * a free page).
56585aa125fSMichal Nazarewicz  */
566ff9543fdSMichal Nazarewicz unsigned long
567bb13ffebSMel Gorman isolate_freepages_range(struct compact_control *cc,
568bb13ffebSMel Gorman 			unsigned long start_pfn, unsigned long end_pfn)
56985aa125fSMichal Nazarewicz {
570e1409c32SJoonsoo Kim 	unsigned long isolated, pfn, block_start_pfn, block_end_pfn;
57185aa125fSMichal Nazarewicz 	LIST_HEAD(freelist);
57285aa125fSMichal Nazarewicz 
5737d49d886SVlastimil Babka 	pfn = start_pfn;
57406b6640aSVlastimil Babka 	block_start_pfn = pageblock_start_pfn(pfn);
575e1409c32SJoonsoo Kim 	if (block_start_pfn < cc->zone->zone_start_pfn)
576e1409c32SJoonsoo Kim 		block_start_pfn = cc->zone->zone_start_pfn;
57706b6640aSVlastimil Babka 	block_end_pfn = pageblock_end_pfn(pfn);
5787d49d886SVlastimil Babka 
5797d49d886SVlastimil Babka 	for (; pfn < end_pfn; pfn += isolated,
580e1409c32SJoonsoo Kim 				block_start_pfn = block_end_pfn,
5817d49d886SVlastimil Babka 				block_end_pfn += pageblock_nr_pages) {
582e14c720eSVlastimil Babka 		/* Protect pfn from changing by isolate_freepages_block */
583e14c720eSVlastimil Babka 		unsigned long isolate_start_pfn = pfn;
5847d49d886SVlastimil Babka 
58585aa125fSMichal Nazarewicz 		block_end_pfn = min(block_end_pfn, end_pfn);
58685aa125fSMichal Nazarewicz 
58758420016SJoonsoo Kim 		/*
58858420016SJoonsoo Kim 		 * pfn could pass the block_end_pfn if isolated freepage
58958420016SJoonsoo Kim 		 * is more than pageblock order. In this case, we adjust
59058420016SJoonsoo Kim 		 * scanning range to right one.
59158420016SJoonsoo Kim 		 */
59258420016SJoonsoo Kim 		if (pfn >= block_end_pfn) {
59306b6640aSVlastimil Babka 			block_start_pfn = pageblock_start_pfn(pfn);
59406b6640aSVlastimil Babka 			block_end_pfn = pageblock_end_pfn(pfn);
59558420016SJoonsoo Kim 			block_end_pfn = min(block_end_pfn, end_pfn);
59658420016SJoonsoo Kim 		}
59758420016SJoonsoo Kim 
598e1409c32SJoonsoo Kim 		if (!pageblock_pfn_to_page(block_start_pfn,
599e1409c32SJoonsoo Kim 					block_end_pfn, cc->zone))
6007d49d886SVlastimil Babka 			break;
6017d49d886SVlastimil Babka 
602e14c720eSVlastimil Babka 		isolated = isolate_freepages_block(cc, &isolate_start_pfn,
603e14c720eSVlastimil Babka 						block_end_pfn, &freelist, true);
60485aa125fSMichal Nazarewicz 
60585aa125fSMichal Nazarewicz 		/*
60685aa125fSMichal Nazarewicz 		 * In strict mode, isolate_freepages_block() returns 0 if
60785aa125fSMichal Nazarewicz 		 * there are any holes in the block (ie. invalid PFNs or
60885aa125fSMichal Nazarewicz 		 * non-free pages).
60985aa125fSMichal Nazarewicz 		 */
61085aa125fSMichal Nazarewicz 		if (!isolated)
61185aa125fSMichal Nazarewicz 			break;
61285aa125fSMichal Nazarewicz 
61385aa125fSMichal Nazarewicz 		/*
61485aa125fSMichal Nazarewicz 		 * If we managed to isolate pages, it is always (1 << n) *
61585aa125fSMichal Nazarewicz 		 * pageblock_nr_pages for some non-negative n.  (Max order
61685aa125fSMichal Nazarewicz 		 * page may span two pageblocks).
61785aa125fSMichal Nazarewicz 		 */
61885aa125fSMichal Nazarewicz 	}
61985aa125fSMichal Nazarewicz 
62066c64223SJoonsoo Kim 	/* __isolate_free_page() does not map the pages */
62185aa125fSMichal Nazarewicz 	map_pages(&freelist);
62285aa125fSMichal Nazarewicz 
62385aa125fSMichal Nazarewicz 	if (pfn < end_pfn) {
62485aa125fSMichal Nazarewicz 		/* Loop terminated early, cleanup. */
62585aa125fSMichal Nazarewicz 		release_freepages(&freelist);
62685aa125fSMichal Nazarewicz 		return 0;
62785aa125fSMichal Nazarewicz 	}
62885aa125fSMichal Nazarewicz 
62985aa125fSMichal Nazarewicz 	/* We don't use freelists for anything. */
63085aa125fSMichal Nazarewicz 	return pfn;
63185aa125fSMichal Nazarewicz }
63285aa125fSMichal Nazarewicz 
633748446bbSMel Gorman /* Similar to reclaim, but different enough that they don't share logic */
634748446bbSMel Gorman static bool too_many_isolated(struct zone *zone)
635748446bbSMel Gorman {
636bc693045SMinchan Kim 	unsigned long active, inactive, isolated;
637748446bbSMel Gorman 
638599d0c95SMel Gorman 	inactive = node_page_state(zone->zone_pgdat, NR_INACTIVE_FILE) +
639599d0c95SMel Gorman 			node_page_state(zone->zone_pgdat, NR_INACTIVE_ANON);
640599d0c95SMel Gorman 	active = node_page_state(zone->zone_pgdat, NR_ACTIVE_FILE) +
641599d0c95SMel Gorman 			node_page_state(zone->zone_pgdat, NR_ACTIVE_ANON);
642599d0c95SMel Gorman 	isolated = node_page_state(zone->zone_pgdat, NR_ISOLATED_FILE) +
643599d0c95SMel Gorman 			node_page_state(zone->zone_pgdat, NR_ISOLATED_ANON);
644748446bbSMel Gorman 
645bc693045SMinchan Kim 	return isolated > (inactive + active) / 2;
646748446bbSMel Gorman }
647748446bbSMel Gorman 
6482fe86e00SMichal Nazarewicz /**
649edc2ca61SVlastimil Babka  * isolate_migratepages_block() - isolate all migrate-able pages within
650edc2ca61SVlastimil Babka  *				  a single pageblock
6512fe86e00SMichal Nazarewicz  * @cc:		Compaction control structure.
652edc2ca61SVlastimil Babka  * @low_pfn:	The first PFN to isolate
653edc2ca61SVlastimil Babka  * @end_pfn:	The one-past-the-last PFN to isolate, within same pageblock
654edc2ca61SVlastimil Babka  * @isolate_mode: Isolation mode to be used.
6552fe86e00SMichal Nazarewicz  *
6562fe86e00SMichal Nazarewicz  * Isolate all pages that can be migrated from the range specified by
657edc2ca61SVlastimil Babka  * [low_pfn, end_pfn). The range is expected to be within same pageblock.
658edc2ca61SVlastimil Babka  * Returns zero if there is a fatal signal pending, otherwise PFN of the
659edc2ca61SVlastimil Babka  * first page that was not scanned (which may be both less, equal to or more
660edc2ca61SVlastimil Babka  * than end_pfn).
6612fe86e00SMichal Nazarewicz  *
662edc2ca61SVlastimil Babka  * The pages are isolated on cc->migratepages list (not required to be empty),
663edc2ca61SVlastimil Babka  * and cc->nr_migratepages is updated accordingly. The cc->migrate_pfn field
664edc2ca61SVlastimil Babka  * is neither read nor updated.
665748446bbSMel Gorman  */
666edc2ca61SVlastimil Babka static unsigned long
667edc2ca61SVlastimil Babka isolate_migratepages_block(struct compact_control *cc, unsigned long low_pfn,
668edc2ca61SVlastimil Babka 			unsigned long end_pfn, isolate_mode_t isolate_mode)
669748446bbSMel Gorman {
670edc2ca61SVlastimil Babka 	struct zone *zone = cc->zone;
671b7aba698SMel Gorman 	unsigned long nr_scanned = 0, nr_isolated = 0;
672fa9add64SHugh Dickins 	struct lruvec *lruvec;
673b8b2d825SXiubo Li 	unsigned long flags = 0;
6742a1402aaSMel Gorman 	bool locked = false;
675bb13ffebSMel Gorman 	struct page *page = NULL, *valid_page = NULL;
676e34d85f0SJoonsoo Kim 	unsigned long start_pfn = low_pfn;
677fdd048e1SVlastimil Babka 	bool skip_on_failure = false;
678fdd048e1SVlastimil Babka 	unsigned long next_skip_pfn = 0;
679748446bbSMel Gorman 
680748446bbSMel Gorman 	/*
681748446bbSMel Gorman 	 * Ensure that there are not too many pages isolated from the LRU
682748446bbSMel Gorman 	 * list by either parallel reclaimers or compaction. If there are,
683748446bbSMel Gorman 	 * delay for some time until fewer pages are isolated
684748446bbSMel Gorman 	 */
685748446bbSMel Gorman 	while (unlikely(too_many_isolated(zone))) {
686f9e35b3bSMel Gorman 		/* async migration should just abort */
687e0b9daebSDavid Rientjes 		if (cc->mode == MIGRATE_ASYNC)
6882fe86e00SMichal Nazarewicz 			return 0;
689f9e35b3bSMel Gorman 
690748446bbSMel Gorman 		congestion_wait(BLK_RW_ASYNC, HZ/10);
691748446bbSMel Gorman 
692748446bbSMel Gorman 		if (fatal_signal_pending(current))
6932fe86e00SMichal Nazarewicz 			return 0;
694748446bbSMel Gorman 	}
695748446bbSMel Gorman 
696be976572SVlastimil Babka 	if (compact_should_abort(cc))
697aeef4b83SDavid Rientjes 		return 0;
698aeef4b83SDavid Rientjes 
699fdd048e1SVlastimil Babka 	if (cc->direct_compaction && (cc->mode == MIGRATE_ASYNC)) {
700fdd048e1SVlastimil Babka 		skip_on_failure = true;
701fdd048e1SVlastimil Babka 		next_skip_pfn = block_end_pfn(low_pfn, cc->order);
702fdd048e1SVlastimil Babka 	}
703fdd048e1SVlastimil Babka 
704748446bbSMel Gorman 	/* Time to isolate some pages for migration */
705748446bbSMel Gorman 	for (; low_pfn < end_pfn; low_pfn++) {
70629c0dde8SVlastimil Babka 
707fdd048e1SVlastimil Babka 		if (skip_on_failure && low_pfn >= next_skip_pfn) {
708fdd048e1SVlastimil Babka 			/*
709fdd048e1SVlastimil Babka 			 * We have isolated all migration candidates in the
710fdd048e1SVlastimil Babka 			 * previous order-aligned block, and did not skip it due
711fdd048e1SVlastimil Babka 			 * to failure. We should migrate the pages now and
712fdd048e1SVlastimil Babka 			 * hopefully succeed compaction.
713fdd048e1SVlastimil Babka 			 */
714fdd048e1SVlastimil Babka 			if (nr_isolated)
715fdd048e1SVlastimil Babka 				break;
716fdd048e1SVlastimil Babka 
717fdd048e1SVlastimil Babka 			/*
718fdd048e1SVlastimil Babka 			 * We failed to isolate in the previous order-aligned
719fdd048e1SVlastimil Babka 			 * block. Set the new boundary to the end of the
720fdd048e1SVlastimil Babka 			 * current block. Note we can't simply increase
721fdd048e1SVlastimil Babka 			 * next_skip_pfn by 1 << order, as low_pfn might have
722fdd048e1SVlastimil Babka 			 * been incremented by a higher number due to skipping
723fdd048e1SVlastimil Babka 			 * a compound or a high-order buddy page in the
724fdd048e1SVlastimil Babka 			 * previous loop iteration.
725fdd048e1SVlastimil Babka 			 */
726fdd048e1SVlastimil Babka 			next_skip_pfn = block_end_pfn(low_pfn, cc->order);
727fdd048e1SVlastimil Babka 		}
728fdd048e1SVlastimil Babka 
7298b44d279SVlastimil Babka 		/*
7308b44d279SVlastimil Babka 		 * Periodically drop the lock (if held) regardless of its
7318b44d279SVlastimil Babka 		 * contention, to give chance to IRQs. Abort async compaction
7328b44d279SVlastimil Babka 		 * if contended.
7338b44d279SVlastimil Babka 		 */
7348b44d279SVlastimil Babka 		if (!(low_pfn % SWAP_CLUSTER_MAX)
735a52633d8SMel Gorman 		    && compact_unlock_should_abort(zone_lru_lock(zone), flags,
7368b44d279SVlastimil Babka 								&locked, cc))
7378b44d279SVlastimil Babka 			break;
738b2eef8c0SAndrea Arcangeli 
739748446bbSMel Gorman 		if (!pfn_valid_within(low_pfn))
740fdd048e1SVlastimil Babka 			goto isolate_fail;
741b7aba698SMel Gorman 		nr_scanned++;
742748446bbSMel Gorman 
743748446bbSMel Gorman 		page = pfn_to_page(low_pfn);
744dc908600SMel Gorman 
745bb13ffebSMel Gorman 		if (!valid_page)
746bb13ffebSMel Gorman 			valid_page = page;
747bb13ffebSMel Gorman 
748c122b208SJoonsoo Kim 		/*
74999c0fd5eSVlastimil Babka 		 * Skip if free. We read page order here without zone lock
75099c0fd5eSVlastimil Babka 		 * which is generally unsafe, but the race window is small and
75199c0fd5eSVlastimil Babka 		 * the worst thing that can happen is that we skip some
75299c0fd5eSVlastimil Babka 		 * potential isolation targets.
7536c14466cSMel Gorman 		 */
75499c0fd5eSVlastimil Babka 		if (PageBuddy(page)) {
75599c0fd5eSVlastimil Babka 			unsigned long freepage_order = page_order_unsafe(page);
75699c0fd5eSVlastimil Babka 
75799c0fd5eSVlastimil Babka 			/*
75899c0fd5eSVlastimil Babka 			 * Without lock, we cannot be sure that what we got is
75999c0fd5eSVlastimil Babka 			 * a valid page order. Consider only values in the
76099c0fd5eSVlastimil Babka 			 * valid order range to prevent low_pfn overflow.
76199c0fd5eSVlastimil Babka 			 */
76299c0fd5eSVlastimil Babka 			if (freepage_order > 0 && freepage_order < MAX_ORDER)
76399c0fd5eSVlastimil Babka 				low_pfn += (1UL << freepage_order) - 1;
764748446bbSMel Gorman 			continue;
76599c0fd5eSVlastimil Babka 		}
766748446bbSMel Gorman 
7679927af74SMel Gorman 		/*
76829c0dde8SVlastimil Babka 		 * Regardless of being on LRU, compound pages such as THP and
76929c0dde8SVlastimil Babka 		 * hugetlbfs are not to be compacted. We can potentially save
77029c0dde8SVlastimil Babka 		 * a lot of iterations if we skip them at once. The check is
77129c0dde8SVlastimil Babka 		 * racy, but we can consider only valid values and the only
77229c0dde8SVlastimil Babka 		 * danger is skipping too much.
773bc835011SAndrea Arcangeli 		 */
77429c0dde8SVlastimil Babka 		if (PageCompound(page)) {
77529c0dde8SVlastimil Babka 			unsigned int comp_order = compound_order(page);
77629c0dde8SVlastimil Babka 
77729c0dde8SVlastimil Babka 			if (likely(comp_order < MAX_ORDER))
77829c0dde8SVlastimil Babka 				low_pfn += (1UL << comp_order) - 1;
779edc2ca61SVlastimil Babka 
780fdd048e1SVlastimil Babka 			goto isolate_fail;
7812a1402aaSMel Gorman 		}
7822a1402aaSMel Gorman 
783bda807d4SMinchan Kim 		/*
784bda807d4SMinchan Kim 		 * Check may be lockless but that's ok as we recheck later.
785bda807d4SMinchan Kim 		 * It's possible to migrate LRU and non-lru movable pages.
786bda807d4SMinchan Kim 		 * Skip any other type of page
787bda807d4SMinchan Kim 		 */
788bda807d4SMinchan Kim 		if (!PageLRU(page)) {
789bda807d4SMinchan Kim 			/*
790bda807d4SMinchan Kim 			 * __PageMovable can return false positive so we need
791bda807d4SMinchan Kim 			 * to verify it under page_lock.
792bda807d4SMinchan Kim 			 */
793bda807d4SMinchan Kim 			if (unlikely(__PageMovable(page)) &&
794bda807d4SMinchan Kim 					!PageIsolated(page)) {
795bda807d4SMinchan Kim 				if (locked) {
796a52633d8SMel Gorman 					spin_unlock_irqrestore(zone_lru_lock(zone),
797bda807d4SMinchan Kim 									flags);
798bda807d4SMinchan Kim 					locked = false;
799bda807d4SMinchan Kim 				}
800bda807d4SMinchan Kim 
8019e5bcd61SYisheng Xie 				if (!isolate_movable_page(page, isolate_mode))
802bda807d4SMinchan Kim 					goto isolate_success;
803bda807d4SMinchan Kim 			}
804bda807d4SMinchan Kim 
805fdd048e1SVlastimil Babka 			goto isolate_fail;
806bda807d4SMinchan Kim 		}
80729c0dde8SVlastimil Babka 
808119d6d59SDavid Rientjes 		/*
809119d6d59SDavid Rientjes 		 * Migration will fail if an anonymous page is pinned in memory,
810119d6d59SDavid Rientjes 		 * so avoid taking lru_lock and isolating it unnecessarily in an
811119d6d59SDavid Rientjes 		 * admittedly racy check.
812119d6d59SDavid Rientjes 		 */
813119d6d59SDavid Rientjes 		if (!page_mapping(page) &&
814119d6d59SDavid Rientjes 		    page_count(page) > page_mapcount(page))
815fdd048e1SVlastimil Babka 			goto isolate_fail;
816119d6d59SDavid Rientjes 
81773e64c51SMichal Hocko 		/*
81873e64c51SMichal Hocko 		 * Only allow to migrate anonymous pages in GFP_NOFS context
81973e64c51SMichal Hocko 		 * because those do not depend on fs locks.
82073e64c51SMichal Hocko 		 */
82173e64c51SMichal Hocko 		if (!(cc->gfp_mask & __GFP_FS) && page_mapping(page))
82273e64c51SMichal Hocko 			goto isolate_fail;
82373e64c51SMichal Hocko 
82469b7189fSVlastimil Babka 		/* If we already hold the lock, we can skip some rechecking */
82569b7189fSVlastimil Babka 		if (!locked) {
826a52633d8SMel Gorman 			locked = compact_trylock_irqsave(zone_lru_lock(zone),
8278b44d279SVlastimil Babka 								&flags, cc);
8288b44d279SVlastimil Babka 			if (!locked)
8292a1402aaSMel Gorman 				break;
8302a1402aaSMel Gorman 
83129c0dde8SVlastimil Babka 			/* Recheck PageLRU and PageCompound under lock */
8322a1402aaSMel Gorman 			if (!PageLRU(page))
833fdd048e1SVlastimil Babka 				goto isolate_fail;
83429c0dde8SVlastimil Babka 
83529c0dde8SVlastimil Babka 			/*
83629c0dde8SVlastimil Babka 			 * Page become compound since the non-locked check,
83729c0dde8SVlastimil Babka 			 * and it's on LRU. It can only be a THP so the order
83829c0dde8SVlastimil Babka 			 * is safe to read and it's 0 for tail pages.
83929c0dde8SVlastimil Babka 			 */
84029c0dde8SVlastimil Babka 			if (unlikely(PageCompound(page))) {
84129c0dde8SVlastimil Babka 				low_pfn += (1UL << compound_order(page)) - 1;
842fdd048e1SVlastimil Babka 				goto isolate_fail;
843bc835011SAndrea Arcangeli 			}
84469b7189fSVlastimil Babka 		}
845bc835011SAndrea Arcangeli 
846599d0c95SMel Gorman 		lruvec = mem_cgroup_page_lruvec(page, zone->zone_pgdat);
847fa9add64SHugh Dickins 
848748446bbSMel Gorman 		/* Try isolate the page */
849edc2ca61SVlastimil Babka 		if (__isolate_lru_page(page, isolate_mode) != 0)
850fdd048e1SVlastimil Babka 			goto isolate_fail;
851748446bbSMel Gorman 
85229c0dde8SVlastimil Babka 		VM_BUG_ON_PAGE(PageCompound(page), page);
853bc835011SAndrea Arcangeli 
854748446bbSMel Gorman 		/* Successfully isolated */
855fa9add64SHugh Dickins 		del_page_from_lru_list(page, lruvec, page_lru(page));
8566afcf8efSMing Ling 		inc_node_page_state(page,
8576afcf8efSMing Ling 				NR_ISOLATED_ANON + page_is_file_cache(page));
858b6c75016SJoonsoo Kim 
859b6c75016SJoonsoo Kim isolate_success:
860fdd048e1SVlastimil Babka 		list_add(&page->lru, &cc->migratepages);
861748446bbSMel Gorman 		cc->nr_migratepages++;
862b7aba698SMel Gorman 		nr_isolated++;
863748446bbSMel Gorman 
864a34753d2SVlastimil Babka 		/*
865a34753d2SVlastimil Babka 		 * Record where we could have freed pages by migration and not
866a34753d2SVlastimil Babka 		 * yet flushed them to buddy allocator.
867a34753d2SVlastimil Babka 		 * - this is the lowest page that was isolated and likely be
868a34753d2SVlastimil Babka 		 * then freed by migration.
869a34753d2SVlastimil Babka 		 */
870a34753d2SVlastimil Babka 		if (!cc->last_migrated_pfn)
871a34753d2SVlastimil Babka 			cc->last_migrated_pfn = low_pfn;
872a34753d2SVlastimil Babka 
873748446bbSMel Gorman 		/* Avoid isolating too much */
87431b8384aSHillf Danton 		if (cc->nr_migratepages == COMPACT_CLUSTER_MAX) {
87531b8384aSHillf Danton 			++low_pfn;
876748446bbSMel Gorman 			break;
877748446bbSMel Gorman 		}
878fdd048e1SVlastimil Babka 
879fdd048e1SVlastimil Babka 		continue;
880fdd048e1SVlastimil Babka isolate_fail:
881fdd048e1SVlastimil Babka 		if (!skip_on_failure)
882fdd048e1SVlastimil Babka 			continue;
883fdd048e1SVlastimil Babka 
884fdd048e1SVlastimil Babka 		/*
885fdd048e1SVlastimil Babka 		 * We have isolated some pages, but then failed. Release them
886fdd048e1SVlastimil Babka 		 * instead of migrating, as we cannot form the cc->order buddy
887fdd048e1SVlastimil Babka 		 * page anyway.
888fdd048e1SVlastimil Babka 		 */
889fdd048e1SVlastimil Babka 		if (nr_isolated) {
890fdd048e1SVlastimil Babka 			if (locked) {
891a52633d8SMel Gorman 				spin_unlock_irqrestore(zone_lru_lock(zone), flags);
892fdd048e1SVlastimil Babka 				locked = false;
893fdd048e1SVlastimil Babka 			}
894fdd048e1SVlastimil Babka 			putback_movable_pages(&cc->migratepages);
895fdd048e1SVlastimil Babka 			cc->nr_migratepages = 0;
896fdd048e1SVlastimil Babka 			cc->last_migrated_pfn = 0;
897fdd048e1SVlastimil Babka 			nr_isolated = 0;
898fdd048e1SVlastimil Babka 		}
899fdd048e1SVlastimil Babka 
900fdd048e1SVlastimil Babka 		if (low_pfn < next_skip_pfn) {
901fdd048e1SVlastimil Babka 			low_pfn = next_skip_pfn - 1;
902fdd048e1SVlastimil Babka 			/*
903fdd048e1SVlastimil Babka 			 * The check near the loop beginning would have updated
904fdd048e1SVlastimil Babka 			 * next_skip_pfn too, but this is a bit simpler.
905fdd048e1SVlastimil Babka 			 */
906fdd048e1SVlastimil Babka 			next_skip_pfn += 1UL << cc->order;
907fdd048e1SVlastimil Babka 		}
90831b8384aSHillf Danton 	}
909748446bbSMel Gorman 
91099c0fd5eSVlastimil Babka 	/*
91199c0fd5eSVlastimil Babka 	 * The PageBuddy() check could have potentially brought us outside
91299c0fd5eSVlastimil Babka 	 * the range to be scanned.
91399c0fd5eSVlastimil Babka 	 */
91499c0fd5eSVlastimil Babka 	if (unlikely(low_pfn > end_pfn))
91599c0fd5eSVlastimil Babka 		low_pfn = end_pfn;
91699c0fd5eSVlastimil Babka 
917c67fe375SMel Gorman 	if (locked)
918a52633d8SMel Gorman 		spin_unlock_irqrestore(zone_lru_lock(zone), flags);
919748446bbSMel Gorman 
92050b5b094SVlastimil Babka 	/*
92150b5b094SVlastimil Babka 	 * Update the pageblock-skip information and cached scanner pfn,
92250b5b094SVlastimil Babka 	 * if the whole pageblock was scanned without isolating any page.
92350b5b094SVlastimil Babka 	 */
92435979ef3SDavid Rientjes 	if (low_pfn == end_pfn)
925edc2ca61SVlastimil Babka 		update_pageblock_skip(cc, valid_page, nr_isolated, true);
926bb13ffebSMel Gorman 
927e34d85f0SJoonsoo Kim 	trace_mm_compaction_isolate_migratepages(start_pfn, low_pfn,
928e34d85f0SJoonsoo Kim 						nr_scanned, nr_isolated);
929b7aba698SMel Gorman 
9307f354a54SDavid Rientjes 	cc->total_migrate_scanned += nr_scanned;
931397487dbSMel Gorman 	if (nr_isolated)
932010fc29aSMinchan Kim 		count_compact_events(COMPACTISOLATED, nr_isolated);
933397487dbSMel Gorman 
9342fe86e00SMichal Nazarewicz 	return low_pfn;
9352fe86e00SMichal Nazarewicz }
9362fe86e00SMichal Nazarewicz 
937edc2ca61SVlastimil Babka /**
938edc2ca61SVlastimil Babka  * isolate_migratepages_range() - isolate migrate-able pages in a PFN range
939edc2ca61SVlastimil Babka  * @cc:        Compaction control structure.
940edc2ca61SVlastimil Babka  * @start_pfn: The first PFN to start isolating.
941edc2ca61SVlastimil Babka  * @end_pfn:   The one-past-last PFN.
942edc2ca61SVlastimil Babka  *
943edc2ca61SVlastimil Babka  * Returns zero if isolation fails fatally due to e.g. pending signal.
944edc2ca61SVlastimil Babka  * Otherwise, function returns one-past-the-last PFN of isolated page
945edc2ca61SVlastimil Babka  * (which may be greater than end_pfn if end fell in a middle of a THP page).
946edc2ca61SVlastimil Babka  */
947edc2ca61SVlastimil Babka unsigned long
948edc2ca61SVlastimil Babka isolate_migratepages_range(struct compact_control *cc, unsigned long start_pfn,
949edc2ca61SVlastimil Babka 							unsigned long end_pfn)
950edc2ca61SVlastimil Babka {
951e1409c32SJoonsoo Kim 	unsigned long pfn, block_start_pfn, block_end_pfn;
952edc2ca61SVlastimil Babka 
953edc2ca61SVlastimil Babka 	/* Scan block by block. First and last block may be incomplete */
954edc2ca61SVlastimil Babka 	pfn = start_pfn;
95506b6640aSVlastimil Babka 	block_start_pfn = pageblock_start_pfn(pfn);
956e1409c32SJoonsoo Kim 	if (block_start_pfn < cc->zone->zone_start_pfn)
957e1409c32SJoonsoo Kim 		block_start_pfn = cc->zone->zone_start_pfn;
95806b6640aSVlastimil Babka 	block_end_pfn = pageblock_end_pfn(pfn);
959edc2ca61SVlastimil Babka 
960edc2ca61SVlastimil Babka 	for (; pfn < end_pfn; pfn = block_end_pfn,
961e1409c32SJoonsoo Kim 				block_start_pfn = block_end_pfn,
962edc2ca61SVlastimil Babka 				block_end_pfn += pageblock_nr_pages) {
963edc2ca61SVlastimil Babka 
964edc2ca61SVlastimil Babka 		block_end_pfn = min(block_end_pfn, end_pfn);
965edc2ca61SVlastimil Babka 
966e1409c32SJoonsoo Kim 		if (!pageblock_pfn_to_page(block_start_pfn,
967e1409c32SJoonsoo Kim 					block_end_pfn, cc->zone))
968edc2ca61SVlastimil Babka 			continue;
969edc2ca61SVlastimil Babka 
970edc2ca61SVlastimil Babka 		pfn = isolate_migratepages_block(cc, pfn, block_end_pfn,
971edc2ca61SVlastimil Babka 							ISOLATE_UNEVICTABLE);
972edc2ca61SVlastimil Babka 
97314af4a5eSHugh Dickins 		if (!pfn)
974edc2ca61SVlastimil Babka 			break;
9756ea41c0cSJoonsoo Kim 
9766ea41c0cSJoonsoo Kim 		if (cc->nr_migratepages == COMPACT_CLUSTER_MAX)
9776ea41c0cSJoonsoo Kim 			break;
978edc2ca61SVlastimil Babka 	}
979edc2ca61SVlastimil Babka 
980edc2ca61SVlastimil Babka 	return pfn;
981edc2ca61SVlastimil Babka }
982edc2ca61SVlastimil Babka 
983ff9543fdSMichal Nazarewicz #endif /* CONFIG_COMPACTION || CONFIG_CMA */
984ff9543fdSMichal Nazarewicz #ifdef CONFIG_COMPACTION
985018e9a49SAndrew Morton 
986*b682debdSVlastimil Babka static bool suitable_migration_source(struct compact_control *cc,
987*b682debdSVlastimil Babka 							struct page *page)
988*b682debdSVlastimil Babka {
989*b682debdSVlastimil Babka 	if (cc->mode != MIGRATE_ASYNC)
990*b682debdSVlastimil Babka 		return true;
991*b682debdSVlastimil Babka 
992*b682debdSVlastimil Babka 	return is_migrate_movable(get_pageblock_migratetype(page));
993*b682debdSVlastimil Babka }
994*b682debdSVlastimil Babka 
995018e9a49SAndrew Morton /* Returns true if the page is within a block suitable for migration to */
9969f7e3387SVlastimil Babka static bool suitable_migration_target(struct compact_control *cc,
9979f7e3387SVlastimil Babka 							struct page *page)
998018e9a49SAndrew Morton {
999018e9a49SAndrew Morton 	/* If the page is a large free page, then disallow migration */
1000018e9a49SAndrew Morton 	if (PageBuddy(page)) {
1001018e9a49SAndrew Morton 		/*
1002018e9a49SAndrew Morton 		 * We are checking page_order without zone->lock taken. But
1003018e9a49SAndrew Morton 		 * the only small danger is that we skip a potentially suitable
1004018e9a49SAndrew Morton 		 * pageblock, so it's not worth to check order for valid range.
1005018e9a49SAndrew Morton 		 */
1006018e9a49SAndrew Morton 		if (page_order_unsafe(page) >= pageblock_order)
1007018e9a49SAndrew Morton 			return false;
1008018e9a49SAndrew Morton 	}
1009018e9a49SAndrew Morton 
10101ef36db2SYisheng Xie 	if (cc->ignore_block_suitable)
10111ef36db2SYisheng Xie 		return true;
10121ef36db2SYisheng Xie 
1013018e9a49SAndrew Morton 	/* If the block is MIGRATE_MOVABLE or MIGRATE_CMA, allow migration */
1014*b682debdSVlastimil Babka 	if (is_migrate_movable(get_pageblock_migratetype(page)))
1015018e9a49SAndrew Morton 		return true;
1016018e9a49SAndrew Morton 
1017018e9a49SAndrew Morton 	/* Otherwise skip the block */
1018018e9a49SAndrew Morton 	return false;
1019018e9a49SAndrew Morton }
1020018e9a49SAndrew Morton 
1021ff9543fdSMichal Nazarewicz /*
1022f2849aa0SVlastimil Babka  * Test whether the free scanner has reached the same or lower pageblock than
1023f2849aa0SVlastimil Babka  * the migration scanner, and compaction should thus terminate.
1024f2849aa0SVlastimil Babka  */
1025f2849aa0SVlastimil Babka static inline bool compact_scanners_met(struct compact_control *cc)
1026f2849aa0SVlastimil Babka {
1027f2849aa0SVlastimil Babka 	return (cc->free_pfn >> pageblock_order)
1028f2849aa0SVlastimil Babka 		<= (cc->migrate_pfn >> pageblock_order);
1029f2849aa0SVlastimil Babka }
1030f2849aa0SVlastimil Babka 
1031f2849aa0SVlastimil Babka /*
1032ff9543fdSMichal Nazarewicz  * Based on information in the current compact_control, find blocks
1033ff9543fdSMichal Nazarewicz  * suitable for isolating free pages from and then isolate them.
1034ff9543fdSMichal Nazarewicz  */
1035edc2ca61SVlastimil Babka static void isolate_freepages(struct compact_control *cc)
1036ff9543fdSMichal Nazarewicz {
1037edc2ca61SVlastimil Babka 	struct zone *zone = cc->zone;
1038ff9543fdSMichal Nazarewicz 	struct page *page;
1039c96b9e50SVlastimil Babka 	unsigned long block_start_pfn;	/* start of current pageblock */
1040e14c720eSVlastimil Babka 	unsigned long isolate_start_pfn; /* exact pfn we start at */
1041c96b9e50SVlastimil Babka 	unsigned long block_end_pfn;	/* end of current pageblock */
1042c96b9e50SVlastimil Babka 	unsigned long low_pfn;	     /* lowest pfn scanner is able to scan */
1043ff9543fdSMichal Nazarewicz 	struct list_head *freelist = &cc->freepages;
10442fe86e00SMichal Nazarewicz 
1045ff9543fdSMichal Nazarewicz 	/*
1046ff9543fdSMichal Nazarewicz 	 * Initialise the free scanner. The starting point is where we last
104749e068f0SVlastimil Babka 	 * successfully isolated from, zone-cached value, or the end of the
1048e14c720eSVlastimil Babka 	 * zone when isolating for the first time. For looping we also need
1049e14c720eSVlastimil Babka 	 * this pfn aligned down to the pageblock boundary, because we do
1050c96b9e50SVlastimil Babka 	 * block_start_pfn -= pageblock_nr_pages in the for loop.
1051c96b9e50SVlastimil Babka 	 * For ending point, take care when isolating in last pageblock of a
1052c96b9e50SVlastimil Babka 	 * a zone which ends in the middle of a pageblock.
105349e068f0SVlastimil Babka 	 * The low boundary is the end of the pageblock the migration scanner
105449e068f0SVlastimil Babka 	 * is using.
1055ff9543fdSMichal Nazarewicz 	 */
1056e14c720eSVlastimil Babka 	isolate_start_pfn = cc->free_pfn;
105706b6640aSVlastimil Babka 	block_start_pfn = pageblock_start_pfn(cc->free_pfn);
1058c96b9e50SVlastimil Babka 	block_end_pfn = min(block_start_pfn + pageblock_nr_pages,
1059c96b9e50SVlastimil Babka 						zone_end_pfn(zone));
106006b6640aSVlastimil Babka 	low_pfn = pageblock_end_pfn(cc->migrate_pfn);
10612fe86e00SMichal Nazarewicz 
1062ff9543fdSMichal Nazarewicz 	/*
1063ff9543fdSMichal Nazarewicz 	 * Isolate free pages until enough are available to migrate the
1064ff9543fdSMichal Nazarewicz 	 * pages on cc->migratepages. We stop searching if the migrate
1065ff9543fdSMichal Nazarewicz 	 * and free page scanners meet or enough free pages are isolated.
1066ff9543fdSMichal Nazarewicz 	 */
1067f5f61a32SVlastimil Babka 	for (; block_start_pfn >= low_pfn;
1068c96b9e50SVlastimil Babka 				block_end_pfn = block_start_pfn,
1069e14c720eSVlastimil Babka 				block_start_pfn -= pageblock_nr_pages,
1070e14c720eSVlastimil Babka 				isolate_start_pfn = block_start_pfn) {
1071f6ea3adbSDavid Rientjes 		/*
1072f6ea3adbSDavid Rientjes 		 * This can iterate a massively long zone without finding any
1073f6ea3adbSDavid Rientjes 		 * suitable migration targets, so periodically check if we need
1074be976572SVlastimil Babka 		 * to schedule, or even abort async compaction.
1075f6ea3adbSDavid Rientjes 		 */
1076be976572SVlastimil Babka 		if (!(block_start_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages))
1077be976572SVlastimil Babka 						&& compact_should_abort(cc))
1078be976572SVlastimil Babka 			break;
1079f6ea3adbSDavid Rientjes 
10807d49d886SVlastimil Babka 		page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn,
10817d49d886SVlastimil Babka 									zone);
10827d49d886SVlastimil Babka 		if (!page)
1083ff9543fdSMichal Nazarewicz 			continue;
1084ff9543fdSMichal Nazarewicz 
1085ff9543fdSMichal Nazarewicz 		/* Check the block is suitable for migration */
10869f7e3387SVlastimil Babka 		if (!suitable_migration_target(cc, page))
1087ff9543fdSMichal Nazarewicz 			continue;
108868e3e926SLinus Torvalds 
1089bb13ffebSMel Gorman 		/* If isolation recently failed, do not retry */
1090bb13ffebSMel Gorman 		if (!isolation_suitable(cc, page))
1091bb13ffebSMel Gorman 			continue;
1092bb13ffebSMel Gorman 
1093e14c720eSVlastimil Babka 		/* Found a block suitable for isolating free pages from. */
1094a46cbf3bSDavid Rientjes 		isolate_freepages_block(cc, &isolate_start_pfn, block_end_pfn,
1095a46cbf3bSDavid Rientjes 					freelist, false);
1096ff9543fdSMichal Nazarewicz 
1097ff9543fdSMichal Nazarewicz 		/*
1098a46cbf3bSDavid Rientjes 		 * If we isolated enough freepages, or aborted due to lock
1099a46cbf3bSDavid Rientjes 		 * contention, terminate.
1100e14c720eSVlastimil Babka 		 */
1101f5f61a32SVlastimil Babka 		if ((cc->nr_freepages >= cc->nr_migratepages)
1102f5f61a32SVlastimil Babka 							|| cc->contended) {
1103a46cbf3bSDavid Rientjes 			if (isolate_start_pfn >= block_end_pfn) {
1104a46cbf3bSDavid Rientjes 				/*
1105a46cbf3bSDavid Rientjes 				 * Restart at previous pageblock if more
1106a46cbf3bSDavid Rientjes 				 * freepages can be isolated next time.
1107a46cbf3bSDavid Rientjes 				 */
1108f5f61a32SVlastimil Babka 				isolate_start_pfn =
1109e14c720eSVlastimil Babka 					block_start_pfn - pageblock_nr_pages;
1110a46cbf3bSDavid Rientjes 			}
1111be976572SVlastimil Babka 			break;
1112a46cbf3bSDavid Rientjes 		} else if (isolate_start_pfn < block_end_pfn) {
1113f5f61a32SVlastimil Babka 			/*
1114a46cbf3bSDavid Rientjes 			 * If isolation failed early, do not continue
1115a46cbf3bSDavid Rientjes 			 * needlessly.
1116f5f61a32SVlastimil Babka 			 */
1117a46cbf3bSDavid Rientjes 			break;
1118f5f61a32SVlastimil Babka 		}
1119c89511abSMel Gorman 	}
1120ff9543fdSMichal Nazarewicz 
112166c64223SJoonsoo Kim 	/* __isolate_free_page() does not map the pages */
1122ff9543fdSMichal Nazarewicz 	map_pages(freelist);
1123ff9543fdSMichal Nazarewicz 
11247ed695e0SVlastimil Babka 	/*
1125f5f61a32SVlastimil Babka 	 * Record where the free scanner will restart next time. Either we
1126f5f61a32SVlastimil Babka 	 * broke from the loop and set isolate_start_pfn based on the last
1127f5f61a32SVlastimil Babka 	 * call to isolate_freepages_block(), or we met the migration scanner
1128f5f61a32SVlastimil Babka 	 * and the loop terminated due to isolate_start_pfn < low_pfn
11297ed695e0SVlastimil Babka 	 */
1130f5f61a32SVlastimil Babka 	cc->free_pfn = isolate_start_pfn;
1131748446bbSMel Gorman }
1132748446bbSMel Gorman 
1133748446bbSMel Gorman /*
1134748446bbSMel Gorman  * This is a migrate-callback that "allocates" freepages by taking pages
1135748446bbSMel Gorman  * from the isolated freelists in the block we are migrating to.
1136748446bbSMel Gorman  */
1137748446bbSMel Gorman static struct page *compaction_alloc(struct page *migratepage,
1138748446bbSMel Gorman 					unsigned long data,
1139748446bbSMel Gorman 					int **result)
1140748446bbSMel Gorman {
1141748446bbSMel Gorman 	struct compact_control *cc = (struct compact_control *)data;
1142748446bbSMel Gorman 	struct page *freepage;
1143748446bbSMel Gorman 
1144be976572SVlastimil Babka 	/*
1145be976572SVlastimil Babka 	 * Isolate free pages if necessary, and if we are not aborting due to
1146be976572SVlastimil Babka 	 * contention.
1147be976572SVlastimil Babka 	 */
1148748446bbSMel Gorman 	if (list_empty(&cc->freepages)) {
1149be976572SVlastimil Babka 		if (!cc->contended)
1150edc2ca61SVlastimil Babka 			isolate_freepages(cc);
1151748446bbSMel Gorman 
1152748446bbSMel Gorman 		if (list_empty(&cc->freepages))
1153748446bbSMel Gorman 			return NULL;
1154748446bbSMel Gorman 	}
1155748446bbSMel Gorman 
1156748446bbSMel Gorman 	freepage = list_entry(cc->freepages.next, struct page, lru);
1157748446bbSMel Gorman 	list_del(&freepage->lru);
1158748446bbSMel Gorman 	cc->nr_freepages--;
1159748446bbSMel Gorman 
1160748446bbSMel Gorman 	return freepage;
1161748446bbSMel Gorman }
1162748446bbSMel Gorman 
1163748446bbSMel Gorman /*
1164d53aea3dSDavid Rientjes  * This is a migrate-callback that "frees" freepages back to the isolated
1165d53aea3dSDavid Rientjes  * freelist.  All pages on the freelist are from the same zone, so there is no
1166d53aea3dSDavid Rientjes  * special handling needed for NUMA.
1167d53aea3dSDavid Rientjes  */
1168d53aea3dSDavid Rientjes static void compaction_free(struct page *page, unsigned long data)
1169d53aea3dSDavid Rientjes {
1170d53aea3dSDavid Rientjes 	struct compact_control *cc = (struct compact_control *)data;
1171d53aea3dSDavid Rientjes 
1172d53aea3dSDavid Rientjes 	list_add(&page->lru, &cc->freepages);
1173d53aea3dSDavid Rientjes 	cc->nr_freepages++;
1174d53aea3dSDavid Rientjes }
1175d53aea3dSDavid Rientjes 
1176ff9543fdSMichal Nazarewicz /* possible outcome of isolate_migratepages */
1177ff9543fdSMichal Nazarewicz typedef enum {
1178ff9543fdSMichal Nazarewicz 	ISOLATE_ABORT,		/* Abort compaction now */
1179ff9543fdSMichal Nazarewicz 	ISOLATE_NONE,		/* No pages isolated, continue scanning */
1180ff9543fdSMichal Nazarewicz 	ISOLATE_SUCCESS,	/* Pages isolated, migrate */
1181ff9543fdSMichal Nazarewicz } isolate_migrate_t;
1182ff9543fdSMichal Nazarewicz 
1183ff9543fdSMichal Nazarewicz /*
11845bbe3547SEric B Munson  * Allow userspace to control policy on scanning the unevictable LRU for
11855bbe3547SEric B Munson  * compactable pages.
11865bbe3547SEric B Munson  */
11875bbe3547SEric B Munson int sysctl_compact_unevictable_allowed __read_mostly = 1;
11885bbe3547SEric B Munson 
11895bbe3547SEric B Munson /*
1190edc2ca61SVlastimil Babka  * Isolate all pages that can be migrated from the first suitable block,
1191edc2ca61SVlastimil Babka  * starting at the block pointed to by the migrate scanner pfn within
1192edc2ca61SVlastimil Babka  * compact_control.
1193ff9543fdSMichal Nazarewicz  */
1194ff9543fdSMichal Nazarewicz static isolate_migrate_t isolate_migratepages(struct zone *zone,
1195ff9543fdSMichal Nazarewicz 					struct compact_control *cc)
1196ff9543fdSMichal Nazarewicz {
1197e1409c32SJoonsoo Kim 	unsigned long block_start_pfn;
1198e1409c32SJoonsoo Kim 	unsigned long block_end_pfn;
1199e1409c32SJoonsoo Kim 	unsigned long low_pfn;
1200edc2ca61SVlastimil Babka 	struct page *page;
1201edc2ca61SVlastimil Babka 	const isolate_mode_t isolate_mode =
12025bbe3547SEric B Munson 		(sysctl_compact_unevictable_allowed ? ISOLATE_UNEVICTABLE : 0) |
12031d2047feSHugh Dickins 		(cc->mode != MIGRATE_SYNC ? ISOLATE_ASYNC_MIGRATE : 0);
1204ff9543fdSMichal Nazarewicz 
1205edc2ca61SVlastimil Babka 	/*
1206edc2ca61SVlastimil Babka 	 * Start at where we last stopped, or beginning of the zone as
1207edc2ca61SVlastimil Babka 	 * initialized by compact_zone()
1208edc2ca61SVlastimil Babka 	 */
1209edc2ca61SVlastimil Babka 	low_pfn = cc->migrate_pfn;
121006b6640aSVlastimil Babka 	block_start_pfn = pageblock_start_pfn(low_pfn);
1211e1409c32SJoonsoo Kim 	if (block_start_pfn < zone->zone_start_pfn)
1212e1409c32SJoonsoo Kim 		block_start_pfn = zone->zone_start_pfn;
1213ff9543fdSMichal Nazarewicz 
1214ff9543fdSMichal Nazarewicz 	/* Only scan within a pageblock boundary */
121506b6640aSVlastimil Babka 	block_end_pfn = pageblock_end_pfn(low_pfn);
1216ff9543fdSMichal Nazarewicz 
1217edc2ca61SVlastimil Babka 	/*
1218edc2ca61SVlastimil Babka 	 * Iterate over whole pageblocks until we find the first suitable.
1219edc2ca61SVlastimil Babka 	 * Do not cross the free scanner.
1220edc2ca61SVlastimil Babka 	 */
1221e1409c32SJoonsoo Kim 	for (; block_end_pfn <= cc->free_pfn;
1222e1409c32SJoonsoo Kim 			low_pfn = block_end_pfn,
1223e1409c32SJoonsoo Kim 			block_start_pfn = block_end_pfn,
1224e1409c32SJoonsoo Kim 			block_end_pfn += pageblock_nr_pages) {
1225edc2ca61SVlastimil Babka 
1226edc2ca61SVlastimil Babka 		/*
1227edc2ca61SVlastimil Babka 		 * This can potentially iterate a massively long zone with
1228edc2ca61SVlastimil Babka 		 * many pageblocks unsuitable, so periodically check if we
1229edc2ca61SVlastimil Babka 		 * need to schedule, or even abort async compaction.
1230edc2ca61SVlastimil Babka 		 */
1231edc2ca61SVlastimil Babka 		if (!(low_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages))
1232edc2ca61SVlastimil Babka 						&& compact_should_abort(cc))
1233edc2ca61SVlastimil Babka 			break;
1234edc2ca61SVlastimil Babka 
1235e1409c32SJoonsoo Kim 		page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn,
1236e1409c32SJoonsoo Kim 									zone);
12377d49d886SVlastimil Babka 		if (!page)
1238edc2ca61SVlastimil Babka 			continue;
1239edc2ca61SVlastimil Babka 
1240edc2ca61SVlastimil Babka 		/* If isolation recently failed, do not retry */
1241edc2ca61SVlastimil Babka 		if (!isolation_suitable(cc, page))
1242edc2ca61SVlastimil Babka 			continue;
1243edc2ca61SVlastimil Babka 
1244edc2ca61SVlastimil Babka 		/*
1245edc2ca61SVlastimil Babka 		 * For async compaction, also only scan in MOVABLE blocks.
1246edc2ca61SVlastimil Babka 		 * Async compaction is optimistic to see if the minimum amount
1247edc2ca61SVlastimil Babka 		 * of work satisfies the allocation.
1248edc2ca61SVlastimil Babka 		 */
1249*b682debdSVlastimil Babka 		if (!suitable_migration_source(cc, page))
1250edc2ca61SVlastimil Babka 			continue;
1251ff9543fdSMichal Nazarewicz 
1252ff9543fdSMichal Nazarewicz 		/* Perform the isolation */
1253e1409c32SJoonsoo Kim 		low_pfn = isolate_migratepages_block(cc, low_pfn,
1254e1409c32SJoonsoo Kim 						block_end_pfn, isolate_mode);
1255edc2ca61SVlastimil Babka 
12566afcf8efSMing Ling 		if (!low_pfn || cc->contended)
1257ff9543fdSMichal Nazarewicz 			return ISOLATE_ABORT;
1258ff9543fdSMichal Nazarewicz 
1259edc2ca61SVlastimil Babka 		/*
1260edc2ca61SVlastimil Babka 		 * Either we isolated something and proceed with migration. Or
1261edc2ca61SVlastimil Babka 		 * we failed and compact_zone should decide if we should
1262edc2ca61SVlastimil Babka 		 * continue or not.
1263edc2ca61SVlastimil Babka 		 */
1264edc2ca61SVlastimil Babka 		break;
1265edc2ca61SVlastimil Babka 	}
1266edc2ca61SVlastimil Babka 
1267f2849aa0SVlastimil Babka 	/* Record where migration scanner will be restarted. */
1268f2849aa0SVlastimil Babka 	cc->migrate_pfn = low_pfn;
1269ff9543fdSMichal Nazarewicz 
1270edc2ca61SVlastimil Babka 	return cc->nr_migratepages ? ISOLATE_SUCCESS : ISOLATE_NONE;
1271ff9543fdSMichal Nazarewicz }
1272ff9543fdSMichal Nazarewicz 
127321c527a3SYaowei Bai /*
127421c527a3SYaowei Bai  * order == -1 is expected when compacting via
127521c527a3SYaowei Bai  * /proc/sys/vm/compact_memory
127621c527a3SYaowei Bai  */
127721c527a3SYaowei Bai static inline bool is_via_compact_memory(int order)
127821c527a3SYaowei Bai {
127921c527a3SYaowei Bai 	return order == -1;
128021c527a3SYaowei Bai }
128121c527a3SYaowei Bai 
1282ea7ab982SMichal Hocko static enum compact_result __compact_finished(struct zone *zone, struct compact_control *cc,
12836d7ce559SDavid Rientjes 			    const int migratetype)
1284748446bbSMel Gorman {
12858fb74b9fSMel Gorman 	unsigned int order;
128656de7263SMel Gorman 
1287be976572SVlastimil Babka 	if (cc->contended || fatal_signal_pending(current))
12882d1e1041SVlastimil Babka 		return COMPACT_CONTENDED;
1289748446bbSMel Gorman 
1290753341a4SMel Gorman 	/* Compaction run completes if the migrate and free scanner meet */
1291f2849aa0SVlastimil Babka 	if (compact_scanners_met(cc)) {
129255b7c4c9SVlastimil Babka 		/* Let the next compaction start anew. */
129302333641SVlastimil Babka 		reset_cached_positions(zone);
129455b7c4c9SVlastimil Babka 
129562997027SMel Gorman 		/*
129662997027SMel Gorman 		 * Mark that the PG_migrate_skip information should be cleared
1297accf6242SVlastimil Babka 		 * by kswapd when it goes to sleep. kcompactd does not set the
129862997027SMel Gorman 		 * flag itself as the decision to be clear should be directly
129962997027SMel Gorman 		 * based on an allocation request.
130062997027SMel Gorman 		 */
1301accf6242SVlastimil Babka 		if (cc->direct_compaction)
130262997027SMel Gorman 			zone->compact_blockskip_flush = true;
130362997027SMel Gorman 
1304c8f7de0bSMichal Hocko 		if (cc->whole_zone)
1305748446bbSMel Gorman 			return COMPACT_COMPLETE;
1306c8f7de0bSMichal Hocko 		else
1307c8f7de0bSMichal Hocko 			return COMPACT_PARTIAL_SKIPPED;
1308bb13ffebSMel Gorman 	}
1309748446bbSMel Gorman 
131021c527a3SYaowei Bai 	if (is_via_compact_memory(cc->order))
131156de7263SMel Gorman 		return COMPACT_CONTINUE;
131256de7263SMel Gorman 
131356de7263SMel Gorman 	/* Direct compactor: Is a suitable page free? */
131456de7263SMel Gorman 	for (order = cc->order; order < MAX_ORDER; order++) {
13158fb74b9fSMel Gorman 		struct free_area *area = &zone->free_area[order];
13162149cdaeSJoonsoo Kim 		bool can_steal;
13178fb74b9fSMel Gorman 
131856de7263SMel Gorman 		/* Job done if page is free of the right migratetype */
13196d7ce559SDavid Rientjes 		if (!list_empty(&area->free_list[migratetype]))
1320cf378319SVlastimil Babka 			return COMPACT_SUCCESS;
132156de7263SMel Gorman 
13222149cdaeSJoonsoo Kim #ifdef CONFIG_CMA
13232149cdaeSJoonsoo Kim 		/* MIGRATE_MOVABLE can fallback on MIGRATE_CMA */
13242149cdaeSJoonsoo Kim 		if (migratetype == MIGRATE_MOVABLE &&
13252149cdaeSJoonsoo Kim 			!list_empty(&area->free_list[MIGRATE_CMA]))
1326cf378319SVlastimil Babka 			return COMPACT_SUCCESS;
13272149cdaeSJoonsoo Kim #endif
13282149cdaeSJoonsoo Kim 		/*
13292149cdaeSJoonsoo Kim 		 * Job done if allocation would steal freepages from
13302149cdaeSJoonsoo Kim 		 * other migratetype buddy lists.
13312149cdaeSJoonsoo Kim 		 */
13322149cdaeSJoonsoo Kim 		if (find_suitable_fallback(area, order, migratetype,
13332149cdaeSJoonsoo Kim 						true, &can_steal) != -1)
1334cf378319SVlastimil Babka 			return COMPACT_SUCCESS;
133556de7263SMel Gorman 	}
133656de7263SMel Gorman 
1337837d026dSJoonsoo Kim 	return COMPACT_NO_SUITABLE_PAGE;
1338837d026dSJoonsoo Kim }
1339837d026dSJoonsoo Kim 
1340ea7ab982SMichal Hocko static enum compact_result compact_finished(struct zone *zone,
1341ea7ab982SMichal Hocko 			struct compact_control *cc,
1342837d026dSJoonsoo Kim 			const int migratetype)
1343837d026dSJoonsoo Kim {
1344837d026dSJoonsoo Kim 	int ret;
1345837d026dSJoonsoo Kim 
1346837d026dSJoonsoo Kim 	ret = __compact_finished(zone, cc, migratetype);
1347837d026dSJoonsoo Kim 	trace_mm_compaction_finished(zone, cc->order, ret);
1348837d026dSJoonsoo Kim 	if (ret == COMPACT_NO_SUITABLE_PAGE)
1349837d026dSJoonsoo Kim 		ret = COMPACT_CONTINUE;
1350837d026dSJoonsoo Kim 
1351837d026dSJoonsoo Kim 	return ret;
1352748446bbSMel Gorman }
1353748446bbSMel Gorman 
13543e7d3449SMel Gorman /*
13553e7d3449SMel Gorman  * compaction_suitable: Is this suitable to run compaction on this zone now?
13563e7d3449SMel Gorman  * Returns
13573e7d3449SMel Gorman  *   COMPACT_SKIPPED  - If there are too few free pages for compaction
1358cf378319SVlastimil Babka  *   COMPACT_SUCCESS  - If the allocation would succeed without compaction
13593e7d3449SMel Gorman  *   COMPACT_CONTINUE - If compaction should run now
13603e7d3449SMel Gorman  */
1361ea7ab982SMichal Hocko static enum compact_result __compaction_suitable(struct zone *zone, int order,
1362c603844bSMel Gorman 					unsigned int alloc_flags,
136386a294a8SMichal Hocko 					int classzone_idx,
136486a294a8SMichal Hocko 					unsigned long wmark_target)
13653e7d3449SMel Gorman {
13663e7d3449SMel Gorman 	unsigned long watermark;
13673e7d3449SMel Gorman 
136821c527a3SYaowei Bai 	if (is_via_compact_memory(order))
13693957c776SMichal Hocko 		return COMPACT_CONTINUE;
13703957c776SMichal Hocko 
1371f2b8228cSVlastimil Babka 	watermark = zone->watermark[alloc_flags & ALLOC_WMARK_MASK];
1372ebff3980SVlastimil Babka 	/*
1373ebff3980SVlastimil Babka 	 * If watermarks for high-order allocation are already met, there
1374ebff3980SVlastimil Babka 	 * should be no need for compaction at all.
1375ebff3980SVlastimil Babka 	 */
1376ebff3980SVlastimil Babka 	if (zone_watermark_ok(zone, order, watermark, classzone_idx,
1377ebff3980SVlastimil Babka 								alloc_flags))
1378cf378319SVlastimil Babka 		return COMPACT_SUCCESS;
1379ebff3980SVlastimil Babka 
13803957c776SMichal Hocko 	/*
13819861a62cSVlastimil Babka 	 * Watermarks for order-0 must be met for compaction to be able to
1382984fdba6SVlastimil Babka 	 * isolate free pages for migration targets. This means that the
1383984fdba6SVlastimil Babka 	 * watermark and alloc_flags have to match, or be more pessimistic than
1384984fdba6SVlastimil Babka 	 * the check in __isolate_free_page(). We don't use the direct
1385984fdba6SVlastimil Babka 	 * compactor's alloc_flags, as they are not relevant for freepage
1386984fdba6SVlastimil Babka 	 * isolation. We however do use the direct compactor's classzone_idx to
1387984fdba6SVlastimil Babka 	 * skip over zones where lowmem reserves would prevent allocation even
1388984fdba6SVlastimil Babka 	 * if compaction succeeds.
13898348faf9SVlastimil Babka 	 * For costly orders, we require low watermark instead of min for
13908348faf9SVlastimil Babka 	 * compaction to proceed to increase its chances.
1391984fdba6SVlastimil Babka 	 * ALLOC_CMA is used, as pages in CMA pageblocks are considered
1392984fdba6SVlastimil Babka 	 * suitable migration targets
13933e7d3449SMel Gorman 	 */
13948348faf9SVlastimil Babka 	watermark = (order > PAGE_ALLOC_COSTLY_ORDER) ?
13958348faf9SVlastimil Babka 				low_wmark_pages(zone) : min_wmark_pages(zone);
13968348faf9SVlastimil Babka 	watermark += compact_gap(order);
139786a294a8SMichal Hocko 	if (!__zone_watermark_ok(zone, 0, watermark, classzone_idx,
1398984fdba6SVlastimil Babka 						ALLOC_CMA, wmark_target))
13993e7d3449SMel Gorman 		return COMPACT_SKIPPED;
14003e7d3449SMel Gorman 
1401cc5c9f09SVlastimil Babka 	return COMPACT_CONTINUE;
1402cc5c9f09SVlastimil Babka }
1403cc5c9f09SVlastimil Babka 
1404cc5c9f09SVlastimil Babka enum compact_result compaction_suitable(struct zone *zone, int order,
1405cc5c9f09SVlastimil Babka 					unsigned int alloc_flags,
1406cc5c9f09SVlastimil Babka 					int classzone_idx)
1407cc5c9f09SVlastimil Babka {
1408cc5c9f09SVlastimil Babka 	enum compact_result ret;
1409cc5c9f09SVlastimil Babka 	int fragindex;
1410cc5c9f09SVlastimil Babka 
1411cc5c9f09SVlastimil Babka 	ret = __compaction_suitable(zone, order, alloc_flags, classzone_idx,
1412cc5c9f09SVlastimil Babka 				    zone_page_state(zone, NR_FREE_PAGES));
14133e7d3449SMel Gorman 	/*
14143e7d3449SMel Gorman 	 * fragmentation index determines if allocation failures are due to
14153e7d3449SMel Gorman 	 * low memory or external fragmentation
14163e7d3449SMel Gorman 	 *
1417ebff3980SVlastimil Babka 	 * index of -1000 would imply allocations might succeed depending on
1418ebff3980SVlastimil Babka 	 * watermarks, but we already failed the high-order watermark check
14193e7d3449SMel Gorman 	 * index towards 0 implies failure is due to lack of memory
14203e7d3449SMel Gorman 	 * index towards 1000 implies failure is due to fragmentation
14213e7d3449SMel Gorman 	 *
142220311420SVlastimil Babka 	 * Only compact if a failure would be due to fragmentation. Also
142320311420SVlastimil Babka 	 * ignore fragindex for non-costly orders where the alternative to
142420311420SVlastimil Babka 	 * a successful reclaim/compaction is OOM. Fragindex and the
142520311420SVlastimil Babka 	 * vm.extfrag_threshold sysctl is meant as a heuristic to prevent
142620311420SVlastimil Babka 	 * excessive compaction for costly orders, but it should not be at the
142720311420SVlastimil Babka 	 * expense of system stability.
14283e7d3449SMel Gorman 	 */
142920311420SVlastimil Babka 	if (ret == COMPACT_CONTINUE && (order > PAGE_ALLOC_COSTLY_ORDER)) {
14303e7d3449SMel Gorman 		fragindex = fragmentation_index(zone, order);
14313e7d3449SMel Gorman 		if (fragindex >= 0 && fragindex <= sysctl_extfrag_threshold)
1432cc5c9f09SVlastimil Babka 			ret = COMPACT_NOT_SUITABLE_ZONE;
14333e7d3449SMel Gorman 	}
14343e7d3449SMel Gorman 
1435837d026dSJoonsoo Kim 	trace_mm_compaction_suitable(zone, order, ret);
1436837d026dSJoonsoo Kim 	if (ret == COMPACT_NOT_SUITABLE_ZONE)
1437837d026dSJoonsoo Kim 		ret = COMPACT_SKIPPED;
1438837d026dSJoonsoo Kim 
1439837d026dSJoonsoo Kim 	return ret;
1440837d026dSJoonsoo Kim }
1441837d026dSJoonsoo Kim 
144286a294a8SMichal Hocko bool compaction_zonelist_suitable(struct alloc_context *ac, int order,
144386a294a8SMichal Hocko 		int alloc_flags)
144486a294a8SMichal Hocko {
144586a294a8SMichal Hocko 	struct zone *zone;
144686a294a8SMichal Hocko 	struct zoneref *z;
144786a294a8SMichal Hocko 
144886a294a8SMichal Hocko 	/*
144986a294a8SMichal Hocko 	 * Make sure at least one zone would pass __compaction_suitable if we continue
145086a294a8SMichal Hocko 	 * retrying the reclaim.
145186a294a8SMichal Hocko 	 */
145286a294a8SMichal Hocko 	for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, ac->high_zoneidx,
145386a294a8SMichal Hocko 					ac->nodemask) {
145486a294a8SMichal Hocko 		unsigned long available;
145586a294a8SMichal Hocko 		enum compact_result compact_result;
145686a294a8SMichal Hocko 
145786a294a8SMichal Hocko 		/*
145886a294a8SMichal Hocko 		 * Do not consider all the reclaimable memory because we do not
145986a294a8SMichal Hocko 		 * want to trash just for a single high order allocation which
146086a294a8SMichal Hocko 		 * is even not guaranteed to appear even if __compaction_suitable
146186a294a8SMichal Hocko 		 * is happy about the watermark check.
146286a294a8SMichal Hocko 		 */
14635a1c84b4SMel Gorman 		available = zone_reclaimable_pages(zone) / order;
146486a294a8SMichal Hocko 		available += zone_page_state_snapshot(zone, NR_FREE_PAGES);
146586a294a8SMichal Hocko 		compact_result = __compaction_suitable(zone, order, alloc_flags,
146686a294a8SMichal Hocko 				ac_classzone_idx(ac), available);
1467cc5c9f09SVlastimil Babka 		if (compact_result != COMPACT_SKIPPED)
146886a294a8SMichal Hocko 			return true;
146986a294a8SMichal Hocko 	}
147086a294a8SMichal Hocko 
147186a294a8SMichal Hocko 	return false;
147286a294a8SMichal Hocko }
147386a294a8SMichal Hocko 
1474ea7ab982SMichal Hocko static enum compact_result compact_zone(struct zone *zone, struct compact_control *cc)
1475748446bbSMel Gorman {
1476ea7ab982SMichal Hocko 	enum compact_result ret;
1477c89511abSMel Gorman 	unsigned long start_pfn = zone->zone_start_pfn;
1478108bcc96SCody P Schafer 	unsigned long end_pfn = zone_end_pfn(zone);
14796d7ce559SDavid Rientjes 	const int migratetype = gfpflags_to_migratetype(cc->gfp_mask);
1480e0b9daebSDavid Rientjes 	const bool sync = cc->mode != MIGRATE_ASYNC;
1481748446bbSMel Gorman 
1482ebff3980SVlastimil Babka 	ret = compaction_suitable(zone, cc->order, cc->alloc_flags,
1483ebff3980SVlastimil Babka 							cc->classzone_idx);
14843e7d3449SMel Gorman 	/* Compaction is likely to fail */
1485cf378319SVlastimil Babka 	if (ret == COMPACT_SUCCESS || ret == COMPACT_SKIPPED)
14863e7d3449SMel Gorman 		return ret;
1487c46649deSMichal Hocko 
1488c46649deSMichal Hocko 	/* huh, compaction_suitable is returning something unexpected */
1489c46649deSMichal Hocko 	VM_BUG_ON(ret != COMPACT_CONTINUE);
14903e7d3449SMel Gorman 
1491c89511abSMel Gorman 	/*
1492d3132e4bSVlastimil Babka 	 * Clear pageblock skip if there were failures recently and compaction
1493accf6242SVlastimil Babka 	 * is about to be retried after being deferred.
1494d3132e4bSVlastimil Babka 	 */
1495accf6242SVlastimil Babka 	if (compaction_restarting(zone, cc->order))
1496d3132e4bSVlastimil Babka 		__reset_isolation_suitable(zone);
1497d3132e4bSVlastimil Babka 
1498d3132e4bSVlastimil Babka 	/*
1499c89511abSMel Gorman 	 * Setup to move all movable pages to the end of the zone. Used cached
150006ed2998SVlastimil Babka 	 * information on where the scanners should start (unless we explicitly
150106ed2998SVlastimil Babka 	 * want to compact the whole zone), but check that it is initialised
150206ed2998SVlastimil Babka 	 * by ensuring the values are within zone boundaries.
1503c89511abSMel Gorman 	 */
150406ed2998SVlastimil Babka 	if (cc->whole_zone) {
150506ed2998SVlastimil Babka 		cc->migrate_pfn = start_pfn;
150606ed2998SVlastimil Babka 		cc->free_pfn = pageblock_start_pfn(end_pfn - 1);
150706ed2998SVlastimil Babka 	} else {
1508e0b9daebSDavid Rientjes 		cc->migrate_pfn = zone->compact_cached_migrate_pfn[sync];
1509c89511abSMel Gorman 		cc->free_pfn = zone->compact_cached_free_pfn;
1510623446e4SJoonsoo Kim 		if (cc->free_pfn < start_pfn || cc->free_pfn >= end_pfn) {
151106b6640aSVlastimil Babka 			cc->free_pfn = pageblock_start_pfn(end_pfn - 1);
1512c89511abSMel Gorman 			zone->compact_cached_free_pfn = cc->free_pfn;
1513c89511abSMel Gorman 		}
1514623446e4SJoonsoo Kim 		if (cc->migrate_pfn < start_pfn || cc->migrate_pfn >= end_pfn) {
1515c89511abSMel Gorman 			cc->migrate_pfn = start_pfn;
151635979ef3SDavid Rientjes 			zone->compact_cached_migrate_pfn[0] = cc->migrate_pfn;
151735979ef3SDavid Rientjes 			zone->compact_cached_migrate_pfn[1] = cc->migrate_pfn;
1518c89511abSMel Gorman 		}
1519c8f7de0bSMichal Hocko 
1520c8f7de0bSMichal Hocko 		if (cc->migrate_pfn == start_pfn)
1521c8f7de0bSMichal Hocko 			cc->whole_zone = true;
152206ed2998SVlastimil Babka 	}
1523c8f7de0bSMichal Hocko 
15241a16718cSJoonsoo Kim 	cc->last_migrated_pfn = 0;
1525748446bbSMel Gorman 
152616c4a097SJoonsoo Kim 	trace_mm_compaction_begin(start_pfn, cc->migrate_pfn,
152716c4a097SJoonsoo Kim 				cc->free_pfn, end_pfn, sync);
15280eb927c0SMel Gorman 
1529748446bbSMel Gorman 	migrate_prep_local();
1530748446bbSMel Gorman 
15316d7ce559SDavid Rientjes 	while ((ret = compact_finished(zone, cc, migratetype)) ==
15326d7ce559SDavid Rientjes 						COMPACT_CONTINUE) {
15339d502c1cSMinchan Kim 		int err;
1534748446bbSMel Gorman 
1535f9e35b3bSMel Gorman 		switch (isolate_migratepages(zone, cc)) {
1536f9e35b3bSMel Gorman 		case ISOLATE_ABORT:
15372d1e1041SVlastimil Babka 			ret = COMPACT_CONTENDED;
15385733c7d1SRafael Aquini 			putback_movable_pages(&cc->migratepages);
1539e64c5237SShaohua Li 			cc->nr_migratepages = 0;
1540f9e35b3bSMel Gorman 			goto out;
1541f9e35b3bSMel Gorman 		case ISOLATE_NONE:
1542fdaf7f5cSVlastimil Babka 			/*
1543fdaf7f5cSVlastimil Babka 			 * We haven't isolated and migrated anything, but
1544fdaf7f5cSVlastimil Babka 			 * there might still be unflushed migrations from
1545fdaf7f5cSVlastimil Babka 			 * previous cc->order aligned block.
1546fdaf7f5cSVlastimil Babka 			 */
1547fdaf7f5cSVlastimil Babka 			goto check_drain;
1548f9e35b3bSMel Gorman 		case ISOLATE_SUCCESS:
1549f9e35b3bSMel Gorman 			;
1550f9e35b3bSMel Gorman 		}
1551748446bbSMel Gorman 
1552d53aea3dSDavid Rientjes 		err = migrate_pages(&cc->migratepages, compaction_alloc,
1553e0b9daebSDavid Rientjes 				compaction_free, (unsigned long)cc, cc->mode,
15547b2a2d4aSMel Gorman 				MR_COMPACTION);
1555748446bbSMel Gorman 
1556f8c9301fSVlastimil Babka 		trace_mm_compaction_migratepages(cc->nr_migratepages, err,
1557f8c9301fSVlastimil Babka 							&cc->migratepages);
1558748446bbSMel Gorman 
1559f8c9301fSVlastimil Babka 		/* All pages were either migrated or will be released */
1560f8c9301fSVlastimil Babka 		cc->nr_migratepages = 0;
15619d502c1cSMinchan Kim 		if (err) {
15625733c7d1SRafael Aquini 			putback_movable_pages(&cc->migratepages);
15637ed695e0SVlastimil Babka 			/*
15647ed695e0SVlastimil Babka 			 * migrate_pages() may return -ENOMEM when scanners meet
15657ed695e0SVlastimil Babka 			 * and we want compact_finished() to detect it
15667ed695e0SVlastimil Babka 			 */
1567f2849aa0SVlastimil Babka 			if (err == -ENOMEM && !compact_scanners_met(cc)) {
15682d1e1041SVlastimil Babka 				ret = COMPACT_CONTENDED;
15694bf2bba3SDavid Rientjes 				goto out;
1570748446bbSMel Gorman 			}
1571fdd048e1SVlastimil Babka 			/*
1572fdd048e1SVlastimil Babka 			 * We failed to migrate at least one page in the current
1573fdd048e1SVlastimil Babka 			 * order-aligned block, so skip the rest of it.
1574fdd048e1SVlastimil Babka 			 */
1575fdd048e1SVlastimil Babka 			if (cc->direct_compaction &&
1576fdd048e1SVlastimil Babka 						(cc->mode == MIGRATE_ASYNC)) {
1577fdd048e1SVlastimil Babka 				cc->migrate_pfn = block_end_pfn(
1578fdd048e1SVlastimil Babka 						cc->migrate_pfn - 1, cc->order);
1579fdd048e1SVlastimil Babka 				/* Draining pcplists is useless in this case */
1580fdd048e1SVlastimil Babka 				cc->last_migrated_pfn = 0;
1581fdd048e1SVlastimil Babka 
1582fdd048e1SVlastimil Babka 			}
15834bf2bba3SDavid Rientjes 		}
1584fdaf7f5cSVlastimil Babka 
1585fdaf7f5cSVlastimil Babka check_drain:
1586fdaf7f5cSVlastimil Babka 		/*
1587fdaf7f5cSVlastimil Babka 		 * Has the migration scanner moved away from the previous
1588fdaf7f5cSVlastimil Babka 		 * cc->order aligned block where we migrated from? If yes,
1589fdaf7f5cSVlastimil Babka 		 * flush the pages that were freed, so that they can merge and
1590fdaf7f5cSVlastimil Babka 		 * compact_finished() can detect immediately if allocation
1591fdaf7f5cSVlastimil Babka 		 * would succeed.
1592fdaf7f5cSVlastimil Babka 		 */
15931a16718cSJoonsoo Kim 		if (cc->order > 0 && cc->last_migrated_pfn) {
1594fdaf7f5cSVlastimil Babka 			int cpu;
1595fdaf7f5cSVlastimil Babka 			unsigned long current_block_start =
159606b6640aSVlastimil Babka 				block_start_pfn(cc->migrate_pfn, cc->order);
1597fdaf7f5cSVlastimil Babka 
15981a16718cSJoonsoo Kim 			if (cc->last_migrated_pfn < current_block_start) {
1599fdaf7f5cSVlastimil Babka 				cpu = get_cpu();
1600fdaf7f5cSVlastimil Babka 				lru_add_drain_cpu(cpu);
1601fdaf7f5cSVlastimil Babka 				drain_local_pages(zone);
1602fdaf7f5cSVlastimil Babka 				put_cpu();
1603fdaf7f5cSVlastimil Babka 				/* No more flushing until we migrate again */
16041a16718cSJoonsoo Kim 				cc->last_migrated_pfn = 0;
1605fdaf7f5cSVlastimil Babka 			}
1606fdaf7f5cSVlastimil Babka 		}
1607fdaf7f5cSVlastimil Babka 
1608748446bbSMel Gorman 	}
1609748446bbSMel Gorman 
1610f9e35b3bSMel Gorman out:
16116bace090SVlastimil Babka 	/*
16126bace090SVlastimil Babka 	 * Release free pages and update where the free scanner should restart,
16136bace090SVlastimil Babka 	 * so we don't leave any returned pages behind in the next attempt.
16146bace090SVlastimil Babka 	 */
16156bace090SVlastimil Babka 	if (cc->nr_freepages > 0) {
16166bace090SVlastimil Babka 		unsigned long free_pfn = release_freepages(&cc->freepages);
16176bace090SVlastimil Babka 
16186bace090SVlastimil Babka 		cc->nr_freepages = 0;
16196bace090SVlastimil Babka 		VM_BUG_ON(free_pfn == 0);
16206bace090SVlastimil Babka 		/* The cached pfn is always the first in a pageblock */
162106b6640aSVlastimil Babka 		free_pfn = pageblock_start_pfn(free_pfn);
16226bace090SVlastimil Babka 		/*
16236bace090SVlastimil Babka 		 * Only go back, not forward. The cached pfn might have been
16246bace090SVlastimil Babka 		 * already reset to zone end in compact_finished()
16256bace090SVlastimil Babka 		 */
16266bace090SVlastimil Babka 		if (free_pfn > zone->compact_cached_free_pfn)
16276bace090SVlastimil Babka 			zone->compact_cached_free_pfn = free_pfn;
16286bace090SVlastimil Babka 	}
1629748446bbSMel Gorman 
16307f354a54SDavid Rientjes 	count_compact_events(COMPACTMIGRATE_SCANNED, cc->total_migrate_scanned);
16317f354a54SDavid Rientjes 	count_compact_events(COMPACTFREE_SCANNED, cc->total_free_scanned);
16327f354a54SDavid Rientjes 
163316c4a097SJoonsoo Kim 	trace_mm_compaction_end(start_pfn, cc->migrate_pfn,
163416c4a097SJoonsoo Kim 				cc->free_pfn, end_pfn, sync, ret);
16350eb927c0SMel Gorman 
1636748446bbSMel Gorman 	return ret;
1637748446bbSMel Gorman }
163876ab0f53SMel Gorman 
1639ea7ab982SMichal Hocko static enum compact_result compact_zone_order(struct zone *zone, int order,
1640c3486f53SVlastimil Babka 		gfp_t gfp_mask, enum compact_priority prio,
1641c603844bSMel Gorman 		unsigned int alloc_flags, int classzone_idx)
164256de7263SMel Gorman {
1643ea7ab982SMichal Hocko 	enum compact_result ret;
164456de7263SMel Gorman 	struct compact_control cc = {
164556de7263SMel Gorman 		.nr_freepages = 0,
164656de7263SMel Gorman 		.nr_migratepages = 0,
16477f354a54SDavid Rientjes 		.total_migrate_scanned = 0,
16487f354a54SDavid Rientjes 		.total_free_scanned = 0,
164956de7263SMel Gorman 		.order = order,
16506d7ce559SDavid Rientjes 		.gfp_mask = gfp_mask,
165156de7263SMel Gorman 		.zone = zone,
1652a5508cd8SVlastimil Babka 		.mode = (prio == COMPACT_PRIO_ASYNC) ?
1653a5508cd8SVlastimil Babka 					MIGRATE_ASYNC :	MIGRATE_SYNC_LIGHT,
1654ebff3980SVlastimil Babka 		.alloc_flags = alloc_flags,
1655ebff3980SVlastimil Babka 		.classzone_idx = classzone_idx,
1656accf6242SVlastimil Babka 		.direct_compaction = true,
1657a8e025e5SVlastimil Babka 		.whole_zone = (prio == MIN_COMPACT_PRIORITY),
16589f7e3387SVlastimil Babka 		.ignore_skip_hint = (prio == MIN_COMPACT_PRIORITY),
16599f7e3387SVlastimil Babka 		.ignore_block_suitable = (prio == MIN_COMPACT_PRIORITY)
166056de7263SMel Gorman 	};
166156de7263SMel Gorman 	INIT_LIST_HEAD(&cc.freepages);
166256de7263SMel Gorman 	INIT_LIST_HEAD(&cc.migratepages);
166356de7263SMel Gorman 
1664e64c5237SShaohua Li 	ret = compact_zone(zone, &cc);
1665e64c5237SShaohua Li 
1666e64c5237SShaohua Li 	VM_BUG_ON(!list_empty(&cc.freepages));
1667e64c5237SShaohua Li 	VM_BUG_ON(!list_empty(&cc.migratepages));
1668e64c5237SShaohua Li 
1669e64c5237SShaohua Li 	return ret;
167056de7263SMel Gorman }
167156de7263SMel Gorman 
16725e771905SMel Gorman int sysctl_extfrag_threshold = 500;
16735e771905SMel Gorman 
167456de7263SMel Gorman /**
167556de7263SMel Gorman  * try_to_compact_pages - Direct compact to satisfy a high-order allocation
167656de7263SMel Gorman  * @gfp_mask: The GFP mask of the current allocation
16771a6d53a1SVlastimil Babka  * @order: The order of the current allocation
16781a6d53a1SVlastimil Babka  * @alloc_flags: The allocation flags of the current allocation
16791a6d53a1SVlastimil Babka  * @ac: The context of current allocation
1680e0b9daebSDavid Rientjes  * @mode: The migration mode for async, sync light, or sync migration
168156de7263SMel Gorman  *
168256de7263SMel Gorman  * This is the main entry point for direct page compaction.
168356de7263SMel Gorman  */
1684ea7ab982SMichal Hocko enum compact_result try_to_compact_pages(gfp_t gfp_mask, unsigned int order,
1685c603844bSMel Gorman 		unsigned int alloc_flags, const struct alloc_context *ac,
1686c3486f53SVlastimil Babka 		enum compact_priority prio)
168756de7263SMel Gorman {
168856de7263SMel Gorman 	int may_perform_io = gfp_mask & __GFP_IO;
168956de7263SMel Gorman 	struct zoneref *z;
169056de7263SMel Gorman 	struct zone *zone;
16911d4746d3SMichal Hocko 	enum compact_result rc = COMPACT_SKIPPED;
169256de7263SMel Gorman 
169373e64c51SMichal Hocko 	/*
169473e64c51SMichal Hocko 	 * Check if the GFP flags allow compaction - GFP_NOIO is really
169573e64c51SMichal Hocko 	 * tricky context because the migration might require IO
169673e64c51SMichal Hocko 	 */
169773e64c51SMichal Hocko 	if (!may_perform_io)
169853853e2dSVlastimil Babka 		return COMPACT_SKIPPED;
169956de7263SMel Gorman 
1700a5508cd8SVlastimil Babka 	trace_mm_compaction_try_to_compact_pages(order, gfp_mask, prio);
1701837d026dSJoonsoo Kim 
170256de7263SMel Gorman 	/* Compact each zone in the list */
17031a6d53a1SVlastimil Babka 	for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, ac->high_zoneidx,
17041a6d53a1SVlastimil Babka 								ac->nodemask) {
1705ea7ab982SMichal Hocko 		enum compact_result status;
170656de7263SMel Gorman 
1707a8e025e5SVlastimil Babka 		if (prio > MIN_COMPACT_PRIORITY
1708a8e025e5SVlastimil Babka 					&& compaction_deferred(zone, order)) {
17091d4746d3SMichal Hocko 			rc = max_t(enum compact_result, COMPACT_DEFERRED, rc);
171053853e2dSVlastimil Babka 			continue;
17111d4746d3SMichal Hocko 		}
171253853e2dSVlastimil Babka 
1713a5508cd8SVlastimil Babka 		status = compact_zone_order(zone, order, gfp_mask, prio,
1714c3486f53SVlastimil Babka 					alloc_flags, ac_classzone_idx(ac));
171556de7263SMel Gorman 		rc = max(status, rc);
171656de7263SMel Gorman 
17177ceb009aSVlastimil Babka 		/* The allocation should succeed, stop compacting */
17187ceb009aSVlastimil Babka 		if (status == COMPACT_SUCCESS) {
171953853e2dSVlastimil Babka 			/*
172053853e2dSVlastimil Babka 			 * We think the allocation will succeed in this zone,
172153853e2dSVlastimil Babka 			 * but it is not certain, hence the false. The caller
172253853e2dSVlastimil Babka 			 * will repeat this with true if allocation indeed
172353853e2dSVlastimil Babka 			 * succeeds in this zone.
172453853e2dSVlastimil Babka 			 */
172553853e2dSVlastimil Babka 			compaction_defer_reset(zone, order, false);
17261f9efdefSVlastimil Babka 
1727c3486f53SVlastimil Babka 			break;
17281f9efdefSVlastimil Babka 		}
17291f9efdefSVlastimil Babka 
1730a5508cd8SVlastimil Babka 		if (prio != COMPACT_PRIO_ASYNC && (status == COMPACT_COMPLETE ||
1731c3486f53SVlastimil Babka 					status == COMPACT_PARTIAL_SKIPPED))
173253853e2dSVlastimil Babka 			/*
173353853e2dSVlastimil Babka 			 * We think that allocation won't succeed in this zone
173453853e2dSVlastimil Babka 			 * so we defer compaction there. If it ends up
173553853e2dSVlastimil Babka 			 * succeeding after all, it will be reset.
173653853e2dSVlastimil Babka 			 */
173753853e2dSVlastimil Babka 			defer_compaction(zone, order);
17381f9efdefSVlastimil Babka 
17391f9efdefSVlastimil Babka 		/*
17401f9efdefSVlastimil Babka 		 * We might have stopped compacting due to need_resched() in
17411f9efdefSVlastimil Babka 		 * async compaction, or due to a fatal signal detected. In that
1742c3486f53SVlastimil Babka 		 * case do not try further zones
17431f9efdefSVlastimil Babka 		 */
1744c3486f53SVlastimil Babka 		if ((prio == COMPACT_PRIO_ASYNC && need_resched())
1745c3486f53SVlastimil Babka 					|| fatal_signal_pending(current))
17461f9efdefSVlastimil Babka 			break;
17471f9efdefSVlastimil Babka 	}
17481f9efdefSVlastimil Babka 
174956de7263SMel Gorman 	return rc;
175056de7263SMel Gorman }
175156de7263SMel Gorman 
175256de7263SMel Gorman 
175376ab0f53SMel Gorman /* Compact all zones within a node */
17547103f16dSAndrew Morton static void compact_node(int nid)
17557be62de9SRik van Riel {
1756791cae96SVlastimil Babka 	pg_data_t *pgdat = NODE_DATA(nid);
1757791cae96SVlastimil Babka 	int zoneid;
1758791cae96SVlastimil Babka 	struct zone *zone;
17597be62de9SRik van Riel 	struct compact_control cc = {
17607be62de9SRik van Riel 		.order = -1,
17617f354a54SDavid Rientjes 		.total_migrate_scanned = 0,
17627f354a54SDavid Rientjes 		.total_free_scanned = 0,
1763e0b9daebSDavid Rientjes 		.mode = MIGRATE_SYNC,
176491ca9186SDavid Rientjes 		.ignore_skip_hint = true,
176506ed2998SVlastimil Babka 		.whole_zone = true,
176673e64c51SMichal Hocko 		.gfp_mask = GFP_KERNEL,
17677be62de9SRik van Riel 	};
17687be62de9SRik van Riel 
1769791cae96SVlastimil Babka 
1770791cae96SVlastimil Babka 	for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) {
1771791cae96SVlastimil Babka 
1772791cae96SVlastimil Babka 		zone = &pgdat->node_zones[zoneid];
1773791cae96SVlastimil Babka 		if (!populated_zone(zone))
1774791cae96SVlastimil Babka 			continue;
1775791cae96SVlastimil Babka 
1776791cae96SVlastimil Babka 		cc.nr_freepages = 0;
1777791cae96SVlastimil Babka 		cc.nr_migratepages = 0;
1778791cae96SVlastimil Babka 		cc.zone = zone;
1779791cae96SVlastimil Babka 		INIT_LIST_HEAD(&cc.freepages);
1780791cae96SVlastimil Babka 		INIT_LIST_HEAD(&cc.migratepages);
1781791cae96SVlastimil Babka 
1782791cae96SVlastimil Babka 		compact_zone(zone, &cc);
1783791cae96SVlastimil Babka 
1784791cae96SVlastimil Babka 		VM_BUG_ON(!list_empty(&cc.freepages));
1785791cae96SVlastimil Babka 		VM_BUG_ON(!list_empty(&cc.migratepages));
1786791cae96SVlastimil Babka 	}
17877be62de9SRik van Riel }
17887be62de9SRik van Riel 
178976ab0f53SMel Gorman /* Compact all nodes in the system */
17907964c06dSJason Liu static void compact_nodes(void)
179176ab0f53SMel Gorman {
179276ab0f53SMel Gorman 	int nid;
179376ab0f53SMel Gorman 
17948575ec29SHugh Dickins 	/* Flush pending updates to the LRU lists */
17958575ec29SHugh Dickins 	lru_add_drain_all();
17968575ec29SHugh Dickins 
179776ab0f53SMel Gorman 	for_each_online_node(nid)
179876ab0f53SMel Gorman 		compact_node(nid);
179976ab0f53SMel Gorman }
180076ab0f53SMel Gorman 
180176ab0f53SMel Gorman /* The written value is actually unused, all memory is compacted */
180276ab0f53SMel Gorman int sysctl_compact_memory;
180376ab0f53SMel Gorman 
1804fec4eb2cSYaowei Bai /*
1805fec4eb2cSYaowei Bai  * This is the entry point for compacting all nodes via
1806fec4eb2cSYaowei Bai  * /proc/sys/vm/compact_memory
1807fec4eb2cSYaowei Bai  */
180876ab0f53SMel Gorman int sysctl_compaction_handler(struct ctl_table *table, int write,
180976ab0f53SMel Gorman 			void __user *buffer, size_t *length, loff_t *ppos)
181076ab0f53SMel Gorman {
181176ab0f53SMel Gorman 	if (write)
18127964c06dSJason Liu 		compact_nodes();
181376ab0f53SMel Gorman 
181476ab0f53SMel Gorman 	return 0;
181576ab0f53SMel Gorman }
1816ed4a6d7fSMel Gorman 
18175e771905SMel Gorman int sysctl_extfrag_handler(struct ctl_table *table, int write,
18185e771905SMel Gorman 			void __user *buffer, size_t *length, loff_t *ppos)
18195e771905SMel Gorman {
18205e771905SMel Gorman 	proc_dointvec_minmax(table, write, buffer, length, ppos);
18215e771905SMel Gorman 
18225e771905SMel Gorman 	return 0;
18235e771905SMel Gorman }
18245e771905SMel Gorman 
1825ed4a6d7fSMel Gorman #if defined(CONFIG_SYSFS) && defined(CONFIG_NUMA)
182674e77fb9SRashika Kheria static ssize_t sysfs_compact_node(struct device *dev,
182710fbcf4cSKay Sievers 			struct device_attribute *attr,
1828ed4a6d7fSMel Gorman 			const char *buf, size_t count)
1829ed4a6d7fSMel Gorman {
18308575ec29SHugh Dickins 	int nid = dev->id;
18318575ec29SHugh Dickins 
18328575ec29SHugh Dickins 	if (nid >= 0 && nid < nr_node_ids && node_online(nid)) {
18338575ec29SHugh Dickins 		/* Flush pending updates to the LRU lists */
18348575ec29SHugh Dickins 		lru_add_drain_all();
18358575ec29SHugh Dickins 
18368575ec29SHugh Dickins 		compact_node(nid);
18378575ec29SHugh Dickins 	}
1838ed4a6d7fSMel Gorman 
1839ed4a6d7fSMel Gorman 	return count;
1840ed4a6d7fSMel Gorman }
184110fbcf4cSKay Sievers static DEVICE_ATTR(compact, S_IWUSR, NULL, sysfs_compact_node);
1842ed4a6d7fSMel Gorman 
1843ed4a6d7fSMel Gorman int compaction_register_node(struct node *node)
1844ed4a6d7fSMel Gorman {
184510fbcf4cSKay Sievers 	return device_create_file(&node->dev, &dev_attr_compact);
1846ed4a6d7fSMel Gorman }
1847ed4a6d7fSMel Gorman 
1848ed4a6d7fSMel Gorman void compaction_unregister_node(struct node *node)
1849ed4a6d7fSMel Gorman {
185010fbcf4cSKay Sievers 	return device_remove_file(&node->dev, &dev_attr_compact);
1851ed4a6d7fSMel Gorman }
1852ed4a6d7fSMel Gorman #endif /* CONFIG_SYSFS && CONFIG_NUMA */
1853ff9543fdSMichal Nazarewicz 
1854698b1b30SVlastimil Babka static inline bool kcompactd_work_requested(pg_data_t *pgdat)
1855698b1b30SVlastimil Babka {
1856172400c6SVlastimil Babka 	return pgdat->kcompactd_max_order > 0 || kthread_should_stop();
1857698b1b30SVlastimil Babka }
1858698b1b30SVlastimil Babka 
1859698b1b30SVlastimil Babka static bool kcompactd_node_suitable(pg_data_t *pgdat)
1860698b1b30SVlastimil Babka {
1861698b1b30SVlastimil Babka 	int zoneid;
1862698b1b30SVlastimil Babka 	struct zone *zone;
1863698b1b30SVlastimil Babka 	enum zone_type classzone_idx = pgdat->kcompactd_classzone_idx;
1864698b1b30SVlastimil Babka 
18656cd9dc3eSChen Feng 	for (zoneid = 0; zoneid <= classzone_idx; zoneid++) {
1866698b1b30SVlastimil Babka 		zone = &pgdat->node_zones[zoneid];
1867698b1b30SVlastimil Babka 
1868698b1b30SVlastimil Babka 		if (!populated_zone(zone))
1869698b1b30SVlastimil Babka 			continue;
1870698b1b30SVlastimil Babka 
1871698b1b30SVlastimil Babka 		if (compaction_suitable(zone, pgdat->kcompactd_max_order, 0,
1872698b1b30SVlastimil Babka 					classzone_idx) == COMPACT_CONTINUE)
1873698b1b30SVlastimil Babka 			return true;
1874698b1b30SVlastimil Babka 	}
1875698b1b30SVlastimil Babka 
1876698b1b30SVlastimil Babka 	return false;
1877698b1b30SVlastimil Babka }
1878698b1b30SVlastimil Babka 
1879698b1b30SVlastimil Babka static void kcompactd_do_work(pg_data_t *pgdat)
1880698b1b30SVlastimil Babka {
1881698b1b30SVlastimil Babka 	/*
1882698b1b30SVlastimil Babka 	 * With no special task, compact all zones so that a page of requested
1883698b1b30SVlastimil Babka 	 * order is allocatable.
1884698b1b30SVlastimil Babka 	 */
1885698b1b30SVlastimil Babka 	int zoneid;
1886698b1b30SVlastimil Babka 	struct zone *zone;
1887698b1b30SVlastimil Babka 	struct compact_control cc = {
1888698b1b30SVlastimil Babka 		.order = pgdat->kcompactd_max_order,
18897f354a54SDavid Rientjes 		.total_migrate_scanned = 0,
18907f354a54SDavid Rientjes 		.total_free_scanned = 0,
1891698b1b30SVlastimil Babka 		.classzone_idx = pgdat->kcompactd_classzone_idx,
1892698b1b30SVlastimil Babka 		.mode = MIGRATE_SYNC_LIGHT,
1893698b1b30SVlastimil Babka 		.ignore_skip_hint = true,
189473e64c51SMichal Hocko 		.gfp_mask = GFP_KERNEL,
1895698b1b30SVlastimil Babka 
1896698b1b30SVlastimil Babka 	};
1897698b1b30SVlastimil Babka 	trace_mm_compaction_kcompactd_wake(pgdat->node_id, cc.order,
1898698b1b30SVlastimil Babka 							cc.classzone_idx);
18997f354a54SDavid Rientjes 	count_compact_event(KCOMPACTD_WAKE);
1900698b1b30SVlastimil Babka 
19016cd9dc3eSChen Feng 	for (zoneid = 0; zoneid <= cc.classzone_idx; zoneid++) {
1902698b1b30SVlastimil Babka 		int status;
1903698b1b30SVlastimil Babka 
1904698b1b30SVlastimil Babka 		zone = &pgdat->node_zones[zoneid];
1905698b1b30SVlastimil Babka 		if (!populated_zone(zone))
1906698b1b30SVlastimil Babka 			continue;
1907698b1b30SVlastimil Babka 
1908698b1b30SVlastimil Babka 		if (compaction_deferred(zone, cc.order))
1909698b1b30SVlastimil Babka 			continue;
1910698b1b30SVlastimil Babka 
1911698b1b30SVlastimil Babka 		if (compaction_suitable(zone, cc.order, 0, zoneid) !=
1912698b1b30SVlastimil Babka 							COMPACT_CONTINUE)
1913698b1b30SVlastimil Babka 			continue;
1914698b1b30SVlastimil Babka 
1915698b1b30SVlastimil Babka 		cc.nr_freepages = 0;
1916698b1b30SVlastimil Babka 		cc.nr_migratepages = 0;
19177f354a54SDavid Rientjes 		cc.total_migrate_scanned = 0;
19187f354a54SDavid Rientjes 		cc.total_free_scanned = 0;
1919698b1b30SVlastimil Babka 		cc.zone = zone;
1920698b1b30SVlastimil Babka 		INIT_LIST_HEAD(&cc.freepages);
1921698b1b30SVlastimil Babka 		INIT_LIST_HEAD(&cc.migratepages);
1922698b1b30SVlastimil Babka 
1923172400c6SVlastimil Babka 		if (kthread_should_stop())
1924172400c6SVlastimil Babka 			return;
1925698b1b30SVlastimil Babka 		status = compact_zone(zone, &cc);
1926698b1b30SVlastimil Babka 
19277ceb009aSVlastimil Babka 		if (status == COMPACT_SUCCESS) {
1928698b1b30SVlastimil Babka 			compaction_defer_reset(zone, cc.order, false);
1929c8f7de0bSMichal Hocko 		} else if (status == COMPACT_PARTIAL_SKIPPED || status == COMPACT_COMPLETE) {
1930698b1b30SVlastimil Babka 			/*
1931698b1b30SVlastimil Babka 			 * We use sync migration mode here, so we defer like
1932698b1b30SVlastimil Babka 			 * sync direct compaction does.
1933698b1b30SVlastimil Babka 			 */
1934698b1b30SVlastimil Babka 			defer_compaction(zone, cc.order);
1935698b1b30SVlastimil Babka 		}
1936698b1b30SVlastimil Babka 
19377f354a54SDavid Rientjes 		count_compact_events(KCOMPACTD_MIGRATE_SCANNED,
19387f354a54SDavid Rientjes 				     cc.total_migrate_scanned);
19397f354a54SDavid Rientjes 		count_compact_events(KCOMPACTD_FREE_SCANNED,
19407f354a54SDavid Rientjes 				     cc.total_free_scanned);
19417f354a54SDavid Rientjes 
1942698b1b30SVlastimil Babka 		VM_BUG_ON(!list_empty(&cc.freepages));
1943698b1b30SVlastimil Babka 		VM_BUG_ON(!list_empty(&cc.migratepages));
1944698b1b30SVlastimil Babka 	}
1945698b1b30SVlastimil Babka 
1946698b1b30SVlastimil Babka 	/*
1947698b1b30SVlastimil Babka 	 * Regardless of success, we are done until woken up next. But remember
1948698b1b30SVlastimil Babka 	 * the requested order/classzone_idx in case it was higher/tighter than
1949698b1b30SVlastimil Babka 	 * our current ones
1950698b1b30SVlastimil Babka 	 */
1951698b1b30SVlastimil Babka 	if (pgdat->kcompactd_max_order <= cc.order)
1952698b1b30SVlastimil Babka 		pgdat->kcompactd_max_order = 0;
1953698b1b30SVlastimil Babka 	if (pgdat->kcompactd_classzone_idx >= cc.classzone_idx)
1954698b1b30SVlastimil Babka 		pgdat->kcompactd_classzone_idx = pgdat->nr_zones - 1;
1955698b1b30SVlastimil Babka }
1956698b1b30SVlastimil Babka 
1957698b1b30SVlastimil Babka void wakeup_kcompactd(pg_data_t *pgdat, int order, int classzone_idx)
1958698b1b30SVlastimil Babka {
1959698b1b30SVlastimil Babka 	if (!order)
1960698b1b30SVlastimil Babka 		return;
1961698b1b30SVlastimil Babka 
1962698b1b30SVlastimil Babka 	if (pgdat->kcompactd_max_order < order)
1963698b1b30SVlastimil Babka 		pgdat->kcompactd_max_order = order;
1964698b1b30SVlastimil Babka 
196546acef04SDavidlohr Bueso 	/*
196646acef04SDavidlohr Bueso 	 * Pairs with implicit barrier in wait_event_freezable()
196746acef04SDavidlohr Bueso 	 * such that wakeups are not missed in the lockless
196846acef04SDavidlohr Bueso 	 * waitqueue_active() call.
196946acef04SDavidlohr Bueso 	 */
197046acef04SDavidlohr Bueso 	smp_acquire__after_ctrl_dep();
197146acef04SDavidlohr Bueso 
1972698b1b30SVlastimil Babka 	if (pgdat->kcompactd_classzone_idx > classzone_idx)
1973698b1b30SVlastimil Babka 		pgdat->kcompactd_classzone_idx = classzone_idx;
1974698b1b30SVlastimil Babka 
1975698b1b30SVlastimil Babka 	if (!waitqueue_active(&pgdat->kcompactd_wait))
1976698b1b30SVlastimil Babka 		return;
1977698b1b30SVlastimil Babka 
1978698b1b30SVlastimil Babka 	if (!kcompactd_node_suitable(pgdat))
1979698b1b30SVlastimil Babka 		return;
1980698b1b30SVlastimil Babka 
1981698b1b30SVlastimil Babka 	trace_mm_compaction_wakeup_kcompactd(pgdat->node_id, order,
1982698b1b30SVlastimil Babka 							classzone_idx);
1983698b1b30SVlastimil Babka 	wake_up_interruptible(&pgdat->kcompactd_wait);
1984698b1b30SVlastimil Babka }
1985698b1b30SVlastimil Babka 
1986698b1b30SVlastimil Babka /*
1987698b1b30SVlastimil Babka  * The background compaction daemon, started as a kernel thread
1988698b1b30SVlastimil Babka  * from the init process.
1989698b1b30SVlastimil Babka  */
1990698b1b30SVlastimil Babka static int kcompactd(void *p)
1991698b1b30SVlastimil Babka {
1992698b1b30SVlastimil Babka 	pg_data_t *pgdat = (pg_data_t*)p;
1993698b1b30SVlastimil Babka 	struct task_struct *tsk = current;
1994698b1b30SVlastimil Babka 
1995698b1b30SVlastimil Babka 	const struct cpumask *cpumask = cpumask_of_node(pgdat->node_id);
1996698b1b30SVlastimil Babka 
1997698b1b30SVlastimil Babka 	if (!cpumask_empty(cpumask))
1998698b1b30SVlastimil Babka 		set_cpus_allowed_ptr(tsk, cpumask);
1999698b1b30SVlastimil Babka 
2000698b1b30SVlastimil Babka 	set_freezable();
2001698b1b30SVlastimil Babka 
2002698b1b30SVlastimil Babka 	pgdat->kcompactd_max_order = 0;
2003698b1b30SVlastimil Babka 	pgdat->kcompactd_classzone_idx = pgdat->nr_zones - 1;
2004698b1b30SVlastimil Babka 
2005698b1b30SVlastimil Babka 	while (!kthread_should_stop()) {
2006698b1b30SVlastimil Babka 		trace_mm_compaction_kcompactd_sleep(pgdat->node_id);
2007698b1b30SVlastimil Babka 		wait_event_freezable(pgdat->kcompactd_wait,
2008698b1b30SVlastimil Babka 				kcompactd_work_requested(pgdat));
2009698b1b30SVlastimil Babka 
2010698b1b30SVlastimil Babka 		kcompactd_do_work(pgdat);
2011698b1b30SVlastimil Babka 	}
2012698b1b30SVlastimil Babka 
2013698b1b30SVlastimil Babka 	return 0;
2014698b1b30SVlastimil Babka }
2015698b1b30SVlastimil Babka 
2016698b1b30SVlastimil Babka /*
2017698b1b30SVlastimil Babka  * This kcompactd start function will be called by init and node-hot-add.
2018698b1b30SVlastimil Babka  * On node-hot-add, kcompactd will moved to proper cpus if cpus are hot-added.
2019698b1b30SVlastimil Babka  */
2020698b1b30SVlastimil Babka int kcompactd_run(int nid)
2021698b1b30SVlastimil Babka {
2022698b1b30SVlastimil Babka 	pg_data_t *pgdat = NODE_DATA(nid);
2023698b1b30SVlastimil Babka 	int ret = 0;
2024698b1b30SVlastimil Babka 
2025698b1b30SVlastimil Babka 	if (pgdat->kcompactd)
2026698b1b30SVlastimil Babka 		return 0;
2027698b1b30SVlastimil Babka 
2028698b1b30SVlastimil Babka 	pgdat->kcompactd = kthread_run(kcompactd, pgdat, "kcompactd%d", nid);
2029698b1b30SVlastimil Babka 	if (IS_ERR(pgdat->kcompactd)) {
2030698b1b30SVlastimil Babka 		pr_err("Failed to start kcompactd on node %d\n", nid);
2031698b1b30SVlastimil Babka 		ret = PTR_ERR(pgdat->kcompactd);
2032698b1b30SVlastimil Babka 		pgdat->kcompactd = NULL;
2033698b1b30SVlastimil Babka 	}
2034698b1b30SVlastimil Babka 	return ret;
2035698b1b30SVlastimil Babka }
2036698b1b30SVlastimil Babka 
2037698b1b30SVlastimil Babka /*
2038698b1b30SVlastimil Babka  * Called by memory hotplug when all memory in a node is offlined. Caller must
2039698b1b30SVlastimil Babka  * hold mem_hotplug_begin/end().
2040698b1b30SVlastimil Babka  */
2041698b1b30SVlastimil Babka void kcompactd_stop(int nid)
2042698b1b30SVlastimil Babka {
2043698b1b30SVlastimil Babka 	struct task_struct *kcompactd = NODE_DATA(nid)->kcompactd;
2044698b1b30SVlastimil Babka 
2045698b1b30SVlastimil Babka 	if (kcompactd) {
2046698b1b30SVlastimil Babka 		kthread_stop(kcompactd);
2047698b1b30SVlastimil Babka 		NODE_DATA(nid)->kcompactd = NULL;
2048698b1b30SVlastimil Babka 	}
2049698b1b30SVlastimil Babka }
2050698b1b30SVlastimil Babka 
2051698b1b30SVlastimil Babka /*
2052698b1b30SVlastimil Babka  * It's optimal to keep kcompactd on the same CPUs as their memory, but
2053698b1b30SVlastimil Babka  * not required for correctness. So if the last cpu in a node goes
2054698b1b30SVlastimil Babka  * away, we get changed to run anywhere: as the first one comes back,
2055698b1b30SVlastimil Babka  * restore their cpu bindings.
2056698b1b30SVlastimil Babka  */
2057e46b1db2SAnna-Maria Gleixner static int kcompactd_cpu_online(unsigned int cpu)
2058698b1b30SVlastimil Babka {
2059698b1b30SVlastimil Babka 	int nid;
2060698b1b30SVlastimil Babka 
2061698b1b30SVlastimil Babka 	for_each_node_state(nid, N_MEMORY) {
2062698b1b30SVlastimil Babka 		pg_data_t *pgdat = NODE_DATA(nid);
2063698b1b30SVlastimil Babka 		const struct cpumask *mask;
2064698b1b30SVlastimil Babka 
2065698b1b30SVlastimil Babka 		mask = cpumask_of_node(pgdat->node_id);
2066698b1b30SVlastimil Babka 
2067698b1b30SVlastimil Babka 		if (cpumask_any_and(cpu_online_mask, mask) < nr_cpu_ids)
2068698b1b30SVlastimil Babka 			/* One of our CPUs online: restore mask */
2069698b1b30SVlastimil Babka 			set_cpus_allowed_ptr(pgdat->kcompactd, mask);
2070698b1b30SVlastimil Babka 	}
2071e46b1db2SAnna-Maria Gleixner 	return 0;
2072698b1b30SVlastimil Babka }
2073698b1b30SVlastimil Babka 
2074698b1b30SVlastimil Babka static int __init kcompactd_init(void)
2075698b1b30SVlastimil Babka {
2076698b1b30SVlastimil Babka 	int nid;
2077e46b1db2SAnna-Maria Gleixner 	int ret;
2078e46b1db2SAnna-Maria Gleixner 
2079e46b1db2SAnna-Maria Gleixner 	ret = cpuhp_setup_state_nocalls(CPUHP_AP_ONLINE_DYN,
2080e46b1db2SAnna-Maria Gleixner 					"mm/compaction:online",
2081e46b1db2SAnna-Maria Gleixner 					kcompactd_cpu_online, NULL);
2082e46b1db2SAnna-Maria Gleixner 	if (ret < 0) {
2083e46b1db2SAnna-Maria Gleixner 		pr_err("kcompactd: failed to register hotplug callbacks.\n");
2084e46b1db2SAnna-Maria Gleixner 		return ret;
2085e46b1db2SAnna-Maria Gleixner 	}
2086698b1b30SVlastimil Babka 
2087698b1b30SVlastimil Babka 	for_each_node_state(nid, N_MEMORY)
2088698b1b30SVlastimil Babka 		kcompactd_run(nid);
2089698b1b30SVlastimil Babka 	return 0;
2090698b1b30SVlastimil Babka }
2091698b1b30SVlastimil Babka subsys_initcall(kcompactd_init)
2092698b1b30SVlastimil Babka 
2093ff9543fdSMichal Nazarewicz #endif /* CONFIG_COMPACTION */
2094