blob: 1de5a1151ee7ebc27bafb183be914b3ff4b4519e [file] [log] [blame]
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _LINUX_COMPACTION_H
3#define _LINUX_COMPACTION_H
4
5/*
6 * Determines how hard direct compaction should try to succeed.
7 * Lower value means higher priority, analogically to reclaim priority.
8 */
9enum compact_priority {
10 COMPACT_PRIO_SYNC_FULL,
11 MIN_COMPACT_PRIORITY = COMPACT_PRIO_SYNC_FULL,
12 COMPACT_PRIO_SYNC_LIGHT,
13 MIN_COMPACT_COSTLY_PRIORITY = COMPACT_PRIO_SYNC_LIGHT,
14 DEF_COMPACT_PRIORITY = COMPACT_PRIO_SYNC_LIGHT,
15 COMPACT_PRIO_ASYNC,
16 INIT_COMPACT_PRIORITY = COMPACT_PRIO_ASYNC
17};
18
19/* Return values for compact_zone() and try_to_compact_pages() */
20/* When adding new states, please adjust include/trace/events/compaction.h */
21enum compact_result {
22 /* For more detailed tracepoint output - internal to compaction */
23 COMPACT_NOT_SUITABLE_ZONE,
24 /*
25 * compaction didn't start as it was not possible or direct reclaim
26 * was more suitable
27 */
28 COMPACT_SKIPPED,
29 /* compaction didn't start as it was deferred due to past failures */
30 COMPACT_DEFERRED,
31
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000032 /* For more detailed tracepoint output - internal to compaction */
33 COMPACT_NO_SUITABLE_PAGE,
34 /* compaction should continue to another pageblock */
35 COMPACT_CONTINUE,
36
37 /*
38 * The full zone was compacted scanned but wasn't successfull to compact
39 * suitable pages.
40 */
41 COMPACT_COMPLETE,
42 /*
43 * direct compaction has scanned part of the zone but wasn't successfull
44 * to compact suitable pages.
45 */
46 COMPACT_PARTIAL_SKIPPED,
47
48 /* compaction terminated prematurely due to lock contentions */
49 COMPACT_CONTENDED,
50
51 /*
52 * direct compaction terminated after concluding that the allocation
53 * should now succeed
54 */
55 COMPACT_SUCCESS,
56};
57
58struct alloc_context; /* in mm/internal.h */
59
60/*
61 * Number of free order-0 pages that should be available above given watermark
62 * to make sure compaction has reasonable chance of not running out of free
63 * pages that it needs to isolate as migration target during its work.
64 */
65static inline unsigned long compact_gap(unsigned int order)
66{
67 /*
68 * Although all the isolations for migration are temporary, compaction
69 * free scanner may have up to 1 << order pages on its list and then
70 * try to split an (order - 1) free page. At that point, a gap of
71 * 1 << order might not be enough, so it's safer to require twice that
72 * amount. Note that the number of pages on the list is also
73 * effectively limited by COMPACT_CLUSTER_MAX, as that's the maximum
74 * that the migrate scanner can have isolated on migrate list, and free
75 * scanner is only invoked when the number of isolated free pages is
76 * lower than that. But it's not worth to complicate the formula here
77 * as a bigger gap for higher orders than strictly necessary can also
78 * improve chances of compaction success.
79 */
80 return 2UL << order;
81}
82
83#ifdef CONFIG_COMPACTION
84extern int sysctl_compact_memory;
Olivier Deprez157378f2022-04-04 15:47:50 +020085extern unsigned int sysctl_compaction_proactiveness;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000086extern int sysctl_compaction_handler(struct ctl_table *table, int write,
Olivier Deprez157378f2022-04-04 15:47:50 +020087 void *buffer, size_t *length, loff_t *ppos);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000088extern int sysctl_extfrag_threshold;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000089extern int sysctl_compact_unevictable_allowed;
90
Olivier Deprez157378f2022-04-04 15:47:50 +020091extern unsigned int extfrag_for_order(struct zone *zone, unsigned int order);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000092extern int fragmentation_index(struct zone *zone, unsigned int order);
93extern enum compact_result try_to_compact_pages(gfp_t gfp_mask,
94 unsigned int order, unsigned int alloc_flags,
David Brazdil0f672f62019-12-10 10:32:29 +000095 const struct alloc_context *ac, enum compact_priority prio,
96 struct page **page);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000097extern void reset_isolation_suitable(pg_data_t *pgdat);
98extern enum compact_result compaction_suitable(struct zone *zone, int order,
Olivier Deprez157378f2022-04-04 15:47:50 +020099 unsigned int alloc_flags, int highest_zoneidx);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000100
101extern void defer_compaction(struct zone *zone, int order);
102extern bool compaction_deferred(struct zone *zone, int order);
103extern void compaction_defer_reset(struct zone *zone, int order,
104 bool alloc_success);
105extern bool compaction_restarting(struct zone *zone, int order);
106
107/* Compaction has made some progress and retrying makes sense */
108static inline bool compaction_made_progress(enum compact_result result)
109{
110 /*
111 * Even though this might sound confusing this in fact tells us
112 * that the compaction successfully isolated and migrated some
113 * pageblocks.
114 */
115 if (result == COMPACT_SUCCESS)
116 return true;
117
118 return false;
119}
120
121/* Compaction has failed and it doesn't make much sense to keep retrying. */
122static inline bool compaction_failed(enum compact_result result)
123{
124 /* All zones were scanned completely and still not result. */
125 if (result == COMPACT_COMPLETE)
126 return true;
127
128 return false;
129}
130
David Brazdil0f672f62019-12-10 10:32:29 +0000131/* Compaction needs reclaim to be performed first, so it can continue. */
132static inline bool compaction_needs_reclaim(enum compact_result result)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000133{
134 /*
135 * Compaction backed off due to watermark checks for order-0
136 * so the regular reclaim has to try harder and reclaim something.
137 */
138 if (result == COMPACT_SKIPPED)
139 return true;
140
David Brazdil0f672f62019-12-10 10:32:29 +0000141 return false;
142}
143
144/*
145 * Compaction has backed off for some reason after doing some work or none
146 * at all. It might be throttling or lock contention. Retrying might be still
147 * worthwhile, but with a higher priority if allowed.
148 */
149static inline bool compaction_withdrawn(enum compact_result result)
150{
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000151 /*
152 * If compaction is deferred for high-order allocations, it is
153 * because sync compaction recently failed. If this is the case
154 * and the caller requested a THP allocation, we do not want
155 * to heavily disrupt the system, so we fail the allocation
156 * instead of entering direct reclaim.
157 */
158 if (result == COMPACT_DEFERRED)
159 return true;
160
161 /*
162 * If compaction in async mode encounters contention or blocks higher
163 * priority task we back off early rather than cause stalls.
164 */
165 if (result == COMPACT_CONTENDED)
166 return true;
167
168 /*
169 * Page scanners have met but we haven't scanned full zones so this
170 * is a back off in fact.
171 */
172 if (result == COMPACT_PARTIAL_SKIPPED)
173 return true;
174
175 return false;
176}
177
178
179bool compaction_zonelist_suitable(struct alloc_context *ac, int order,
180 int alloc_flags);
181
182extern int kcompactd_run(int nid);
183extern void kcompactd_stop(int nid);
Olivier Deprez157378f2022-04-04 15:47:50 +0200184extern void wakeup_kcompactd(pg_data_t *pgdat, int order, int highest_zoneidx);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000185
186#else
187static inline void reset_isolation_suitable(pg_data_t *pgdat)
188{
189}
190
191static inline enum compact_result compaction_suitable(struct zone *zone, int order,
Olivier Deprez157378f2022-04-04 15:47:50 +0200192 int alloc_flags, int highest_zoneidx)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000193{
194 return COMPACT_SKIPPED;
195}
196
197static inline void defer_compaction(struct zone *zone, int order)
198{
199}
200
201static inline bool compaction_deferred(struct zone *zone, int order)
202{
203 return true;
204}
205
206static inline bool compaction_made_progress(enum compact_result result)
207{
208 return false;
209}
210
211static inline bool compaction_failed(enum compact_result result)
212{
213 return false;
214}
215
David Brazdil0f672f62019-12-10 10:32:29 +0000216static inline bool compaction_needs_reclaim(enum compact_result result)
217{
218 return false;
219}
220
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000221static inline bool compaction_withdrawn(enum compact_result result)
222{
223 return true;
224}
225
226static inline int kcompactd_run(int nid)
227{
228 return 0;
229}
230static inline void kcompactd_stop(int nid)
231{
232}
233
Olivier Deprez157378f2022-04-04 15:47:50 +0200234static inline void wakeup_kcompactd(pg_data_t *pgdat,
235 int order, int highest_zoneidx)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000236{
237}
238
239#endif /* CONFIG_COMPACTION */
240
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000241struct node;
David Brazdil0f672f62019-12-10 10:32:29 +0000242#if defined(CONFIG_COMPACTION) && defined(CONFIG_SYSFS) && defined(CONFIG_NUMA)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000243extern int compaction_register_node(struct node *node);
244extern void compaction_unregister_node(struct node *node);
245
246#else
247
248static inline int compaction_register_node(struct node *node)
249{
250 return 0;
251}
252
253static inline void compaction_unregister_node(struct node *node)
254{
255}
256#endif /* CONFIG_COMPACTION && CONFIG_SYSFS && CONFIG_NUMA */
257
258#endif /* _LINUX_COMPACTION_H */