xref: /openbmc/linux/mm/compaction.c (revision 5a811889de10f1ebb8e03a2744be006e909c405c)
1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
2748446bbSMel Gorman /*
3748446bbSMel Gorman  * linux/mm/compaction.c
4748446bbSMel Gorman  *
5748446bbSMel Gorman  * Memory compaction for the reduction of external fragmentation. Note that
6748446bbSMel Gorman  * this heavily depends upon page migration to do all the real heavy
7748446bbSMel Gorman  * lifting
8748446bbSMel Gorman  *
9748446bbSMel Gorman  * Copyright IBM Corp. 2007-2010 Mel Gorman <mel@csn.ul.ie>
10748446bbSMel Gorman  */
11698b1b30SVlastimil Babka #include <linux/cpu.h>
12748446bbSMel Gorman #include <linux/swap.h>
13748446bbSMel Gorman #include <linux/migrate.h>
14748446bbSMel Gorman #include <linux/compaction.h>
15748446bbSMel Gorman #include <linux/mm_inline.h>
16174cd4b1SIngo Molnar #include <linux/sched/signal.h>
17748446bbSMel Gorman #include <linux/backing-dev.h>
1876ab0f53SMel Gorman #include <linux/sysctl.h>
19ed4a6d7fSMel Gorman #include <linux/sysfs.h>
20194159fbSMinchan Kim #include <linux/page-isolation.h>
21b8c73fc2SAndrey Ryabinin #include <linux/kasan.h>
22698b1b30SVlastimil Babka #include <linux/kthread.h>
23698b1b30SVlastimil Babka #include <linux/freezer.h>
2483358eceSJoonsoo Kim #include <linux/page_owner.h>
25eb414681SJohannes Weiner #include <linux/psi.h>
26748446bbSMel Gorman #include "internal.h"
27748446bbSMel Gorman 
28010fc29aSMinchan Kim #ifdef CONFIG_COMPACTION
29010fc29aSMinchan Kim static inline void count_compact_event(enum vm_event_item item)
30010fc29aSMinchan Kim {
31010fc29aSMinchan Kim 	count_vm_event(item);
32010fc29aSMinchan Kim }
33010fc29aSMinchan Kim 
34010fc29aSMinchan Kim static inline void count_compact_events(enum vm_event_item item, long delta)
35010fc29aSMinchan Kim {
36010fc29aSMinchan Kim 	count_vm_events(item, delta);
37010fc29aSMinchan Kim }
38010fc29aSMinchan Kim #else
39010fc29aSMinchan Kim #define count_compact_event(item) do { } while (0)
40010fc29aSMinchan Kim #define count_compact_events(item, delta) do { } while (0)
41010fc29aSMinchan Kim #endif
42010fc29aSMinchan Kim 
43ff9543fdSMichal Nazarewicz #if defined CONFIG_COMPACTION || defined CONFIG_CMA
44ff9543fdSMichal Nazarewicz 
45b7aba698SMel Gorman #define CREATE_TRACE_POINTS
46b7aba698SMel Gorman #include <trace/events/compaction.h>
47b7aba698SMel Gorman 
4806b6640aSVlastimil Babka #define block_start_pfn(pfn, order)	round_down(pfn, 1UL << (order))
4906b6640aSVlastimil Babka #define block_end_pfn(pfn, order)	ALIGN((pfn) + 1, 1UL << (order))
5006b6640aSVlastimil Babka #define pageblock_start_pfn(pfn)	block_start_pfn(pfn, pageblock_order)
5106b6640aSVlastimil Babka #define pageblock_end_pfn(pfn)		block_end_pfn(pfn, pageblock_order)
5206b6640aSVlastimil Babka 
53748446bbSMel Gorman static unsigned long release_freepages(struct list_head *freelist)
54748446bbSMel Gorman {
55748446bbSMel Gorman 	struct page *page, *next;
566bace090SVlastimil Babka 	unsigned long high_pfn = 0;
57748446bbSMel Gorman 
58748446bbSMel Gorman 	list_for_each_entry_safe(page, next, freelist, lru) {
596bace090SVlastimil Babka 		unsigned long pfn = page_to_pfn(page);
60748446bbSMel Gorman 		list_del(&page->lru);
61748446bbSMel Gorman 		__free_page(page);
626bace090SVlastimil Babka 		if (pfn > high_pfn)
636bace090SVlastimil Babka 			high_pfn = pfn;
64748446bbSMel Gorman 	}
65748446bbSMel Gorman 
666bace090SVlastimil Babka 	return high_pfn;
67748446bbSMel Gorman }
68748446bbSMel Gorman 
694469ab98SMel Gorman static void split_map_pages(struct list_head *list)
70ff9543fdSMichal Nazarewicz {
7166c64223SJoonsoo Kim 	unsigned int i, order, nr_pages;
7266c64223SJoonsoo Kim 	struct page *page, *next;
7366c64223SJoonsoo Kim 	LIST_HEAD(tmp_list);
74ff9543fdSMichal Nazarewicz 
7566c64223SJoonsoo Kim 	list_for_each_entry_safe(page, next, list, lru) {
7666c64223SJoonsoo Kim 		list_del(&page->lru);
7766c64223SJoonsoo Kim 
7866c64223SJoonsoo Kim 		order = page_private(page);
7966c64223SJoonsoo Kim 		nr_pages = 1 << order;
8066c64223SJoonsoo Kim 
8146f24fd8SJoonsoo Kim 		post_alloc_hook(page, order, __GFP_MOVABLE);
8266c64223SJoonsoo Kim 		if (order)
8366c64223SJoonsoo Kim 			split_page(page, order);
8466c64223SJoonsoo Kim 
8566c64223SJoonsoo Kim 		for (i = 0; i < nr_pages; i++) {
8666c64223SJoonsoo Kim 			list_add(&page->lru, &tmp_list);
8766c64223SJoonsoo Kim 			page++;
88ff9543fdSMichal Nazarewicz 		}
89ff9543fdSMichal Nazarewicz 	}
90ff9543fdSMichal Nazarewicz 
9166c64223SJoonsoo Kim 	list_splice(&tmp_list, list);
9266c64223SJoonsoo Kim }
9366c64223SJoonsoo Kim 
94bb13ffebSMel Gorman #ifdef CONFIG_COMPACTION
9524e2716fSJoonsoo Kim 
96bda807d4SMinchan Kim int PageMovable(struct page *page)
97bda807d4SMinchan Kim {
98bda807d4SMinchan Kim 	struct address_space *mapping;
99bda807d4SMinchan Kim 
100bda807d4SMinchan Kim 	VM_BUG_ON_PAGE(!PageLocked(page), page);
101bda807d4SMinchan Kim 	if (!__PageMovable(page))
102bda807d4SMinchan Kim 		return 0;
103bda807d4SMinchan Kim 
104bda807d4SMinchan Kim 	mapping = page_mapping(page);
105bda807d4SMinchan Kim 	if (mapping && mapping->a_ops && mapping->a_ops->isolate_page)
106bda807d4SMinchan Kim 		return 1;
107bda807d4SMinchan Kim 
108bda807d4SMinchan Kim 	return 0;
109bda807d4SMinchan Kim }
110bda807d4SMinchan Kim EXPORT_SYMBOL(PageMovable);
111bda807d4SMinchan Kim 
112bda807d4SMinchan Kim void __SetPageMovable(struct page *page, struct address_space *mapping)
113bda807d4SMinchan Kim {
114bda807d4SMinchan Kim 	VM_BUG_ON_PAGE(!PageLocked(page), page);
115bda807d4SMinchan Kim 	VM_BUG_ON_PAGE((unsigned long)mapping & PAGE_MAPPING_MOVABLE, page);
116bda807d4SMinchan Kim 	page->mapping = (void *)((unsigned long)mapping | PAGE_MAPPING_MOVABLE);
117bda807d4SMinchan Kim }
118bda807d4SMinchan Kim EXPORT_SYMBOL(__SetPageMovable);
119bda807d4SMinchan Kim 
120bda807d4SMinchan Kim void __ClearPageMovable(struct page *page)
121bda807d4SMinchan Kim {
122bda807d4SMinchan Kim 	VM_BUG_ON_PAGE(!PageLocked(page), page);
123bda807d4SMinchan Kim 	VM_BUG_ON_PAGE(!PageMovable(page), page);
124bda807d4SMinchan Kim 	/*
125bda807d4SMinchan Kim 	 * Clear registered address_space val with keeping PAGE_MAPPING_MOVABLE
126bda807d4SMinchan Kim 	 * flag so that VM can catch up released page by driver after isolation.
127bda807d4SMinchan Kim 	 * With it, VM migration doesn't try to put it back.
128bda807d4SMinchan Kim 	 */
129bda807d4SMinchan Kim 	page->mapping = (void *)((unsigned long)page->mapping &
130bda807d4SMinchan Kim 				PAGE_MAPPING_MOVABLE);
131bda807d4SMinchan Kim }
132bda807d4SMinchan Kim EXPORT_SYMBOL(__ClearPageMovable);
133bda807d4SMinchan Kim 
13424e2716fSJoonsoo Kim /* Do not skip compaction more than 64 times */
13524e2716fSJoonsoo Kim #define COMPACT_MAX_DEFER_SHIFT 6
13624e2716fSJoonsoo Kim 
13724e2716fSJoonsoo Kim /*
13824e2716fSJoonsoo Kim  * Compaction is deferred when compaction fails to result in a page
13924e2716fSJoonsoo Kim  * allocation success. 1 << compact_defer_limit compactions are skipped up
14024e2716fSJoonsoo Kim  * to a limit of 1 << COMPACT_MAX_DEFER_SHIFT
14124e2716fSJoonsoo Kim  */
14224e2716fSJoonsoo Kim void defer_compaction(struct zone *zone, int order)
14324e2716fSJoonsoo Kim {
14424e2716fSJoonsoo Kim 	zone->compact_considered = 0;
14524e2716fSJoonsoo Kim 	zone->compact_defer_shift++;
14624e2716fSJoonsoo Kim 
14724e2716fSJoonsoo Kim 	if (order < zone->compact_order_failed)
14824e2716fSJoonsoo Kim 		zone->compact_order_failed = order;
14924e2716fSJoonsoo Kim 
15024e2716fSJoonsoo Kim 	if (zone->compact_defer_shift > COMPACT_MAX_DEFER_SHIFT)
15124e2716fSJoonsoo Kim 		zone->compact_defer_shift = COMPACT_MAX_DEFER_SHIFT;
15224e2716fSJoonsoo Kim 
15324e2716fSJoonsoo Kim 	trace_mm_compaction_defer_compaction(zone, order);
15424e2716fSJoonsoo Kim }
15524e2716fSJoonsoo Kim 
15624e2716fSJoonsoo Kim /* Returns true if compaction should be skipped this time */
15724e2716fSJoonsoo Kim bool compaction_deferred(struct zone *zone, int order)
15824e2716fSJoonsoo Kim {
15924e2716fSJoonsoo Kim 	unsigned long defer_limit = 1UL << zone->compact_defer_shift;
16024e2716fSJoonsoo Kim 
16124e2716fSJoonsoo Kim 	if (order < zone->compact_order_failed)
16224e2716fSJoonsoo Kim 		return false;
16324e2716fSJoonsoo Kim 
16424e2716fSJoonsoo Kim 	/* Avoid possible overflow */
16524e2716fSJoonsoo Kim 	if (++zone->compact_considered > defer_limit)
16624e2716fSJoonsoo Kim 		zone->compact_considered = defer_limit;
16724e2716fSJoonsoo Kim 
16824e2716fSJoonsoo Kim 	if (zone->compact_considered >= defer_limit)
16924e2716fSJoonsoo Kim 		return false;
17024e2716fSJoonsoo Kim 
17124e2716fSJoonsoo Kim 	trace_mm_compaction_deferred(zone, order);
17224e2716fSJoonsoo Kim 
17324e2716fSJoonsoo Kim 	return true;
17424e2716fSJoonsoo Kim }
17524e2716fSJoonsoo Kim 
17624e2716fSJoonsoo Kim /*
17724e2716fSJoonsoo Kim  * Update defer tracking counters after successful compaction of given order,
17824e2716fSJoonsoo Kim  * which means an allocation either succeeded (alloc_success == true) or is
17924e2716fSJoonsoo Kim  * expected to succeed.
18024e2716fSJoonsoo Kim  */
18124e2716fSJoonsoo Kim void compaction_defer_reset(struct zone *zone, int order,
18224e2716fSJoonsoo Kim 		bool alloc_success)
18324e2716fSJoonsoo Kim {
18424e2716fSJoonsoo Kim 	if (alloc_success) {
18524e2716fSJoonsoo Kim 		zone->compact_considered = 0;
18624e2716fSJoonsoo Kim 		zone->compact_defer_shift = 0;
18724e2716fSJoonsoo Kim 	}
18824e2716fSJoonsoo Kim 	if (order >= zone->compact_order_failed)
18924e2716fSJoonsoo Kim 		zone->compact_order_failed = order + 1;
19024e2716fSJoonsoo Kim 
19124e2716fSJoonsoo Kim 	trace_mm_compaction_defer_reset(zone, order);
19224e2716fSJoonsoo Kim }
19324e2716fSJoonsoo Kim 
19424e2716fSJoonsoo Kim /* Returns true if restarting compaction after many failures */
19524e2716fSJoonsoo Kim bool compaction_restarting(struct zone *zone, int order)
19624e2716fSJoonsoo Kim {
19724e2716fSJoonsoo Kim 	if (order < zone->compact_order_failed)
19824e2716fSJoonsoo Kim 		return false;
19924e2716fSJoonsoo Kim 
20024e2716fSJoonsoo Kim 	return zone->compact_defer_shift == COMPACT_MAX_DEFER_SHIFT &&
20124e2716fSJoonsoo Kim 		zone->compact_considered >= 1UL << zone->compact_defer_shift;
20224e2716fSJoonsoo Kim }
20324e2716fSJoonsoo Kim 
204bb13ffebSMel Gorman /* Returns true if the pageblock should be scanned for pages to isolate. */
205bb13ffebSMel Gorman static inline bool isolation_suitable(struct compact_control *cc,
206bb13ffebSMel Gorman 					struct page *page)
207bb13ffebSMel Gorman {
208bb13ffebSMel Gorman 	if (cc->ignore_skip_hint)
209bb13ffebSMel Gorman 		return true;
210bb13ffebSMel Gorman 
211bb13ffebSMel Gorman 	return !get_pageblock_skip(page);
212bb13ffebSMel Gorman }
213bb13ffebSMel Gorman 
21402333641SVlastimil Babka static void reset_cached_positions(struct zone *zone)
21502333641SVlastimil Babka {
21602333641SVlastimil Babka 	zone->compact_cached_migrate_pfn[0] = zone->zone_start_pfn;
21702333641SVlastimil Babka 	zone->compact_cached_migrate_pfn[1] = zone->zone_start_pfn;
218623446e4SJoonsoo Kim 	zone->compact_cached_free_pfn =
21906b6640aSVlastimil Babka 				pageblock_start_pfn(zone_end_pfn(zone) - 1);
22002333641SVlastimil Babka }
22102333641SVlastimil Babka 
222bb13ffebSMel Gorman /*
223b527cfe5SVlastimil Babka  * Compound pages of >= pageblock_order should consistenly be skipped until
224b527cfe5SVlastimil Babka  * released. It is always pointless to compact pages of such order (if they are
225b527cfe5SVlastimil Babka  * migratable), and the pageblocks they occupy cannot contain any free pages.
22621dc7e02SDavid Rientjes  */
227b527cfe5SVlastimil Babka static bool pageblock_skip_persistent(struct page *page)
22821dc7e02SDavid Rientjes {
229b527cfe5SVlastimil Babka 	if (!PageCompound(page))
23021dc7e02SDavid Rientjes 		return false;
231b527cfe5SVlastimil Babka 
232b527cfe5SVlastimil Babka 	page = compound_head(page);
233b527cfe5SVlastimil Babka 
234b527cfe5SVlastimil Babka 	if (compound_order(page) >= pageblock_order)
23521dc7e02SDavid Rientjes 		return true;
236b527cfe5SVlastimil Babka 
237b527cfe5SVlastimil Babka 	return false;
23821dc7e02SDavid Rientjes }
23921dc7e02SDavid Rientjes 
24021dc7e02SDavid Rientjes /*
241bb13ffebSMel Gorman  * This function is called to clear all cached information on pageblocks that
242bb13ffebSMel Gorman  * should be skipped for page isolation when the migrate and free page scanner
243bb13ffebSMel Gorman  * meet.
244bb13ffebSMel Gorman  */
24562997027SMel Gorman static void __reset_isolation_suitable(struct zone *zone)
246bb13ffebSMel Gorman {
247bb13ffebSMel Gorman 	unsigned long start_pfn = zone->zone_start_pfn;
248108bcc96SCody P Schafer 	unsigned long end_pfn = zone_end_pfn(zone);
249bb13ffebSMel Gorman 	unsigned long pfn;
250bb13ffebSMel Gorman 
25162997027SMel Gorman 	zone->compact_blockskip_flush = false;
252bb13ffebSMel Gorman 
253bb13ffebSMel Gorman 	/* Walk the zone and mark every pageblock as suitable for isolation */
254bb13ffebSMel Gorman 	for (pfn = start_pfn; pfn < end_pfn; pfn += pageblock_nr_pages) {
255bb13ffebSMel Gorman 		struct page *page;
256bb13ffebSMel Gorman 
257bb13ffebSMel Gorman 		cond_resched();
258bb13ffebSMel Gorman 
259ccbe1e4dSMichal Hocko 		page = pfn_to_online_page(pfn);
260ccbe1e4dSMichal Hocko 		if (!page)
261bb13ffebSMel Gorman 			continue;
262bb13ffebSMel Gorman 		if (zone != page_zone(page))
263bb13ffebSMel Gorman 			continue;
264b527cfe5SVlastimil Babka 		if (pageblock_skip_persistent(page))
26521dc7e02SDavid Rientjes 			continue;
266bb13ffebSMel Gorman 
267bb13ffebSMel Gorman 		clear_pageblock_skip(page);
268bb13ffebSMel Gorman 	}
26902333641SVlastimil Babka 
27002333641SVlastimil Babka 	reset_cached_positions(zone);
271bb13ffebSMel Gorman }
272bb13ffebSMel Gorman 
27362997027SMel Gorman void reset_isolation_suitable(pg_data_t *pgdat)
27462997027SMel Gorman {
27562997027SMel Gorman 	int zoneid;
27662997027SMel Gorman 
27762997027SMel Gorman 	for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) {
27862997027SMel Gorman 		struct zone *zone = &pgdat->node_zones[zoneid];
27962997027SMel Gorman 		if (!populated_zone(zone))
28062997027SMel Gorman 			continue;
28162997027SMel Gorman 
28262997027SMel Gorman 		/* Only flush if a full compaction finished recently */
28362997027SMel Gorman 		if (zone->compact_blockskip_flush)
28462997027SMel Gorman 			__reset_isolation_suitable(zone);
28562997027SMel Gorman 	}
28662997027SMel Gorman }
28762997027SMel Gorman 
288bb13ffebSMel Gorman /*
289e380bebeSMel Gorman  * Sets the pageblock skip bit if it was clear. Note that this is a hint as
290e380bebeSMel Gorman  * locks are not required for read/writers. Returns true if it was already set.
291e380bebeSMel Gorman  */
292e380bebeSMel Gorman static bool test_and_set_skip(struct compact_control *cc, struct page *page,
293e380bebeSMel Gorman 							unsigned long pfn)
294e380bebeSMel Gorman {
295e380bebeSMel Gorman 	bool skip;
296e380bebeSMel Gorman 
297e380bebeSMel Gorman 	/* Do no update if skip hint is being ignored */
298e380bebeSMel Gorman 	if (cc->ignore_skip_hint)
299e380bebeSMel Gorman 		return false;
300e380bebeSMel Gorman 
301e380bebeSMel Gorman 	if (!IS_ALIGNED(pfn, pageblock_nr_pages))
302e380bebeSMel Gorman 		return false;
303e380bebeSMel Gorman 
304e380bebeSMel Gorman 	skip = get_pageblock_skip(page);
305e380bebeSMel Gorman 	if (!skip && !cc->no_set_skip_hint)
306e380bebeSMel Gorman 		set_pageblock_skip(page);
307e380bebeSMel Gorman 
308e380bebeSMel Gorman 	return skip;
309e380bebeSMel Gorman }
310e380bebeSMel Gorman 
311e380bebeSMel Gorman static void update_cached_migrate(struct compact_control *cc, unsigned long pfn)
312e380bebeSMel Gorman {
313e380bebeSMel Gorman 	struct zone *zone = cc->zone;
314e380bebeSMel Gorman 
315e380bebeSMel Gorman 	pfn = pageblock_end_pfn(pfn);
316e380bebeSMel Gorman 
317e380bebeSMel Gorman 	/* Set for isolation rather than compaction */
318e380bebeSMel Gorman 	if (cc->no_set_skip_hint)
319e380bebeSMel Gorman 		return;
320e380bebeSMel Gorman 
321e380bebeSMel Gorman 	if (pfn > zone->compact_cached_migrate_pfn[0])
322e380bebeSMel Gorman 		zone->compact_cached_migrate_pfn[0] = pfn;
323e380bebeSMel Gorman 	if (cc->mode != MIGRATE_ASYNC &&
324e380bebeSMel Gorman 	    pfn > zone->compact_cached_migrate_pfn[1])
325e380bebeSMel Gorman 		zone->compact_cached_migrate_pfn[1] = pfn;
326e380bebeSMel Gorman }
327e380bebeSMel Gorman 
328e380bebeSMel Gorman /*
329bb13ffebSMel Gorman  * If no pages were isolated then mark this pageblock to be skipped in the
33062997027SMel Gorman  * future. The information is later cleared by __reset_isolation_suitable().
331bb13ffebSMel Gorman  */
332c89511abSMel Gorman static void update_pageblock_skip(struct compact_control *cc,
333e380bebeSMel Gorman 			struct page *page, unsigned long nr_isolated)
334bb13ffebSMel Gorman {
335c89511abSMel Gorman 	struct zone *zone = cc->zone;
33635979ef3SDavid Rientjes 	unsigned long pfn;
3376815bf3fSJoonsoo Kim 
3382583d671SVlastimil Babka 	if (cc->no_set_skip_hint)
3396815bf3fSJoonsoo Kim 		return;
3406815bf3fSJoonsoo Kim 
341bb13ffebSMel Gorman 	if (!page)
342bb13ffebSMel Gorman 		return;
343bb13ffebSMel Gorman 
34435979ef3SDavid Rientjes 	if (nr_isolated)
34535979ef3SDavid Rientjes 		return;
34635979ef3SDavid Rientjes 
347bb13ffebSMel Gorman 	set_pageblock_skip(page);
348c89511abSMel Gorman 
34935979ef3SDavid Rientjes 	pfn = page_to_pfn(page);
35035979ef3SDavid Rientjes 
35135979ef3SDavid Rientjes 	/* Update where async and sync compaction should restart */
35235979ef3SDavid Rientjes 	if (pfn < zone->compact_cached_free_pfn)
353c89511abSMel Gorman 		zone->compact_cached_free_pfn = pfn;
354c89511abSMel Gorman }
355bb13ffebSMel Gorman #else
356bb13ffebSMel Gorman static inline bool isolation_suitable(struct compact_control *cc,
357bb13ffebSMel Gorman 					struct page *page)
358bb13ffebSMel Gorman {
359bb13ffebSMel Gorman 	return true;
360bb13ffebSMel Gorman }
361bb13ffebSMel Gorman 
362b527cfe5SVlastimil Babka static inline bool pageblock_skip_persistent(struct page *page)
36321dc7e02SDavid Rientjes {
36421dc7e02SDavid Rientjes 	return false;
36521dc7e02SDavid Rientjes }
36621dc7e02SDavid Rientjes 
36721dc7e02SDavid Rientjes static inline void update_pageblock_skip(struct compact_control *cc,
368e380bebeSMel Gorman 			struct page *page, unsigned long nr_isolated)
369bb13ffebSMel Gorman {
370bb13ffebSMel Gorman }
371e380bebeSMel Gorman 
372e380bebeSMel Gorman static void update_cached_migrate(struct compact_control *cc, unsigned long pfn)
373e380bebeSMel Gorman {
374e380bebeSMel Gorman }
375e380bebeSMel Gorman 
376e380bebeSMel Gorman static bool test_and_set_skip(struct compact_control *cc, struct page *page,
377e380bebeSMel Gorman 							unsigned long pfn)
378e380bebeSMel Gorman {
379e380bebeSMel Gorman 	return false;
380e380bebeSMel Gorman }
381bb13ffebSMel Gorman #endif /* CONFIG_COMPACTION */
382bb13ffebSMel Gorman 
3831f9efdefSVlastimil Babka /*
3848b44d279SVlastimil Babka  * Compaction requires the taking of some coarse locks that are potentially
3858b44d279SVlastimil Babka  * very heavily contended. For async compaction, back out if the lock cannot
3868b44d279SVlastimil Babka  * be taken immediately. For sync compaction, spin on the lock if needed.
3878b44d279SVlastimil Babka  *
3888b44d279SVlastimil Babka  * Returns true if the lock is held
3898b44d279SVlastimil Babka  * Returns false if the lock is not held and compaction should abort
3901f9efdefSVlastimil Babka  */
3918b44d279SVlastimil Babka static bool compact_trylock_irqsave(spinlock_t *lock, unsigned long *flags,
3928b44d279SVlastimil Babka 						struct compact_control *cc)
3938b44d279SVlastimil Babka {
3948b44d279SVlastimil Babka 	if (cc->mode == MIGRATE_ASYNC) {
3958b44d279SVlastimil Babka 		if (!spin_trylock_irqsave(lock, *flags)) {
396c3486f53SVlastimil Babka 			cc->contended = true;
3978b44d279SVlastimil Babka 			return false;
3988b44d279SVlastimil Babka 		}
3998b44d279SVlastimil Babka 	} else {
4008b44d279SVlastimil Babka 		spin_lock_irqsave(lock, *flags);
4018b44d279SVlastimil Babka 	}
4021f9efdefSVlastimil Babka 
4038b44d279SVlastimil Babka 	return true;
4042a1402aaSMel Gorman }
4052a1402aaSMel Gorman 
40685aa125fSMichal Nazarewicz /*
407c67fe375SMel Gorman  * Compaction requires the taking of some coarse locks that are potentially
4088b44d279SVlastimil Babka  * very heavily contended. The lock should be periodically unlocked to avoid
4098b44d279SVlastimil Babka  * having disabled IRQs for a long time, even when there is nobody waiting on
4108b44d279SVlastimil Babka  * the lock. It might also be that allowing the IRQs will result in
4118b44d279SVlastimil Babka  * need_resched() becoming true. If scheduling is needed, async compaction
4128b44d279SVlastimil Babka  * aborts. Sync compaction schedules.
4138b44d279SVlastimil Babka  * Either compaction type will also abort if a fatal signal is pending.
4148b44d279SVlastimil Babka  * In either case if the lock was locked, it is dropped and not regained.
415c67fe375SMel Gorman  *
4168b44d279SVlastimil Babka  * Returns true if compaction should abort due to fatal signal pending, or
4178b44d279SVlastimil Babka  *		async compaction due to need_resched()
4188b44d279SVlastimil Babka  * Returns false when compaction can continue (sync compaction might have
4198b44d279SVlastimil Babka  *		scheduled)
420c67fe375SMel Gorman  */
4218b44d279SVlastimil Babka static bool compact_unlock_should_abort(spinlock_t *lock,
4228b44d279SVlastimil Babka 		unsigned long flags, bool *locked, struct compact_control *cc)
423c67fe375SMel Gorman {
4248b44d279SVlastimil Babka 	if (*locked) {
4258b44d279SVlastimil Babka 		spin_unlock_irqrestore(lock, flags);
4268b44d279SVlastimil Babka 		*locked = false;
427c67fe375SMel Gorman 	}
428c67fe375SMel Gorman 
4298b44d279SVlastimil Babka 	if (fatal_signal_pending(current)) {
430c3486f53SVlastimil Babka 		cc->contended = true;
4318b44d279SVlastimil Babka 		return true;
4328b44d279SVlastimil Babka 	}
4338b44d279SVlastimil Babka 
4348b44d279SVlastimil Babka 	if (need_resched()) {
435e0b9daebSDavid Rientjes 		if (cc->mode == MIGRATE_ASYNC) {
436c3486f53SVlastimil Babka 			cc->contended = true;
4378b44d279SVlastimil Babka 			return true;
438c67fe375SMel Gorman 		}
439c67fe375SMel Gorman 		cond_resched();
440c67fe375SMel Gorman 	}
441c67fe375SMel Gorman 
4428b44d279SVlastimil Babka 	return false;
443c67fe375SMel Gorman }
444c67fe375SMel Gorman 
445be976572SVlastimil Babka /*
446be976572SVlastimil Babka  * Aside from avoiding lock contention, compaction also periodically checks
447be976572SVlastimil Babka  * need_resched() and either schedules in sync compaction or aborts async
4488b44d279SVlastimil Babka  * compaction. This is similar to what compact_unlock_should_abort() does, but
449be976572SVlastimil Babka  * is used where no lock is concerned.
450be976572SVlastimil Babka  *
451be976572SVlastimil Babka  * Returns false when no scheduling was needed, or sync compaction scheduled.
452be976572SVlastimil Babka  * Returns true when async compaction should abort.
453be976572SVlastimil Babka  */
454be976572SVlastimil Babka static inline bool compact_should_abort(struct compact_control *cc)
455be976572SVlastimil Babka {
456be976572SVlastimil Babka 	/* async compaction aborts if contended */
457be976572SVlastimil Babka 	if (need_resched()) {
458be976572SVlastimil Babka 		if (cc->mode == MIGRATE_ASYNC) {
459c3486f53SVlastimil Babka 			cc->contended = true;
460be976572SVlastimil Babka 			return true;
461be976572SVlastimil Babka 		}
462be976572SVlastimil Babka 
463be976572SVlastimil Babka 		cond_resched();
464be976572SVlastimil Babka 	}
465be976572SVlastimil Babka 
466be976572SVlastimil Babka 	return false;
467be976572SVlastimil Babka }
468be976572SVlastimil Babka 
469c67fe375SMel Gorman /*
4709e4be470SJerome Marchand  * Isolate free pages onto a private freelist. If @strict is true, will abort
4719e4be470SJerome Marchand  * returning 0 on any invalid PFNs or non-free pages inside of the pageblock
4729e4be470SJerome Marchand  * (even though it may still end up isolating some pages).
47385aa125fSMichal Nazarewicz  */
474f40d1e42SMel Gorman static unsigned long isolate_freepages_block(struct compact_control *cc,
475e14c720eSVlastimil Babka 				unsigned long *start_pfn,
47685aa125fSMichal Nazarewicz 				unsigned long end_pfn,
47785aa125fSMichal Nazarewicz 				struct list_head *freelist,
47885aa125fSMichal Nazarewicz 				bool strict)
479748446bbSMel Gorman {
480b7aba698SMel Gorman 	int nr_scanned = 0, total_isolated = 0;
481bb13ffebSMel Gorman 	struct page *cursor, *valid_page = NULL;
482b8b2d825SXiubo Li 	unsigned long flags = 0;
483f40d1e42SMel Gorman 	bool locked = false;
484e14c720eSVlastimil Babka 	unsigned long blockpfn = *start_pfn;
48566c64223SJoonsoo Kim 	unsigned int order;
486748446bbSMel Gorman 
487748446bbSMel Gorman 	cursor = pfn_to_page(blockpfn);
488748446bbSMel Gorman 
489f40d1e42SMel Gorman 	/* Isolate free pages. */
490748446bbSMel Gorman 	for (; blockpfn < end_pfn; blockpfn++, cursor++) {
49166c64223SJoonsoo Kim 		int isolated;
492748446bbSMel Gorman 		struct page *page = cursor;
493748446bbSMel Gorman 
4948b44d279SVlastimil Babka 		/*
4958b44d279SVlastimil Babka 		 * Periodically drop the lock (if held) regardless of its
4968b44d279SVlastimil Babka 		 * contention, to give chance to IRQs. Abort if fatal signal
4978b44d279SVlastimil Babka 		 * pending or async compaction detects need_resched()
4988b44d279SVlastimil Babka 		 */
4998b44d279SVlastimil Babka 		if (!(blockpfn % SWAP_CLUSTER_MAX)
5008b44d279SVlastimil Babka 		    && compact_unlock_should_abort(&cc->zone->lock, flags,
5018b44d279SVlastimil Babka 								&locked, cc))
5028b44d279SVlastimil Babka 			break;
5038b44d279SVlastimil Babka 
504b7aba698SMel Gorman 		nr_scanned++;
505f40d1e42SMel Gorman 		if (!pfn_valid_within(blockpfn))
5062af120bcSLaura Abbott 			goto isolate_fail;
5072af120bcSLaura Abbott 
508bb13ffebSMel Gorman 		if (!valid_page)
509bb13ffebSMel Gorman 			valid_page = page;
5109fcd6d2eSVlastimil Babka 
5119fcd6d2eSVlastimil Babka 		/*
5129fcd6d2eSVlastimil Babka 		 * For compound pages such as THP and hugetlbfs, we can save
5139fcd6d2eSVlastimil Babka 		 * potentially a lot of iterations if we skip them at once.
5149fcd6d2eSVlastimil Babka 		 * The check is racy, but we can consider only valid values
5159fcd6d2eSVlastimil Babka 		 * and the only danger is skipping too much.
5169fcd6d2eSVlastimil Babka 		 */
5179fcd6d2eSVlastimil Babka 		if (PageCompound(page)) {
51821dc7e02SDavid Rientjes 			const unsigned int order = compound_order(page);
5199fcd6d2eSVlastimil Babka 
520d3c85badSVlastimil Babka 			if (likely(order < MAX_ORDER)) {
52121dc7e02SDavid Rientjes 				blockpfn += (1UL << order) - 1;
52221dc7e02SDavid Rientjes 				cursor += (1UL << order) - 1;
5239fcd6d2eSVlastimil Babka 			}
5249fcd6d2eSVlastimil Babka 			goto isolate_fail;
5259fcd6d2eSVlastimil Babka 		}
5269fcd6d2eSVlastimil Babka 
527f40d1e42SMel Gorman 		if (!PageBuddy(page))
5282af120bcSLaura Abbott 			goto isolate_fail;
529f40d1e42SMel Gorman 
530f40d1e42SMel Gorman 		/*
53169b7189fSVlastimil Babka 		 * If we already hold the lock, we can skip some rechecking.
53269b7189fSVlastimil Babka 		 * Note that if we hold the lock now, checked_pageblock was
53369b7189fSVlastimil Babka 		 * already set in some previous iteration (or strict is true),
53469b7189fSVlastimil Babka 		 * so it is correct to skip the suitable migration target
53569b7189fSVlastimil Babka 		 * recheck as well.
53669b7189fSVlastimil Babka 		 */
53769b7189fSVlastimil Babka 		if (!locked) {
53869b7189fSVlastimil Babka 			/*
539f40d1e42SMel Gorman 			 * The zone lock must be held to isolate freepages.
540f40d1e42SMel Gorman 			 * Unfortunately this is a very coarse lock and can be
541f40d1e42SMel Gorman 			 * heavily contended if there are parallel allocations
542f40d1e42SMel Gorman 			 * or parallel compactions. For async compaction do not
543f40d1e42SMel Gorman 			 * spin on the lock and we acquire the lock as late as
544f40d1e42SMel Gorman 			 * possible.
545f40d1e42SMel Gorman 			 */
5468b44d279SVlastimil Babka 			locked = compact_trylock_irqsave(&cc->zone->lock,
5478b44d279SVlastimil Babka 								&flags, cc);
548f40d1e42SMel Gorman 			if (!locked)
549f40d1e42SMel Gorman 				break;
550f40d1e42SMel Gorman 
551f40d1e42SMel Gorman 			/* Recheck this is a buddy page under lock */
552f40d1e42SMel Gorman 			if (!PageBuddy(page))
5532af120bcSLaura Abbott 				goto isolate_fail;
55469b7189fSVlastimil Babka 		}
555748446bbSMel Gorman 
55666c64223SJoonsoo Kim 		/* Found a free page, will break it into order-0 pages */
55766c64223SJoonsoo Kim 		order = page_order(page);
55866c64223SJoonsoo Kim 		isolated = __isolate_free_page(page, order);
559a4f04f2cSDavid Rientjes 		if (!isolated)
560a4f04f2cSDavid Rientjes 			break;
56166c64223SJoonsoo Kim 		set_page_private(page, order);
562a4f04f2cSDavid Rientjes 
563748446bbSMel Gorman 		total_isolated += isolated;
564a4f04f2cSDavid Rientjes 		cc->nr_freepages += isolated;
56566c64223SJoonsoo Kim 		list_add_tail(&page->lru, freelist);
56666c64223SJoonsoo Kim 
567a4f04f2cSDavid Rientjes 		if (!strict && cc->nr_migratepages <= cc->nr_freepages) {
568932ff6bbSJoonsoo Kim 			blockpfn += isolated;
569932ff6bbSJoonsoo Kim 			break;
570932ff6bbSJoonsoo Kim 		}
571a4f04f2cSDavid Rientjes 		/* Advance to the end of split page */
572748446bbSMel Gorman 		blockpfn += isolated - 1;
573748446bbSMel Gorman 		cursor += isolated - 1;
5742af120bcSLaura Abbott 		continue;
5752af120bcSLaura Abbott 
5762af120bcSLaura Abbott isolate_fail:
5772af120bcSLaura Abbott 		if (strict)
5782af120bcSLaura Abbott 			break;
5792af120bcSLaura Abbott 		else
5802af120bcSLaura Abbott 			continue;
5812af120bcSLaura Abbott 
582748446bbSMel Gorman 	}
583748446bbSMel Gorman 
584a4f04f2cSDavid Rientjes 	if (locked)
585a4f04f2cSDavid Rientjes 		spin_unlock_irqrestore(&cc->zone->lock, flags);
586a4f04f2cSDavid Rientjes 
5879fcd6d2eSVlastimil Babka 	/*
5889fcd6d2eSVlastimil Babka 	 * There is a tiny chance that we have read bogus compound_order(),
5899fcd6d2eSVlastimil Babka 	 * so be careful to not go outside of the pageblock.
5909fcd6d2eSVlastimil Babka 	 */
5919fcd6d2eSVlastimil Babka 	if (unlikely(blockpfn > end_pfn))
5929fcd6d2eSVlastimil Babka 		blockpfn = end_pfn;
5939fcd6d2eSVlastimil Babka 
594e34d85f0SJoonsoo Kim 	trace_mm_compaction_isolate_freepages(*start_pfn, blockpfn,
595e34d85f0SJoonsoo Kim 					nr_scanned, total_isolated);
596e34d85f0SJoonsoo Kim 
597e14c720eSVlastimil Babka 	/* Record how far we have got within the block */
598e14c720eSVlastimil Babka 	*start_pfn = blockpfn;
599e14c720eSVlastimil Babka 
600f40d1e42SMel Gorman 	/*
601f40d1e42SMel Gorman 	 * If strict isolation is requested by CMA then check that all the
602f40d1e42SMel Gorman 	 * pages requested were isolated. If there were any failures, 0 is
603f40d1e42SMel Gorman 	 * returned and CMA will fail.
604f40d1e42SMel Gorman 	 */
6052af120bcSLaura Abbott 	if (strict && blockpfn < end_pfn)
606f40d1e42SMel Gorman 		total_isolated = 0;
607f40d1e42SMel Gorman 
608bb13ffebSMel Gorman 	/* Update the pageblock-skip if the whole pageblock was scanned */
609bb13ffebSMel Gorman 	if (blockpfn == end_pfn)
610e380bebeSMel Gorman 		update_pageblock_skip(cc, valid_page, total_isolated);
611bb13ffebSMel Gorman 
6127f354a54SDavid Rientjes 	cc->total_free_scanned += nr_scanned;
613397487dbSMel Gorman 	if (total_isolated)
614010fc29aSMinchan Kim 		count_compact_events(COMPACTISOLATED, total_isolated);
615748446bbSMel Gorman 	return total_isolated;
616748446bbSMel Gorman }
617748446bbSMel Gorman 
61885aa125fSMichal Nazarewicz /**
61985aa125fSMichal Nazarewicz  * isolate_freepages_range() - isolate free pages.
620e8b098fcSMike Rapoport  * @cc:        Compaction control structure.
62185aa125fSMichal Nazarewicz  * @start_pfn: The first PFN to start isolating.
62285aa125fSMichal Nazarewicz  * @end_pfn:   The one-past-last PFN.
62385aa125fSMichal Nazarewicz  *
62485aa125fSMichal Nazarewicz  * Non-free pages, invalid PFNs, or zone boundaries within the
62585aa125fSMichal Nazarewicz  * [start_pfn, end_pfn) range are considered errors, cause function to
62685aa125fSMichal Nazarewicz  * undo its actions and return zero.
62785aa125fSMichal Nazarewicz  *
62885aa125fSMichal Nazarewicz  * Otherwise, function returns one-past-the-last PFN of isolated page
62985aa125fSMichal Nazarewicz  * (which may be greater then end_pfn if end fell in a middle of
63085aa125fSMichal Nazarewicz  * a free page).
63185aa125fSMichal Nazarewicz  */
632ff9543fdSMichal Nazarewicz unsigned long
633bb13ffebSMel Gorman isolate_freepages_range(struct compact_control *cc,
634bb13ffebSMel Gorman 			unsigned long start_pfn, unsigned long end_pfn)
63585aa125fSMichal Nazarewicz {
636e1409c32SJoonsoo Kim 	unsigned long isolated, pfn, block_start_pfn, block_end_pfn;
63785aa125fSMichal Nazarewicz 	LIST_HEAD(freelist);
63885aa125fSMichal Nazarewicz 
6397d49d886SVlastimil Babka 	pfn = start_pfn;
64006b6640aSVlastimil Babka 	block_start_pfn = pageblock_start_pfn(pfn);
641e1409c32SJoonsoo Kim 	if (block_start_pfn < cc->zone->zone_start_pfn)
642e1409c32SJoonsoo Kim 		block_start_pfn = cc->zone->zone_start_pfn;
64306b6640aSVlastimil Babka 	block_end_pfn = pageblock_end_pfn(pfn);
6447d49d886SVlastimil Babka 
6457d49d886SVlastimil Babka 	for (; pfn < end_pfn; pfn += isolated,
646e1409c32SJoonsoo Kim 				block_start_pfn = block_end_pfn,
6477d49d886SVlastimil Babka 				block_end_pfn += pageblock_nr_pages) {
648e14c720eSVlastimil Babka 		/* Protect pfn from changing by isolate_freepages_block */
649e14c720eSVlastimil Babka 		unsigned long isolate_start_pfn = pfn;
6507d49d886SVlastimil Babka 
65185aa125fSMichal Nazarewicz 		block_end_pfn = min(block_end_pfn, end_pfn);
65285aa125fSMichal Nazarewicz 
65358420016SJoonsoo Kim 		/*
65458420016SJoonsoo Kim 		 * pfn could pass the block_end_pfn if isolated freepage
65558420016SJoonsoo Kim 		 * is more than pageblock order. In this case, we adjust
65658420016SJoonsoo Kim 		 * scanning range to right one.
65758420016SJoonsoo Kim 		 */
65858420016SJoonsoo Kim 		if (pfn >= block_end_pfn) {
65906b6640aSVlastimil Babka 			block_start_pfn = pageblock_start_pfn(pfn);
66006b6640aSVlastimil Babka 			block_end_pfn = pageblock_end_pfn(pfn);
66158420016SJoonsoo Kim 			block_end_pfn = min(block_end_pfn, end_pfn);
66258420016SJoonsoo Kim 		}
66358420016SJoonsoo Kim 
664e1409c32SJoonsoo Kim 		if (!pageblock_pfn_to_page(block_start_pfn,
665e1409c32SJoonsoo Kim 					block_end_pfn, cc->zone))
6667d49d886SVlastimil Babka 			break;
6677d49d886SVlastimil Babka 
668e14c720eSVlastimil Babka 		isolated = isolate_freepages_block(cc, &isolate_start_pfn,
669e14c720eSVlastimil Babka 						block_end_pfn, &freelist, true);
67085aa125fSMichal Nazarewicz 
67185aa125fSMichal Nazarewicz 		/*
67285aa125fSMichal Nazarewicz 		 * In strict mode, isolate_freepages_block() returns 0 if
67385aa125fSMichal Nazarewicz 		 * there are any holes in the block (ie. invalid PFNs or
67485aa125fSMichal Nazarewicz 		 * non-free pages).
67585aa125fSMichal Nazarewicz 		 */
67685aa125fSMichal Nazarewicz 		if (!isolated)
67785aa125fSMichal Nazarewicz 			break;
67885aa125fSMichal Nazarewicz 
67985aa125fSMichal Nazarewicz 		/*
68085aa125fSMichal Nazarewicz 		 * If we managed to isolate pages, it is always (1 << n) *
68185aa125fSMichal Nazarewicz 		 * pageblock_nr_pages for some non-negative n.  (Max order
68285aa125fSMichal Nazarewicz 		 * page may span two pageblocks).
68385aa125fSMichal Nazarewicz 		 */
68485aa125fSMichal Nazarewicz 	}
68585aa125fSMichal Nazarewicz 
68666c64223SJoonsoo Kim 	/* __isolate_free_page() does not map the pages */
6874469ab98SMel Gorman 	split_map_pages(&freelist);
68885aa125fSMichal Nazarewicz 
68985aa125fSMichal Nazarewicz 	if (pfn < end_pfn) {
69085aa125fSMichal Nazarewicz 		/* Loop terminated early, cleanup. */
69185aa125fSMichal Nazarewicz 		release_freepages(&freelist);
69285aa125fSMichal Nazarewicz 		return 0;
69385aa125fSMichal Nazarewicz 	}
69485aa125fSMichal Nazarewicz 
69585aa125fSMichal Nazarewicz 	/* We don't use freelists for anything. */
69685aa125fSMichal Nazarewicz 	return pfn;
69785aa125fSMichal Nazarewicz }
69885aa125fSMichal Nazarewicz 
699748446bbSMel Gorman /* Similar to reclaim, but different enough that they don't share logic */
700748446bbSMel Gorman static bool too_many_isolated(struct zone *zone)
701748446bbSMel Gorman {
702bc693045SMinchan Kim 	unsigned long active, inactive, isolated;
703748446bbSMel Gorman 
704599d0c95SMel Gorman 	inactive = node_page_state(zone->zone_pgdat, NR_INACTIVE_FILE) +
705599d0c95SMel Gorman 			node_page_state(zone->zone_pgdat, NR_INACTIVE_ANON);
706599d0c95SMel Gorman 	active = node_page_state(zone->zone_pgdat, NR_ACTIVE_FILE) +
707599d0c95SMel Gorman 			node_page_state(zone->zone_pgdat, NR_ACTIVE_ANON);
708599d0c95SMel Gorman 	isolated = node_page_state(zone->zone_pgdat, NR_ISOLATED_FILE) +
709599d0c95SMel Gorman 			node_page_state(zone->zone_pgdat, NR_ISOLATED_ANON);
710748446bbSMel Gorman 
711bc693045SMinchan Kim 	return isolated > (inactive + active) / 2;
712748446bbSMel Gorman }
713748446bbSMel Gorman 
7142fe86e00SMichal Nazarewicz /**
715edc2ca61SVlastimil Babka  * isolate_migratepages_block() - isolate all migrate-able pages within
716edc2ca61SVlastimil Babka  *				  a single pageblock
7172fe86e00SMichal Nazarewicz  * @cc:		Compaction control structure.
718edc2ca61SVlastimil Babka  * @low_pfn:	The first PFN to isolate
719edc2ca61SVlastimil Babka  * @end_pfn:	The one-past-the-last PFN to isolate, within same pageblock
720edc2ca61SVlastimil Babka  * @isolate_mode: Isolation mode to be used.
7212fe86e00SMichal Nazarewicz  *
7222fe86e00SMichal Nazarewicz  * Isolate all pages that can be migrated from the range specified by
723edc2ca61SVlastimil Babka  * [low_pfn, end_pfn). The range is expected to be within same pageblock.
724edc2ca61SVlastimil Babka  * Returns zero if there is a fatal signal pending, otherwise PFN of the
725edc2ca61SVlastimil Babka  * first page that was not scanned (which may be both less, equal to or more
726edc2ca61SVlastimil Babka  * than end_pfn).
7272fe86e00SMichal Nazarewicz  *
728edc2ca61SVlastimil Babka  * The pages are isolated on cc->migratepages list (not required to be empty),
729edc2ca61SVlastimil Babka  * and cc->nr_migratepages is updated accordingly. The cc->migrate_pfn field
730edc2ca61SVlastimil Babka  * is neither read nor updated.
731748446bbSMel Gorman  */
732edc2ca61SVlastimil Babka static unsigned long
733edc2ca61SVlastimil Babka isolate_migratepages_block(struct compact_control *cc, unsigned long low_pfn,
734edc2ca61SVlastimil Babka 			unsigned long end_pfn, isolate_mode_t isolate_mode)
735748446bbSMel Gorman {
736edc2ca61SVlastimil Babka 	struct zone *zone = cc->zone;
737b7aba698SMel Gorman 	unsigned long nr_scanned = 0, nr_isolated = 0;
738fa9add64SHugh Dickins 	struct lruvec *lruvec;
739b8b2d825SXiubo Li 	unsigned long flags = 0;
7402a1402aaSMel Gorman 	bool locked = false;
741bb13ffebSMel Gorman 	struct page *page = NULL, *valid_page = NULL;
742e34d85f0SJoonsoo Kim 	unsigned long start_pfn = low_pfn;
743fdd048e1SVlastimil Babka 	bool skip_on_failure = false;
744fdd048e1SVlastimil Babka 	unsigned long next_skip_pfn = 0;
745e380bebeSMel Gorman 	bool skip_updated = false;
746748446bbSMel Gorman 
747748446bbSMel Gorman 	/*
748748446bbSMel Gorman 	 * Ensure that there are not too many pages isolated from the LRU
749748446bbSMel Gorman 	 * list by either parallel reclaimers or compaction. If there are,
750748446bbSMel Gorman 	 * delay for some time until fewer pages are isolated
751748446bbSMel Gorman 	 */
752748446bbSMel Gorman 	while (unlikely(too_many_isolated(zone))) {
753f9e35b3bSMel Gorman 		/* async migration should just abort */
754e0b9daebSDavid Rientjes 		if (cc->mode == MIGRATE_ASYNC)
7552fe86e00SMichal Nazarewicz 			return 0;
756f9e35b3bSMel Gorman 
757748446bbSMel Gorman 		congestion_wait(BLK_RW_ASYNC, HZ/10);
758748446bbSMel Gorman 
759748446bbSMel Gorman 		if (fatal_signal_pending(current))
7602fe86e00SMichal Nazarewicz 			return 0;
761748446bbSMel Gorman 	}
762748446bbSMel Gorman 
763be976572SVlastimil Babka 	if (compact_should_abort(cc))
764aeef4b83SDavid Rientjes 		return 0;
765aeef4b83SDavid Rientjes 
766fdd048e1SVlastimil Babka 	if (cc->direct_compaction && (cc->mode == MIGRATE_ASYNC)) {
767fdd048e1SVlastimil Babka 		skip_on_failure = true;
768fdd048e1SVlastimil Babka 		next_skip_pfn = block_end_pfn(low_pfn, cc->order);
769fdd048e1SVlastimil Babka 	}
770fdd048e1SVlastimil Babka 
771748446bbSMel Gorman 	/* Time to isolate some pages for migration */
772748446bbSMel Gorman 	for (; low_pfn < end_pfn; low_pfn++) {
77329c0dde8SVlastimil Babka 
774fdd048e1SVlastimil Babka 		if (skip_on_failure && low_pfn >= next_skip_pfn) {
775fdd048e1SVlastimil Babka 			/*
776fdd048e1SVlastimil Babka 			 * We have isolated all migration candidates in the
777fdd048e1SVlastimil Babka 			 * previous order-aligned block, and did not skip it due
778fdd048e1SVlastimil Babka 			 * to failure. We should migrate the pages now and
779fdd048e1SVlastimil Babka 			 * hopefully succeed compaction.
780fdd048e1SVlastimil Babka 			 */
781fdd048e1SVlastimil Babka 			if (nr_isolated)
782fdd048e1SVlastimil Babka 				break;
783fdd048e1SVlastimil Babka 
784fdd048e1SVlastimil Babka 			/*
785fdd048e1SVlastimil Babka 			 * We failed to isolate in the previous order-aligned
786fdd048e1SVlastimil Babka 			 * block. Set the new boundary to the end of the
787fdd048e1SVlastimil Babka 			 * current block. Note we can't simply increase
788fdd048e1SVlastimil Babka 			 * next_skip_pfn by 1 << order, as low_pfn might have
789fdd048e1SVlastimil Babka 			 * been incremented by a higher number due to skipping
790fdd048e1SVlastimil Babka 			 * a compound or a high-order buddy page in the
791fdd048e1SVlastimil Babka 			 * previous loop iteration.
792fdd048e1SVlastimil Babka 			 */
793fdd048e1SVlastimil Babka 			next_skip_pfn = block_end_pfn(low_pfn, cc->order);
794fdd048e1SVlastimil Babka 		}
795fdd048e1SVlastimil Babka 
7968b44d279SVlastimil Babka 		/*
7978b44d279SVlastimil Babka 		 * Periodically drop the lock (if held) regardless of its
7988b44d279SVlastimil Babka 		 * contention, to give chance to IRQs. Abort async compaction
7998b44d279SVlastimil Babka 		 * if contended.
8008b44d279SVlastimil Babka 		 */
8018b44d279SVlastimil Babka 		if (!(low_pfn % SWAP_CLUSTER_MAX)
802a52633d8SMel Gorman 		    && compact_unlock_should_abort(zone_lru_lock(zone), flags,
8038b44d279SVlastimil Babka 								&locked, cc))
8048b44d279SVlastimil Babka 			break;
805b2eef8c0SAndrea Arcangeli 
806748446bbSMel Gorman 		if (!pfn_valid_within(low_pfn))
807fdd048e1SVlastimil Babka 			goto isolate_fail;
808b7aba698SMel Gorman 		nr_scanned++;
809748446bbSMel Gorman 
810748446bbSMel Gorman 		page = pfn_to_page(low_pfn);
811dc908600SMel Gorman 
812e380bebeSMel Gorman 		/*
813e380bebeSMel Gorman 		 * Check if the pageblock has already been marked skipped.
814e380bebeSMel Gorman 		 * Only the aligned PFN is checked as the caller isolates
815e380bebeSMel Gorman 		 * COMPACT_CLUSTER_MAX at a time so the second call must
816e380bebeSMel Gorman 		 * not falsely conclude that the block should be skipped.
817e380bebeSMel Gorman 		 */
818e380bebeSMel Gorman 		if (!valid_page && IS_ALIGNED(low_pfn, pageblock_nr_pages)) {
819e380bebeSMel Gorman 			if (!cc->ignore_skip_hint && get_pageblock_skip(page)) {
820e380bebeSMel Gorman 				low_pfn = end_pfn;
821e380bebeSMel Gorman 				goto isolate_abort;
822e380bebeSMel Gorman 			}
823bb13ffebSMel Gorman 			valid_page = page;
824e380bebeSMel Gorman 		}
825bb13ffebSMel Gorman 
826c122b208SJoonsoo Kim 		/*
82799c0fd5eSVlastimil Babka 		 * Skip if free. We read page order here without zone lock
82899c0fd5eSVlastimil Babka 		 * which is generally unsafe, but the race window is small and
82999c0fd5eSVlastimil Babka 		 * the worst thing that can happen is that we skip some
83099c0fd5eSVlastimil Babka 		 * potential isolation targets.
8316c14466cSMel Gorman 		 */
83299c0fd5eSVlastimil Babka 		if (PageBuddy(page)) {
83399c0fd5eSVlastimil Babka 			unsigned long freepage_order = page_order_unsafe(page);
83499c0fd5eSVlastimil Babka 
83599c0fd5eSVlastimil Babka 			/*
83699c0fd5eSVlastimil Babka 			 * Without lock, we cannot be sure that what we got is
83799c0fd5eSVlastimil Babka 			 * a valid page order. Consider only values in the
83899c0fd5eSVlastimil Babka 			 * valid order range to prevent low_pfn overflow.
83999c0fd5eSVlastimil Babka 			 */
84099c0fd5eSVlastimil Babka 			if (freepage_order > 0 && freepage_order < MAX_ORDER)
84199c0fd5eSVlastimil Babka 				low_pfn += (1UL << freepage_order) - 1;
842748446bbSMel Gorman 			continue;
84399c0fd5eSVlastimil Babka 		}
844748446bbSMel Gorman 
8459927af74SMel Gorman 		/*
84629c0dde8SVlastimil Babka 		 * Regardless of being on LRU, compound pages such as THP and
84729c0dde8SVlastimil Babka 		 * hugetlbfs are not to be compacted. We can potentially save
84829c0dde8SVlastimil Babka 		 * a lot of iterations if we skip them at once. The check is
84929c0dde8SVlastimil Babka 		 * racy, but we can consider only valid values and the only
85029c0dde8SVlastimil Babka 		 * danger is skipping too much.
851bc835011SAndrea Arcangeli 		 */
85229c0dde8SVlastimil Babka 		if (PageCompound(page)) {
85321dc7e02SDavid Rientjes 			const unsigned int order = compound_order(page);
85429c0dde8SVlastimil Babka 
855d3c85badSVlastimil Babka 			if (likely(order < MAX_ORDER))
85621dc7e02SDavid Rientjes 				low_pfn += (1UL << order) - 1;
857fdd048e1SVlastimil Babka 			goto isolate_fail;
8582a1402aaSMel Gorman 		}
8592a1402aaSMel Gorman 
860bda807d4SMinchan Kim 		/*
861bda807d4SMinchan Kim 		 * Check may be lockless but that's ok as we recheck later.
862bda807d4SMinchan Kim 		 * It's possible to migrate LRU and non-lru movable pages.
863bda807d4SMinchan Kim 		 * Skip any other type of page
864bda807d4SMinchan Kim 		 */
865bda807d4SMinchan Kim 		if (!PageLRU(page)) {
866bda807d4SMinchan Kim 			/*
867bda807d4SMinchan Kim 			 * __PageMovable can return false positive so we need
868bda807d4SMinchan Kim 			 * to verify it under page_lock.
869bda807d4SMinchan Kim 			 */
870bda807d4SMinchan Kim 			if (unlikely(__PageMovable(page)) &&
871bda807d4SMinchan Kim 					!PageIsolated(page)) {
872bda807d4SMinchan Kim 				if (locked) {
873a52633d8SMel Gorman 					spin_unlock_irqrestore(zone_lru_lock(zone),
874bda807d4SMinchan Kim 									flags);
875bda807d4SMinchan Kim 					locked = false;
876bda807d4SMinchan Kim 				}
877bda807d4SMinchan Kim 
8789e5bcd61SYisheng Xie 				if (!isolate_movable_page(page, isolate_mode))
879bda807d4SMinchan Kim 					goto isolate_success;
880bda807d4SMinchan Kim 			}
881bda807d4SMinchan Kim 
882fdd048e1SVlastimil Babka 			goto isolate_fail;
883bda807d4SMinchan Kim 		}
88429c0dde8SVlastimil Babka 
885119d6d59SDavid Rientjes 		/*
886119d6d59SDavid Rientjes 		 * Migration will fail if an anonymous page is pinned in memory,
887119d6d59SDavid Rientjes 		 * so avoid taking lru_lock and isolating it unnecessarily in an
888119d6d59SDavid Rientjes 		 * admittedly racy check.
889119d6d59SDavid Rientjes 		 */
890119d6d59SDavid Rientjes 		if (!page_mapping(page) &&
891119d6d59SDavid Rientjes 		    page_count(page) > page_mapcount(page))
892fdd048e1SVlastimil Babka 			goto isolate_fail;
893119d6d59SDavid Rientjes 
89473e64c51SMichal Hocko 		/*
89573e64c51SMichal Hocko 		 * Only allow to migrate anonymous pages in GFP_NOFS context
89673e64c51SMichal Hocko 		 * because those do not depend on fs locks.
89773e64c51SMichal Hocko 		 */
89873e64c51SMichal Hocko 		if (!(cc->gfp_mask & __GFP_FS) && page_mapping(page))
89973e64c51SMichal Hocko 			goto isolate_fail;
90073e64c51SMichal Hocko 
90169b7189fSVlastimil Babka 		/* If we already hold the lock, we can skip some rechecking */
90269b7189fSVlastimil Babka 		if (!locked) {
903a52633d8SMel Gorman 			locked = compact_trylock_irqsave(zone_lru_lock(zone),
9048b44d279SVlastimil Babka 								&flags, cc);
905e380bebeSMel Gorman 
906e380bebeSMel Gorman 			/* Allow future scanning if the lock is contended */
907e380bebeSMel Gorman 			if (!locked) {
908e380bebeSMel Gorman 				clear_pageblock_skip(page);
9092a1402aaSMel Gorman 				break;
910e380bebeSMel Gorman 			}
911e380bebeSMel Gorman 
912e380bebeSMel Gorman 			/* Try get exclusive access under lock */
913e380bebeSMel Gorman 			if (!skip_updated) {
914e380bebeSMel Gorman 				skip_updated = true;
915e380bebeSMel Gorman 				if (test_and_set_skip(cc, page, low_pfn))
916e380bebeSMel Gorman 					goto isolate_abort;
917e380bebeSMel Gorman 			}
9182a1402aaSMel Gorman 
91929c0dde8SVlastimil Babka 			/* Recheck PageLRU and PageCompound under lock */
9202a1402aaSMel Gorman 			if (!PageLRU(page))
921fdd048e1SVlastimil Babka 				goto isolate_fail;
92229c0dde8SVlastimil Babka 
92329c0dde8SVlastimil Babka 			/*
92429c0dde8SVlastimil Babka 			 * Page become compound since the non-locked check,
92529c0dde8SVlastimil Babka 			 * and it's on LRU. It can only be a THP so the order
92629c0dde8SVlastimil Babka 			 * is safe to read and it's 0 for tail pages.
92729c0dde8SVlastimil Babka 			 */
92829c0dde8SVlastimil Babka 			if (unlikely(PageCompound(page))) {
929d3c85badSVlastimil Babka 				low_pfn += (1UL << compound_order(page)) - 1;
930fdd048e1SVlastimil Babka 				goto isolate_fail;
931bc835011SAndrea Arcangeli 			}
93269b7189fSVlastimil Babka 		}
933bc835011SAndrea Arcangeli 
934599d0c95SMel Gorman 		lruvec = mem_cgroup_page_lruvec(page, zone->zone_pgdat);
935fa9add64SHugh Dickins 
936748446bbSMel Gorman 		/* Try isolate the page */
937edc2ca61SVlastimil Babka 		if (__isolate_lru_page(page, isolate_mode) != 0)
938fdd048e1SVlastimil Babka 			goto isolate_fail;
939748446bbSMel Gorman 
94029c0dde8SVlastimil Babka 		VM_BUG_ON_PAGE(PageCompound(page), page);
941bc835011SAndrea Arcangeli 
942748446bbSMel Gorman 		/* Successfully isolated */
943fa9add64SHugh Dickins 		del_page_from_lru_list(page, lruvec, page_lru(page));
9446afcf8efSMing Ling 		inc_node_page_state(page,
9456afcf8efSMing Ling 				NR_ISOLATED_ANON + page_is_file_cache(page));
946b6c75016SJoonsoo Kim 
947b6c75016SJoonsoo Kim isolate_success:
948fdd048e1SVlastimil Babka 		list_add(&page->lru, &cc->migratepages);
949748446bbSMel Gorman 		cc->nr_migratepages++;
950b7aba698SMel Gorman 		nr_isolated++;
951748446bbSMel Gorman 
952748446bbSMel Gorman 		/* Avoid isolating too much */
95331b8384aSHillf Danton 		if (cc->nr_migratepages == COMPACT_CLUSTER_MAX) {
95431b8384aSHillf Danton 			++low_pfn;
955748446bbSMel Gorman 			break;
956748446bbSMel Gorman 		}
957fdd048e1SVlastimil Babka 
958fdd048e1SVlastimil Babka 		continue;
959fdd048e1SVlastimil Babka isolate_fail:
960fdd048e1SVlastimil Babka 		if (!skip_on_failure)
961fdd048e1SVlastimil Babka 			continue;
962fdd048e1SVlastimil Babka 
963fdd048e1SVlastimil Babka 		/*
964fdd048e1SVlastimil Babka 		 * We have isolated some pages, but then failed. Release them
965fdd048e1SVlastimil Babka 		 * instead of migrating, as we cannot form the cc->order buddy
966fdd048e1SVlastimil Babka 		 * page anyway.
967fdd048e1SVlastimil Babka 		 */
968fdd048e1SVlastimil Babka 		if (nr_isolated) {
969fdd048e1SVlastimil Babka 			if (locked) {
970a52633d8SMel Gorman 				spin_unlock_irqrestore(zone_lru_lock(zone), flags);
971fdd048e1SVlastimil Babka 				locked = false;
972fdd048e1SVlastimil Babka 			}
973fdd048e1SVlastimil Babka 			putback_movable_pages(&cc->migratepages);
974fdd048e1SVlastimil Babka 			cc->nr_migratepages = 0;
975fdd048e1SVlastimil Babka 			nr_isolated = 0;
976fdd048e1SVlastimil Babka 		}
977fdd048e1SVlastimil Babka 
978fdd048e1SVlastimil Babka 		if (low_pfn < next_skip_pfn) {
979fdd048e1SVlastimil Babka 			low_pfn = next_skip_pfn - 1;
980fdd048e1SVlastimil Babka 			/*
981fdd048e1SVlastimil Babka 			 * The check near the loop beginning would have updated
982fdd048e1SVlastimil Babka 			 * next_skip_pfn too, but this is a bit simpler.
983fdd048e1SVlastimil Babka 			 */
984fdd048e1SVlastimil Babka 			next_skip_pfn += 1UL << cc->order;
985fdd048e1SVlastimil Babka 		}
98631b8384aSHillf Danton 	}
987748446bbSMel Gorman 
98899c0fd5eSVlastimil Babka 	/*
98999c0fd5eSVlastimil Babka 	 * The PageBuddy() check could have potentially brought us outside
99099c0fd5eSVlastimil Babka 	 * the range to be scanned.
99199c0fd5eSVlastimil Babka 	 */
99299c0fd5eSVlastimil Babka 	if (unlikely(low_pfn > end_pfn))
99399c0fd5eSVlastimil Babka 		low_pfn = end_pfn;
99499c0fd5eSVlastimil Babka 
995e380bebeSMel Gorman isolate_abort:
996c67fe375SMel Gorman 	if (locked)
997a52633d8SMel Gorman 		spin_unlock_irqrestore(zone_lru_lock(zone), flags);
998748446bbSMel Gorman 
99950b5b094SVlastimil Babka 	/*
1000e380bebeSMel Gorman 	 * Updated the cached scanner pfn if the pageblock was scanned
1001e380bebeSMel Gorman 	 * without isolating a page. The pageblock may not be marked
1002e380bebeSMel Gorman 	 * skipped already if there were no LRU pages in the block.
100350b5b094SVlastimil Babka 	 */
1004e380bebeSMel Gorman 	if (low_pfn == end_pfn && !nr_isolated) {
1005e380bebeSMel Gorman 		if (valid_page && !skip_updated)
1006e380bebeSMel Gorman 			set_pageblock_skip(valid_page);
1007e380bebeSMel Gorman 		update_cached_migrate(cc, low_pfn);
1008e380bebeSMel Gorman 	}
1009bb13ffebSMel Gorman 
1010e34d85f0SJoonsoo Kim 	trace_mm_compaction_isolate_migratepages(start_pfn, low_pfn,
1011e34d85f0SJoonsoo Kim 						nr_scanned, nr_isolated);
1012b7aba698SMel Gorman 
10137f354a54SDavid Rientjes 	cc->total_migrate_scanned += nr_scanned;
1014397487dbSMel Gorman 	if (nr_isolated)
1015010fc29aSMinchan Kim 		count_compact_events(COMPACTISOLATED, nr_isolated);
1016397487dbSMel Gorman 
10172fe86e00SMichal Nazarewicz 	return low_pfn;
10182fe86e00SMichal Nazarewicz }
10192fe86e00SMichal Nazarewicz 
1020edc2ca61SVlastimil Babka /**
1021edc2ca61SVlastimil Babka  * isolate_migratepages_range() - isolate migrate-able pages in a PFN range
1022edc2ca61SVlastimil Babka  * @cc:        Compaction control structure.
1023edc2ca61SVlastimil Babka  * @start_pfn: The first PFN to start isolating.
1024edc2ca61SVlastimil Babka  * @end_pfn:   The one-past-last PFN.
1025edc2ca61SVlastimil Babka  *
1026edc2ca61SVlastimil Babka  * Returns zero if isolation fails fatally due to e.g. pending signal.
1027edc2ca61SVlastimil Babka  * Otherwise, function returns one-past-the-last PFN of isolated page
1028edc2ca61SVlastimil Babka  * (which may be greater than end_pfn if end fell in a middle of a THP page).
1029edc2ca61SVlastimil Babka  */
1030edc2ca61SVlastimil Babka unsigned long
1031edc2ca61SVlastimil Babka isolate_migratepages_range(struct compact_control *cc, unsigned long start_pfn,
1032edc2ca61SVlastimil Babka 							unsigned long end_pfn)
1033edc2ca61SVlastimil Babka {
1034e1409c32SJoonsoo Kim 	unsigned long pfn, block_start_pfn, block_end_pfn;
1035edc2ca61SVlastimil Babka 
1036edc2ca61SVlastimil Babka 	/* Scan block by block. First and last block may be incomplete */
1037edc2ca61SVlastimil Babka 	pfn = start_pfn;
103806b6640aSVlastimil Babka 	block_start_pfn = pageblock_start_pfn(pfn);
1039e1409c32SJoonsoo Kim 	if (block_start_pfn < cc->zone->zone_start_pfn)
1040e1409c32SJoonsoo Kim 		block_start_pfn = cc->zone->zone_start_pfn;
104106b6640aSVlastimil Babka 	block_end_pfn = pageblock_end_pfn(pfn);
1042edc2ca61SVlastimil Babka 
1043edc2ca61SVlastimil Babka 	for (; pfn < end_pfn; pfn = block_end_pfn,
1044e1409c32SJoonsoo Kim 				block_start_pfn = block_end_pfn,
1045edc2ca61SVlastimil Babka 				block_end_pfn += pageblock_nr_pages) {
1046edc2ca61SVlastimil Babka 
1047edc2ca61SVlastimil Babka 		block_end_pfn = min(block_end_pfn, end_pfn);
1048edc2ca61SVlastimil Babka 
1049e1409c32SJoonsoo Kim 		if (!pageblock_pfn_to_page(block_start_pfn,
1050e1409c32SJoonsoo Kim 					block_end_pfn, cc->zone))
1051edc2ca61SVlastimil Babka 			continue;
1052edc2ca61SVlastimil Babka 
1053edc2ca61SVlastimil Babka 		pfn = isolate_migratepages_block(cc, pfn, block_end_pfn,
1054edc2ca61SVlastimil Babka 							ISOLATE_UNEVICTABLE);
1055edc2ca61SVlastimil Babka 
105614af4a5eSHugh Dickins 		if (!pfn)
1057edc2ca61SVlastimil Babka 			break;
10586ea41c0cSJoonsoo Kim 
10596ea41c0cSJoonsoo Kim 		if (cc->nr_migratepages == COMPACT_CLUSTER_MAX)
10606ea41c0cSJoonsoo Kim 			break;
1061edc2ca61SVlastimil Babka 	}
1062edc2ca61SVlastimil Babka 
1063edc2ca61SVlastimil Babka 	return pfn;
1064edc2ca61SVlastimil Babka }
1065edc2ca61SVlastimil Babka 
1066ff9543fdSMichal Nazarewicz #endif /* CONFIG_COMPACTION || CONFIG_CMA */
1067ff9543fdSMichal Nazarewicz #ifdef CONFIG_COMPACTION
1068018e9a49SAndrew Morton 
1069b682debdSVlastimil Babka static bool suitable_migration_source(struct compact_control *cc,
1070b682debdSVlastimil Babka 							struct page *page)
1071b682debdSVlastimil Babka {
1072282722b0SVlastimil Babka 	int block_mt;
1073282722b0SVlastimil Babka 
1074282722b0SVlastimil Babka 	if ((cc->mode != MIGRATE_ASYNC) || !cc->direct_compaction)
1075b682debdSVlastimil Babka 		return true;
1076b682debdSVlastimil Babka 
1077282722b0SVlastimil Babka 	block_mt = get_pageblock_migratetype(page);
1078282722b0SVlastimil Babka 
1079282722b0SVlastimil Babka 	if (cc->migratetype == MIGRATE_MOVABLE)
1080282722b0SVlastimil Babka 		return is_migrate_movable(block_mt);
1081282722b0SVlastimil Babka 	else
1082282722b0SVlastimil Babka 		return block_mt == cc->migratetype;
1083b682debdSVlastimil Babka }
1084b682debdSVlastimil Babka 
1085018e9a49SAndrew Morton /* Returns true if the page is within a block suitable for migration to */
10869f7e3387SVlastimil Babka static bool suitable_migration_target(struct compact_control *cc,
10879f7e3387SVlastimil Babka 							struct page *page)
1088018e9a49SAndrew Morton {
1089018e9a49SAndrew Morton 	/* If the page is a large free page, then disallow migration */
1090018e9a49SAndrew Morton 	if (PageBuddy(page)) {
1091018e9a49SAndrew Morton 		/*
1092018e9a49SAndrew Morton 		 * We are checking page_order without zone->lock taken. But
1093018e9a49SAndrew Morton 		 * the only small danger is that we skip a potentially suitable
1094018e9a49SAndrew Morton 		 * pageblock, so it's not worth to check order for valid range.
1095018e9a49SAndrew Morton 		 */
1096018e9a49SAndrew Morton 		if (page_order_unsafe(page) >= pageblock_order)
1097018e9a49SAndrew Morton 			return false;
1098018e9a49SAndrew Morton 	}
1099018e9a49SAndrew Morton 
11001ef36db2SYisheng Xie 	if (cc->ignore_block_suitable)
11011ef36db2SYisheng Xie 		return true;
11021ef36db2SYisheng Xie 
1103018e9a49SAndrew Morton 	/* If the block is MIGRATE_MOVABLE or MIGRATE_CMA, allow migration */
1104b682debdSVlastimil Babka 	if (is_migrate_movable(get_pageblock_migratetype(page)))
1105018e9a49SAndrew Morton 		return true;
1106018e9a49SAndrew Morton 
1107018e9a49SAndrew Morton 	/* Otherwise skip the block */
1108018e9a49SAndrew Morton 	return false;
1109018e9a49SAndrew Morton }
1110018e9a49SAndrew Morton 
111170b44595SMel Gorman static inline unsigned int
111270b44595SMel Gorman freelist_scan_limit(struct compact_control *cc)
111370b44595SMel Gorman {
111470b44595SMel Gorman 	return (COMPACT_CLUSTER_MAX >> cc->fast_search_fail) + 1;
111570b44595SMel Gorman }
111670b44595SMel Gorman 
1117ff9543fdSMichal Nazarewicz /*
1118f2849aa0SVlastimil Babka  * Test whether the free scanner has reached the same or lower pageblock than
1119f2849aa0SVlastimil Babka  * the migration scanner, and compaction should thus terminate.
1120f2849aa0SVlastimil Babka  */
1121f2849aa0SVlastimil Babka static inline bool compact_scanners_met(struct compact_control *cc)
1122f2849aa0SVlastimil Babka {
1123f2849aa0SVlastimil Babka 	return (cc->free_pfn >> pageblock_order)
1124f2849aa0SVlastimil Babka 		<= (cc->migrate_pfn >> pageblock_order);
1125f2849aa0SVlastimil Babka }
1126f2849aa0SVlastimil Babka 
1127*5a811889SMel Gorman /*
1128*5a811889SMel Gorman  * Used when scanning for a suitable migration target which scans freelists
1129*5a811889SMel Gorman  * in reverse. Reorders the list such as the unscanned pages are scanned
1130*5a811889SMel Gorman  * first on the next iteration of the free scanner
1131*5a811889SMel Gorman  */
1132*5a811889SMel Gorman static void
1133*5a811889SMel Gorman move_freelist_head(struct list_head *freelist, struct page *freepage)
1134*5a811889SMel Gorman {
1135*5a811889SMel Gorman 	LIST_HEAD(sublist);
1136*5a811889SMel Gorman 
1137*5a811889SMel Gorman 	if (!list_is_last(freelist, &freepage->lru)) {
1138*5a811889SMel Gorman 		list_cut_before(&sublist, freelist, &freepage->lru);
1139*5a811889SMel Gorman 		if (!list_empty(&sublist))
1140*5a811889SMel Gorman 			list_splice_tail(&sublist, freelist);
1141*5a811889SMel Gorman 	}
1142*5a811889SMel Gorman }
1143*5a811889SMel Gorman 
1144*5a811889SMel Gorman /*
1145*5a811889SMel Gorman  * Similar to move_freelist_head except used by the migration scanner
1146*5a811889SMel Gorman  * when scanning forward. It's possible for these list operations to
1147*5a811889SMel Gorman  * move against each other if they search the free list exactly in
1148*5a811889SMel Gorman  * lockstep.
1149*5a811889SMel Gorman  */
115070b44595SMel Gorman static void
115170b44595SMel Gorman move_freelist_tail(struct list_head *freelist, struct page *freepage)
115270b44595SMel Gorman {
115370b44595SMel Gorman 	LIST_HEAD(sublist);
115470b44595SMel Gorman 
115570b44595SMel Gorman 	if (!list_is_first(freelist, &freepage->lru)) {
115670b44595SMel Gorman 		list_cut_position(&sublist, freelist, &freepage->lru);
115770b44595SMel Gorman 		if (!list_empty(&sublist))
115870b44595SMel Gorman 			list_splice_tail(&sublist, freelist);
115970b44595SMel Gorman 	}
116070b44595SMel Gorman }
116170b44595SMel Gorman 
1162*5a811889SMel Gorman static void
1163*5a811889SMel Gorman fast_isolate_around(struct compact_control *cc, unsigned long pfn, unsigned long nr_isolated)
1164*5a811889SMel Gorman {
1165*5a811889SMel Gorman 	unsigned long start_pfn, end_pfn;
1166*5a811889SMel Gorman 	struct page *page = pfn_to_page(pfn);
1167*5a811889SMel Gorman 
1168*5a811889SMel Gorman 	/* Do not search around if there are enough pages already */
1169*5a811889SMel Gorman 	if (cc->nr_freepages >= cc->nr_migratepages)
1170*5a811889SMel Gorman 		return;
1171*5a811889SMel Gorman 
1172*5a811889SMel Gorman 	/* Minimise scanning during async compaction */
1173*5a811889SMel Gorman 	if (cc->direct_compaction && cc->mode == MIGRATE_ASYNC)
1174*5a811889SMel Gorman 		return;
1175*5a811889SMel Gorman 
1176*5a811889SMel Gorman 	/* Pageblock boundaries */
1177*5a811889SMel Gorman 	start_pfn = pageblock_start_pfn(pfn);
1178*5a811889SMel Gorman 	end_pfn = min(start_pfn + pageblock_nr_pages, zone_end_pfn(cc->zone));
1179*5a811889SMel Gorman 
1180*5a811889SMel Gorman 	/* Scan before */
1181*5a811889SMel Gorman 	if (start_pfn != pfn) {
1182*5a811889SMel Gorman 		isolate_freepages_block(cc, &start_pfn, pfn, &cc->freepages, false);
1183*5a811889SMel Gorman 		if (cc->nr_freepages >= cc->nr_migratepages)
1184*5a811889SMel Gorman 			return;
1185*5a811889SMel Gorman 	}
1186*5a811889SMel Gorman 
1187*5a811889SMel Gorman 	/* Scan after */
1188*5a811889SMel Gorman 	start_pfn = pfn + nr_isolated;
1189*5a811889SMel Gorman 	if (start_pfn != end_pfn)
1190*5a811889SMel Gorman 		isolate_freepages_block(cc, &start_pfn, end_pfn, &cc->freepages, false);
1191*5a811889SMel Gorman 
1192*5a811889SMel Gorman 	/* Skip this pageblock in the future as it's full or nearly full */
1193*5a811889SMel Gorman 	if (cc->nr_freepages < cc->nr_migratepages)
1194*5a811889SMel Gorman 		set_pageblock_skip(page);
1195*5a811889SMel Gorman }
1196*5a811889SMel Gorman 
1197*5a811889SMel Gorman static unsigned long
1198*5a811889SMel Gorman fast_isolate_freepages(struct compact_control *cc)
1199*5a811889SMel Gorman {
1200*5a811889SMel Gorman 	unsigned int limit = min(1U, freelist_scan_limit(cc) >> 1);
1201*5a811889SMel Gorman 	unsigned int nr_scanned = 0;
1202*5a811889SMel Gorman 	unsigned long low_pfn, min_pfn, high_pfn = 0, highest = 0;
1203*5a811889SMel Gorman 	unsigned long nr_isolated = 0;
1204*5a811889SMel Gorman 	unsigned long distance;
1205*5a811889SMel Gorman 	struct page *page = NULL;
1206*5a811889SMel Gorman 	bool scan_start = false;
1207*5a811889SMel Gorman 	int order;
1208*5a811889SMel Gorman 
1209*5a811889SMel Gorman 	/* Full compaction passes in a negative order */
1210*5a811889SMel Gorman 	if (cc->order <= 0)
1211*5a811889SMel Gorman 		return cc->free_pfn;
1212*5a811889SMel Gorman 
1213*5a811889SMel Gorman 	/*
1214*5a811889SMel Gorman 	 * If starting the scan, use a deeper search and use the highest
1215*5a811889SMel Gorman 	 * PFN found if a suitable one is not found.
1216*5a811889SMel Gorman 	 */
1217*5a811889SMel Gorman 	if (cc->free_pfn == pageblock_start_pfn(zone_end_pfn(cc->zone) - 1)) {
1218*5a811889SMel Gorman 		limit = pageblock_nr_pages >> 1;
1219*5a811889SMel Gorman 		scan_start = true;
1220*5a811889SMel Gorman 	}
1221*5a811889SMel Gorman 
1222*5a811889SMel Gorman 	/*
1223*5a811889SMel Gorman 	 * Preferred point is in the top quarter of the scan space but take
1224*5a811889SMel Gorman 	 * a pfn from the top half if the search is problematic.
1225*5a811889SMel Gorman 	 */
1226*5a811889SMel Gorman 	distance = (cc->free_pfn - cc->migrate_pfn);
1227*5a811889SMel Gorman 	low_pfn = pageblock_start_pfn(cc->free_pfn - (distance >> 2));
1228*5a811889SMel Gorman 	min_pfn = pageblock_start_pfn(cc->free_pfn - (distance >> 1));
1229*5a811889SMel Gorman 
1230*5a811889SMel Gorman 	if (WARN_ON_ONCE(min_pfn > low_pfn))
1231*5a811889SMel Gorman 		low_pfn = min_pfn;
1232*5a811889SMel Gorman 
1233*5a811889SMel Gorman 	for (order = cc->order - 1;
1234*5a811889SMel Gorman 	     order >= 0 && !page;
1235*5a811889SMel Gorman 	     order--) {
1236*5a811889SMel Gorman 		struct free_area *area = &cc->zone->free_area[order];
1237*5a811889SMel Gorman 		struct list_head *freelist;
1238*5a811889SMel Gorman 		struct page *freepage;
1239*5a811889SMel Gorman 		unsigned long flags;
1240*5a811889SMel Gorman 		unsigned int order_scanned = 0;
1241*5a811889SMel Gorman 
1242*5a811889SMel Gorman 		if (!area->nr_free)
1243*5a811889SMel Gorman 			continue;
1244*5a811889SMel Gorman 
1245*5a811889SMel Gorman 		spin_lock_irqsave(&cc->zone->lock, flags);
1246*5a811889SMel Gorman 		freelist = &area->free_list[MIGRATE_MOVABLE];
1247*5a811889SMel Gorman 		list_for_each_entry_reverse(freepage, freelist, lru) {
1248*5a811889SMel Gorman 			unsigned long pfn;
1249*5a811889SMel Gorman 
1250*5a811889SMel Gorman 			order_scanned++;
1251*5a811889SMel Gorman 			nr_scanned++;
1252*5a811889SMel Gorman 			pfn = page_to_pfn(freepage);
1253*5a811889SMel Gorman 
1254*5a811889SMel Gorman 			if (pfn >= highest)
1255*5a811889SMel Gorman 				highest = pageblock_start_pfn(pfn);
1256*5a811889SMel Gorman 
1257*5a811889SMel Gorman 			if (pfn >= low_pfn) {
1258*5a811889SMel Gorman 				cc->fast_search_fail = 0;
1259*5a811889SMel Gorman 				page = freepage;
1260*5a811889SMel Gorman 				break;
1261*5a811889SMel Gorman 			}
1262*5a811889SMel Gorman 
1263*5a811889SMel Gorman 			if (pfn >= min_pfn && pfn > high_pfn) {
1264*5a811889SMel Gorman 				high_pfn = pfn;
1265*5a811889SMel Gorman 
1266*5a811889SMel Gorman 				/* Shorten the scan if a candidate is found */
1267*5a811889SMel Gorman 				limit >>= 1;
1268*5a811889SMel Gorman 			}
1269*5a811889SMel Gorman 
1270*5a811889SMel Gorman 			if (order_scanned >= limit)
1271*5a811889SMel Gorman 				break;
1272*5a811889SMel Gorman 		}
1273*5a811889SMel Gorman 
1274*5a811889SMel Gorman 		/* Use a minimum pfn if a preferred one was not found */
1275*5a811889SMel Gorman 		if (!page && high_pfn) {
1276*5a811889SMel Gorman 			page = pfn_to_page(high_pfn);
1277*5a811889SMel Gorman 
1278*5a811889SMel Gorman 			/* Update freepage for the list reorder below */
1279*5a811889SMel Gorman 			freepage = page;
1280*5a811889SMel Gorman 		}
1281*5a811889SMel Gorman 
1282*5a811889SMel Gorman 		/* Reorder to so a future search skips recent pages */
1283*5a811889SMel Gorman 		move_freelist_head(freelist, freepage);
1284*5a811889SMel Gorman 
1285*5a811889SMel Gorman 		/* Isolate the page if available */
1286*5a811889SMel Gorman 		if (page) {
1287*5a811889SMel Gorman 			if (__isolate_free_page(page, order)) {
1288*5a811889SMel Gorman 				set_page_private(page, order);
1289*5a811889SMel Gorman 				nr_isolated = 1 << order;
1290*5a811889SMel Gorman 				cc->nr_freepages += nr_isolated;
1291*5a811889SMel Gorman 				list_add_tail(&page->lru, &cc->freepages);
1292*5a811889SMel Gorman 				count_compact_events(COMPACTISOLATED, nr_isolated);
1293*5a811889SMel Gorman 			} else {
1294*5a811889SMel Gorman 				/* If isolation fails, abort the search */
1295*5a811889SMel Gorman 				order = -1;
1296*5a811889SMel Gorman 				page = NULL;
1297*5a811889SMel Gorman 			}
1298*5a811889SMel Gorman 		}
1299*5a811889SMel Gorman 
1300*5a811889SMel Gorman 		spin_unlock_irqrestore(&cc->zone->lock, flags);
1301*5a811889SMel Gorman 
1302*5a811889SMel Gorman 		/*
1303*5a811889SMel Gorman 		 * Smaller scan on next order so the total scan ig related
1304*5a811889SMel Gorman 		 * to freelist_scan_limit.
1305*5a811889SMel Gorman 		 */
1306*5a811889SMel Gorman 		if (order_scanned >= limit)
1307*5a811889SMel Gorman 			limit = min(1U, limit >> 1);
1308*5a811889SMel Gorman 	}
1309*5a811889SMel Gorman 
1310*5a811889SMel Gorman 	if (!page) {
1311*5a811889SMel Gorman 		cc->fast_search_fail++;
1312*5a811889SMel Gorman 		if (scan_start) {
1313*5a811889SMel Gorman 			/*
1314*5a811889SMel Gorman 			 * Use the highest PFN found above min. If one was
1315*5a811889SMel Gorman 			 * not found, be pessemistic for direct compaction
1316*5a811889SMel Gorman 			 * and use the min mark.
1317*5a811889SMel Gorman 			 */
1318*5a811889SMel Gorman 			if (highest) {
1319*5a811889SMel Gorman 				page = pfn_to_page(highest);
1320*5a811889SMel Gorman 				cc->free_pfn = highest;
1321*5a811889SMel Gorman 			} else {
1322*5a811889SMel Gorman 				if (cc->direct_compaction) {
1323*5a811889SMel Gorman 					page = pfn_to_page(min_pfn);
1324*5a811889SMel Gorman 					cc->free_pfn = min_pfn;
1325*5a811889SMel Gorman 				}
1326*5a811889SMel Gorman 			}
1327*5a811889SMel Gorman 		}
1328*5a811889SMel Gorman 	}
1329*5a811889SMel Gorman 
1330*5a811889SMel Gorman 	if (highest && highest > cc->zone->compact_cached_free_pfn)
1331*5a811889SMel Gorman 		cc->zone->compact_cached_free_pfn = highest;
1332*5a811889SMel Gorman 
1333*5a811889SMel Gorman 	cc->total_free_scanned += nr_scanned;
1334*5a811889SMel Gorman 	if (!page)
1335*5a811889SMel Gorman 		return cc->free_pfn;
1336*5a811889SMel Gorman 
1337*5a811889SMel Gorman 	low_pfn = page_to_pfn(page);
1338*5a811889SMel Gorman 	fast_isolate_around(cc, low_pfn, nr_isolated);
1339*5a811889SMel Gorman 	return low_pfn;
1340*5a811889SMel Gorman }
1341*5a811889SMel Gorman 
1342f2849aa0SVlastimil Babka /*
1343ff9543fdSMichal Nazarewicz  * Based on information in the current compact_control, find blocks
1344ff9543fdSMichal Nazarewicz  * suitable for isolating free pages from and then isolate them.
1345ff9543fdSMichal Nazarewicz  */
1346edc2ca61SVlastimil Babka static void isolate_freepages(struct compact_control *cc)
1347ff9543fdSMichal Nazarewicz {
1348edc2ca61SVlastimil Babka 	struct zone *zone = cc->zone;
1349ff9543fdSMichal Nazarewicz 	struct page *page;
1350c96b9e50SVlastimil Babka 	unsigned long block_start_pfn;	/* start of current pageblock */
1351e14c720eSVlastimil Babka 	unsigned long isolate_start_pfn; /* exact pfn we start at */
1352c96b9e50SVlastimil Babka 	unsigned long block_end_pfn;	/* end of current pageblock */
1353c96b9e50SVlastimil Babka 	unsigned long low_pfn;	     /* lowest pfn scanner is able to scan */
1354ff9543fdSMichal Nazarewicz 	struct list_head *freelist = &cc->freepages;
13552fe86e00SMichal Nazarewicz 
1356*5a811889SMel Gorman 	/* Try a small search of the free lists for a candidate */
1357*5a811889SMel Gorman 	isolate_start_pfn = fast_isolate_freepages(cc);
1358*5a811889SMel Gorman 	if (cc->nr_freepages)
1359*5a811889SMel Gorman 		goto splitmap;
1360*5a811889SMel Gorman 
1361ff9543fdSMichal Nazarewicz 	/*
1362ff9543fdSMichal Nazarewicz 	 * Initialise the free scanner. The starting point is where we last
136349e068f0SVlastimil Babka 	 * successfully isolated from, zone-cached value, or the end of the
1364e14c720eSVlastimil Babka 	 * zone when isolating for the first time. For looping we also need
1365e14c720eSVlastimil Babka 	 * this pfn aligned down to the pageblock boundary, because we do
1366c96b9e50SVlastimil Babka 	 * block_start_pfn -= pageblock_nr_pages in the for loop.
1367c96b9e50SVlastimil Babka 	 * For ending point, take care when isolating in last pageblock of a
1368c96b9e50SVlastimil Babka 	 * a zone which ends in the middle of a pageblock.
136949e068f0SVlastimil Babka 	 * The low boundary is the end of the pageblock the migration scanner
137049e068f0SVlastimil Babka 	 * is using.
1371ff9543fdSMichal Nazarewicz 	 */
1372e14c720eSVlastimil Babka 	isolate_start_pfn = cc->free_pfn;
1373*5a811889SMel Gorman 	block_start_pfn = pageblock_start_pfn(isolate_start_pfn);
1374c96b9e50SVlastimil Babka 	block_end_pfn = min(block_start_pfn + pageblock_nr_pages,
1375c96b9e50SVlastimil Babka 						zone_end_pfn(zone));
137606b6640aSVlastimil Babka 	low_pfn = pageblock_end_pfn(cc->migrate_pfn);
13772fe86e00SMichal Nazarewicz 
1378ff9543fdSMichal Nazarewicz 	/*
1379ff9543fdSMichal Nazarewicz 	 * Isolate free pages until enough are available to migrate the
1380ff9543fdSMichal Nazarewicz 	 * pages on cc->migratepages. We stop searching if the migrate
1381ff9543fdSMichal Nazarewicz 	 * and free page scanners meet or enough free pages are isolated.
1382ff9543fdSMichal Nazarewicz 	 */
1383f5f61a32SVlastimil Babka 	for (; block_start_pfn >= low_pfn;
1384c96b9e50SVlastimil Babka 				block_end_pfn = block_start_pfn,
1385e14c720eSVlastimil Babka 				block_start_pfn -= pageblock_nr_pages,
1386e14c720eSVlastimil Babka 				isolate_start_pfn = block_start_pfn) {
1387f6ea3adbSDavid Rientjes 		/*
1388f6ea3adbSDavid Rientjes 		 * This can iterate a massively long zone without finding any
1389f6ea3adbSDavid Rientjes 		 * suitable migration targets, so periodically check if we need
1390be976572SVlastimil Babka 		 * to schedule, or even abort async compaction.
1391f6ea3adbSDavid Rientjes 		 */
1392be976572SVlastimil Babka 		if (!(block_start_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages))
1393be976572SVlastimil Babka 						&& compact_should_abort(cc))
1394be976572SVlastimil Babka 			break;
1395f6ea3adbSDavid Rientjes 
13967d49d886SVlastimil Babka 		page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn,
13977d49d886SVlastimil Babka 									zone);
13987d49d886SVlastimil Babka 		if (!page)
1399ff9543fdSMichal Nazarewicz 			continue;
1400ff9543fdSMichal Nazarewicz 
1401ff9543fdSMichal Nazarewicz 		/* Check the block is suitable for migration */
14029f7e3387SVlastimil Babka 		if (!suitable_migration_target(cc, page))
1403ff9543fdSMichal Nazarewicz 			continue;
140468e3e926SLinus Torvalds 
1405bb13ffebSMel Gorman 		/* If isolation recently failed, do not retry */
1406bb13ffebSMel Gorman 		if (!isolation_suitable(cc, page))
1407bb13ffebSMel Gorman 			continue;
1408bb13ffebSMel Gorman 
1409e14c720eSVlastimil Babka 		/* Found a block suitable for isolating free pages from. */
1410a46cbf3bSDavid Rientjes 		isolate_freepages_block(cc, &isolate_start_pfn, block_end_pfn,
1411a46cbf3bSDavid Rientjes 					freelist, false);
1412ff9543fdSMichal Nazarewicz 
1413ff9543fdSMichal Nazarewicz 		/*
1414a46cbf3bSDavid Rientjes 		 * If we isolated enough freepages, or aborted due to lock
1415a46cbf3bSDavid Rientjes 		 * contention, terminate.
1416e14c720eSVlastimil Babka 		 */
1417f5f61a32SVlastimil Babka 		if ((cc->nr_freepages >= cc->nr_migratepages)
1418f5f61a32SVlastimil Babka 							|| cc->contended) {
1419a46cbf3bSDavid Rientjes 			if (isolate_start_pfn >= block_end_pfn) {
1420a46cbf3bSDavid Rientjes 				/*
1421a46cbf3bSDavid Rientjes 				 * Restart at previous pageblock if more
1422a46cbf3bSDavid Rientjes 				 * freepages can be isolated next time.
1423a46cbf3bSDavid Rientjes 				 */
1424f5f61a32SVlastimil Babka 				isolate_start_pfn =
1425e14c720eSVlastimil Babka 					block_start_pfn - pageblock_nr_pages;
1426a46cbf3bSDavid Rientjes 			}
1427be976572SVlastimil Babka 			break;
1428a46cbf3bSDavid Rientjes 		} else if (isolate_start_pfn < block_end_pfn) {
1429f5f61a32SVlastimil Babka 			/*
1430a46cbf3bSDavid Rientjes 			 * If isolation failed early, do not continue
1431a46cbf3bSDavid Rientjes 			 * needlessly.
1432f5f61a32SVlastimil Babka 			 */
1433a46cbf3bSDavid Rientjes 			break;
1434f5f61a32SVlastimil Babka 		}
1435c89511abSMel Gorman 	}
1436ff9543fdSMichal Nazarewicz 
14377ed695e0SVlastimil Babka 	/*
1438f5f61a32SVlastimil Babka 	 * Record where the free scanner will restart next time. Either we
1439f5f61a32SVlastimil Babka 	 * broke from the loop and set isolate_start_pfn based on the last
1440f5f61a32SVlastimil Babka 	 * call to isolate_freepages_block(), or we met the migration scanner
1441f5f61a32SVlastimil Babka 	 * and the loop terminated due to isolate_start_pfn < low_pfn
14427ed695e0SVlastimil Babka 	 */
1443f5f61a32SVlastimil Babka 	cc->free_pfn = isolate_start_pfn;
1444*5a811889SMel Gorman 
1445*5a811889SMel Gorman splitmap:
1446*5a811889SMel Gorman 	/* __isolate_free_page() does not map the pages */
1447*5a811889SMel Gorman 	split_map_pages(freelist);
1448748446bbSMel Gorman }
1449748446bbSMel Gorman 
1450748446bbSMel Gorman /*
1451748446bbSMel Gorman  * This is a migrate-callback that "allocates" freepages by taking pages
1452748446bbSMel Gorman  * from the isolated freelists in the block we are migrating to.
1453748446bbSMel Gorman  */
1454748446bbSMel Gorman static struct page *compaction_alloc(struct page *migratepage,
1455666feb21SMichal Hocko 					unsigned long data)
1456748446bbSMel Gorman {
1457748446bbSMel Gorman 	struct compact_control *cc = (struct compact_control *)data;
1458748446bbSMel Gorman 	struct page *freepage;
1459748446bbSMel Gorman 
1460be976572SVlastimil Babka 	/*
1461be976572SVlastimil Babka 	 * Isolate free pages if necessary, and if we are not aborting due to
1462be976572SVlastimil Babka 	 * contention.
1463be976572SVlastimil Babka 	 */
1464748446bbSMel Gorman 	if (list_empty(&cc->freepages)) {
1465be976572SVlastimil Babka 		if (!cc->contended)
1466edc2ca61SVlastimil Babka 			isolate_freepages(cc);
1467748446bbSMel Gorman 
1468748446bbSMel Gorman 		if (list_empty(&cc->freepages))
1469748446bbSMel Gorman 			return NULL;
1470748446bbSMel Gorman 	}
1471748446bbSMel Gorman 
1472748446bbSMel Gorman 	freepage = list_entry(cc->freepages.next, struct page, lru);
1473748446bbSMel Gorman 	list_del(&freepage->lru);
1474748446bbSMel Gorman 	cc->nr_freepages--;
1475748446bbSMel Gorman 
1476748446bbSMel Gorman 	return freepage;
1477748446bbSMel Gorman }
1478748446bbSMel Gorman 
1479748446bbSMel Gorman /*
1480d53aea3dSDavid Rientjes  * This is a migrate-callback that "frees" freepages back to the isolated
1481d53aea3dSDavid Rientjes  * freelist.  All pages on the freelist are from the same zone, so there is no
1482d53aea3dSDavid Rientjes  * special handling needed for NUMA.
1483d53aea3dSDavid Rientjes  */
1484d53aea3dSDavid Rientjes static void compaction_free(struct page *page, unsigned long data)
1485d53aea3dSDavid Rientjes {
1486d53aea3dSDavid Rientjes 	struct compact_control *cc = (struct compact_control *)data;
1487d53aea3dSDavid Rientjes 
1488d53aea3dSDavid Rientjes 	list_add(&page->lru, &cc->freepages);
1489d53aea3dSDavid Rientjes 	cc->nr_freepages++;
1490d53aea3dSDavid Rientjes }
1491d53aea3dSDavid Rientjes 
1492ff9543fdSMichal Nazarewicz /* possible outcome of isolate_migratepages */
1493ff9543fdSMichal Nazarewicz typedef enum {
1494ff9543fdSMichal Nazarewicz 	ISOLATE_ABORT,		/* Abort compaction now */
1495ff9543fdSMichal Nazarewicz 	ISOLATE_NONE,		/* No pages isolated, continue scanning */
1496ff9543fdSMichal Nazarewicz 	ISOLATE_SUCCESS,	/* Pages isolated, migrate */
1497ff9543fdSMichal Nazarewicz } isolate_migrate_t;
1498ff9543fdSMichal Nazarewicz 
1499ff9543fdSMichal Nazarewicz /*
15005bbe3547SEric B Munson  * Allow userspace to control policy on scanning the unevictable LRU for
15015bbe3547SEric B Munson  * compactable pages.
15025bbe3547SEric B Munson  */
15035bbe3547SEric B Munson int sysctl_compact_unevictable_allowed __read_mostly = 1;
15045bbe3547SEric B Munson 
150570b44595SMel Gorman static inline void
150670b44595SMel Gorman update_fast_start_pfn(struct compact_control *cc, unsigned long pfn)
150770b44595SMel Gorman {
150870b44595SMel Gorman 	if (cc->fast_start_pfn == ULONG_MAX)
150970b44595SMel Gorman 		return;
151070b44595SMel Gorman 
151170b44595SMel Gorman 	if (!cc->fast_start_pfn)
151270b44595SMel Gorman 		cc->fast_start_pfn = pfn;
151370b44595SMel Gorman 
151470b44595SMel Gorman 	cc->fast_start_pfn = min(cc->fast_start_pfn, pfn);
151570b44595SMel Gorman }
151670b44595SMel Gorman 
151770b44595SMel Gorman static inline unsigned long
151870b44595SMel Gorman reinit_migrate_pfn(struct compact_control *cc)
151970b44595SMel Gorman {
152070b44595SMel Gorman 	if (!cc->fast_start_pfn || cc->fast_start_pfn == ULONG_MAX)
152170b44595SMel Gorman 		return cc->migrate_pfn;
152270b44595SMel Gorman 
152370b44595SMel Gorman 	cc->migrate_pfn = cc->fast_start_pfn;
152470b44595SMel Gorman 	cc->fast_start_pfn = ULONG_MAX;
152570b44595SMel Gorman 
152670b44595SMel Gorman 	return cc->migrate_pfn;
152770b44595SMel Gorman }
152870b44595SMel Gorman 
152970b44595SMel Gorman /*
153070b44595SMel Gorman  * Briefly search the free lists for a migration source that already has
153170b44595SMel Gorman  * some free pages to reduce the number of pages that need migration
153270b44595SMel Gorman  * before a pageblock is free.
153370b44595SMel Gorman  */
153470b44595SMel Gorman static unsigned long fast_find_migrateblock(struct compact_control *cc)
153570b44595SMel Gorman {
153670b44595SMel Gorman 	unsigned int limit = freelist_scan_limit(cc);
153770b44595SMel Gorman 	unsigned int nr_scanned = 0;
153870b44595SMel Gorman 	unsigned long distance;
153970b44595SMel Gorman 	unsigned long pfn = cc->migrate_pfn;
154070b44595SMel Gorman 	unsigned long high_pfn;
154170b44595SMel Gorman 	int order;
154270b44595SMel Gorman 
154370b44595SMel Gorman 	/* Skip hints are relied on to avoid repeats on the fast search */
154470b44595SMel Gorman 	if (cc->ignore_skip_hint)
154570b44595SMel Gorman 		return pfn;
154670b44595SMel Gorman 
154770b44595SMel Gorman 	/*
154870b44595SMel Gorman 	 * If the migrate_pfn is not at the start of a zone or the start
154970b44595SMel Gorman 	 * of a pageblock then assume this is a continuation of a previous
155070b44595SMel Gorman 	 * scan restarted due to COMPACT_CLUSTER_MAX.
155170b44595SMel Gorman 	 */
155270b44595SMel Gorman 	if (pfn != cc->zone->zone_start_pfn && pfn != pageblock_start_pfn(pfn))
155370b44595SMel Gorman 		return pfn;
155470b44595SMel Gorman 
155570b44595SMel Gorman 	/*
155670b44595SMel Gorman 	 * For smaller orders, just linearly scan as the number of pages
155770b44595SMel Gorman 	 * to migrate should be relatively small and does not necessarily
155870b44595SMel Gorman 	 * justify freeing up a large block for a small allocation.
155970b44595SMel Gorman 	 */
156070b44595SMel Gorman 	if (cc->order <= PAGE_ALLOC_COSTLY_ORDER)
156170b44595SMel Gorman 		return pfn;
156270b44595SMel Gorman 
156370b44595SMel Gorman 	/*
156470b44595SMel Gorman 	 * Only allow kcompactd and direct requests for movable pages to
156570b44595SMel Gorman 	 * quickly clear out a MOVABLE pageblock for allocation. This
156670b44595SMel Gorman 	 * reduces the risk that a large movable pageblock is freed for
156770b44595SMel Gorman 	 * an unmovable/reclaimable small allocation.
156870b44595SMel Gorman 	 */
156970b44595SMel Gorman 	if (cc->direct_compaction && cc->migratetype != MIGRATE_MOVABLE)
157070b44595SMel Gorman 		return pfn;
157170b44595SMel Gorman 
157270b44595SMel Gorman 	/*
157370b44595SMel Gorman 	 * When starting the migration scanner, pick any pageblock within the
157470b44595SMel Gorman 	 * first half of the search space. Otherwise try and pick a pageblock
157570b44595SMel Gorman 	 * within the first eighth to reduce the chances that a migration
157670b44595SMel Gorman 	 * target later becomes a source.
157770b44595SMel Gorman 	 */
157870b44595SMel Gorman 	distance = (cc->free_pfn - cc->migrate_pfn) >> 1;
157970b44595SMel Gorman 	if (cc->migrate_pfn != cc->zone->zone_start_pfn)
158070b44595SMel Gorman 		distance >>= 2;
158170b44595SMel Gorman 	high_pfn = pageblock_start_pfn(cc->migrate_pfn + distance);
158270b44595SMel Gorman 
158370b44595SMel Gorman 	for (order = cc->order - 1;
158470b44595SMel Gorman 	     order >= PAGE_ALLOC_COSTLY_ORDER && pfn == cc->migrate_pfn && nr_scanned < limit;
158570b44595SMel Gorman 	     order--) {
158670b44595SMel Gorman 		struct free_area *area = &cc->zone->free_area[order];
158770b44595SMel Gorman 		struct list_head *freelist;
158870b44595SMel Gorman 		unsigned long flags;
158970b44595SMel Gorman 		struct page *freepage;
159070b44595SMel Gorman 
159170b44595SMel Gorman 		if (!area->nr_free)
159270b44595SMel Gorman 			continue;
159370b44595SMel Gorman 
159470b44595SMel Gorman 		spin_lock_irqsave(&cc->zone->lock, flags);
159570b44595SMel Gorman 		freelist = &area->free_list[MIGRATE_MOVABLE];
159670b44595SMel Gorman 		list_for_each_entry(freepage, freelist, lru) {
159770b44595SMel Gorman 			unsigned long free_pfn;
159870b44595SMel Gorman 
159970b44595SMel Gorman 			nr_scanned++;
160070b44595SMel Gorman 			free_pfn = page_to_pfn(freepage);
160170b44595SMel Gorman 			if (free_pfn < high_pfn) {
160270b44595SMel Gorman 				/*
160370b44595SMel Gorman 				 * Avoid if skipped recently. Ideally it would
160470b44595SMel Gorman 				 * move to the tail but even safe iteration of
160570b44595SMel Gorman 				 * the list assumes an entry is deleted, not
160670b44595SMel Gorman 				 * reordered.
160770b44595SMel Gorman 				 */
160870b44595SMel Gorman 				if (get_pageblock_skip(freepage)) {
160970b44595SMel Gorman 					if (list_is_last(freelist, &freepage->lru))
161070b44595SMel Gorman 						break;
161170b44595SMel Gorman 
161270b44595SMel Gorman 					continue;
161370b44595SMel Gorman 				}
161470b44595SMel Gorman 
161570b44595SMel Gorman 				/* Reorder to so a future search skips recent pages */
161670b44595SMel Gorman 				move_freelist_tail(freelist, freepage);
161770b44595SMel Gorman 
1618e380bebeSMel Gorman 				update_fast_start_pfn(cc, free_pfn);
161970b44595SMel Gorman 				pfn = pageblock_start_pfn(free_pfn);
162070b44595SMel Gorman 				cc->fast_search_fail = 0;
162170b44595SMel Gorman 				set_pageblock_skip(freepage);
162270b44595SMel Gorman 				break;
162370b44595SMel Gorman 			}
162470b44595SMel Gorman 
162570b44595SMel Gorman 			if (nr_scanned >= limit) {
162670b44595SMel Gorman 				cc->fast_search_fail++;
162770b44595SMel Gorman 				move_freelist_tail(freelist, freepage);
162870b44595SMel Gorman 				break;
162970b44595SMel Gorman 			}
163070b44595SMel Gorman 		}
163170b44595SMel Gorman 		spin_unlock_irqrestore(&cc->zone->lock, flags);
163270b44595SMel Gorman 	}
163370b44595SMel Gorman 
163470b44595SMel Gorman 	cc->total_migrate_scanned += nr_scanned;
163570b44595SMel Gorman 
163670b44595SMel Gorman 	/*
163770b44595SMel Gorman 	 * If fast scanning failed then use a cached entry for a page block
163870b44595SMel Gorman 	 * that had free pages as the basis for starting a linear scan.
163970b44595SMel Gorman 	 */
164070b44595SMel Gorman 	if (pfn == cc->migrate_pfn)
164170b44595SMel Gorman 		pfn = reinit_migrate_pfn(cc);
164270b44595SMel Gorman 
164370b44595SMel Gorman 	return pfn;
164470b44595SMel Gorman }
164570b44595SMel Gorman 
16465bbe3547SEric B Munson /*
1647edc2ca61SVlastimil Babka  * Isolate all pages that can be migrated from the first suitable block,
1648edc2ca61SVlastimil Babka  * starting at the block pointed to by the migrate scanner pfn within
1649edc2ca61SVlastimil Babka  * compact_control.
1650ff9543fdSMichal Nazarewicz  */
1651ff9543fdSMichal Nazarewicz static isolate_migrate_t isolate_migratepages(struct zone *zone,
1652ff9543fdSMichal Nazarewicz 					struct compact_control *cc)
1653ff9543fdSMichal Nazarewicz {
1654e1409c32SJoonsoo Kim 	unsigned long block_start_pfn;
1655e1409c32SJoonsoo Kim 	unsigned long block_end_pfn;
1656e1409c32SJoonsoo Kim 	unsigned long low_pfn;
1657edc2ca61SVlastimil Babka 	struct page *page;
1658edc2ca61SVlastimil Babka 	const isolate_mode_t isolate_mode =
16595bbe3547SEric B Munson 		(sysctl_compact_unevictable_allowed ? ISOLATE_UNEVICTABLE : 0) |
16601d2047feSHugh Dickins 		(cc->mode != MIGRATE_SYNC ? ISOLATE_ASYNC_MIGRATE : 0);
166170b44595SMel Gorman 	bool fast_find_block;
1662ff9543fdSMichal Nazarewicz 
1663edc2ca61SVlastimil Babka 	/*
1664edc2ca61SVlastimil Babka 	 * Start at where we last stopped, or beginning of the zone as
166570b44595SMel Gorman 	 * initialized by compact_zone(). The first failure will use
166670b44595SMel Gorman 	 * the lowest PFN as the starting point for linear scanning.
1667edc2ca61SVlastimil Babka 	 */
166870b44595SMel Gorman 	low_pfn = fast_find_migrateblock(cc);
166906b6640aSVlastimil Babka 	block_start_pfn = pageblock_start_pfn(low_pfn);
1670e1409c32SJoonsoo Kim 	if (block_start_pfn < zone->zone_start_pfn)
1671e1409c32SJoonsoo Kim 		block_start_pfn = zone->zone_start_pfn;
1672ff9543fdSMichal Nazarewicz 
167370b44595SMel Gorman 	/*
167470b44595SMel Gorman 	 * fast_find_migrateblock marks a pageblock skipped so to avoid
167570b44595SMel Gorman 	 * the isolation_suitable check below, check whether the fast
167670b44595SMel Gorman 	 * search was successful.
167770b44595SMel Gorman 	 */
167870b44595SMel Gorman 	fast_find_block = low_pfn != cc->migrate_pfn && !cc->fast_search_fail;
167970b44595SMel Gorman 
1680ff9543fdSMichal Nazarewicz 	/* Only scan within a pageblock boundary */
168106b6640aSVlastimil Babka 	block_end_pfn = pageblock_end_pfn(low_pfn);
1682ff9543fdSMichal Nazarewicz 
1683edc2ca61SVlastimil Babka 	/*
1684edc2ca61SVlastimil Babka 	 * Iterate over whole pageblocks until we find the first suitable.
1685edc2ca61SVlastimil Babka 	 * Do not cross the free scanner.
1686edc2ca61SVlastimil Babka 	 */
1687e1409c32SJoonsoo Kim 	for (; block_end_pfn <= cc->free_pfn;
168870b44595SMel Gorman 			fast_find_block = false,
1689e1409c32SJoonsoo Kim 			low_pfn = block_end_pfn,
1690e1409c32SJoonsoo Kim 			block_start_pfn = block_end_pfn,
1691e1409c32SJoonsoo Kim 			block_end_pfn += pageblock_nr_pages) {
1692edc2ca61SVlastimil Babka 
1693edc2ca61SVlastimil Babka 		/*
1694edc2ca61SVlastimil Babka 		 * This can potentially iterate a massively long zone with
1695edc2ca61SVlastimil Babka 		 * many pageblocks unsuitable, so periodically check if we
1696edc2ca61SVlastimil Babka 		 * need to schedule, or even abort async compaction.
1697edc2ca61SVlastimil Babka 		 */
1698edc2ca61SVlastimil Babka 		if (!(low_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages))
1699edc2ca61SVlastimil Babka 						&& compact_should_abort(cc))
1700edc2ca61SVlastimil Babka 			break;
1701edc2ca61SVlastimil Babka 
1702e1409c32SJoonsoo Kim 		page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn,
1703e1409c32SJoonsoo Kim 									zone);
17047d49d886SVlastimil Babka 		if (!page)
1705edc2ca61SVlastimil Babka 			continue;
1706edc2ca61SVlastimil Babka 
1707e380bebeSMel Gorman 		/*
1708e380bebeSMel Gorman 		 * If isolation recently failed, do not retry. Only check the
1709e380bebeSMel Gorman 		 * pageblock once. COMPACT_CLUSTER_MAX causes a pageblock
1710e380bebeSMel Gorman 		 * to be visited multiple times. Assume skip was checked
1711e380bebeSMel Gorman 		 * before making it "skip" so other compaction instances do
1712e380bebeSMel Gorman 		 * not scan the same block.
1713e380bebeSMel Gorman 		 */
1714e380bebeSMel Gorman 		if (IS_ALIGNED(low_pfn, pageblock_nr_pages) &&
1715e380bebeSMel Gorman 		    !fast_find_block && !isolation_suitable(cc, page))
1716edc2ca61SVlastimil Babka 			continue;
1717edc2ca61SVlastimil Babka 
1718edc2ca61SVlastimil Babka 		/*
1719edc2ca61SVlastimil Babka 		 * For async compaction, also only scan in MOVABLE blocks.
1720edc2ca61SVlastimil Babka 		 * Async compaction is optimistic to see if the minimum amount
1721edc2ca61SVlastimil Babka 		 * of work satisfies the allocation.
1722edc2ca61SVlastimil Babka 		 */
1723b682debdSVlastimil Babka 		if (!suitable_migration_source(cc, page))
1724edc2ca61SVlastimil Babka 			continue;
1725ff9543fdSMichal Nazarewicz 
1726ff9543fdSMichal Nazarewicz 		/* Perform the isolation */
1727e1409c32SJoonsoo Kim 		low_pfn = isolate_migratepages_block(cc, low_pfn,
1728e1409c32SJoonsoo Kim 						block_end_pfn, isolate_mode);
1729edc2ca61SVlastimil Babka 
17306afcf8efSMing Ling 		if (!low_pfn || cc->contended)
1731ff9543fdSMichal Nazarewicz 			return ISOLATE_ABORT;
1732ff9543fdSMichal Nazarewicz 
1733edc2ca61SVlastimil Babka 		/*
1734edc2ca61SVlastimil Babka 		 * Either we isolated something and proceed with migration. Or
1735edc2ca61SVlastimil Babka 		 * we failed and compact_zone should decide if we should
1736edc2ca61SVlastimil Babka 		 * continue or not.
1737edc2ca61SVlastimil Babka 		 */
1738edc2ca61SVlastimil Babka 		break;
1739edc2ca61SVlastimil Babka 	}
1740edc2ca61SVlastimil Babka 
1741f2849aa0SVlastimil Babka 	/* Record where migration scanner will be restarted. */
1742f2849aa0SVlastimil Babka 	cc->migrate_pfn = low_pfn;
1743ff9543fdSMichal Nazarewicz 
1744edc2ca61SVlastimil Babka 	return cc->nr_migratepages ? ISOLATE_SUCCESS : ISOLATE_NONE;
1745ff9543fdSMichal Nazarewicz }
1746ff9543fdSMichal Nazarewicz 
174721c527a3SYaowei Bai /*
174821c527a3SYaowei Bai  * order == -1 is expected when compacting via
174921c527a3SYaowei Bai  * /proc/sys/vm/compact_memory
175021c527a3SYaowei Bai  */
175121c527a3SYaowei Bai static inline bool is_via_compact_memory(int order)
175221c527a3SYaowei Bai {
175321c527a3SYaowei Bai 	return order == -1;
175421c527a3SYaowei Bai }
175521c527a3SYaowei Bai 
175640cacbcbSMel Gorman static enum compact_result __compact_finished(struct compact_control *cc)
1757748446bbSMel Gorman {
17588fb74b9fSMel Gorman 	unsigned int order;
1759d39773a0SVlastimil Babka 	const int migratetype = cc->migratetype;
176056de7263SMel Gorman 
1761be976572SVlastimil Babka 	if (cc->contended || fatal_signal_pending(current))
17622d1e1041SVlastimil Babka 		return COMPACT_CONTENDED;
1763748446bbSMel Gorman 
1764753341a4SMel Gorman 	/* Compaction run completes if the migrate and free scanner meet */
1765f2849aa0SVlastimil Babka 	if (compact_scanners_met(cc)) {
176655b7c4c9SVlastimil Babka 		/* Let the next compaction start anew. */
176740cacbcbSMel Gorman 		reset_cached_positions(cc->zone);
176855b7c4c9SVlastimil Babka 
176962997027SMel Gorman 		/*
177062997027SMel Gorman 		 * Mark that the PG_migrate_skip information should be cleared
1771accf6242SVlastimil Babka 		 * by kswapd when it goes to sleep. kcompactd does not set the
177262997027SMel Gorman 		 * flag itself as the decision to be clear should be directly
177362997027SMel Gorman 		 * based on an allocation request.
177462997027SMel Gorman 		 */
1775accf6242SVlastimil Babka 		if (cc->direct_compaction)
177640cacbcbSMel Gorman 			cc->zone->compact_blockskip_flush = true;
177762997027SMel Gorman 
1778c8f7de0bSMichal Hocko 		if (cc->whole_zone)
1779748446bbSMel Gorman 			return COMPACT_COMPLETE;
1780c8f7de0bSMichal Hocko 		else
1781c8f7de0bSMichal Hocko 			return COMPACT_PARTIAL_SKIPPED;
1782bb13ffebSMel Gorman 	}
1783748446bbSMel Gorman 
178421c527a3SYaowei Bai 	if (is_via_compact_memory(cc->order))
178556de7263SMel Gorman 		return COMPACT_CONTINUE;
178656de7263SMel Gorman 
1787baf6a9a1SVlastimil Babka 	/*
1788efe771c7SMel Gorman 	 * Always finish scanning a pageblock to reduce the possibility of
1789efe771c7SMel Gorman 	 * fallbacks in the future. This is particularly important when
1790efe771c7SMel Gorman 	 * migration source is unmovable/reclaimable but it's not worth
1791efe771c7SMel Gorman 	 * special casing.
1792baf6a9a1SVlastimil Babka 	 */
1793efe771c7SMel Gorman 	if (!IS_ALIGNED(cc->migrate_pfn, pageblock_nr_pages))
1794baf6a9a1SVlastimil Babka 		return COMPACT_CONTINUE;
1795baf6a9a1SVlastimil Babka 
179656de7263SMel Gorman 	/* Direct compactor: Is a suitable page free? */
179756de7263SMel Gorman 	for (order = cc->order; order < MAX_ORDER; order++) {
179840cacbcbSMel Gorman 		struct free_area *area = &cc->zone->free_area[order];
17992149cdaeSJoonsoo Kim 		bool can_steal;
18008fb74b9fSMel Gorman 
180156de7263SMel Gorman 		/* Job done if page is free of the right migratetype */
18026d7ce559SDavid Rientjes 		if (!list_empty(&area->free_list[migratetype]))
1803cf378319SVlastimil Babka 			return COMPACT_SUCCESS;
180456de7263SMel Gorman 
18052149cdaeSJoonsoo Kim #ifdef CONFIG_CMA
18062149cdaeSJoonsoo Kim 		/* MIGRATE_MOVABLE can fallback on MIGRATE_CMA */
18072149cdaeSJoonsoo Kim 		if (migratetype == MIGRATE_MOVABLE &&
18082149cdaeSJoonsoo Kim 			!list_empty(&area->free_list[MIGRATE_CMA]))
1809cf378319SVlastimil Babka 			return COMPACT_SUCCESS;
18102149cdaeSJoonsoo Kim #endif
18112149cdaeSJoonsoo Kim 		/*
18122149cdaeSJoonsoo Kim 		 * Job done if allocation would steal freepages from
18132149cdaeSJoonsoo Kim 		 * other migratetype buddy lists.
18142149cdaeSJoonsoo Kim 		 */
18152149cdaeSJoonsoo Kim 		if (find_suitable_fallback(area, order, migratetype,
1816baf6a9a1SVlastimil Babka 						true, &can_steal) != -1) {
1817baf6a9a1SVlastimil Babka 
1818baf6a9a1SVlastimil Babka 			/* movable pages are OK in any pageblock */
1819baf6a9a1SVlastimil Babka 			if (migratetype == MIGRATE_MOVABLE)
1820cf378319SVlastimil Babka 				return COMPACT_SUCCESS;
1821baf6a9a1SVlastimil Babka 
1822baf6a9a1SVlastimil Babka 			/*
1823baf6a9a1SVlastimil Babka 			 * We are stealing for a non-movable allocation. Make
1824baf6a9a1SVlastimil Babka 			 * sure we finish compacting the current pageblock
1825baf6a9a1SVlastimil Babka 			 * first so it is as free as possible and we won't
1826baf6a9a1SVlastimil Babka 			 * have to steal another one soon. This only applies
1827baf6a9a1SVlastimil Babka 			 * to sync compaction, as async compaction operates
1828baf6a9a1SVlastimil Babka 			 * on pageblocks of the same migratetype.
1829baf6a9a1SVlastimil Babka 			 */
1830baf6a9a1SVlastimil Babka 			if (cc->mode == MIGRATE_ASYNC ||
1831baf6a9a1SVlastimil Babka 					IS_ALIGNED(cc->migrate_pfn,
1832baf6a9a1SVlastimil Babka 							pageblock_nr_pages)) {
1833baf6a9a1SVlastimil Babka 				return COMPACT_SUCCESS;
1834baf6a9a1SVlastimil Babka 			}
1835baf6a9a1SVlastimil Babka 
1836baf6a9a1SVlastimil Babka 			return COMPACT_CONTINUE;
1837baf6a9a1SVlastimil Babka 		}
183856de7263SMel Gorman 	}
183956de7263SMel Gorman 
1840837d026dSJoonsoo Kim 	return COMPACT_NO_SUITABLE_PAGE;
1841837d026dSJoonsoo Kim }
1842837d026dSJoonsoo Kim 
184340cacbcbSMel Gorman static enum compact_result compact_finished(struct compact_control *cc)
1844837d026dSJoonsoo Kim {
1845837d026dSJoonsoo Kim 	int ret;
1846837d026dSJoonsoo Kim 
184740cacbcbSMel Gorman 	ret = __compact_finished(cc);
184840cacbcbSMel Gorman 	trace_mm_compaction_finished(cc->zone, cc->order, ret);
1849837d026dSJoonsoo Kim 	if (ret == COMPACT_NO_SUITABLE_PAGE)
1850837d026dSJoonsoo Kim 		ret = COMPACT_CONTINUE;
1851837d026dSJoonsoo Kim 
1852837d026dSJoonsoo Kim 	return ret;
1853748446bbSMel Gorman }
1854748446bbSMel Gorman 
18553e7d3449SMel Gorman /*
18563e7d3449SMel Gorman  * compaction_suitable: Is this suitable to run compaction on this zone now?
18573e7d3449SMel Gorman  * Returns
18583e7d3449SMel Gorman  *   COMPACT_SKIPPED  - If there are too few free pages for compaction
1859cf378319SVlastimil Babka  *   COMPACT_SUCCESS  - If the allocation would succeed without compaction
18603e7d3449SMel Gorman  *   COMPACT_CONTINUE - If compaction should run now
18613e7d3449SMel Gorman  */
1862ea7ab982SMichal Hocko static enum compact_result __compaction_suitable(struct zone *zone, int order,
1863c603844bSMel Gorman 					unsigned int alloc_flags,
186486a294a8SMichal Hocko 					int classzone_idx,
186586a294a8SMichal Hocko 					unsigned long wmark_target)
18663e7d3449SMel Gorman {
18673e7d3449SMel Gorman 	unsigned long watermark;
18683e7d3449SMel Gorman 
186921c527a3SYaowei Bai 	if (is_via_compact_memory(order))
18703957c776SMichal Hocko 		return COMPACT_CONTINUE;
18713957c776SMichal Hocko 
1872a9214443SMel Gorman 	watermark = wmark_pages(zone, alloc_flags & ALLOC_WMARK_MASK);
1873ebff3980SVlastimil Babka 	/*
1874ebff3980SVlastimil Babka 	 * If watermarks for high-order allocation are already met, there
1875ebff3980SVlastimil Babka 	 * should be no need for compaction at all.
1876ebff3980SVlastimil Babka 	 */
1877ebff3980SVlastimil Babka 	if (zone_watermark_ok(zone, order, watermark, classzone_idx,
1878ebff3980SVlastimil Babka 								alloc_flags))
1879cf378319SVlastimil Babka 		return COMPACT_SUCCESS;
1880ebff3980SVlastimil Babka 
18813957c776SMichal Hocko 	/*
18829861a62cSVlastimil Babka 	 * Watermarks for order-0 must be met for compaction to be able to
1883984fdba6SVlastimil Babka 	 * isolate free pages for migration targets. This means that the
1884984fdba6SVlastimil Babka 	 * watermark and alloc_flags have to match, or be more pessimistic than
1885984fdba6SVlastimil Babka 	 * the check in __isolate_free_page(). We don't use the direct
1886984fdba6SVlastimil Babka 	 * compactor's alloc_flags, as they are not relevant for freepage
1887984fdba6SVlastimil Babka 	 * isolation. We however do use the direct compactor's classzone_idx to
1888984fdba6SVlastimil Babka 	 * skip over zones where lowmem reserves would prevent allocation even
1889984fdba6SVlastimil Babka 	 * if compaction succeeds.
18908348faf9SVlastimil Babka 	 * For costly orders, we require low watermark instead of min for
18918348faf9SVlastimil Babka 	 * compaction to proceed to increase its chances.
1892d883c6cfSJoonsoo Kim 	 * ALLOC_CMA is used, as pages in CMA pageblocks are considered
1893d883c6cfSJoonsoo Kim 	 * suitable migration targets
18943e7d3449SMel Gorman 	 */
18958348faf9SVlastimil Babka 	watermark = (order > PAGE_ALLOC_COSTLY_ORDER) ?
18968348faf9SVlastimil Babka 				low_wmark_pages(zone) : min_wmark_pages(zone);
18978348faf9SVlastimil Babka 	watermark += compact_gap(order);
189886a294a8SMichal Hocko 	if (!__zone_watermark_ok(zone, 0, watermark, classzone_idx,
1899d883c6cfSJoonsoo Kim 						ALLOC_CMA, wmark_target))
19003e7d3449SMel Gorman 		return COMPACT_SKIPPED;
19013e7d3449SMel Gorman 
1902cc5c9f09SVlastimil Babka 	return COMPACT_CONTINUE;
1903cc5c9f09SVlastimil Babka }
1904cc5c9f09SVlastimil Babka 
1905cc5c9f09SVlastimil Babka enum compact_result compaction_suitable(struct zone *zone, int order,
1906cc5c9f09SVlastimil Babka 					unsigned int alloc_flags,
1907cc5c9f09SVlastimil Babka 					int classzone_idx)
1908cc5c9f09SVlastimil Babka {
1909cc5c9f09SVlastimil Babka 	enum compact_result ret;
1910cc5c9f09SVlastimil Babka 	int fragindex;
1911cc5c9f09SVlastimil Babka 
1912cc5c9f09SVlastimil Babka 	ret = __compaction_suitable(zone, order, alloc_flags, classzone_idx,
1913cc5c9f09SVlastimil Babka 				    zone_page_state(zone, NR_FREE_PAGES));
19143e7d3449SMel Gorman 	/*
19153e7d3449SMel Gorman 	 * fragmentation index determines if allocation failures are due to
19163e7d3449SMel Gorman 	 * low memory or external fragmentation
19173e7d3449SMel Gorman 	 *
1918ebff3980SVlastimil Babka 	 * index of -1000 would imply allocations might succeed depending on
1919ebff3980SVlastimil Babka 	 * watermarks, but we already failed the high-order watermark check
19203e7d3449SMel Gorman 	 * index towards 0 implies failure is due to lack of memory
19213e7d3449SMel Gorman 	 * index towards 1000 implies failure is due to fragmentation
19223e7d3449SMel Gorman 	 *
192320311420SVlastimil Babka 	 * Only compact if a failure would be due to fragmentation. Also
192420311420SVlastimil Babka 	 * ignore fragindex for non-costly orders where the alternative to
192520311420SVlastimil Babka 	 * a successful reclaim/compaction is OOM. Fragindex and the
192620311420SVlastimil Babka 	 * vm.extfrag_threshold sysctl is meant as a heuristic to prevent
192720311420SVlastimil Babka 	 * excessive compaction for costly orders, but it should not be at the
192820311420SVlastimil Babka 	 * expense of system stability.
19293e7d3449SMel Gorman 	 */
193020311420SVlastimil Babka 	if (ret == COMPACT_CONTINUE && (order > PAGE_ALLOC_COSTLY_ORDER)) {
19313e7d3449SMel Gorman 		fragindex = fragmentation_index(zone, order);
19323e7d3449SMel Gorman 		if (fragindex >= 0 && fragindex <= sysctl_extfrag_threshold)
1933cc5c9f09SVlastimil Babka 			ret = COMPACT_NOT_SUITABLE_ZONE;
19343e7d3449SMel Gorman 	}
19353e7d3449SMel Gorman 
1936837d026dSJoonsoo Kim 	trace_mm_compaction_suitable(zone, order, ret);
1937837d026dSJoonsoo Kim 	if (ret == COMPACT_NOT_SUITABLE_ZONE)
1938837d026dSJoonsoo Kim 		ret = COMPACT_SKIPPED;
1939837d026dSJoonsoo Kim 
1940837d026dSJoonsoo Kim 	return ret;
1941837d026dSJoonsoo Kim }
1942837d026dSJoonsoo Kim 
194386a294a8SMichal Hocko bool compaction_zonelist_suitable(struct alloc_context *ac, int order,
194486a294a8SMichal Hocko 		int alloc_flags)
194586a294a8SMichal Hocko {
194686a294a8SMichal Hocko 	struct zone *zone;
194786a294a8SMichal Hocko 	struct zoneref *z;
194886a294a8SMichal Hocko 
194986a294a8SMichal Hocko 	/*
195086a294a8SMichal Hocko 	 * Make sure at least one zone would pass __compaction_suitable if we continue
195186a294a8SMichal Hocko 	 * retrying the reclaim.
195286a294a8SMichal Hocko 	 */
195386a294a8SMichal Hocko 	for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, ac->high_zoneidx,
195486a294a8SMichal Hocko 					ac->nodemask) {
195586a294a8SMichal Hocko 		unsigned long available;
195686a294a8SMichal Hocko 		enum compact_result compact_result;
195786a294a8SMichal Hocko 
195886a294a8SMichal Hocko 		/*
195986a294a8SMichal Hocko 		 * Do not consider all the reclaimable memory because we do not
196086a294a8SMichal Hocko 		 * want to trash just for a single high order allocation which
196186a294a8SMichal Hocko 		 * is even not guaranteed to appear even if __compaction_suitable
196286a294a8SMichal Hocko 		 * is happy about the watermark check.
196386a294a8SMichal Hocko 		 */
19645a1c84b4SMel Gorman 		available = zone_reclaimable_pages(zone) / order;
196586a294a8SMichal Hocko 		available += zone_page_state_snapshot(zone, NR_FREE_PAGES);
196686a294a8SMichal Hocko 		compact_result = __compaction_suitable(zone, order, alloc_flags,
196786a294a8SMichal Hocko 				ac_classzone_idx(ac), available);
1968cc5c9f09SVlastimil Babka 		if (compact_result != COMPACT_SKIPPED)
196986a294a8SMichal Hocko 			return true;
197086a294a8SMichal Hocko 	}
197186a294a8SMichal Hocko 
197286a294a8SMichal Hocko 	return false;
197386a294a8SMichal Hocko }
197486a294a8SMichal Hocko 
197540cacbcbSMel Gorman static enum compact_result compact_zone(struct compact_control *cc)
1976748446bbSMel Gorman {
1977ea7ab982SMichal Hocko 	enum compact_result ret;
197840cacbcbSMel Gorman 	unsigned long start_pfn = cc->zone->zone_start_pfn;
197940cacbcbSMel Gorman 	unsigned long end_pfn = zone_end_pfn(cc->zone);
1980566e54e1SMel Gorman 	unsigned long last_migrated_pfn;
1981e0b9daebSDavid Rientjes 	const bool sync = cc->mode != MIGRATE_ASYNC;
1982748446bbSMel Gorman 
1983d39773a0SVlastimil Babka 	cc->migratetype = gfpflags_to_migratetype(cc->gfp_mask);
198440cacbcbSMel Gorman 	ret = compaction_suitable(cc->zone, cc->order, cc->alloc_flags,
1985ebff3980SVlastimil Babka 							cc->classzone_idx);
19863e7d3449SMel Gorman 	/* Compaction is likely to fail */
1987cf378319SVlastimil Babka 	if (ret == COMPACT_SUCCESS || ret == COMPACT_SKIPPED)
19883e7d3449SMel Gorman 		return ret;
1989c46649deSMichal Hocko 
1990c46649deSMichal Hocko 	/* huh, compaction_suitable is returning something unexpected */
1991c46649deSMichal Hocko 	VM_BUG_ON(ret != COMPACT_CONTINUE);
19923e7d3449SMel Gorman 
1993c89511abSMel Gorman 	/*
1994d3132e4bSVlastimil Babka 	 * Clear pageblock skip if there were failures recently and compaction
1995accf6242SVlastimil Babka 	 * is about to be retried after being deferred.
1996d3132e4bSVlastimil Babka 	 */
199740cacbcbSMel Gorman 	if (compaction_restarting(cc->zone, cc->order))
199840cacbcbSMel Gorman 		__reset_isolation_suitable(cc->zone);
1999d3132e4bSVlastimil Babka 
2000d3132e4bSVlastimil Babka 	/*
2001c89511abSMel Gorman 	 * Setup to move all movable pages to the end of the zone. Used cached
200206ed2998SVlastimil Babka 	 * information on where the scanners should start (unless we explicitly
200306ed2998SVlastimil Babka 	 * want to compact the whole zone), but check that it is initialised
200406ed2998SVlastimil Babka 	 * by ensuring the values are within zone boundaries.
2005c89511abSMel Gorman 	 */
200670b44595SMel Gorman 	cc->fast_start_pfn = 0;
200706ed2998SVlastimil Babka 	if (cc->whole_zone) {
200806ed2998SVlastimil Babka 		cc->migrate_pfn = start_pfn;
200906ed2998SVlastimil Babka 		cc->free_pfn = pageblock_start_pfn(end_pfn - 1);
201006ed2998SVlastimil Babka 	} else {
201140cacbcbSMel Gorman 		cc->migrate_pfn = cc->zone->compact_cached_migrate_pfn[sync];
201240cacbcbSMel Gorman 		cc->free_pfn = cc->zone->compact_cached_free_pfn;
2013623446e4SJoonsoo Kim 		if (cc->free_pfn < start_pfn || cc->free_pfn >= end_pfn) {
201406b6640aSVlastimil Babka 			cc->free_pfn = pageblock_start_pfn(end_pfn - 1);
201540cacbcbSMel Gorman 			cc->zone->compact_cached_free_pfn = cc->free_pfn;
2016c89511abSMel Gorman 		}
2017623446e4SJoonsoo Kim 		if (cc->migrate_pfn < start_pfn || cc->migrate_pfn >= end_pfn) {
2018c89511abSMel Gorman 			cc->migrate_pfn = start_pfn;
201940cacbcbSMel Gorman 			cc->zone->compact_cached_migrate_pfn[0] = cc->migrate_pfn;
202040cacbcbSMel Gorman 			cc->zone->compact_cached_migrate_pfn[1] = cc->migrate_pfn;
2021c89511abSMel Gorman 		}
2022c8f7de0bSMichal Hocko 
2023c8f7de0bSMichal Hocko 		if (cc->migrate_pfn == start_pfn)
2024c8f7de0bSMichal Hocko 			cc->whole_zone = true;
202506ed2998SVlastimil Babka 	}
2026c8f7de0bSMichal Hocko 
2027566e54e1SMel Gorman 	last_migrated_pfn = 0;
2028748446bbSMel Gorman 
202916c4a097SJoonsoo Kim 	trace_mm_compaction_begin(start_pfn, cc->migrate_pfn,
203016c4a097SJoonsoo Kim 				cc->free_pfn, end_pfn, sync);
20310eb927c0SMel Gorman 
2032748446bbSMel Gorman 	migrate_prep_local();
2033748446bbSMel Gorman 
203440cacbcbSMel Gorman 	while ((ret = compact_finished(cc)) == COMPACT_CONTINUE) {
20359d502c1cSMinchan Kim 		int err;
2036566e54e1SMel Gorman 		unsigned long start_pfn = cc->migrate_pfn;
2037748446bbSMel Gorman 
203840cacbcbSMel Gorman 		switch (isolate_migratepages(cc->zone, cc)) {
2039f9e35b3bSMel Gorman 		case ISOLATE_ABORT:
20402d1e1041SVlastimil Babka 			ret = COMPACT_CONTENDED;
20415733c7d1SRafael Aquini 			putback_movable_pages(&cc->migratepages);
2042e64c5237SShaohua Li 			cc->nr_migratepages = 0;
2043566e54e1SMel Gorman 			last_migrated_pfn = 0;
2044f9e35b3bSMel Gorman 			goto out;
2045f9e35b3bSMel Gorman 		case ISOLATE_NONE:
2046fdaf7f5cSVlastimil Babka 			/*
2047fdaf7f5cSVlastimil Babka 			 * We haven't isolated and migrated anything, but
2048fdaf7f5cSVlastimil Babka 			 * there might still be unflushed migrations from
2049fdaf7f5cSVlastimil Babka 			 * previous cc->order aligned block.
2050fdaf7f5cSVlastimil Babka 			 */
2051fdaf7f5cSVlastimil Babka 			goto check_drain;
2052f9e35b3bSMel Gorman 		case ISOLATE_SUCCESS:
2053566e54e1SMel Gorman 			last_migrated_pfn = start_pfn;
2054f9e35b3bSMel Gorman 			;
2055f9e35b3bSMel Gorman 		}
2056748446bbSMel Gorman 
2057d53aea3dSDavid Rientjes 		err = migrate_pages(&cc->migratepages, compaction_alloc,
2058e0b9daebSDavid Rientjes 				compaction_free, (unsigned long)cc, cc->mode,
20597b2a2d4aSMel Gorman 				MR_COMPACTION);
2060748446bbSMel Gorman 
2061f8c9301fSVlastimil Babka 		trace_mm_compaction_migratepages(cc->nr_migratepages, err,
2062f8c9301fSVlastimil Babka 							&cc->migratepages);
2063748446bbSMel Gorman 
2064f8c9301fSVlastimil Babka 		/* All pages were either migrated or will be released */
2065f8c9301fSVlastimil Babka 		cc->nr_migratepages = 0;
20669d502c1cSMinchan Kim 		if (err) {
20675733c7d1SRafael Aquini 			putback_movable_pages(&cc->migratepages);
20687ed695e0SVlastimil Babka 			/*
20697ed695e0SVlastimil Babka 			 * migrate_pages() may return -ENOMEM when scanners meet
20707ed695e0SVlastimil Babka 			 * and we want compact_finished() to detect it
20717ed695e0SVlastimil Babka 			 */
2072f2849aa0SVlastimil Babka 			if (err == -ENOMEM && !compact_scanners_met(cc)) {
20732d1e1041SVlastimil Babka 				ret = COMPACT_CONTENDED;
20744bf2bba3SDavid Rientjes 				goto out;
2075748446bbSMel Gorman 			}
2076fdd048e1SVlastimil Babka 			/*
2077fdd048e1SVlastimil Babka 			 * We failed to migrate at least one page in the current
2078fdd048e1SVlastimil Babka 			 * order-aligned block, so skip the rest of it.
2079fdd048e1SVlastimil Babka 			 */
2080fdd048e1SVlastimil Babka 			if (cc->direct_compaction &&
2081fdd048e1SVlastimil Babka 						(cc->mode == MIGRATE_ASYNC)) {
2082fdd048e1SVlastimil Babka 				cc->migrate_pfn = block_end_pfn(
2083fdd048e1SVlastimil Babka 						cc->migrate_pfn - 1, cc->order);
2084fdd048e1SVlastimil Babka 				/* Draining pcplists is useless in this case */
2085566e54e1SMel Gorman 				last_migrated_pfn = 0;
2086fdd048e1SVlastimil Babka 			}
20874bf2bba3SDavid Rientjes 		}
2088fdaf7f5cSVlastimil Babka 
2089fdaf7f5cSVlastimil Babka check_drain:
2090fdaf7f5cSVlastimil Babka 		/*
2091fdaf7f5cSVlastimil Babka 		 * Has the migration scanner moved away from the previous
2092fdaf7f5cSVlastimil Babka 		 * cc->order aligned block where we migrated from? If yes,
2093fdaf7f5cSVlastimil Babka 		 * flush the pages that were freed, so that they can merge and
2094fdaf7f5cSVlastimil Babka 		 * compact_finished() can detect immediately if allocation
2095fdaf7f5cSVlastimil Babka 		 * would succeed.
2096fdaf7f5cSVlastimil Babka 		 */
2097566e54e1SMel Gorman 		if (cc->order > 0 && last_migrated_pfn) {
2098fdaf7f5cSVlastimil Babka 			int cpu;
2099fdaf7f5cSVlastimil Babka 			unsigned long current_block_start =
210006b6640aSVlastimil Babka 				block_start_pfn(cc->migrate_pfn, cc->order);
2101fdaf7f5cSVlastimil Babka 
2102566e54e1SMel Gorman 			if (last_migrated_pfn < current_block_start) {
2103fdaf7f5cSVlastimil Babka 				cpu = get_cpu();
2104fdaf7f5cSVlastimil Babka 				lru_add_drain_cpu(cpu);
210540cacbcbSMel Gorman 				drain_local_pages(cc->zone);
2106fdaf7f5cSVlastimil Babka 				put_cpu();
2107fdaf7f5cSVlastimil Babka 				/* No more flushing until we migrate again */
2108566e54e1SMel Gorman 				last_migrated_pfn = 0;
2109fdaf7f5cSVlastimil Babka 			}
2110fdaf7f5cSVlastimil Babka 		}
2111fdaf7f5cSVlastimil Babka 
2112748446bbSMel Gorman 	}
2113748446bbSMel Gorman 
2114f9e35b3bSMel Gorman out:
21156bace090SVlastimil Babka 	/*
21166bace090SVlastimil Babka 	 * Release free pages and update where the free scanner should restart,
21176bace090SVlastimil Babka 	 * so we don't leave any returned pages behind in the next attempt.
21186bace090SVlastimil Babka 	 */
21196bace090SVlastimil Babka 	if (cc->nr_freepages > 0) {
21206bace090SVlastimil Babka 		unsigned long free_pfn = release_freepages(&cc->freepages);
21216bace090SVlastimil Babka 
21226bace090SVlastimil Babka 		cc->nr_freepages = 0;
21236bace090SVlastimil Babka 		VM_BUG_ON(free_pfn == 0);
21246bace090SVlastimil Babka 		/* The cached pfn is always the first in a pageblock */
212506b6640aSVlastimil Babka 		free_pfn = pageblock_start_pfn(free_pfn);
21266bace090SVlastimil Babka 		/*
21276bace090SVlastimil Babka 		 * Only go back, not forward. The cached pfn might have been
21286bace090SVlastimil Babka 		 * already reset to zone end in compact_finished()
21296bace090SVlastimil Babka 		 */
213040cacbcbSMel Gorman 		if (free_pfn > cc->zone->compact_cached_free_pfn)
213140cacbcbSMel Gorman 			cc->zone->compact_cached_free_pfn = free_pfn;
21326bace090SVlastimil Babka 	}
2133748446bbSMel Gorman 
21347f354a54SDavid Rientjes 	count_compact_events(COMPACTMIGRATE_SCANNED, cc->total_migrate_scanned);
21357f354a54SDavid Rientjes 	count_compact_events(COMPACTFREE_SCANNED, cc->total_free_scanned);
21367f354a54SDavid Rientjes 
213716c4a097SJoonsoo Kim 	trace_mm_compaction_end(start_pfn, cc->migrate_pfn,
213816c4a097SJoonsoo Kim 				cc->free_pfn, end_pfn, sync, ret);
21390eb927c0SMel Gorman 
2140748446bbSMel Gorman 	return ret;
2141748446bbSMel Gorman }
214276ab0f53SMel Gorman 
2143ea7ab982SMichal Hocko static enum compact_result compact_zone_order(struct zone *zone, int order,
2144c3486f53SVlastimil Babka 		gfp_t gfp_mask, enum compact_priority prio,
2145c603844bSMel Gorman 		unsigned int alloc_flags, int classzone_idx)
214656de7263SMel Gorman {
2147ea7ab982SMichal Hocko 	enum compact_result ret;
214856de7263SMel Gorman 	struct compact_control cc = {
214956de7263SMel Gorman 		.nr_freepages = 0,
215056de7263SMel Gorman 		.nr_migratepages = 0,
21517f354a54SDavid Rientjes 		.total_migrate_scanned = 0,
21527f354a54SDavid Rientjes 		.total_free_scanned = 0,
215356de7263SMel Gorman 		.order = order,
21546d7ce559SDavid Rientjes 		.gfp_mask = gfp_mask,
215556de7263SMel Gorman 		.zone = zone,
2156a5508cd8SVlastimil Babka 		.mode = (prio == COMPACT_PRIO_ASYNC) ?
2157a5508cd8SVlastimil Babka 					MIGRATE_ASYNC :	MIGRATE_SYNC_LIGHT,
2158ebff3980SVlastimil Babka 		.alloc_flags = alloc_flags,
2159ebff3980SVlastimil Babka 		.classzone_idx = classzone_idx,
2160accf6242SVlastimil Babka 		.direct_compaction = true,
2161a8e025e5SVlastimil Babka 		.whole_zone = (prio == MIN_COMPACT_PRIORITY),
21629f7e3387SVlastimil Babka 		.ignore_skip_hint = (prio == MIN_COMPACT_PRIORITY),
21639f7e3387SVlastimil Babka 		.ignore_block_suitable = (prio == MIN_COMPACT_PRIORITY)
216456de7263SMel Gorman 	};
216556de7263SMel Gorman 	INIT_LIST_HEAD(&cc.freepages);
216656de7263SMel Gorman 	INIT_LIST_HEAD(&cc.migratepages);
216756de7263SMel Gorman 
216840cacbcbSMel Gorman 	ret = compact_zone(&cc);
2169e64c5237SShaohua Li 
2170e64c5237SShaohua Li 	VM_BUG_ON(!list_empty(&cc.freepages));
2171e64c5237SShaohua Li 	VM_BUG_ON(!list_empty(&cc.migratepages));
2172e64c5237SShaohua Li 
2173e64c5237SShaohua Li 	return ret;
217456de7263SMel Gorman }
217556de7263SMel Gorman 
21765e771905SMel Gorman int sysctl_extfrag_threshold = 500;
21775e771905SMel Gorman 
217856de7263SMel Gorman /**
217956de7263SMel Gorman  * try_to_compact_pages - Direct compact to satisfy a high-order allocation
218056de7263SMel Gorman  * @gfp_mask: The GFP mask of the current allocation
21811a6d53a1SVlastimil Babka  * @order: The order of the current allocation
21821a6d53a1SVlastimil Babka  * @alloc_flags: The allocation flags of the current allocation
21831a6d53a1SVlastimil Babka  * @ac: The context of current allocation
2184112d2d29SYang Shi  * @prio: Determines how hard direct compaction should try to succeed
218556de7263SMel Gorman  *
218656de7263SMel Gorman  * This is the main entry point for direct page compaction.
218756de7263SMel Gorman  */
2188ea7ab982SMichal Hocko enum compact_result try_to_compact_pages(gfp_t gfp_mask, unsigned int order,
2189c603844bSMel Gorman 		unsigned int alloc_flags, const struct alloc_context *ac,
2190c3486f53SVlastimil Babka 		enum compact_priority prio)
219156de7263SMel Gorman {
219256de7263SMel Gorman 	int may_perform_io = gfp_mask & __GFP_IO;
219356de7263SMel Gorman 	struct zoneref *z;
219456de7263SMel Gorman 	struct zone *zone;
21951d4746d3SMichal Hocko 	enum compact_result rc = COMPACT_SKIPPED;
219656de7263SMel Gorman 
219773e64c51SMichal Hocko 	/*
219873e64c51SMichal Hocko 	 * Check if the GFP flags allow compaction - GFP_NOIO is really
219973e64c51SMichal Hocko 	 * tricky context because the migration might require IO
220073e64c51SMichal Hocko 	 */
220173e64c51SMichal Hocko 	if (!may_perform_io)
220253853e2dSVlastimil Babka 		return COMPACT_SKIPPED;
220356de7263SMel Gorman 
2204a5508cd8SVlastimil Babka 	trace_mm_compaction_try_to_compact_pages(order, gfp_mask, prio);
2205837d026dSJoonsoo Kim 
220656de7263SMel Gorman 	/* Compact each zone in the list */
22071a6d53a1SVlastimil Babka 	for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, ac->high_zoneidx,
22081a6d53a1SVlastimil Babka 								ac->nodemask) {
2209ea7ab982SMichal Hocko 		enum compact_result status;
221056de7263SMel Gorman 
2211a8e025e5SVlastimil Babka 		if (prio > MIN_COMPACT_PRIORITY
2212a8e025e5SVlastimil Babka 					&& compaction_deferred(zone, order)) {
22131d4746d3SMichal Hocko 			rc = max_t(enum compact_result, COMPACT_DEFERRED, rc);
221453853e2dSVlastimil Babka 			continue;
22151d4746d3SMichal Hocko 		}
221653853e2dSVlastimil Babka 
2217a5508cd8SVlastimil Babka 		status = compact_zone_order(zone, order, gfp_mask, prio,
2218c3486f53SVlastimil Babka 					alloc_flags, ac_classzone_idx(ac));
221956de7263SMel Gorman 		rc = max(status, rc);
222056de7263SMel Gorman 
22217ceb009aSVlastimil Babka 		/* The allocation should succeed, stop compacting */
22227ceb009aSVlastimil Babka 		if (status == COMPACT_SUCCESS) {
222353853e2dSVlastimil Babka 			/*
222453853e2dSVlastimil Babka 			 * We think the allocation will succeed in this zone,
222553853e2dSVlastimil Babka 			 * but it is not certain, hence the false. The caller
222653853e2dSVlastimil Babka 			 * will repeat this with true if allocation indeed
222753853e2dSVlastimil Babka 			 * succeeds in this zone.
222853853e2dSVlastimil Babka 			 */
222953853e2dSVlastimil Babka 			compaction_defer_reset(zone, order, false);
22301f9efdefSVlastimil Babka 
2231c3486f53SVlastimil Babka 			break;
22321f9efdefSVlastimil Babka 		}
22331f9efdefSVlastimil Babka 
2234a5508cd8SVlastimil Babka 		if (prio != COMPACT_PRIO_ASYNC && (status == COMPACT_COMPLETE ||
2235c3486f53SVlastimil Babka 					status == COMPACT_PARTIAL_SKIPPED))
223653853e2dSVlastimil Babka 			/*
223753853e2dSVlastimil Babka 			 * We think that allocation won't succeed in this zone
223853853e2dSVlastimil Babka 			 * so we defer compaction there. If it ends up
223953853e2dSVlastimil Babka 			 * succeeding after all, it will be reset.
224053853e2dSVlastimil Babka 			 */
224153853e2dSVlastimil Babka 			defer_compaction(zone, order);
22421f9efdefSVlastimil Babka 
22431f9efdefSVlastimil Babka 		/*
22441f9efdefSVlastimil Babka 		 * We might have stopped compacting due to need_resched() in
22451f9efdefSVlastimil Babka 		 * async compaction, or due to a fatal signal detected. In that
2246c3486f53SVlastimil Babka 		 * case do not try further zones
22471f9efdefSVlastimil Babka 		 */
2248c3486f53SVlastimil Babka 		if ((prio == COMPACT_PRIO_ASYNC && need_resched())
2249c3486f53SVlastimil Babka 					|| fatal_signal_pending(current))
22501f9efdefSVlastimil Babka 			break;
22511f9efdefSVlastimil Babka 	}
22521f9efdefSVlastimil Babka 
225356de7263SMel Gorman 	return rc;
225456de7263SMel Gorman }
225556de7263SMel Gorman 
225656de7263SMel Gorman 
225776ab0f53SMel Gorman /* Compact all zones within a node */
22587103f16dSAndrew Morton static void compact_node(int nid)
22597be62de9SRik van Riel {
2260791cae96SVlastimil Babka 	pg_data_t *pgdat = NODE_DATA(nid);
2261791cae96SVlastimil Babka 	int zoneid;
2262791cae96SVlastimil Babka 	struct zone *zone;
22637be62de9SRik van Riel 	struct compact_control cc = {
22647be62de9SRik van Riel 		.order = -1,
22657f354a54SDavid Rientjes 		.total_migrate_scanned = 0,
22667f354a54SDavid Rientjes 		.total_free_scanned = 0,
2267e0b9daebSDavid Rientjes 		.mode = MIGRATE_SYNC,
226891ca9186SDavid Rientjes 		.ignore_skip_hint = true,
226906ed2998SVlastimil Babka 		.whole_zone = true,
227073e64c51SMichal Hocko 		.gfp_mask = GFP_KERNEL,
22717be62de9SRik van Riel 	};
22727be62de9SRik van Riel 
2273791cae96SVlastimil Babka 
2274791cae96SVlastimil Babka 	for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) {
2275791cae96SVlastimil Babka 
2276791cae96SVlastimil Babka 		zone = &pgdat->node_zones[zoneid];
2277791cae96SVlastimil Babka 		if (!populated_zone(zone))
2278791cae96SVlastimil Babka 			continue;
2279791cae96SVlastimil Babka 
2280791cae96SVlastimil Babka 		cc.nr_freepages = 0;
2281791cae96SVlastimil Babka 		cc.nr_migratepages = 0;
2282791cae96SVlastimil Babka 		cc.zone = zone;
2283791cae96SVlastimil Babka 		INIT_LIST_HEAD(&cc.freepages);
2284791cae96SVlastimil Babka 		INIT_LIST_HEAD(&cc.migratepages);
2285791cae96SVlastimil Babka 
228640cacbcbSMel Gorman 		compact_zone(&cc);
2287791cae96SVlastimil Babka 
2288791cae96SVlastimil Babka 		VM_BUG_ON(!list_empty(&cc.freepages));
2289791cae96SVlastimil Babka 		VM_BUG_ON(!list_empty(&cc.migratepages));
2290791cae96SVlastimil Babka 	}
22917be62de9SRik van Riel }
22927be62de9SRik van Riel 
229376ab0f53SMel Gorman /* Compact all nodes in the system */
22947964c06dSJason Liu static void compact_nodes(void)
229576ab0f53SMel Gorman {
229676ab0f53SMel Gorman 	int nid;
229776ab0f53SMel Gorman 
22988575ec29SHugh Dickins 	/* Flush pending updates to the LRU lists */
22998575ec29SHugh Dickins 	lru_add_drain_all();
23008575ec29SHugh Dickins 
230176ab0f53SMel Gorman 	for_each_online_node(nid)
230276ab0f53SMel Gorman 		compact_node(nid);
230376ab0f53SMel Gorman }
230476ab0f53SMel Gorman 
230576ab0f53SMel Gorman /* The written value is actually unused, all memory is compacted */
230676ab0f53SMel Gorman int sysctl_compact_memory;
230776ab0f53SMel Gorman 
2308fec4eb2cSYaowei Bai /*
2309fec4eb2cSYaowei Bai  * This is the entry point for compacting all nodes via
2310fec4eb2cSYaowei Bai  * /proc/sys/vm/compact_memory
2311fec4eb2cSYaowei Bai  */
231276ab0f53SMel Gorman int sysctl_compaction_handler(struct ctl_table *table, int write,
231376ab0f53SMel Gorman 			void __user *buffer, size_t *length, loff_t *ppos)
231476ab0f53SMel Gorman {
231576ab0f53SMel Gorman 	if (write)
23167964c06dSJason Liu 		compact_nodes();
231776ab0f53SMel Gorman 
231876ab0f53SMel Gorman 	return 0;
231976ab0f53SMel Gorman }
2320ed4a6d7fSMel Gorman 
2321ed4a6d7fSMel Gorman #if defined(CONFIG_SYSFS) && defined(CONFIG_NUMA)
232274e77fb9SRashika Kheria static ssize_t sysfs_compact_node(struct device *dev,
232310fbcf4cSKay Sievers 			struct device_attribute *attr,
2324ed4a6d7fSMel Gorman 			const char *buf, size_t count)
2325ed4a6d7fSMel Gorman {
23268575ec29SHugh Dickins 	int nid = dev->id;
23278575ec29SHugh Dickins 
23288575ec29SHugh Dickins 	if (nid >= 0 && nid < nr_node_ids && node_online(nid)) {
23298575ec29SHugh Dickins 		/* Flush pending updates to the LRU lists */
23308575ec29SHugh Dickins 		lru_add_drain_all();
23318575ec29SHugh Dickins 
23328575ec29SHugh Dickins 		compact_node(nid);
23338575ec29SHugh Dickins 	}
2334ed4a6d7fSMel Gorman 
2335ed4a6d7fSMel Gorman 	return count;
2336ed4a6d7fSMel Gorman }
23370825a6f9SJoe Perches static DEVICE_ATTR(compact, 0200, NULL, sysfs_compact_node);
2338ed4a6d7fSMel Gorman 
2339ed4a6d7fSMel Gorman int compaction_register_node(struct node *node)
2340ed4a6d7fSMel Gorman {
234110fbcf4cSKay Sievers 	return device_create_file(&node->dev, &dev_attr_compact);
2342ed4a6d7fSMel Gorman }
2343ed4a6d7fSMel Gorman 
2344ed4a6d7fSMel Gorman void compaction_unregister_node(struct node *node)
2345ed4a6d7fSMel Gorman {
234610fbcf4cSKay Sievers 	return device_remove_file(&node->dev, &dev_attr_compact);
2347ed4a6d7fSMel Gorman }
2348ed4a6d7fSMel Gorman #endif /* CONFIG_SYSFS && CONFIG_NUMA */
2349ff9543fdSMichal Nazarewicz 
2350698b1b30SVlastimil Babka static inline bool kcompactd_work_requested(pg_data_t *pgdat)
2351698b1b30SVlastimil Babka {
2352172400c6SVlastimil Babka 	return pgdat->kcompactd_max_order > 0 || kthread_should_stop();
2353698b1b30SVlastimil Babka }
2354698b1b30SVlastimil Babka 
2355698b1b30SVlastimil Babka static bool kcompactd_node_suitable(pg_data_t *pgdat)
2356698b1b30SVlastimil Babka {
2357698b1b30SVlastimil Babka 	int zoneid;
2358698b1b30SVlastimil Babka 	struct zone *zone;
2359698b1b30SVlastimil Babka 	enum zone_type classzone_idx = pgdat->kcompactd_classzone_idx;
2360698b1b30SVlastimil Babka 
23616cd9dc3eSChen Feng 	for (zoneid = 0; zoneid <= classzone_idx; zoneid++) {
2362698b1b30SVlastimil Babka 		zone = &pgdat->node_zones[zoneid];
2363698b1b30SVlastimil Babka 
2364698b1b30SVlastimil Babka 		if (!populated_zone(zone))
2365698b1b30SVlastimil Babka 			continue;
2366698b1b30SVlastimil Babka 
2367698b1b30SVlastimil Babka 		if (compaction_suitable(zone, pgdat->kcompactd_max_order, 0,
2368698b1b30SVlastimil Babka 					classzone_idx) == COMPACT_CONTINUE)
2369698b1b30SVlastimil Babka 			return true;
2370698b1b30SVlastimil Babka 	}
2371698b1b30SVlastimil Babka 
2372698b1b30SVlastimil Babka 	return false;
2373698b1b30SVlastimil Babka }
2374698b1b30SVlastimil Babka 
2375698b1b30SVlastimil Babka static void kcompactd_do_work(pg_data_t *pgdat)
2376698b1b30SVlastimil Babka {
2377698b1b30SVlastimil Babka 	/*
2378698b1b30SVlastimil Babka 	 * With no special task, compact all zones so that a page of requested
2379698b1b30SVlastimil Babka 	 * order is allocatable.
2380698b1b30SVlastimil Babka 	 */
2381698b1b30SVlastimil Babka 	int zoneid;
2382698b1b30SVlastimil Babka 	struct zone *zone;
2383698b1b30SVlastimil Babka 	struct compact_control cc = {
2384698b1b30SVlastimil Babka 		.order = pgdat->kcompactd_max_order,
23857f354a54SDavid Rientjes 		.total_migrate_scanned = 0,
23867f354a54SDavid Rientjes 		.total_free_scanned = 0,
2387698b1b30SVlastimil Babka 		.classzone_idx = pgdat->kcompactd_classzone_idx,
2388698b1b30SVlastimil Babka 		.mode = MIGRATE_SYNC_LIGHT,
2389a0647dc9SDavid Rientjes 		.ignore_skip_hint = false,
239073e64c51SMichal Hocko 		.gfp_mask = GFP_KERNEL,
2391698b1b30SVlastimil Babka 	};
2392698b1b30SVlastimil Babka 	trace_mm_compaction_kcompactd_wake(pgdat->node_id, cc.order,
2393698b1b30SVlastimil Babka 							cc.classzone_idx);
23947f354a54SDavid Rientjes 	count_compact_event(KCOMPACTD_WAKE);
2395698b1b30SVlastimil Babka 
23966cd9dc3eSChen Feng 	for (zoneid = 0; zoneid <= cc.classzone_idx; zoneid++) {
2397698b1b30SVlastimil Babka 		int status;
2398698b1b30SVlastimil Babka 
2399698b1b30SVlastimil Babka 		zone = &pgdat->node_zones[zoneid];
2400698b1b30SVlastimil Babka 		if (!populated_zone(zone))
2401698b1b30SVlastimil Babka 			continue;
2402698b1b30SVlastimil Babka 
2403698b1b30SVlastimil Babka 		if (compaction_deferred(zone, cc.order))
2404698b1b30SVlastimil Babka 			continue;
2405698b1b30SVlastimil Babka 
2406698b1b30SVlastimil Babka 		if (compaction_suitable(zone, cc.order, 0, zoneid) !=
2407698b1b30SVlastimil Babka 							COMPACT_CONTINUE)
2408698b1b30SVlastimil Babka 			continue;
2409698b1b30SVlastimil Babka 
2410698b1b30SVlastimil Babka 		cc.nr_freepages = 0;
2411698b1b30SVlastimil Babka 		cc.nr_migratepages = 0;
24127f354a54SDavid Rientjes 		cc.total_migrate_scanned = 0;
24137f354a54SDavid Rientjes 		cc.total_free_scanned = 0;
2414698b1b30SVlastimil Babka 		cc.zone = zone;
2415698b1b30SVlastimil Babka 		INIT_LIST_HEAD(&cc.freepages);
2416698b1b30SVlastimil Babka 		INIT_LIST_HEAD(&cc.migratepages);
2417698b1b30SVlastimil Babka 
2418172400c6SVlastimil Babka 		if (kthread_should_stop())
2419172400c6SVlastimil Babka 			return;
242040cacbcbSMel Gorman 		status = compact_zone(&cc);
2421698b1b30SVlastimil Babka 
24227ceb009aSVlastimil Babka 		if (status == COMPACT_SUCCESS) {
2423698b1b30SVlastimil Babka 			compaction_defer_reset(zone, cc.order, false);
2424c8f7de0bSMichal Hocko 		} else if (status == COMPACT_PARTIAL_SKIPPED || status == COMPACT_COMPLETE) {
2425698b1b30SVlastimil Babka 			/*
2426bc3106b2SDavid Rientjes 			 * Buddy pages may become stranded on pcps that could
2427bc3106b2SDavid Rientjes 			 * otherwise coalesce on the zone's free area for
2428bc3106b2SDavid Rientjes 			 * order >= cc.order.  This is ratelimited by the
2429bc3106b2SDavid Rientjes 			 * upcoming deferral.
2430bc3106b2SDavid Rientjes 			 */
2431bc3106b2SDavid Rientjes 			drain_all_pages(zone);
2432bc3106b2SDavid Rientjes 
2433bc3106b2SDavid Rientjes 			/*
2434698b1b30SVlastimil Babka 			 * We use sync migration mode here, so we defer like
2435698b1b30SVlastimil Babka 			 * sync direct compaction does.
2436698b1b30SVlastimil Babka 			 */
2437698b1b30SVlastimil Babka 			defer_compaction(zone, cc.order);
2438698b1b30SVlastimil Babka 		}
2439698b1b30SVlastimil Babka 
24407f354a54SDavid Rientjes 		count_compact_events(KCOMPACTD_MIGRATE_SCANNED,
24417f354a54SDavid Rientjes 				     cc.total_migrate_scanned);
24427f354a54SDavid Rientjes 		count_compact_events(KCOMPACTD_FREE_SCANNED,
24437f354a54SDavid Rientjes 				     cc.total_free_scanned);
24447f354a54SDavid Rientjes 
2445698b1b30SVlastimil Babka 		VM_BUG_ON(!list_empty(&cc.freepages));
2446698b1b30SVlastimil Babka 		VM_BUG_ON(!list_empty(&cc.migratepages));
2447698b1b30SVlastimil Babka 	}
2448698b1b30SVlastimil Babka 
2449698b1b30SVlastimil Babka 	/*
2450698b1b30SVlastimil Babka 	 * Regardless of success, we are done until woken up next. But remember
2451698b1b30SVlastimil Babka 	 * the requested order/classzone_idx in case it was higher/tighter than
2452698b1b30SVlastimil Babka 	 * our current ones
2453698b1b30SVlastimil Babka 	 */
2454698b1b30SVlastimil Babka 	if (pgdat->kcompactd_max_order <= cc.order)
2455698b1b30SVlastimil Babka 		pgdat->kcompactd_max_order = 0;
2456698b1b30SVlastimil Babka 	if (pgdat->kcompactd_classzone_idx >= cc.classzone_idx)
2457698b1b30SVlastimil Babka 		pgdat->kcompactd_classzone_idx = pgdat->nr_zones - 1;
2458698b1b30SVlastimil Babka }
2459698b1b30SVlastimil Babka 
2460698b1b30SVlastimil Babka void wakeup_kcompactd(pg_data_t *pgdat, int order, int classzone_idx)
2461698b1b30SVlastimil Babka {
2462698b1b30SVlastimil Babka 	if (!order)
2463698b1b30SVlastimil Babka 		return;
2464698b1b30SVlastimil Babka 
2465698b1b30SVlastimil Babka 	if (pgdat->kcompactd_max_order < order)
2466698b1b30SVlastimil Babka 		pgdat->kcompactd_max_order = order;
2467698b1b30SVlastimil Babka 
2468698b1b30SVlastimil Babka 	if (pgdat->kcompactd_classzone_idx > classzone_idx)
2469698b1b30SVlastimil Babka 		pgdat->kcompactd_classzone_idx = classzone_idx;
2470698b1b30SVlastimil Babka 
24716818600fSDavidlohr Bueso 	/*
24726818600fSDavidlohr Bueso 	 * Pairs with implicit barrier in wait_event_freezable()
24736818600fSDavidlohr Bueso 	 * such that wakeups are not missed.
24746818600fSDavidlohr Bueso 	 */
24756818600fSDavidlohr Bueso 	if (!wq_has_sleeper(&pgdat->kcompactd_wait))
2476698b1b30SVlastimil Babka 		return;
2477698b1b30SVlastimil Babka 
2478698b1b30SVlastimil Babka 	if (!kcompactd_node_suitable(pgdat))
2479698b1b30SVlastimil Babka 		return;
2480698b1b30SVlastimil Babka 
2481698b1b30SVlastimil Babka 	trace_mm_compaction_wakeup_kcompactd(pgdat->node_id, order,
2482698b1b30SVlastimil Babka 							classzone_idx);
2483698b1b30SVlastimil Babka 	wake_up_interruptible(&pgdat->kcompactd_wait);
2484698b1b30SVlastimil Babka }
2485698b1b30SVlastimil Babka 
2486698b1b30SVlastimil Babka /*
2487698b1b30SVlastimil Babka  * The background compaction daemon, started as a kernel thread
2488698b1b30SVlastimil Babka  * from the init process.
2489698b1b30SVlastimil Babka  */
2490698b1b30SVlastimil Babka static int kcompactd(void *p)
2491698b1b30SVlastimil Babka {
2492698b1b30SVlastimil Babka 	pg_data_t *pgdat = (pg_data_t*)p;
2493698b1b30SVlastimil Babka 	struct task_struct *tsk = current;
2494698b1b30SVlastimil Babka 
2495698b1b30SVlastimil Babka 	const struct cpumask *cpumask = cpumask_of_node(pgdat->node_id);
2496698b1b30SVlastimil Babka 
2497698b1b30SVlastimil Babka 	if (!cpumask_empty(cpumask))
2498698b1b30SVlastimil Babka 		set_cpus_allowed_ptr(tsk, cpumask);
2499698b1b30SVlastimil Babka 
2500698b1b30SVlastimil Babka 	set_freezable();
2501698b1b30SVlastimil Babka 
2502698b1b30SVlastimil Babka 	pgdat->kcompactd_max_order = 0;
2503698b1b30SVlastimil Babka 	pgdat->kcompactd_classzone_idx = pgdat->nr_zones - 1;
2504698b1b30SVlastimil Babka 
2505698b1b30SVlastimil Babka 	while (!kthread_should_stop()) {
2506eb414681SJohannes Weiner 		unsigned long pflags;
2507eb414681SJohannes Weiner 
2508698b1b30SVlastimil Babka 		trace_mm_compaction_kcompactd_sleep(pgdat->node_id);
2509698b1b30SVlastimil Babka 		wait_event_freezable(pgdat->kcompactd_wait,
2510698b1b30SVlastimil Babka 				kcompactd_work_requested(pgdat));
2511698b1b30SVlastimil Babka 
2512eb414681SJohannes Weiner 		psi_memstall_enter(&pflags);
2513698b1b30SVlastimil Babka 		kcompactd_do_work(pgdat);
2514eb414681SJohannes Weiner 		psi_memstall_leave(&pflags);
2515698b1b30SVlastimil Babka 	}
2516698b1b30SVlastimil Babka 
2517698b1b30SVlastimil Babka 	return 0;
2518698b1b30SVlastimil Babka }
2519698b1b30SVlastimil Babka 
2520698b1b30SVlastimil Babka /*
2521698b1b30SVlastimil Babka  * This kcompactd start function will be called by init and node-hot-add.
2522698b1b30SVlastimil Babka  * On node-hot-add, kcompactd will moved to proper cpus if cpus are hot-added.
2523698b1b30SVlastimil Babka  */
2524698b1b30SVlastimil Babka int kcompactd_run(int nid)
2525698b1b30SVlastimil Babka {
2526698b1b30SVlastimil Babka 	pg_data_t *pgdat = NODE_DATA(nid);
2527698b1b30SVlastimil Babka 	int ret = 0;
2528698b1b30SVlastimil Babka 
2529698b1b30SVlastimil Babka 	if (pgdat->kcompactd)
2530698b1b30SVlastimil Babka 		return 0;
2531698b1b30SVlastimil Babka 
2532698b1b30SVlastimil Babka 	pgdat->kcompactd = kthread_run(kcompactd, pgdat, "kcompactd%d", nid);
2533698b1b30SVlastimil Babka 	if (IS_ERR(pgdat->kcompactd)) {
2534698b1b30SVlastimil Babka 		pr_err("Failed to start kcompactd on node %d\n", nid);
2535698b1b30SVlastimil Babka 		ret = PTR_ERR(pgdat->kcompactd);
2536698b1b30SVlastimil Babka 		pgdat->kcompactd = NULL;
2537698b1b30SVlastimil Babka 	}
2538698b1b30SVlastimil Babka 	return ret;
2539698b1b30SVlastimil Babka }
2540698b1b30SVlastimil Babka 
2541698b1b30SVlastimil Babka /*
2542698b1b30SVlastimil Babka  * Called by memory hotplug when all memory in a node is offlined. Caller must
2543698b1b30SVlastimil Babka  * hold mem_hotplug_begin/end().
2544698b1b30SVlastimil Babka  */
2545698b1b30SVlastimil Babka void kcompactd_stop(int nid)
2546698b1b30SVlastimil Babka {
2547698b1b30SVlastimil Babka 	struct task_struct *kcompactd = NODE_DATA(nid)->kcompactd;
2548698b1b30SVlastimil Babka 
2549698b1b30SVlastimil Babka 	if (kcompactd) {
2550698b1b30SVlastimil Babka 		kthread_stop(kcompactd);
2551698b1b30SVlastimil Babka 		NODE_DATA(nid)->kcompactd = NULL;
2552698b1b30SVlastimil Babka 	}
2553698b1b30SVlastimil Babka }
2554698b1b30SVlastimil Babka 
2555698b1b30SVlastimil Babka /*
2556698b1b30SVlastimil Babka  * It's optimal to keep kcompactd on the same CPUs as their memory, but
2557698b1b30SVlastimil Babka  * not required for correctness. So if the last cpu in a node goes
2558698b1b30SVlastimil Babka  * away, we get changed to run anywhere: as the first one comes back,
2559698b1b30SVlastimil Babka  * restore their cpu bindings.
2560698b1b30SVlastimil Babka  */
2561e46b1db2SAnna-Maria Gleixner static int kcompactd_cpu_online(unsigned int cpu)
2562698b1b30SVlastimil Babka {
2563698b1b30SVlastimil Babka 	int nid;
2564698b1b30SVlastimil Babka 
2565698b1b30SVlastimil Babka 	for_each_node_state(nid, N_MEMORY) {
2566698b1b30SVlastimil Babka 		pg_data_t *pgdat = NODE_DATA(nid);
2567698b1b30SVlastimil Babka 		const struct cpumask *mask;
2568698b1b30SVlastimil Babka 
2569698b1b30SVlastimil Babka 		mask = cpumask_of_node(pgdat->node_id);
2570698b1b30SVlastimil Babka 
2571698b1b30SVlastimil Babka 		if (cpumask_any_and(cpu_online_mask, mask) < nr_cpu_ids)
2572698b1b30SVlastimil Babka 			/* One of our CPUs online: restore mask */
2573698b1b30SVlastimil Babka 			set_cpus_allowed_ptr(pgdat->kcompactd, mask);
2574698b1b30SVlastimil Babka 	}
2575e46b1db2SAnna-Maria Gleixner 	return 0;
2576698b1b30SVlastimil Babka }
2577698b1b30SVlastimil Babka 
2578698b1b30SVlastimil Babka static int __init kcompactd_init(void)
2579698b1b30SVlastimil Babka {
2580698b1b30SVlastimil Babka 	int nid;
2581e46b1db2SAnna-Maria Gleixner 	int ret;
2582e46b1db2SAnna-Maria Gleixner 
2583e46b1db2SAnna-Maria Gleixner 	ret = cpuhp_setup_state_nocalls(CPUHP_AP_ONLINE_DYN,
2584e46b1db2SAnna-Maria Gleixner 					"mm/compaction:online",
2585e46b1db2SAnna-Maria Gleixner 					kcompactd_cpu_online, NULL);
2586e46b1db2SAnna-Maria Gleixner 	if (ret < 0) {
2587e46b1db2SAnna-Maria Gleixner 		pr_err("kcompactd: failed to register hotplug callbacks.\n");
2588e46b1db2SAnna-Maria Gleixner 		return ret;
2589e46b1db2SAnna-Maria Gleixner 	}
2590698b1b30SVlastimil Babka 
2591698b1b30SVlastimil Babka 	for_each_node_state(nid, N_MEMORY)
2592698b1b30SVlastimil Babka 		kcompactd_run(nid);
2593698b1b30SVlastimil Babka 	return 0;
2594698b1b30SVlastimil Babka }
2595698b1b30SVlastimil Babka subsys_initcall(kcompactd_init)
2596698b1b30SVlastimil Babka 
2597ff9543fdSMichal Nazarewicz #endif /* CONFIG_COMPACTION */
2598