blob: 3ed2f22b588a02c5bc29c88ea69316b598072187 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001/* SPDX-License-Identifier: GPL-2.0 */
Mel Gorman748446b2010-05-24 14:32:27 -07002#ifndef _LINUX_COMPACTION_H
3#define _LINUX_COMPACTION_H
4
Vlastimil Babkaa5508cd2016-07-28 15:49:28 -07005/*
6 * Determines how hard direct compaction should try to succeed.
7 * Lower value means higher priority, analogically to reclaim priority.
8 */
9enum compact_priority {
Vlastimil Babkaa8e025e2016-10-07 16:57:47 -070010 COMPACT_PRIO_SYNC_FULL,
11 MIN_COMPACT_PRIORITY = COMPACT_PRIO_SYNC_FULL,
Vlastimil Babkaa5508cd2016-07-28 15:49:28 -070012 COMPACT_PRIO_SYNC_LIGHT,
Vlastimil Babkac2033b02016-10-07 17:00:34 -070013 MIN_COMPACT_COSTLY_PRIORITY = COMPACT_PRIO_SYNC_LIGHT,
Vlastimil Babkaa5508cd2016-07-28 15:49:28 -070014 DEF_COMPACT_PRIORITY = COMPACT_PRIO_SYNC_LIGHT,
15 COMPACT_PRIO_ASYNC,
16 INIT_COMPACT_PRIORITY = COMPACT_PRIO_ASYNC
17};
18
Mel Gorman56de7262010-05-24 14:32:30 -070019/* Return values for compact_zone() and try_to_compact_pages() */
Vlastimil Babkafa6c7b42015-11-05 18:47:56 -080020/* When adding new states, please adjust include/trace/events/compaction.h */
Michal Hockoea7ab982016-05-20 16:56:38 -070021enum compact_result {
Michal Hocko4f9a3582016-05-20 16:56:50 -070022 /* For more detailed tracepoint output - internal to compaction */
23 COMPACT_NOT_SUITABLE_ZONE,
Michal Hockoea7ab982016-05-20 16:56:38 -070024 /*
25 * compaction didn't start as it was not possible or direct reclaim
26 * was more suitable
27 */
28 COMPACT_SKIPPED,
Michal Hocko1d4746d2016-05-20 16:56:44 -070029 /* compaction didn't start as it was deferred due to past failures */
30 COMPACT_DEFERRED,
Michal Hocko4f9a3582016-05-20 16:56:50 -070031
Michal Hocko1d4746d2016-05-20 16:56:44 -070032 /* compaction not active last round */
33 COMPACT_INACTIVE = COMPACT_DEFERRED,
34
Michal Hocko4f9a3582016-05-20 16:56:50 -070035 /* For more detailed tracepoint output - internal to compaction */
36 COMPACT_NO_SUITABLE_PAGE,
Michal Hockoea7ab982016-05-20 16:56:38 -070037 /* compaction should continue to another pageblock */
38 COMPACT_CONTINUE,
Michal Hocko4f9a3582016-05-20 16:56:50 -070039
Michal Hockoc8f7de02016-05-20 16:56:47 -070040 /*
41 * The full zone was compacted scanned but wasn't successfull to compact
42 * suitable pages.
43 */
Michal Hockoea7ab982016-05-20 16:56:38 -070044 COMPACT_COMPLETE,
Michal Hocko4f9a3582016-05-20 16:56:50 -070045 /*
46 * direct compaction has scanned part of the zone but wasn't successfull
47 * to compact suitable pages.
48 */
49 COMPACT_PARTIAL_SKIPPED,
50
51 /* compaction terminated prematurely due to lock contentions */
Michal Hockoea7ab982016-05-20 16:56:38 -070052 COMPACT_CONTENDED,
Michal Hocko4f9a3582016-05-20 16:56:50 -070053
54 /*
Vlastimil Babkacf378312016-10-07 16:57:41 -070055 * direct compaction terminated after concluding that the allocation
56 * should now succeed
Michal Hocko4f9a3582016-05-20 16:56:50 -070057 */
Vlastimil Babkacf378312016-10-07 16:57:41 -070058 COMPACT_SUCCESS,
Michal Hockoea7ab982016-05-20 16:56:38 -070059};
Mel Gorman748446b2010-05-24 14:32:27 -070060
Vlastimil Babka1a6d53a2015-02-11 15:25:44 -080061struct alloc_context; /* in mm/internal.h */
62
Vlastimil Babka9861a622016-10-07 16:57:53 -070063/*
64 * Number of free order-0 pages that should be available above given watermark
65 * to make sure compaction has reasonable chance of not running out of free
66 * pages that it needs to isolate as migration target during its work.
67 */
68static inline unsigned long compact_gap(unsigned int order)
69{
70 /*
71 * Although all the isolations for migration are temporary, compaction
72 * free scanner may have up to 1 << order pages on its list and then
73 * try to split an (order - 1) free page. At that point, a gap of
74 * 1 << order might not be enough, so it's safer to require twice that
75 * amount. Note that the number of pages on the list is also
76 * effectively limited by COMPACT_CLUSTER_MAX, as that's the maximum
77 * that the migrate scanner can have isolated on migrate list, and free
78 * scanner is only invoked when the number of isolated free pages is
79 * lower than that. But it's not worth to complicate the formula here
80 * as a bigger gap for higher orders than strictly necessary can also
81 * improve chances of compaction success.
82 */
83 return 2UL << order;
84}
85
Mel Gorman76ab0f52010-05-24 14:32:28 -070086#ifdef CONFIG_COMPACTION
87extern int sysctl_compact_memory;
88extern int sysctl_compaction_handler(struct ctl_table *table, int write,
89 void __user *buffer, size_t *length, loff_t *ppos);
Mel Gorman5e771902010-05-24 14:32:31 -070090extern int sysctl_extfrag_threshold;
Eric B Munson5bbe3542015-04-15 16:13:20 -070091extern int sysctl_compact_unevictable_allowed;
Mel Gorman56de7262010-05-24 14:32:30 -070092
93extern int fragmentation_index(struct zone *zone, unsigned int order);
Michal Hockoea7ab982016-05-20 16:56:38 -070094extern enum compact_result try_to_compact_pages(gfp_t gfp_mask,
Vlastimil Babkac3486f52016-07-28 15:49:30 -070095 unsigned int order, unsigned int alloc_flags,
Mel Gorman5e1f0f02019-03-05 15:45:41 -080096 const struct alloc_context *ac, enum compact_priority prio,
97 struct page **page);
Mel Gorman62997022012-10-08 16:32:47 -070098extern void reset_isolation_suitable(pg_data_t *pgdat);
Michal Hockoea7ab982016-05-20 16:56:38 -070099extern enum compact_result compaction_suitable(struct zone *zone, int order,
Joonsoo Kim97a225e2020-06-03 15:59:01 -0700100 unsigned int alloc_flags, int highest_zoneidx);
Mel Gorman4f92e252010-05-24 14:32:32 -0700101
Joonsoo Kim24e27162015-02-11 15:27:09 -0800102extern void defer_compaction(struct zone *zone, int order);
103extern bool compaction_deferred(struct zone *zone, int order);
104extern void compaction_defer_reset(struct zone *zone, int order,
105 bool alloc_success);
106extern bool compaction_restarting(struct zone *zone, int order);
Mel Gorman62997022012-10-08 16:32:47 -0700107
Michal Hockocab18022016-05-20 16:56:56 -0700108/* Compaction has made some progress and retrying makes sense */
109static inline bool compaction_made_progress(enum compact_result result)
110{
111 /*
112 * Even though this might sound confusing this in fact tells us
113 * that the compaction successfully isolated and migrated some
114 * pageblocks.
115 */
Vlastimil Babkacf378312016-10-07 16:57:41 -0700116 if (result == COMPACT_SUCCESS)
Michal Hockocab18022016-05-20 16:56:56 -0700117 return true;
118
119 return false;
120}
121
122/* Compaction has failed and it doesn't make much sense to keep retrying. */
123static inline bool compaction_failed(enum compact_result result)
124{
125 /* All zones were scanned completely and still not result. */
126 if (result == COMPACT_COMPLETE)
127 return true;
128
129 return false;
130}
131
Vlastimil Babka494330852019-09-23 15:37:32 -0700132/* Compaction needs reclaim to be performed first, so it can continue. */
133static inline bool compaction_needs_reclaim(enum compact_result result)
Michal Hockocab18022016-05-20 16:56:56 -0700134{
135 /*
136 * Compaction backed off due to watermark checks for order-0
137 * so the regular reclaim has to try harder and reclaim something.
138 */
139 if (result == COMPACT_SKIPPED)
140 return true;
141
Vlastimil Babka494330852019-09-23 15:37:32 -0700142 return false;
143}
144
145/*
146 * Compaction has backed off for some reason after doing some work or none
147 * at all. It might be throttling or lock contention. Retrying might be still
148 * worthwhile, but with a higher priority if allowed.
149 */
150static inline bool compaction_withdrawn(enum compact_result result)
151{
Michal Hockocab18022016-05-20 16:56:56 -0700152 /*
153 * If compaction is deferred for high-order allocations, it is
154 * because sync compaction recently failed. If this is the case
155 * and the caller requested a THP allocation, we do not want
156 * to heavily disrupt the system, so we fail the allocation
157 * instead of entering direct reclaim.
158 */
159 if (result == COMPACT_DEFERRED)
160 return true;
161
162 /*
163 * If compaction in async mode encounters contention or blocks higher
164 * priority task we back off early rather than cause stalls.
165 */
166 if (result == COMPACT_CONTENDED)
167 return true;
168
169 /*
170 * Page scanners have met but we haven't scanned full zones so this
171 * is a back off in fact.
172 */
173 if (result == COMPACT_PARTIAL_SKIPPED)
174 return true;
175
176 return false;
177}
178
Michal Hocko86a294a2016-05-20 16:57:12 -0700179
180bool compaction_zonelist_suitable(struct alloc_context *ac, int order,
181 int alloc_flags);
182
Vlastimil Babka698b1b32016-03-17 14:18:08 -0700183extern int kcompactd_run(int nid);
184extern void kcompactd_stop(int nid);
Joonsoo Kim97a225e2020-06-03 15:59:01 -0700185extern void wakeup_kcompactd(pg_data_t *pgdat, int order, int highest_zoneidx);
Vlastimil Babka698b1b32016-03-17 14:18:08 -0700186
Mel Gorman56de7262010-05-24 14:32:30 -0700187#else
Mel Gorman62997022012-10-08 16:32:47 -0700188static inline void reset_isolation_suitable(pg_data_t *pgdat)
189{
190}
191
Michal Hockoea7ab982016-05-20 16:56:38 -0700192static inline enum compact_result compaction_suitable(struct zone *zone, int order,
Joonsoo Kim97a225e2020-06-03 15:59:01 -0700193 int alloc_flags, int highest_zoneidx)
Mel Gorman3e7d3442011-01-13 15:45:56 -0800194{
195 return COMPACT_SKIPPED;
196}
197
Rik van Rielaff62242012-03-21 16:33:52 -0700198static inline void defer_compaction(struct zone *zone, int order)
Mel Gorman4f92e252010-05-24 14:32:32 -0700199{
200}
201
Rik van Rielaff62242012-03-21 16:33:52 -0700202static inline bool compaction_deferred(struct zone *zone, int order)
Mel Gorman4f92e252010-05-24 14:32:32 -0700203{
Gavin Shanc59e2612012-07-31 16:42:49 -0700204 return true;
Mel Gorman4f92e252010-05-24 14:32:32 -0700205}
206
Michal Hockocab18022016-05-20 16:56:56 -0700207static inline bool compaction_made_progress(enum compact_result result)
208{
209 return false;
210}
211
212static inline bool compaction_failed(enum compact_result result)
213{
214 return false;
215}
216
Vlastimil Babka494330852019-09-23 15:37:32 -0700217static inline bool compaction_needs_reclaim(enum compact_result result)
218{
219 return false;
220}
221
Michal Hockocab18022016-05-20 16:56:56 -0700222static inline bool compaction_withdrawn(enum compact_result result)
223{
224 return true;
225}
226
Vlastimil Babka698b1b32016-03-17 14:18:08 -0700227static inline int kcompactd_run(int nid)
228{
229 return 0;
230}
231static inline void kcompactd_stop(int nid)
232{
233}
234
Joonsoo Kim97a225e2020-06-03 15:59:01 -0700235static inline void wakeup_kcompactd(pg_data_t *pgdat,
236 int order, int highest_zoneidx)
Vlastimil Babka698b1b32016-03-17 14:18:08 -0700237{
238}
239
Mel Gorman76ab0f52010-05-24 14:32:28 -0700240#endif /* CONFIG_COMPACTION */
241
Minchan Kimbda807d2016-07-26 15:23:05 -0700242struct node;
Yu Zhaoace451e2019-03-05 15:48:56 -0800243#if defined(CONFIG_COMPACTION) && defined(CONFIG_SYSFS) && defined(CONFIG_NUMA)
Mel Gormaned4a6d72010-05-24 14:32:29 -0700244extern int compaction_register_node(struct node *node);
245extern void compaction_unregister_node(struct node *node);
246
247#else
248
249static inline int compaction_register_node(struct node *node)
250{
251 return 0;
252}
253
254static inline void compaction_unregister_node(struct node *node)
255{
256}
257#endif /* CONFIG_COMPACTION && CONFIG_SYSFS && CONFIG_NUMA */
258
Mel Gorman748446b2010-05-24 14:32:27 -0700259#endif /* _LINUX_COMPACTION_H */