]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | // SPDX-License-Identifier: GPL-2.0 |
a5d76b54 KH |
2 | /* |
3 | * linux/mm/page_isolation.c | |
4 | */ | |
5 | ||
a5d76b54 KH |
6 | #include <linux/mm.h> |
7 | #include <linux/page-isolation.h> | |
8 | #include <linux/pageblock-flags.h> | |
ee6f509c | 9 | #include <linux/memory.h> |
c8721bbb | 10 | #include <linux/hugetlb.h> |
83358ece | 11 | #include <linux/page_owner.h> |
8b913238 | 12 | #include <linux/migrate.h> |
a5d76b54 KH |
13 | #include "internal.h" |
14 | ||
0f0848e5 JK |
15 | #define CREATE_TRACE_POINTS |
16 | #include <trace/events/page_isolation.h> | |
17 | ||
d381c547 | 18 | static int set_migratetype_isolate(struct page *page, int migratetype, int isol_flags) |
ee6f509c | 19 | { |
1c31cb49 DH |
20 | struct zone *zone = page_zone(page); |
21 | struct page *unmovable; | |
3f9903b9 | 22 | unsigned long flags; |
ee6f509c MK |
23 | |
24 | spin_lock_irqsave(&zone->lock, flags); | |
25 | ||
2c7452a0 MK |
26 | /* |
27 | * We assume the caller intended to SET migrate type to isolate. | |
28 | * If it is already set, then someone else must have raced and | |
51030a53 | 29 | * set it before us. |
2c7452a0 | 30 | */ |
51030a53 DH |
31 | if (is_migrate_isolate_page(page)) { |
32 | spin_unlock_irqrestore(&zone->lock, flags); | |
33 | return -EBUSY; | |
34 | } | |
2c7452a0 | 35 | |
ee6f509c MK |
36 | /* |
37 | * FIXME: Now, memory hotplug doesn't call shrink_slab() by itself. | |
38 | * We just check MOVABLE pages. | |
39 | */ | |
4a55c047 QC |
40 | unmovable = has_unmovable_pages(zone, page, migratetype, isol_flags); |
41 | if (!unmovable) { | |
2139cbe6 | 42 | unsigned long nr_pages; |
4da2ce25 | 43 | int mt = get_pageblock_migratetype(page); |
2139cbe6 | 44 | |
a458431e | 45 | set_pageblock_migratetype(page, MIGRATE_ISOLATE); |
ad53f92e | 46 | zone->nr_isolate_pageblock++; |
02aa0cdd VB |
47 | nr_pages = move_freepages_block(zone, page, MIGRATE_ISOLATE, |
48 | NULL); | |
2139cbe6 | 49 | |
4da2ce25 | 50 | __mod_zone_freepage_state(zone, -nr_pages, mt); |
1c31cb49 | 51 | spin_unlock_irqrestore(&zone->lock, flags); |
1c31cb49 | 52 | return 0; |
ee6f509c MK |
53 | } |
54 | ||
55 | spin_unlock_irqrestore(&zone->lock, flags); | |
1c31cb49 | 56 | if (isol_flags & REPORT_FAILURE) { |
48381d7e DH |
57 | /* |
58 | * printk() with zone->lock held will likely trigger a | |
59 | * lockdep splat, so defer it here. | |
60 | */ | |
61 | dump_page(unmovable, "unmovable page"); | |
3d680bdf | 62 | } |
4a55c047 | 63 | |
1c31cb49 | 64 | return -EBUSY; |
ee6f509c MK |
65 | } |
66 | ||
c5b4e1b0 | 67 | static void unset_migratetype_isolate(struct page *page, unsigned migratetype) |
ee6f509c MK |
68 | { |
69 | struct zone *zone; | |
2139cbe6 | 70 | unsigned long flags, nr_pages; |
e3a2713c | 71 | bool isolated_page = false; |
3c605096 | 72 | unsigned int order; |
76741e77 | 73 | unsigned long pfn, buddy_pfn; |
3c605096 | 74 | struct page *buddy; |
2139cbe6 | 75 | |
ee6f509c MK |
76 | zone = page_zone(page); |
77 | spin_lock_irqsave(&zone->lock, flags); | |
bbf9ce97 | 78 | if (!is_migrate_isolate_page(page)) |
ee6f509c | 79 | goto out; |
3c605096 JK |
80 | |
81 | /* | |
82 | * Because freepage with more than pageblock_order on isolated | |
83 | * pageblock is restricted to merge due to freepage counting problem, | |
84 | * it is possible that there is free buddy page. | |
85 | * move_freepages_block() doesn't care of merge so we need other | |
86 | * approach in order to merge them. Isolation and free will make | |
87 | * these pages to be merged. | |
88 | */ | |
89 | if (PageBuddy(page)) { | |
ab130f91 | 90 | order = buddy_order(page); |
2484be0f | 91 | if (order >= pageblock_order && order < MAX_ORDER - 1) { |
76741e77 VB |
92 | pfn = page_to_pfn(page); |
93 | buddy_pfn = __find_buddy_pfn(pfn, order); | |
94 | buddy = page + (buddy_pfn - pfn); | |
3c605096 | 95 | |
859a85dd | 96 | if (!is_migrate_isolate_page(buddy)) { |
3c605096 | 97 | __isolate_free_page(page, order); |
e3a2713c | 98 | isolated_page = true; |
3c605096 JK |
99 | } |
100 | } | |
101 | } | |
102 | ||
103 | /* | |
104 | * If we isolate freepage with more than pageblock_order, there | |
105 | * should be no freepage in the range, so we could avoid costly | |
106 | * pageblock scanning for freepage moving. | |
293ffa5e DH |
107 | * |
108 | * We didn't actually touch any of the isolated pages, so place them | |
109 | * to the tail of the freelist. This is an optimization for memory | |
110 | * onlining - just onlined memory won't immediately be considered for | |
111 | * allocation. | |
3c605096 JK |
112 | */ |
113 | if (!isolated_page) { | |
02aa0cdd | 114 | nr_pages = move_freepages_block(zone, page, migratetype, NULL); |
3c605096 JK |
115 | __mod_zone_freepage_state(zone, nr_pages, migratetype); |
116 | } | |
a458431e | 117 | set_pageblock_migratetype(page, migratetype); |
624f58d8 AD |
118 | if (isolated_page) |
119 | __putback_isolated_page(page, order, migratetype); | |
ad53f92e | 120 | zone->nr_isolate_pageblock--; |
ee6f509c MK |
121 | out: |
122 | spin_unlock_irqrestore(&zone->lock, flags); | |
123 | } | |
124 | ||
a5d76b54 KH |
125 | static inline struct page * |
126 | __first_valid_page(unsigned long pfn, unsigned long nr_pages) | |
127 | { | |
128 | int i; | |
2ce13640 MH |
129 | |
130 | for (i = 0; i < nr_pages; i++) { | |
131 | struct page *page; | |
132 | ||
2ce13640 MH |
133 | page = pfn_to_online_page(pfn + i); |
134 | if (!page) | |
135 | continue; | |
136 | return page; | |
137 | } | |
138 | return NULL; | |
a5d76b54 KH |
139 | } |
140 | ||
9b7ea46a QC |
141 | /** |
142 | * start_isolate_page_range() - make page-allocation-type of range of pages to | |
143 | * be MIGRATE_ISOLATE. | |
144 | * @start_pfn: The lower PFN of the range to be isolated. | |
145 | * @end_pfn: The upper PFN of the range to be isolated. | |
146 | * start_pfn/end_pfn must be aligned to pageblock_order. | |
147 | * @migratetype: Migrate type to set in error recovery. | |
148 | * @flags: The following flags are allowed (they can be combined in | |
149 | * a bit mask) | |
756d25be DH |
150 | * MEMORY_OFFLINE - isolate to offline (!allocate) memory |
151 | * e.g., skip over PageHWPoison() pages | |
aa218795 | 152 | * and PageOffline() pages. |
9b7ea46a QC |
153 | * REPORT_FAILURE - report details about the failure to |
154 | * isolate the range | |
a5d76b54 KH |
155 | * |
156 | * Making page-allocation-type to be MIGRATE_ISOLATE means free pages in | |
157 | * the range will never be allocated. Any free pages and pages freed in the | |
9b7ea46a QC |
158 | * future will not be allocated again. If specified range includes migrate types |
159 | * other than MOVABLE or CMA, this will fail with -EBUSY. For isolating all | |
160 | * pages in the range finally, the caller have to free all pages in the range. | |
161 | * test_page_isolated() can be used for test it. | |
2c7452a0 MK |
162 | * |
163 | * There is no high level synchronization mechanism that prevents two threads | |
9b7ea46a | 164 | * from trying to isolate overlapping ranges. If this happens, one thread |
2c7452a0 MK |
165 | * will notice pageblocks in the overlapping range already set to isolate. |
166 | * This happens in set_migratetype_isolate, and set_migratetype_isolate | |
9b7ea46a QC |
167 | * returns an error. We then clean up by restoring the migration type on |
168 | * pageblocks we may have modified and return -EBUSY to caller. This | |
2c7452a0 | 169 | * prevents two threads from simultaneously working on overlapping ranges. |
9b7ea46a | 170 | * |
96831826 PT |
171 | * Please note that there is no strong synchronization with the page allocator |
172 | * either. Pages might be freed while their page blocks are marked ISOLATED. | |
7612921f VB |
173 | * A call to drain_all_pages() after isolation can flush most of them. However |
174 | * in some cases pages might still end up on pcp lists and that would allow | |
96831826 | 175 | * for their allocation even when they are in fact isolated already. Depending |
ec6e8c7e VB |
176 | * on how strong of a guarantee the caller needs, zone_pcp_disable/enable() |
177 | * might be used to flush and disable pcplist before isolation and enable after | |
178 | * unisolation. | |
96831826 | 179 | * |
3fa0c7c7 | 180 | * Return: 0 on success and -EBUSY if any part of range cannot be isolated. |
a5d76b54 | 181 | */ |
0815f3d8 | 182 | int start_isolate_page_range(unsigned long start_pfn, unsigned long end_pfn, |
d381c547 | 183 | unsigned migratetype, int flags) |
a5d76b54 KH |
184 | { |
185 | unsigned long pfn; | |
186 | unsigned long undo_pfn; | |
187 | struct page *page; | |
188 | ||
fec174d6 NH |
189 | BUG_ON(!IS_ALIGNED(start_pfn, pageblock_nr_pages)); |
190 | BUG_ON(!IS_ALIGNED(end_pfn, pageblock_nr_pages)); | |
a5d76b54 KH |
191 | |
192 | for (pfn = start_pfn; | |
193 | pfn < end_pfn; | |
194 | pfn += pageblock_nr_pages) { | |
195 | page = __first_valid_page(pfn, pageblock_nr_pages); | |
9b7ea46a QC |
196 | if (page) { |
197 | if (set_migratetype_isolate(page, migratetype, flags)) { | |
198 | undo_pfn = pfn; | |
199 | goto undo; | |
200 | } | |
a5d76b54 KH |
201 | } |
202 | } | |
3fa0c7c7 | 203 | return 0; |
a5d76b54 KH |
204 | undo: |
205 | for (pfn = start_pfn; | |
dbc0e4ce | 206 | pfn < undo_pfn; |
2ce13640 MH |
207 | pfn += pageblock_nr_pages) { |
208 | struct page *page = pfn_to_online_page(pfn); | |
209 | if (!page) | |
210 | continue; | |
211 | unset_migratetype_isolate(page, migratetype); | |
212 | } | |
a5d76b54 KH |
213 | |
214 | return -EBUSY; | |
215 | } | |
216 | ||
217 | /* | |
218 | * Make isolated pages available again. | |
219 | */ | |
1fcf0a56 | 220 | void undo_isolate_page_range(unsigned long start_pfn, unsigned long end_pfn, |
0815f3d8 | 221 | unsigned migratetype) |
a5d76b54 KH |
222 | { |
223 | unsigned long pfn; | |
224 | struct page *page; | |
6f8d2b8a WX |
225 | |
226 | BUG_ON(!IS_ALIGNED(start_pfn, pageblock_nr_pages)); | |
227 | BUG_ON(!IS_ALIGNED(end_pfn, pageblock_nr_pages)); | |
228 | ||
a5d76b54 KH |
229 | for (pfn = start_pfn; |
230 | pfn < end_pfn; | |
231 | pfn += pageblock_nr_pages) { | |
232 | page = __first_valid_page(pfn, pageblock_nr_pages); | |
bbf9ce97 | 233 | if (!page || !is_migrate_isolate_page(page)) |
a5d76b54 | 234 | continue; |
0815f3d8 | 235 | unset_migratetype_isolate(page, migratetype); |
a5d76b54 | 236 | } |
a5d76b54 KH |
237 | } |
238 | /* | |
239 | * Test all pages in the range is free(means isolated) or not. | |
240 | * all pages in [start_pfn...end_pfn) must be in the same zone. | |
241 | * zone->lock must be held before call this. | |
242 | * | |
ec3b6882 | 243 | * Returns the last tested pfn. |
a5d76b54 | 244 | */ |
fea85cff | 245 | static unsigned long |
b023f468 | 246 | __test_page_isolated_in_pageblock(unsigned long pfn, unsigned long end_pfn, |
756d25be | 247 | int flags) |
a5d76b54 KH |
248 | { |
249 | struct page *page; | |
250 | ||
251 | while (pfn < end_pfn) { | |
a5d76b54 | 252 | page = pfn_to_page(pfn); |
aa016d14 | 253 | if (PageBuddy(page)) |
435b405c | 254 | /* |
aa016d14 VB |
255 | * If the page is on a free list, it has to be on |
256 | * the correct MIGRATE_ISOLATE freelist. There is no | |
257 | * simple way to verify that as VM_BUG_ON(), though. | |
435b405c | 258 | */ |
ab130f91 | 259 | pfn += 1 << buddy_order(page); |
756d25be | 260 | else if ((flags & MEMORY_OFFLINE) && PageHWPoison(page)) |
aa016d14 | 261 | /* A HWPoisoned page cannot be also PageBuddy */ |
b023f468 | 262 | pfn++; |
aa218795 DH |
263 | else if ((flags & MEMORY_OFFLINE) && PageOffline(page) && |
264 | !page_count(page)) | |
265 | /* | |
266 | * The responsible driver agreed to skip PageOffline() | |
267 | * pages when offlining memory by dropping its | |
268 | * reference in MEM_GOING_OFFLINE. | |
269 | */ | |
270 | pfn++; | |
a5d76b54 KH |
271 | else |
272 | break; | |
273 | } | |
fea85cff JK |
274 | |
275 | return pfn; | |
a5d76b54 KH |
276 | } |
277 | ||
b9eb6319 | 278 | /* Caller should ensure that requested range is in a single zone */ |
b023f468 | 279 | int test_pages_isolated(unsigned long start_pfn, unsigned long end_pfn, |
756d25be | 280 | int isol_flags) |
a5d76b54 | 281 | { |
6c1b7f68 | 282 | unsigned long pfn, flags; |
a5d76b54 | 283 | struct page *page; |
6c1b7f68 | 284 | struct zone *zone; |
1d09510b | 285 | int ret; |
a5d76b54 | 286 | |
a5d76b54 | 287 | /* |
85dbe706 TC |
288 | * Note: pageblock_nr_pages != MAX_ORDER. Then, chunks of free pages |
289 | * are not aligned to pageblock_nr_pages. | |
290 | * Then we just check migratetype first. | |
a5d76b54 KH |
291 | */ |
292 | for (pfn = start_pfn; pfn < end_pfn; pfn += pageblock_nr_pages) { | |
293 | page = __first_valid_page(pfn, pageblock_nr_pages); | |
bbf9ce97 | 294 | if (page && !is_migrate_isolate_page(page)) |
a5d76b54 KH |
295 | break; |
296 | } | |
a70dcb96 | 297 | page = __first_valid_page(start_pfn, end_pfn - start_pfn); |
1d09510b GD |
298 | if ((pfn < end_pfn) || !page) { |
299 | ret = -EBUSY; | |
300 | goto out; | |
301 | } | |
302 | ||
85dbe706 | 303 | /* Check all pages are free or marked as ISOLATED */ |
a70dcb96 | 304 | zone = page_zone(page); |
6c1b7f68 | 305 | spin_lock_irqsave(&zone->lock, flags); |
756d25be | 306 | pfn = __test_page_isolated_in_pageblock(start_pfn, end_pfn, isol_flags); |
6c1b7f68 | 307 | spin_unlock_irqrestore(&zone->lock, flags); |
fea85cff | 308 | |
1d09510b GD |
309 | ret = pfn < end_pfn ? -EBUSY : 0; |
310 | ||
311 | out: | |
0f0848e5 JK |
312 | trace_test_pages_isolated(start_pfn, end_pfn, pfn); |
313 | ||
1d09510b | 314 | return ret; |
a5d76b54 | 315 | } |