blob: 3cda95451d93e3932f3bcfb902ea5e7c9f316c9c [file] [log] [blame]
Mel Gorman748446b2010-05-24 14:32:27 -07001/*
2 * linux/mm/compaction.c
3 *
4 * Memory compaction for the reduction of external fragmentation. Note that
5 * this heavily depends upon page migration to do all the real heavy
6 * lifting
7 *
8 * Copyright IBM Corp. 2007-2010 Mel Gorman <mel@csn.ul.ie>
9 */
Vlastimil Babka698b1b32016-03-17 14:18:08 -070010#include <linux/cpu.h>
Mel Gorman748446b2010-05-24 14:32:27 -070011#include <linux/swap.h>
12#include <linux/migrate.h>
13#include <linux/compaction.h>
14#include <linux/mm_inline.h>
15#include <linux/backing-dev.h>
Mel Gorman76ab0f52010-05-24 14:32:28 -070016#include <linux/sysctl.h>
Mel Gormaned4a6d72010-05-24 14:32:29 -070017#include <linux/sysfs.h>
Minchan Kim194159f2013-02-22 16:33:58 -080018#include <linux/page-isolation.h>
Andrey Ryabininb8c73fc2015-02-13 14:39:28 -080019#include <linux/kasan.h>
Vlastimil Babka698b1b32016-03-17 14:18:08 -070020#include <linux/kthread.h>
21#include <linux/freezer.h>
Mel Gorman748446b2010-05-24 14:32:27 -070022#include "internal.h"
23
Minchan Kim010fc292012-12-20 15:05:06 -080024#ifdef CONFIG_COMPACTION
25static inline void count_compact_event(enum vm_event_item item)
26{
27 count_vm_event(item);
28}
29
30static inline void count_compact_events(enum vm_event_item item, long delta)
31{
32 count_vm_events(item, delta);
33}
34#else
35#define count_compact_event(item) do { } while (0)
36#define count_compact_events(item, delta) do { } while (0)
37#endif
38
Michal Nazarewiczff9543f2011-12-29 13:09:50 +010039#if defined CONFIG_COMPACTION || defined CONFIG_CMA
40
Mel Gormanb7aba692011-01-13 15:45:54 -080041#define CREATE_TRACE_POINTS
42#include <trace/events/compaction.h>
43
Vlastimil Babka06b66402016-05-19 17:11:48 -070044#define block_start_pfn(pfn, order) round_down(pfn, 1UL << (order))
45#define block_end_pfn(pfn, order) ALIGN((pfn) + 1, 1UL << (order))
46#define pageblock_start_pfn(pfn) block_start_pfn(pfn, pageblock_order)
47#define pageblock_end_pfn(pfn) block_end_pfn(pfn, pageblock_order)
48
Mel Gorman748446b2010-05-24 14:32:27 -070049static unsigned long release_freepages(struct list_head *freelist)
50{
51 struct page *page, *next;
Vlastimil Babka6bace092014-12-10 15:43:31 -080052 unsigned long high_pfn = 0;
Mel Gorman748446b2010-05-24 14:32:27 -070053
54 list_for_each_entry_safe(page, next, freelist, lru) {
Vlastimil Babka6bace092014-12-10 15:43:31 -080055 unsigned long pfn = page_to_pfn(page);
Mel Gorman748446b2010-05-24 14:32:27 -070056 list_del(&page->lru);
57 __free_page(page);
Vlastimil Babka6bace092014-12-10 15:43:31 -080058 if (pfn > high_pfn)
59 high_pfn = pfn;
Mel Gorman748446b2010-05-24 14:32:27 -070060 }
61
Vlastimil Babka6bace092014-12-10 15:43:31 -080062 return high_pfn;
Mel Gorman748446b2010-05-24 14:32:27 -070063}
64
Michal Nazarewiczff9543f2011-12-29 13:09:50 +010065static void map_pages(struct list_head *list)
66{
Joonsoo Kim66c64222016-07-26 15:23:40 -070067 unsigned int i, order, nr_pages;
68 struct page *page, *next;
69 LIST_HEAD(tmp_list);
Michal Nazarewiczff9543f2011-12-29 13:09:50 +010070
Joonsoo Kim66c64222016-07-26 15:23:40 -070071 list_for_each_entry_safe(page, next, list, lru) {
72 list_del(&page->lru);
73
74 order = page_private(page);
75 nr_pages = 1 << order;
76 set_page_private(page, 0);
77 set_page_refcounted(page);
78
79 arch_alloc_page(page, order);
80 kernel_map_pages(page, nr_pages, 1);
81 kasan_alloc_pages(page, order);
82 if (order)
83 split_page(page, order);
84
85 for (i = 0; i < nr_pages; i++) {
86 list_add(&page->lru, &tmp_list);
87 page++;
88 }
Michal Nazarewiczff9543f2011-12-29 13:09:50 +010089 }
Joonsoo Kim66c64222016-07-26 15:23:40 -070090
91 list_splice(&tmp_list, list);
Michal Nazarewiczff9543f2011-12-29 13:09:50 +010092}
93
Michal Nazarewicz47118af2011-12-29 13:09:50 +010094static inline bool migrate_async_suitable(int migratetype)
95{
96 return is_migrate_cma(migratetype) || migratetype == MIGRATE_MOVABLE;
97}
98
Mel Gormanbb13ffe2012-10-08 16:32:41 -070099#ifdef CONFIG_COMPACTION
Joonsoo Kim24e27162015-02-11 15:27:09 -0800100
Minchan Kimbda807d2016-07-26 15:23:05 -0700101int PageMovable(struct page *page)
102{
103 struct address_space *mapping;
104
105 VM_BUG_ON_PAGE(!PageLocked(page), page);
106 if (!__PageMovable(page))
107 return 0;
108
109 mapping = page_mapping(page);
110 if (mapping && mapping->a_ops && mapping->a_ops->isolate_page)
111 return 1;
112
113 return 0;
114}
115EXPORT_SYMBOL(PageMovable);
116
117void __SetPageMovable(struct page *page, struct address_space *mapping)
118{
119 VM_BUG_ON_PAGE(!PageLocked(page), page);
120 VM_BUG_ON_PAGE((unsigned long)mapping & PAGE_MAPPING_MOVABLE, page);
121 page->mapping = (void *)((unsigned long)mapping | PAGE_MAPPING_MOVABLE);
122}
123EXPORT_SYMBOL(__SetPageMovable);
124
125void __ClearPageMovable(struct page *page)
126{
127 VM_BUG_ON_PAGE(!PageLocked(page), page);
128 VM_BUG_ON_PAGE(!PageMovable(page), page);
129 /*
130 * Clear registered address_space val with keeping PAGE_MAPPING_MOVABLE
131 * flag so that VM can catch up released page by driver after isolation.
132 * With it, VM migration doesn't try to put it back.
133 */
134 page->mapping = (void *)((unsigned long)page->mapping &
135 PAGE_MAPPING_MOVABLE);
136}
137EXPORT_SYMBOL(__ClearPageMovable);
138
Joonsoo Kim24e27162015-02-11 15:27:09 -0800139/* Do not skip compaction more than 64 times */
140#define COMPACT_MAX_DEFER_SHIFT 6
141
142/*
143 * Compaction is deferred when compaction fails to result in a page
144 * allocation success. 1 << compact_defer_limit compactions are skipped up
145 * to a limit of 1 << COMPACT_MAX_DEFER_SHIFT
146 */
147void defer_compaction(struct zone *zone, int order)
148{
149 zone->compact_considered = 0;
150 zone->compact_defer_shift++;
151
152 if (order < zone->compact_order_failed)
153 zone->compact_order_failed = order;
154
155 if (zone->compact_defer_shift > COMPACT_MAX_DEFER_SHIFT)
156 zone->compact_defer_shift = COMPACT_MAX_DEFER_SHIFT;
157
158 trace_mm_compaction_defer_compaction(zone, order);
159}
160
161/* Returns true if compaction should be skipped this time */
162bool compaction_deferred(struct zone *zone, int order)
163{
164 unsigned long defer_limit = 1UL << zone->compact_defer_shift;
165
166 if (order < zone->compact_order_failed)
167 return false;
168
169 /* Avoid possible overflow */
170 if (++zone->compact_considered > defer_limit)
171 zone->compact_considered = defer_limit;
172
173 if (zone->compact_considered >= defer_limit)
174 return false;
175
176 trace_mm_compaction_deferred(zone, order);
177
178 return true;
179}
180
181/*
182 * Update defer tracking counters after successful compaction of given order,
183 * which means an allocation either succeeded (alloc_success == true) or is
184 * expected to succeed.
185 */
186void compaction_defer_reset(struct zone *zone, int order,
187 bool alloc_success)
188{
189 if (alloc_success) {
190 zone->compact_considered = 0;
191 zone->compact_defer_shift = 0;
192 }
193 if (order >= zone->compact_order_failed)
194 zone->compact_order_failed = order + 1;
195
196 trace_mm_compaction_defer_reset(zone, order);
197}
198
199/* Returns true if restarting compaction after many failures */
200bool compaction_restarting(struct zone *zone, int order)
201{
202 if (order < zone->compact_order_failed)
203 return false;
204
205 return zone->compact_defer_shift == COMPACT_MAX_DEFER_SHIFT &&
206 zone->compact_considered >= 1UL << zone->compact_defer_shift;
207}
208
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700209/* Returns true if the pageblock should be scanned for pages to isolate. */
210static inline bool isolation_suitable(struct compact_control *cc,
211 struct page *page)
212{
213 if (cc->ignore_skip_hint)
214 return true;
215
216 return !get_pageblock_skip(page);
217}
218
Vlastimil Babka02333642015-09-08 15:02:42 -0700219static void reset_cached_positions(struct zone *zone)
220{
221 zone->compact_cached_migrate_pfn[0] = zone->zone_start_pfn;
222 zone->compact_cached_migrate_pfn[1] = zone->zone_start_pfn;
Joonsoo Kim623446e2016-03-15 14:57:45 -0700223 zone->compact_cached_free_pfn =
Vlastimil Babka06b66402016-05-19 17:11:48 -0700224 pageblock_start_pfn(zone_end_pfn(zone) - 1);
Vlastimil Babka02333642015-09-08 15:02:42 -0700225}
226
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700227/*
228 * This function is called to clear all cached information on pageblocks that
229 * should be skipped for page isolation when the migrate and free page scanner
230 * meet.
231 */
Mel Gorman62997022012-10-08 16:32:47 -0700232static void __reset_isolation_suitable(struct zone *zone)
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700233{
234 unsigned long start_pfn = zone->zone_start_pfn;
Cody P Schafer108bcc92013-02-22 16:35:23 -0800235 unsigned long end_pfn = zone_end_pfn(zone);
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700236 unsigned long pfn;
237
Mel Gorman62997022012-10-08 16:32:47 -0700238 zone->compact_blockskip_flush = false;
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700239
240 /* Walk the zone and mark every pageblock as suitable for isolation */
241 for (pfn = start_pfn; pfn < end_pfn; pfn += pageblock_nr_pages) {
242 struct page *page;
243
244 cond_resched();
245
246 if (!pfn_valid(pfn))
247 continue;
248
249 page = pfn_to_page(pfn);
250 if (zone != page_zone(page))
251 continue;
252
253 clear_pageblock_skip(page);
254 }
Vlastimil Babka02333642015-09-08 15:02:42 -0700255
256 reset_cached_positions(zone);
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700257}
258
Mel Gorman62997022012-10-08 16:32:47 -0700259void reset_isolation_suitable(pg_data_t *pgdat)
260{
261 int zoneid;
262
263 for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) {
264 struct zone *zone = &pgdat->node_zones[zoneid];
265 if (!populated_zone(zone))
266 continue;
267
268 /* Only flush if a full compaction finished recently */
269 if (zone->compact_blockskip_flush)
270 __reset_isolation_suitable(zone);
271 }
272}
273
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700274/*
275 * If no pages were isolated then mark this pageblock to be skipped in the
Mel Gorman62997022012-10-08 16:32:47 -0700276 * future. The information is later cleared by __reset_isolation_suitable().
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700277 */
Mel Gormanc89511a2012-10-08 16:32:45 -0700278static void update_pageblock_skip(struct compact_control *cc,
279 struct page *page, unsigned long nr_isolated,
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700280 bool migrate_scanner)
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700281{
Mel Gormanc89511a2012-10-08 16:32:45 -0700282 struct zone *zone = cc->zone;
David Rientjes35979ef2014-06-04 16:08:27 -0700283 unsigned long pfn;
Joonsoo Kim6815bf32013-12-18 17:08:52 -0800284
285 if (cc->ignore_skip_hint)
286 return;
287
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700288 if (!page)
289 return;
290
David Rientjes35979ef2014-06-04 16:08:27 -0700291 if (nr_isolated)
292 return;
293
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700294 set_pageblock_skip(page);
Mel Gormanc89511a2012-10-08 16:32:45 -0700295
David Rientjes35979ef2014-06-04 16:08:27 -0700296 pfn = page_to_pfn(page);
297
298 /* Update where async and sync compaction should restart */
299 if (migrate_scanner) {
David Rientjes35979ef2014-06-04 16:08:27 -0700300 if (pfn > zone->compact_cached_migrate_pfn[0])
301 zone->compact_cached_migrate_pfn[0] = pfn;
David Rientjese0b9dae2014-06-04 16:08:28 -0700302 if (cc->mode != MIGRATE_ASYNC &&
303 pfn > zone->compact_cached_migrate_pfn[1])
David Rientjes35979ef2014-06-04 16:08:27 -0700304 zone->compact_cached_migrate_pfn[1] = pfn;
305 } else {
David Rientjes35979ef2014-06-04 16:08:27 -0700306 if (pfn < zone->compact_cached_free_pfn)
307 zone->compact_cached_free_pfn = pfn;
Mel Gormanc89511a2012-10-08 16:32:45 -0700308 }
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700309}
310#else
311static inline bool isolation_suitable(struct compact_control *cc,
312 struct page *page)
313{
314 return true;
315}
316
Mel Gormanc89511a2012-10-08 16:32:45 -0700317static void update_pageblock_skip(struct compact_control *cc,
318 struct page *page, unsigned long nr_isolated,
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700319 bool migrate_scanner)
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700320{
321}
322#endif /* CONFIG_COMPACTION */
323
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700324/*
325 * Compaction requires the taking of some coarse locks that are potentially
326 * very heavily contended. For async compaction, back out if the lock cannot
327 * be taken immediately. For sync compaction, spin on the lock if needed.
328 *
329 * Returns true if the lock is held
330 * Returns false if the lock is not held and compaction should abort
331 */
332static bool compact_trylock_irqsave(spinlock_t *lock, unsigned long *flags,
333 struct compact_control *cc)
Mel Gorman2a1402a2012-10-08 16:32:33 -0700334{
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700335 if (cc->mode == MIGRATE_ASYNC) {
336 if (!spin_trylock_irqsave(lock, *flags)) {
337 cc->contended = COMPACT_CONTENDED_LOCK;
338 return false;
339 }
340 } else {
341 spin_lock_irqsave(lock, *flags);
342 }
Vlastimil Babka1f9efde2014-10-09 15:27:14 -0700343
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700344 return true;
Mel Gorman2a1402a2012-10-08 16:32:33 -0700345}
346
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100347/*
Mel Gormanc67fe372012-08-21 16:16:17 -0700348 * Compaction requires the taking of some coarse locks that are potentially
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700349 * very heavily contended. The lock should be periodically unlocked to avoid
350 * having disabled IRQs for a long time, even when there is nobody waiting on
351 * the lock. It might also be that allowing the IRQs will result in
352 * need_resched() becoming true. If scheduling is needed, async compaction
353 * aborts. Sync compaction schedules.
354 * Either compaction type will also abort if a fatal signal is pending.
355 * In either case if the lock was locked, it is dropped and not regained.
Mel Gormanc67fe372012-08-21 16:16:17 -0700356 *
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700357 * Returns true if compaction should abort due to fatal signal pending, or
358 * async compaction due to need_resched()
359 * Returns false when compaction can continue (sync compaction might have
360 * scheduled)
Mel Gormanc67fe372012-08-21 16:16:17 -0700361 */
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700362static bool compact_unlock_should_abort(spinlock_t *lock,
363 unsigned long flags, bool *locked, struct compact_control *cc)
Mel Gormanc67fe372012-08-21 16:16:17 -0700364{
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700365 if (*locked) {
366 spin_unlock_irqrestore(lock, flags);
367 *locked = false;
368 }
Vlastimil Babka1f9efde2014-10-09 15:27:14 -0700369
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700370 if (fatal_signal_pending(current)) {
371 cc->contended = COMPACT_CONTENDED_SCHED;
372 return true;
373 }
Mel Gormanc67fe372012-08-21 16:16:17 -0700374
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700375 if (need_resched()) {
David Rientjese0b9dae2014-06-04 16:08:28 -0700376 if (cc->mode == MIGRATE_ASYNC) {
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700377 cc->contended = COMPACT_CONTENDED_SCHED;
378 return true;
Mel Gormanc67fe372012-08-21 16:16:17 -0700379 }
Mel Gormanc67fe372012-08-21 16:16:17 -0700380 cond_resched();
Mel Gormanc67fe372012-08-21 16:16:17 -0700381 }
382
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700383 return false;
Mel Gormanc67fe372012-08-21 16:16:17 -0700384}
385
Vlastimil Babkabe976572014-06-04 16:10:41 -0700386/*
387 * Aside from avoiding lock contention, compaction also periodically checks
388 * need_resched() and either schedules in sync compaction or aborts async
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700389 * compaction. This is similar to what compact_unlock_should_abort() does, but
Vlastimil Babkabe976572014-06-04 16:10:41 -0700390 * is used where no lock is concerned.
391 *
392 * Returns false when no scheduling was needed, or sync compaction scheduled.
393 * Returns true when async compaction should abort.
394 */
395static inline bool compact_should_abort(struct compact_control *cc)
396{
397 /* async compaction aborts if contended */
398 if (need_resched()) {
399 if (cc->mode == MIGRATE_ASYNC) {
Vlastimil Babka1f9efde2014-10-09 15:27:14 -0700400 cc->contended = COMPACT_CONTENDED_SCHED;
Vlastimil Babkabe976572014-06-04 16:10:41 -0700401 return true;
402 }
403
404 cond_resched();
405 }
406
407 return false;
408}
409
Mel Gormanc67fe372012-08-21 16:16:17 -0700410/*
Jerome Marchand9e4be472013-11-12 15:07:12 -0800411 * Isolate free pages onto a private freelist. If @strict is true, will abort
412 * returning 0 on any invalid PFNs or non-free pages inside of the pageblock
413 * (even though it may still end up isolating some pages).
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100414 */
Mel Gormanf40d1e42012-10-08 16:32:36 -0700415static unsigned long isolate_freepages_block(struct compact_control *cc,
Vlastimil Babkae14c7202014-10-09 15:27:20 -0700416 unsigned long *start_pfn,
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100417 unsigned long end_pfn,
418 struct list_head *freelist,
419 bool strict)
Mel Gorman748446b2010-05-24 14:32:27 -0700420{
Mel Gormanb7aba692011-01-13 15:45:54 -0800421 int nr_scanned = 0, total_isolated = 0;
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700422 struct page *cursor, *valid_page = NULL;
Xiubo Lib8b2d822014-10-09 15:28:21 -0700423 unsigned long flags = 0;
Mel Gormanf40d1e42012-10-08 16:32:36 -0700424 bool locked = false;
Vlastimil Babkae14c7202014-10-09 15:27:20 -0700425 unsigned long blockpfn = *start_pfn;
Joonsoo Kim66c64222016-07-26 15:23:40 -0700426 unsigned int order;
Mel Gorman748446b2010-05-24 14:32:27 -0700427
Mel Gorman748446b2010-05-24 14:32:27 -0700428 cursor = pfn_to_page(blockpfn);
429
Mel Gormanf40d1e42012-10-08 16:32:36 -0700430 /* Isolate free pages. */
Mel Gorman748446b2010-05-24 14:32:27 -0700431 for (; blockpfn < end_pfn; blockpfn++, cursor++) {
Joonsoo Kim66c64222016-07-26 15:23:40 -0700432 int isolated;
Mel Gorman748446b2010-05-24 14:32:27 -0700433 struct page *page = cursor;
434
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700435 /*
436 * Periodically drop the lock (if held) regardless of its
437 * contention, to give chance to IRQs. Abort if fatal signal
438 * pending or async compaction detects need_resched()
439 */
440 if (!(blockpfn % SWAP_CLUSTER_MAX)
441 && compact_unlock_should_abort(&cc->zone->lock, flags,
442 &locked, cc))
443 break;
444
Mel Gormanb7aba692011-01-13 15:45:54 -0800445 nr_scanned++;
Mel Gormanf40d1e42012-10-08 16:32:36 -0700446 if (!pfn_valid_within(blockpfn))
Laura Abbott2af120b2014-03-10 15:49:44 -0700447 goto isolate_fail;
448
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700449 if (!valid_page)
450 valid_page = page;
Vlastimil Babka9fcd6d22015-09-08 15:02:49 -0700451
452 /*
453 * For compound pages such as THP and hugetlbfs, we can save
454 * potentially a lot of iterations if we skip them at once.
455 * The check is racy, but we can consider only valid values
456 * and the only danger is skipping too much.
457 */
458 if (PageCompound(page)) {
459 unsigned int comp_order = compound_order(page);
460
461 if (likely(comp_order < MAX_ORDER)) {
462 blockpfn += (1UL << comp_order) - 1;
463 cursor += (1UL << comp_order) - 1;
464 }
465
466 goto isolate_fail;
467 }
468
Mel Gormanf40d1e42012-10-08 16:32:36 -0700469 if (!PageBuddy(page))
Laura Abbott2af120b2014-03-10 15:49:44 -0700470 goto isolate_fail;
Mel Gormanf40d1e42012-10-08 16:32:36 -0700471
472 /*
Vlastimil Babka69b71892014-10-09 15:27:18 -0700473 * If we already hold the lock, we can skip some rechecking.
474 * Note that if we hold the lock now, checked_pageblock was
475 * already set in some previous iteration (or strict is true),
476 * so it is correct to skip the suitable migration target
477 * recheck as well.
Mel Gormanf40d1e42012-10-08 16:32:36 -0700478 */
Vlastimil Babka69b71892014-10-09 15:27:18 -0700479 if (!locked) {
480 /*
481 * The zone lock must be held to isolate freepages.
482 * Unfortunately this is a very coarse lock and can be
483 * heavily contended if there are parallel allocations
484 * or parallel compactions. For async compaction do not
485 * spin on the lock and we acquire the lock as late as
486 * possible.
487 */
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700488 locked = compact_trylock_irqsave(&cc->zone->lock,
489 &flags, cc);
Vlastimil Babka69b71892014-10-09 15:27:18 -0700490 if (!locked)
491 break;
Mel Gormanf40d1e42012-10-08 16:32:36 -0700492
Vlastimil Babka69b71892014-10-09 15:27:18 -0700493 /* Recheck this is a buddy page under lock */
494 if (!PageBuddy(page))
495 goto isolate_fail;
496 }
Mel Gorman748446b2010-05-24 14:32:27 -0700497
Joonsoo Kim66c64222016-07-26 15:23:40 -0700498 /* Found a free page, will break it into order-0 pages */
499 order = page_order(page);
500 isolated = __isolate_free_page(page, order);
David Rientjesa4f04f22016-06-24 14:50:10 -0700501 if (!isolated)
502 break;
Joonsoo Kim66c64222016-07-26 15:23:40 -0700503 set_page_private(page, order);
David Rientjesa4f04f22016-06-24 14:50:10 -0700504
Mel Gorman748446b2010-05-24 14:32:27 -0700505 total_isolated += isolated;
David Rientjesa4f04f22016-06-24 14:50:10 -0700506 cc->nr_freepages += isolated;
Joonsoo Kim66c64222016-07-26 15:23:40 -0700507 list_add_tail(&page->lru, freelist);
508
David Rientjesa4f04f22016-06-24 14:50:10 -0700509 if (!strict && cc->nr_migratepages <= cc->nr_freepages) {
510 blockpfn += isolated;
511 break;
Mel Gorman748446b2010-05-24 14:32:27 -0700512 }
David Rientjesa4f04f22016-06-24 14:50:10 -0700513 /* Advance to the end of split page */
514 blockpfn += isolated - 1;
515 cursor += isolated - 1;
516 continue;
Laura Abbott2af120b2014-03-10 15:49:44 -0700517
518isolate_fail:
519 if (strict)
520 break;
521 else
522 continue;
523
Mel Gorman748446b2010-05-24 14:32:27 -0700524 }
525
David Rientjesa4f04f22016-06-24 14:50:10 -0700526 if (locked)
527 spin_unlock_irqrestore(&cc->zone->lock, flags);
528
Vlastimil Babka9fcd6d22015-09-08 15:02:49 -0700529 /*
530 * There is a tiny chance that we have read bogus compound_order(),
531 * so be careful to not go outside of the pageblock.
532 */
533 if (unlikely(blockpfn > end_pfn))
534 blockpfn = end_pfn;
535
Joonsoo Kime34d85f2015-02-11 15:27:04 -0800536 trace_mm_compaction_isolate_freepages(*start_pfn, blockpfn,
537 nr_scanned, total_isolated);
538
Vlastimil Babkae14c7202014-10-09 15:27:20 -0700539 /* Record how far we have got within the block */
540 *start_pfn = blockpfn;
541
Mel Gormanf40d1e42012-10-08 16:32:36 -0700542 /*
543 * If strict isolation is requested by CMA then check that all the
544 * pages requested were isolated. If there were any failures, 0 is
545 * returned and CMA will fail.
546 */
Laura Abbott2af120b2014-03-10 15:49:44 -0700547 if (strict && blockpfn < end_pfn)
Mel Gormanf40d1e42012-10-08 16:32:36 -0700548 total_isolated = 0;
549
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700550 /* Update the pageblock-skip if the whole pageblock was scanned */
551 if (blockpfn == end_pfn)
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700552 update_pageblock_skip(cc, valid_page, total_isolated, false);
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700553
Minchan Kim010fc292012-12-20 15:05:06 -0800554 count_compact_events(COMPACTFREE_SCANNED, nr_scanned);
Mel Gorman397487d2012-10-19 12:00:10 +0100555 if (total_isolated)
Minchan Kim010fc292012-12-20 15:05:06 -0800556 count_compact_events(COMPACTISOLATED, total_isolated);
Mel Gorman748446b2010-05-24 14:32:27 -0700557 return total_isolated;
558}
559
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100560/**
561 * isolate_freepages_range() - isolate free pages.
562 * @start_pfn: The first PFN to start isolating.
563 * @end_pfn: The one-past-last PFN.
564 *
565 * Non-free pages, invalid PFNs, or zone boundaries within the
566 * [start_pfn, end_pfn) range are considered errors, cause function to
567 * undo its actions and return zero.
568 *
569 * Otherwise, function returns one-past-the-last PFN of isolated page
570 * (which may be greater then end_pfn if end fell in a middle of
571 * a free page).
572 */
Michal Nazarewiczff9543f2011-12-29 13:09:50 +0100573unsigned long
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700574isolate_freepages_range(struct compact_control *cc,
575 unsigned long start_pfn, unsigned long end_pfn)
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100576{
Joonsoo Kime1409c32016-03-15 14:57:48 -0700577 unsigned long isolated, pfn, block_start_pfn, block_end_pfn;
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100578 LIST_HEAD(freelist);
579
Vlastimil Babka7d49d882014-10-09 15:27:11 -0700580 pfn = start_pfn;
Vlastimil Babka06b66402016-05-19 17:11:48 -0700581 block_start_pfn = pageblock_start_pfn(pfn);
Joonsoo Kime1409c32016-03-15 14:57:48 -0700582 if (block_start_pfn < cc->zone->zone_start_pfn)
583 block_start_pfn = cc->zone->zone_start_pfn;
Vlastimil Babka06b66402016-05-19 17:11:48 -0700584 block_end_pfn = pageblock_end_pfn(pfn);
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100585
Vlastimil Babka7d49d882014-10-09 15:27:11 -0700586 for (; pfn < end_pfn; pfn += isolated,
Joonsoo Kime1409c32016-03-15 14:57:48 -0700587 block_start_pfn = block_end_pfn,
Vlastimil Babka7d49d882014-10-09 15:27:11 -0700588 block_end_pfn += pageblock_nr_pages) {
Vlastimil Babkae14c7202014-10-09 15:27:20 -0700589 /* Protect pfn from changing by isolate_freepages_block */
590 unsigned long isolate_start_pfn = pfn;
Vlastimil Babka7d49d882014-10-09 15:27:11 -0700591
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100592 block_end_pfn = min(block_end_pfn, end_pfn);
593
Joonsoo Kim58420012014-11-13 15:19:07 -0800594 /*
595 * pfn could pass the block_end_pfn if isolated freepage
596 * is more than pageblock order. In this case, we adjust
597 * scanning range to right one.
598 */
599 if (pfn >= block_end_pfn) {
Vlastimil Babka06b66402016-05-19 17:11:48 -0700600 block_start_pfn = pageblock_start_pfn(pfn);
601 block_end_pfn = pageblock_end_pfn(pfn);
Joonsoo Kim58420012014-11-13 15:19:07 -0800602 block_end_pfn = min(block_end_pfn, end_pfn);
603 }
604
Joonsoo Kime1409c32016-03-15 14:57:48 -0700605 if (!pageblock_pfn_to_page(block_start_pfn,
606 block_end_pfn, cc->zone))
Vlastimil Babka7d49d882014-10-09 15:27:11 -0700607 break;
608
Vlastimil Babkae14c7202014-10-09 15:27:20 -0700609 isolated = isolate_freepages_block(cc, &isolate_start_pfn,
610 block_end_pfn, &freelist, true);
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100611
612 /*
613 * In strict mode, isolate_freepages_block() returns 0 if
614 * there are any holes in the block (ie. invalid PFNs or
615 * non-free pages).
616 */
617 if (!isolated)
618 break;
619
620 /*
621 * If we managed to isolate pages, it is always (1 << n) *
622 * pageblock_nr_pages for some non-negative n. (Max order
623 * page may span two pageblocks).
624 */
625 }
626
Joonsoo Kim66c64222016-07-26 15:23:40 -0700627 /* __isolate_free_page() does not map the pages */
Michal Nazarewicz85aa1252012-01-30 13:24:03 +0100628 map_pages(&freelist);
629
630 if (pfn < end_pfn) {
631 /* Loop terminated early, cleanup. */
632 release_freepages(&freelist);
633 return 0;
634 }
635
636 /* We don't use freelists for anything. */
637 return pfn;
638}
639
Mel Gorman748446b2010-05-24 14:32:27 -0700640/* Update the number of anon and file isolated pages in the zone */
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700641static void acct_isolated(struct zone *zone, struct compact_control *cc)
Mel Gorman748446b2010-05-24 14:32:27 -0700642{
643 struct page *page;
Minchan Kimb9e84ac2011-10-31 17:06:44 -0700644 unsigned int count[2] = { 0, };
Mel Gorman748446b2010-05-24 14:32:27 -0700645
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700646 if (list_empty(&cc->migratepages))
647 return;
648
Minchan Kimb9e84ac2011-10-31 17:06:44 -0700649 list_for_each_entry(page, &cc->migratepages, lru)
650 count[!!page_is_file_cache(page)]++;
Mel Gorman748446b2010-05-24 14:32:27 -0700651
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700652 mod_zone_page_state(zone, NR_ISOLATED_ANON, count[0]);
653 mod_zone_page_state(zone, NR_ISOLATED_FILE, count[1]);
Mel Gorman748446b2010-05-24 14:32:27 -0700654}
655
656/* Similar to reclaim, but different enough that they don't share logic */
657static bool too_many_isolated(struct zone *zone)
658{
Minchan Kimbc693042010-09-09 16:38:00 -0700659 unsigned long active, inactive, isolated;
Mel Gorman748446b2010-05-24 14:32:27 -0700660
661 inactive = zone_page_state(zone, NR_INACTIVE_FILE) +
662 zone_page_state(zone, NR_INACTIVE_ANON);
Minchan Kimbc693042010-09-09 16:38:00 -0700663 active = zone_page_state(zone, NR_ACTIVE_FILE) +
664 zone_page_state(zone, NR_ACTIVE_ANON);
Mel Gorman748446b2010-05-24 14:32:27 -0700665 isolated = zone_page_state(zone, NR_ISOLATED_FILE) +
666 zone_page_state(zone, NR_ISOLATED_ANON);
667
Minchan Kimbc693042010-09-09 16:38:00 -0700668 return isolated > (inactive + active) / 2;
Mel Gorman748446b2010-05-24 14:32:27 -0700669}
670
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +0100671/**
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700672 * isolate_migratepages_block() - isolate all migrate-able pages within
673 * a single pageblock
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +0100674 * @cc: Compaction control structure.
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700675 * @low_pfn: The first PFN to isolate
676 * @end_pfn: The one-past-the-last PFN to isolate, within same pageblock
677 * @isolate_mode: Isolation mode to be used.
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +0100678 *
679 * Isolate all pages that can be migrated from the range specified by
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700680 * [low_pfn, end_pfn). The range is expected to be within same pageblock.
681 * Returns zero if there is a fatal signal pending, otherwise PFN of the
682 * first page that was not scanned (which may be both less, equal to or more
683 * than end_pfn).
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +0100684 *
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700685 * The pages are isolated on cc->migratepages list (not required to be empty),
686 * and cc->nr_migratepages is updated accordingly. The cc->migrate_pfn field
687 * is neither read nor updated.
Mel Gorman748446b2010-05-24 14:32:27 -0700688 */
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700689static unsigned long
690isolate_migratepages_block(struct compact_control *cc, unsigned long low_pfn,
691 unsigned long end_pfn, isolate_mode_t isolate_mode)
Mel Gorman748446b2010-05-24 14:32:27 -0700692{
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700693 struct zone *zone = cc->zone;
Mel Gormanb7aba692011-01-13 15:45:54 -0800694 unsigned long nr_scanned = 0, nr_isolated = 0;
Hugh Dickinsfa9add62012-05-29 15:07:09 -0700695 struct lruvec *lruvec;
Xiubo Lib8b2d822014-10-09 15:28:21 -0700696 unsigned long flags = 0;
Mel Gorman2a1402a2012-10-08 16:32:33 -0700697 bool locked = false;
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700698 struct page *page = NULL, *valid_page = NULL;
Joonsoo Kime34d85f2015-02-11 15:27:04 -0800699 unsigned long start_pfn = low_pfn;
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700700 bool skip_on_failure = false;
701 unsigned long next_skip_pfn = 0;
Mel Gorman748446b2010-05-24 14:32:27 -0700702
Mel Gorman748446b2010-05-24 14:32:27 -0700703 /*
704 * Ensure that there are not too many pages isolated from the LRU
705 * list by either parallel reclaimers or compaction. If there are,
706 * delay for some time until fewer pages are isolated
707 */
708 while (unlikely(too_many_isolated(zone))) {
Mel Gormanf9e35b32011-06-15 15:08:52 -0700709 /* async migration should just abort */
David Rientjese0b9dae2014-06-04 16:08:28 -0700710 if (cc->mode == MIGRATE_ASYNC)
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +0100711 return 0;
Mel Gormanf9e35b32011-06-15 15:08:52 -0700712
Mel Gorman748446b2010-05-24 14:32:27 -0700713 congestion_wait(BLK_RW_ASYNC, HZ/10);
714
715 if (fatal_signal_pending(current))
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +0100716 return 0;
Mel Gorman748446b2010-05-24 14:32:27 -0700717 }
718
Vlastimil Babkabe976572014-06-04 16:10:41 -0700719 if (compact_should_abort(cc))
720 return 0;
David Rientjesaeef4b82014-06-04 16:08:31 -0700721
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700722 if (cc->direct_compaction && (cc->mode == MIGRATE_ASYNC)) {
723 skip_on_failure = true;
724 next_skip_pfn = block_end_pfn(low_pfn, cc->order);
725 }
726
Mel Gorman748446b2010-05-24 14:32:27 -0700727 /* Time to isolate some pages for migration */
Mel Gorman748446b2010-05-24 14:32:27 -0700728 for (; low_pfn < end_pfn; low_pfn++) {
Vlastimil Babka29c0dde2015-09-08 15:02:46 -0700729
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700730 if (skip_on_failure && low_pfn >= next_skip_pfn) {
731 /*
732 * We have isolated all migration candidates in the
733 * previous order-aligned block, and did not skip it due
734 * to failure. We should migrate the pages now and
735 * hopefully succeed compaction.
736 */
737 if (nr_isolated)
738 break;
739
740 /*
741 * We failed to isolate in the previous order-aligned
742 * block. Set the new boundary to the end of the
743 * current block. Note we can't simply increase
744 * next_skip_pfn by 1 << order, as low_pfn might have
745 * been incremented by a higher number due to skipping
746 * a compound or a high-order buddy page in the
747 * previous loop iteration.
748 */
749 next_skip_pfn = block_end_pfn(low_pfn, cc->order);
750 }
751
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700752 /*
753 * Periodically drop the lock (if held) regardless of its
754 * contention, to give chance to IRQs. Abort async compaction
755 * if contended.
756 */
757 if (!(low_pfn % SWAP_CLUSTER_MAX)
758 && compact_unlock_should_abort(&zone->lru_lock, flags,
759 &locked, cc))
760 break;
Mel Gormanc67fe372012-08-21 16:16:17 -0700761
Mel Gorman748446b2010-05-24 14:32:27 -0700762 if (!pfn_valid_within(low_pfn))
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700763 goto isolate_fail;
Mel Gormanb7aba692011-01-13 15:45:54 -0800764 nr_scanned++;
Mel Gorman748446b2010-05-24 14:32:27 -0700765
Mel Gorman748446b2010-05-24 14:32:27 -0700766 page = pfn_to_page(low_pfn);
Mel Gormandc908602012-02-08 17:13:38 -0800767
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700768 if (!valid_page)
769 valid_page = page;
770
Mel Gorman6c144662014-01-23 15:53:38 -0800771 /*
Vlastimil Babka99c0fd52014-10-09 15:27:23 -0700772 * Skip if free. We read page order here without zone lock
773 * which is generally unsafe, but the race window is small and
774 * the worst thing that can happen is that we skip some
775 * potential isolation targets.
Mel Gorman6c144662014-01-23 15:53:38 -0800776 */
Vlastimil Babka99c0fd52014-10-09 15:27:23 -0700777 if (PageBuddy(page)) {
778 unsigned long freepage_order = page_order_unsafe(page);
779
780 /*
781 * Without lock, we cannot be sure that what we got is
782 * a valid page order. Consider only values in the
783 * valid order range to prevent low_pfn overflow.
784 */
785 if (freepage_order > 0 && freepage_order < MAX_ORDER)
786 low_pfn += (1UL << freepage_order) - 1;
Mel Gorman748446b2010-05-24 14:32:27 -0700787 continue;
Vlastimil Babka99c0fd52014-10-09 15:27:23 -0700788 }
Mel Gorman748446b2010-05-24 14:32:27 -0700789
Mel Gorman9927af742011-01-13 15:45:59 -0800790 /*
Vlastimil Babka29c0dde2015-09-08 15:02:46 -0700791 * Regardless of being on LRU, compound pages such as THP and
792 * hugetlbfs are not to be compacted. We can potentially save
793 * a lot of iterations if we skip them at once. The check is
794 * racy, but we can consider only valid values and the only
795 * danger is skipping too much.
Andrea Arcangelibc835012011-01-13 15:47:08 -0800796 */
Vlastimil Babka29c0dde2015-09-08 15:02:46 -0700797 if (PageCompound(page)) {
798 unsigned int comp_order = compound_order(page);
799
800 if (likely(comp_order < MAX_ORDER))
801 low_pfn += (1UL << comp_order) - 1;
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700802
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700803 goto isolate_fail;
Mel Gorman2a1402a2012-10-08 16:32:33 -0700804 }
805
Minchan Kimbda807d2016-07-26 15:23:05 -0700806 /*
807 * Check may be lockless but that's ok as we recheck later.
808 * It's possible to migrate LRU and non-lru movable pages.
809 * Skip any other type of page
810 */
811 if (!PageLRU(page)) {
Minchan Kimbda807d2016-07-26 15:23:05 -0700812 /*
813 * __PageMovable can return false positive so we need
814 * to verify it under page_lock.
815 */
816 if (unlikely(__PageMovable(page)) &&
817 !PageIsolated(page)) {
818 if (locked) {
819 spin_unlock_irqrestore(&zone->lru_lock,
820 flags);
821 locked = false;
822 }
823
824 if (isolate_movable_page(page, isolate_mode))
825 goto isolate_success;
826 }
827
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700828 goto isolate_fail;
Minchan Kimbda807d2016-07-26 15:23:05 -0700829 }
Vlastimil Babka29c0dde2015-09-08 15:02:46 -0700830
David Rientjes119d6d52014-04-03 14:48:00 -0700831 /*
832 * Migration will fail if an anonymous page is pinned in memory,
833 * so avoid taking lru_lock and isolating it unnecessarily in an
834 * admittedly racy check.
835 */
836 if (!page_mapping(page) &&
837 page_count(page) > page_mapcount(page))
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700838 goto isolate_fail;
David Rientjes119d6d52014-04-03 14:48:00 -0700839
Vlastimil Babka69b71892014-10-09 15:27:18 -0700840 /* If we already hold the lock, we can skip some rechecking */
841 if (!locked) {
Vlastimil Babka8b44d272014-10-09 15:27:16 -0700842 locked = compact_trylock_irqsave(&zone->lru_lock,
843 &flags, cc);
Vlastimil Babka69b71892014-10-09 15:27:18 -0700844 if (!locked)
845 break;
Mel Gorman2a1402a2012-10-08 16:32:33 -0700846
Vlastimil Babka29c0dde2015-09-08 15:02:46 -0700847 /* Recheck PageLRU and PageCompound under lock */
Vlastimil Babka69b71892014-10-09 15:27:18 -0700848 if (!PageLRU(page))
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700849 goto isolate_fail;
Vlastimil Babka29c0dde2015-09-08 15:02:46 -0700850
851 /*
852 * Page become compound since the non-locked check,
853 * and it's on LRU. It can only be a THP so the order
854 * is safe to read and it's 0 for tail pages.
855 */
856 if (unlikely(PageCompound(page))) {
857 low_pfn += (1UL << compound_order(page)) - 1;
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700858 goto isolate_fail;
Vlastimil Babka69b71892014-10-09 15:27:18 -0700859 }
Andrea Arcangelibc835012011-01-13 15:47:08 -0800860 }
861
Hugh Dickinsfa9add62012-05-29 15:07:09 -0700862 lruvec = mem_cgroup_page_lruvec(page, zone);
863
Mel Gorman748446b2010-05-24 14:32:27 -0700864 /* Try isolate the page */
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700865 if (__isolate_lru_page(page, isolate_mode) != 0)
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700866 goto isolate_fail;
Mel Gorman748446b2010-05-24 14:32:27 -0700867
Vlastimil Babka29c0dde2015-09-08 15:02:46 -0700868 VM_BUG_ON_PAGE(PageCompound(page), page);
Andrea Arcangelibc835012011-01-13 15:47:08 -0800869
Mel Gorman748446b2010-05-24 14:32:27 -0700870 /* Successfully isolated */
Hugh Dickinsfa9add62012-05-29 15:07:09 -0700871 del_page_from_lru_list(page, lruvec, page_lru(page));
Joonsoo Kimb6c75012014-04-07 15:37:07 -0700872
873isolate_success:
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700874 list_add(&page->lru, &cc->migratepages);
Mel Gorman748446b2010-05-24 14:32:27 -0700875 cc->nr_migratepages++;
Mel Gormanb7aba692011-01-13 15:45:54 -0800876 nr_isolated++;
Mel Gorman748446b2010-05-24 14:32:27 -0700877
Vlastimil Babkaa34753d2016-05-19 17:11:51 -0700878 /*
879 * Record where we could have freed pages by migration and not
880 * yet flushed them to buddy allocator.
881 * - this is the lowest page that was isolated and likely be
882 * then freed by migration.
883 */
884 if (!cc->last_migrated_pfn)
885 cc->last_migrated_pfn = low_pfn;
886
Mel Gorman748446b2010-05-24 14:32:27 -0700887 /* Avoid isolating too much */
Hillf Danton31b83842012-01-10 15:07:59 -0800888 if (cc->nr_migratepages == COMPACT_CLUSTER_MAX) {
889 ++low_pfn;
Mel Gorman748446b2010-05-24 14:32:27 -0700890 break;
Hillf Danton31b83842012-01-10 15:07:59 -0800891 }
Vlastimil Babkafdd048e2016-05-19 17:11:55 -0700892
893 continue;
894isolate_fail:
895 if (!skip_on_failure)
896 continue;
897
898 /*
899 * We have isolated some pages, but then failed. Release them
900 * instead of migrating, as we cannot form the cc->order buddy
901 * page anyway.
902 */
903 if (nr_isolated) {
904 if (locked) {
905 spin_unlock_irqrestore(&zone->lru_lock, flags);
906 locked = false;
907 }
908 acct_isolated(zone, cc);
909 putback_movable_pages(&cc->migratepages);
910 cc->nr_migratepages = 0;
911 cc->last_migrated_pfn = 0;
912 nr_isolated = 0;
913 }
914
915 if (low_pfn < next_skip_pfn) {
916 low_pfn = next_skip_pfn - 1;
917 /*
918 * The check near the loop beginning would have updated
919 * next_skip_pfn too, but this is a bit simpler.
920 */
921 next_skip_pfn += 1UL << cc->order;
922 }
Mel Gorman748446b2010-05-24 14:32:27 -0700923 }
924
Vlastimil Babka99c0fd52014-10-09 15:27:23 -0700925 /*
926 * The PageBuddy() check could have potentially brought us outside
927 * the range to be scanned.
928 */
929 if (unlikely(low_pfn > end_pfn))
930 low_pfn = end_pfn;
931
Mel Gormanc67fe372012-08-21 16:16:17 -0700932 if (locked)
933 spin_unlock_irqrestore(&zone->lru_lock, flags);
Mel Gorman748446b2010-05-24 14:32:27 -0700934
Vlastimil Babka50b5b092014-01-21 15:51:10 -0800935 /*
936 * Update the pageblock-skip information and cached scanner pfn,
937 * if the whole pageblock was scanned without isolating any page.
Vlastimil Babka50b5b092014-01-21 15:51:10 -0800938 */
David Rientjes35979ef2014-06-04 16:08:27 -0700939 if (low_pfn == end_pfn)
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700940 update_pageblock_skip(cc, valid_page, nr_isolated, true);
Mel Gormanbb13ffe2012-10-08 16:32:41 -0700941
Joonsoo Kime34d85f2015-02-11 15:27:04 -0800942 trace_mm_compaction_isolate_migratepages(start_pfn, low_pfn,
943 nr_scanned, nr_isolated);
Mel Gormanb7aba692011-01-13 15:45:54 -0800944
Minchan Kim010fc292012-12-20 15:05:06 -0800945 count_compact_events(COMPACTMIGRATE_SCANNED, nr_scanned);
Mel Gorman397487d2012-10-19 12:00:10 +0100946 if (nr_isolated)
Minchan Kim010fc292012-12-20 15:05:06 -0800947 count_compact_events(COMPACTISOLATED, nr_isolated);
Mel Gorman397487d2012-10-19 12:00:10 +0100948
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +0100949 return low_pfn;
950}
951
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700952/**
953 * isolate_migratepages_range() - isolate migrate-able pages in a PFN range
954 * @cc: Compaction control structure.
955 * @start_pfn: The first PFN to start isolating.
956 * @end_pfn: The one-past-last PFN.
957 *
958 * Returns zero if isolation fails fatally due to e.g. pending signal.
959 * Otherwise, function returns one-past-the-last PFN of isolated page
960 * (which may be greater than end_pfn if end fell in a middle of a THP page).
961 */
962unsigned long
963isolate_migratepages_range(struct compact_control *cc, unsigned long start_pfn,
964 unsigned long end_pfn)
965{
Joonsoo Kime1409c32016-03-15 14:57:48 -0700966 unsigned long pfn, block_start_pfn, block_end_pfn;
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700967
968 /* Scan block by block. First and last block may be incomplete */
969 pfn = start_pfn;
Vlastimil Babka06b66402016-05-19 17:11:48 -0700970 block_start_pfn = pageblock_start_pfn(pfn);
Joonsoo Kime1409c32016-03-15 14:57:48 -0700971 if (block_start_pfn < cc->zone->zone_start_pfn)
972 block_start_pfn = cc->zone->zone_start_pfn;
Vlastimil Babka06b66402016-05-19 17:11:48 -0700973 block_end_pfn = pageblock_end_pfn(pfn);
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700974
975 for (; pfn < end_pfn; pfn = block_end_pfn,
Joonsoo Kime1409c32016-03-15 14:57:48 -0700976 block_start_pfn = block_end_pfn,
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700977 block_end_pfn += pageblock_nr_pages) {
978
979 block_end_pfn = min(block_end_pfn, end_pfn);
980
Joonsoo Kime1409c32016-03-15 14:57:48 -0700981 if (!pageblock_pfn_to_page(block_start_pfn,
982 block_end_pfn, cc->zone))
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700983 continue;
984
985 pfn = isolate_migratepages_block(cc, pfn, block_end_pfn,
986 ISOLATE_UNEVICTABLE);
987
Hugh Dickins14af4a52016-05-05 16:22:15 -0700988 if (!pfn)
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700989 break;
Joonsoo Kim6ea41c02014-10-29 14:50:20 -0700990
991 if (cc->nr_migratepages == COMPACT_CLUSTER_MAX)
992 break;
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -0700993 }
994 acct_isolated(cc->zone, cc);
995
996 return pfn;
997}
998
Michal Nazarewiczff9543f2011-12-29 13:09:50 +0100999#endif /* CONFIG_COMPACTION || CONFIG_CMA */
1000#ifdef CONFIG_COMPACTION
Andrew Morton018e9a42015-04-15 16:15:20 -07001001
1002/* Returns true if the page is within a block suitable for migration to */
1003static bool suitable_migration_target(struct page *page)
1004{
1005 /* If the page is a large free page, then disallow migration */
1006 if (PageBuddy(page)) {
1007 /*
1008 * We are checking page_order without zone->lock taken. But
1009 * the only small danger is that we skip a potentially suitable
1010 * pageblock, so it's not worth to check order for valid range.
1011 */
1012 if (page_order_unsafe(page) >= pageblock_order)
1013 return false;
1014 }
1015
1016 /* If the block is MIGRATE_MOVABLE or MIGRATE_CMA, allow migration */
1017 if (migrate_async_suitable(get_pageblock_migratetype(page)))
1018 return true;
1019
1020 /* Otherwise skip the block */
1021 return false;
1022}
1023
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001024/*
Vlastimil Babkaf2849aa2015-09-08 15:02:36 -07001025 * Test whether the free scanner has reached the same or lower pageblock than
1026 * the migration scanner, and compaction should thus terminate.
1027 */
1028static inline bool compact_scanners_met(struct compact_control *cc)
1029{
1030 return (cc->free_pfn >> pageblock_order)
1031 <= (cc->migrate_pfn >> pageblock_order);
1032}
1033
1034/*
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001035 * Based on information in the current compact_control, find blocks
1036 * suitable for isolating free pages from and then isolate them.
1037 */
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001038static void isolate_freepages(struct compact_control *cc)
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001039{
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001040 struct zone *zone = cc->zone;
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001041 struct page *page;
Vlastimil Babkac96b9e52014-06-04 16:07:26 -07001042 unsigned long block_start_pfn; /* start of current pageblock */
Vlastimil Babkae14c7202014-10-09 15:27:20 -07001043 unsigned long isolate_start_pfn; /* exact pfn we start at */
Vlastimil Babkac96b9e52014-06-04 16:07:26 -07001044 unsigned long block_end_pfn; /* end of current pageblock */
1045 unsigned long low_pfn; /* lowest pfn scanner is able to scan */
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001046 struct list_head *freelist = &cc->freepages;
1047
1048 /*
1049 * Initialise the free scanner. The starting point is where we last
Vlastimil Babka49e068f2014-05-06 12:50:03 -07001050 * successfully isolated from, zone-cached value, or the end of the
Vlastimil Babkae14c7202014-10-09 15:27:20 -07001051 * zone when isolating for the first time. For looping we also need
1052 * this pfn aligned down to the pageblock boundary, because we do
Vlastimil Babkac96b9e52014-06-04 16:07:26 -07001053 * block_start_pfn -= pageblock_nr_pages in the for loop.
1054 * For ending point, take care when isolating in last pageblock of a
1055 * a zone which ends in the middle of a pageblock.
Vlastimil Babka49e068f2014-05-06 12:50:03 -07001056 * The low boundary is the end of the pageblock the migration scanner
1057 * is using.
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001058 */
Vlastimil Babkae14c7202014-10-09 15:27:20 -07001059 isolate_start_pfn = cc->free_pfn;
Vlastimil Babka06b66402016-05-19 17:11:48 -07001060 block_start_pfn = pageblock_start_pfn(cc->free_pfn);
Vlastimil Babkac96b9e52014-06-04 16:07:26 -07001061 block_end_pfn = min(block_start_pfn + pageblock_nr_pages,
1062 zone_end_pfn(zone));
Vlastimil Babka06b66402016-05-19 17:11:48 -07001063 low_pfn = pageblock_end_pfn(cc->migrate_pfn);
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001064
1065 /*
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001066 * Isolate free pages until enough are available to migrate the
1067 * pages on cc->migratepages. We stop searching if the migrate
1068 * and free page scanners meet or enough free pages are isolated.
1069 */
Vlastimil Babkaf5f61a32015-09-08 15:02:39 -07001070 for (; block_start_pfn >= low_pfn;
Vlastimil Babkac96b9e52014-06-04 16:07:26 -07001071 block_end_pfn = block_start_pfn,
Vlastimil Babkae14c7202014-10-09 15:27:20 -07001072 block_start_pfn -= pageblock_nr_pages,
1073 isolate_start_pfn = block_start_pfn) {
David Rientjesf6ea3ad2013-09-30 13:45:03 -07001074 /*
1075 * This can iterate a massively long zone without finding any
1076 * suitable migration targets, so periodically check if we need
Vlastimil Babkabe976572014-06-04 16:10:41 -07001077 * to schedule, or even abort async compaction.
David Rientjesf6ea3ad2013-09-30 13:45:03 -07001078 */
Vlastimil Babkabe976572014-06-04 16:10:41 -07001079 if (!(block_start_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages))
1080 && compact_should_abort(cc))
1081 break;
David Rientjesf6ea3ad2013-09-30 13:45:03 -07001082
Vlastimil Babka7d49d882014-10-09 15:27:11 -07001083 page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn,
1084 zone);
1085 if (!page)
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001086 continue;
1087
1088 /* Check the block is suitable for migration */
Linus Torvalds68e3e922012-06-03 20:05:57 -07001089 if (!suitable_migration_target(page))
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001090 continue;
Linus Torvalds68e3e922012-06-03 20:05:57 -07001091
Mel Gormanbb13ffe2012-10-08 16:32:41 -07001092 /* If isolation recently failed, do not retry */
1093 if (!isolation_suitable(cc, page))
1094 continue;
1095
Vlastimil Babkae14c7202014-10-09 15:27:20 -07001096 /* Found a block suitable for isolating free pages from. */
David Rientjesa46cbf32016-07-14 12:06:50 -07001097 isolate_freepages_block(cc, &isolate_start_pfn, block_end_pfn,
1098 freelist, false);
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001099
1100 /*
David Rientjesa46cbf32016-07-14 12:06:50 -07001101 * If we isolated enough freepages, or aborted due to lock
1102 * contention, terminate.
Vlastimil Babkae14c7202014-10-09 15:27:20 -07001103 */
Vlastimil Babkaf5f61a32015-09-08 15:02:39 -07001104 if ((cc->nr_freepages >= cc->nr_migratepages)
1105 || cc->contended) {
David Rientjesa46cbf32016-07-14 12:06:50 -07001106 if (isolate_start_pfn >= block_end_pfn) {
1107 /*
1108 * Restart at previous pageblock if more
1109 * freepages can be isolated next time.
1110 */
Vlastimil Babkaf5f61a32015-09-08 15:02:39 -07001111 isolate_start_pfn =
1112 block_start_pfn - pageblock_nr_pages;
David Rientjesa46cbf32016-07-14 12:06:50 -07001113 }
Vlastimil Babkabe976572014-06-04 16:10:41 -07001114 break;
David Rientjesa46cbf32016-07-14 12:06:50 -07001115 } else if (isolate_start_pfn < block_end_pfn) {
Vlastimil Babkaf5f61a32015-09-08 15:02:39 -07001116 /*
David Rientjesa46cbf32016-07-14 12:06:50 -07001117 * If isolation failed early, do not continue
1118 * needlessly.
Vlastimil Babkaf5f61a32015-09-08 15:02:39 -07001119 */
David Rientjesa46cbf32016-07-14 12:06:50 -07001120 break;
Vlastimil Babkaf5f61a32015-09-08 15:02:39 -07001121 }
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +01001122 }
1123
Joonsoo Kim66c64222016-07-26 15:23:40 -07001124 /* __isolate_free_page() does not map the pages */
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001125 map_pages(freelist);
Michal Nazarewicz2fe86e02012-01-30 13:16:26 +01001126
Vlastimil Babka7ed695e2014-01-21 15:51:09 -08001127 /*
Vlastimil Babkaf5f61a32015-09-08 15:02:39 -07001128 * Record where the free scanner will restart next time. Either we
1129 * broke from the loop and set isolate_start_pfn based on the last
1130 * call to isolate_freepages_block(), or we met the migration scanner
1131 * and the loop terminated due to isolate_start_pfn < low_pfn
Vlastimil Babka7ed695e2014-01-21 15:51:09 -08001132 */
Vlastimil Babkaf5f61a32015-09-08 15:02:39 -07001133 cc->free_pfn = isolate_start_pfn;
Mel Gorman748446b2010-05-24 14:32:27 -07001134}
1135
1136/*
1137 * This is a migrate-callback that "allocates" freepages by taking pages
1138 * from the isolated freelists in the block we are migrating to.
1139 */
1140static struct page *compaction_alloc(struct page *migratepage,
1141 unsigned long data,
1142 int **result)
1143{
1144 struct compact_control *cc = (struct compact_control *)data;
1145 struct page *freepage;
1146
Vlastimil Babkabe976572014-06-04 16:10:41 -07001147 /*
1148 * Isolate free pages if necessary, and if we are not aborting due to
1149 * contention.
1150 */
Mel Gorman748446b2010-05-24 14:32:27 -07001151 if (list_empty(&cc->freepages)) {
Vlastimil Babkabe976572014-06-04 16:10:41 -07001152 if (!cc->contended)
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001153 isolate_freepages(cc);
Mel Gorman748446b2010-05-24 14:32:27 -07001154
1155 if (list_empty(&cc->freepages))
1156 return NULL;
1157 }
1158
1159 freepage = list_entry(cc->freepages.next, struct page, lru);
1160 list_del(&freepage->lru);
1161 cc->nr_freepages--;
1162
1163 return freepage;
1164}
1165
1166/*
David Rientjesd53aea32014-06-04 16:08:26 -07001167 * This is a migrate-callback that "frees" freepages back to the isolated
1168 * freelist. All pages on the freelist are from the same zone, so there is no
1169 * special handling needed for NUMA.
1170 */
1171static void compaction_free(struct page *page, unsigned long data)
1172{
1173 struct compact_control *cc = (struct compact_control *)data;
1174
1175 list_add(&page->lru, &cc->freepages);
1176 cc->nr_freepages++;
1177}
1178
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001179/* possible outcome of isolate_migratepages */
1180typedef enum {
1181 ISOLATE_ABORT, /* Abort compaction now */
1182 ISOLATE_NONE, /* No pages isolated, continue scanning */
1183 ISOLATE_SUCCESS, /* Pages isolated, migrate */
1184} isolate_migrate_t;
1185
1186/*
Eric B Munson5bbe3542015-04-15 16:13:20 -07001187 * Allow userspace to control policy on scanning the unevictable LRU for
1188 * compactable pages.
1189 */
1190int sysctl_compact_unevictable_allowed __read_mostly = 1;
1191
1192/*
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001193 * Isolate all pages that can be migrated from the first suitable block,
1194 * starting at the block pointed to by the migrate scanner pfn within
1195 * compact_control.
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001196 */
1197static isolate_migrate_t isolate_migratepages(struct zone *zone,
1198 struct compact_control *cc)
1199{
Joonsoo Kime1409c32016-03-15 14:57:48 -07001200 unsigned long block_start_pfn;
1201 unsigned long block_end_pfn;
1202 unsigned long low_pfn;
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001203 struct page *page;
1204 const isolate_mode_t isolate_mode =
Eric B Munson5bbe3542015-04-15 16:13:20 -07001205 (sysctl_compact_unevictable_allowed ? ISOLATE_UNEVICTABLE : 0) |
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001206 (cc->mode == MIGRATE_ASYNC ? ISOLATE_ASYNC_MIGRATE : 0);
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001207
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001208 /*
1209 * Start at where we last stopped, or beginning of the zone as
1210 * initialized by compact_zone()
1211 */
1212 low_pfn = cc->migrate_pfn;
Vlastimil Babka06b66402016-05-19 17:11:48 -07001213 block_start_pfn = pageblock_start_pfn(low_pfn);
Joonsoo Kime1409c32016-03-15 14:57:48 -07001214 if (block_start_pfn < zone->zone_start_pfn)
1215 block_start_pfn = zone->zone_start_pfn;
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001216
1217 /* Only scan within a pageblock boundary */
Vlastimil Babka06b66402016-05-19 17:11:48 -07001218 block_end_pfn = pageblock_end_pfn(low_pfn);
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001219
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001220 /*
1221 * Iterate over whole pageblocks until we find the first suitable.
1222 * Do not cross the free scanner.
1223 */
Joonsoo Kime1409c32016-03-15 14:57:48 -07001224 for (; block_end_pfn <= cc->free_pfn;
1225 low_pfn = block_end_pfn,
1226 block_start_pfn = block_end_pfn,
1227 block_end_pfn += pageblock_nr_pages) {
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001228
1229 /*
1230 * This can potentially iterate a massively long zone with
1231 * many pageblocks unsuitable, so periodically check if we
1232 * need to schedule, or even abort async compaction.
1233 */
1234 if (!(low_pfn % (SWAP_CLUSTER_MAX * pageblock_nr_pages))
1235 && compact_should_abort(cc))
1236 break;
1237
Joonsoo Kime1409c32016-03-15 14:57:48 -07001238 page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn,
1239 zone);
Vlastimil Babka7d49d882014-10-09 15:27:11 -07001240 if (!page)
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001241 continue;
1242
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001243 /* If isolation recently failed, do not retry */
1244 if (!isolation_suitable(cc, page))
1245 continue;
1246
1247 /*
1248 * For async compaction, also only scan in MOVABLE blocks.
1249 * Async compaction is optimistic to see if the minimum amount
1250 * of work satisfies the allocation.
1251 */
1252 if (cc->mode == MIGRATE_ASYNC &&
1253 !migrate_async_suitable(get_pageblock_migratetype(page)))
1254 continue;
1255
1256 /* Perform the isolation */
Joonsoo Kime1409c32016-03-15 14:57:48 -07001257 low_pfn = isolate_migratepages_block(cc, low_pfn,
1258 block_end_pfn, isolate_mode);
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001259
Hugh Dickinsff599092015-02-12 15:00:28 -08001260 if (!low_pfn || cc->contended) {
1261 acct_isolated(zone, cc);
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001262 return ISOLATE_ABORT;
Hugh Dickinsff599092015-02-12 15:00:28 -08001263 }
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001264
1265 /*
1266 * Either we isolated something and proceed with migration. Or
1267 * we failed and compact_zone should decide if we should
1268 * continue or not.
1269 */
1270 break;
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001271 }
1272
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001273 acct_isolated(zone, cc);
Vlastimil Babkaf2849aa2015-09-08 15:02:36 -07001274 /* Record where migration scanner will be restarted. */
1275 cc->migrate_pfn = low_pfn;
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001276
Vlastimil Babkaedc2ca62014-10-09 15:27:09 -07001277 return cc->nr_migratepages ? ISOLATE_SUCCESS : ISOLATE_NONE;
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001278}
1279
Yaowei Bai21c527a2015-11-05 18:47:20 -08001280/*
1281 * order == -1 is expected when compacting via
1282 * /proc/sys/vm/compact_memory
1283 */
1284static inline bool is_via_compact_memory(int order)
1285{
1286 return order == -1;
1287}
1288
Michal Hockoea7ab982016-05-20 16:56:38 -07001289static enum compact_result __compact_finished(struct zone *zone, struct compact_control *cc,
David Rientjes6d7ce552014-10-09 15:27:27 -07001290 const int migratetype)
Mel Gorman748446b2010-05-24 14:32:27 -07001291{
Mel Gorman8fb74b92013-01-11 14:32:16 -08001292 unsigned int order;
Andrea Arcangeli5a03b052011-01-13 15:47:11 -08001293 unsigned long watermark;
Mel Gorman56de7262010-05-24 14:32:30 -07001294
Vlastimil Babkabe976572014-06-04 16:10:41 -07001295 if (cc->contended || fatal_signal_pending(current))
Vlastimil Babka2d1e1042015-11-05 18:48:02 -08001296 return COMPACT_CONTENDED;
Mel Gorman748446b2010-05-24 14:32:27 -07001297
Mel Gorman753341a2012-10-08 16:32:40 -07001298 /* Compaction run completes if the migrate and free scanner meet */
Vlastimil Babkaf2849aa2015-09-08 15:02:36 -07001299 if (compact_scanners_met(cc)) {
Vlastimil Babka55b7c4c2014-01-21 15:51:11 -08001300 /* Let the next compaction start anew. */
Vlastimil Babka02333642015-09-08 15:02:42 -07001301 reset_cached_positions(zone);
Vlastimil Babka55b7c4c2014-01-21 15:51:11 -08001302
Mel Gorman62997022012-10-08 16:32:47 -07001303 /*
1304 * Mark that the PG_migrate_skip information should be cleared
Vlastimil Babkaaccf6242016-03-17 14:18:15 -07001305 * by kswapd when it goes to sleep. kcompactd does not set the
Mel Gorman62997022012-10-08 16:32:47 -07001306 * flag itself as the decision to be clear should be directly
1307 * based on an allocation request.
1308 */
Vlastimil Babkaaccf6242016-03-17 14:18:15 -07001309 if (cc->direct_compaction)
Mel Gorman62997022012-10-08 16:32:47 -07001310 zone->compact_blockskip_flush = true;
1311
Michal Hockoc8f7de02016-05-20 16:56:47 -07001312 if (cc->whole_zone)
1313 return COMPACT_COMPLETE;
1314 else
1315 return COMPACT_PARTIAL_SKIPPED;
Mel Gormanbb13ffe2012-10-08 16:32:41 -07001316 }
Mel Gorman748446b2010-05-24 14:32:27 -07001317
Yaowei Bai21c527a2015-11-05 18:47:20 -08001318 if (is_via_compact_memory(cc->order))
Mel Gorman56de7262010-05-24 14:32:30 -07001319 return COMPACT_CONTINUE;
1320
Michal Hocko3957c772011-06-15 15:08:25 -07001321 /* Compaction run is not finished if the watermark is not met */
1322 watermark = low_wmark_pages(zone);
Michal Hocko3957c772011-06-15 15:08:25 -07001323
Vlastimil Babkaebff3982014-12-10 15:43:22 -08001324 if (!zone_watermark_ok(zone, cc->order, watermark, cc->classzone_idx,
1325 cc->alloc_flags))
Michal Hocko3957c772011-06-15 15:08:25 -07001326 return COMPACT_CONTINUE;
1327
Mel Gorman56de7262010-05-24 14:32:30 -07001328 /* Direct compactor: Is a suitable page free? */
Mel Gorman8fb74b92013-01-11 14:32:16 -08001329 for (order = cc->order; order < MAX_ORDER; order++) {
1330 struct free_area *area = &zone->free_area[order];
Joonsoo Kim2149cda2015-04-14 15:45:21 -07001331 bool can_steal;
Mel Gorman56de7262010-05-24 14:32:30 -07001332
Mel Gorman8fb74b92013-01-11 14:32:16 -08001333 /* Job done if page is free of the right migratetype */
David Rientjes6d7ce552014-10-09 15:27:27 -07001334 if (!list_empty(&area->free_list[migratetype]))
Mel Gorman8fb74b92013-01-11 14:32:16 -08001335 return COMPACT_PARTIAL;
1336
Joonsoo Kim2149cda2015-04-14 15:45:21 -07001337#ifdef CONFIG_CMA
1338 /* MIGRATE_MOVABLE can fallback on MIGRATE_CMA */
1339 if (migratetype == MIGRATE_MOVABLE &&
1340 !list_empty(&area->free_list[MIGRATE_CMA]))
1341 return COMPACT_PARTIAL;
1342#endif
1343 /*
1344 * Job done if allocation would steal freepages from
1345 * other migratetype buddy lists.
1346 */
1347 if (find_suitable_fallback(area, order, migratetype,
1348 true, &can_steal) != -1)
Mel Gorman8fb74b92013-01-11 14:32:16 -08001349 return COMPACT_PARTIAL;
Mel Gorman56de7262010-05-24 14:32:30 -07001350 }
1351
Joonsoo Kim837d0262015-02-11 15:27:06 -08001352 return COMPACT_NO_SUITABLE_PAGE;
1353}
1354
Michal Hockoea7ab982016-05-20 16:56:38 -07001355static enum compact_result compact_finished(struct zone *zone,
1356 struct compact_control *cc,
1357 const int migratetype)
Joonsoo Kim837d0262015-02-11 15:27:06 -08001358{
1359 int ret;
1360
1361 ret = __compact_finished(zone, cc, migratetype);
1362 trace_mm_compaction_finished(zone, cc->order, ret);
1363 if (ret == COMPACT_NO_SUITABLE_PAGE)
1364 ret = COMPACT_CONTINUE;
1365
1366 return ret;
Mel Gorman748446b2010-05-24 14:32:27 -07001367}
1368
Mel Gorman3e7d3442011-01-13 15:45:56 -08001369/*
1370 * compaction_suitable: Is this suitable to run compaction on this zone now?
1371 * Returns
1372 * COMPACT_SKIPPED - If there are too few free pages for compaction
1373 * COMPACT_PARTIAL - If the allocation would succeed without compaction
1374 * COMPACT_CONTINUE - If compaction should run now
1375 */
Michal Hockoea7ab982016-05-20 16:56:38 -07001376static enum compact_result __compaction_suitable(struct zone *zone, int order,
Mel Gormanc6038442016-05-19 17:13:38 -07001377 unsigned int alloc_flags,
Michal Hocko86a294a2016-05-20 16:57:12 -07001378 int classzone_idx,
1379 unsigned long wmark_target)
Mel Gorman3e7d3442011-01-13 15:45:56 -08001380{
1381 int fragindex;
1382 unsigned long watermark;
1383
Yaowei Bai21c527a2015-11-05 18:47:20 -08001384 if (is_via_compact_memory(order))
Michal Hocko3957c772011-06-15 15:08:25 -07001385 return COMPACT_CONTINUE;
1386
Vlastimil Babkaebff3982014-12-10 15:43:22 -08001387 watermark = low_wmark_pages(zone);
1388 /*
1389 * If watermarks for high-order allocation are already met, there
1390 * should be no need for compaction at all.
1391 */
1392 if (zone_watermark_ok(zone, order, watermark, classzone_idx,
1393 alloc_flags))
1394 return COMPACT_PARTIAL;
1395
Michal Hocko3957c772011-06-15 15:08:25 -07001396 /*
Mel Gorman3e7d3442011-01-13 15:45:56 -08001397 * Watermarks for order-0 must be met for compaction. Note the 2UL.
1398 * This is because during migration, copies of pages need to be
1399 * allocated and for a short time, the footprint is higher
1400 */
Vlastimil Babkaebff3982014-12-10 15:43:22 -08001401 watermark += (2UL << order);
Michal Hocko86a294a2016-05-20 16:57:12 -07001402 if (!__zone_watermark_ok(zone, 0, watermark, classzone_idx,
1403 alloc_flags, wmark_target))
Mel Gorman3e7d3442011-01-13 15:45:56 -08001404 return COMPACT_SKIPPED;
1405
1406 /*
1407 * fragmentation index determines if allocation failures are due to
1408 * low memory or external fragmentation
1409 *
Vlastimil Babkaebff3982014-12-10 15:43:22 -08001410 * index of -1000 would imply allocations might succeed depending on
1411 * watermarks, but we already failed the high-order watermark check
Mel Gorman3e7d3442011-01-13 15:45:56 -08001412 * index towards 0 implies failure is due to lack of memory
1413 * index towards 1000 implies failure is due to fragmentation
1414 *
1415 * Only compact if a failure would be due to fragmentation.
1416 */
1417 fragindex = fragmentation_index(zone, order);
1418 if (fragindex >= 0 && fragindex <= sysctl_extfrag_threshold)
Joonsoo Kim837d0262015-02-11 15:27:06 -08001419 return COMPACT_NOT_SUITABLE_ZONE;
Mel Gorman3e7d3442011-01-13 15:45:56 -08001420
Mel Gorman3e7d3442011-01-13 15:45:56 -08001421 return COMPACT_CONTINUE;
1422}
1423
Michal Hockoea7ab982016-05-20 16:56:38 -07001424enum compact_result compaction_suitable(struct zone *zone, int order,
Mel Gormanc6038442016-05-19 17:13:38 -07001425 unsigned int alloc_flags,
1426 int classzone_idx)
Joonsoo Kim837d0262015-02-11 15:27:06 -08001427{
Michal Hockoea7ab982016-05-20 16:56:38 -07001428 enum compact_result ret;
Joonsoo Kim837d0262015-02-11 15:27:06 -08001429
Michal Hocko86a294a2016-05-20 16:57:12 -07001430 ret = __compaction_suitable(zone, order, alloc_flags, classzone_idx,
1431 zone_page_state(zone, NR_FREE_PAGES));
Joonsoo Kim837d0262015-02-11 15:27:06 -08001432 trace_mm_compaction_suitable(zone, order, ret);
1433 if (ret == COMPACT_NOT_SUITABLE_ZONE)
1434 ret = COMPACT_SKIPPED;
1435
1436 return ret;
1437}
1438
Michal Hocko86a294a2016-05-20 16:57:12 -07001439bool compaction_zonelist_suitable(struct alloc_context *ac, int order,
1440 int alloc_flags)
1441{
1442 struct zone *zone;
1443 struct zoneref *z;
1444
1445 /*
1446 * Make sure at least one zone would pass __compaction_suitable if we continue
1447 * retrying the reclaim.
1448 */
1449 for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, ac->high_zoneidx,
1450 ac->nodemask) {
1451 unsigned long available;
1452 enum compact_result compact_result;
1453
1454 /*
1455 * Do not consider all the reclaimable memory because we do not
1456 * want to trash just for a single high order allocation which
1457 * is even not guaranteed to appear even if __compaction_suitable
1458 * is happy about the watermark check.
1459 */
1460 available = zone_reclaimable_pages(zone) / order;
1461 available += zone_page_state_snapshot(zone, NR_FREE_PAGES);
1462 compact_result = __compaction_suitable(zone, order, alloc_flags,
1463 ac_classzone_idx(ac), available);
1464 if (compact_result != COMPACT_SKIPPED &&
1465 compact_result != COMPACT_NOT_SUITABLE_ZONE)
1466 return true;
1467 }
1468
1469 return false;
1470}
1471
Michal Hockoea7ab982016-05-20 16:56:38 -07001472static enum compact_result compact_zone(struct zone *zone, struct compact_control *cc)
Mel Gorman748446b2010-05-24 14:32:27 -07001473{
Michal Hockoea7ab982016-05-20 16:56:38 -07001474 enum compact_result ret;
Mel Gormanc89511a2012-10-08 16:32:45 -07001475 unsigned long start_pfn = zone->zone_start_pfn;
Cody P Schafer108bcc92013-02-22 16:35:23 -08001476 unsigned long end_pfn = zone_end_pfn(zone);
David Rientjes6d7ce552014-10-09 15:27:27 -07001477 const int migratetype = gfpflags_to_migratetype(cc->gfp_mask);
David Rientjese0b9dae2014-06-04 16:08:28 -07001478 const bool sync = cc->mode != MIGRATE_ASYNC;
Mel Gorman748446b2010-05-24 14:32:27 -07001479
Vlastimil Babkaebff3982014-12-10 15:43:22 -08001480 ret = compaction_suitable(zone, cc->order, cc->alloc_flags,
1481 cc->classzone_idx);
Michal Hockoc46649d2016-05-20 16:56:41 -07001482 /* Compaction is likely to fail */
1483 if (ret == COMPACT_PARTIAL || ret == COMPACT_SKIPPED)
Mel Gorman3e7d3442011-01-13 15:45:56 -08001484 return ret;
Michal Hockoc46649d2016-05-20 16:56:41 -07001485
1486 /* huh, compaction_suitable is returning something unexpected */
1487 VM_BUG_ON(ret != COMPACT_CONTINUE);
Mel Gorman3e7d3442011-01-13 15:45:56 -08001488
Mel Gormanc89511a2012-10-08 16:32:45 -07001489 /*
Vlastimil Babkad3132e42014-01-21 15:51:08 -08001490 * Clear pageblock skip if there were failures recently and compaction
Vlastimil Babkaaccf6242016-03-17 14:18:15 -07001491 * is about to be retried after being deferred.
Vlastimil Babkad3132e42014-01-21 15:51:08 -08001492 */
Vlastimil Babkaaccf6242016-03-17 14:18:15 -07001493 if (compaction_restarting(zone, cc->order))
Vlastimil Babkad3132e42014-01-21 15:51:08 -08001494 __reset_isolation_suitable(zone);
1495
1496 /*
Mel Gormanc89511a2012-10-08 16:32:45 -07001497 * Setup to move all movable pages to the end of the zone. Used cached
1498 * information on where the scanners should start but check that it
1499 * is initialised by ensuring the values are within zone boundaries.
1500 */
David Rientjese0b9dae2014-06-04 16:08:28 -07001501 cc->migrate_pfn = zone->compact_cached_migrate_pfn[sync];
Mel Gormanc89511a2012-10-08 16:32:45 -07001502 cc->free_pfn = zone->compact_cached_free_pfn;
Joonsoo Kim623446e2016-03-15 14:57:45 -07001503 if (cc->free_pfn < start_pfn || cc->free_pfn >= end_pfn) {
Vlastimil Babka06b66402016-05-19 17:11:48 -07001504 cc->free_pfn = pageblock_start_pfn(end_pfn - 1);
Mel Gormanc89511a2012-10-08 16:32:45 -07001505 zone->compact_cached_free_pfn = cc->free_pfn;
1506 }
Joonsoo Kim623446e2016-03-15 14:57:45 -07001507 if (cc->migrate_pfn < start_pfn || cc->migrate_pfn >= end_pfn) {
Mel Gormanc89511a2012-10-08 16:32:45 -07001508 cc->migrate_pfn = start_pfn;
David Rientjes35979ef2014-06-04 16:08:27 -07001509 zone->compact_cached_migrate_pfn[0] = cc->migrate_pfn;
1510 zone->compact_cached_migrate_pfn[1] = cc->migrate_pfn;
Mel Gormanc89511a2012-10-08 16:32:45 -07001511 }
Michal Hockoc8f7de02016-05-20 16:56:47 -07001512
1513 if (cc->migrate_pfn == start_pfn)
1514 cc->whole_zone = true;
1515
Joonsoo Kim1a167182015-09-08 15:03:59 -07001516 cc->last_migrated_pfn = 0;
Mel Gorman748446b2010-05-24 14:32:27 -07001517
Joonsoo Kim16c4a092015-02-11 15:27:01 -08001518 trace_mm_compaction_begin(start_pfn, cc->migrate_pfn,
1519 cc->free_pfn, end_pfn, sync);
Mel Gorman0eb927c2014-01-21 15:51:05 -08001520
Mel Gorman748446b2010-05-24 14:32:27 -07001521 migrate_prep_local();
1522
David Rientjes6d7ce552014-10-09 15:27:27 -07001523 while ((ret = compact_finished(zone, cc, migratetype)) ==
1524 COMPACT_CONTINUE) {
Minchan Kim9d502c12011-03-22 16:30:39 -07001525 int err;
Mel Gorman748446b2010-05-24 14:32:27 -07001526
Mel Gormanf9e35b32011-06-15 15:08:52 -07001527 switch (isolate_migratepages(zone, cc)) {
1528 case ISOLATE_ABORT:
Vlastimil Babka2d1e1042015-11-05 18:48:02 -08001529 ret = COMPACT_CONTENDED;
Rafael Aquini5733c7d2012-12-11 16:02:47 -08001530 putback_movable_pages(&cc->migratepages);
Shaohua Lie64c5232012-10-08 16:32:27 -07001531 cc->nr_migratepages = 0;
Mel Gormanf9e35b32011-06-15 15:08:52 -07001532 goto out;
1533 case ISOLATE_NONE:
Vlastimil Babkafdaf7f52014-12-10 15:43:34 -08001534 /*
1535 * We haven't isolated and migrated anything, but
1536 * there might still be unflushed migrations from
1537 * previous cc->order aligned block.
1538 */
1539 goto check_drain;
Mel Gormanf9e35b32011-06-15 15:08:52 -07001540 case ISOLATE_SUCCESS:
1541 ;
1542 }
Mel Gorman748446b2010-05-24 14:32:27 -07001543
David Rientjesd53aea32014-06-04 16:08:26 -07001544 err = migrate_pages(&cc->migratepages, compaction_alloc,
David Rientjese0b9dae2014-06-04 16:08:28 -07001545 compaction_free, (unsigned long)cc, cc->mode,
Mel Gorman7b2a2d42012-10-19 14:07:31 +01001546 MR_COMPACTION);
Mel Gorman748446b2010-05-24 14:32:27 -07001547
Vlastimil Babkaf8c93012014-06-04 16:08:32 -07001548 trace_mm_compaction_migratepages(cc->nr_migratepages, err,
1549 &cc->migratepages);
Mel Gorman748446b2010-05-24 14:32:27 -07001550
Vlastimil Babkaf8c93012014-06-04 16:08:32 -07001551 /* All pages were either migrated or will be released */
1552 cc->nr_migratepages = 0;
Minchan Kim9d502c12011-03-22 16:30:39 -07001553 if (err) {
Rafael Aquini5733c7d2012-12-11 16:02:47 -08001554 putback_movable_pages(&cc->migratepages);
Vlastimil Babka7ed695e2014-01-21 15:51:09 -08001555 /*
1556 * migrate_pages() may return -ENOMEM when scanners meet
1557 * and we want compact_finished() to detect it
1558 */
Vlastimil Babkaf2849aa2015-09-08 15:02:36 -07001559 if (err == -ENOMEM && !compact_scanners_met(cc)) {
Vlastimil Babka2d1e1042015-11-05 18:48:02 -08001560 ret = COMPACT_CONTENDED;
David Rientjes4bf2bba2012-07-11 14:02:13 -07001561 goto out;
1562 }
Vlastimil Babkafdd048e2016-05-19 17:11:55 -07001563 /*
1564 * We failed to migrate at least one page in the current
1565 * order-aligned block, so skip the rest of it.
1566 */
1567 if (cc->direct_compaction &&
1568 (cc->mode == MIGRATE_ASYNC)) {
1569 cc->migrate_pfn = block_end_pfn(
1570 cc->migrate_pfn - 1, cc->order);
1571 /* Draining pcplists is useless in this case */
1572 cc->last_migrated_pfn = 0;
1573
1574 }
Mel Gorman748446b2010-05-24 14:32:27 -07001575 }
Vlastimil Babkafdaf7f52014-12-10 15:43:34 -08001576
Vlastimil Babkafdaf7f52014-12-10 15:43:34 -08001577check_drain:
1578 /*
1579 * Has the migration scanner moved away from the previous
1580 * cc->order aligned block where we migrated from? If yes,
1581 * flush the pages that were freed, so that they can merge and
1582 * compact_finished() can detect immediately if allocation
1583 * would succeed.
1584 */
Joonsoo Kim1a167182015-09-08 15:03:59 -07001585 if (cc->order > 0 && cc->last_migrated_pfn) {
Vlastimil Babkafdaf7f52014-12-10 15:43:34 -08001586 int cpu;
1587 unsigned long current_block_start =
Vlastimil Babka06b66402016-05-19 17:11:48 -07001588 block_start_pfn(cc->migrate_pfn, cc->order);
Vlastimil Babkafdaf7f52014-12-10 15:43:34 -08001589
Joonsoo Kim1a167182015-09-08 15:03:59 -07001590 if (cc->last_migrated_pfn < current_block_start) {
Vlastimil Babkafdaf7f52014-12-10 15:43:34 -08001591 cpu = get_cpu();
1592 lru_add_drain_cpu(cpu);
1593 drain_local_pages(zone);
1594 put_cpu();
1595 /* No more flushing until we migrate again */
Joonsoo Kim1a167182015-09-08 15:03:59 -07001596 cc->last_migrated_pfn = 0;
Vlastimil Babkafdaf7f52014-12-10 15:43:34 -08001597 }
1598 }
1599
Mel Gorman748446b2010-05-24 14:32:27 -07001600 }
1601
Mel Gormanf9e35b32011-06-15 15:08:52 -07001602out:
Vlastimil Babka6bace092014-12-10 15:43:31 -08001603 /*
1604 * Release free pages and update where the free scanner should restart,
1605 * so we don't leave any returned pages behind in the next attempt.
1606 */
1607 if (cc->nr_freepages > 0) {
1608 unsigned long free_pfn = release_freepages(&cc->freepages);
1609
1610 cc->nr_freepages = 0;
1611 VM_BUG_ON(free_pfn == 0);
1612 /* The cached pfn is always the first in a pageblock */
Vlastimil Babka06b66402016-05-19 17:11:48 -07001613 free_pfn = pageblock_start_pfn(free_pfn);
Vlastimil Babka6bace092014-12-10 15:43:31 -08001614 /*
1615 * Only go back, not forward. The cached pfn might have been
1616 * already reset to zone end in compact_finished()
1617 */
1618 if (free_pfn > zone->compact_cached_free_pfn)
1619 zone->compact_cached_free_pfn = free_pfn;
1620 }
Mel Gorman748446b2010-05-24 14:32:27 -07001621
Joonsoo Kim16c4a092015-02-11 15:27:01 -08001622 trace_mm_compaction_end(start_pfn, cc->migrate_pfn,
1623 cc->free_pfn, end_pfn, sync, ret);
Mel Gorman0eb927c2014-01-21 15:51:05 -08001624
Vlastimil Babka2d1e1042015-11-05 18:48:02 -08001625 if (ret == COMPACT_CONTENDED)
1626 ret = COMPACT_PARTIAL;
1627
Mel Gorman748446b2010-05-24 14:32:27 -07001628 return ret;
1629}
Mel Gorman76ab0f52010-05-24 14:32:28 -07001630
Michal Hockoea7ab982016-05-20 16:56:38 -07001631static enum compact_result compact_zone_order(struct zone *zone, int order,
Vlastimil Babkaebff3982014-12-10 15:43:22 -08001632 gfp_t gfp_mask, enum migrate_mode mode, int *contended,
Mel Gormanc6038442016-05-19 17:13:38 -07001633 unsigned int alloc_flags, int classzone_idx)
Mel Gorman56de7262010-05-24 14:32:30 -07001634{
Michal Hockoea7ab982016-05-20 16:56:38 -07001635 enum compact_result ret;
Mel Gorman56de7262010-05-24 14:32:30 -07001636 struct compact_control cc = {
1637 .nr_freepages = 0,
1638 .nr_migratepages = 0,
1639 .order = order,
David Rientjes6d7ce552014-10-09 15:27:27 -07001640 .gfp_mask = gfp_mask,
Mel Gorman56de7262010-05-24 14:32:30 -07001641 .zone = zone,
David Rientjese0b9dae2014-06-04 16:08:28 -07001642 .mode = mode,
Vlastimil Babkaebff3982014-12-10 15:43:22 -08001643 .alloc_flags = alloc_flags,
1644 .classzone_idx = classzone_idx,
Vlastimil Babkaaccf6242016-03-17 14:18:15 -07001645 .direct_compaction = true,
Mel Gorman56de7262010-05-24 14:32:30 -07001646 };
1647 INIT_LIST_HEAD(&cc.freepages);
1648 INIT_LIST_HEAD(&cc.migratepages);
1649
Shaohua Lie64c5232012-10-08 16:32:27 -07001650 ret = compact_zone(zone, &cc);
1651
1652 VM_BUG_ON(!list_empty(&cc.freepages));
1653 VM_BUG_ON(!list_empty(&cc.migratepages));
1654
1655 *contended = cc.contended;
1656 return ret;
Mel Gorman56de7262010-05-24 14:32:30 -07001657}
1658
Mel Gorman5e771902010-05-24 14:32:31 -07001659int sysctl_extfrag_threshold = 500;
1660
Mel Gorman56de7262010-05-24 14:32:30 -07001661/**
1662 * try_to_compact_pages - Direct compact to satisfy a high-order allocation
Mel Gorman56de7262010-05-24 14:32:30 -07001663 * @gfp_mask: The GFP mask of the current allocation
Vlastimil Babka1a6d53a2015-02-11 15:25:44 -08001664 * @order: The order of the current allocation
1665 * @alloc_flags: The allocation flags of the current allocation
1666 * @ac: The context of current allocation
David Rientjese0b9dae2014-06-04 16:08:28 -07001667 * @mode: The migration mode for async, sync light, or sync migration
Vlastimil Babka1f9efde2014-10-09 15:27:14 -07001668 * @contended: Return value that determines if compaction was aborted due to
1669 * need_resched() or lock contention
Mel Gorman56de7262010-05-24 14:32:30 -07001670 *
1671 * This is the main entry point for direct page compaction.
1672 */
Michal Hockoea7ab982016-05-20 16:56:38 -07001673enum compact_result try_to_compact_pages(gfp_t gfp_mask, unsigned int order,
Mel Gormanc6038442016-05-19 17:13:38 -07001674 unsigned int alloc_flags, const struct alloc_context *ac,
1675 enum migrate_mode mode, int *contended)
Mel Gorman56de7262010-05-24 14:32:30 -07001676{
Mel Gorman56de7262010-05-24 14:32:30 -07001677 int may_enter_fs = gfp_mask & __GFP_FS;
1678 int may_perform_io = gfp_mask & __GFP_IO;
Mel Gorman56de7262010-05-24 14:32:30 -07001679 struct zoneref *z;
1680 struct zone *zone;
Michal Hocko1d4746d2016-05-20 16:56:44 -07001681 enum compact_result rc = COMPACT_SKIPPED;
Vlastimil Babka1f9efde2014-10-09 15:27:14 -07001682 int all_zones_contended = COMPACT_CONTENDED_LOCK; /* init for &= op */
1683
1684 *contended = COMPACT_CONTENDED_NONE;
Mel Gorman56de7262010-05-24 14:32:30 -07001685
Mel Gorman4ffb6332012-10-08 16:29:09 -07001686 /* Check if the GFP flags allow compaction */
Andrea Arcangelic5a73c32011-01-13 15:47:11 -08001687 if (!order || !may_enter_fs || !may_perform_io)
Vlastimil Babka53853e22014-10-09 15:27:02 -07001688 return COMPACT_SKIPPED;
Mel Gorman56de7262010-05-24 14:32:30 -07001689
Joonsoo Kim837d0262015-02-11 15:27:06 -08001690 trace_mm_compaction_try_to_compact_pages(order, gfp_mask, mode);
1691
Mel Gorman56de7262010-05-24 14:32:30 -07001692 /* Compact each zone in the list */
Vlastimil Babka1a6d53a2015-02-11 15:25:44 -08001693 for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, ac->high_zoneidx,
1694 ac->nodemask) {
Michal Hockoea7ab982016-05-20 16:56:38 -07001695 enum compact_result status;
Vlastimil Babka1f9efde2014-10-09 15:27:14 -07001696 int zone_contended;
Mel Gorman56de7262010-05-24 14:32:30 -07001697
Michal Hocko1d4746d2016-05-20 16:56:44 -07001698 if (compaction_deferred(zone, order)) {
1699 rc = max_t(enum compact_result, COMPACT_DEFERRED, rc);
Vlastimil Babka53853e22014-10-09 15:27:02 -07001700 continue;
Michal Hocko1d4746d2016-05-20 16:56:44 -07001701 }
Vlastimil Babka53853e22014-10-09 15:27:02 -07001702
David Rientjese0b9dae2014-06-04 16:08:28 -07001703 status = compact_zone_order(zone, order, gfp_mask, mode,
Vlastimil Babka1a6d53a2015-02-11 15:25:44 -08001704 &zone_contended, alloc_flags,
Mel Gorman93ea9962016-05-19 17:14:13 -07001705 ac_classzone_idx(ac));
Mel Gorman56de7262010-05-24 14:32:30 -07001706 rc = max(status, rc);
Vlastimil Babka1f9efde2014-10-09 15:27:14 -07001707 /*
1708 * It takes at least one zone that wasn't lock contended
1709 * to clear all_zones_contended.
1710 */
1711 all_zones_contended &= zone_contended;
Mel Gorman56de7262010-05-24 14:32:30 -07001712
Mel Gorman3e7d3442011-01-13 15:45:56 -08001713 /* If a normal allocation would succeed, stop compacting */
Vlastimil Babkaebff3982014-12-10 15:43:22 -08001714 if (zone_watermark_ok(zone, order, low_wmark_pages(zone),
Mel Gorman93ea9962016-05-19 17:14:13 -07001715 ac_classzone_idx(ac), alloc_flags)) {
Vlastimil Babka53853e22014-10-09 15:27:02 -07001716 /*
1717 * We think the allocation will succeed in this zone,
1718 * but it is not certain, hence the false. The caller
1719 * will repeat this with true if allocation indeed
1720 * succeeds in this zone.
1721 */
1722 compaction_defer_reset(zone, order, false);
Vlastimil Babka1f9efde2014-10-09 15:27:14 -07001723 /*
1724 * It is possible that async compaction aborted due to
1725 * need_resched() and the watermarks were ok thanks to
1726 * somebody else freeing memory. The allocation can
1727 * however still fail so we better signal the
1728 * need_resched() contention anyway (this will not
1729 * prevent the allocation attempt).
1730 */
1731 if (zone_contended == COMPACT_CONTENDED_SCHED)
1732 *contended = COMPACT_CONTENDED_SCHED;
1733
1734 goto break_loop;
1735 }
1736
Michal Hockoc8f7de02016-05-20 16:56:47 -07001737 if (mode != MIGRATE_ASYNC && (status == COMPACT_COMPLETE ||
1738 status == COMPACT_PARTIAL_SKIPPED)) {
Vlastimil Babka53853e22014-10-09 15:27:02 -07001739 /*
1740 * We think that allocation won't succeed in this zone
1741 * so we defer compaction there. If it ends up
1742 * succeeding after all, it will be reset.
1743 */
1744 defer_compaction(zone, order);
1745 }
Vlastimil Babka1f9efde2014-10-09 15:27:14 -07001746
1747 /*
1748 * We might have stopped compacting due to need_resched() in
1749 * async compaction, or due to a fatal signal detected. In that
1750 * case do not try further zones and signal need_resched()
1751 * contention.
1752 */
1753 if ((zone_contended == COMPACT_CONTENDED_SCHED)
1754 || fatal_signal_pending(current)) {
1755 *contended = COMPACT_CONTENDED_SCHED;
1756 goto break_loop;
1757 }
1758
1759 continue;
1760break_loop:
1761 /*
1762 * We might not have tried all the zones, so be conservative
1763 * and assume they are not all lock contended.
1764 */
1765 all_zones_contended = 0;
1766 break;
Mel Gorman56de7262010-05-24 14:32:30 -07001767 }
1768
Vlastimil Babka1f9efde2014-10-09 15:27:14 -07001769 /*
1770 * If at least one zone wasn't deferred or skipped, we report if all
1771 * zones that were tried were lock contended.
1772 */
Michal Hocko1d4746d2016-05-20 16:56:44 -07001773 if (rc > COMPACT_INACTIVE && all_zones_contended)
Vlastimil Babka1f9efde2014-10-09 15:27:14 -07001774 *contended = COMPACT_CONTENDED_LOCK;
1775
Mel Gorman56de7262010-05-24 14:32:30 -07001776 return rc;
1777}
1778
1779
Mel Gorman76ab0f52010-05-24 14:32:28 -07001780/* Compact all zones within a node */
Andrew Morton7103f162013-02-22 16:32:33 -08001781static void __compact_pgdat(pg_data_t *pgdat, struct compact_control *cc)
Mel Gorman76ab0f52010-05-24 14:32:28 -07001782{
1783 int zoneid;
Mel Gorman76ab0f52010-05-24 14:32:28 -07001784 struct zone *zone;
1785
Mel Gorman76ab0f52010-05-24 14:32:28 -07001786 for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) {
Mel Gorman76ab0f52010-05-24 14:32:28 -07001787
1788 zone = &pgdat->node_zones[zoneid];
1789 if (!populated_zone(zone))
1790 continue;
1791
Rik van Riel7be62de2012-03-21 16:33:52 -07001792 cc->nr_freepages = 0;
1793 cc->nr_migratepages = 0;
1794 cc->zone = zone;
1795 INIT_LIST_HEAD(&cc->freepages);
1796 INIT_LIST_HEAD(&cc->migratepages);
Mel Gorman76ab0f52010-05-24 14:32:28 -07001797
Gioh Kim195b0c62015-04-15 16:13:33 -07001798 /*
1799 * When called via /proc/sys/vm/compact_memory
1800 * this makes sure we compact the whole zone regardless of
1801 * cached scanner positions.
1802 */
Yaowei Bai21c527a2015-11-05 18:47:20 -08001803 if (is_via_compact_memory(cc->order))
Gioh Kim195b0c62015-04-15 16:13:33 -07001804 __reset_isolation_suitable(zone);
1805
Yaowei Bai21c527a2015-11-05 18:47:20 -08001806 if (is_via_compact_memory(cc->order) ||
1807 !compaction_deferred(zone, cc->order))
Rik van Riel7be62de2012-03-21 16:33:52 -07001808 compact_zone(zone, cc);
Mel Gorman76ab0f52010-05-24 14:32:28 -07001809
Rik van Riel7be62de2012-03-21 16:33:52 -07001810 VM_BUG_ON(!list_empty(&cc->freepages));
1811 VM_BUG_ON(!list_empty(&cc->migratepages));
Joonsoo Kim75469342016-01-14 15:20:48 -08001812
1813 if (is_via_compact_memory(cc->order))
1814 continue;
1815
1816 if (zone_watermark_ok(zone, cc->order,
1817 low_wmark_pages(zone), 0, 0))
1818 compaction_defer_reset(zone, cc->order, false);
Mel Gorman76ab0f52010-05-24 14:32:28 -07001819 }
Mel Gorman76ab0f52010-05-24 14:32:28 -07001820}
1821
Andrew Morton7103f162013-02-22 16:32:33 -08001822void compact_pgdat(pg_data_t *pgdat, int order)
Rik van Riel7be62de2012-03-21 16:33:52 -07001823{
1824 struct compact_control cc = {
1825 .order = order,
David Rientjese0b9dae2014-06-04 16:08:28 -07001826 .mode = MIGRATE_ASYNC,
Rik van Riel7be62de2012-03-21 16:33:52 -07001827 };
1828
Mel Gorman3a7200a2013-09-11 14:22:19 -07001829 if (!order)
1830 return;
1831
Andrew Morton7103f162013-02-22 16:32:33 -08001832 __compact_pgdat(pgdat, &cc);
Rik van Riel7be62de2012-03-21 16:33:52 -07001833}
1834
Andrew Morton7103f162013-02-22 16:32:33 -08001835static void compact_node(int nid)
Rik van Riel7be62de2012-03-21 16:33:52 -07001836{
Rik van Riel7be62de2012-03-21 16:33:52 -07001837 struct compact_control cc = {
1838 .order = -1,
David Rientjese0b9dae2014-06-04 16:08:28 -07001839 .mode = MIGRATE_SYNC,
David Rientjes91ca9182014-04-03 14:47:23 -07001840 .ignore_skip_hint = true,
Rik van Riel7be62de2012-03-21 16:33:52 -07001841 };
1842
Andrew Morton7103f162013-02-22 16:32:33 -08001843 __compact_pgdat(NODE_DATA(nid), &cc);
Rik van Riel7be62de2012-03-21 16:33:52 -07001844}
1845
Mel Gorman76ab0f52010-05-24 14:32:28 -07001846/* Compact all nodes in the system */
Jason Liu7964c062013-01-11 14:31:47 -08001847static void compact_nodes(void)
Mel Gorman76ab0f52010-05-24 14:32:28 -07001848{
1849 int nid;
1850
Hugh Dickins8575ec22012-03-21 16:33:53 -07001851 /* Flush pending updates to the LRU lists */
1852 lru_add_drain_all();
1853
Mel Gorman76ab0f52010-05-24 14:32:28 -07001854 for_each_online_node(nid)
1855 compact_node(nid);
Mel Gorman76ab0f52010-05-24 14:32:28 -07001856}
1857
1858/* The written value is actually unused, all memory is compacted */
1859int sysctl_compact_memory;
1860
Yaowei Baifec4eb22016-01-14 15:20:09 -08001861/*
1862 * This is the entry point for compacting all nodes via
1863 * /proc/sys/vm/compact_memory
1864 */
Mel Gorman76ab0f52010-05-24 14:32:28 -07001865int sysctl_compaction_handler(struct ctl_table *table, int write,
1866 void __user *buffer, size_t *length, loff_t *ppos)
1867{
1868 if (write)
Jason Liu7964c062013-01-11 14:31:47 -08001869 compact_nodes();
Mel Gorman76ab0f52010-05-24 14:32:28 -07001870
1871 return 0;
1872}
Mel Gormaned4a6d72010-05-24 14:32:29 -07001873
Mel Gorman5e771902010-05-24 14:32:31 -07001874int sysctl_extfrag_handler(struct ctl_table *table, int write,
1875 void __user *buffer, size_t *length, loff_t *ppos)
1876{
1877 proc_dointvec_minmax(table, write, buffer, length, ppos);
1878
1879 return 0;
1880}
1881
Mel Gormaned4a6d72010-05-24 14:32:29 -07001882#if defined(CONFIG_SYSFS) && defined(CONFIG_NUMA)
Rashika Kheria74e77fb2014-04-03 14:48:01 -07001883static ssize_t sysfs_compact_node(struct device *dev,
Kay Sievers10fbcf42011-12-21 14:48:43 -08001884 struct device_attribute *attr,
Mel Gormaned4a6d72010-05-24 14:32:29 -07001885 const char *buf, size_t count)
1886{
Hugh Dickins8575ec22012-03-21 16:33:53 -07001887 int nid = dev->id;
1888
1889 if (nid >= 0 && nid < nr_node_ids && node_online(nid)) {
1890 /* Flush pending updates to the LRU lists */
1891 lru_add_drain_all();
1892
1893 compact_node(nid);
1894 }
Mel Gormaned4a6d72010-05-24 14:32:29 -07001895
1896 return count;
1897}
Kay Sievers10fbcf42011-12-21 14:48:43 -08001898static DEVICE_ATTR(compact, S_IWUSR, NULL, sysfs_compact_node);
Mel Gormaned4a6d72010-05-24 14:32:29 -07001899
1900int compaction_register_node(struct node *node)
1901{
Kay Sievers10fbcf42011-12-21 14:48:43 -08001902 return device_create_file(&node->dev, &dev_attr_compact);
Mel Gormaned4a6d72010-05-24 14:32:29 -07001903}
1904
1905void compaction_unregister_node(struct node *node)
1906{
Kay Sievers10fbcf42011-12-21 14:48:43 -08001907 return device_remove_file(&node->dev, &dev_attr_compact);
Mel Gormaned4a6d72010-05-24 14:32:29 -07001908}
1909#endif /* CONFIG_SYSFS && CONFIG_NUMA */
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01001910
Vlastimil Babka698b1b32016-03-17 14:18:08 -07001911static inline bool kcompactd_work_requested(pg_data_t *pgdat)
1912{
Vlastimil Babka172400c2016-05-05 16:22:32 -07001913 return pgdat->kcompactd_max_order > 0 || kthread_should_stop();
Vlastimil Babka698b1b32016-03-17 14:18:08 -07001914}
1915
1916static bool kcompactd_node_suitable(pg_data_t *pgdat)
1917{
1918 int zoneid;
1919 struct zone *zone;
1920 enum zone_type classzone_idx = pgdat->kcompactd_classzone_idx;
1921
Chen Feng6cd9dc32016-05-20 16:59:02 -07001922 for (zoneid = 0; zoneid <= classzone_idx; zoneid++) {
Vlastimil Babka698b1b32016-03-17 14:18:08 -07001923 zone = &pgdat->node_zones[zoneid];
1924
1925 if (!populated_zone(zone))
1926 continue;
1927
1928 if (compaction_suitable(zone, pgdat->kcompactd_max_order, 0,
1929 classzone_idx) == COMPACT_CONTINUE)
1930 return true;
1931 }
1932
1933 return false;
1934}
1935
1936static void kcompactd_do_work(pg_data_t *pgdat)
1937{
1938 /*
1939 * With no special task, compact all zones so that a page of requested
1940 * order is allocatable.
1941 */
1942 int zoneid;
1943 struct zone *zone;
1944 struct compact_control cc = {
1945 .order = pgdat->kcompactd_max_order,
1946 .classzone_idx = pgdat->kcompactd_classzone_idx,
1947 .mode = MIGRATE_SYNC_LIGHT,
1948 .ignore_skip_hint = true,
1949
1950 };
1951 bool success = false;
1952
1953 trace_mm_compaction_kcompactd_wake(pgdat->node_id, cc.order,
1954 cc.classzone_idx);
1955 count_vm_event(KCOMPACTD_WAKE);
1956
Chen Feng6cd9dc32016-05-20 16:59:02 -07001957 for (zoneid = 0; zoneid <= cc.classzone_idx; zoneid++) {
Vlastimil Babka698b1b32016-03-17 14:18:08 -07001958 int status;
1959
1960 zone = &pgdat->node_zones[zoneid];
1961 if (!populated_zone(zone))
1962 continue;
1963
1964 if (compaction_deferred(zone, cc.order))
1965 continue;
1966
1967 if (compaction_suitable(zone, cc.order, 0, zoneid) !=
1968 COMPACT_CONTINUE)
1969 continue;
1970
1971 cc.nr_freepages = 0;
1972 cc.nr_migratepages = 0;
1973 cc.zone = zone;
1974 INIT_LIST_HEAD(&cc.freepages);
1975 INIT_LIST_HEAD(&cc.migratepages);
1976
Vlastimil Babka172400c2016-05-05 16:22:32 -07001977 if (kthread_should_stop())
1978 return;
Vlastimil Babka698b1b32016-03-17 14:18:08 -07001979 status = compact_zone(zone, &cc);
1980
1981 if (zone_watermark_ok(zone, cc.order, low_wmark_pages(zone),
1982 cc.classzone_idx, 0)) {
1983 success = true;
1984 compaction_defer_reset(zone, cc.order, false);
Michal Hockoc8f7de02016-05-20 16:56:47 -07001985 } else if (status == COMPACT_PARTIAL_SKIPPED || status == COMPACT_COMPLETE) {
Vlastimil Babka698b1b32016-03-17 14:18:08 -07001986 /*
1987 * We use sync migration mode here, so we defer like
1988 * sync direct compaction does.
1989 */
1990 defer_compaction(zone, cc.order);
1991 }
1992
1993 VM_BUG_ON(!list_empty(&cc.freepages));
1994 VM_BUG_ON(!list_empty(&cc.migratepages));
1995 }
1996
1997 /*
1998 * Regardless of success, we are done until woken up next. But remember
1999 * the requested order/classzone_idx in case it was higher/tighter than
2000 * our current ones
2001 */
2002 if (pgdat->kcompactd_max_order <= cc.order)
2003 pgdat->kcompactd_max_order = 0;
2004 if (pgdat->kcompactd_classzone_idx >= cc.classzone_idx)
2005 pgdat->kcompactd_classzone_idx = pgdat->nr_zones - 1;
2006}
2007
2008void wakeup_kcompactd(pg_data_t *pgdat, int order, int classzone_idx)
2009{
2010 if (!order)
2011 return;
2012
2013 if (pgdat->kcompactd_max_order < order)
2014 pgdat->kcompactd_max_order = order;
2015
2016 if (pgdat->kcompactd_classzone_idx > classzone_idx)
2017 pgdat->kcompactd_classzone_idx = classzone_idx;
2018
2019 if (!waitqueue_active(&pgdat->kcompactd_wait))
2020 return;
2021
2022 if (!kcompactd_node_suitable(pgdat))
2023 return;
2024
2025 trace_mm_compaction_wakeup_kcompactd(pgdat->node_id, order,
2026 classzone_idx);
2027 wake_up_interruptible(&pgdat->kcompactd_wait);
2028}
2029
2030/*
2031 * The background compaction daemon, started as a kernel thread
2032 * from the init process.
2033 */
2034static int kcompactd(void *p)
2035{
2036 pg_data_t *pgdat = (pg_data_t*)p;
2037 struct task_struct *tsk = current;
2038
2039 const struct cpumask *cpumask = cpumask_of_node(pgdat->node_id);
2040
2041 if (!cpumask_empty(cpumask))
2042 set_cpus_allowed_ptr(tsk, cpumask);
2043
2044 set_freezable();
2045
2046 pgdat->kcompactd_max_order = 0;
2047 pgdat->kcompactd_classzone_idx = pgdat->nr_zones - 1;
2048
2049 while (!kthread_should_stop()) {
2050 trace_mm_compaction_kcompactd_sleep(pgdat->node_id);
2051 wait_event_freezable(pgdat->kcompactd_wait,
2052 kcompactd_work_requested(pgdat));
2053
2054 kcompactd_do_work(pgdat);
2055 }
2056
2057 return 0;
2058}
2059
2060/*
2061 * This kcompactd start function will be called by init and node-hot-add.
2062 * On node-hot-add, kcompactd will moved to proper cpus if cpus are hot-added.
2063 */
2064int kcompactd_run(int nid)
2065{
2066 pg_data_t *pgdat = NODE_DATA(nid);
2067 int ret = 0;
2068
2069 if (pgdat->kcompactd)
2070 return 0;
2071
2072 pgdat->kcompactd = kthread_run(kcompactd, pgdat, "kcompactd%d", nid);
2073 if (IS_ERR(pgdat->kcompactd)) {
2074 pr_err("Failed to start kcompactd on node %d\n", nid);
2075 ret = PTR_ERR(pgdat->kcompactd);
2076 pgdat->kcompactd = NULL;
2077 }
2078 return ret;
2079}
2080
2081/*
2082 * Called by memory hotplug when all memory in a node is offlined. Caller must
2083 * hold mem_hotplug_begin/end().
2084 */
2085void kcompactd_stop(int nid)
2086{
2087 struct task_struct *kcompactd = NODE_DATA(nid)->kcompactd;
2088
2089 if (kcompactd) {
2090 kthread_stop(kcompactd);
2091 NODE_DATA(nid)->kcompactd = NULL;
2092 }
2093}
2094
2095/*
2096 * It's optimal to keep kcompactd on the same CPUs as their memory, but
2097 * not required for correctness. So if the last cpu in a node goes
2098 * away, we get changed to run anywhere: as the first one comes back,
2099 * restore their cpu bindings.
2100 */
2101static int cpu_callback(struct notifier_block *nfb, unsigned long action,
2102 void *hcpu)
2103{
2104 int nid;
2105
2106 if (action == CPU_ONLINE || action == CPU_ONLINE_FROZEN) {
2107 for_each_node_state(nid, N_MEMORY) {
2108 pg_data_t *pgdat = NODE_DATA(nid);
2109 const struct cpumask *mask;
2110
2111 mask = cpumask_of_node(pgdat->node_id);
2112
2113 if (cpumask_any_and(cpu_online_mask, mask) < nr_cpu_ids)
2114 /* One of our CPUs online: restore mask */
2115 set_cpus_allowed_ptr(pgdat->kcompactd, mask);
2116 }
2117 }
2118 return NOTIFY_OK;
2119}
2120
2121static int __init kcompactd_init(void)
2122{
2123 int nid;
2124
2125 for_each_node_state(nid, N_MEMORY)
2126 kcompactd_run(nid);
2127 hotcpu_notifier(cpu_callback, 0);
2128 return 0;
2129}
2130subsys_initcall(kcompactd_init)
2131
Michal Nazarewiczff9543f2011-12-29 13:09:50 +01002132#endif /* CONFIG_COMPACTION */