]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | // SPDX-License-Identifier: GPL-2.0 |
748446bb MG |
2 | /* |
3 | * linux/mm/compaction.c | |
4 | * | |
5 | * Memory compaction for the reduction of external fragmentation. Note that | |
6 | * this heavily depends upon page migration to do all the real heavy | |
7 | * lifting | |
8 | * | |
9 | * Copyright IBM Corp. 2007-2010 Mel Gorman <[email protected]> | |
10 | */ | |
698b1b30 | 11 | #include <linux/cpu.h> |
748446bb MG |
12 | #include <linux/swap.h> |
13 | #include <linux/migrate.h> | |
14 | #include <linux/compaction.h> | |
15 | #include <linux/mm_inline.h> | |
174cd4b1 | 16 | #include <linux/sched/signal.h> |
748446bb | 17 | #include <linux/backing-dev.h> |
76ab0f53 | 18 | #include <linux/sysctl.h> |
ed4a6d7f | 19 | #include <linux/sysfs.h> |
194159fb | 20 | #include <linux/page-isolation.h> |
b8c73fc2 | 21 | #include <linux/kasan.h> |
698b1b30 VB |
22 | #include <linux/kthread.h> |
23 | #include <linux/freezer.h> | |
83358ece | 24 | #include <linux/page_owner.h> |
eb414681 | 25 | #include <linux/psi.h> |
748446bb MG |
26 | #include "internal.h" |
27 | ||
010fc29a | 28 | #ifdef CONFIG_COMPACTION |
31ca72fa CTK |
29 | /* |
30 | * Fragmentation score check interval for proactive compaction purposes. | |
31 | */ | |
32 | #define HPAGE_FRAG_CHECK_INTERVAL_MSEC (500) | |
33 | ||
010fc29a MK |
34 | static inline void count_compact_event(enum vm_event_item item) |
35 | { | |
36 | count_vm_event(item); | |
37 | } | |
38 | ||
39 | static inline void count_compact_events(enum vm_event_item item, long delta) | |
40 | { | |
41 | count_vm_events(item, delta); | |
42 | } | |
43 | #else | |
44 | #define count_compact_event(item) do { } while (0) | |
45 | #define count_compact_events(item, delta) do { } while (0) | |
46 | #endif | |
47 | ||
ff9543fd MN |
48 | #if defined CONFIG_COMPACTION || defined CONFIG_CMA |
49 | ||
b7aba698 MG |
50 | #define CREATE_TRACE_POINTS |
51 | #include <trace/events/compaction.h> | |
52 | ||
06b6640a VB |
53 | #define block_start_pfn(pfn, order) round_down(pfn, 1UL << (order)) |
54 | #define block_end_pfn(pfn, order) ALIGN((pfn) + 1, 1UL << (order)) | |
06b6640a | 55 | |
facdaa91 NG |
56 | /* |
57 | * Page order with-respect-to which proactive compaction | |
58 | * calculates external fragmentation, which is used as | |
59 | * the "fragmentation score" of a node/zone. | |
60 | */ | |
61 | #if defined CONFIG_TRANSPARENT_HUGEPAGE | |
62 | #define COMPACTION_HPAGE_ORDER HPAGE_PMD_ORDER | |
25788738 | 63 | #elif defined CONFIG_HUGETLBFS |
facdaa91 NG |
64 | #define COMPACTION_HPAGE_ORDER HUGETLB_PAGE_ORDER |
65 | #else | |
66 | #define COMPACTION_HPAGE_ORDER (PMD_SHIFT - PAGE_SHIFT) | |
67 | #endif | |
68 | ||
748446bb MG |
69 | static unsigned long release_freepages(struct list_head *freelist) |
70 | { | |
71 | struct page *page, *next; | |
6bace090 | 72 | unsigned long high_pfn = 0; |
748446bb MG |
73 | |
74 | list_for_each_entry_safe(page, next, freelist, lru) { | |
6bace090 | 75 | unsigned long pfn = page_to_pfn(page); |
748446bb MG |
76 | list_del(&page->lru); |
77 | __free_page(page); | |
6bace090 VB |
78 | if (pfn > high_pfn) |
79 | high_pfn = pfn; | |
748446bb MG |
80 | } |
81 | ||
6bace090 | 82 | return high_pfn; |
748446bb MG |
83 | } |
84 | ||
4469ab98 | 85 | static void split_map_pages(struct list_head *list) |
ff9543fd | 86 | { |
66c64223 JK |
87 | unsigned int i, order, nr_pages; |
88 | struct page *page, *next; | |
89 | LIST_HEAD(tmp_list); | |
90 | ||
91 | list_for_each_entry_safe(page, next, list, lru) { | |
92 | list_del(&page->lru); | |
93 | ||
94 | order = page_private(page); | |
95 | nr_pages = 1 << order; | |
66c64223 | 96 | |
46f24fd8 | 97 | post_alloc_hook(page, order, __GFP_MOVABLE); |
66c64223 JK |
98 | if (order) |
99 | split_page(page, order); | |
ff9543fd | 100 | |
66c64223 JK |
101 | for (i = 0; i < nr_pages; i++) { |
102 | list_add(&page->lru, &tmp_list); | |
103 | page++; | |
104 | } | |
ff9543fd | 105 | } |
66c64223 JK |
106 | |
107 | list_splice(&tmp_list, list); | |
ff9543fd MN |
108 | } |
109 | ||
bb13ffeb | 110 | #ifdef CONFIG_COMPACTION |
68f2736a | 111 | bool PageMovable(struct page *page) |
bda807d4 | 112 | { |
68f2736a | 113 | const struct movable_operations *mops; |
bda807d4 MK |
114 | |
115 | VM_BUG_ON_PAGE(!PageLocked(page), page); | |
116 | if (!__PageMovable(page)) | |
68f2736a | 117 | return false; |
bda807d4 | 118 | |
68f2736a MWO |
119 | mops = page_movable_ops(page); |
120 | if (mops) | |
121 | return true; | |
bda807d4 | 122 | |
68f2736a | 123 | return false; |
bda807d4 | 124 | } |
bda807d4 | 125 | |
68f2736a | 126 | void __SetPageMovable(struct page *page, const struct movable_operations *mops) |
bda807d4 MK |
127 | { |
128 | VM_BUG_ON_PAGE(!PageLocked(page), page); | |
68f2736a MWO |
129 | VM_BUG_ON_PAGE((unsigned long)mops & PAGE_MAPPING_MOVABLE, page); |
130 | page->mapping = (void *)((unsigned long)mops | PAGE_MAPPING_MOVABLE); | |
bda807d4 MK |
131 | } |
132 | EXPORT_SYMBOL(__SetPageMovable); | |
133 | ||
134 | void __ClearPageMovable(struct page *page) | |
135 | { | |
bda807d4 MK |
136 | VM_BUG_ON_PAGE(!PageMovable(page), page); |
137 | /* | |
68f2736a MWO |
138 | * This page still has the type of a movable page, but it's |
139 | * actually not movable any more. | |
bda807d4 | 140 | */ |
68f2736a | 141 | page->mapping = (void *)PAGE_MAPPING_MOVABLE; |
bda807d4 MK |
142 | } |
143 | EXPORT_SYMBOL(__ClearPageMovable); | |
144 | ||
24e2716f JK |
145 | /* Do not skip compaction more than 64 times */ |
146 | #define COMPACT_MAX_DEFER_SHIFT 6 | |
147 | ||
148 | /* | |
149 | * Compaction is deferred when compaction fails to result in a page | |
860b3272 | 150 | * allocation success. 1 << compact_defer_shift, compactions are skipped up |
24e2716f JK |
151 | * to a limit of 1 << COMPACT_MAX_DEFER_SHIFT |
152 | */ | |
2271b016 | 153 | static void defer_compaction(struct zone *zone, int order) |
24e2716f JK |
154 | { |
155 | zone->compact_considered = 0; | |
156 | zone->compact_defer_shift++; | |
157 | ||
158 | if (order < zone->compact_order_failed) | |
159 | zone->compact_order_failed = order; | |
160 | ||
161 | if (zone->compact_defer_shift > COMPACT_MAX_DEFER_SHIFT) | |
162 | zone->compact_defer_shift = COMPACT_MAX_DEFER_SHIFT; | |
163 | ||
164 | trace_mm_compaction_defer_compaction(zone, order); | |
165 | } | |
166 | ||
167 | /* Returns true if compaction should be skipped this time */ | |
2271b016 | 168 | static bool compaction_deferred(struct zone *zone, int order) |
24e2716f JK |
169 | { |
170 | unsigned long defer_limit = 1UL << zone->compact_defer_shift; | |
171 | ||
172 | if (order < zone->compact_order_failed) | |
173 | return false; | |
174 | ||
175 | /* Avoid possible overflow */ | |
62b35fe0 | 176 | if (++zone->compact_considered >= defer_limit) { |
24e2716f | 177 | zone->compact_considered = defer_limit; |
24e2716f | 178 | return false; |
62b35fe0 | 179 | } |
24e2716f JK |
180 | |
181 | trace_mm_compaction_deferred(zone, order); | |
182 | ||
183 | return true; | |
184 | } | |
185 | ||
186 | /* | |
187 | * Update defer tracking counters after successful compaction of given order, | |
188 | * which means an allocation either succeeded (alloc_success == true) or is | |
189 | * expected to succeed. | |
190 | */ | |
191 | void compaction_defer_reset(struct zone *zone, int order, | |
192 | bool alloc_success) | |
193 | { | |
194 | if (alloc_success) { | |
195 | zone->compact_considered = 0; | |
196 | zone->compact_defer_shift = 0; | |
197 | } | |
198 | if (order >= zone->compact_order_failed) | |
199 | zone->compact_order_failed = order + 1; | |
200 | ||
201 | trace_mm_compaction_defer_reset(zone, order); | |
202 | } | |
203 | ||
204 | /* Returns true if restarting compaction after many failures */ | |
2271b016 | 205 | static bool compaction_restarting(struct zone *zone, int order) |
24e2716f JK |
206 | { |
207 | if (order < zone->compact_order_failed) | |
208 | return false; | |
209 | ||
210 | return zone->compact_defer_shift == COMPACT_MAX_DEFER_SHIFT && | |
211 | zone->compact_considered >= 1UL << zone->compact_defer_shift; | |
212 | } | |
213 | ||
bb13ffeb MG |
214 | /* Returns true if the pageblock should be scanned for pages to isolate. */ |
215 | static inline bool isolation_suitable(struct compact_control *cc, | |
216 | struct page *page) | |
217 | { | |
218 | if (cc->ignore_skip_hint) | |
219 | return true; | |
220 | ||
221 | return !get_pageblock_skip(page); | |
222 | } | |
223 | ||
02333641 VB |
224 | static void reset_cached_positions(struct zone *zone) |
225 | { | |
226 | zone->compact_cached_migrate_pfn[0] = zone->zone_start_pfn; | |
227 | zone->compact_cached_migrate_pfn[1] = zone->zone_start_pfn; | |
623446e4 | 228 | zone->compact_cached_free_pfn = |
06b6640a | 229 | pageblock_start_pfn(zone_end_pfn(zone) - 1); |
02333641 VB |
230 | } |
231 | ||
9721fd82 BW |
232 | #ifdef CONFIG_SPARSEMEM |
233 | /* | |
234 | * If the PFN falls into an offline section, return the start PFN of the | |
235 | * next online section. If the PFN falls into an online section or if | |
236 | * there is no next online section, return 0. | |
237 | */ | |
238 | static unsigned long skip_offline_sections(unsigned long start_pfn) | |
239 | { | |
240 | unsigned long start_nr = pfn_to_section_nr(start_pfn); | |
241 | ||
242 | if (online_section_nr(start_nr)) | |
243 | return 0; | |
244 | ||
245 | while (++start_nr <= __highest_present_section_nr) { | |
246 | if (online_section_nr(start_nr)) | |
247 | return section_nr_to_pfn(start_nr); | |
248 | } | |
249 | ||
250 | return 0; | |
251 | } | |
e6e0c767 BW |
252 | |
253 | /* | |
254 | * If the PFN falls into an offline section, return the end PFN of the | |
255 | * next online section in reverse. If the PFN falls into an online section | |
256 | * or if there is no next online section in reverse, return 0. | |
257 | */ | |
258 | static unsigned long skip_offline_sections_reverse(unsigned long start_pfn) | |
259 | { | |
260 | unsigned long start_nr = pfn_to_section_nr(start_pfn); | |
261 | ||
262 | if (!start_nr || online_section_nr(start_nr)) | |
263 | return 0; | |
264 | ||
265 | while (start_nr-- > 0) { | |
266 | if (online_section_nr(start_nr)) | |
267 | return section_nr_to_pfn(start_nr) + PAGES_PER_SECTION; | |
268 | } | |
269 | ||
270 | return 0; | |
271 | } | |
9721fd82 BW |
272 | #else |
273 | static unsigned long skip_offline_sections(unsigned long start_pfn) | |
274 | { | |
275 | return 0; | |
276 | } | |
e6e0c767 BW |
277 | |
278 | static unsigned long skip_offline_sections_reverse(unsigned long start_pfn) | |
279 | { | |
280 | return 0; | |
281 | } | |
9721fd82 BW |
282 | #endif |
283 | ||
21dc7e02 | 284 | /* |
2271b016 | 285 | * Compound pages of >= pageblock_order should consistently be skipped until |
b527cfe5 VB |
286 | * released. It is always pointless to compact pages of such order (if they are |
287 | * migratable), and the pageblocks they occupy cannot contain any free pages. | |
21dc7e02 | 288 | */ |
b527cfe5 | 289 | static bool pageblock_skip_persistent(struct page *page) |
21dc7e02 | 290 | { |
b527cfe5 | 291 | if (!PageCompound(page)) |
21dc7e02 | 292 | return false; |
b527cfe5 VB |
293 | |
294 | page = compound_head(page); | |
295 | ||
296 | if (compound_order(page) >= pageblock_order) | |
297 | return true; | |
298 | ||
299 | return false; | |
21dc7e02 DR |
300 | } |
301 | ||
e332f741 MG |
302 | static bool |
303 | __reset_isolation_pfn(struct zone *zone, unsigned long pfn, bool check_source, | |
304 | bool check_target) | |
305 | { | |
306 | struct page *page = pfn_to_online_page(pfn); | |
6b0868c8 | 307 | struct page *block_page; |
e332f741 MG |
308 | struct page *end_page; |
309 | unsigned long block_pfn; | |
310 | ||
311 | if (!page) | |
312 | return false; | |
313 | if (zone != page_zone(page)) | |
314 | return false; | |
315 | if (pageblock_skip_persistent(page)) | |
316 | return false; | |
317 | ||
318 | /* | |
319 | * If skip is already cleared do no further checking once the | |
320 | * restart points have been set. | |
321 | */ | |
322 | if (check_source && check_target && !get_pageblock_skip(page)) | |
323 | return true; | |
324 | ||
325 | /* | |
326 | * If clearing skip for the target scanner, do not select a | |
327 | * non-movable pageblock as the starting point. | |
328 | */ | |
329 | if (!check_source && check_target && | |
330 | get_pageblock_migratetype(page) != MIGRATE_MOVABLE) | |
331 | return false; | |
332 | ||
6b0868c8 MG |
333 | /* Ensure the start of the pageblock or zone is online and valid */ |
334 | block_pfn = pageblock_start_pfn(pfn); | |
a2e9a5af VB |
335 | block_pfn = max(block_pfn, zone->zone_start_pfn); |
336 | block_page = pfn_to_online_page(block_pfn); | |
6b0868c8 MG |
337 | if (block_page) { |
338 | page = block_page; | |
339 | pfn = block_pfn; | |
340 | } | |
341 | ||
342 | /* Ensure the end of the pageblock or zone is online and valid */ | |
a2e9a5af | 343 | block_pfn = pageblock_end_pfn(pfn) - 1; |
6b0868c8 MG |
344 | block_pfn = min(block_pfn, zone_end_pfn(zone) - 1); |
345 | end_page = pfn_to_online_page(block_pfn); | |
346 | if (!end_page) | |
347 | return false; | |
348 | ||
e332f741 MG |
349 | /* |
350 | * Only clear the hint if a sample indicates there is either a | |
351 | * free page or an LRU page in the block. One or other condition | |
352 | * is necessary for the block to be a migration source/target. | |
353 | */ | |
e332f741 | 354 | do { |
859a85dd MR |
355 | if (check_source && PageLRU(page)) { |
356 | clear_pageblock_skip(page); | |
357 | return true; | |
358 | } | |
e332f741 | 359 | |
859a85dd MR |
360 | if (check_target && PageBuddy(page)) { |
361 | clear_pageblock_skip(page); | |
362 | return true; | |
e332f741 MG |
363 | } |
364 | ||
365 | page += (1 << PAGE_ALLOC_COSTLY_ORDER); | |
a2e9a5af | 366 | } while (page <= end_page); |
e332f741 MG |
367 | |
368 | return false; | |
369 | } | |
370 | ||
bb13ffeb MG |
371 | /* |
372 | * This function is called to clear all cached information on pageblocks that | |
373 | * should be skipped for page isolation when the migrate and free page scanner | |
374 | * meet. | |
375 | */ | |
62997027 | 376 | static void __reset_isolation_suitable(struct zone *zone) |
bb13ffeb | 377 | { |
e332f741 | 378 | unsigned long migrate_pfn = zone->zone_start_pfn; |
6b0868c8 | 379 | unsigned long free_pfn = zone_end_pfn(zone) - 1; |
e332f741 MG |
380 | unsigned long reset_migrate = free_pfn; |
381 | unsigned long reset_free = migrate_pfn; | |
382 | bool source_set = false; | |
383 | bool free_set = false; | |
384 | ||
385 | if (!zone->compact_blockskip_flush) | |
386 | return; | |
bb13ffeb | 387 | |
62997027 | 388 | zone->compact_blockskip_flush = false; |
bb13ffeb | 389 | |
e332f741 MG |
390 | /* |
391 | * Walk the zone and update pageblock skip information. Source looks | |
392 | * for PageLRU while target looks for PageBuddy. When the scanner | |
393 | * is found, both PageBuddy and PageLRU are checked as the pageblock | |
394 | * is suitable as both source and target. | |
395 | */ | |
396 | for (; migrate_pfn < free_pfn; migrate_pfn += pageblock_nr_pages, | |
397 | free_pfn -= pageblock_nr_pages) { | |
bb13ffeb MG |
398 | cond_resched(); |
399 | ||
e332f741 MG |
400 | /* Update the migrate PFN */ |
401 | if (__reset_isolation_pfn(zone, migrate_pfn, true, source_set) && | |
402 | migrate_pfn < reset_migrate) { | |
403 | source_set = true; | |
404 | reset_migrate = migrate_pfn; | |
405 | zone->compact_init_migrate_pfn = reset_migrate; | |
406 | zone->compact_cached_migrate_pfn[0] = reset_migrate; | |
407 | zone->compact_cached_migrate_pfn[1] = reset_migrate; | |
408 | } | |
bb13ffeb | 409 | |
e332f741 MG |
410 | /* Update the free PFN */ |
411 | if (__reset_isolation_pfn(zone, free_pfn, free_set, true) && | |
412 | free_pfn > reset_free) { | |
413 | free_set = true; | |
414 | reset_free = free_pfn; | |
415 | zone->compact_init_free_pfn = reset_free; | |
416 | zone->compact_cached_free_pfn = reset_free; | |
417 | } | |
bb13ffeb | 418 | } |
02333641 | 419 | |
e332f741 MG |
420 | /* Leave no distance if no suitable block was reset */ |
421 | if (reset_migrate >= reset_free) { | |
422 | zone->compact_cached_migrate_pfn[0] = migrate_pfn; | |
423 | zone->compact_cached_migrate_pfn[1] = migrate_pfn; | |
424 | zone->compact_cached_free_pfn = free_pfn; | |
425 | } | |
bb13ffeb MG |
426 | } |
427 | ||
62997027 MG |
428 | void reset_isolation_suitable(pg_data_t *pgdat) |
429 | { | |
430 | int zoneid; | |
431 | ||
432 | for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { | |
433 | struct zone *zone = &pgdat->node_zones[zoneid]; | |
434 | if (!populated_zone(zone)) | |
435 | continue; | |
436 | ||
437 | /* Only flush if a full compaction finished recently */ | |
438 | if (zone->compact_blockskip_flush) | |
439 | __reset_isolation_suitable(zone); | |
440 | } | |
441 | } | |
442 | ||
e380bebe MG |
443 | /* |
444 | * Sets the pageblock skip bit if it was clear. Note that this is a hint as | |
445 | * locks are not required for read/writers. Returns true if it was already set. | |
446 | */ | |
590ccea8 | 447 | static bool test_and_set_skip(struct compact_control *cc, struct page *page) |
e380bebe MG |
448 | { |
449 | bool skip; | |
450 | ||
590ccea8 | 451 | /* Do not update if skip hint is being ignored */ |
e380bebe MG |
452 | if (cc->ignore_skip_hint) |
453 | return false; | |
454 | ||
e380bebe MG |
455 | skip = get_pageblock_skip(page); |
456 | if (!skip && !cc->no_set_skip_hint) | |
457 | set_pageblock_skip(page); | |
458 | ||
459 | return skip; | |
460 | } | |
461 | ||
462 | static void update_cached_migrate(struct compact_control *cc, unsigned long pfn) | |
463 | { | |
464 | struct zone *zone = cc->zone; | |
465 | ||
e380bebe MG |
466 | /* Set for isolation rather than compaction */ |
467 | if (cc->no_set_skip_hint) | |
468 | return; | |
469 | ||
3c099a2b KS |
470 | pfn = pageblock_end_pfn(pfn); |
471 | ||
cf043a00 | 472 | /* Update where async and sync compaction should restart */ |
e380bebe MG |
473 | if (pfn > zone->compact_cached_migrate_pfn[0]) |
474 | zone->compact_cached_migrate_pfn[0] = pfn; | |
475 | if (cc->mode != MIGRATE_ASYNC && | |
476 | pfn > zone->compact_cached_migrate_pfn[1]) | |
477 | zone->compact_cached_migrate_pfn[1] = pfn; | |
478 | } | |
479 | ||
bb13ffeb MG |
480 | /* |
481 | * If no pages were isolated then mark this pageblock to be skipped in the | |
62997027 | 482 | * future. The information is later cleared by __reset_isolation_suitable(). |
bb13ffeb | 483 | */ |
c89511ab | 484 | static void update_pageblock_skip(struct compact_control *cc, |
d097a6f6 | 485 | struct page *page, unsigned long pfn) |
bb13ffeb | 486 | { |
c89511ab | 487 | struct zone *zone = cc->zone; |
6815bf3f | 488 | |
2583d671 | 489 | if (cc->no_set_skip_hint) |
6815bf3f JK |
490 | return; |
491 | ||
edc2ca61 | 492 | set_pageblock_skip(page); |
c89511ab | 493 | |
e380bebe MG |
494 | if (pfn < zone->compact_cached_free_pfn) |
495 | zone->compact_cached_free_pfn = pfn; | |
bb13ffeb MG |
496 | } |
497 | #else | |
498 | static inline bool isolation_suitable(struct compact_control *cc, | |
499 | struct page *page) | |
500 | { | |
501 | return true; | |
502 | } | |
503 | ||
b527cfe5 | 504 | static inline bool pageblock_skip_persistent(struct page *page) |
21dc7e02 DR |
505 | { |
506 | return false; | |
507 | } | |
508 | ||
509 | static inline void update_pageblock_skip(struct compact_control *cc, | |
d097a6f6 | 510 | struct page *page, unsigned long pfn) |
bb13ffeb MG |
511 | { |
512 | } | |
e380bebe MG |
513 | |
514 | static void update_cached_migrate(struct compact_control *cc, unsigned long pfn) | |
515 | { | |
516 | } | |
517 | ||
590ccea8 | 518 | static bool test_and_set_skip(struct compact_control *cc, struct page *page) |
e380bebe MG |
519 | { |
520 | return false; | |
521 | } | |
bb13ffeb MG |
522 | #endif /* CONFIG_COMPACTION */ |
523 | ||
8b44d279 VB |
524 | /* |
525 | * Compaction requires the taking of some coarse locks that are potentially | |
cb2dcaf0 MG |
526 | * very heavily contended. For async compaction, trylock and record if the |
527 | * lock is contended. The lock will still be acquired but compaction will | |
528 | * abort when the current block is finished regardless of success rate. | |
529 | * Sync compaction acquires the lock. | |
8b44d279 | 530 | * |
cb2dcaf0 | 531 | * Always returns true which makes it easier to track lock state in callers. |
8b44d279 | 532 | */ |
cb2dcaf0 | 533 | static bool compact_lock_irqsave(spinlock_t *lock, unsigned long *flags, |
8b44d279 | 534 | struct compact_control *cc) |
77337ede | 535 | __acquires(lock) |
2a1402aa | 536 | { |
cb2dcaf0 MG |
537 | /* Track if the lock is contended in async mode */ |
538 | if (cc->mode == MIGRATE_ASYNC && !cc->contended) { | |
539 | if (spin_trylock_irqsave(lock, *flags)) | |
540 | return true; | |
541 | ||
542 | cc->contended = true; | |
8b44d279 | 543 | } |
1f9efdef | 544 | |
cb2dcaf0 | 545 | spin_lock_irqsave(lock, *flags); |
8b44d279 | 546 | return true; |
2a1402aa MG |
547 | } |
548 | ||
c67fe375 MG |
549 | /* |
550 | * Compaction requires the taking of some coarse locks that are potentially | |
8b44d279 VB |
551 | * very heavily contended. The lock should be periodically unlocked to avoid |
552 | * having disabled IRQs for a long time, even when there is nobody waiting on | |
553 | * the lock. It might also be that allowing the IRQs will result in | |
d56c1584 | 554 | * need_resched() becoming true. If scheduling is needed, compaction schedules. |
8b44d279 VB |
555 | * Either compaction type will also abort if a fatal signal is pending. |
556 | * In either case if the lock was locked, it is dropped and not regained. | |
c67fe375 | 557 | * |
d56c1584 ML |
558 | * Returns true if compaction should abort due to fatal signal pending. |
559 | * Returns false when compaction can continue. | |
c67fe375 | 560 | */ |
8b44d279 VB |
561 | static bool compact_unlock_should_abort(spinlock_t *lock, |
562 | unsigned long flags, bool *locked, struct compact_control *cc) | |
c67fe375 | 563 | { |
8b44d279 VB |
564 | if (*locked) { |
565 | spin_unlock_irqrestore(lock, flags); | |
566 | *locked = false; | |
567 | } | |
1f9efdef | 568 | |
8b44d279 | 569 | if (fatal_signal_pending(current)) { |
c3486f53 | 570 | cc->contended = true; |
8b44d279 VB |
571 | return true; |
572 | } | |
c67fe375 | 573 | |
cf66f070 | 574 | cond_resched(); |
be976572 VB |
575 | |
576 | return false; | |
577 | } | |
578 | ||
85aa125f | 579 | /* |
9e4be470 JM |
580 | * Isolate free pages onto a private freelist. If @strict is true, will abort |
581 | * returning 0 on any invalid PFNs or non-free pages inside of the pageblock | |
582 | * (even though it may still end up isolating some pages). | |
85aa125f | 583 | */ |
f40d1e42 | 584 | static unsigned long isolate_freepages_block(struct compact_control *cc, |
e14c720e | 585 | unsigned long *start_pfn, |
85aa125f MN |
586 | unsigned long end_pfn, |
587 | struct list_head *freelist, | |
4fca9730 | 588 | unsigned int stride, |
85aa125f | 589 | bool strict) |
748446bb | 590 | { |
b7aba698 | 591 | int nr_scanned = 0, total_isolated = 0; |
dc13292c | 592 | struct page *page; |
b8b2d825 | 593 | unsigned long flags = 0; |
f40d1e42 | 594 | bool locked = false; |
e14c720e | 595 | unsigned long blockpfn = *start_pfn; |
66c64223 | 596 | unsigned int order; |
748446bb | 597 | |
4fca9730 MG |
598 | /* Strict mode is for isolation, speed is secondary */ |
599 | if (strict) | |
600 | stride = 1; | |
601 | ||
dc13292c | 602 | page = pfn_to_page(blockpfn); |
748446bb | 603 | |
f40d1e42 | 604 | /* Isolate free pages. */ |
dc13292c | 605 | for (; blockpfn < end_pfn; blockpfn += stride, page += stride) { |
66c64223 | 606 | int isolated; |
748446bb | 607 | |
8b44d279 VB |
608 | /* |
609 | * Periodically drop the lock (if held) regardless of its | |
610 | * contention, to give chance to IRQs. Abort if fatal signal | |
d56c1584 | 611 | * pending. |
8b44d279 | 612 | */ |
c036ddff | 613 | if (!(blockpfn % COMPACT_CLUSTER_MAX) |
8b44d279 VB |
614 | && compact_unlock_should_abort(&cc->zone->lock, flags, |
615 | &locked, cc)) | |
616 | break; | |
617 | ||
b7aba698 | 618 | nr_scanned++; |
2af120bc | 619 | |
9fcd6d2e VB |
620 | /* |
621 | * For compound pages such as THP and hugetlbfs, we can save | |
622 | * potentially a lot of iterations if we skip them at once. | |
623 | * The check is racy, but we can consider only valid values | |
624 | * and the only danger is skipping too much. | |
625 | */ | |
626 | if (PageCompound(page)) { | |
21dc7e02 DR |
627 | const unsigned int order = compound_order(page); |
628 | ||
23baf831 | 629 | if (likely(order <= MAX_ORDER)) { |
21dc7e02 | 630 | blockpfn += (1UL << order) - 1; |
dc13292c | 631 | page += (1UL << order) - 1; |
56d48d8d | 632 | nr_scanned += (1UL << order) - 1; |
9fcd6d2e | 633 | } |
9fcd6d2e VB |
634 | goto isolate_fail; |
635 | } | |
636 | ||
f40d1e42 | 637 | if (!PageBuddy(page)) |
2af120bc | 638 | goto isolate_fail; |
f40d1e42 | 639 | |
85f73e6d | 640 | /* If we already hold the lock, we can skip some rechecking. */ |
69b7189f | 641 | if (!locked) { |
cb2dcaf0 | 642 | locked = compact_lock_irqsave(&cc->zone->lock, |
8b44d279 | 643 | &flags, cc); |
f40d1e42 | 644 | |
69b7189f VB |
645 | /* Recheck this is a buddy page under lock */ |
646 | if (!PageBuddy(page)) | |
647 | goto isolate_fail; | |
648 | } | |
748446bb | 649 | |
66c64223 | 650 | /* Found a free page, will break it into order-0 pages */ |
ab130f91 | 651 | order = buddy_order(page); |
66c64223 | 652 | isolated = __isolate_free_page(page, order); |
a4f04f2c DR |
653 | if (!isolated) |
654 | break; | |
66c64223 | 655 | set_page_private(page, order); |
a4f04f2c | 656 | |
b717d6b9 | 657 | nr_scanned += isolated - 1; |
748446bb | 658 | total_isolated += isolated; |
a4f04f2c | 659 | cc->nr_freepages += isolated; |
66c64223 JK |
660 | list_add_tail(&page->lru, freelist); |
661 | ||
a4f04f2c DR |
662 | if (!strict && cc->nr_migratepages <= cc->nr_freepages) { |
663 | blockpfn += isolated; | |
664 | break; | |
748446bb | 665 | } |
a4f04f2c DR |
666 | /* Advance to the end of split page */ |
667 | blockpfn += isolated - 1; | |
dc13292c | 668 | page += isolated - 1; |
a4f04f2c | 669 | continue; |
2af120bc LA |
670 | |
671 | isolate_fail: | |
672 | if (strict) | |
673 | break; | |
2af120bc | 674 | |
748446bb MG |
675 | } |
676 | ||
a4f04f2c DR |
677 | if (locked) |
678 | spin_unlock_irqrestore(&cc->zone->lock, flags); | |
679 | ||
9fcd6d2e VB |
680 | /* |
681 | * There is a tiny chance that we have read bogus compound_order(), | |
682 | * so be careful to not go outside of the pageblock. | |
683 | */ | |
684 | if (unlikely(blockpfn > end_pfn)) | |
685 | blockpfn = end_pfn; | |
686 | ||
e34d85f0 JK |
687 | trace_mm_compaction_isolate_freepages(*start_pfn, blockpfn, |
688 | nr_scanned, total_isolated); | |
689 | ||
e14c720e VB |
690 | /* Record how far we have got within the block */ |
691 | *start_pfn = blockpfn; | |
692 | ||
f40d1e42 MG |
693 | /* |
694 | * If strict isolation is requested by CMA then check that all the | |
695 | * pages requested were isolated. If there were any failures, 0 is | |
696 | * returned and CMA will fail. | |
697 | */ | |
2af120bc | 698 | if (strict && blockpfn < end_pfn) |
f40d1e42 MG |
699 | total_isolated = 0; |
700 | ||
7f354a54 | 701 | cc->total_free_scanned += nr_scanned; |
397487db | 702 | if (total_isolated) |
010fc29a | 703 | count_compact_events(COMPACTISOLATED, total_isolated); |
748446bb MG |
704 | return total_isolated; |
705 | } | |
706 | ||
85aa125f MN |
707 | /** |
708 | * isolate_freepages_range() - isolate free pages. | |
e8b098fc | 709 | * @cc: Compaction control structure. |
85aa125f MN |
710 | * @start_pfn: The first PFN to start isolating. |
711 | * @end_pfn: The one-past-last PFN. | |
712 | * | |
713 | * Non-free pages, invalid PFNs, or zone boundaries within the | |
714 | * [start_pfn, end_pfn) range are considered errors, cause function to | |
715 | * undo its actions and return zero. | |
716 | * | |
717 | * Otherwise, function returns one-past-the-last PFN of isolated page | |
718 | * (which may be greater then end_pfn if end fell in a middle of | |
719 | * a free page). | |
720 | */ | |
ff9543fd | 721 | unsigned long |
bb13ffeb MG |
722 | isolate_freepages_range(struct compact_control *cc, |
723 | unsigned long start_pfn, unsigned long end_pfn) | |
85aa125f | 724 | { |
e1409c32 | 725 | unsigned long isolated, pfn, block_start_pfn, block_end_pfn; |
85aa125f MN |
726 | LIST_HEAD(freelist); |
727 | ||
7d49d886 | 728 | pfn = start_pfn; |
06b6640a | 729 | block_start_pfn = pageblock_start_pfn(pfn); |
e1409c32 JK |
730 | if (block_start_pfn < cc->zone->zone_start_pfn) |
731 | block_start_pfn = cc->zone->zone_start_pfn; | |
06b6640a | 732 | block_end_pfn = pageblock_end_pfn(pfn); |
7d49d886 VB |
733 | |
734 | for (; pfn < end_pfn; pfn += isolated, | |
e1409c32 | 735 | block_start_pfn = block_end_pfn, |
7d49d886 | 736 | block_end_pfn += pageblock_nr_pages) { |
e14c720e VB |
737 | /* Protect pfn from changing by isolate_freepages_block */ |
738 | unsigned long isolate_start_pfn = pfn; | |
85aa125f | 739 | |
58420016 JK |
740 | /* |
741 | * pfn could pass the block_end_pfn if isolated freepage | |
742 | * is more than pageblock order. In this case, we adjust | |
743 | * scanning range to right one. | |
744 | */ | |
745 | if (pfn >= block_end_pfn) { | |
06b6640a VB |
746 | block_start_pfn = pageblock_start_pfn(pfn); |
747 | block_end_pfn = pageblock_end_pfn(pfn); | |
58420016 JK |
748 | } |
749 | ||
a2864a67 KS |
750 | block_end_pfn = min(block_end_pfn, end_pfn); |
751 | ||
e1409c32 JK |
752 | if (!pageblock_pfn_to_page(block_start_pfn, |
753 | block_end_pfn, cc->zone)) | |
7d49d886 VB |
754 | break; |
755 | ||
e14c720e | 756 | isolated = isolate_freepages_block(cc, &isolate_start_pfn, |
4fca9730 | 757 | block_end_pfn, &freelist, 0, true); |
85aa125f MN |
758 | |
759 | /* | |
760 | * In strict mode, isolate_freepages_block() returns 0 if | |
761 | * there are any holes in the block (ie. invalid PFNs or | |
762 | * non-free pages). | |
763 | */ | |
764 | if (!isolated) | |
765 | break; | |
766 | ||
767 | /* | |
768 | * If we managed to isolate pages, it is always (1 << n) * | |
769 | * pageblock_nr_pages for some non-negative n. (Max order | |
770 | * page may span two pageblocks). | |
771 | */ | |
772 | } | |
773 | ||
66c64223 | 774 | /* __isolate_free_page() does not map the pages */ |
4469ab98 | 775 | split_map_pages(&freelist); |
85aa125f MN |
776 | |
777 | if (pfn < end_pfn) { | |
778 | /* Loop terminated early, cleanup. */ | |
779 | release_freepages(&freelist); | |
780 | return 0; | |
781 | } | |
782 | ||
783 | /* We don't use freelists for anything. */ | |
784 | return pfn; | |
785 | } | |
786 | ||
748446bb | 787 | /* Similar to reclaim, but different enough that they don't share logic */ |
4fbbb3fd | 788 | static bool too_many_isolated(struct compact_control *cc) |
748446bb | 789 | { |
4fbbb3fd | 790 | pg_data_t *pgdat = cc->zone->zone_pgdat; |
d818fca1 MG |
791 | bool too_many; |
792 | ||
bc693045 | 793 | unsigned long active, inactive, isolated; |
748446bb | 794 | |
5f438eee AR |
795 | inactive = node_page_state(pgdat, NR_INACTIVE_FILE) + |
796 | node_page_state(pgdat, NR_INACTIVE_ANON); | |
797 | active = node_page_state(pgdat, NR_ACTIVE_FILE) + | |
798 | node_page_state(pgdat, NR_ACTIVE_ANON); | |
799 | isolated = node_page_state(pgdat, NR_ISOLATED_FILE) + | |
800 | node_page_state(pgdat, NR_ISOLATED_ANON); | |
748446bb | 801 | |
4fbbb3fd JW |
802 | /* |
803 | * Allow GFP_NOFS to isolate past the limit set for regular | |
804 | * compaction runs. This prevents an ABBA deadlock when other | |
805 | * compactors have already isolated to the limit, but are | |
806 | * blocked on filesystem locks held by the GFP_NOFS thread. | |
807 | */ | |
808 | if (cc->gfp_mask & __GFP_FS) { | |
809 | inactive >>= 3; | |
810 | active >>= 3; | |
811 | } | |
812 | ||
d818fca1 MG |
813 | too_many = isolated > (inactive + active) / 2; |
814 | if (!too_many) | |
815 | wake_throttle_isolated(pgdat); | |
816 | ||
817 | return too_many; | |
748446bb MG |
818 | } |
819 | ||
2fe86e00 | 820 | /** |
edc2ca61 VB |
821 | * isolate_migratepages_block() - isolate all migrate-able pages within |
822 | * a single pageblock | |
2fe86e00 | 823 | * @cc: Compaction control structure. |
edc2ca61 VB |
824 | * @low_pfn: The first PFN to isolate |
825 | * @end_pfn: The one-past-the-last PFN to isolate, within same pageblock | |
89f6c88a | 826 | * @mode: Isolation mode to be used. |
2fe86e00 MN |
827 | * |
828 | * Isolate all pages that can be migrated from the range specified by | |
edc2ca61 | 829 | * [low_pfn, end_pfn). The range is expected to be within same pageblock. |
c2ad7a1f | 830 | * Returns errno, like -EAGAIN or -EINTR in case e.g signal pending or congestion, |
369fa227 | 831 | * -ENOMEM in case we could not allocate a page, or 0. |
c2ad7a1f | 832 | * cc->migrate_pfn will contain the next pfn to scan. |
2fe86e00 | 833 | * |
edc2ca61 | 834 | * The pages are isolated on cc->migratepages list (not required to be empty), |
c2ad7a1f | 835 | * and cc->nr_migratepages is updated accordingly. |
748446bb | 836 | */ |
c2ad7a1f | 837 | static int |
edc2ca61 | 838 | isolate_migratepages_block(struct compact_control *cc, unsigned long low_pfn, |
89f6c88a | 839 | unsigned long end_pfn, isolate_mode_t mode) |
748446bb | 840 | { |
5f438eee | 841 | pg_data_t *pgdat = cc->zone->zone_pgdat; |
b7aba698 | 842 | unsigned long nr_scanned = 0, nr_isolated = 0; |
fa9add64 | 843 | struct lruvec *lruvec; |
b8b2d825 | 844 | unsigned long flags = 0; |
6168d0da | 845 | struct lruvec *locked = NULL; |
56ae0bb3 | 846 | struct folio *folio = NULL; |
bb13ffeb | 847 | struct page *page = NULL, *valid_page = NULL; |
89f6c88a | 848 | struct address_space *mapping; |
e34d85f0 | 849 | unsigned long start_pfn = low_pfn; |
fdd048e1 VB |
850 | bool skip_on_failure = false; |
851 | unsigned long next_skip_pfn = 0; | |
e380bebe | 852 | bool skip_updated = false; |
c2ad7a1f OS |
853 | int ret = 0; |
854 | ||
855 | cc->migrate_pfn = low_pfn; | |
748446bb | 856 | |
748446bb MG |
857 | /* |
858 | * Ensure that there are not too many pages isolated from the LRU | |
859 | * list by either parallel reclaimers or compaction. If there are, | |
860 | * delay for some time until fewer pages are isolated | |
861 | */ | |
4fbbb3fd | 862 | while (unlikely(too_many_isolated(cc))) { |
d20bdd57 ZY |
863 | /* stop isolation if there are still pages not migrated */ |
864 | if (cc->nr_migratepages) | |
c2ad7a1f | 865 | return -EAGAIN; |
d20bdd57 | 866 | |
f9e35b3b | 867 | /* async migration should just abort */ |
e0b9daeb | 868 | if (cc->mode == MIGRATE_ASYNC) |
c2ad7a1f | 869 | return -EAGAIN; |
f9e35b3b | 870 | |
c3f4a9a2 | 871 | reclaim_throttle(pgdat, VMSCAN_THROTTLE_ISOLATED); |
748446bb MG |
872 | |
873 | if (fatal_signal_pending(current)) | |
c2ad7a1f | 874 | return -EINTR; |
748446bb MG |
875 | } |
876 | ||
cf66f070 | 877 | cond_resched(); |
aeef4b83 | 878 | |
fdd048e1 VB |
879 | if (cc->direct_compaction && (cc->mode == MIGRATE_ASYNC)) { |
880 | skip_on_failure = true; | |
881 | next_skip_pfn = block_end_pfn(low_pfn, cc->order); | |
882 | } | |
883 | ||
748446bb | 884 | /* Time to isolate some pages for migration */ |
748446bb | 885 | for (; low_pfn < end_pfn; low_pfn++) { |
29c0dde8 | 886 | |
fdd048e1 VB |
887 | if (skip_on_failure && low_pfn >= next_skip_pfn) { |
888 | /* | |
889 | * We have isolated all migration candidates in the | |
890 | * previous order-aligned block, and did not skip it due | |
891 | * to failure. We should migrate the pages now and | |
892 | * hopefully succeed compaction. | |
893 | */ | |
894 | if (nr_isolated) | |
895 | break; | |
896 | ||
897 | /* | |
898 | * We failed to isolate in the previous order-aligned | |
899 | * block. Set the new boundary to the end of the | |
900 | * current block. Note we can't simply increase | |
901 | * next_skip_pfn by 1 << order, as low_pfn might have | |
902 | * been incremented by a higher number due to skipping | |
903 | * a compound or a high-order buddy page in the | |
904 | * previous loop iteration. | |
905 | */ | |
906 | next_skip_pfn = block_end_pfn(low_pfn, cc->order); | |
907 | } | |
908 | ||
8b44d279 VB |
909 | /* |
910 | * Periodically drop the lock (if held) regardless of its | |
670105a2 MG |
911 | * contention, to give chance to IRQs. Abort completely if |
912 | * a fatal signal is pending. | |
8b44d279 | 913 | */ |
c036ddff | 914 | if (!(low_pfn % COMPACT_CLUSTER_MAX)) { |
6168d0da AS |
915 | if (locked) { |
916 | unlock_page_lruvec_irqrestore(locked, flags); | |
917 | locked = NULL; | |
918 | } | |
919 | ||
920 | if (fatal_signal_pending(current)) { | |
921 | cc->contended = true; | |
c2ad7a1f | 922 | ret = -EINTR; |
6168d0da | 923 | |
6168d0da AS |
924 | goto fatal_pending; |
925 | } | |
926 | ||
927 | cond_resched(); | |
670105a2 | 928 | } |
c67fe375 | 929 | |
b7aba698 | 930 | nr_scanned++; |
748446bb | 931 | |
748446bb | 932 | page = pfn_to_page(low_pfn); |
dc908600 | 933 | |
e380bebe MG |
934 | /* |
935 | * Check if the pageblock has already been marked skipped. | |
493614da | 936 | * Only the first PFN is checked as the caller isolates |
e380bebe MG |
937 | * COMPACT_CLUSTER_MAX at a time so the second call must |
938 | * not falsely conclude that the block should be skipped. | |
939 | */ | |
493614da JW |
940 | if (!valid_page && (pageblock_aligned(low_pfn) || |
941 | low_pfn == cc->zone->zone_start_pfn)) { | |
4af12d04 | 942 | if (!isolation_suitable(cc, page)) { |
e380bebe | 943 | low_pfn = end_pfn; |
56ae0bb3 | 944 | folio = NULL; |
e380bebe MG |
945 | goto isolate_abort; |
946 | } | |
bb13ffeb | 947 | valid_page = page; |
e380bebe | 948 | } |
bb13ffeb | 949 | |
369fa227 | 950 | if (PageHuge(page) && cc->alloc_contig) { |
1c06b6a5 BW |
951 | if (locked) { |
952 | unlock_page_lruvec_irqrestore(locked, flags); | |
953 | locked = NULL; | |
954 | } | |
955 | ||
ae37c7ff | 956 | ret = isolate_or_dissolve_huge_page(page, &cc->migratepages); |
369fa227 OS |
957 | |
958 | /* | |
959 | * Fail isolation in case isolate_or_dissolve_huge_page() | |
960 | * reports an error. In case of -ENOMEM, abort right away. | |
961 | */ | |
962 | if (ret < 0) { | |
963 | /* Do not report -EBUSY down the chain */ | |
964 | if (ret == -EBUSY) | |
965 | ret = 0; | |
66fe1cf7 | 966 | low_pfn += compound_nr(page) - 1; |
56d48d8d | 967 | nr_scanned += compound_nr(page) - 1; |
369fa227 OS |
968 | goto isolate_fail; |
969 | } | |
970 | ||
ae37c7ff OS |
971 | if (PageHuge(page)) { |
972 | /* | |
973 | * Hugepage was successfully isolated and placed | |
974 | * on the cc->migratepages list. | |
975 | */ | |
56ae0bb3 KW |
976 | folio = page_folio(page); |
977 | low_pfn += folio_nr_pages(folio) - 1; | |
ae37c7ff OS |
978 | goto isolate_success_no_list; |
979 | } | |
980 | ||
369fa227 OS |
981 | /* |
982 | * Ok, the hugepage was dissolved. Now these pages are | |
983 | * Buddy and cannot be re-allocated because they are | |
984 | * isolated. Fall-through as the check below handles | |
985 | * Buddy pages. | |
986 | */ | |
987 | } | |
988 | ||
6c14466c | 989 | /* |
99c0fd5e VB |
990 | * Skip if free. We read page order here without zone lock |
991 | * which is generally unsafe, but the race window is small and | |
992 | * the worst thing that can happen is that we skip some | |
993 | * potential isolation targets. | |
6c14466c | 994 | */ |
99c0fd5e | 995 | if (PageBuddy(page)) { |
ab130f91 | 996 | unsigned long freepage_order = buddy_order_unsafe(page); |
99c0fd5e VB |
997 | |
998 | /* | |
999 | * Without lock, we cannot be sure that what we got is | |
1000 | * a valid page order. Consider only values in the | |
1001 | * valid order range to prevent low_pfn overflow. | |
1002 | */ | |
56d48d8d | 1003 | if (freepage_order > 0 && freepage_order <= MAX_ORDER) { |
99c0fd5e | 1004 | low_pfn += (1UL << freepage_order) - 1; |
56d48d8d BW |
1005 | nr_scanned += (1UL << freepage_order) - 1; |
1006 | } | |
748446bb | 1007 | continue; |
99c0fd5e | 1008 | } |
748446bb | 1009 | |
bc835011 | 1010 | /* |
29c0dde8 | 1011 | * Regardless of being on LRU, compound pages such as THP and |
1da2f328 RR |
1012 | * hugetlbfs are not to be compacted unless we are attempting |
1013 | * an allocation much larger than the huge page size (eg CMA). | |
1014 | * We can potentially save a lot of iterations if we skip them | |
1015 | * at once. The check is racy, but we can consider only valid | |
1016 | * values and the only danger is skipping too much. | |
bc835011 | 1017 | */ |
1da2f328 | 1018 | if (PageCompound(page) && !cc->alloc_contig) { |
21dc7e02 | 1019 | const unsigned int order = compound_order(page); |
edc2ca61 | 1020 | |
56d48d8d | 1021 | if (likely(order <= MAX_ORDER)) { |
21dc7e02 | 1022 | low_pfn += (1UL << order) - 1; |
56d48d8d BW |
1023 | nr_scanned += (1UL << order) - 1; |
1024 | } | |
fdd048e1 | 1025 | goto isolate_fail; |
2a1402aa MG |
1026 | } |
1027 | ||
bda807d4 MK |
1028 | /* |
1029 | * Check may be lockless but that's ok as we recheck later. | |
1030 | * It's possible to migrate LRU and non-lru movable pages. | |
1031 | * Skip any other type of page | |
1032 | */ | |
1033 | if (!PageLRU(page)) { | |
bda807d4 MK |
1034 | /* |
1035 | * __PageMovable can return false positive so we need | |
1036 | * to verify it under page_lock. | |
1037 | */ | |
1038 | if (unlikely(__PageMovable(page)) && | |
1039 | !PageIsolated(page)) { | |
1040 | if (locked) { | |
6168d0da AS |
1041 | unlock_page_lruvec_irqrestore(locked, flags); |
1042 | locked = NULL; | |
bda807d4 MK |
1043 | } |
1044 | ||
56ae0bb3 KW |
1045 | if (isolate_movable_page(page, mode)) { |
1046 | folio = page_folio(page); | |
bda807d4 | 1047 | goto isolate_success; |
56ae0bb3 | 1048 | } |
bda807d4 MK |
1049 | } |
1050 | ||
fdd048e1 | 1051 | goto isolate_fail; |
bda807d4 | 1052 | } |
29c0dde8 | 1053 | |
829ae0f8 GS |
1054 | /* |
1055 | * Be careful not to clear PageLRU until after we're | |
1056 | * sure the page is not being freed elsewhere -- the | |
1057 | * page release code relies on it. | |
1058 | */ | |
56ae0bb3 KW |
1059 | folio = folio_get_nontail_page(page); |
1060 | if (unlikely(!folio)) | |
829ae0f8 GS |
1061 | goto isolate_fail; |
1062 | ||
119d6d59 DR |
1063 | /* |
1064 | * Migration will fail if an anonymous page is pinned in memory, | |
1065 | * so avoid taking lru_lock and isolating it unnecessarily in an | |
1066 | * admittedly racy check. | |
1067 | */ | |
56ae0bb3 KW |
1068 | mapping = folio_mapping(folio); |
1069 | if (!mapping && (folio_ref_count(folio) - 1) > folio_mapcount(folio)) | |
829ae0f8 | 1070 | goto isolate_fail_put; |
119d6d59 | 1071 | |
73e64c51 MH |
1072 | /* |
1073 | * Only allow to migrate anonymous pages in GFP_NOFS context | |
1074 | * because those do not depend on fs locks. | |
1075 | */ | |
89f6c88a | 1076 | if (!(cc->gfp_mask & __GFP_FS) && mapping) |
829ae0f8 | 1077 | goto isolate_fail_put; |
9df41314 | 1078 | |
89f6c88a | 1079 | /* Only take pages on LRU: a check now makes later tests safe */ |
56ae0bb3 | 1080 | if (!folio_test_lru(folio)) |
89f6c88a HD |
1081 | goto isolate_fail_put; |
1082 | ||
1083 | /* Compaction might skip unevictable pages but CMA takes them */ | |
56ae0bb3 | 1084 | if (!(mode & ISOLATE_UNEVICTABLE) && folio_test_unevictable(folio)) |
89f6c88a HD |
1085 | goto isolate_fail_put; |
1086 | ||
1087 | /* | |
1088 | * To minimise LRU disruption, the caller can indicate with | |
1089 | * ISOLATE_ASYNC_MIGRATE that it only wants to isolate pages | |
1090 | * it will be able to migrate without blocking - clean pages | |
1091 | * for the most part. PageWriteback would require blocking. | |
1092 | */ | |
56ae0bb3 | 1093 | if ((mode & ISOLATE_ASYNC_MIGRATE) && folio_test_writeback(folio)) |
9df41314 AS |
1094 | goto isolate_fail_put; |
1095 | ||
56ae0bb3 | 1096 | if ((mode & ISOLATE_ASYNC_MIGRATE) && folio_test_dirty(folio)) { |
89f6c88a HD |
1097 | bool migrate_dirty; |
1098 | ||
1099 | /* | |
866ff801 MW |
1100 | * Only folios without mappings or that have |
1101 | * a ->migrate_folio callback are possible to | |
1102 | * migrate without blocking. However, we may | |
1103 | * be racing with truncation, which can free | |
1104 | * the mapping. Truncation holds the folio lock | |
1105 | * until after the folio is removed from the page | |
1106 | * cache so holding it ourselves is sufficient. | |
89f6c88a | 1107 | */ |
56ae0bb3 | 1108 | if (!folio_trylock(folio)) |
89f6c88a HD |
1109 | goto isolate_fail_put; |
1110 | ||
56ae0bb3 | 1111 | mapping = folio_mapping(folio); |
5490da4f | 1112 | migrate_dirty = !mapping || |
9d0ddc0c | 1113 | mapping->a_ops->migrate_folio; |
56ae0bb3 | 1114 | folio_unlock(folio); |
89f6c88a HD |
1115 | if (!migrate_dirty) |
1116 | goto isolate_fail_put; | |
1117 | } | |
1118 | ||
56ae0bb3 KW |
1119 | /* Try isolate the folio */ |
1120 | if (!folio_test_clear_lru(folio)) | |
9df41314 AS |
1121 | goto isolate_fail_put; |
1122 | ||
56ae0bb3 | 1123 | lruvec = folio_lruvec(folio); |
6168d0da | 1124 | |
69b7189f | 1125 | /* If we already hold the lock, we can skip some rechecking */ |
6168d0da AS |
1126 | if (lruvec != locked) { |
1127 | if (locked) | |
1128 | unlock_page_lruvec_irqrestore(locked, flags); | |
1129 | ||
1130 | compact_lock_irqsave(&lruvec->lru_lock, &flags, cc); | |
1131 | locked = lruvec; | |
6168d0da | 1132 | |
56ae0bb3 | 1133 | lruvec_memcg_debug(lruvec, folio); |
e380bebe | 1134 | |
590ccea8 MG |
1135 | /* |
1136 | * Try get exclusive access under lock. If marked for | |
1137 | * skip, the scan is aborted unless the current context | |
1138 | * is a rescan to reach the end of the pageblock. | |
1139 | */ | |
1140 | if (!skip_updated && valid_page) { | |
e380bebe | 1141 | skip_updated = true; |
590ccea8 MG |
1142 | if (test_and_set_skip(cc, valid_page) && |
1143 | !cc->finish_pageblock) { | |
7545e2f2 | 1144 | low_pfn = end_pfn; |
e380bebe | 1145 | goto isolate_abort; |
590ccea8 | 1146 | } |
e380bebe | 1147 | } |
2a1402aa | 1148 | |
29c0dde8 | 1149 | /* |
56ae0bb3 KW |
1150 | * folio become large since the non-locked check, |
1151 | * and it's on LRU. | |
29c0dde8 | 1152 | */ |
56ae0bb3 KW |
1153 | if (unlikely(folio_test_large(folio) && !cc->alloc_contig)) { |
1154 | low_pfn += folio_nr_pages(folio) - 1; | |
1155 | nr_scanned += folio_nr_pages(folio) - 1; | |
1156 | folio_set_lru(folio); | |
9df41314 | 1157 | goto isolate_fail_put; |
69b7189f | 1158 | } |
d99fd5fe | 1159 | } |
fa9add64 | 1160 | |
56ae0bb3 KW |
1161 | /* The folio is taken off the LRU */ |
1162 | if (folio_test_large(folio)) | |
1163 | low_pfn += folio_nr_pages(folio) - 1; | |
bc835011 | 1164 | |
748446bb | 1165 | /* Successfully isolated */ |
56ae0bb3 KW |
1166 | lruvec_del_folio(lruvec, folio); |
1167 | node_stat_mod_folio(folio, | |
1168 | NR_ISOLATED_ANON + folio_is_file_lru(folio), | |
1169 | folio_nr_pages(folio)); | |
b6c75016 JK |
1170 | |
1171 | isolate_success: | |
56ae0bb3 | 1172 | list_add(&folio->lru, &cc->migratepages); |
ae37c7ff | 1173 | isolate_success_no_list: |
56ae0bb3 KW |
1174 | cc->nr_migratepages += folio_nr_pages(folio); |
1175 | nr_isolated += folio_nr_pages(folio); | |
1176 | nr_scanned += folio_nr_pages(folio) - 1; | |
748446bb | 1177 | |
804d3121 MG |
1178 | /* |
1179 | * Avoid isolating too much unless this block is being | |
48731c84 | 1180 | * fully scanned (e.g. dirty/writeback pages, parallel allocation) |
cb2dcaf0 MG |
1181 | * or a lock is contended. For contention, isolate quickly to |
1182 | * potentially remove one source of contention. | |
804d3121 | 1183 | */ |
38935861 | 1184 | if (cc->nr_migratepages >= COMPACT_CLUSTER_MAX && |
48731c84 | 1185 | !cc->finish_pageblock && !cc->contended) { |
31b8384a | 1186 | ++low_pfn; |
748446bb | 1187 | break; |
31b8384a | 1188 | } |
fdd048e1 VB |
1189 | |
1190 | continue; | |
9df41314 AS |
1191 | |
1192 | isolate_fail_put: | |
1193 | /* Avoid potential deadlock in freeing page under lru_lock */ | |
1194 | if (locked) { | |
6168d0da AS |
1195 | unlock_page_lruvec_irqrestore(locked, flags); |
1196 | locked = NULL; | |
9df41314 | 1197 | } |
56ae0bb3 | 1198 | folio_put(folio); |
9df41314 | 1199 | |
fdd048e1 | 1200 | isolate_fail: |
369fa227 | 1201 | if (!skip_on_failure && ret != -ENOMEM) |
fdd048e1 VB |
1202 | continue; |
1203 | ||
1204 | /* | |
1205 | * We have isolated some pages, but then failed. Release them | |
1206 | * instead of migrating, as we cannot form the cc->order buddy | |
1207 | * page anyway. | |
1208 | */ | |
1209 | if (nr_isolated) { | |
1210 | if (locked) { | |
6168d0da AS |
1211 | unlock_page_lruvec_irqrestore(locked, flags); |
1212 | locked = NULL; | |
fdd048e1 | 1213 | } |
fdd048e1 VB |
1214 | putback_movable_pages(&cc->migratepages); |
1215 | cc->nr_migratepages = 0; | |
fdd048e1 VB |
1216 | nr_isolated = 0; |
1217 | } | |
1218 | ||
1219 | if (low_pfn < next_skip_pfn) { | |
1220 | low_pfn = next_skip_pfn - 1; | |
1221 | /* | |
1222 | * The check near the loop beginning would have updated | |
1223 | * next_skip_pfn too, but this is a bit simpler. | |
1224 | */ | |
1225 | next_skip_pfn += 1UL << cc->order; | |
1226 | } | |
369fa227 OS |
1227 | |
1228 | if (ret == -ENOMEM) | |
1229 | break; | |
748446bb MG |
1230 | } |
1231 | ||
99c0fd5e VB |
1232 | /* |
1233 | * The PageBuddy() check could have potentially brought us outside | |
1234 | * the range to be scanned. | |
1235 | */ | |
1236 | if (unlikely(low_pfn > end_pfn)) | |
1237 | low_pfn = end_pfn; | |
1238 | ||
56ae0bb3 | 1239 | folio = NULL; |
9df41314 | 1240 | |
e380bebe | 1241 | isolate_abort: |
c67fe375 | 1242 | if (locked) |
6168d0da | 1243 | unlock_page_lruvec_irqrestore(locked, flags); |
56ae0bb3 KW |
1244 | if (folio) { |
1245 | folio_set_lru(folio); | |
1246 | folio_put(folio); | |
9df41314 | 1247 | } |
748446bb | 1248 | |
50b5b094 | 1249 | /* |
48731c84 | 1250 | * Update the cached scanner pfn once the pageblock has been scanned. |
804d3121 MG |
1251 | * Pages will either be migrated in which case there is no point |
1252 | * scanning in the near future or migration failed in which case the | |
1253 | * failure reason may persist. The block is marked for skipping if | |
1254 | * there were no pages isolated in the block or if the block is | |
1255 | * rescanned twice in a row. | |
50b5b094 | 1256 | */ |
48731c84 | 1257 | if (low_pfn == end_pfn && (!nr_isolated || cc->finish_pageblock)) { |
8b71b499 | 1258 | if (!cc->no_set_skip_hint && valid_page && !skip_updated) |
e380bebe MG |
1259 | set_pageblock_skip(valid_page); |
1260 | update_cached_migrate(cc, low_pfn); | |
1261 | } | |
bb13ffeb | 1262 | |
e34d85f0 JK |
1263 | trace_mm_compaction_isolate_migratepages(start_pfn, low_pfn, |
1264 | nr_scanned, nr_isolated); | |
b7aba698 | 1265 | |
670105a2 | 1266 | fatal_pending: |
7f354a54 | 1267 | cc->total_migrate_scanned += nr_scanned; |
397487db | 1268 | if (nr_isolated) |
010fc29a | 1269 | count_compact_events(COMPACTISOLATED, nr_isolated); |
397487db | 1270 | |
c2ad7a1f OS |
1271 | cc->migrate_pfn = low_pfn; |
1272 | ||
1273 | return ret; | |
2fe86e00 MN |
1274 | } |
1275 | ||
edc2ca61 VB |
1276 | /** |
1277 | * isolate_migratepages_range() - isolate migrate-able pages in a PFN range | |
1278 | * @cc: Compaction control structure. | |
1279 | * @start_pfn: The first PFN to start isolating. | |
1280 | * @end_pfn: The one-past-last PFN. | |
1281 | * | |
369fa227 OS |
1282 | * Returns -EAGAIN when contented, -EINTR in case of a signal pending, -ENOMEM |
1283 | * in case we could not allocate a page, or 0. | |
edc2ca61 | 1284 | */ |
c2ad7a1f | 1285 | int |
edc2ca61 VB |
1286 | isolate_migratepages_range(struct compact_control *cc, unsigned long start_pfn, |
1287 | unsigned long end_pfn) | |
1288 | { | |
e1409c32 | 1289 | unsigned long pfn, block_start_pfn, block_end_pfn; |
c2ad7a1f | 1290 | int ret = 0; |
edc2ca61 VB |
1291 | |
1292 | /* Scan block by block. First and last block may be incomplete */ | |
1293 | pfn = start_pfn; | |
06b6640a | 1294 | block_start_pfn = pageblock_start_pfn(pfn); |
e1409c32 JK |
1295 | if (block_start_pfn < cc->zone->zone_start_pfn) |
1296 | block_start_pfn = cc->zone->zone_start_pfn; | |
06b6640a | 1297 | block_end_pfn = pageblock_end_pfn(pfn); |
edc2ca61 VB |
1298 | |
1299 | for (; pfn < end_pfn; pfn = block_end_pfn, | |
e1409c32 | 1300 | block_start_pfn = block_end_pfn, |
edc2ca61 VB |
1301 | block_end_pfn += pageblock_nr_pages) { |
1302 | ||
1303 | block_end_pfn = min(block_end_pfn, end_pfn); | |
1304 | ||
e1409c32 JK |
1305 | if (!pageblock_pfn_to_page(block_start_pfn, |
1306 | block_end_pfn, cc->zone)) | |
edc2ca61 VB |
1307 | continue; |
1308 | ||
c2ad7a1f OS |
1309 | ret = isolate_migratepages_block(cc, pfn, block_end_pfn, |
1310 | ISOLATE_UNEVICTABLE); | |
edc2ca61 | 1311 | |
c2ad7a1f | 1312 | if (ret) |
edc2ca61 | 1313 | break; |
6ea41c0c | 1314 | |
38935861 | 1315 | if (cc->nr_migratepages >= COMPACT_CLUSTER_MAX) |
6ea41c0c | 1316 | break; |
edc2ca61 | 1317 | } |
edc2ca61 | 1318 | |
c2ad7a1f | 1319 | return ret; |
edc2ca61 VB |
1320 | } |
1321 | ||
ff9543fd MN |
1322 | #endif /* CONFIG_COMPACTION || CONFIG_CMA */ |
1323 | #ifdef CONFIG_COMPACTION | |
018e9a49 | 1324 | |
b682debd VB |
1325 | static bool suitable_migration_source(struct compact_control *cc, |
1326 | struct page *page) | |
1327 | { | |
282722b0 VB |
1328 | int block_mt; |
1329 | ||
9bebefd5 MG |
1330 | if (pageblock_skip_persistent(page)) |
1331 | return false; | |
1332 | ||
282722b0 | 1333 | if ((cc->mode != MIGRATE_ASYNC) || !cc->direct_compaction) |
b682debd VB |
1334 | return true; |
1335 | ||
282722b0 VB |
1336 | block_mt = get_pageblock_migratetype(page); |
1337 | ||
1338 | if (cc->migratetype == MIGRATE_MOVABLE) | |
1339 | return is_migrate_movable(block_mt); | |
1340 | else | |
1341 | return block_mt == cc->migratetype; | |
b682debd VB |
1342 | } |
1343 | ||
018e9a49 | 1344 | /* Returns true if the page is within a block suitable for migration to */ |
9f7e3387 VB |
1345 | static bool suitable_migration_target(struct compact_control *cc, |
1346 | struct page *page) | |
018e9a49 AM |
1347 | { |
1348 | /* If the page is a large free page, then disallow migration */ | |
1349 | if (PageBuddy(page)) { | |
1350 | /* | |
1351 | * We are checking page_order without zone->lock taken. But | |
1352 | * the only small danger is that we skip a potentially suitable | |
1353 | * pageblock, so it's not worth to check order for valid range. | |
1354 | */ | |
ab130f91 | 1355 | if (buddy_order_unsafe(page) >= pageblock_order) |
018e9a49 AM |
1356 | return false; |
1357 | } | |
1358 | ||
1ef36db2 YX |
1359 | if (cc->ignore_block_suitable) |
1360 | return true; | |
1361 | ||
018e9a49 | 1362 | /* If the block is MIGRATE_MOVABLE or MIGRATE_CMA, allow migration */ |
b682debd | 1363 | if (is_migrate_movable(get_pageblock_migratetype(page))) |
018e9a49 AM |
1364 | return true; |
1365 | ||
1366 | /* Otherwise skip the block */ | |
1367 | return false; | |
1368 | } | |
1369 | ||
70b44595 MG |
1370 | static inline unsigned int |
1371 | freelist_scan_limit(struct compact_control *cc) | |
1372 | { | |
dd7ef7bd QC |
1373 | unsigned short shift = BITS_PER_LONG - 1; |
1374 | ||
1375 | return (COMPACT_CLUSTER_MAX >> min(shift, cc->fast_search_fail)) + 1; | |
70b44595 MG |
1376 | } |
1377 | ||
f2849aa0 VB |
1378 | /* |
1379 | * Test whether the free scanner has reached the same or lower pageblock than | |
1380 | * the migration scanner, and compaction should thus terminate. | |
1381 | */ | |
1382 | static inline bool compact_scanners_met(struct compact_control *cc) | |
1383 | { | |
1384 | return (cc->free_pfn >> pageblock_order) | |
1385 | <= (cc->migrate_pfn >> pageblock_order); | |
1386 | } | |
1387 | ||
5a811889 MG |
1388 | /* |
1389 | * Used when scanning for a suitable migration target which scans freelists | |
1390 | * in reverse. Reorders the list such as the unscanned pages are scanned | |
1391 | * first on the next iteration of the free scanner | |
1392 | */ | |
1393 | static void | |
1394 | move_freelist_head(struct list_head *freelist, struct page *freepage) | |
1395 | { | |
1396 | LIST_HEAD(sublist); | |
1397 | ||
1398 | if (!list_is_last(freelist, &freepage->lru)) { | |
1399 | list_cut_before(&sublist, freelist, &freepage->lru); | |
d2155fe5 | 1400 | list_splice_tail(&sublist, freelist); |
5a811889 MG |
1401 | } |
1402 | } | |
1403 | ||
1404 | /* | |
1405 | * Similar to move_freelist_head except used by the migration scanner | |
1406 | * when scanning forward. It's possible for these list operations to | |
1407 | * move against each other if they search the free list exactly in | |
1408 | * lockstep. | |
1409 | */ | |
70b44595 MG |
1410 | static void |
1411 | move_freelist_tail(struct list_head *freelist, struct page *freepage) | |
1412 | { | |
1413 | LIST_HEAD(sublist); | |
1414 | ||
1415 | if (!list_is_first(freelist, &freepage->lru)) { | |
1416 | list_cut_position(&sublist, freelist, &freepage->lru); | |
d2155fe5 | 1417 | list_splice_tail(&sublist, freelist); |
70b44595 MG |
1418 | } |
1419 | } | |
1420 | ||
5a811889 | 1421 | static void |
be21b32a | 1422 | fast_isolate_around(struct compact_control *cc, unsigned long pfn) |
5a811889 MG |
1423 | { |
1424 | unsigned long start_pfn, end_pfn; | |
6e2b7044 | 1425 | struct page *page; |
5a811889 MG |
1426 | |
1427 | /* Do not search around if there are enough pages already */ | |
1428 | if (cc->nr_freepages >= cc->nr_migratepages) | |
1429 | return; | |
1430 | ||
1431 | /* Minimise scanning during async compaction */ | |
1432 | if (cc->direct_compaction && cc->mode == MIGRATE_ASYNC) | |
1433 | return; | |
1434 | ||
1435 | /* Pageblock boundaries */ | |
6e2b7044 VB |
1436 | start_pfn = max(pageblock_start_pfn(pfn), cc->zone->zone_start_pfn); |
1437 | end_pfn = min(pageblock_end_pfn(pfn), zone_end_pfn(cc->zone)); | |
1438 | ||
1439 | page = pageblock_pfn_to_page(start_pfn, end_pfn, cc->zone); | |
1440 | if (!page) | |
1441 | return; | |
5a811889 | 1442 | |
be21b32a | 1443 | isolate_freepages_block(cc, &start_pfn, end_pfn, &cc->freepages, 1, false); |
5a811889 MG |
1444 | |
1445 | /* Skip this pageblock in the future as it's full or nearly full */ | |
18c59d58 | 1446 | if (start_pfn == end_pfn && !cc->no_set_skip_hint) |
5a811889 MG |
1447 | set_pageblock_skip(page); |
1448 | } | |
1449 | ||
dbe2d4e4 MG |
1450 | /* Search orders in round-robin fashion */ |
1451 | static int next_search_order(struct compact_control *cc, int order) | |
1452 | { | |
1453 | order--; | |
1454 | if (order < 0) | |
1455 | order = cc->order - 1; | |
1456 | ||
1457 | /* Search wrapped around? */ | |
1458 | if (order == cc->search_order) { | |
1459 | cc->search_order--; | |
1460 | if (cc->search_order < 0) | |
1461 | cc->search_order = cc->order - 1; | |
1462 | return -1; | |
1463 | } | |
1464 | ||
1465 | return order; | |
1466 | } | |
1467 | ||
2dbd9005 | 1468 | static void fast_isolate_freepages(struct compact_control *cc) |
5a811889 | 1469 | { |
b55ca526 | 1470 | unsigned int limit = max(1U, freelist_scan_limit(cc) >> 1); |
447ba886 | 1471 | unsigned int nr_scanned = 0, total_isolated = 0; |
74e21484 | 1472 | unsigned long low_pfn, min_pfn, highest = 0; |
5a811889 MG |
1473 | unsigned long nr_isolated = 0; |
1474 | unsigned long distance; | |
1475 | struct page *page = NULL; | |
1476 | bool scan_start = false; | |
1477 | int order; | |
1478 | ||
1479 | /* Full compaction passes in a negative order */ | |
1480 | if (cc->order <= 0) | |
2dbd9005 | 1481 | return; |
5a811889 MG |
1482 | |
1483 | /* | |
1484 | * If starting the scan, use a deeper search and use the highest | |
1485 | * PFN found if a suitable one is not found. | |
1486 | */ | |
e332f741 | 1487 | if (cc->free_pfn >= cc->zone->compact_init_free_pfn) { |
5a811889 MG |
1488 | limit = pageblock_nr_pages >> 1; |
1489 | scan_start = true; | |
1490 | } | |
1491 | ||
1492 | /* | |
1493 | * Preferred point is in the top quarter of the scan space but take | |
1494 | * a pfn from the top half if the search is problematic. | |
1495 | */ | |
1496 | distance = (cc->free_pfn - cc->migrate_pfn); | |
1497 | low_pfn = pageblock_start_pfn(cc->free_pfn - (distance >> 2)); | |
1498 | min_pfn = pageblock_start_pfn(cc->free_pfn - (distance >> 1)); | |
1499 | ||
1500 | if (WARN_ON_ONCE(min_pfn > low_pfn)) | |
1501 | low_pfn = min_pfn; | |
1502 | ||
dbe2d4e4 MG |
1503 | /* |
1504 | * Search starts from the last successful isolation order or the next | |
1505 | * order to search after a previous failure | |
1506 | */ | |
1507 | cc->search_order = min_t(unsigned int, cc->order - 1, cc->search_order); | |
1508 | ||
1509 | for (order = cc->search_order; | |
1510 | !page && order >= 0; | |
1511 | order = next_search_order(cc, order)) { | |
5a811889 MG |
1512 | struct free_area *area = &cc->zone->free_area[order]; |
1513 | struct list_head *freelist; | |
1514 | struct page *freepage; | |
1515 | unsigned long flags; | |
1516 | unsigned int order_scanned = 0; | |
74e21484 | 1517 | unsigned long high_pfn = 0; |
5a811889 MG |
1518 | |
1519 | if (!area->nr_free) | |
1520 | continue; | |
1521 | ||
1522 | spin_lock_irqsave(&cc->zone->lock, flags); | |
1523 | freelist = &area->free_list[MIGRATE_MOVABLE]; | |
94ec2003 | 1524 | list_for_each_entry_reverse(freepage, freelist, buddy_list) { |
5a811889 MG |
1525 | unsigned long pfn; |
1526 | ||
1527 | order_scanned++; | |
1528 | nr_scanned++; | |
1529 | pfn = page_to_pfn(freepage); | |
1530 | ||
1531 | if (pfn >= highest) | |
6e2b7044 VB |
1532 | highest = max(pageblock_start_pfn(pfn), |
1533 | cc->zone->zone_start_pfn); | |
5a811889 MG |
1534 | |
1535 | if (pfn >= low_pfn) { | |
1536 | cc->fast_search_fail = 0; | |
dbe2d4e4 | 1537 | cc->search_order = order; |
5a811889 MG |
1538 | page = freepage; |
1539 | break; | |
1540 | } | |
1541 | ||
1542 | if (pfn >= min_pfn && pfn > high_pfn) { | |
1543 | high_pfn = pfn; | |
1544 | ||
1545 | /* Shorten the scan if a candidate is found */ | |
1546 | limit >>= 1; | |
1547 | } | |
1548 | ||
1549 | if (order_scanned >= limit) | |
1550 | break; | |
1551 | } | |
1552 | ||
e6bd14ec | 1553 | /* Use a maximum candidate pfn if a preferred one was not found */ |
5a811889 MG |
1554 | if (!page && high_pfn) { |
1555 | page = pfn_to_page(high_pfn); | |
1556 | ||
1557 | /* Update freepage for the list reorder below */ | |
1558 | freepage = page; | |
1559 | } | |
1560 | ||
1561 | /* Reorder to so a future search skips recent pages */ | |
1562 | move_freelist_head(freelist, freepage); | |
1563 | ||
1564 | /* Isolate the page if available */ | |
1565 | if (page) { | |
1566 | if (__isolate_free_page(page, order)) { | |
1567 | set_page_private(page, order); | |
1568 | nr_isolated = 1 << order; | |
b717d6b9 | 1569 | nr_scanned += nr_isolated - 1; |
447ba886 | 1570 | total_isolated += nr_isolated; |
5a811889 MG |
1571 | cc->nr_freepages += nr_isolated; |
1572 | list_add_tail(&page->lru, &cc->freepages); | |
1573 | count_compact_events(COMPACTISOLATED, nr_isolated); | |
1574 | } else { | |
1575 | /* If isolation fails, abort the search */ | |
5b56d996 | 1576 | order = cc->search_order + 1; |
5a811889 MG |
1577 | page = NULL; |
1578 | } | |
1579 | } | |
1580 | ||
1581 | spin_unlock_irqrestore(&cc->zone->lock, flags); | |
1582 | ||
a8d13355 BW |
1583 | /* Skip fast search if enough freepages isolated */ |
1584 | if (cc->nr_freepages >= cc->nr_migratepages) | |
1585 | break; | |
1586 | ||
5a811889 | 1587 | /* |
b55ca526 | 1588 | * Smaller scan on next order so the total scan is related |
5a811889 MG |
1589 | * to freelist_scan_limit. |
1590 | */ | |
1591 | if (order_scanned >= limit) | |
b55ca526 | 1592 | limit = max(1U, limit >> 1); |
5a811889 MG |
1593 | } |
1594 | ||
447ba886 BW |
1595 | trace_mm_compaction_fast_isolate_freepages(min_pfn, cc->free_pfn, |
1596 | nr_scanned, total_isolated); | |
1597 | ||
5a811889 MG |
1598 | if (!page) { |
1599 | cc->fast_search_fail++; | |
1600 | if (scan_start) { | |
1601 | /* | |
1602 | * Use the highest PFN found above min. If one was | |
f3867755 | 1603 | * not found, be pessimistic for direct compaction |
5a811889 MG |
1604 | * and use the min mark. |
1605 | */ | |
ca2864e5 | 1606 | if (highest >= min_pfn) { |
5a811889 MG |
1607 | page = pfn_to_page(highest); |
1608 | cc->free_pfn = highest; | |
1609 | } else { | |
e577c8b6 | 1610 | if (cc->direct_compaction && pfn_valid(min_pfn)) { |
73a6e474 | 1611 | page = pageblock_pfn_to_page(min_pfn, |
6e2b7044 VB |
1612 | min(pageblock_end_pfn(min_pfn), |
1613 | zone_end_pfn(cc->zone)), | |
73a6e474 | 1614 | cc->zone); |
5a811889 MG |
1615 | cc->free_pfn = min_pfn; |
1616 | } | |
1617 | } | |
1618 | } | |
1619 | } | |
1620 | ||
d097a6f6 MG |
1621 | if (highest && highest >= cc->zone->compact_cached_free_pfn) { |
1622 | highest -= pageblock_nr_pages; | |
5a811889 | 1623 | cc->zone->compact_cached_free_pfn = highest; |
d097a6f6 | 1624 | } |
5a811889 MG |
1625 | |
1626 | cc->total_free_scanned += nr_scanned; | |
1627 | if (!page) | |
2dbd9005 | 1628 | return; |
5a811889 MG |
1629 | |
1630 | low_pfn = page_to_pfn(page); | |
be21b32a | 1631 | fast_isolate_around(cc, low_pfn); |
5a811889 MG |
1632 | } |
1633 | ||
2fe86e00 | 1634 | /* |
ff9543fd MN |
1635 | * Based on information in the current compact_control, find blocks |
1636 | * suitable for isolating free pages from and then isolate them. | |
2fe86e00 | 1637 | */ |
edc2ca61 | 1638 | static void isolate_freepages(struct compact_control *cc) |
2fe86e00 | 1639 | { |
edc2ca61 | 1640 | struct zone *zone = cc->zone; |
ff9543fd | 1641 | struct page *page; |
c96b9e50 | 1642 | unsigned long block_start_pfn; /* start of current pageblock */ |
e14c720e | 1643 | unsigned long isolate_start_pfn; /* exact pfn we start at */ |
c96b9e50 VB |
1644 | unsigned long block_end_pfn; /* end of current pageblock */ |
1645 | unsigned long low_pfn; /* lowest pfn scanner is able to scan */ | |
ff9543fd | 1646 | struct list_head *freelist = &cc->freepages; |
4fca9730 | 1647 | unsigned int stride; |
2fe86e00 | 1648 | |
5a811889 | 1649 | /* Try a small search of the free lists for a candidate */ |
00bc102f | 1650 | fast_isolate_freepages(cc); |
5a811889 MG |
1651 | if (cc->nr_freepages) |
1652 | goto splitmap; | |
1653 | ||
ff9543fd MN |
1654 | /* |
1655 | * Initialise the free scanner. The starting point is where we last | |
49e068f0 | 1656 | * successfully isolated from, zone-cached value, or the end of the |
e14c720e VB |
1657 | * zone when isolating for the first time. For looping we also need |
1658 | * this pfn aligned down to the pageblock boundary, because we do | |
c96b9e50 VB |
1659 | * block_start_pfn -= pageblock_nr_pages in the for loop. |
1660 | * For ending point, take care when isolating in last pageblock of a | |
a1c1dbeb | 1661 | * zone which ends in the middle of a pageblock. |
49e068f0 VB |
1662 | * The low boundary is the end of the pageblock the migration scanner |
1663 | * is using. | |
ff9543fd | 1664 | */ |
e14c720e | 1665 | isolate_start_pfn = cc->free_pfn; |
5a811889 | 1666 | block_start_pfn = pageblock_start_pfn(isolate_start_pfn); |
c96b9e50 VB |
1667 | block_end_pfn = min(block_start_pfn + pageblock_nr_pages, |
1668 | zone_end_pfn(zone)); | |
06b6640a | 1669 | low_pfn = pageblock_end_pfn(cc->migrate_pfn); |
4fca9730 | 1670 | stride = cc->mode == MIGRATE_ASYNC ? COMPACT_CLUSTER_MAX : 1; |
2fe86e00 | 1671 | |
ff9543fd MN |
1672 | /* |
1673 | * Isolate free pages until enough are available to migrate the | |
1674 | * pages on cc->migratepages. We stop searching if the migrate | |
1675 | * and free page scanners meet or enough free pages are isolated. | |
1676 | */ | |
f5f61a32 | 1677 | for (; block_start_pfn >= low_pfn; |
c96b9e50 | 1678 | block_end_pfn = block_start_pfn, |
e14c720e VB |
1679 | block_start_pfn -= pageblock_nr_pages, |
1680 | isolate_start_pfn = block_start_pfn) { | |
4fca9730 MG |
1681 | unsigned long nr_isolated; |
1682 | ||
f6ea3adb DR |
1683 | /* |
1684 | * This can iterate a massively long zone without finding any | |
cb810ad2 | 1685 | * suitable migration targets, so periodically check resched. |
f6ea3adb | 1686 | */ |
c036ddff | 1687 | if (!(block_start_pfn % (COMPACT_CLUSTER_MAX * pageblock_nr_pages))) |
cf66f070 | 1688 | cond_resched(); |
f6ea3adb | 1689 | |
7d49d886 VB |
1690 | page = pageblock_pfn_to_page(block_start_pfn, block_end_pfn, |
1691 | zone); | |
e6e0c767 BW |
1692 | if (!page) { |
1693 | unsigned long next_pfn; | |
1694 | ||
1695 | next_pfn = skip_offline_sections_reverse(block_start_pfn); | |
1696 | if (next_pfn) | |
1697 | block_start_pfn = max(next_pfn, low_pfn); | |
1698 | ||
ff9543fd | 1699 | continue; |
e6e0c767 | 1700 | } |
ff9543fd MN |
1701 | |
1702 | /* Check the block is suitable for migration */ | |
9f7e3387 | 1703 | if (!suitable_migration_target(cc, page)) |
ff9543fd | 1704 | continue; |
68e3e926 | 1705 | |
bb13ffeb MG |
1706 | /* If isolation recently failed, do not retry */ |
1707 | if (!isolation_suitable(cc, page)) | |
1708 | continue; | |
1709 | ||
e14c720e | 1710 | /* Found a block suitable for isolating free pages from. */ |
4fca9730 MG |
1711 | nr_isolated = isolate_freepages_block(cc, &isolate_start_pfn, |
1712 | block_end_pfn, freelist, stride, false); | |
ff9543fd | 1713 | |
d097a6f6 MG |
1714 | /* Update the skip hint if the full pageblock was scanned */ |
1715 | if (isolate_start_pfn == block_end_pfn) | |
16951789 KS |
1716 | update_pageblock_skip(cc, page, block_start_pfn - |
1717 | pageblock_nr_pages); | |
d097a6f6 | 1718 | |
cb2dcaf0 MG |
1719 | /* Are enough freepages isolated? */ |
1720 | if (cc->nr_freepages >= cc->nr_migratepages) { | |
a46cbf3b DR |
1721 | if (isolate_start_pfn >= block_end_pfn) { |
1722 | /* | |
1723 | * Restart at previous pageblock if more | |
1724 | * freepages can be isolated next time. | |
1725 | */ | |
f5f61a32 VB |
1726 | isolate_start_pfn = |
1727 | block_start_pfn - pageblock_nr_pages; | |
a46cbf3b | 1728 | } |
be976572 | 1729 | break; |
a46cbf3b | 1730 | } else if (isolate_start_pfn < block_end_pfn) { |
f5f61a32 | 1731 | /* |
a46cbf3b DR |
1732 | * If isolation failed early, do not continue |
1733 | * needlessly. | |
f5f61a32 | 1734 | */ |
a46cbf3b | 1735 | break; |
f5f61a32 | 1736 | } |
4fca9730 MG |
1737 | |
1738 | /* Adjust stride depending on isolation */ | |
1739 | if (nr_isolated) { | |
1740 | stride = 1; | |
1741 | continue; | |
1742 | } | |
1743 | stride = min_t(unsigned int, COMPACT_CLUSTER_MAX, stride << 1); | |
ff9543fd MN |
1744 | } |
1745 | ||
7ed695e0 | 1746 | /* |
f5f61a32 VB |
1747 | * Record where the free scanner will restart next time. Either we |
1748 | * broke from the loop and set isolate_start_pfn based on the last | |
1749 | * call to isolate_freepages_block(), or we met the migration scanner | |
1750 | * and the loop terminated due to isolate_start_pfn < low_pfn | |
7ed695e0 | 1751 | */ |
f5f61a32 | 1752 | cc->free_pfn = isolate_start_pfn; |
5a811889 MG |
1753 | |
1754 | splitmap: | |
1755 | /* __isolate_free_page() does not map the pages */ | |
1756 | split_map_pages(freelist); | |
748446bb MG |
1757 | } |
1758 | ||
1759 | /* | |
1760 | * This is a migrate-callback that "allocates" freepages by taking pages | |
1761 | * from the isolated freelists in the block we are migrating to. | |
1762 | */ | |
4e096ae1 | 1763 | static struct folio *compaction_alloc(struct folio *src, unsigned long data) |
748446bb MG |
1764 | { |
1765 | struct compact_control *cc = (struct compact_control *)data; | |
4e096ae1 | 1766 | struct folio *dst; |
748446bb | 1767 | |
748446bb | 1768 | if (list_empty(&cc->freepages)) { |
cb2dcaf0 | 1769 | isolate_freepages(cc); |
748446bb MG |
1770 | |
1771 | if (list_empty(&cc->freepages)) | |
1772 | return NULL; | |
1773 | } | |
1774 | ||
4e096ae1 MWO |
1775 | dst = list_entry(cc->freepages.next, struct folio, lru); |
1776 | list_del(&dst->lru); | |
748446bb MG |
1777 | cc->nr_freepages--; |
1778 | ||
4e096ae1 | 1779 | return dst; |
748446bb MG |
1780 | } |
1781 | ||
1782 | /* | |
d53aea3d DR |
1783 | * This is a migrate-callback that "frees" freepages back to the isolated |
1784 | * freelist. All pages on the freelist are from the same zone, so there is no | |
1785 | * special handling needed for NUMA. | |
1786 | */ | |
4e096ae1 | 1787 | static void compaction_free(struct folio *dst, unsigned long data) |
d53aea3d DR |
1788 | { |
1789 | struct compact_control *cc = (struct compact_control *)data; | |
1790 | ||
4e096ae1 | 1791 | list_add(&dst->lru, &cc->freepages); |
d53aea3d DR |
1792 | cc->nr_freepages++; |
1793 | } | |
1794 | ||
ff9543fd MN |
1795 | /* possible outcome of isolate_migratepages */ |
1796 | typedef enum { | |
1797 | ISOLATE_ABORT, /* Abort compaction now */ | |
1798 | ISOLATE_NONE, /* No pages isolated, continue scanning */ | |
1799 | ISOLATE_SUCCESS, /* Pages isolated, migrate */ | |
1800 | } isolate_migrate_t; | |
1801 | ||
5bbe3547 EM |
1802 | /* |
1803 | * Allow userspace to control policy on scanning the unevictable LRU for | |
1804 | * compactable pages. | |
1805 | */ | |
48fe8ab8 MC |
1806 | static int sysctl_compact_unevictable_allowed __read_mostly = CONFIG_COMPACT_UNEVICTABLE_DEFAULT; |
1807 | /* | |
1808 | * Tunable for proactive compaction. It determines how | |
1809 | * aggressively the kernel should compact memory in the | |
1810 | * background. It takes values in the range [0, 100]. | |
1811 | */ | |
1812 | static unsigned int __read_mostly sysctl_compaction_proactiveness = 20; | |
1813 | static int sysctl_extfrag_threshold = 500; | |
8b9167cd | 1814 | static int __read_mostly sysctl_compact_memory; |
5bbe3547 | 1815 | |
70b44595 MG |
1816 | static inline void |
1817 | update_fast_start_pfn(struct compact_control *cc, unsigned long pfn) | |
1818 | { | |
1819 | if (cc->fast_start_pfn == ULONG_MAX) | |
1820 | return; | |
1821 | ||
1822 | if (!cc->fast_start_pfn) | |
1823 | cc->fast_start_pfn = pfn; | |
1824 | ||
1825 | cc->fast_start_pfn = min(cc->fast_start_pfn, pfn); | |
1826 | } | |
1827 | ||
1828 | static inline unsigned long | |
1829 | reinit_migrate_pfn(struct compact_control *cc) | |
1830 | { | |
1831 | if (!cc->fast_start_pfn || cc->fast_start_pfn == ULONG_MAX) | |
1832 | return cc->migrate_pfn; | |
1833 | ||
1834 | cc->migrate_pfn = cc->fast_start_pfn; | |
1835 | cc->fast_start_pfn = ULONG_MAX; | |
1836 | ||
1837 | return cc->migrate_pfn; | |
1838 | } | |
1839 | ||
1840 | /* | |
1841 | * Briefly search the free lists for a migration source that already has | |
1842 | * some free pages to reduce the number of pages that need migration | |
1843 | * before a pageblock is free. | |
1844 | */ | |
1845 | static unsigned long fast_find_migrateblock(struct compact_control *cc) | |
1846 | { | |
1847 | unsigned int limit = freelist_scan_limit(cc); | |
1848 | unsigned int nr_scanned = 0; | |
1849 | unsigned long distance; | |
1850 | unsigned long pfn = cc->migrate_pfn; | |
1851 | unsigned long high_pfn; | |
1852 | int order; | |
15d28d0d | 1853 | bool found_block = false; |
70b44595 MG |
1854 | |
1855 | /* Skip hints are relied on to avoid repeats on the fast search */ | |
1856 | if (cc->ignore_skip_hint) | |
1857 | return pfn; | |
1858 | ||
f9d7fc1a MG |
1859 | /* |
1860 | * If the pageblock should be finished then do not select a different | |
1861 | * pageblock. | |
1862 | */ | |
1863 | if (cc->finish_pageblock) | |
1864 | return pfn; | |
1865 | ||
70b44595 MG |
1866 | /* |
1867 | * If the migrate_pfn is not at the start of a zone or the start | |
1868 | * of a pageblock then assume this is a continuation of a previous | |
1869 | * scan restarted due to COMPACT_CLUSTER_MAX. | |
1870 | */ | |
1871 | if (pfn != cc->zone->zone_start_pfn && pfn != pageblock_start_pfn(pfn)) | |
1872 | return pfn; | |
1873 | ||
1874 | /* | |
1875 | * For smaller orders, just linearly scan as the number of pages | |
1876 | * to migrate should be relatively small and does not necessarily | |
1877 | * justify freeing up a large block for a small allocation. | |
1878 | */ | |
1879 | if (cc->order <= PAGE_ALLOC_COSTLY_ORDER) | |
1880 | return pfn; | |
1881 | ||
1882 | /* | |
1883 | * Only allow kcompactd and direct requests for movable pages to | |
1884 | * quickly clear out a MOVABLE pageblock for allocation. This | |
1885 | * reduces the risk that a large movable pageblock is freed for | |
1886 | * an unmovable/reclaimable small allocation. | |
1887 | */ | |
1888 | if (cc->direct_compaction && cc->migratetype != MIGRATE_MOVABLE) | |
1889 | return pfn; | |
1890 | ||
1891 | /* | |
1892 | * When starting the migration scanner, pick any pageblock within the | |
1893 | * first half of the search space. Otherwise try and pick a pageblock | |
1894 | * within the first eighth to reduce the chances that a migration | |
1895 | * target later becomes a source. | |
1896 | */ | |
1897 | distance = (cc->free_pfn - cc->migrate_pfn) >> 1; | |
1898 | if (cc->migrate_pfn != cc->zone->zone_start_pfn) | |
1899 | distance >>= 2; | |
1900 | high_pfn = pageblock_start_pfn(cc->migrate_pfn + distance); | |
1901 | ||
1902 | for (order = cc->order - 1; | |
15d28d0d | 1903 | order >= PAGE_ALLOC_COSTLY_ORDER && !found_block && nr_scanned < limit; |
70b44595 MG |
1904 | order--) { |
1905 | struct free_area *area = &cc->zone->free_area[order]; | |
1906 | struct list_head *freelist; | |
1907 | unsigned long flags; | |
1908 | struct page *freepage; | |
1909 | ||
1910 | if (!area->nr_free) | |
1911 | continue; | |
1912 | ||
1913 | spin_lock_irqsave(&cc->zone->lock, flags); | |
1914 | freelist = &area->free_list[MIGRATE_MOVABLE]; | |
94ec2003 | 1915 | list_for_each_entry(freepage, freelist, buddy_list) { |
70b44595 MG |
1916 | unsigned long free_pfn; |
1917 | ||
15d28d0d WY |
1918 | if (nr_scanned++ >= limit) { |
1919 | move_freelist_tail(freelist, freepage); | |
1920 | break; | |
1921 | } | |
1922 | ||
70b44595 MG |
1923 | free_pfn = page_to_pfn(freepage); |
1924 | if (free_pfn < high_pfn) { | |
70b44595 MG |
1925 | /* |
1926 | * Avoid if skipped recently. Ideally it would | |
1927 | * move to the tail but even safe iteration of | |
1928 | * the list assumes an entry is deleted, not | |
1929 | * reordered. | |
1930 | */ | |
15d28d0d | 1931 | if (get_pageblock_skip(freepage)) |
70b44595 | 1932 | continue; |
70b44595 MG |
1933 | |
1934 | /* Reorder to so a future search skips recent pages */ | |
1935 | move_freelist_tail(freelist, freepage); | |
1936 | ||
e380bebe | 1937 | update_fast_start_pfn(cc, free_pfn); |
70b44595 | 1938 | pfn = pageblock_start_pfn(free_pfn); |
bbe832b9 RY |
1939 | if (pfn < cc->zone->zone_start_pfn) |
1940 | pfn = cc->zone->zone_start_pfn; | |
70b44595 | 1941 | cc->fast_search_fail = 0; |
15d28d0d | 1942 | found_block = true; |
70b44595 MG |
1943 | break; |
1944 | } | |
70b44595 MG |
1945 | } |
1946 | spin_unlock_irqrestore(&cc->zone->lock, flags); | |
1947 | } | |
1948 | ||
1949 | cc->total_migrate_scanned += nr_scanned; | |
1950 | ||
1951 | /* | |
1952 | * If fast scanning failed then use a cached entry for a page block | |
1953 | * that had free pages as the basis for starting a linear scan. | |
1954 | */ | |
15d28d0d WY |
1955 | if (!found_block) { |
1956 | cc->fast_search_fail++; | |
70b44595 | 1957 | pfn = reinit_migrate_pfn(cc); |
15d28d0d | 1958 | } |
70b44595 MG |
1959 | return pfn; |
1960 | } | |
1961 | ||
ff9543fd | 1962 | /* |
edc2ca61 VB |
1963 | * Isolate all pages that can be migrated from the first suitable block, |
1964 | * starting at the block pointed to by the migrate scanner pfn within | |
1965 | * compact_control. | |
ff9543fd | 1966 | */ |
32aaf055 | 1967 | static isolate_migrate_t isolate_migratepages(struct compact_control *cc) |
ff9543fd | 1968 | { |
e1409c32 JK |
1969 | unsigned long block_start_pfn; |
1970 | unsigned long block_end_pfn; | |
1971 | unsigned long low_pfn; | |
edc2ca61 VB |
1972 | struct page *page; |
1973 | const isolate_mode_t isolate_mode = | |
5bbe3547 | 1974 | (sysctl_compact_unevictable_allowed ? ISOLATE_UNEVICTABLE : 0) | |
1d2047fe | 1975 | (cc->mode != MIGRATE_SYNC ? ISOLATE_ASYNC_MIGRATE : 0); |
70b44595 | 1976 | bool fast_find_block; |
ff9543fd | 1977 | |
edc2ca61 VB |
1978 | /* |
1979 | * Start at where we last stopped, or beginning of the zone as | |
70b44595 MG |
1980 | * initialized by compact_zone(). The first failure will use |
1981 | * the lowest PFN as the starting point for linear scanning. | |
edc2ca61 | 1982 | */ |
70b44595 | 1983 | low_pfn = fast_find_migrateblock(cc); |
06b6640a | 1984 | block_start_pfn = pageblock_start_pfn(low_pfn); |
32aaf055 PL |
1985 | if (block_start_pfn < cc->zone->zone_start_pfn) |
1986 | block_start_pfn = cc->zone->zone_start_pfn; | |
ff9543fd | 1987 | |
70b44595 | 1988 | /* |
0aa8ea3c KS |
1989 | * fast_find_migrateblock() has already ensured the pageblock is not |
1990 | * set with a skipped flag, so to avoid the isolation_suitable check | |
1991 | * below again, check whether the fast search was successful. | |
70b44595 MG |
1992 | */ |
1993 | fast_find_block = low_pfn != cc->migrate_pfn && !cc->fast_search_fail; | |
1994 | ||
ff9543fd | 1995 | /* Only scan within a pageblock boundary */ |
06b6640a | 1996 | block_end_pfn = pageblock_end_pfn(low_pfn); |
ff9543fd | 1997 | |
edc2ca61 VB |
1998 | /* |
1999 | * Iterate over whole pageblocks until we find the first suitable. | |
2000 | * Do not cross the free scanner. | |
2001 | */ | |
e1409c32 | 2002 | for (; block_end_pfn <= cc->free_pfn; |
70b44595 | 2003 | fast_find_block = false, |
c2ad7a1f | 2004 | cc->migrate_pfn = low_pfn = block_end_pfn, |
e1409c32 JK |
2005 | block_start_pfn = block_end_pfn, |
2006 | block_end_pfn += pageblock_nr_pages) { | |
ff9543fd | 2007 | |
edc2ca61 VB |
2008 | /* |
2009 | * This can potentially iterate a massively long zone with | |
2010 | * many pageblocks unsuitable, so periodically check if we | |
cb810ad2 | 2011 | * need to schedule. |
edc2ca61 | 2012 | */ |
c036ddff | 2013 | if (!(low_pfn % (COMPACT_CLUSTER_MAX * pageblock_nr_pages))) |
cf66f070 | 2014 | cond_resched(); |
ff9543fd | 2015 | |
32aaf055 PL |
2016 | page = pageblock_pfn_to_page(block_start_pfn, |
2017 | block_end_pfn, cc->zone); | |
9721fd82 BW |
2018 | if (!page) { |
2019 | unsigned long next_pfn; | |
2020 | ||
2021 | next_pfn = skip_offline_sections(block_start_pfn); | |
2022 | if (next_pfn) | |
2023 | block_end_pfn = min(next_pfn, cc->free_pfn); | |
edc2ca61 | 2024 | continue; |
9721fd82 | 2025 | } |
edc2ca61 | 2026 | |
e380bebe MG |
2027 | /* |
2028 | * If isolation recently failed, do not retry. Only check the | |
2029 | * pageblock once. COMPACT_CLUSTER_MAX causes a pageblock | |
2030 | * to be visited multiple times. Assume skip was checked | |
2031 | * before making it "skip" so other compaction instances do | |
2032 | * not scan the same block. | |
2033 | */ | |
493614da JW |
2034 | if ((pageblock_aligned(low_pfn) || |
2035 | low_pfn == cc->zone->zone_start_pfn) && | |
e380bebe | 2036 | !fast_find_block && !isolation_suitable(cc, page)) |
edc2ca61 VB |
2037 | continue; |
2038 | ||
2039 | /* | |
556162bf ML |
2040 | * For async direct compaction, only scan the pageblocks of the |
2041 | * same migratetype without huge pages. Async direct compaction | |
2042 | * is optimistic to see if the minimum amount of work satisfies | |
2043 | * the allocation. The cached PFN is updated as it's possible | |
2044 | * that all remaining blocks between source and target are | |
2045 | * unsuitable and the compaction scanners fail to meet. | |
edc2ca61 | 2046 | */ |
9bebefd5 MG |
2047 | if (!suitable_migration_source(cc, page)) { |
2048 | update_cached_migrate(cc, block_end_pfn); | |
edc2ca61 | 2049 | continue; |
9bebefd5 | 2050 | } |
edc2ca61 VB |
2051 | |
2052 | /* Perform the isolation */ | |
c2ad7a1f OS |
2053 | if (isolate_migratepages_block(cc, low_pfn, block_end_pfn, |
2054 | isolate_mode)) | |
edc2ca61 VB |
2055 | return ISOLATE_ABORT; |
2056 | ||
2057 | /* | |
2058 | * Either we isolated something and proceed with migration. Or | |
2059 | * we failed and compact_zone should decide if we should | |
2060 | * continue or not. | |
2061 | */ | |
2062 | break; | |
2063 | } | |
2064 | ||
edc2ca61 | 2065 | return cc->nr_migratepages ? ISOLATE_SUCCESS : ISOLATE_NONE; |
ff9543fd MN |
2066 | } |
2067 | ||
21c527a3 YB |
2068 | /* |
2069 | * order == -1 is expected when compacting via | |
2070 | * /proc/sys/vm/compact_memory | |
2071 | */ | |
2072 | static inline bool is_via_compact_memory(int order) | |
2073 | { | |
2074 | return order == -1; | |
2075 | } | |
2076 | ||
b4a0215e KW |
2077 | /* |
2078 | * Determine whether kswapd is (or recently was!) running on this node. | |
2079 | * | |
2080 | * pgdat_kswapd_lock() pins pgdat->kswapd, so a concurrent kswapd_stop() can't | |
2081 | * zero it. | |
2082 | */ | |
facdaa91 NG |
2083 | static bool kswapd_is_running(pg_data_t *pgdat) |
2084 | { | |
b4a0215e KW |
2085 | bool running; |
2086 | ||
2087 | pgdat_kswapd_lock(pgdat); | |
2088 | running = pgdat->kswapd && task_is_running(pgdat->kswapd); | |
2089 | pgdat_kswapd_unlock(pgdat); | |
2090 | ||
2091 | return running; | |
facdaa91 NG |
2092 | } |
2093 | ||
2094 | /* | |
2095 | * A zone's fragmentation score is the external fragmentation wrt to the | |
40d7e203 CTR |
2096 | * COMPACTION_HPAGE_ORDER. It returns a value in the range [0, 100]. |
2097 | */ | |
2098 | static unsigned int fragmentation_score_zone(struct zone *zone) | |
2099 | { | |
2100 | return extfrag_for_order(zone, COMPACTION_HPAGE_ORDER); | |
2101 | } | |
2102 | ||
2103 | /* | |
2104 | * A weighted zone's fragmentation score is the external fragmentation | |
2105 | * wrt to the COMPACTION_HPAGE_ORDER scaled by the zone's size. It | |
2106 | * returns a value in the range [0, 100]. | |
facdaa91 NG |
2107 | * |
2108 | * The scaling factor ensures that proactive compaction focuses on larger | |
2109 | * zones like ZONE_NORMAL, rather than smaller, specialized zones like | |
2110 | * ZONE_DMA32. For smaller zones, the score value remains close to zero, | |
2111 | * and thus never exceeds the high threshold for proactive compaction. | |
2112 | */ | |
40d7e203 | 2113 | static unsigned int fragmentation_score_zone_weighted(struct zone *zone) |
facdaa91 NG |
2114 | { |
2115 | unsigned long score; | |
2116 | ||
40d7e203 | 2117 | score = zone->present_pages * fragmentation_score_zone(zone); |
facdaa91 NG |
2118 | return div64_ul(score, zone->zone_pgdat->node_present_pages + 1); |
2119 | } | |
2120 | ||
2121 | /* | |
2122 | * The per-node proactive (background) compaction process is started by its | |
2123 | * corresponding kcompactd thread when the node's fragmentation score | |
2124 | * exceeds the high threshold. The compaction process remains active till | |
2125 | * the node's score falls below the low threshold, or one of the back-off | |
2126 | * conditions is met. | |
2127 | */ | |
d34c0a75 | 2128 | static unsigned int fragmentation_score_node(pg_data_t *pgdat) |
facdaa91 | 2129 | { |
d34c0a75 | 2130 | unsigned int score = 0; |
facdaa91 NG |
2131 | int zoneid; |
2132 | ||
2133 | for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { | |
2134 | struct zone *zone; | |
2135 | ||
2136 | zone = &pgdat->node_zones[zoneid]; | |
9e552271 BW |
2137 | if (!populated_zone(zone)) |
2138 | continue; | |
40d7e203 | 2139 | score += fragmentation_score_zone_weighted(zone); |
facdaa91 NG |
2140 | } |
2141 | ||
2142 | return score; | |
2143 | } | |
2144 | ||
8fbb92bd | 2145 | static unsigned int fragmentation_score_wmark(bool low) |
facdaa91 | 2146 | { |
d34c0a75 | 2147 | unsigned int wmark_low; |
facdaa91 NG |
2148 | |
2149 | /* | |
f0953a1b IM |
2150 | * Cap the low watermark to avoid excessive compaction |
2151 | * activity in case a user sets the proactiveness tunable | |
facdaa91 NG |
2152 | * close to 100 (maximum). |
2153 | */ | |
d34c0a75 NG |
2154 | wmark_low = max(100U - sysctl_compaction_proactiveness, 5U); |
2155 | return low ? wmark_low : min(wmark_low + 10, 100U); | |
facdaa91 NG |
2156 | } |
2157 | ||
2158 | static bool should_proactive_compact_node(pg_data_t *pgdat) | |
2159 | { | |
2160 | int wmark_high; | |
2161 | ||
2162 | if (!sysctl_compaction_proactiveness || kswapd_is_running(pgdat)) | |
2163 | return false; | |
2164 | ||
8fbb92bd | 2165 | wmark_high = fragmentation_score_wmark(false); |
facdaa91 NG |
2166 | return fragmentation_score_node(pgdat) > wmark_high; |
2167 | } | |
2168 | ||
40cacbcb | 2169 | static enum compact_result __compact_finished(struct compact_control *cc) |
748446bb | 2170 | { |
8fb74b9f | 2171 | unsigned int order; |
d39773a0 | 2172 | const int migratetype = cc->migratetype; |
cb2dcaf0 | 2173 | int ret; |
748446bb | 2174 | |
753341a4 | 2175 | /* Compaction run completes if the migrate and free scanner meet */ |
f2849aa0 | 2176 | if (compact_scanners_met(cc)) { |
55b7c4c9 | 2177 | /* Let the next compaction start anew. */ |
40cacbcb | 2178 | reset_cached_positions(cc->zone); |
55b7c4c9 | 2179 | |
62997027 MG |
2180 | /* |
2181 | * Mark that the PG_migrate_skip information should be cleared | |
accf6242 | 2182 | * by kswapd when it goes to sleep. kcompactd does not set the |
62997027 MG |
2183 | * flag itself as the decision to be clear should be directly |
2184 | * based on an allocation request. | |
2185 | */ | |
accf6242 | 2186 | if (cc->direct_compaction) |
40cacbcb | 2187 | cc->zone->compact_blockskip_flush = true; |
62997027 | 2188 | |
c8f7de0b MH |
2189 | if (cc->whole_zone) |
2190 | return COMPACT_COMPLETE; | |
2191 | else | |
2192 | return COMPACT_PARTIAL_SKIPPED; | |
bb13ffeb | 2193 | } |
748446bb | 2194 | |
facdaa91 NG |
2195 | if (cc->proactive_compaction) { |
2196 | int score, wmark_low; | |
2197 | pg_data_t *pgdat; | |
2198 | ||
2199 | pgdat = cc->zone->zone_pgdat; | |
2200 | if (kswapd_is_running(pgdat)) | |
2201 | return COMPACT_PARTIAL_SKIPPED; | |
2202 | ||
2203 | score = fragmentation_score_zone(cc->zone); | |
8fbb92bd | 2204 | wmark_low = fragmentation_score_wmark(true); |
facdaa91 NG |
2205 | |
2206 | if (score > wmark_low) | |
2207 | ret = COMPACT_CONTINUE; | |
2208 | else | |
2209 | ret = COMPACT_SUCCESS; | |
2210 | ||
2211 | goto out; | |
2212 | } | |
2213 | ||
21c527a3 | 2214 | if (is_via_compact_memory(cc->order)) |
56de7263 MG |
2215 | return COMPACT_CONTINUE; |
2216 | ||
efe771c7 MG |
2217 | /* |
2218 | * Always finish scanning a pageblock to reduce the possibility of | |
2219 | * fallbacks in the future. This is particularly important when | |
2220 | * migration source is unmovable/reclaimable but it's not worth | |
2221 | * special casing. | |
2222 | */ | |
ee0913c4 | 2223 | if (!pageblock_aligned(cc->migrate_pfn)) |
efe771c7 | 2224 | return COMPACT_CONTINUE; |
baf6a9a1 | 2225 | |
56de7263 | 2226 | /* Direct compactor: Is a suitable page free? */ |
cb2dcaf0 | 2227 | ret = COMPACT_NO_SUITABLE_PAGE; |
23baf831 | 2228 | for (order = cc->order; order <= MAX_ORDER; order++) { |
40cacbcb | 2229 | struct free_area *area = &cc->zone->free_area[order]; |
2149cdae | 2230 | bool can_steal; |
8fb74b9f MG |
2231 | |
2232 | /* Job done if page is free of the right migratetype */ | |
b03641af | 2233 | if (!free_area_empty(area, migratetype)) |
cf378319 | 2234 | return COMPACT_SUCCESS; |
8fb74b9f | 2235 | |
2149cdae JK |
2236 | #ifdef CONFIG_CMA |
2237 | /* MIGRATE_MOVABLE can fallback on MIGRATE_CMA */ | |
2238 | if (migratetype == MIGRATE_MOVABLE && | |
b03641af | 2239 | !free_area_empty(area, MIGRATE_CMA)) |
cf378319 | 2240 | return COMPACT_SUCCESS; |
2149cdae JK |
2241 | #endif |
2242 | /* | |
2243 | * Job done if allocation would steal freepages from | |
2244 | * other migratetype buddy lists. | |
2245 | */ | |
2246 | if (find_suitable_fallback(area, order, migratetype, | |
fa599c44 | 2247 | true, &can_steal) != -1) |
baf6a9a1 | 2248 | /* |
fa599c44 ML |
2249 | * Movable pages are OK in any pageblock. If we are |
2250 | * stealing for a non-movable allocation, make sure | |
2251 | * we finish compacting the current pageblock first | |
2252 | * (which is assured by the above migrate_pfn align | |
2253 | * check) so it is as free as possible and we won't | |
2254 | * have to steal another one soon. | |
baf6a9a1 | 2255 | */ |
fa599c44 | 2256 | return COMPACT_SUCCESS; |
56de7263 MG |
2257 | } |
2258 | ||
facdaa91 | 2259 | out: |
cb2dcaf0 MG |
2260 | if (cc->contended || fatal_signal_pending(current)) |
2261 | ret = COMPACT_CONTENDED; | |
2262 | ||
2263 | return ret; | |
837d026d JK |
2264 | } |
2265 | ||
40cacbcb | 2266 | static enum compact_result compact_finished(struct compact_control *cc) |
837d026d JK |
2267 | { |
2268 | int ret; | |
2269 | ||
40cacbcb MG |
2270 | ret = __compact_finished(cc); |
2271 | trace_mm_compaction_finished(cc->zone, cc->order, ret); | |
837d026d JK |
2272 | if (ret == COMPACT_NO_SUITABLE_PAGE) |
2273 | ret = COMPACT_CONTINUE; | |
2274 | ||
2275 | return ret; | |
748446bb MG |
2276 | } |
2277 | ||
3cf04937 JW |
2278 | static bool __compaction_suitable(struct zone *zone, int order, |
2279 | int highest_zoneidx, | |
2280 | unsigned long wmark_target) | |
3e7d3449 | 2281 | { |
3e7d3449 | 2282 | unsigned long watermark; |
3e7d3449 | 2283 | /* |
9861a62c | 2284 | * Watermarks for order-0 must be met for compaction to be able to |
984fdba6 VB |
2285 | * isolate free pages for migration targets. This means that the |
2286 | * watermark and alloc_flags have to match, or be more pessimistic than | |
2287 | * the check in __isolate_free_page(). We don't use the direct | |
2288 | * compactor's alloc_flags, as they are not relevant for freepage | |
97a225e6 JK |
2289 | * isolation. We however do use the direct compactor's highest_zoneidx |
2290 | * to skip over zones where lowmem reserves would prevent allocation | |
2291 | * even if compaction succeeds. | |
8348faf9 VB |
2292 | * For costly orders, we require low watermark instead of min for |
2293 | * compaction to proceed to increase its chances. | |
d883c6cf JK |
2294 | * ALLOC_CMA is used, as pages in CMA pageblocks are considered |
2295 | * suitable migration targets | |
3e7d3449 | 2296 | */ |
8348faf9 VB |
2297 | watermark = (order > PAGE_ALLOC_COSTLY_ORDER) ? |
2298 | low_wmark_pages(zone) : min_wmark_pages(zone); | |
2299 | watermark += compact_gap(order); | |
3cf04937 JW |
2300 | return __zone_watermark_ok(zone, 0, watermark, highest_zoneidx, |
2301 | ALLOC_CMA, wmark_target); | |
cc5c9f09 VB |
2302 | } |
2303 | ||
2b1a20c3 HS |
2304 | /* |
2305 | * compaction_suitable: Is this suitable to run compaction on this zone now? | |
2b1a20c3 | 2306 | */ |
3cf04937 | 2307 | bool compaction_suitable(struct zone *zone, int order, int highest_zoneidx) |
cc5c9f09 | 2308 | { |
3cf04937 JW |
2309 | enum compact_result compact_result; |
2310 | bool suitable; | |
cc5c9f09 | 2311 | |
3cf04937 JW |
2312 | suitable = __compaction_suitable(zone, order, highest_zoneidx, |
2313 | zone_page_state(zone, NR_FREE_PAGES)); | |
3e7d3449 MG |
2314 | /* |
2315 | * fragmentation index determines if allocation failures are due to | |
2316 | * low memory or external fragmentation | |
2317 | * | |
ebff3980 VB |
2318 | * index of -1000 would imply allocations might succeed depending on |
2319 | * watermarks, but we already failed the high-order watermark check | |
3e7d3449 MG |
2320 | * index towards 0 implies failure is due to lack of memory |
2321 | * index towards 1000 implies failure is due to fragmentation | |
2322 | * | |
20311420 VB |
2323 | * Only compact if a failure would be due to fragmentation. Also |
2324 | * ignore fragindex for non-costly orders where the alternative to | |
2325 | * a successful reclaim/compaction is OOM. Fragindex and the | |
2326 | * vm.extfrag_threshold sysctl is meant as a heuristic to prevent | |
2327 | * excessive compaction for costly orders, but it should not be at the | |
2328 | * expense of system stability. | |
3e7d3449 | 2329 | */ |
3cf04937 JW |
2330 | if (suitable) { |
2331 | compact_result = COMPACT_CONTINUE; | |
2332 | if (order > PAGE_ALLOC_COSTLY_ORDER) { | |
2333 | int fragindex = fragmentation_index(zone, order); | |
2334 | ||
2335 | if (fragindex >= 0 && | |
2336 | fragindex <= sysctl_extfrag_threshold) { | |
2337 | suitable = false; | |
2338 | compact_result = COMPACT_NOT_SUITABLE_ZONE; | |
2339 | } | |
2340 | } | |
2341 | } else { | |
2342 | compact_result = COMPACT_SKIPPED; | |
cc5c9f09 | 2343 | } |
837d026d | 2344 | |
3cf04937 | 2345 | trace_mm_compaction_suitable(zone, order, compact_result); |
837d026d | 2346 | |
3cf04937 | 2347 | return suitable; |
837d026d JK |
2348 | } |
2349 | ||
86a294a8 MH |
2350 | bool compaction_zonelist_suitable(struct alloc_context *ac, int order, |
2351 | int alloc_flags) | |
2352 | { | |
2353 | struct zone *zone; | |
2354 | struct zoneref *z; | |
2355 | ||
2356 | /* | |
2357 | * Make sure at least one zone would pass __compaction_suitable if we continue | |
2358 | * retrying the reclaim. | |
2359 | */ | |
97a225e6 JK |
2360 | for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, |
2361 | ac->highest_zoneidx, ac->nodemask) { | |
86a294a8 | 2362 | unsigned long available; |
86a294a8 MH |
2363 | |
2364 | /* | |
2365 | * Do not consider all the reclaimable memory because we do not | |
2366 | * want to trash just for a single high order allocation which | |
2367 | * is even not guaranteed to appear even if __compaction_suitable | |
2368 | * is happy about the watermark check. | |
2369 | */ | |
5a1c84b4 | 2370 | available = zone_reclaimable_pages(zone) / order; |
86a294a8 | 2371 | available += zone_page_state_snapshot(zone, NR_FREE_PAGES); |
e8606320 | 2372 | if (__compaction_suitable(zone, order, ac->highest_zoneidx, |
3cf04937 | 2373 | available)) |
86a294a8 MH |
2374 | return true; |
2375 | } | |
2376 | ||
2377 | return false; | |
2378 | } | |
2379 | ||
5e1f0f09 MG |
2380 | static enum compact_result |
2381 | compact_zone(struct compact_control *cc, struct capture_control *capc) | |
748446bb | 2382 | { |
ea7ab982 | 2383 | enum compact_result ret; |
40cacbcb MG |
2384 | unsigned long start_pfn = cc->zone->zone_start_pfn; |
2385 | unsigned long end_pfn = zone_end_pfn(cc->zone); | |
566e54e1 | 2386 | unsigned long last_migrated_pfn; |
e0b9daeb | 2387 | const bool sync = cc->mode != MIGRATE_ASYNC; |
8854c55f | 2388 | bool update_cached; |
84b328aa | 2389 | unsigned int nr_succeeded = 0; |
748446bb | 2390 | |
a94b5252 YS |
2391 | /* |
2392 | * These counters track activities during zone compaction. Initialize | |
2393 | * them before compacting a new zone. | |
2394 | */ | |
2395 | cc->total_migrate_scanned = 0; | |
2396 | cc->total_free_scanned = 0; | |
2397 | cc->nr_migratepages = 0; | |
2398 | cc->nr_freepages = 0; | |
2399 | INIT_LIST_HEAD(&cc->freepages); | |
2400 | INIT_LIST_HEAD(&cc->migratepages); | |
2401 | ||
01c0bfe0 | 2402 | cc->migratetype = gfp_migratetype(cc->gfp_mask); |
e8606320 JW |
2403 | |
2404 | if (!is_via_compact_memory(cc->order)) { | |
2405 | unsigned long watermark; | |
2406 | ||
2407 | /* Allocation can already succeed, nothing to do */ | |
2408 | watermark = wmark_pages(cc->zone, | |
2409 | cc->alloc_flags & ALLOC_WMARK_MASK); | |
2410 | if (zone_watermark_ok(cc->zone, cc->order, watermark, | |
2411 | cc->highest_zoneidx, cc->alloc_flags)) | |
2412 | return COMPACT_SUCCESS; | |
2413 | ||
e8606320 | 2414 | /* Compaction is likely to fail */ |
3cf04937 JW |
2415 | if (!compaction_suitable(cc->zone, cc->order, |
2416 | cc->highest_zoneidx)) | |
2417 | return COMPACT_SKIPPED; | |
e8606320 | 2418 | } |
c46649de | 2419 | |
d3132e4b VB |
2420 | /* |
2421 | * Clear pageblock skip if there were failures recently and compaction | |
accf6242 | 2422 | * is about to be retried after being deferred. |
d3132e4b | 2423 | */ |
40cacbcb MG |
2424 | if (compaction_restarting(cc->zone, cc->order)) |
2425 | __reset_isolation_suitable(cc->zone); | |
d3132e4b | 2426 | |
c89511ab MG |
2427 | /* |
2428 | * Setup to move all movable pages to the end of the zone. Used cached | |
06ed2998 VB |
2429 | * information on where the scanners should start (unless we explicitly |
2430 | * want to compact the whole zone), but check that it is initialised | |
2431 | * by ensuring the values are within zone boundaries. | |
c89511ab | 2432 | */ |
70b44595 | 2433 | cc->fast_start_pfn = 0; |
06ed2998 | 2434 | if (cc->whole_zone) { |
c89511ab | 2435 | cc->migrate_pfn = start_pfn; |
06ed2998 VB |
2436 | cc->free_pfn = pageblock_start_pfn(end_pfn - 1); |
2437 | } else { | |
40cacbcb MG |
2438 | cc->migrate_pfn = cc->zone->compact_cached_migrate_pfn[sync]; |
2439 | cc->free_pfn = cc->zone->compact_cached_free_pfn; | |
06ed2998 VB |
2440 | if (cc->free_pfn < start_pfn || cc->free_pfn >= end_pfn) { |
2441 | cc->free_pfn = pageblock_start_pfn(end_pfn - 1); | |
40cacbcb | 2442 | cc->zone->compact_cached_free_pfn = cc->free_pfn; |
06ed2998 VB |
2443 | } |
2444 | if (cc->migrate_pfn < start_pfn || cc->migrate_pfn >= end_pfn) { | |
2445 | cc->migrate_pfn = start_pfn; | |
40cacbcb MG |
2446 | cc->zone->compact_cached_migrate_pfn[0] = cc->migrate_pfn; |
2447 | cc->zone->compact_cached_migrate_pfn[1] = cc->migrate_pfn; | |
06ed2998 | 2448 | } |
c8f7de0b | 2449 | |
e332f741 | 2450 | if (cc->migrate_pfn <= cc->zone->compact_init_migrate_pfn) |
06ed2998 VB |
2451 | cc->whole_zone = true; |
2452 | } | |
c8f7de0b | 2453 | |
566e54e1 | 2454 | last_migrated_pfn = 0; |
748446bb | 2455 | |
8854c55f MG |
2456 | /* |
2457 | * Migrate has separate cached PFNs for ASYNC and SYNC* migration on | |
2458 | * the basis that some migrations will fail in ASYNC mode. However, | |
2459 | * if the cached PFNs match and pageblocks are skipped due to having | |
2460 | * no isolation candidates, then the sync state does not matter. | |
2461 | * Until a pageblock with isolation candidates is found, keep the | |
2462 | * cached PFNs in sync to avoid revisiting the same blocks. | |
2463 | */ | |
2464 | update_cached = !sync && | |
2465 | cc->zone->compact_cached_migrate_pfn[0] == cc->zone->compact_cached_migrate_pfn[1]; | |
2466 | ||
abd4349f | 2467 | trace_mm_compaction_begin(cc, start_pfn, end_pfn, sync); |
0eb927c0 | 2468 | |
361a2a22 MK |
2469 | /* lru_add_drain_all could be expensive with involving other CPUs */ |
2470 | lru_add_drain(); | |
748446bb | 2471 | |
40cacbcb | 2472 | while ((ret = compact_finished(cc)) == COMPACT_CONTINUE) { |
9d502c1c | 2473 | int err; |
19d3cf9d | 2474 | unsigned long iteration_start_pfn = cc->migrate_pfn; |
748446bb | 2475 | |
804d3121 | 2476 | /* |
48731c84 MG |
2477 | * Avoid multiple rescans of the same pageblock which can |
2478 | * happen if a page cannot be isolated (dirty/writeback in | |
2479 | * async mode) or if the migrated pages are being allocated | |
2480 | * before the pageblock is cleared. The first rescan will | |
2481 | * capture the entire pageblock for migration. If it fails, | |
2482 | * it'll be marked skip and scanning will proceed as normal. | |
804d3121 | 2483 | */ |
48731c84 | 2484 | cc->finish_pageblock = false; |
804d3121 | 2485 | if (pageblock_start_pfn(last_migrated_pfn) == |
19d3cf9d | 2486 | pageblock_start_pfn(iteration_start_pfn)) { |
48731c84 | 2487 | cc->finish_pageblock = true; |
804d3121 MG |
2488 | } |
2489 | ||
cfccd2e6 | 2490 | rescan: |
32aaf055 | 2491 | switch (isolate_migratepages(cc)) { |
f9e35b3b | 2492 | case ISOLATE_ABORT: |
2d1e1041 | 2493 | ret = COMPACT_CONTENDED; |
5733c7d1 | 2494 | putback_movable_pages(&cc->migratepages); |
e64c5237 | 2495 | cc->nr_migratepages = 0; |
f9e35b3b MG |
2496 | goto out; |
2497 | case ISOLATE_NONE: | |
8854c55f MG |
2498 | if (update_cached) { |
2499 | cc->zone->compact_cached_migrate_pfn[1] = | |
2500 | cc->zone->compact_cached_migrate_pfn[0]; | |
2501 | } | |
2502 | ||
fdaf7f5c VB |
2503 | /* |
2504 | * We haven't isolated and migrated anything, but | |
2505 | * there might still be unflushed migrations from | |
2506 | * previous cc->order aligned block. | |
2507 | */ | |
2508 | goto check_drain; | |
f9e35b3b | 2509 | case ISOLATE_SUCCESS: |
8854c55f | 2510 | update_cached = false; |
7c0a84bd KS |
2511 | last_migrated_pfn = max(cc->zone->zone_start_pfn, |
2512 | pageblock_start_pfn(cc->migrate_pfn - 1)); | |
f9e35b3b | 2513 | } |
748446bb | 2514 | |
d53aea3d | 2515 | err = migrate_pages(&cc->migratepages, compaction_alloc, |
e0b9daeb | 2516 | compaction_free, (unsigned long)cc, cc->mode, |
84b328aa | 2517 | MR_COMPACTION, &nr_succeeded); |
748446bb | 2518 | |
abd4349f | 2519 | trace_mm_compaction_migratepages(cc, nr_succeeded); |
748446bb | 2520 | |
f8c9301f VB |
2521 | /* All pages were either migrated or will be released */ |
2522 | cc->nr_migratepages = 0; | |
9d502c1c | 2523 | if (err) { |
5733c7d1 | 2524 | putback_movable_pages(&cc->migratepages); |
7ed695e0 VB |
2525 | /* |
2526 | * migrate_pages() may return -ENOMEM when scanners meet | |
2527 | * and we want compact_finished() to detect it | |
2528 | */ | |
f2849aa0 | 2529 | if (err == -ENOMEM && !compact_scanners_met(cc)) { |
2d1e1041 | 2530 | ret = COMPACT_CONTENDED; |
4bf2bba3 DR |
2531 | goto out; |
2532 | } | |
fdd048e1 | 2533 | /* |
cfccd2e6 | 2534 | * If an ASYNC or SYNC_LIGHT fails to migrate a page |
c3750cc7 | 2535 | * within the pageblock_order-aligned block and |
9ecc5fc5 | 2536 | * fast_find_migrateblock may be used then scan the |
cfccd2e6 MG |
2537 | * remainder of the pageblock. This will mark the |
2538 | * pageblock "skip" to avoid rescanning in the near | |
2539 | * future. This will isolate more pages than necessary | |
2540 | * for the request but avoid loops due to | |
2541 | * fast_find_migrateblock revisiting blocks that were | |
2542 | * recently partially scanned. | |
fdd048e1 | 2543 | */ |
539aa041 | 2544 | if (!pageblock_aligned(cc->migrate_pfn) && |
9ecc5fc5 | 2545 | !cc->ignore_skip_hint && !cc->finish_pageblock && |
539aa041 | 2546 | (cc->mode < MIGRATE_SYNC)) { |
cfccd2e6 MG |
2547 | cc->finish_pageblock = true; |
2548 | ||
2549 | /* | |
2550 | * Draining pcplists does not help THP if | |
2551 | * any page failed to migrate. Even after | |
2552 | * drain, the pageblock will not be free. | |
2553 | */ | |
2554 | if (cc->order == COMPACTION_HPAGE_ORDER) | |
2555 | last_migrated_pfn = 0; | |
2556 | ||
2557 | goto rescan; | |
fdd048e1 | 2558 | } |
748446bb | 2559 | } |
fdaf7f5c | 2560 | |
16b3be40 MG |
2561 | /* Stop if a page has been captured */ |
2562 | if (capc && capc->page) { | |
2563 | ret = COMPACT_SUCCESS; | |
2564 | break; | |
2565 | } | |
2566 | ||
fdaf7f5c VB |
2567 | check_drain: |
2568 | /* | |
2569 | * Has the migration scanner moved away from the previous | |
2570 | * cc->order aligned block where we migrated from? If yes, | |
2571 | * flush the pages that were freed, so that they can merge and | |
2572 | * compact_finished() can detect immediately if allocation | |
2573 | * would succeed. | |
2574 | */ | |
566e54e1 | 2575 | if (cc->order > 0 && last_migrated_pfn) { |
fdaf7f5c | 2576 | unsigned long current_block_start = |
06b6640a | 2577 | block_start_pfn(cc->migrate_pfn, cc->order); |
fdaf7f5c | 2578 | |
566e54e1 | 2579 | if (last_migrated_pfn < current_block_start) { |
b01b2141 | 2580 | lru_add_drain_cpu_zone(cc->zone); |
fdaf7f5c | 2581 | /* No more flushing until we migrate again */ |
566e54e1 | 2582 | last_migrated_pfn = 0; |
fdaf7f5c VB |
2583 | } |
2584 | } | |
748446bb MG |
2585 | } |
2586 | ||
f9e35b3b | 2587 | out: |
6bace090 VB |
2588 | /* |
2589 | * Release free pages and update where the free scanner should restart, | |
2590 | * so we don't leave any returned pages behind in the next attempt. | |
2591 | */ | |
2592 | if (cc->nr_freepages > 0) { | |
2593 | unsigned long free_pfn = release_freepages(&cc->freepages); | |
2594 | ||
2595 | cc->nr_freepages = 0; | |
2596 | VM_BUG_ON(free_pfn == 0); | |
2597 | /* The cached pfn is always the first in a pageblock */ | |
06b6640a | 2598 | free_pfn = pageblock_start_pfn(free_pfn); |
6bace090 VB |
2599 | /* |
2600 | * Only go back, not forward. The cached pfn might have been | |
2601 | * already reset to zone end in compact_finished() | |
2602 | */ | |
40cacbcb MG |
2603 | if (free_pfn > cc->zone->compact_cached_free_pfn) |
2604 | cc->zone->compact_cached_free_pfn = free_pfn; | |
6bace090 | 2605 | } |
748446bb | 2606 | |
7f354a54 DR |
2607 | count_compact_events(COMPACTMIGRATE_SCANNED, cc->total_migrate_scanned); |
2608 | count_compact_events(COMPACTFREE_SCANNED, cc->total_free_scanned); | |
2609 | ||
abd4349f | 2610 | trace_mm_compaction_end(cc, start_pfn, end_pfn, sync, ret); |
0eb927c0 | 2611 | |
753ec50d BW |
2612 | VM_BUG_ON(!list_empty(&cc->freepages)); |
2613 | VM_BUG_ON(!list_empty(&cc->migratepages)); | |
2614 | ||
748446bb MG |
2615 | return ret; |
2616 | } | |
76ab0f53 | 2617 | |
ea7ab982 | 2618 | static enum compact_result compact_zone_order(struct zone *zone, int order, |
c3486f53 | 2619 | gfp_t gfp_mask, enum compact_priority prio, |
97a225e6 | 2620 | unsigned int alloc_flags, int highest_zoneidx, |
5e1f0f09 | 2621 | struct page **capture) |
56de7263 | 2622 | { |
ea7ab982 | 2623 | enum compact_result ret; |
56de7263 | 2624 | struct compact_control cc = { |
56de7263 | 2625 | .order = order, |
dbe2d4e4 | 2626 | .search_order = order, |
6d7ce559 | 2627 | .gfp_mask = gfp_mask, |
56de7263 | 2628 | .zone = zone, |
a5508cd8 VB |
2629 | .mode = (prio == COMPACT_PRIO_ASYNC) ? |
2630 | MIGRATE_ASYNC : MIGRATE_SYNC_LIGHT, | |
ebff3980 | 2631 | .alloc_flags = alloc_flags, |
97a225e6 | 2632 | .highest_zoneidx = highest_zoneidx, |
accf6242 | 2633 | .direct_compaction = true, |
a8e025e5 | 2634 | .whole_zone = (prio == MIN_COMPACT_PRIORITY), |
9f7e3387 VB |
2635 | .ignore_skip_hint = (prio == MIN_COMPACT_PRIORITY), |
2636 | .ignore_block_suitable = (prio == MIN_COMPACT_PRIORITY) | |
56de7263 | 2637 | }; |
5e1f0f09 MG |
2638 | struct capture_control capc = { |
2639 | .cc = &cc, | |
2640 | .page = NULL, | |
2641 | }; | |
2642 | ||
b9e20f0d VB |
2643 | /* |
2644 | * Make sure the structs are really initialized before we expose the | |
2645 | * capture control, in case we are interrupted and the interrupt handler | |
2646 | * frees a page. | |
2647 | */ | |
2648 | barrier(); | |
2649 | WRITE_ONCE(current->capture_control, &capc); | |
56de7263 | 2650 | |
5e1f0f09 | 2651 | ret = compact_zone(&cc, &capc); |
e64c5237 | 2652 | |
b9e20f0d VB |
2653 | /* |
2654 | * Make sure we hide capture control first before we read the captured | |
2655 | * page pointer, otherwise an interrupt could free and capture a page | |
2656 | * and we would leak it. | |
2657 | */ | |
2658 | WRITE_ONCE(current->capture_control, NULL); | |
2659 | *capture = READ_ONCE(capc.page); | |
06dac2f4 CTR |
2660 | /* |
2661 | * Technically, it is also possible that compaction is skipped but | |
2662 | * the page is still captured out of luck(IRQ came and freed the page). | |
2663 | * Returning COMPACT_SUCCESS in such cases helps in properly accounting | |
2664 | * the COMPACT[STALL|FAIL] when compaction is skipped. | |
2665 | */ | |
2666 | if (*capture) | |
2667 | ret = COMPACT_SUCCESS; | |
5e1f0f09 | 2668 | |
e64c5237 | 2669 | return ret; |
56de7263 MG |
2670 | } |
2671 | ||
2672 | /** | |
2673 | * try_to_compact_pages - Direct compact to satisfy a high-order allocation | |
56de7263 | 2674 | * @gfp_mask: The GFP mask of the current allocation |
1a6d53a1 VB |
2675 | * @order: The order of the current allocation |
2676 | * @alloc_flags: The allocation flags of the current allocation | |
2677 | * @ac: The context of current allocation | |
112d2d29 | 2678 | * @prio: Determines how hard direct compaction should try to succeed |
6467552c | 2679 | * @capture: Pointer to free page created by compaction will be stored here |
56de7263 MG |
2680 | * |
2681 | * This is the main entry point for direct page compaction. | |
2682 | */ | |
ea7ab982 | 2683 | enum compact_result try_to_compact_pages(gfp_t gfp_mask, unsigned int order, |
c603844b | 2684 | unsigned int alloc_flags, const struct alloc_context *ac, |
5e1f0f09 | 2685 | enum compact_priority prio, struct page **capture) |
56de7263 | 2686 | { |
fe573327 | 2687 | int may_perform_io = (__force int)(gfp_mask & __GFP_IO); |
56de7263 MG |
2688 | struct zoneref *z; |
2689 | struct zone *zone; | |
1d4746d3 | 2690 | enum compact_result rc = COMPACT_SKIPPED; |
56de7263 | 2691 | |
73e64c51 MH |
2692 | /* |
2693 | * Check if the GFP flags allow compaction - GFP_NOIO is really | |
2694 | * tricky context because the migration might require IO | |
2695 | */ | |
2696 | if (!may_perform_io) | |
53853e2d | 2697 | return COMPACT_SKIPPED; |
56de7263 | 2698 | |
a5508cd8 | 2699 | trace_mm_compaction_try_to_compact_pages(order, gfp_mask, prio); |
837d026d | 2700 | |
56de7263 | 2701 | /* Compact each zone in the list */ |
97a225e6 JK |
2702 | for_each_zone_zonelist_nodemask(zone, z, ac->zonelist, |
2703 | ac->highest_zoneidx, ac->nodemask) { | |
ea7ab982 | 2704 | enum compact_result status; |
56de7263 | 2705 | |
a8e025e5 VB |
2706 | if (prio > MIN_COMPACT_PRIORITY |
2707 | && compaction_deferred(zone, order)) { | |
1d4746d3 | 2708 | rc = max_t(enum compact_result, COMPACT_DEFERRED, rc); |
53853e2d | 2709 | continue; |
1d4746d3 | 2710 | } |
53853e2d | 2711 | |
a5508cd8 | 2712 | status = compact_zone_order(zone, order, gfp_mask, prio, |
97a225e6 | 2713 | alloc_flags, ac->highest_zoneidx, capture); |
56de7263 MG |
2714 | rc = max(status, rc); |
2715 | ||
7ceb009a VB |
2716 | /* The allocation should succeed, stop compacting */ |
2717 | if (status == COMPACT_SUCCESS) { | |
53853e2d VB |
2718 | /* |
2719 | * We think the allocation will succeed in this zone, | |
2720 | * but it is not certain, hence the false. The caller | |
2721 | * will repeat this with true if allocation indeed | |
2722 | * succeeds in this zone. | |
2723 | */ | |
2724 | compaction_defer_reset(zone, order, false); | |
1f9efdef | 2725 | |
c3486f53 | 2726 | break; |
1f9efdef VB |
2727 | } |
2728 | ||
a5508cd8 | 2729 | if (prio != COMPACT_PRIO_ASYNC && (status == COMPACT_COMPLETE || |
c3486f53 | 2730 | status == COMPACT_PARTIAL_SKIPPED)) |
53853e2d VB |
2731 | /* |
2732 | * We think that allocation won't succeed in this zone | |
2733 | * so we defer compaction there. If it ends up | |
2734 | * succeeding after all, it will be reset. | |
2735 | */ | |
2736 | defer_compaction(zone, order); | |
1f9efdef VB |
2737 | |
2738 | /* | |
2739 | * We might have stopped compacting due to need_resched() in | |
2740 | * async compaction, or due to a fatal signal detected. In that | |
c3486f53 | 2741 | * case do not try further zones |
1f9efdef | 2742 | */ |
c3486f53 VB |
2743 | if ((prio == COMPACT_PRIO_ASYNC && need_resched()) |
2744 | || fatal_signal_pending(current)) | |
2745 | break; | |
56de7263 MG |
2746 | } |
2747 | ||
2748 | return rc; | |
2749 | } | |
2750 | ||
facdaa91 NG |
2751 | /* |
2752 | * Compact all zones within a node till each zone's fragmentation score | |
2753 | * reaches within proactive compaction thresholds (as determined by the | |
2754 | * proactiveness tunable). | |
2755 | * | |
2756 | * It is possible that the function returns before reaching score targets | |
2757 | * due to various back-off conditions, such as, contention on per-node or | |
2758 | * per-zone locks. | |
2759 | */ | |
2760 | static void proactive_compact_node(pg_data_t *pgdat) | |
2761 | { | |
2762 | int zoneid; | |
2763 | struct zone *zone; | |
2764 | struct compact_control cc = { | |
2765 | .order = -1, | |
2766 | .mode = MIGRATE_SYNC_LIGHT, | |
2767 | .ignore_skip_hint = true, | |
2768 | .whole_zone = true, | |
2769 | .gfp_mask = GFP_KERNEL, | |
2770 | .proactive_compaction = true, | |
2771 | }; | |
2772 | ||
2773 | for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { | |
2774 | zone = &pgdat->node_zones[zoneid]; | |
2775 | if (!populated_zone(zone)) | |
2776 | continue; | |
2777 | ||
2778 | cc.zone = zone; | |
2779 | ||
2780 | compact_zone(&cc, NULL); | |
2781 | ||
1bfb7684 BW |
2782 | count_compact_events(KCOMPACTD_MIGRATE_SCANNED, |
2783 | cc.total_migrate_scanned); | |
2784 | count_compact_events(KCOMPACTD_FREE_SCANNED, | |
2785 | cc.total_free_scanned); | |
facdaa91 NG |
2786 | } |
2787 | } | |
56de7263 | 2788 | |
76ab0f53 | 2789 | /* Compact all zones within a node */ |
791cae96 | 2790 | static void compact_node(int nid) |
76ab0f53 | 2791 | { |
791cae96 | 2792 | pg_data_t *pgdat = NODE_DATA(nid); |
76ab0f53 | 2793 | int zoneid; |
76ab0f53 | 2794 | struct zone *zone; |
791cae96 VB |
2795 | struct compact_control cc = { |
2796 | .order = -1, | |
2797 | .mode = MIGRATE_SYNC, | |
2798 | .ignore_skip_hint = true, | |
2799 | .whole_zone = true, | |
73e64c51 | 2800 | .gfp_mask = GFP_KERNEL, |
791cae96 VB |
2801 | }; |
2802 | ||
76ab0f53 | 2803 | |
76ab0f53 | 2804 | for (zoneid = 0; zoneid < MAX_NR_ZONES; zoneid++) { |
76ab0f53 MG |
2805 | |
2806 | zone = &pgdat->node_zones[zoneid]; | |
2807 | if (!populated_zone(zone)) | |
2808 | continue; | |
2809 | ||
791cae96 | 2810 | cc.zone = zone; |
76ab0f53 | 2811 | |
5e1f0f09 | 2812 | compact_zone(&cc, NULL); |
76ab0f53 | 2813 | } |
76ab0f53 MG |
2814 | } |
2815 | ||
2816 | /* Compact all nodes in the system */ | |
7964c06d | 2817 | static void compact_nodes(void) |
76ab0f53 MG |
2818 | { |
2819 | int nid; | |
2820 | ||
8575ec29 HD |
2821 | /* Flush pending updates to the LRU lists */ |
2822 | lru_add_drain_all(); | |
2823 | ||
76ab0f53 MG |
2824 | for_each_online_node(nid) |
2825 | compact_node(nid); | |
76ab0f53 MG |
2826 | } |
2827 | ||
48fe8ab8 | 2828 | static int compaction_proactiveness_sysctl_handler(struct ctl_table *table, int write, |
65d759c8 CTR |
2829 | void *buffer, size_t *length, loff_t *ppos) |
2830 | { | |
2831 | int rc, nid; | |
2832 | ||
2833 | rc = proc_dointvec_minmax(table, write, buffer, length, ppos); | |
2834 | if (rc) | |
2835 | return rc; | |
2836 | ||
2837 | if (write && sysctl_compaction_proactiveness) { | |
2838 | for_each_online_node(nid) { | |
2839 | pg_data_t *pgdat = NODE_DATA(nid); | |
2840 | ||
2841 | if (pgdat->proactive_compact_trigger) | |
2842 | continue; | |
2843 | ||
2844 | pgdat->proactive_compact_trigger = true; | |
8fff8b6f BW |
2845 | trace_mm_compaction_wakeup_kcompactd(pgdat->node_id, -1, |
2846 | pgdat->nr_zones - 1); | |
65d759c8 CTR |
2847 | wake_up_interruptible(&pgdat->kcompactd_wait); |
2848 | } | |
2849 | } | |
2850 | ||
2851 | return 0; | |
2852 | } | |
2853 | ||
fec4eb2c YB |
2854 | /* |
2855 | * This is the entry point for compacting all nodes via | |
2856 | * /proc/sys/vm/compact_memory | |
2857 | */ | |
48fe8ab8 | 2858 | static int sysctl_compaction_handler(struct ctl_table *table, int write, |
32927393 | 2859 | void *buffer, size_t *length, loff_t *ppos) |
76ab0f53 | 2860 | { |
8b9167cd WY |
2861 | int ret; |
2862 | ||
2863 | ret = proc_dointvec(table, write, buffer, length, ppos); | |
2864 | if (ret) | |
2865 | return ret; | |
2866 | ||
2867 | if (sysctl_compact_memory != 1) | |
2868 | return -EINVAL; | |
2869 | ||
76ab0f53 | 2870 | if (write) |
7964c06d | 2871 | compact_nodes(); |
76ab0f53 MG |
2872 | |
2873 | return 0; | |
2874 | } | |
ed4a6d7f MG |
2875 | |
2876 | #if defined(CONFIG_SYSFS) && defined(CONFIG_NUMA) | |
17adb230 Y |
2877 | static ssize_t compact_store(struct device *dev, |
2878 | struct device_attribute *attr, | |
2879 | const char *buf, size_t count) | |
ed4a6d7f | 2880 | { |
8575ec29 HD |
2881 | int nid = dev->id; |
2882 | ||
2883 | if (nid >= 0 && nid < nr_node_ids && node_online(nid)) { | |
2884 | /* Flush pending updates to the LRU lists */ | |
2885 | lru_add_drain_all(); | |
2886 | ||
2887 | compact_node(nid); | |
2888 | } | |
ed4a6d7f MG |
2889 | |
2890 | return count; | |
2891 | } | |
17adb230 | 2892 | static DEVICE_ATTR_WO(compact); |
ed4a6d7f MG |
2893 | |
2894 | int compaction_register_node(struct node *node) | |
2895 | { | |
10fbcf4c | 2896 | return device_create_file(&node->dev, &dev_attr_compact); |
ed4a6d7f MG |
2897 | } |
2898 | ||
2899 | void compaction_unregister_node(struct node *node) | |
2900 | { | |
f82024cb | 2901 | device_remove_file(&node->dev, &dev_attr_compact); |
ed4a6d7f MG |
2902 | } |
2903 | #endif /* CONFIG_SYSFS && CONFIG_NUMA */ | |
ff9543fd | 2904 | |
698b1b30 VB |
2905 | static inline bool kcompactd_work_requested(pg_data_t *pgdat) |
2906 | { | |
65d759c8 CTR |
2907 | return pgdat->kcompactd_max_order > 0 || kthread_should_stop() || |
2908 | pgdat->proactive_compact_trigger; | |
698b1b30 VB |
2909 | } |
2910 | ||
2911 | static bool kcompactd_node_suitable(pg_data_t *pgdat) | |
2912 | { | |
2913 | int zoneid; | |
2914 | struct zone *zone; | |
97a225e6 | 2915 | enum zone_type highest_zoneidx = pgdat->kcompactd_highest_zoneidx; |
698b1b30 | 2916 | |
97a225e6 | 2917 | for (zoneid = 0; zoneid <= highest_zoneidx; zoneid++) { |
698b1b30 VB |
2918 | zone = &pgdat->node_zones[zoneid]; |
2919 | ||
2920 | if (!populated_zone(zone)) | |
2921 | continue; | |
2922 | ||
e8606320 JW |
2923 | /* Allocation can already succeed, check other zones */ |
2924 | if (zone_watermark_ok(zone, pgdat->kcompactd_max_order, | |
2925 | min_wmark_pages(zone), | |
2926 | highest_zoneidx, 0)) | |
2927 | continue; | |
2928 | ||
2929 | if (compaction_suitable(zone, pgdat->kcompactd_max_order, | |
3cf04937 | 2930 | highest_zoneidx)) |
698b1b30 VB |
2931 | return true; |
2932 | } | |
2933 | ||
2934 | return false; | |
2935 | } | |
2936 | ||
2937 | static void kcompactd_do_work(pg_data_t *pgdat) | |
2938 | { | |
2939 | /* | |
2940 | * With no special task, compact all zones so that a page of requested | |
2941 | * order is allocatable. | |
2942 | */ | |
2943 | int zoneid; | |
2944 | struct zone *zone; | |
2945 | struct compact_control cc = { | |
2946 | .order = pgdat->kcompactd_max_order, | |
dbe2d4e4 | 2947 | .search_order = pgdat->kcompactd_max_order, |
97a225e6 | 2948 | .highest_zoneidx = pgdat->kcompactd_highest_zoneidx, |
698b1b30 | 2949 | .mode = MIGRATE_SYNC_LIGHT, |
a0647dc9 | 2950 | .ignore_skip_hint = false, |
73e64c51 | 2951 | .gfp_mask = GFP_KERNEL, |
698b1b30 | 2952 | }; |
698b1b30 | 2953 | trace_mm_compaction_kcompactd_wake(pgdat->node_id, cc.order, |
97a225e6 | 2954 | cc.highest_zoneidx); |
7f354a54 | 2955 | count_compact_event(KCOMPACTD_WAKE); |
698b1b30 | 2956 | |
97a225e6 | 2957 | for (zoneid = 0; zoneid <= cc.highest_zoneidx; zoneid++) { |
698b1b30 VB |
2958 | int status; |
2959 | ||
2960 | zone = &pgdat->node_zones[zoneid]; | |
2961 | if (!populated_zone(zone)) | |
2962 | continue; | |
2963 | ||
2964 | if (compaction_deferred(zone, cc.order)) | |
2965 | continue; | |
2966 | ||
e8606320 JW |
2967 | /* Allocation can already succeed, nothing to do */ |
2968 | if (zone_watermark_ok(zone, cc.order, | |
2969 | min_wmark_pages(zone), zoneid, 0)) | |
698b1b30 VB |
2970 | continue; |
2971 | ||
3cf04937 | 2972 | if (!compaction_suitable(zone, cc.order, zoneid)) |
e8606320 | 2973 | continue; |
f98a497e | 2974 | |
172400c6 VB |
2975 | if (kthread_should_stop()) |
2976 | return; | |
a94b5252 YS |
2977 | |
2978 | cc.zone = zone; | |
5e1f0f09 | 2979 | status = compact_zone(&cc, NULL); |
698b1b30 | 2980 | |
7ceb009a | 2981 | if (status == COMPACT_SUCCESS) { |
698b1b30 | 2982 | compaction_defer_reset(zone, cc.order, false); |
c8f7de0b | 2983 | } else if (status == COMPACT_PARTIAL_SKIPPED || status == COMPACT_COMPLETE) { |
bc3106b2 DR |
2984 | /* |
2985 | * Buddy pages may become stranded on pcps that could | |
2986 | * otherwise coalesce on the zone's free area for | |
2987 | * order >= cc.order. This is ratelimited by the | |
2988 | * upcoming deferral. | |
2989 | */ | |
2990 | drain_all_pages(zone); | |
2991 | ||
698b1b30 VB |
2992 | /* |
2993 | * We use sync migration mode here, so we defer like | |
2994 | * sync direct compaction does. | |
2995 | */ | |
2996 | defer_compaction(zone, cc.order); | |
2997 | } | |
2998 | ||
7f354a54 DR |
2999 | count_compact_events(KCOMPACTD_MIGRATE_SCANNED, |
3000 | cc.total_migrate_scanned); | |
3001 | count_compact_events(KCOMPACTD_FREE_SCANNED, | |
3002 | cc.total_free_scanned); | |
698b1b30 VB |
3003 | } |
3004 | ||
3005 | /* | |
3006 | * Regardless of success, we are done until woken up next. But remember | |
97a225e6 JK |
3007 | * the requested order/highest_zoneidx in case it was higher/tighter |
3008 | * than our current ones | |
698b1b30 VB |
3009 | */ |
3010 | if (pgdat->kcompactd_max_order <= cc.order) | |
3011 | pgdat->kcompactd_max_order = 0; | |
97a225e6 JK |
3012 | if (pgdat->kcompactd_highest_zoneidx >= cc.highest_zoneidx) |
3013 | pgdat->kcompactd_highest_zoneidx = pgdat->nr_zones - 1; | |
698b1b30 VB |
3014 | } |
3015 | ||
97a225e6 | 3016 | void wakeup_kcompactd(pg_data_t *pgdat, int order, int highest_zoneidx) |
698b1b30 VB |
3017 | { |
3018 | if (!order) | |
3019 | return; | |
3020 | ||
3021 | if (pgdat->kcompactd_max_order < order) | |
3022 | pgdat->kcompactd_max_order = order; | |
3023 | ||
97a225e6 JK |
3024 | if (pgdat->kcompactd_highest_zoneidx > highest_zoneidx) |
3025 | pgdat->kcompactd_highest_zoneidx = highest_zoneidx; | |
698b1b30 | 3026 | |
6818600f DB |
3027 | /* |
3028 | * Pairs with implicit barrier in wait_event_freezable() | |
3029 | * such that wakeups are not missed. | |
3030 | */ | |
3031 | if (!wq_has_sleeper(&pgdat->kcompactd_wait)) | |
698b1b30 VB |
3032 | return; |
3033 | ||
3034 | if (!kcompactd_node_suitable(pgdat)) | |
3035 | return; | |
3036 | ||
3037 | trace_mm_compaction_wakeup_kcompactd(pgdat->node_id, order, | |
97a225e6 | 3038 | highest_zoneidx); |
698b1b30 VB |
3039 | wake_up_interruptible(&pgdat->kcompactd_wait); |
3040 | } | |
3041 | ||
3042 | /* | |
3043 | * The background compaction daemon, started as a kernel thread | |
3044 | * from the init process. | |
3045 | */ | |
3046 | static int kcompactd(void *p) | |
3047 | { | |
68d68ff6 | 3048 | pg_data_t *pgdat = (pg_data_t *)p; |
698b1b30 | 3049 | struct task_struct *tsk = current; |
e1e92bfa CTR |
3050 | long default_timeout = msecs_to_jiffies(HPAGE_FRAG_CHECK_INTERVAL_MSEC); |
3051 | long timeout = default_timeout; | |
698b1b30 VB |
3052 | |
3053 | const struct cpumask *cpumask = cpumask_of_node(pgdat->node_id); | |
3054 | ||
3055 | if (!cpumask_empty(cpumask)) | |
3056 | set_cpus_allowed_ptr(tsk, cpumask); | |
3057 | ||
3058 | set_freezable(); | |
3059 | ||
3060 | pgdat->kcompactd_max_order = 0; | |
97a225e6 | 3061 | pgdat->kcompactd_highest_zoneidx = pgdat->nr_zones - 1; |
698b1b30 VB |
3062 | |
3063 | while (!kthread_should_stop()) { | |
eb414681 JW |
3064 | unsigned long pflags; |
3065 | ||
65d759c8 CTR |
3066 | /* |
3067 | * Avoid the unnecessary wakeup for proactive compaction | |
3068 | * when it is disabled. | |
3069 | */ | |
3070 | if (!sysctl_compaction_proactiveness) | |
3071 | timeout = MAX_SCHEDULE_TIMEOUT; | |
698b1b30 | 3072 | trace_mm_compaction_kcompactd_sleep(pgdat->node_id); |
facdaa91 | 3073 | if (wait_event_freezable_timeout(pgdat->kcompactd_wait, |
65d759c8 CTR |
3074 | kcompactd_work_requested(pgdat), timeout) && |
3075 | !pgdat->proactive_compact_trigger) { | |
facdaa91 NG |
3076 | |
3077 | psi_memstall_enter(&pflags); | |
3078 | kcompactd_do_work(pgdat); | |
3079 | psi_memstall_leave(&pflags); | |
e1e92bfa CTR |
3080 | /* |
3081 | * Reset the timeout value. The defer timeout from | |
3082 | * proactive compaction is lost here but that is fine | |
3083 | * as the condition of the zone changing substantionally | |
3084 | * then carrying on with the previous defer interval is | |
3085 | * not useful. | |
3086 | */ | |
3087 | timeout = default_timeout; | |
facdaa91 NG |
3088 | continue; |
3089 | } | |
698b1b30 | 3090 | |
e1e92bfa CTR |
3091 | /* |
3092 | * Start the proactive work with default timeout. Based | |
3093 | * on the fragmentation score, this timeout is updated. | |
3094 | */ | |
3095 | timeout = default_timeout; | |
facdaa91 NG |
3096 | if (should_proactive_compact_node(pgdat)) { |
3097 | unsigned int prev_score, score; | |
3098 | ||
facdaa91 NG |
3099 | prev_score = fragmentation_score_node(pgdat); |
3100 | proactive_compact_node(pgdat); | |
3101 | score = fragmentation_score_node(pgdat); | |
3102 | /* | |
3103 | * Defer proactive compaction if the fragmentation | |
3104 | * score did not go down i.e. no progress made. | |
3105 | */ | |
e1e92bfa CTR |
3106 | if (unlikely(score >= prev_score)) |
3107 | timeout = | |
3108 | default_timeout << COMPACT_MAX_DEFER_SHIFT; | |
facdaa91 | 3109 | } |
65d759c8 CTR |
3110 | if (unlikely(pgdat->proactive_compact_trigger)) |
3111 | pgdat->proactive_compact_trigger = false; | |
698b1b30 VB |
3112 | } |
3113 | ||
3114 | return 0; | |
3115 | } | |
3116 | ||
3117 | /* | |
3118 | * This kcompactd start function will be called by init and node-hot-add. | |
3119 | * On node-hot-add, kcompactd will moved to proper cpus if cpus are hot-added. | |
3120 | */ | |
833dfc00 | 3121 | void __meminit kcompactd_run(int nid) |
698b1b30 VB |
3122 | { |
3123 | pg_data_t *pgdat = NODE_DATA(nid); | |
698b1b30 VB |
3124 | |
3125 | if (pgdat->kcompactd) | |
024c61ea | 3126 | return; |
698b1b30 VB |
3127 | |
3128 | pgdat->kcompactd = kthread_run(kcompactd, pgdat, "kcompactd%d", nid); | |
3129 | if (IS_ERR(pgdat->kcompactd)) { | |
3130 | pr_err("Failed to start kcompactd on node %d\n", nid); | |
698b1b30 VB |
3131 | pgdat->kcompactd = NULL; |
3132 | } | |
698b1b30 VB |
3133 | } |
3134 | ||
3135 | /* | |
3136 | * Called by memory hotplug when all memory in a node is offlined. Caller must | |
e8da368a | 3137 | * be holding mem_hotplug_begin/done(). |
698b1b30 | 3138 | */ |
833dfc00 | 3139 | void __meminit kcompactd_stop(int nid) |
698b1b30 VB |
3140 | { |
3141 | struct task_struct *kcompactd = NODE_DATA(nid)->kcompactd; | |
3142 | ||
3143 | if (kcompactd) { | |
3144 | kthread_stop(kcompactd); | |
3145 | NODE_DATA(nid)->kcompactd = NULL; | |
3146 | } | |
3147 | } | |
3148 | ||
3149 | /* | |
3150 | * It's optimal to keep kcompactd on the same CPUs as their memory, but | |
3151 | * not required for correctness. So if the last cpu in a node goes | |
3152 | * away, we get changed to run anywhere: as the first one comes back, | |
3153 | * restore their cpu bindings. | |
3154 | */ | |
e46b1db2 | 3155 | static int kcompactd_cpu_online(unsigned int cpu) |
698b1b30 VB |
3156 | { |
3157 | int nid; | |
3158 | ||
e46b1db2 AMG |
3159 | for_each_node_state(nid, N_MEMORY) { |
3160 | pg_data_t *pgdat = NODE_DATA(nid); | |
3161 | const struct cpumask *mask; | |
698b1b30 | 3162 | |
e46b1db2 | 3163 | mask = cpumask_of_node(pgdat->node_id); |
698b1b30 | 3164 | |
e46b1db2 AMG |
3165 | if (cpumask_any_and(cpu_online_mask, mask) < nr_cpu_ids) |
3166 | /* One of our CPUs online: restore mask */ | |
3109de30 ML |
3167 | if (pgdat->kcompactd) |
3168 | set_cpus_allowed_ptr(pgdat->kcompactd, mask); | |
698b1b30 | 3169 | } |
e46b1db2 | 3170 | return 0; |
698b1b30 VB |
3171 | } |
3172 | ||
48fe8ab8 MC |
3173 | static int proc_dointvec_minmax_warn_RT_change(struct ctl_table *table, |
3174 | int write, void *buffer, size_t *lenp, loff_t *ppos) | |
3175 | { | |
3176 | int ret, old; | |
3177 | ||
3178 | if (!IS_ENABLED(CONFIG_PREEMPT_RT) || !write) | |
3179 | return proc_dointvec_minmax(table, write, buffer, lenp, ppos); | |
3180 | ||
3181 | old = *(int *)table->data; | |
3182 | ret = proc_dointvec_minmax(table, write, buffer, lenp, ppos); | |
3183 | if (ret) | |
3184 | return ret; | |
3185 | if (old != *(int *)table->data) | |
3186 | pr_warn_once("sysctl attribute %s changed by %s[%d]\n", | |
3187 | table->procname, current->comm, | |
3188 | task_pid_nr(current)); | |
3189 | return ret; | |
3190 | } | |
3191 | ||
48fe8ab8 MC |
3192 | static struct ctl_table vm_compaction[] = { |
3193 | { | |
3194 | .procname = "compact_memory", | |
8b9167cd | 3195 | .data = &sysctl_compact_memory, |
48fe8ab8 MC |
3196 | .maxlen = sizeof(int), |
3197 | .mode = 0200, | |
3198 | .proc_handler = sysctl_compaction_handler, | |
3199 | }, | |
3200 | { | |
3201 | .procname = "compaction_proactiveness", | |
3202 | .data = &sysctl_compaction_proactiveness, | |
3203 | .maxlen = sizeof(sysctl_compaction_proactiveness), | |
3204 | .mode = 0644, | |
3205 | .proc_handler = compaction_proactiveness_sysctl_handler, | |
3206 | .extra1 = SYSCTL_ZERO, | |
3207 | .extra2 = SYSCTL_ONE_HUNDRED, | |
3208 | }, | |
3209 | { | |
3210 | .procname = "extfrag_threshold", | |
3211 | .data = &sysctl_extfrag_threshold, | |
3212 | .maxlen = sizeof(int), | |
3213 | .mode = 0644, | |
3214 | .proc_handler = proc_dointvec_minmax, | |
3215 | .extra1 = SYSCTL_ZERO, | |
3216 | .extra2 = SYSCTL_ONE_THOUSAND, | |
3217 | }, | |
3218 | { | |
3219 | .procname = "compact_unevictable_allowed", | |
3220 | .data = &sysctl_compact_unevictable_allowed, | |
3221 | .maxlen = sizeof(int), | |
3222 | .mode = 0644, | |
3223 | .proc_handler = proc_dointvec_minmax_warn_RT_change, | |
3224 | .extra1 = SYSCTL_ZERO, | |
3225 | .extra2 = SYSCTL_ONE, | |
3226 | }, | |
3227 | { } | |
3228 | }; | |
48fe8ab8 | 3229 | |
698b1b30 VB |
3230 | static int __init kcompactd_init(void) |
3231 | { | |
3232 | int nid; | |
e46b1db2 AMG |
3233 | int ret; |
3234 | ||
3235 | ret = cpuhp_setup_state_nocalls(CPUHP_AP_ONLINE_DYN, | |
3236 | "mm/compaction:online", | |
3237 | kcompactd_cpu_online, NULL); | |
3238 | if (ret < 0) { | |
3239 | pr_err("kcompactd: failed to register hotplug callbacks.\n"); | |
3240 | return ret; | |
3241 | } | |
698b1b30 VB |
3242 | |
3243 | for_each_node_state(nid, N_MEMORY) | |
3244 | kcompactd_run(nid); | |
48fe8ab8 | 3245 | register_sysctl_init("vm", vm_compaction); |
698b1b30 VB |
3246 | return 0; |
3247 | } | |
3248 | subsys_initcall(kcompactd_init) | |
3249 | ||
ff9543fd | 3250 | #endif /* CONFIG_COMPACTION */ |