blob: 25a521d299c1c40a379ec8318905c2d236728ed8 [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;
Nitin Guptad34c0a72020-08-11 18:31:07 -070088extern unsigned int sysctl_compaction_proactiveness;
Mel Gorman76ab0f52010-05-24 14:32:28 -070089extern int sysctl_compaction_handler(struct ctl_table *table, int write,
Christoph Hellwig32927392020-04-24 08:43:38 +020090 void *buffer, size_t *length, loff_t *ppos);
Mel Gorman5e771902010-05-24 14:32:31 -070091extern int sysctl_extfrag_threshold;
Eric B Munson5bbe3542015-04-15 16:13:20 -070092extern int sysctl_compact_unevictable_allowed;
Mel Gorman56de7262010-05-24 14:32:30 -070093
Nitin Guptad34c0a72020-08-11 18:31:07 -070094extern unsigned int extfrag_for_order(struct zone *zone, unsigned int order);
Mel Gorman56de7262010-05-24 14:32:30 -070095extern int fragmentation_index(struct zone *zone, unsigned int order);
Michal Hockoea7ab982016-05-20 16:56:38 -070096extern enum compact_result try_to_compact_pages(gfp_t gfp_mask,
Vlastimil Babkac3486f52016-07-28 15:49:30 -070097 unsigned int order, unsigned int alloc_flags,
Mel Gorman5e1f0f02019-03-05 15:45:41 -080098 const struct alloc_context *ac, enum compact_priority prio,
99 struct page **page);
Mel Gorman62997022012-10-08 16:32:47 -0700100extern void reset_isolation_suitable(pg_data_t *pgdat);
Michal Hockoea7ab982016-05-20 16:56:38 -0700101extern enum compact_result compaction_suitable(struct zone *zone, int order,
Joonsoo Kim97a225e2020-06-03 15:59:01 -0700102 unsigned int alloc_flags, int highest_zoneidx);
Mel Gorman4f92e252010-05-24 14:32:32 -0700103
Joonsoo Kim24e27162015-02-11 15:27:09 -0800104extern void defer_compaction(struct zone *zone, int order);
105extern bool compaction_deferred(struct zone *zone, int order);
106extern void compaction_defer_reset(struct zone *zone, int order,
107 bool alloc_success);
108extern bool compaction_restarting(struct zone *zone, int order);
Mel Gorman62997022012-10-08 16:32:47 -0700109
Michal Hockocab18022016-05-20 16:56:56 -0700110/* Compaction has made some progress and retrying makes sense */
111static inline bool compaction_made_progress(enum compact_result result)
112{
113 /*
114 * Even though this might sound confusing this in fact tells us
115 * that the compaction successfully isolated and migrated some
116 * pageblocks.
117 */
Vlastimil Babkacf378312016-10-07 16:57:41 -0700118 if (result == COMPACT_SUCCESS)
Michal Hockocab18022016-05-20 16:56:56 -0700119 return true;
120
121 return false;
122}
123
124/* Compaction has failed and it doesn't make much sense to keep retrying. */
125static inline bool compaction_failed(enum compact_result result)
126{
127 /* All zones were scanned completely and still not result. */
128 if (result == COMPACT_COMPLETE)
129 return true;
130
131 return false;
132}
133
Vlastimil Babka494330852019-09-23 15:37:32 -0700134/* Compaction needs reclaim to be performed first, so it can continue. */
135static inline bool compaction_needs_reclaim(enum compact_result result)
Michal Hockocab18022016-05-20 16:56:56 -0700136{
137 /*
138 * Compaction backed off due to watermark checks for order-0
139 * so the regular reclaim has to try harder and reclaim something.
140 */
141 if (result == COMPACT_SKIPPED)
142 return true;
143
Vlastimil Babka494330852019-09-23 15:37:32 -0700144 return false;
145}
146
147/*
148 * Compaction has backed off for some reason after doing some work or none
149 * at all. It might be throttling or lock contention. Retrying might be still
150 * worthwhile, but with a higher priority if allowed.
151 */
152static inline bool compaction_withdrawn(enum compact_result result)
153{
Michal Hockocab18022016-05-20 16:56:56 -0700154 /*
155 * If compaction is deferred for high-order allocations, it is
156 * because sync compaction recently failed. If this is the case
157 * and the caller requested a THP allocation, we do not want
158 * to heavily disrupt the system, so we fail the allocation
159 * instead of entering direct reclaim.
160 */
161 if (result == COMPACT_DEFERRED)
162 return true;
163
164 /*
165 * If compaction in async mode encounters contention or blocks higher
166 * priority task we back off early rather than cause stalls.
167 */
168 if (result == COMPACT_CONTENDED)
169 return true;
170
171 /*
172 * Page scanners have met but we haven't scanned full zones so this
173 * is a back off in fact.
174 */
175 if (result == COMPACT_PARTIAL_SKIPPED)
176 return true;
177
178 return false;
179}
180
Michal Hocko86a294a2016-05-20 16:57:12 -0700181
182bool compaction_zonelist_suitable(struct alloc_context *ac, int order,
183 int alloc_flags);
184
Vlastimil Babka698b1b32016-03-17 14:18:08 -0700185extern int kcompactd_run(int nid);
186extern void kcompactd_stop(int nid);
Joonsoo Kim97a225e2020-06-03 15:59:01 -0700187extern void wakeup_kcompactd(pg_data_t *pgdat, int order, int highest_zoneidx);
Vlastimil Babka698b1b32016-03-17 14:18:08 -0700188
Mel Gorman56de7262010-05-24 14:32:30 -0700189#else
Mel Gorman62997022012-10-08 16:32:47 -0700190static inline void reset_isolation_suitable(pg_data_t *pgdat)
191{
192}
193
Michal Hockoea7ab982016-05-20 16:56:38 -0700194static inline enum compact_result compaction_suitable(struct zone *zone, int order,
Joonsoo Kim97a225e2020-06-03 15:59:01 -0700195 int alloc_flags, int highest_zoneidx)
Mel Gorman3e7d3442011-01-13 15:45:56 -0800196{
197 return COMPACT_SKIPPED;
198}
199
Rik van Rielaff62242012-03-21 16:33:52 -0700200static inline void defer_compaction(struct zone *zone, int order)
Mel Gorman4f92e252010-05-24 14:32:32 -0700201{
202}
203
Rik van Rielaff62242012-03-21 16:33:52 -0700204static inline bool compaction_deferred(struct zone *zone, int order)
Mel Gorman4f92e252010-05-24 14:32:32 -0700205{
Gavin Shanc59e2612012-07-31 16:42:49 -0700206 return true;
Mel Gorman4f92e252010-05-24 14:32:32 -0700207}
208
Michal Hockocab18022016-05-20 16:56:56 -0700209static inline bool compaction_made_progress(enum compact_result result)
210{
211 return false;
212}
213
214static inline bool compaction_failed(enum compact_result result)
215{
216 return false;
217}
218
Vlastimil Babka494330852019-09-23 15:37:32 -0700219static inline bool compaction_needs_reclaim(enum compact_result result)
220{
221 return false;
222}
223
Michal Hockocab18022016-05-20 16:56:56 -0700224static inline bool compaction_withdrawn(enum compact_result result)
225{
226 return true;
227}
228
Vlastimil Babka698b1b32016-03-17 14:18:08 -0700229static inline int kcompactd_run(int nid)
230{
231 return 0;
232}
233static inline void kcompactd_stop(int nid)
234{
235}
236
Joonsoo Kim97a225e2020-06-03 15:59:01 -0700237static inline void wakeup_kcompactd(pg_data_t *pgdat,
238 int order, int highest_zoneidx)
Vlastimil Babka698b1b32016-03-17 14:18:08 -0700239{
240}
241
Mel Gorman76ab0f52010-05-24 14:32:28 -0700242#endif /* CONFIG_COMPACTION */
243
Minchan Kimbda807d2016-07-26 15:23:05 -0700244struct node;
Yu Zhaoace451e2019-03-05 15:48:56 -0800245#if defined(CONFIG_COMPACTION) && defined(CONFIG_SYSFS) && defined(CONFIG_NUMA)
Mel Gormaned4a6d72010-05-24 14:32:29 -0700246extern int compaction_register_node(struct node *node);
247extern void compaction_unregister_node(struct node *node);
248
249#else
250
251static inline int compaction_register_node(struct node *node)
252{
253 return 0;
254}
255
256static inline void compaction_unregister_node(struct node *node)
257{
258}
259#endif /* CONFIG_COMPACTION && CONFIG_SYSFS && CONFIG_NUMA */
260
Mel Gorman748446b2010-05-24 14:32:27 -0700261#endif /* _LINUX_COMPACTION_H */