blob: 45da29de3ecca1d4db3b2fe06d0e14a16b29060e [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002/*
3 * Real-Time Scheduling Class (mapped to the SCHED_FIFO and SCHED_RR
4 * policies)
5 */
Peter Zijlstra029632f2011-10-25 10:00:11 +02006#include "sched.h"
7
Vincent Guittot371bf422018-06-28 17:45:05 +02008#include "pelt.h"
9
Clark Williamsce0dbbb2013-02-07 09:47:04 -060010int sched_rr_timeslice = RR_TIMESLICE;
Shile Zhang975e1552017-01-28 22:00:49 +080011int sysctl_sched_rr_timeslice = (MSEC_PER_SEC / HZ) * RR_TIMESLICE;
Clark Williamsce0dbbb2013-02-07 09:47:04 -060012
Peter Zijlstra029632f2011-10-25 10:00:11 +020013static int do_sched_rt_period_timer(struct rt_bandwidth *rt_b, int overrun);
14
15struct rt_bandwidth def_rt_bandwidth;
16
17static enum hrtimer_restart sched_rt_period_timer(struct hrtimer *timer)
18{
19 struct rt_bandwidth *rt_b =
20 container_of(timer, struct rt_bandwidth, rt_period_timer);
Peter Zijlstra029632f2011-10-25 10:00:11 +020021 int idle = 0;
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020022 int overrun;
Peter Zijlstra029632f2011-10-25 10:00:11 +020023
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020024 raw_spin_lock(&rt_b->rt_runtime_lock);
Peter Zijlstra029632f2011-10-25 10:00:11 +020025 for (;;) {
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020026 overrun = hrtimer_forward_now(timer, rt_b->rt_period);
Peter Zijlstra029632f2011-10-25 10:00:11 +020027 if (!overrun)
28 break;
29
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020030 raw_spin_unlock(&rt_b->rt_runtime_lock);
Peter Zijlstra029632f2011-10-25 10:00:11 +020031 idle = do_sched_rt_period_timer(rt_b, overrun);
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020032 raw_spin_lock(&rt_b->rt_runtime_lock);
Peter Zijlstra029632f2011-10-25 10:00:11 +020033 }
Peter Zijlstra4cfafd32015-05-14 12:23:11 +020034 if (idle)
35 rt_b->rt_period_active = 0;
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020036 raw_spin_unlock(&rt_b->rt_runtime_lock);
Peter Zijlstra029632f2011-10-25 10:00:11 +020037
38 return idle ? HRTIMER_NORESTART : HRTIMER_RESTART;
39}
40
41void init_rt_bandwidth(struct rt_bandwidth *rt_b, u64 period, u64 runtime)
42{
43 rt_b->rt_period = ns_to_ktime(period);
44 rt_b->rt_runtime = runtime;
45
46 raw_spin_lock_init(&rt_b->rt_runtime_lock);
47
Sebastian Andrzej Siewiord5096aa2019-07-26 20:30:52 +020048 hrtimer_init(&rt_b->rt_period_timer, CLOCK_MONOTONIC,
49 HRTIMER_MODE_REL_HARD);
Peter Zijlstra029632f2011-10-25 10:00:11 +020050 rt_b->rt_period_timer.function = sched_rt_period_timer;
51}
52
53static void start_rt_bandwidth(struct rt_bandwidth *rt_b)
54{
55 if (!rt_bandwidth_enabled() || rt_b->rt_runtime == RUNTIME_INF)
56 return;
57
Peter Zijlstra029632f2011-10-25 10:00:11 +020058 raw_spin_lock(&rt_b->rt_runtime_lock);
Peter Zijlstra4cfafd32015-05-14 12:23:11 +020059 if (!rt_b->rt_period_active) {
60 rt_b->rt_period_active = 1;
Steven Rostedtc3a990d2016-02-16 18:37:46 -050061 /*
62 * SCHED_DEADLINE updates the bandwidth, as a run away
63 * RT task with a DL task could hog a CPU. But DL does
64 * not reset the period. If a deadline task was running
65 * without an RT task running, it can cause RT tasks to
66 * throttle when they start up. Kick the timer right away
67 * to update the period.
68 */
69 hrtimer_forward_now(&rt_b->rt_period_timer, ns_to_ktime(0));
Sebastian Andrzej Siewiord5096aa2019-07-26 20:30:52 +020070 hrtimer_start_expires(&rt_b->rt_period_timer,
71 HRTIMER_MODE_ABS_PINNED_HARD);
Peter Zijlstra4cfafd32015-05-14 12:23:11 +020072 }
Peter Zijlstra029632f2011-10-25 10:00:11 +020073 raw_spin_unlock(&rt_b->rt_runtime_lock);
74}
75
Abel Vesa07c54f72015-03-03 13:50:27 +020076void init_rt_rq(struct rt_rq *rt_rq)
Peter Zijlstra029632f2011-10-25 10:00:11 +020077{
78 struct rt_prio_array *array;
79 int i;
80
81 array = &rt_rq->active;
82 for (i = 0; i < MAX_RT_PRIO; i++) {
83 INIT_LIST_HEAD(array->queue + i);
84 __clear_bit(i, array->bitmap);
85 }
86 /* delimiter for bitsearch: */
87 __set_bit(MAX_RT_PRIO, array->bitmap);
88
89#if defined CONFIG_SMP
90 rt_rq->highest_prio.curr = MAX_RT_PRIO;
91 rt_rq->highest_prio.next = MAX_RT_PRIO;
92 rt_rq->rt_nr_migratory = 0;
93 rt_rq->overloaded = 0;
94 plist_head_init(&rt_rq->pushable_tasks);
Steven Rostedtb6366f02015-03-18 14:49:46 -040095#endif /* CONFIG_SMP */
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +040096 /* We start is dequeued state, because no RT tasks are queued */
97 rt_rq->rt_queued = 0;
Peter Zijlstra029632f2011-10-25 10:00:11 +020098
99 rt_rq->rt_time = 0;
100 rt_rq->rt_throttled = 0;
101 rt_rq->rt_runtime = 0;
102 raw_spin_lock_init(&rt_rq->rt_runtime_lock);
103}
104
Gregory Haskins398a1532009-01-14 09:10:04 -0500105#ifdef CONFIG_RT_GROUP_SCHED
Peter Zijlstra029632f2011-10-25 10:00:11 +0200106static void destroy_rt_bandwidth(struct rt_bandwidth *rt_b)
107{
108 hrtimer_cancel(&rt_b->rt_period_timer);
109}
Gregory Haskins398a1532009-01-14 09:10:04 -0500110
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200111#define rt_entity_is_task(rt_se) (!(rt_se)->my_q)
112
Peter Zijlstra8f488942009-07-24 12:25:30 +0200113static inline struct task_struct *rt_task_of(struct sched_rt_entity *rt_se)
114{
115#ifdef CONFIG_SCHED_DEBUG
116 WARN_ON_ONCE(!rt_entity_is_task(rt_se));
117#endif
118 return container_of(rt_se, struct task_struct, rt);
119}
120
Gregory Haskins398a1532009-01-14 09:10:04 -0500121static inline struct rq *rq_of_rt_rq(struct rt_rq *rt_rq)
122{
123 return rt_rq->rq;
124}
125
126static inline struct rt_rq *rt_rq_of_se(struct sched_rt_entity *rt_se)
127{
128 return rt_se->rt_rq;
129}
130
Kirill Tkhai653d07a2014-03-15 02:14:55 +0400131static inline struct rq *rq_of_rt_se(struct sched_rt_entity *rt_se)
132{
133 struct rt_rq *rt_rq = rt_se->rt_rq;
134
135 return rt_rq->rq;
136}
137
Peter Zijlstra029632f2011-10-25 10:00:11 +0200138void free_rt_sched_group(struct task_group *tg)
139{
140 int i;
141
142 if (tg->rt_se)
143 destroy_rt_bandwidth(&tg->rt_bandwidth);
144
145 for_each_possible_cpu(i) {
146 if (tg->rt_rq)
147 kfree(tg->rt_rq[i]);
148 if (tg->rt_se)
149 kfree(tg->rt_se[i]);
150 }
151
152 kfree(tg->rt_rq);
153 kfree(tg->rt_se);
154}
155
156void init_tg_rt_entry(struct task_group *tg, struct rt_rq *rt_rq,
157 struct sched_rt_entity *rt_se, int cpu,
158 struct sched_rt_entity *parent)
159{
160 struct rq *rq = cpu_rq(cpu);
161
162 rt_rq->highest_prio.curr = MAX_RT_PRIO;
163 rt_rq->rt_nr_boosted = 0;
164 rt_rq->rq = rq;
165 rt_rq->tg = tg;
166
167 tg->rt_rq[cpu] = rt_rq;
168 tg->rt_se[cpu] = rt_se;
169
170 if (!rt_se)
171 return;
172
173 if (!parent)
174 rt_se->rt_rq = &rq->rt;
175 else
176 rt_se->rt_rq = parent->my_q;
177
178 rt_se->my_q = rt_rq;
179 rt_se->parent = parent;
180 INIT_LIST_HEAD(&rt_se->run_list);
181}
182
183int alloc_rt_sched_group(struct task_group *tg, struct task_group *parent)
184{
185 struct rt_rq *rt_rq;
186 struct sched_rt_entity *rt_se;
187 int i;
188
Kees Cook6396bb22018-06-12 14:03:40 -0700189 tg->rt_rq = kcalloc(nr_cpu_ids, sizeof(rt_rq), GFP_KERNEL);
Peter Zijlstra029632f2011-10-25 10:00:11 +0200190 if (!tg->rt_rq)
191 goto err;
Kees Cook6396bb22018-06-12 14:03:40 -0700192 tg->rt_se = kcalloc(nr_cpu_ids, sizeof(rt_se), GFP_KERNEL);
Peter Zijlstra029632f2011-10-25 10:00:11 +0200193 if (!tg->rt_se)
194 goto err;
195
196 init_rt_bandwidth(&tg->rt_bandwidth,
197 ktime_to_ns(def_rt_bandwidth.rt_period), 0);
198
199 for_each_possible_cpu(i) {
200 rt_rq = kzalloc_node(sizeof(struct rt_rq),
201 GFP_KERNEL, cpu_to_node(i));
202 if (!rt_rq)
203 goto err;
204
205 rt_se = kzalloc_node(sizeof(struct sched_rt_entity),
206 GFP_KERNEL, cpu_to_node(i));
207 if (!rt_se)
208 goto err_free_rq;
209
Abel Vesa07c54f72015-03-03 13:50:27 +0200210 init_rt_rq(rt_rq);
Peter Zijlstra029632f2011-10-25 10:00:11 +0200211 rt_rq->rt_runtime = tg->rt_bandwidth.rt_runtime;
212 init_tg_rt_entry(tg, rt_rq, rt_se, i, parent->rt_se[i]);
213 }
214
215 return 1;
216
217err_free_rq:
218 kfree(rt_rq);
219err:
220 return 0;
221}
222
Gregory Haskins398a1532009-01-14 09:10:04 -0500223#else /* CONFIG_RT_GROUP_SCHED */
224
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200225#define rt_entity_is_task(rt_se) (1)
226
Peter Zijlstra8f488942009-07-24 12:25:30 +0200227static inline struct task_struct *rt_task_of(struct sched_rt_entity *rt_se)
228{
229 return container_of(rt_se, struct task_struct, rt);
230}
231
Gregory Haskins398a1532009-01-14 09:10:04 -0500232static inline struct rq *rq_of_rt_rq(struct rt_rq *rt_rq)
233{
234 return container_of(rt_rq, struct rq, rt);
235}
236
Kirill Tkhai653d07a2014-03-15 02:14:55 +0400237static inline struct rq *rq_of_rt_se(struct sched_rt_entity *rt_se)
Gregory Haskins398a1532009-01-14 09:10:04 -0500238{
239 struct task_struct *p = rt_task_of(rt_se);
Kirill Tkhai653d07a2014-03-15 02:14:55 +0400240
241 return task_rq(p);
242}
243
244static inline struct rt_rq *rt_rq_of_se(struct sched_rt_entity *rt_se)
245{
246 struct rq *rq = rq_of_rt_se(rt_se);
Gregory Haskins398a1532009-01-14 09:10:04 -0500247
248 return &rq->rt;
249}
250
Peter Zijlstra029632f2011-10-25 10:00:11 +0200251void free_rt_sched_group(struct task_group *tg) { }
252
253int alloc_rt_sched_group(struct task_group *tg, struct task_group *parent)
254{
255 return 1;
256}
Gregory Haskins398a1532009-01-14 09:10:04 -0500257#endif /* CONFIG_RT_GROUP_SCHED */
258
Steven Rostedt4fd29172008-01-25 21:08:06 +0100259#ifdef CONFIG_SMP
Ingo Molnar84de4272008-01-25 21:08:15 +0100260
Peter Zijlstra8046d682015-06-11 14:46:40 +0200261static void pull_rt_task(struct rq *this_rq);
Peter Zijlstra38033c32014-01-23 20:32:21 +0100262
Peter Zijlstradc877342014-02-12 15:47:29 +0100263static inline bool need_pull_rt_task(struct rq *rq, struct task_struct *prev)
264{
265 /* Try to pull RT tasks here if we lower this rq's prio */
266 return rq->rt.highest_prio.curr > prev->prio;
267}
268
Gregory Haskins637f5082008-01-25 21:08:18 +0100269static inline int rt_overloaded(struct rq *rq)
Steven Rostedt4fd29172008-01-25 21:08:06 +0100270{
Gregory Haskins637f5082008-01-25 21:08:18 +0100271 return atomic_read(&rq->rd->rto_count);
Steven Rostedt4fd29172008-01-25 21:08:06 +0100272}
Ingo Molnar84de4272008-01-25 21:08:15 +0100273
Steven Rostedt4fd29172008-01-25 21:08:06 +0100274static inline void rt_set_overload(struct rq *rq)
275{
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -0400276 if (!rq->online)
277 return;
278
Rusty Russellc6c49272008-11-25 02:35:05 +1030279 cpumask_set_cpu(rq->cpu, rq->rd->rto_mask);
Steven Rostedt4fd29172008-01-25 21:08:06 +0100280 /*
281 * Make sure the mask is visible before we set
282 * the overload count. That is checked to determine
283 * if we should look at the mask. It would be a shame
284 * if we looked at the mask, but the mask was not
285 * updated yet.
Peter Zijlstra7c3f2ab2013-10-15 12:35:07 +0200286 *
287 * Matched by the barrier in pull_rt_task().
Steven Rostedt4fd29172008-01-25 21:08:06 +0100288 */
Peter Zijlstra7c3f2ab2013-10-15 12:35:07 +0200289 smp_wmb();
Gregory Haskins637f5082008-01-25 21:08:18 +0100290 atomic_inc(&rq->rd->rto_count);
Steven Rostedt4fd29172008-01-25 21:08:06 +0100291}
Ingo Molnar84de4272008-01-25 21:08:15 +0100292
Steven Rostedt4fd29172008-01-25 21:08:06 +0100293static inline void rt_clear_overload(struct rq *rq)
294{
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -0400295 if (!rq->online)
296 return;
297
Steven Rostedt4fd29172008-01-25 21:08:06 +0100298 /* the order here really doesn't matter */
Gregory Haskins637f5082008-01-25 21:08:18 +0100299 atomic_dec(&rq->rd->rto_count);
Rusty Russellc6c49272008-11-25 02:35:05 +1030300 cpumask_clear_cpu(rq->cpu, rq->rd->rto_mask);
Steven Rostedt4fd29172008-01-25 21:08:06 +0100301}
Gregory Haskins73fe6aa2008-01-25 21:08:07 +0100302
Gregory Haskins398a1532009-01-14 09:10:04 -0500303static void update_rt_migration(struct rt_rq *rt_rq)
Gregory Haskins73fe6aa2008-01-25 21:08:07 +0100304{
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200305 if (rt_rq->rt_nr_migratory && rt_rq->rt_nr_total > 1) {
Gregory Haskins398a1532009-01-14 09:10:04 -0500306 if (!rt_rq->overloaded) {
307 rt_set_overload(rq_of_rt_rq(rt_rq));
308 rt_rq->overloaded = 1;
Gregory Haskinscdc8eb92008-01-25 21:08:23 +0100309 }
Gregory Haskins398a1532009-01-14 09:10:04 -0500310 } else if (rt_rq->overloaded) {
311 rt_clear_overload(rq_of_rt_rq(rt_rq));
312 rt_rq->overloaded = 0;
Gregory Haskins637f5082008-01-25 21:08:18 +0100313 }
Gregory Haskins73fe6aa2008-01-25 21:08:07 +0100314}
Steven Rostedt4fd29172008-01-25 21:08:06 +0100315
Gregory Haskins398a1532009-01-14 09:10:04 -0500316static void inc_rt_migration(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100317{
Peter Zijlstra29baa742012-04-23 12:11:21 +0200318 struct task_struct *p;
319
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200320 if (!rt_entity_is_task(rt_se))
321 return;
322
Peter Zijlstra29baa742012-04-23 12:11:21 +0200323 p = rt_task_of(rt_se);
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200324 rt_rq = &rq_of_rt_rq(rt_rq)->rt;
325
326 rt_rq->rt_nr_total++;
Ingo Molnar4b53a342017-02-05 15:41:03 +0100327 if (p->nr_cpus_allowed > 1)
Gregory Haskins398a1532009-01-14 09:10:04 -0500328 rt_rq->rt_nr_migratory++;
329
330 update_rt_migration(rt_rq);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100331}
332
Gregory Haskins398a1532009-01-14 09:10:04 -0500333static void dec_rt_migration(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
334{
Peter Zijlstra29baa742012-04-23 12:11:21 +0200335 struct task_struct *p;
336
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200337 if (!rt_entity_is_task(rt_se))
338 return;
339
Peter Zijlstra29baa742012-04-23 12:11:21 +0200340 p = rt_task_of(rt_se);
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200341 rt_rq = &rq_of_rt_rq(rt_rq)->rt;
342
343 rt_rq->rt_nr_total--;
Ingo Molnar4b53a342017-02-05 15:41:03 +0100344 if (p->nr_cpus_allowed > 1)
Gregory Haskins398a1532009-01-14 09:10:04 -0500345 rt_rq->rt_nr_migratory--;
346
347 update_rt_migration(rt_rq);
348}
349
Steven Rostedt5181f4a42011-06-16 21:55:23 -0400350static inline int has_pushable_tasks(struct rq *rq)
351{
352 return !plist_head_empty(&rq->rt.pushable_tasks);
353}
354
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +0200355static DEFINE_PER_CPU(struct callback_head, rt_push_head);
356static DEFINE_PER_CPU(struct callback_head, rt_pull_head);
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200357
358static void push_rt_tasks(struct rq *);
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +0200359static void pull_rt_task(struct rq *);
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200360
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100361static inline void rt_queue_push_tasks(struct rq *rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100362{
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200363 if (!has_pushable_tasks(rq))
364 return;
365
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +0200366 queue_balance_callback(rq, &per_cpu(rt_push_head, rq->cpu), push_rt_tasks);
367}
368
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100369static inline void rt_queue_pull_task(struct rq *rq)
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +0200370{
371 queue_balance_callback(rq, &per_cpu(rt_pull_head, rq->cpu), pull_rt_task);
Peter Zijlstradc877342014-02-12 15:47:29 +0100372}
373
Gregory Haskins917b6272008-12-29 09:39:53 -0500374static void enqueue_pushable_task(struct rq *rq, struct task_struct *p)
375{
376 plist_del(&p->pushable_tasks, &rq->rt.pushable_tasks);
377 plist_node_init(&p->pushable_tasks, p->prio);
378 plist_add(&p->pushable_tasks, &rq->rt.pushable_tasks);
Steven Rostedt5181f4a42011-06-16 21:55:23 -0400379
380 /* Update the highest prio pushable task */
381 if (p->prio < rq->rt.highest_prio.next)
382 rq->rt.highest_prio.next = p->prio;
Gregory Haskins917b6272008-12-29 09:39:53 -0500383}
384
385static void dequeue_pushable_task(struct rq *rq, struct task_struct *p)
386{
387 plist_del(&p->pushable_tasks, &rq->rt.pushable_tasks);
Gregory Haskins917b6272008-12-29 09:39:53 -0500388
Steven Rostedt5181f4a42011-06-16 21:55:23 -0400389 /* Update the new highest prio pushable task */
390 if (has_pushable_tasks(rq)) {
391 p = plist_first_entry(&rq->rt.pushable_tasks,
392 struct task_struct, pushable_tasks);
393 rq->rt.highest_prio.next = p->prio;
394 } else
395 rq->rt.highest_prio.next = MAX_RT_PRIO;
Ingo Molnarbcf08df2008-04-19 12:11:10 +0200396}
397
Gregory Haskins917b6272008-12-29 09:39:53 -0500398#else
399
Peter Zijlstraceacc2c2009-01-16 14:46:40 +0100400static inline void enqueue_pushable_task(struct rq *rq, struct task_struct *p)
401{
402}
403
404static inline void dequeue_pushable_task(struct rq *rq, struct task_struct *p)
405{
406}
407
Gregory Haskinsb07430a2009-01-14 08:55:39 -0500408static inline
Peter Zijlstraceacc2c2009-01-16 14:46:40 +0100409void inc_rt_migration(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
410{
411}
412
Gregory Haskinsb07430a2009-01-14 08:55:39 -0500413static inline
Peter Zijlstraceacc2c2009-01-16 14:46:40 +0100414void dec_rt_migration(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
415{
416}
Gregory Haskins917b6272008-12-29 09:39:53 -0500417
Peter Zijlstradc877342014-02-12 15:47:29 +0100418static inline bool need_pull_rt_task(struct rq *rq, struct task_struct *prev)
419{
420 return false;
421}
422
Peter Zijlstra8046d682015-06-11 14:46:40 +0200423static inline void pull_rt_task(struct rq *this_rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100424{
Peter Zijlstradc877342014-02-12 15:47:29 +0100425}
426
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100427static inline void rt_queue_push_tasks(struct rq *rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100428{
429}
Ingo Molnarbb44e5d2007-07-09 18:51:58 +0200430#endif /* CONFIG_SMP */
431
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400432static void enqueue_top_rt_rq(struct rt_rq *rt_rq);
433static void dequeue_top_rt_rq(struct rt_rq *rt_rq);
434
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100435static inline int on_rt_rq(struct sched_rt_entity *rt_se)
436{
Peter Zijlstraff77e462016-01-18 15:27:07 +0100437 return rt_se->on_rq;
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100438}
439
Qais Yousef804d4022019-10-09 11:46:11 +0100440#ifdef CONFIG_UCLAMP_TASK
441/*
442 * Verify the fitness of task @p to run on @cpu taking into account the uclamp
443 * settings.
444 *
445 * This check is only important for heterogeneous systems where uclamp_min value
446 * is higher than the capacity of a @cpu. For non-heterogeneous system this
447 * function will always return true.
448 *
449 * The function will return true if the capacity of the @cpu is >= the
450 * uclamp_min and false otherwise.
451 *
452 * Note that uclamp_min will be clamped to uclamp_max if uclamp_min
453 * > uclamp_max.
454 */
455static inline bool rt_task_fits_capacity(struct task_struct *p, int cpu)
456{
457 unsigned int min_cap;
458 unsigned int max_cap;
459 unsigned int cpu_cap;
460
461 /* Only heterogeneous systems can benefit from this check */
462 if (!static_branch_unlikely(&sched_asym_cpucapacity))
463 return true;
464
465 min_cap = uclamp_eff_value(p, UCLAMP_MIN);
466 max_cap = uclamp_eff_value(p, UCLAMP_MAX);
467
468 cpu_cap = capacity_orig_of(cpu);
469
470 return cpu_cap >= min(min_cap, max_cap);
471}
472#else
473static inline bool rt_task_fits_capacity(struct task_struct *p, int cpu)
474{
475 return true;
476}
477#endif
478
Peter Zijlstra052f1dc2008-02-13 15:45:40 +0100479#ifdef CONFIG_RT_GROUP_SCHED
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100480
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100481static inline u64 sched_rt_runtime(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100482{
483 if (!rt_rq->tg)
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100484 return RUNTIME_INF;
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100485
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200486 return rt_rq->rt_runtime;
487}
488
489static inline u64 sched_rt_period(struct rt_rq *rt_rq)
490{
491 return ktime_to_ns(rt_rq->tg->rt_bandwidth.rt_period);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100492}
493
Cheng Xuec514c42011-05-14 14:20:02 +0800494typedef struct task_group *rt_rq_iter_t;
495
Yong Zhang1c09ab02011-06-28 10:51:31 +0800496static inline struct task_group *next_task_group(struct task_group *tg)
497{
498 do {
499 tg = list_entry_rcu(tg->list.next,
500 typeof(struct task_group), list);
501 } while (&tg->list != &task_groups && task_group_is_autogroup(tg));
502
503 if (&tg->list == &task_groups)
504 tg = NULL;
505
506 return tg;
507}
508
509#define for_each_rt_rq(rt_rq, iter, rq) \
510 for (iter = container_of(&task_groups, typeof(*iter), list); \
511 (iter = next_task_group(iter)) && \
512 (rt_rq = iter->rt_rq[cpu_of(rq)]);)
Cheng Xuec514c42011-05-14 14:20:02 +0800513
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100514#define for_each_sched_rt_entity(rt_se) \
515 for (; rt_se; rt_se = rt_se->parent)
516
517static inline struct rt_rq *group_rt_rq(struct sched_rt_entity *rt_se)
518{
519 return rt_se->my_q;
520}
521
Peter Zijlstraff77e462016-01-18 15:27:07 +0100522static void enqueue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags);
523static void dequeue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100524
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100525static void sched_rt_rq_enqueue(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100526{
Dario Faggiolif6121f42008-10-03 17:40:46 +0200527 struct task_struct *curr = rq_of_rt_rq(rt_rq)->curr;
Kirill Tkhai88751252014-06-29 00:03:57 +0400528 struct rq *rq = rq_of_rt_rq(rt_rq);
Yong Zhang74b7eb52010-01-29 14:57:52 +0800529 struct sched_rt_entity *rt_se;
530
Kirill Tkhai88751252014-06-29 00:03:57 +0400531 int cpu = cpu_of(rq);
Balbir Singh0c3b9162011-03-03 17:04:35 +0530532
533 rt_se = rt_rq->tg->rt_se[cpu];
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100534
Dario Faggiolif6121f42008-10-03 17:40:46 +0200535 if (rt_rq->rt_nr_running) {
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400536 if (!rt_se)
537 enqueue_top_rt_rq(rt_rq);
538 else if (!on_rt_rq(rt_se))
Peter Zijlstraff77e462016-01-18 15:27:07 +0100539 enqueue_rt_entity(rt_se, 0);
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400540
Gregory Haskinse864c492008-12-29 09:39:49 -0500541 if (rt_rq->highest_prio.curr < curr->prio)
Kirill Tkhai88751252014-06-29 00:03:57 +0400542 resched_curr(rq);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100543 }
544}
545
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100546static void sched_rt_rq_dequeue(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100547{
Yong Zhang74b7eb52010-01-29 14:57:52 +0800548 struct sched_rt_entity *rt_se;
Balbir Singh0c3b9162011-03-03 17:04:35 +0530549 int cpu = cpu_of(rq_of_rt_rq(rt_rq));
Yong Zhang74b7eb52010-01-29 14:57:52 +0800550
Balbir Singh0c3b9162011-03-03 17:04:35 +0530551 rt_se = rt_rq->tg->rt_se[cpu];
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100552
Vincent Guittot296b2ff2018-06-26 15:53:22 +0200553 if (!rt_se) {
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400554 dequeue_top_rt_rq(rt_rq);
Vincent Guittot296b2ff2018-06-26 15:53:22 +0200555 /* Kick cpufreq (see the comment in kernel/sched/sched.h). */
556 cpufreq_update_util(rq_of_rt_rq(rt_rq), 0);
557 }
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400558 else if (on_rt_rq(rt_se))
Peter Zijlstraff77e462016-01-18 15:27:07 +0100559 dequeue_rt_entity(rt_se, 0);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100560}
561
Kirill Tkhai46383642014-03-15 02:15:07 +0400562static inline int rt_rq_throttled(struct rt_rq *rt_rq)
563{
564 return rt_rq->rt_throttled && !rt_rq->rt_nr_boosted;
565}
566
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +0100567static int rt_se_boosted(struct sched_rt_entity *rt_se)
568{
569 struct rt_rq *rt_rq = group_rt_rq(rt_se);
570 struct task_struct *p;
571
572 if (rt_rq)
573 return !!rt_rq->rt_nr_boosted;
574
575 p = rt_task_of(rt_se);
576 return p->prio != p->normal_prio;
577}
578
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200579#ifdef CONFIG_SMP
Rusty Russellc6c49272008-11-25 02:35:05 +1030580static inline const struct cpumask *sched_rt_period_mask(void)
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200581{
Nathan Zimmer424c93f2013-05-09 11:24:03 -0500582 return this_rq()->rd->span;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200583}
584#else
Rusty Russellc6c49272008-11-25 02:35:05 +1030585static inline const struct cpumask *sched_rt_period_mask(void)
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200586{
Rusty Russellc6c49272008-11-25 02:35:05 +1030587 return cpu_online_mask;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200588}
589#endif
590
591static inline
592struct rt_rq *sched_rt_period_rt_rq(struct rt_bandwidth *rt_b, int cpu)
593{
594 return container_of(rt_b, struct task_group, rt_bandwidth)->rt_rq[cpu];
595}
596
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200597static inline struct rt_bandwidth *sched_rt_bandwidth(struct rt_rq *rt_rq)
598{
599 return &rt_rq->tg->rt_bandwidth;
600}
601
Dhaval Giani55e12e52008-06-24 23:39:43 +0530602#else /* !CONFIG_RT_GROUP_SCHED */
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100603
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100604static inline u64 sched_rt_runtime(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100605{
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200606 return rt_rq->rt_runtime;
607}
608
609static inline u64 sched_rt_period(struct rt_rq *rt_rq)
610{
611 return ktime_to_ns(def_rt_bandwidth.rt_period);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100612}
613
Cheng Xuec514c42011-05-14 14:20:02 +0800614typedef struct rt_rq *rt_rq_iter_t;
615
616#define for_each_rt_rq(rt_rq, iter, rq) \
617 for ((void) iter, rt_rq = &rq->rt; rt_rq; rt_rq = NULL)
618
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100619#define for_each_sched_rt_entity(rt_se) \
620 for (; rt_se; rt_se = NULL)
621
622static inline struct rt_rq *group_rt_rq(struct sched_rt_entity *rt_se)
623{
624 return NULL;
625}
626
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100627static inline void sched_rt_rq_enqueue(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100628{
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400629 struct rq *rq = rq_of_rt_rq(rt_rq);
630
631 if (!rt_rq->rt_nr_running)
632 return;
633
634 enqueue_top_rt_rq(rt_rq);
Kirill Tkhai88751252014-06-29 00:03:57 +0400635 resched_curr(rq);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100636}
637
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100638static inline void sched_rt_rq_dequeue(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100639{
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400640 dequeue_top_rt_rq(rt_rq);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100641}
642
Kirill Tkhai46383642014-03-15 02:15:07 +0400643static inline int rt_rq_throttled(struct rt_rq *rt_rq)
644{
645 return rt_rq->rt_throttled;
646}
647
Rusty Russellc6c49272008-11-25 02:35:05 +1030648static inline const struct cpumask *sched_rt_period_mask(void)
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200649{
Rusty Russellc6c49272008-11-25 02:35:05 +1030650 return cpu_online_mask;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200651}
652
653static inline
654struct rt_rq *sched_rt_period_rt_rq(struct rt_bandwidth *rt_b, int cpu)
655{
656 return &cpu_rq(cpu)->rt;
657}
658
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200659static inline struct rt_bandwidth *sched_rt_bandwidth(struct rt_rq *rt_rq)
660{
661 return &def_rt_bandwidth;
662}
663
Dhaval Giani55e12e52008-06-24 23:39:43 +0530664#endif /* CONFIG_RT_GROUP_SCHED */
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100665
Juri Lellifaa59932014-02-21 11:37:15 +0100666bool sched_rt_bandwidth_account(struct rt_rq *rt_rq)
667{
668 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
669
670 return (hrtimer_active(&rt_b->rt_period_timer) ||
671 rt_rq->rt_time < rt_b->rt_runtime);
672}
673
Peter Zijlstrab79f3832008-06-19 14:22:25 +0200674#ifdef CONFIG_SMP
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200675/*
676 * We ran out of runtime, see if we can borrow some from our neighbours.
677 */
Juri Lelli269b26a2015-09-02 11:01:36 +0100678static void do_balance_runtime(struct rt_rq *rt_rq)
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200679{
680 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
Shawn Bohreraa7f6732013-01-14 11:55:31 -0600681 struct root_domain *rd = rq_of_rt_rq(rt_rq)->rd;
Juri Lelli269b26a2015-09-02 11:01:36 +0100682 int i, weight;
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200683 u64 rt_period;
684
Rusty Russellc6c49272008-11-25 02:35:05 +1030685 weight = cpumask_weight(rd->span);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200686
Thomas Gleixner0986b112009-11-17 15:32:06 +0100687 raw_spin_lock(&rt_b->rt_runtime_lock);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200688 rt_period = ktime_to_ns(rt_b->rt_period);
Rusty Russellc6c49272008-11-25 02:35:05 +1030689 for_each_cpu(i, rd->span) {
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200690 struct rt_rq *iter = sched_rt_period_rt_rq(rt_b, i);
691 s64 diff;
692
693 if (iter == rt_rq)
694 continue;
695
Thomas Gleixner0986b112009-11-17 15:32:06 +0100696 raw_spin_lock(&iter->rt_runtime_lock);
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200697 /*
698 * Either all rqs have inf runtime and there's nothing to steal
699 * or __disable_runtime() below sets a specific rq to inf to
700 * indicate its been disabled and disalow stealing.
701 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200702 if (iter->rt_runtime == RUNTIME_INF)
703 goto next;
704
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200705 /*
706 * From runqueues with spare time, take 1/n part of their
707 * spare time, but no more than our period.
708 */
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200709 diff = iter->rt_runtime - iter->rt_time;
710 if (diff > 0) {
Peter Zijlstra58838cf2008-07-24 12:43:13 +0200711 diff = div_u64((u64)diff, weight);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200712 if (rt_rq->rt_runtime + diff > rt_period)
713 diff = rt_period - rt_rq->rt_runtime;
714 iter->rt_runtime -= diff;
715 rt_rq->rt_runtime += diff;
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200716 if (rt_rq->rt_runtime == rt_period) {
Thomas Gleixner0986b112009-11-17 15:32:06 +0100717 raw_spin_unlock(&iter->rt_runtime_lock);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200718 break;
719 }
720 }
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200721next:
Thomas Gleixner0986b112009-11-17 15:32:06 +0100722 raw_spin_unlock(&iter->rt_runtime_lock);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200723 }
Thomas Gleixner0986b112009-11-17 15:32:06 +0100724 raw_spin_unlock(&rt_b->rt_runtime_lock);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200725}
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200726
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200727/*
728 * Ensure this RQ takes back all the runtime it lend to its neighbours.
729 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200730static void __disable_runtime(struct rq *rq)
731{
732 struct root_domain *rd = rq->rd;
Cheng Xuec514c42011-05-14 14:20:02 +0800733 rt_rq_iter_t iter;
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200734 struct rt_rq *rt_rq;
735
736 if (unlikely(!scheduler_running))
737 return;
738
Cheng Xuec514c42011-05-14 14:20:02 +0800739 for_each_rt_rq(rt_rq, iter, rq) {
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200740 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
741 s64 want;
742 int i;
743
Thomas Gleixner0986b112009-11-17 15:32:06 +0100744 raw_spin_lock(&rt_b->rt_runtime_lock);
745 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200746 /*
747 * Either we're all inf and nobody needs to borrow, or we're
748 * already disabled and thus have nothing to do, or we have
749 * exactly the right amount of runtime to take out.
750 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200751 if (rt_rq->rt_runtime == RUNTIME_INF ||
752 rt_rq->rt_runtime == rt_b->rt_runtime)
753 goto balanced;
Thomas Gleixner0986b112009-11-17 15:32:06 +0100754 raw_spin_unlock(&rt_rq->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200755
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200756 /*
757 * Calculate the difference between what we started out with
758 * and what we current have, that's the amount of runtime
759 * we lend and now have to reclaim.
760 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200761 want = rt_b->rt_runtime - rt_rq->rt_runtime;
762
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200763 /*
764 * Greedy reclaim, take back as much as we can.
765 */
Rusty Russellc6c49272008-11-25 02:35:05 +1030766 for_each_cpu(i, rd->span) {
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200767 struct rt_rq *iter = sched_rt_period_rt_rq(rt_b, i);
768 s64 diff;
769
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200770 /*
771 * Can't reclaim from ourselves or disabled runqueues.
772 */
Peter Zijlstraf1679d02008-08-14 15:49:00 +0200773 if (iter == rt_rq || iter->rt_runtime == RUNTIME_INF)
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200774 continue;
775
Thomas Gleixner0986b112009-11-17 15:32:06 +0100776 raw_spin_lock(&iter->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200777 if (want > 0) {
778 diff = min_t(s64, iter->rt_runtime, want);
779 iter->rt_runtime -= diff;
780 want -= diff;
781 } else {
782 iter->rt_runtime -= want;
783 want -= want;
784 }
Thomas Gleixner0986b112009-11-17 15:32:06 +0100785 raw_spin_unlock(&iter->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200786
787 if (!want)
788 break;
789 }
790
Thomas Gleixner0986b112009-11-17 15:32:06 +0100791 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200792 /*
793 * We cannot be left wanting - that would mean some runtime
794 * leaked out of the system.
795 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200796 BUG_ON(want);
797balanced:
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200798 /*
799 * Disable all the borrow logic by pretending we have inf
800 * runtime - in which case borrowing doesn't make sense.
801 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200802 rt_rq->rt_runtime = RUNTIME_INF;
Peter Boonstoppela4c96ae2012-08-09 15:34:47 -0700803 rt_rq->rt_throttled = 0;
Thomas Gleixner0986b112009-11-17 15:32:06 +0100804 raw_spin_unlock(&rt_rq->rt_runtime_lock);
805 raw_spin_unlock(&rt_b->rt_runtime_lock);
Kirill Tkhai99b62562014-06-25 12:19:48 +0400806
807 /* Make rt_rq available for pick_next_task() */
808 sched_rt_rq_enqueue(rt_rq);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200809 }
810}
811
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200812static void __enable_runtime(struct rq *rq)
813{
Cheng Xuec514c42011-05-14 14:20:02 +0800814 rt_rq_iter_t iter;
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200815 struct rt_rq *rt_rq;
816
817 if (unlikely(!scheduler_running))
818 return;
819
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200820 /*
821 * Reset each runqueue's bandwidth settings
822 */
Cheng Xuec514c42011-05-14 14:20:02 +0800823 for_each_rt_rq(rt_rq, iter, rq) {
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200824 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
825
Thomas Gleixner0986b112009-11-17 15:32:06 +0100826 raw_spin_lock(&rt_b->rt_runtime_lock);
827 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200828 rt_rq->rt_runtime = rt_b->rt_runtime;
829 rt_rq->rt_time = 0;
Zhang, Yanminbaf25732008-09-09 11:26:33 +0800830 rt_rq->rt_throttled = 0;
Thomas Gleixner0986b112009-11-17 15:32:06 +0100831 raw_spin_unlock(&rt_rq->rt_runtime_lock);
832 raw_spin_unlock(&rt_b->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200833 }
834}
835
Juri Lelli269b26a2015-09-02 11:01:36 +0100836static void balance_runtime(struct rt_rq *rt_rq)
Peter Zijlstraeff65492008-06-19 14:22:26 +0200837{
Peter Zijlstra4a6184c2011-10-06 22:39:14 +0200838 if (!sched_feat(RT_RUNTIME_SHARE))
Juri Lelli269b26a2015-09-02 11:01:36 +0100839 return;
Peter Zijlstra4a6184c2011-10-06 22:39:14 +0200840
Peter Zijlstraeff65492008-06-19 14:22:26 +0200841 if (rt_rq->rt_time > rt_rq->rt_runtime) {
Thomas Gleixner0986b112009-11-17 15:32:06 +0100842 raw_spin_unlock(&rt_rq->rt_runtime_lock);
Juri Lelli269b26a2015-09-02 11:01:36 +0100843 do_balance_runtime(rt_rq);
Thomas Gleixner0986b112009-11-17 15:32:06 +0100844 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstraeff65492008-06-19 14:22:26 +0200845 }
Peter Zijlstraeff65492008-06-19 14:22:26 +0200846}
Dhaval Giani55e12e52008-06-24 23:39:43 +0530847#else /* !CONFIG_SMP */
Juri Lelli269b26a2015-09-02 11:01:36 +0100848static inline void balance_runtime(struct rt_rq *rt_rq) {}
Dhaval Giani55e12e52008-06-24 23:39:43 +0530849#endif /* CONFIG_SMP */
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100850
851static int do_sched_rt_period_timer(struct rt_bandwidth *rt_b, int overrun)
852{
Peter Zijlstra42c62a52011-10-18 22:03:48 +0200853 int i, idle = 1, throttled = 0;
Rusty Russellc6c49272008-11-25 02:35:05 +1030854 const struct cpumask *span;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200855
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200856 span = sched_rt_period_mask();
Mike Galbraithe221d022012-08-07 10:02:38 +0200857#ifdef CONFIG_RT_GROUP_SCHED
858 /*
859 * FIXME: isolated CPUs should really leave the root task group,
860 * whether they are isolcpus or were isolated via cpusets, lest
861 * the timer run on a CPU which does not service all runqueues,
862 * potentially leaving other CPUs indefinitely throttled. If
863 * isolation is really required, the user will turn the throttle
864 * off to kill the perturbations it causes anyway. Meanwhile,
865 * this maintains functionality for boot and/or troubleshooting.
866 */
867 if (rt_b == &root_task_group.rt_bandwidth)
868 span = cpu_online_mask;
869#endif
Rusty Russellc6c49272008-11-25 02:35:05 +1030870 for_each_cpu(i, span) {
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200871 int enqueue = 0;
872 struct rt_rq *rt_rq = sched_rt_period_rt_rq(rt_b, i);
873 struct rq *rq = rq_of_rt_rq(rt_rq);
Dave Kleikampc249f252017-05-15 14:14:13 -0500874 int skip;
875
876 /*
877 * When span == cpu_online_mask, taking each rq->lock
878 * can be time-consuming. Try to avoid it when possible.
879 */
880 raw_spin_lock(&rt_rq->rt_runtime_lock);
Hailong Liuf3d133e2018-07-18 08:46:55 +0800881 if (!sched_feat(RT_RUNTIME_SHARE) && rt_rq->rt_runtime != RUNTIME_INF)
882 rt_rq->rt_runtime = rt_b->rt_runtime;
Dave Kleikampc249f252017-05-15 14:14:13 -0500883 skip = !rt_rq->rt_time && !rt_rq->rt_nr_running;
884 raw_spin_unlock(&rt_rq->rt_runtime_lock);
885 if (skip)
886 continue;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200887
Thomas Gleixner05fa7852009-11-17 14:28:38 +0100888 raw_spin_lock(&rq->lock);
Davidlohr Buesod29a2062018-04-02 09:49:54 -0700889 update_rq_clock(rq);
890
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200891 if (rt_rq->rt_time) {
892 u64 runtime;
893
Thomas Gleixner0986b112009-11-17 15:32:06 +0100894 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstraeff65492008-06-19 14:22:26 +0200895 if (rt_rq->rt_throttled)
896 balance_runtime(rt_rq);
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200897 runtime = rt_rq->rt_runtime;
898 rt_rq->rt_time -= min(rt_rq->rt_time, overrun*runtime);
899 if (rt_rq->rt_throttled && rt_rq->rt_time < runtime) {
900 rt_rq->rt_throttled = 0;
901 enqueue = 1;
Mike Galbraith61eadef2011-04-29 08:36:50 +0200902
903 /*
Peter Zijlstra9edfbfe2015-01-05 11:18:11 +0100904 * When we're idle and a woken (rt) task is
905 * throttled check_preempt_curr() will set
906 * skip_update and the time between the wakeup
907 * and this unthrottle will get accounted as
908 * 'runtime'.
Mike Galbraith61eadef2011-04-29 08:36:50 +0200909 */
910 if (rt_rq->rt_nr_running && rq->curr == rq->idle)
Davidlohr Buesoadcc8da2018-04-04 09:15:39 -0700911 rq_clock_cancel_skipupdate(rq);
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200912 }
913 if (rt_rq->rt_time || rt_rq->rt_nr_running)
914 idle = 0;
Thomas Gleixner0986b112009-11-17 15:32:06 +0100915 raw_spin_unlock(&rt_rq->rt_runtime_lock);
Balbir Singh0c3b9162011-03-03 17:04:35 +0530916 } else if (rt_rq->rt_nr_running) {
Peter Zijlstra8a8cde12008-06-19 14:22:28 +0200917 idle = 0;
Balbir Singh0c3b9162011-03-03 17:04:35 +0530918 if (!rt_rq_throttled(rt_rq))
919 enqueue = 1;
920 }
Peter Zijlstra42c62a52011-10-18 22:03:48 +0200921 if (rt_rq->rt_throttled)
922 throttled = 1;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200923
924 if (enqueue)
925 sched_rt_rq_enqueue(rt_rq);
Thomas Gleixner05fa7852009-11-17 14:28:38 +0100926 raw_spin_unlock(&rq->lock);
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200927 }
928
Peter Zijlstra42c62a52011-10-18 22:03:48 +0200929 if (!throttled && (!rt_bandwidth_enabled() || rt_b->rt_runtime == RUNTIME_INF))
930 return 1;
931
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200932 return idle;
933}
934
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100935static inline int rt_se_prio(struct sched_rt_entity *rt_se)
936{
Peter Zijlstra052f1dc2008-02-13 15:45:40 +0100937#ifdef CONFIG_RT_GROUP_SCHED
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100938 struct rt_rq *rt_rq = group_rt_rq(rt_se);
939
940 if (rt_rq)
Gregory Haskinse864c492008-12-29 09:39:49 -0500941 return rt_rq->highest_prio.curr;
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100942#endif
943
944 return rt_task_of(rt_se)->prio;
945}
946
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100947static int sched_rt_runtime_exceeded(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100948{
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100949 u64 runtime = sched_rt_runtime(rt_rq);
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100950
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100951 if (rt_rq->rt_throttled)
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +0100952 return rt_rq_throttled(rt_rq);
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100953
Shan Hai5b680fd2011-11-29 11:03:56 +0800954 if (runtime >= sched_rt_period(rt_rq))
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200955 return 0;
956
Peter Zijlstrab79f3832008-06-19 14:22:25 +0200957 balance_runtime(rt_rq);
958 runtime = sched_rt_runtime(rt_rq);
959 if (runtime == RUNTIME_INF)
960 return 0;
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200961
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100962 if (rt_rq->rt_time > runtime) {
Peter Zijlstra7abc63b2011-10-18 22:03:48 +0200963 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
964
965 /*
966 * Don't actually throttle groups that have no runtime assigned
967 * but accrue some time due to boosting.
968 */
969 if (likely(rt_b->rt_runtime)) {
970 rt_rq->rt_throttled = 1;
John Stultzc2248152014-06-04 16:11:41 -0700971 printk_deferred_once("sched: RT throttling activated\n");
Peter Zijlstra7abc63b2011-10-18 22:03:48 +0200972 } else {
973 /*
974 * In case we did anyway, make it go away,
975 * replenishment is a joke, since it will replenish us
976 * with exactly 0 ns.
977 */
978 rt_rq->rt_time = 0;
979 }
980
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +0100981 if (rt_rq_throttled(rt_rq)) {
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100982 sched_rt_rq_dequeue(rt_rq);
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +0100983 return 1;
984 }
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100985 }
986
987 return 0;
988}
989
Ingo Molnarbb44e5d2007-07-09 18:51:58 +0200990/*
991 * Update the current task's runtime statistics. Skip current tasks that
992 * are not in our scheduling class.
993 */
Alexey Dobriyana9957442007-10-15 17:00:13 +0200994static void update_curr_rt(struct rq *rq)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +0200995{
996 struct task_struct *curr = rq->curr;
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100997 struct sched_rt_entity *rt_se = &curr->rt;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +0200998 u64 delta_exec;
Wen Yanga7711602018-02-06 09:53:28 +0800999 u64 now;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001000
Peter Zijlstra06c3bc62011-02-02 13:19:48 +01001001 if (curr->sched_class != &rt_sched_class)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001002 return;
1003
Wen Yanga7711602018-02-06 09:53:28 +08001004 now = rq_clock_task(rq);
Wen Yange7ad2032018-02-05 11:18:41 +08001005 delta_exec = now - curr->se.exec_start;
Kirill Tkhaifc79e242013-01-30 16:50:36 +04001006 if (unlikely((s64)delta_exec <= 0))
1007 return;
Ingo Molnar6cfb0d52007-08-02 17:41:40 +02001008
Peter Zijlstra42c62a52011-10-18 22:03:48 +02001009 schedstat_set(curr->se.statistics.exec_max,
1010 max(curr->se.statistics.exec_max, delta_exec));
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001011
1012 curr->se.sum_exec_runtime += delta_exec;
Frank Mayharf06febc2008-09-12 09:54:39 -07001013 account_group_exec_runtime(curr, delta_exec);
1014
Wen Yange7ad2032018-02-05 11:18:41 +08001015 curr->se.exec_start = now;
Tejun Heod2cc5ed2017-09-25 08:12:04 -07001016 cgroup_account_cputime(curr, delta_exec);
Peter Zijlstrafa85ae22008-01-25 21:08:29 +01001017
Peter Zijlstra0b148fa2008-08-19 12:33:04 +02001018 if (!rt_bandwidth_enabled())
1019 return;
1020
Dhaval Giani354d60c2008-04-19 19:44:59 +02001021 for_each_sched_rt_entity(rt_se) {
Giedrius Rekasius0b079392014-05-25 15:23:31 +01001022 struct rt_rq *rt_rq = rt_rq_of_se(rt_se);
Dhaval Giani354d60c2008-04-19 19:44:59 +02001023
Peter Zijlstracc2991c2008-08-19 12:33:03 +02001024 if (sched_rt_runtime(rt_rq) != RUNTIME_INF) {
Thomas Gleixner0986b112009-11-17 15:32:06 +01001025 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstracc2991c2008-08-19 12:33:03 +02001026 rt_rq->rt_time += delta_exec;
1027 if (sched_rt_runtime_exceeded(rt_rq))
Kirill Tkhai88751252014-06-29 00:03:57 +04001028 resched_curr(rq);
Thomas Gleixner0986b112009-11-17 15:32:06 +01001029 raw_spin_unlock(&rt_rq->rt_runtime_lock);
Peter Zijlstracc2991c2008-08-19 12:33:03 +02001030 }
Dhaval Giani354d60c2008-04-19 19:44:59 +02001031 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001032}
1033
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001034static void
1035dequeue_top_rt_rq(struct rt_rq *rt_rq)
1036{
1037 struct rq *rq = rq_of_rt_rq(rt_rq);
1038
1039 BUG_ON(&rq->rt != rt_rq);
1040
1041 if (!rt_rq->rt_queued)
1042 return;
1043
1044 BUG_ON(!rq->nr_running);
1045
Kirill Tkhai72465442014-05-09 03:00:14 +04001046 sub_nr_running(rq, rt_rq->rt_nr_running);
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001047 rt_rq->rt_queued = 0;
Peter Zijlstra8f111bc2017-12-20 16:26:12 +01001048
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001049}
1050
1051static void
1052enqueue_top_rt_rq(struct rt_rq *rt_rq)
1053{
1054 struct rq *rq = rq_of_rt_rq(rt_rq);
1055
1056 BUG_ON(&rq->rt != rt_rq);
1057
1058 if (rt_rq->rt_queued)
1059 return;
Vincent Guittot296b2ff2018-06-26 15:53:22 +02001060
1061 if (rt_rq_throttled(rt_rq))
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001062 return;
1063
Vincent Guittot296b2ff2018-06-26 15:53:22 +02001064 if (rt_rq->rt_nr_running) {
1065 add_nr_running(rq, rt_rq->rt_nr_running);
1066 rt_rq->rt_queued = 1;
1067 }
Peter Zijlstra8f111bc2017-12-20 16:26:12 +01001068
1069 /* Kick cpufreq (see the comment in kernel/sched/sched.h). */
1070 cpufreq_update_util(rq, 0);
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001071}
1072
Gregory Haskins398a1532009-01-14 09:10:04 -05001073#if defined CONFIG_SMP
Gregory Haskinse864c492008-12-29 09:39:49 -05001074
Gregory Haskins398a1532009-01-14 09:10:04 -05001075static void
1076inc_rt_prio_smp(struct rt_rq *rt_rq, int prio, int prev_prio)
Steven Rostedt63489e42008-01-25 21:08:03 +01001077{
Gregory Haskins4d984272008-12-29 09:39:49 -05001078 struct rq *rq = rq_of_rt_rq(rt_rq);
Gregory Haskins4d984272008-12-29 09:39:49 -05001079
Kirill Tkhai757dfca2013-11-27 19:59:13 +04001080#ifdef CONFIG_RT_GROUP_SCHED
1081 /*
1082 * Change rq's cpupri only if rt_rq is the top queue.
1083 */
1084 if (&rq->rt != rt_rq)
1085 return;
1086#endif
Steven Rostedt5181f4a42011-06-16 21:55:23 -04001087 if (rq->online && prio < prev_prio)
1088 cpupri_set(&rq->rd->cpupri, rq->cpu, prio);
Steven Rostedt63489e42008-01-25 21:08:03 +01001089}
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001090
Gregory Haskins398a1532009-01-14 09:10:04 -05001091static void
1092dec_rt_prio_smp(struct rt_rq *rt_rq, int prio, int prev_prio)
Steven Rostedt63489e42008-01-25 21:08:03 +01001093{
Gregory Haskins4d984272008-12-29 09:39:49 -05001094 struct rq *rq = rq_of_rt_rq(rt_rq);
Gregory Haskins6e0534f2008-05-12 21:21:01 +02001095
Kirill Tkhai757dfca2013-11-27 19:59:13 +04001096#ifdef CONFIG_RT_GROUP_SCHED
1097 /*
1098 * Change rq's cpupri only if rt_rq is the top queue.
1099 */
1100 if (&rq->rt != rt_rq)
1101 return;
1102#endif
Gregory Haskins398a1532009-01-14 09:10:04 -05001103 if (rq->online && rt_rq->highest_prio.curr != prev_prio)
1104 cpupri_set(&rq->rd->cpupri, rq->cpu, rt_rq->highest_prio.curr);
1105}
1106
1107#else /* CONFIG_SMP */
1108
1109static inline
1110void inc_rt_prio_smp(struct rt_rq *rt_rq, int prio, int prev_prio) {}
1111static inline
1112void dec_rt_prio_smp(struct rt_rq *rt_rq, int prio, int prev_prio) {}
1113
1114#endif /* CONFIG_SMP */
1115
Steven Rostedt63489e42008-01-25 21:08:03 +01001116#if defined CONFIG_SMP || defined CONFIG_RT_GROUP_SCHED
Gregory Haskins398a1532009-01-14 09:10:04 -05001117static void
1118inc_rt_prio(struct rt_rq *rt_rq, int prio)
1119{
1120 int prev_prio = rt_rq->highest_prio.curr;
Steven Rostedt63489e42008-01-25 21:08:03 +01001121
Gregory Haskins398a1532009-01-14 09:10:04 -05001122 if (prio < prev_prio)
1123 rt_rq->highest_prio.curr = prio;
1124
1125 inc_rt_prio_smp(rt_rq, prio, prev_prio);
1126}
1127
1128static void
1129dec_rt_prio(struct rt_rq *rt_rq, int prio)
1130{
1131 int prev_prio = rt_rq->highest_prio.curr;
1132
1133 if (rt_rq->rt_nr_running) {
1134
1135 WARN_ON(prio < prev_prio);
Gregory Haskinse864c492008-12-29 09:39:49 -05001136
1137 /*
Gregory Haskins398a1532009-01-14 09:10:04 -05001138 * This may have been our highest task, and therefore
1139 * we may have some recomputation to do
Gregory Haskinse864c492008-12-29 09:39:49 -05001140 */
Gregory Haskins398a1532009-01-14 09:10:04 -05001141 if (prio == prev_prio) {
Gregory Haskinse864c492008-12-29 09:39:49 -05001142 struct rt_prio_array *array = &rt_rq->active;
1143
1144 rt_rq->highest_prio.curr =
Steven Rostedt764a9d62008-01-25 21:08:04 +01001145 sched_find_first_bit(array->bitmap);
Gregory Haskinse864c492008-12-29 09:39:49 -05001146 }
1147
Steven Rostedt764a9d62008-01-25 21:08:04 +01001148 } else
Gregory Haskinse864c492008-12-29 09:39:49 -05001149 rt_rq->highest_prio.curr = MAX_RT_PRIO;
Gregory Haskins73fe6aa2008-01-25 21:08:07 +01001150
Gregory Haskins398a1532009-01-14 09:10:04 -05001151 dec_rt_prio_smp(rt_rq, prio, prev_prio);
1152}
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04001153
Gregory Haskins398a1532009-01-14 09:10:04 -05001154#else
1155
1156static inline void inc_rt_prio(struct rt_rq *rt_rq, int prio) {}
1157static inline void dec_rt_prio(struct rt_rq *rt_rq, int prio) {}
1158
1159#endif /* CONFIG_SMP || CONFIG_RT_GROUP_SCHED */
1160
Gregory Haskins73fe6aa2008-01-25 21:08:07 +01001161#ifdef CONFIG_RT_GROUP_SCHED
Gregory Haskins398a1532009-01-14 09:10:04 -05001162
1163static void
1164inc_rt_group(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1165{
Gregory Haskins73fe6aa2008-01-25 21:08:07 +01001166 if (rt_se_boosted(rt_se))
Steven Rostedt764a9d62008-01-25 21:08:04 +01001167 rt_rq->rt_nr_boosted++;
Peter Zijlstra052f1dc2008-02-13 15:45:40 +01001168
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +01001169 if (rt_rq->tg)
1170 start_rt_bandwidth(&rt_rq->tg->rt_bandwidth);
Gregory Haskins398a1532009-01-14 09:10:04 -05001171}
1172
1173static void
1174dec_rt_group(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1175{
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +01001176 if (rt_se_boosted(rt_se))
1177 rt_rq->rt_nr_boosted--;
1178
1179 WARN_ON(!rt_rq->rt_nr_running && rt_rq->rt_nr_boosted);
Gregory Haskins398a1532009-01-14 09:10:04 -05001180}
1181
1182#else /* CONFIG_RT_GROUP_SCHED */
1183
1184static void
1185inc_rt_group(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1186{
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001187 start_rt_bandwidth(&def_rt_bandwidth);
Gregory Haskins398a1532009-01-14 09:10:04 -05001188}
1189
1190static inline
1191void dec_rt_group(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq) {}
1192
1193#endif /* CONFIG_RT_GROUP_SCHED */
1194
1195static inline
Kirill Tkhai22abdef2014-03-15 02:14:49 +04001196unsigned int rt_se_nr_running(struct sched_rt_entity *rt_se)
1197{
1198 struct rt_rq *group_rq = group_rt_rq(rt_se);
1199
1200 if (group_rq)
1201 return group_rq->rt_nr_running;
1202 else
1203 return 1;
1204}
1205
1206static inline
Frederic Weisbecker01d36d02015-11-04 18:17:10 +01001207unsigned int rt_se_rr_nr_running(struct sched_rt_entity *rt_se)
1208{
1209 struct rt_rq *group_rq = group_rt_rq(rt_se);
1210 struct task_struct *tsk;
1211
1212 if (group_rq)
1213 return group_rq->rr_nr_running;
1214
1215 tsk = rt_task_of(rt_se);
1216
1217 return (tsk->policy == SCHED_RR) ? 1 : 0;
1218}
1219
1220static inline
Gregory Haskins398a1532009-01-14 09:10:04 -05001221void inc_rt_tasks(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1222{
1223 int prio = rt_se_prio(rt_se);
1224
1225 WARN_ON(!rt_prio(prio));
Kirill Tkhai22abdef2014-03-15 02:14:49 +04001226 rt_rq->rt_nr_running += rt_se_nr_running(rt_se);
Frederic Weisbecker01d36d02015-11-04 18:17:10 +01001227 rt_rq->rr_nr_running += rt_se_rr_nr_running(rt_se);
Gregory Haskins398a1532009-01-14 09:10:04 -05001228
1229 inc_rt_prio(rt_rq, prio);
1230 inc_rt_migration(rt_se, rt_rq);
1231 inc_rt_group(rt_se, rt_rq);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001232}
1233
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +01001234static inline
1235void dec_rt_tasks(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1236{
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001237 WARN_ON(!rt_prio(rt_se_prio(rt_se)));
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001238 WARN_ON(!rt_rq->rt_nr_running);
Kirill Tkhai22abdef2014-03-15 02:14:49 +04001239 rt_rq->rt_nr_running -= rt_se_nr_running(rt_se);
Frederic Weisbecker01d36d02015-11-04 18:17:10 +01001240 rt_rq->rr_nr_running -= rt_se_rr_nr_running(rt_se);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001241
Gregory Haskins398a1532009-01-14 09:10:04 -05001242 dec_rt_prio(rt_rq, rt_se_prio(rt_se));
1243 dec_rt_migration(rt_se, rt_rq);
1244 dec_rt_group(rt_se, rt_rq);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001245}
1246
Peter Zijlstraff77e462016-01-18 15:27:07 +01001247/*
1248 * Change rt_se->run_list location unless SAVE && !MOVE
1249 *
1250 * assumes ENQUEUE/DEQUEUE flags match
1251 */
1252static inline bool move_entity(unsigned int flags)
1253{
1254 if ((flags & (DEQUEUE_SAVE | DEQUEUE_MOVE)) == DEQUEUE_SAVE)
1255 return false;
1256
1257 return true;
1258}
1259
1260static void __delist_rt_entity(struct sched_rt_entity *rt_se, struct rt_prio_array *array)
1261{
1262 list_del_init(&rt_se->run_list);
1263
1264 if (list_empty(array->queue + rt_se_prio(rt_se)))
1265 __clear_bit(rt_se_prio(rt_se), array->bitmap);
1266
1267 rt_se->on_list = 0;
1268}
1269
1270static void __enqueue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001271{
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001272 struct rt_rq *rt_rq = rt_rq_of_se(rt_se);
1273 struct rt_prio_array *array = &rt_rq->active;
1274 struct rt_rq *group_rq = group_rt_rq(rt_se);
Dmitry Adamushko20b63312008-06-11 00:58:30 +02001275 struct list_head *queue = array->queue + rt_se_prio(rt_se);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001276
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001277 /*
1278 * Don't enqueue the group if its throttled, or when empty.
1279 * The latter is a consequence of the former when a child group
1280 * get throttled and the current group doesn't have any other
1281 * active members.
1282 */
Peter Zijlstraff77e462016-01-18 15:27:07 +01001283 if (group_rq && (rt_rq_throttled(group_rq) || !group_rq->rt_nr_running)) {
1284 if (rt_se->on_list)
1285 __delist_rt_entity(rt_se, array);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001286 return;
Peter Zijlstraff77e462016-01-18 15:27:07 +01001287 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001288
Peter Zijlstraff77e462016-01-18 15:27:07 +01001289 if (move_entity(flags)) {
1290 WARN_ON_ONCE(rt_se->on_list);
1291 if (flags & ENQUEUE_HEAD)
1292 list_add(&rt_se->run_list, queue);
1293 else
1294 list_add_tail(&rt_se->run_list, queue);
1295
1296 __set_bit(rt_se_prio(rt_se), array->bitmap);
1297 rt_se->on_list = 1;
1298 }
1299 rt_se->on_rq = 1;
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01001300
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001301 inc_rt_tasks(rt_se, rt_rq);
1302}
1303
Peter Zijlstraff77e462016-01-18 15:27:07 +01001304static void __dequeue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001305{
1306 struct rt_rq *rt_rq = rt_rq_of_se(rt_se);
1307 struct rt_prio_array *array = &rt_rq->active;
1308
Peter Zijlstraff77e462016-01-18 15:27:07 +01001309 if (move_entity(flags)) {
1310 WARN_ON_ONCE(!rt_se->on_list);
1311 __delist_rt_entity(rt_se, array);
1312 }
1313 rt_se->on_rq = 0;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001314
1315 dec_rt_tasks(rt_se, rt_rq);
1316}
1317
1318/*
1319 * Because the prio of an upper entry depends on the lower
1320 * entries, we must remove entries top - down.
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001321 */
Peter Zijlstraff77e462016-01-18 15:27:07 +01001322static void dequeue_rt_stack(struct sched_rt_entity *rt_se, unsigned int flags)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001323{
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001324 struct sched_rt_entity *back = NULL;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001325
Peter Zijlstra58d6c2d2008-04-19 19:45:00 +02001326 for_each_sched_rt_entity(rt_se) {
1327 rt_se->back = back;
1328 back = rt_se;
1329 }
1330
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001331 dequeue_top_rt_rq(rt_rq_of_se(back));
1332
Peter Zijlstra58d6c2d2008-04-19 19:45:00 +02001333 for (rt_se = back; rt_se; rt_se = rt_se->back) {
1334 if (on_rt_rq(rt_se))
Peter Zijlstraff77e462016-01-18 15:27:07 +01001335 __dequeue_rt_entity(rt_se, flags);
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001336 }
1337}
1338
Peter Zijlstraff77e462016-01-18 15:27:07 +01001339static void enqueue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags)
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001340{
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001341 struct rq *rq = rq_of_rt_se(rt_se);
1342
Peter Zijlstraff77e462016-01-18 15:27:07 +01001343 dequeue_rt_stack(rt_se, flags);
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001344 for_each_sched_rt_entity(rt_se)
Peter Zijlstraff77e462016-01-18 15:27:07 +01001345 __enqueue_rt_entity(rt_se, flags);
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001346 enqueue_top_rt_rq(&rq->rt);
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001347}
1348
Peter Zijlstraff77e462016-01-18 15:27:07 +01001349static void dequeue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags)
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001350{
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001351 struct rq *rq = rq_of_rt_se(rt_se);
1352
Peter Zijlstraff77e462016-01-18 15:27:07 +01001353 dequeue_rt_stack(rt_se, flags);
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001354
1355 for_each_sched_rt_entity(rt_se) {
1356 struct rt_rq *rt_rq = group_rt_rq(rt_se);
1357
1358 if (rt_rq && rt_rq->rt_nr_running)
Peter Zijlstraff77e462016-01-18 15:27:07 +01001359 __enqueue_rt_entity(rt_se, flags);
Peter Zijlstra58d6c2d2008-04-19 19:45:00 +02001360 }
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001361 enqueue_top_rt_rq(&rq->rt);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001362}
1363
1364/*
1365 * Adding/removing a task to/from a priority array:
1366 */
Thomas Gleixnerea87bb72010-01-20 20:58:57 +00001367static void
Peter Zijlstra371fd7e2010-03-24 16:38:48 +01001368enqueue_task_rt(struct rq *rq, struct task_struct *p, int flags)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001369{
1370 struct sched_rt_entity *rt_se = &p->rt;
1371
Peter Zijlstra371fd7e2010-03-24 16:38:48 +01001372 if (flags & ENQUEUE_WAKEUP)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001373 rt_se->timeout = 0;
1374
Peter Zijlstraff77e462016-01-18 15:27:07 +01001375 enqueue_rt_entity(rt_se, flags);
Peter Zijlstrac09595f2008-06-27 13:41:14 +02001376
Ingo Molnar4b53a342017-02-05 15:41:03 +01001377 if (!task_current(rq, p) && p->nr_cpus_allowed > 1)
Gregory Haskins917b6272008-12-29 09:39:53 -05001378 enqueue_pushable_task(rq, p);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001379}
1380
Peter Zijlstra371fd7e2010-03-24 16:38:48 +01001381static void dequeue_task_rt(struct rq *rq, struct task_struct *p, int flags)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001382{
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001383 struct sched_rt_entity *rt_se = &p->rt;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001384
1385 update_curr_rt(rq);
Peter Zijlstraff77e462016-01-18 15:27:07 +01001386 dequeue_rt_entity(rt_se, flags);
Peter Zijlstrac09595f2008-06-27 13:41:14 +02001387
Gregory Haskins917b6272008-12-29 09:39:53 -05001388 dequeue_pushable_task(rq, p);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001389}
1390
1391/*
Richard Weinberger60686312011-11-12 18:07:57 +01001392 * Put task to the head or the end of the run list without the overhead of
1393 * dequeue followed by enqueue.
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001394 */
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001395static void
1396requeue_rt_entity(struct rt_rq *rt_rq, struct sched_rt_entity *rt_se, int head)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001397{
Ingo Molnar1cdad712008-06-19 09:09:15 +02001398 if (on_rt_rq(rt_se)) {
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001399 struct rt_prio_array *array = &rt_rq->active;
1400 struct list_head *queue = array->queue + rt_se_prio(rt_se);
1401
1402 if (head)
1403 list_move(&rt_se->run_list, queue);
1404 else
1405 list_move_tail(&rt_se->run_list, queue);
Ingo Molnar1cdad712008-06-19 09:09:15 +02001406 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001407}
1408
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001409static void requeue_task_rt(struct rq *rq, struct task_struct *p, int head)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001410{
1411 struct sched_rt_entity *rt_se = &p->rt;
1412 struct rt_rq *rt_rq;
1413
1414 for_each_sched_rt_entity(rt_se) {
1415 rt_rq = rt_rq_of_se(rt_se);
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001416 requeue_rt_entity(rt_rq, rt_se, head);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001417 }
1418}
1419
1420static void yield_task_rt(struct rq *rq)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001421{
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001422 requeue_task_rt(rq, rq->curr, 0);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001423}
1424
Gregory Haskinse7693a32008-01-25 21:08:09 +01001425#ifdef CONFIG_SMP
Gregory Haskins318e0892008-01-25 21:08:10 +01001426static int find_lowest_rq(struct task_struct *task);
1427
Peter Zijlstra0017d732010-03-24 18:34:10 +01001428static int
Peter Zijlstraac66f542013-10-07 11:29:16 +01001429select_task_rq_rt(struct task_struct *p, int cpu, int sd_flag, int flags)
Gregory Haskinse7693a32008-01-25 21:08:09 +01001430{
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001431 struct task_struct *curr;
1432 struct rq *rq;
Qais Yousef804d4022019-10-09 11:46:11 +01001433 bool test;
Steven Rostedtc37495f2011-06-16 21:55:22 -04001434
1435 /* For anything but wake ups, just return the task_cpu */
1436 if (sd_flag != SD_BALANCE_WAKE && sd_flag != SD_BALANCE_FORK)
1437 goto out;
1438
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001439 rq = cpu_rq(cpu);
1440
1441 rcu_read_lock();
Jason Low316c1608d2015-04-28 13:00:20 -07001442 curr = READ_ONCE(rq->curr); /* unlocked access */
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001443
Gregory Haskins318e0892008-01-25 21:08:10 +01001444 /*
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001445 * If the current task on @p's runqueue is an RT task, then
Steven Rostedte1f47d82008-01-25 21:08:12 +01001446 * try to see if we can wake this RT task up on another
1447 * runqueue. Otherwise simply start this RT task
1448 * on its current runqueue.
1449 *
Steven Rostedt43fa5462010-09-20 22:40:03 -04001450 * We want to avoid overloading runqueues. If the woken
1451 * task is a higher priority, then it will stay on this CPU
1452 * and the lower prio task should be moved to another CPU.
1453 * Even though this will probably make the lower prio task
1454 * lose its cache, we do not want to bounce a higher task
1455 * around just because it gave up its CPU, perhaps for a
1456 * lock?
1457 *
1458 * For equal prio tasks, we just let the scheduler sort it out.
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001459 *
Gregory Haskins318e0892008-01-25 21:08:10 +01001460 * Otherwise, just let it ride on the affined RQ and the
1461 * post-schedule router will push the preempted task away
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001462 *
1463 * This test is optimistic, if we get it wrong the load-balancer
1464 * will have to sort it out.
Qais Yousef804d4022019-10-09 11:46:11 +01001465 *
1466 * We take into account the capacity of the CPU to ensure it fits the
1467 * requirement of the task - which is only important on heterogeneous
1468 * systems like big.LITTLE.
Gregory Haskins318e0892008-01-25 21:08:10 +01001469 */
Qais Yousef804d4022019-10-09 11:46:11 +01001470 test = curr &&
1471 unlikely(rt_task(curr)) &&
1472 (curr->nr_cpus_allowed < 2 || curr->prio <= p->prio);
1473
1474 if (test || !rt_task_fits_capacity(p, cpu)) {
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001475 int target = find_lowest_rq(p);
1476
Tim Chen80e3d872014-12-12 15:38:12 -08001477 /*
Qais Yousefb28bc1e2020-03-02 13:27:17 +00001478 * Bail out if we were forcing a migration to find a better
1479 * fitting CPU but our search failed.
1480 */
1481 if (!test && target != -1 && !rt_task_fits_capacity(p, target))
1482 goto out_unlock;
1483
1484 /*
Tim Chen80e3d872014-12-12 15:38:12 -08001485 * Don't bother moving it if the destination CPU is
1486 * not running a lower priority task.
1487 */
1488 if (target != -1 &&
1489 p->prio < cpu_rq(target)->rt.highest_prio.curr)
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001490 cpu = target;
1491 }
Qais Yousefb28bc1e2020-03-02 13:27:17 +00001492
1493out_unlock:
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001494 rcu_read_unlock();
1495
Steven Rostedtc37495f2011-06-16 21:55:22 -04001496out:
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001497 return cpu;
Gregory Haskinse7693a32008-01-25 21:08:09 +01001498}
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001499
1500static void check_preempt_equal_prio(struct rq *rq, struct task_struct *p)
1501{
Wanpeng Li308a6232014-10-31 06:39:31 +08001502 /*
1503 * Current can't be migrated, useless to reschedule,
1504 * let's hope p can move out.
1505 */
Ingo Molnar4b53a342017-02-05 15:41:03 +01001506 if (rq->curr->nr_cpus_allowed == 1 ||
Qais Yousefa1bd02e2020-03-02 13:27:18 +00001507 !cpupri_find(&rq->rd->cpupri, rq->curr, NULL))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001508 return;
1509
Wanpeng Li308a6232014-10-31 06:39:31 +08001510 /*
1511 * p is migratable, so let's not schedule it and
1512 * see if it is pushed or pulled somewhere else.
1513 */
Qais Yousef804d4022019-10-09 11:46:11 +01001514 if (p->nr_cpus_allowed != 1 &&
Qais Yousefa1bd02e2020-03-02 13:27:18 +00001515 cpupri_find(&rq->rd->cpupri, p, NULL))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001516 return;
1517
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001518 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001519 * There appear to be other CPUs that can accept
1520 * the current task but none can run 'p', so lets reschedule
1521 * to try and push the current task away:
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001522 */
1523 requeue_task_rt(rq, p, 1);
Kirill Tkhai88751252014-06-29 00:03:57 +04001524 resched_curr(rq);
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001525}
1526
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001527static int balance_rt(struct rq *rq, struct task_struct *p, struct rq_flags *rf)
1528{
1529 if (!on_rt_rq(&p->rt) && need_pull_rt_task(rq, p)) {
1530 /*
1531 * This is OK, because current is on_cpu, which avoids it being
1532 * picked for load-balance and preemption/IRQs are still
1533 * disabled avoiding further scheduler activity on it and we've
1534 * not yet started the picking loop.
1535 */
1536 rq_unpin_lock(rq, rf);
1537 pull_rt_task(rq);
1538 rq_repin_lock(rq, rf);
1539 }
1540
1541 return sched_stop_runnable(rq) || sched_dl_runnable(rq) || sched_rt_runnable(rq);
1542}
Gregory Haskinse7693a32008-01-25 21:08:09 +01001543#endif /* CONFIG_SMP */
1544
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001545/*
1546 * Preempt the current task with a newly woken task if needed:
1547 */
Peter Zijlstra7d478722009-09-14 19:55:44 +02001548static void check_preempt_curr_rt(struct rq *rq, struct task_struct *p, int flags)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001549{
Gregory Haskins45c01e82008-05-12 21:20:41 +02001550 if (p->prio < rq->curr->prio) {
Kirill Tkhai88751252014-06-29 00:03:57 +04001551 resched_curr(rq);
Gregory Haskins45c01e82008-05-12 21:20:41 +02001552 return;
1553 }
1554
1555#ifdef CONFIG_SMP
1556 /*
1557 * If:
1558 *
1559 * - the newly woken task is of equal priority to the current task
1560 * - the newly woken task is non-migratable while current is migratable
1561 * - current will be preempted on the next reschedule
1562 *
1563 * we should check to see if current can readily move to a different
1564 * cpu. If so, we will reschedule to allow the push logic to try
1565 * to move current somewhere else, making room for our non-migratable
1566 * task.
1567 */
Hillf Danton8dd0de82011-06-14 18:36:24 -04001568 if (p->prio == rq->curr->prio && !test_tsk_need_resched(rq->curr))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001569 check_preempt_equal_prio(rq, p);
Gregory Haskins45c01e82008-05-12 21:20:41 +02001570#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001571}
1572
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001573static inline void set_next_task_rt(struct rq *rq, struct task_struct *p, bool first)
Muchun Songff1cdc92018-10-26 21:17:43 +08001574{
1575 p->se.exec_start = rq_clock_task(rq);
1576
1577 /* The running task is never eligible for pushing */
1578 dequeue_pushable_task(rq, p);
Peter Zijlstraf95d4ea2019-05-29 20:36:40 +00001579
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001580 if (!first)
1581 return;
1582
Peter Zijlstraf95d4ea2019-05-29 20:36:40 +00001583 /*
1584 * If prev task was rt, put_prev_task() has already updated the
1585 * utilization. We only care of the case where we start to schedule a
1586 * rt task
1587 */
1588 if (rq->curr->sched_class != &rt_sched_class)
1589 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 0);
1590
1591 rt_queue_push_tasks(rq);
Muchun Songff1cdc92018-10-26 21:17:43 +08001592}
1593
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001594static struct sched_rt_entity *pick_next_rt_entity(struct rq *rq,
1595 struct rt_rq *rt_rq)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001596{
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001597 struct rt_prio_array *array = &rt_rq->active;
1598 struct sched_rt_entity *next = NULL;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001599 struct list_head *queue;
1600 int idx;
1601
1602 idx = sched_find_first_bit(array->bitmap);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001603 BUG_ON(idx >= MAX_RT_PRIO);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001604
1605 queue = array->queue + idx;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001606 next = list_entry(queue->next, struct sched_rt_entity, run_list);
Dmitry Adamushko326587b2008-01-25 21:08:34 +01001607
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001608 return next;
1609}
1610
Gregory Haskins917b6272008-12-29 09:39:53 -05001611static struct task_struct *_pick_next_task_rt(struct rq *rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001612{
1613 struct sched_rt_entity *rt_se;
Peter Zijlstra606dba22012-02-11 06:05:00 +01001614 struct rt_rq *rt_rq = &rq->rt;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001615
1616 do {
1617 rt_se = pick_next_rt_entity(rq, rt_rq);
Dmitry Adamushko326587b2008-01-25 21:08:34 +01001618 BUG_ON(!rt_se);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001619 rt_rq = group_rt_rq(rt_se);
1620 } while (rt_rq);
1621
Muchun Songff1cdc92018-10-26 21:17:43 +08001622 return rt_task_of(rt_se);
Gregory Haskins917b6272008-12-29 09:39:53 -05001623}
1624
Peter Zijlstra98c2f702019-11-08 14:15:58 +01001625static struct task_struct *pick_next_task_rt(struct rq *rq)
Gregory Haskins917b6272008-12-29 09:39:53 -05001626{
Peter Zijlstra606dba22012-02-11 06:05:00 +01001627 struct task_struct *p;
Peter Zijlstra606dba22012-02-11 06:05:00 +01001628
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001629 if (!sched_rt_runnable(rq))
Peter Zijlstra606dba22012-02-11 06:05:00 +01001630 return NULL;
1631
Peter Zijlstra606dba22012-02-11 06:05:00 +01001632 p = _pick_next_task_rt(rq);
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001633 set_next_task_rt(rq, p, true);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001634 return p;
1635}
1636
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001637static void put_prev_task_rt(struct rq *rq, struct task_struct *p)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001638{
Ingo Molnarf1e14ef2007-08-09 11:16:48 +02001639 update_curr_rt(rq);
Gregory Haskins917b6272008-12-29 09:39:53 -05001640
Vincent Guittot23127292019-01-23 16:26:53 +01001641 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 1);
Vincent Guittot371bf422018-06-28 17:45:05 +02001642
Gregory Haskins917b6272008-12-29 09:39:53 -05001643 /*
1644 * The previous task needs to be made eligible for pushing
1645 * if it is still active
1646 */
Ingo Molnar4b53a342017-02-05 15:41:03 +01001647 if (on_rt_rq(&p->rt) && p->nr_cpus_allowed > 1)
Gregory Haskins917b6272008-12-29 09:39:53 -05001648 enqueue_pushable_task(rq, p);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001649}
1650
Peter Williams681f3e62007-10-24 18:23:51 +02001651#ifdef CONFIG_SMP
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001652
Steven Rostedte8fa1362008-01-25 21:08:05 +01001653/* Only try algorithms three times */
1654#define RT_MAX_TRIES 3
1655
Steven Rostedtf65eda42008-01-25 21:08:07 +01001656static int pick_rt_task(struct rq *rq, struct task_struct *p, int cpu)
1657{
1658 if (!task_running(rq, p) &&
Qais Yousef98ca6452020-03-02 13:27:19 +00001659 cpumask_test_cpu(cpu, p->cpus_ptr))
Steven Rostedtf65eda42008-01-25 21:08:07 +01001660 return 1;
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001661
Steven Rostedtf65eda42008-01-25 21:08:07 +01001662 return 0;
1663}
1664
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001665/*
1666 * Return the highest pushable rq's task, which is suitable to be executed
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001667 * on the CPU, NULL otherwise
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001668 */
1669static struct task_struct *pick_highest_pushable_task(struct rq *rq, int cpu)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001670{
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001671 struct plist_head *head = &rq->rt.pushable_tasks;
1672 struct task_struct *p;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001673
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001674 if (!has_pushable_tasks(rq))
1675 return NULL;
Peter Zijlstra3d074672010-03-10 17:07:24 +01001676
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001677 plist_for_each_entry(p, head, pushable_tasks) {
1678 if (pick_rt_task(rq, p, cpu))
1679 return p;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001680 }
1681
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001682 return NULL;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001683}
1684
Rusty Russell0e3900e2008-11-25 02:35:13 +10301685static DEFINE_PER_CPU(cpumask_var_t, local_cpu_mask);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001686
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001687static int find_lowest_rq(struct task_struct *task)
1688{
1689 struct sched_domain *sd;
Christoph Lameter4ba29682014-08-26 19:12:21 -05001690 struct cpumask *lowest_mask = this_cpu_cpumask_var_ptr(local_cpu_mask);
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001691 int this_cpu = smp_processor_id();
1692 int cpu = task_cpu(task);
Qais Yousefa1bd02e2020-03-02 13:27:18 +00001693 int ret;
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001694
Steven Rostedt0da938c2011-06-14 18:36:25 -04001695 /* Make sure the mask is initialized first */
1696 if (unlikely(!lowest_mask))
1697 return -1;
1698
Ingo Molnar4b53a342017-02-05 15:41:03 +01001699 if (task->nr_cpus_allowed == 1)
Gregory Haskins6e0534f2008-05-12 21:21:01 +02001700 return -1; /* No other targets possible */
1701
Qais Yousefa1bd02e2020-03-02 13:27:18 +00001702 /*
1703 * If we're on asym system ensure we consider the different capacities
1704 * of the CPUs when searching for the lowest_mask.
1705 */
1706 if (static_branch_unlikely(&sched_asym_cpucapacity)) {
1707
1708 ret = cpupri_find_fitness(&task_rq(task)->rd->cpupri,
1709 task, lowest_mask,
1710 rt_task_fits_capacity);
1711 } else {
1712
1713 ret = cpupri_find(&task_rq(task)->rd->cpupri,
1714 task, lowest_mask);
1715 }
1716
1717 if (!ret)
Gregory Haskins06f90db2008-01-25 21:08:13 +01001718 return -1; /* No targets found */
1719
1720 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001721 * At this point we have built a mask of CPUs representing the
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001722 * lowest priority tasks in the system. Now we want to elect
1723 * the best one based on our affinity and topology.
1724 *
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001725 * We prioritize the last CPU that the task executed on since
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001726 * it is most likely cache-hot in that location.
1727 */
Rusty Russell96f874e22008-11-25 02:35:14 +10301728 if (cpumask_test_cpu(cpu, lowest_mask))
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001729 return cpu;
1730
1731 /*
1732 * Otherwise, we consult the sched_domains span maps to figure
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001733 * out which CPU is logically closest to our hot cache data.
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001734 */
Rusty Russelle2c88062009-11-03 14:53:15 +10301735 if (!cpumask_test_cpu(this_cpu, lowest_mask))
1736 this_cpu = -1; /* Skip this_cpu opt if not among lowest */
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001737
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001738 rcu_read_lock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301739 for_each_domain(cpu, sd) {
1740 if (sd->flags & SD_WAKE_AFFINE) {
1741 int best_cpu;
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001742
Rusty Russelle2c88062009-11-03 14:53:15 +10301743 /*
1744 * "this_cpu" is cheaper to preempt than a
1745 * remote processor.
1746 */
1747 if (this_cpu != -1 &&
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001748 cpumask_test_cpu(this_cpu, sched_domain_span(sd))) {
1749 rcu_read_unlock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301750 return this_cpu;
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001751 }
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001752
Rusty Russelle2c88062009-11-03 14:53:15 +10301753 best_cpu = cpumask_first_and(lowest_mask,
1754 sched_domain_span(sd));
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001755 if (best_cpu < nr_cpu_ids) {
1756 rcu_read_unlock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301757 return best_cpu;
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001758 }
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001759 }
1760 }
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001761 rcu_read_unlock();
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001762
1763 /*
1764 * And finally, if there were no matches within the domains
1765 * just give the caller *something* to work with from the compatible
1766 * locations.
1767 */
Rusty Russelle2c88062009-11-03 14:53:15 +10301768 if (this_cpu != -1)
1769 return this_cpu;
1770
1771 cpu = cpumask_any(lowest_mask);
1772 if (cpu < nr_cpu_ids)
1773 return cpu;
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001774
Rusty Russelle2c88062009-11-03 14:53:15 +10301775 return -1;
Gregory Haskins07b40322008-01-25 21:08:10 +01001776}
1777
Steven Rostedte8fa1362008-01-25 21:08:05 +01001778/* Will lock the rq it finds */
Ingo Molnar4df64c02008-01-25 21:08:15 +01001779static struct rq *find_lock_lowest_rq(struct task_struct *task, struct rq *rq)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001780{
1781 struct rq *lowest_rq = NULL;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001782 int tries;
Ingo Molnar4df64c02008-01-25 21:08:15 +01001783 int cpu;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001784
1785 for (tries = 0; tries < RT_MAX_TRIES; tries++) {
Gregory Haskins07b40322008-01-25 21:08:10 +01001786 cpu = find_lowest_rq(task);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001787
Gregory Haskins2de0b462008-01-25 21:08:10 +01001788 if ((cpu == -1) || (cpu == rq->cpu))
Steven Rostedte8fa1362008-01-25 21:08:05 +01001789 break;
1790
Gregory Haskins07b40322008-01-25 21:08:10 +01001791 lowest_rq = cpu_rq(cpu);
1792
Tim Chen80e3d872014-12-12 15:38:12 -08001793 if (lowest_rq->rt.highest_prio.curr <= task->prio) {
1794 /*
1795 * Target rq has tasks of equal or higher priority,
1796 * retrying does not release any lock and is unlikely
1797 * to yield a different result.
1798 */
1799 lowest_rq = NULL;
1800 break;
1801 }
1802
Steven Rostedte8fa1362008-01-25 21:08:05 +01001803 /* if the prio of this runqueue changed, try again */
Gregory Haskins07b40322008-01-25 21:08:10 +01001804 if (double_lock_balance(rq, lowest_rq)) {
Steven Rostedte8fa1362008-01-25 21:08:05 +01001805 /*
1806 * We had to unlock the run queue. In
1807 * the mean time, task could have
1808 * migrated already or had its affinity changed.
1809 * Also make sure that it wasn't scheduled on its rq.
1810 */
Gregory Haskins07b40322008-01-25 21:08:10 +01001811 if (unlikely(task_rq(task) != rq ||
Sebastian Andrzej Siewior3bd37062019-04-23 16:26:36 +02001812 !cpumask_test_cpu(lowest_rq->cpu, task->cpus_ptr) ||
Gregory Haskins07b40322008-01-25 21:08:10 +01001813 task_running(rq, task) ||
Xunlei Pang13b5ab02016-05-09 12:11:31 +08001814 !rt_task(task) ||
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04001815 !task_on_rq_queued(task))) {
Ingo Molnar4df64c02008-01-25 21:08:15 +01001816
Peter Zijlstra7f1b4392012-05-17 21:19:46 +02001817 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001818 lowest_rq = NULL;
1819 break;
1820 }
1821 }
1822
1823 /* If this rq is still suitable use it. */
Gregory Haskinse864c492008-12-29 09:39:49 -05001824 if (lowest_rq->rt.highest_prio.curr > task->prio)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001825 break;
1826
1827 /* try again */
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02001828 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001829 lowest_rq = NULL;
1830 }
1831
1832 return lowest_rq;
1833}
1834
Gregory Haskins917b6272008-12-29 09:39:53 -05001835static struct task_struct *pick_next_pushable_task(struct rq *rq)
1836{
1837 struct task_struct *p;
1838
1839 if (!has_pushable_tasks(rq))
1840 return NULL;
1841
1842 p = plist_first_entry(&rq->rt.pushable_tasks,
1843 struct task_struct, pushable_tasks);
1844
1845 BUG_ON(rq->cpu != task_cpu(p));
1846 BUG_ON(task_current(rq, p));
Ingo Molnar4b53a342017-02-05 15:41:03 +01001847 BUG_ON(p->nr_cpus_allowed <= 1);
Gregory Haskins917b6272008-12-29 09:39:53 -05001848
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04001849 BUG_ON(!task_on_rq_queued(p));
Gregory Haskins917b6272008-12-29 09:39:53 -05001850 BUG_ON(!rt_task(p));
1851
1852 return p;
1853}
1854
Steven Rostedte8fa1362008-01-25 21:08:05 +01001855/*
1856 * If the current CPU has more than one RT task, see if the non
1857 * running task can migrate over to a CPU that is running a task
1858 * of lesser priority.
1859 */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001860static int push_rt_task(struct rq *rq)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001861{
1862 struct task_struct *next_task;
1863 struct rq *lowest_rq;
Hillf Danton311e8002011-06-16 21:55:20 -04001864 int ret = 0;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001865
Gregory Haskinsa22d7fc2008-01-25 21:08:12 +01001866 if (!rq->rt.overloaded)
1867 return 0;
1868
Gregory Haskins917b6272008-12-29 09:39:53 -05001869 next_task = pick_next_pushable_task(rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001870 if (!next_task)
1871 return 0;
1872
Peter Zijlstra49246272010-10-17 21:46:10 +02001873retry:
Yangtao Li9ebc6052018-11-03 13:26:02 -04001874 if (WARN_ON(next_task == rq->curr))
Steven Rostedte8fa1362008-01-25 21:08:05 +01001875 return 0;
1876
1877 /*
1878 * It's possible that the next_task slipped in of
1879 * higher priority than current. If that's the case
1880 * just reschedule current.
1881 */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001882 if (unlikely(next_task->prio < rq->curr->prio)) {
Kirill Tkhai88751252014-06-29 00:03:57 +04001883 resched_curr(rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001884 return 0;
1885 }
1886
Gregory Haskins697f0a42008-01-25 21:08:09 +01001887 /* We might release rq lock */
Steven Rostedte8fa1362008-01-25 21:08:05 +01001888 get_task_struct(next_task);
1889
1890 /* find_lock_lowest_rq locks the rq if found */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001891 lowest_rq = find_lock_lowest_rq(next_task, rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001892 if (!lowest_rq) {
1893 struct task_struct *task;
1894 /*
Hillf Danton311e8002011-06-16 21:55:20 -04001895 * find_lock_lowest_rq releases rq->lock
Gregory Haskins15635132008-12-29 09:39:53 -05001896 * so it is possible that next_task has migrated.
1897 *
1898 * We need to make sure that the task is still on the same
1899 * run-queue and is also still the next task eligible for
1900 * pushing.
Steven Rostedte8fa1362008-01-25 21:08:05 +01001901 */
Gregory Haskins917b6272008-12-29 09:39:53 -05001902 task = pick_next_pushable_task(rq);
Byungchul Parkde16b912017-05-12 10:05:43 +09001903 if (task == next_task) {
Gregory Haskins15635132008-12-29 09:39:53 -05001904 /*
Hillf Danton311e8002011-06-16 21:55:20 -04001905 * The task hasn't migrated, and is still the next
1906 * eligible task, but we failed to find a run-queue
1907 * to push it to. Do not retry in this case, since
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001908 * other CPUs will pull from us when ready.
Gregory Haskins15635132008-12-29 09:39:53 -05001909 */
Gregory Haskins15635132008-12-29 09:39:53 -05001910 goto out;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001911 }
Gregory Haskins917b6272008-12-29 09:39:53 -05001912
Gregory Haskins15635132008-12-29 09:39:53 -05001913 if (!task)
1914 /* No more tasks, just exit */
1915 goto out;
1916
Gregory Haskins917b6272008-12-29 09:39:53 -05001917 /*
Gregory Haskins15635132008-12-29 09:39:53 -05001918 * Something has shifted, try again.
Gregory Haskins917b6272008-12-29 09:39:53 -05001919 */
Gregory Haskins15635132008-12-29 09:39:53 -05001920 put_task_struct(next_task);
1921 next_task = task;
1922 goto retry;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001923 }
1924
Gregory Haskins697f0a42008-01-25 21:08:09 +01001925 deactivate_task(rq, next_task, 0);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001926 set_task_cpu(next_task, lowest_rq->cpu);
1927 activate_task(lowest_rq, next_task, 0);
Hillf Danton311e8002011-06-16 21:55:20 -04001928 ret = 1;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001929
Kirill Tkhai88751252014-06-29 00:03:57 +04001930 resched_curr(lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001931
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02001932 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001933
Steven Rostedte8fa1362008-01-25 21:08:05 +01001934out:
1935 put_task_struct(next_task);
1936
Hillf Danton311e8002011-06-16 21:55:20 -04001937 return ret;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001938}
1939
Steven Rostedte8fa1362008-01-25 21:08:05 +01001940static void push_rt_tasks(struct rq *rq)
1941{
1942 /* push_rt_task will return true if it moved an RT */
1943 while (push_rt_task(rq))
1944 ;
1945}
1946
Steven Rostedtb6366f02015-03-18 14:49:46 -04001947#ifdef HAVE_RT_PUSH_IPI
Steven Rostedtb6366f02015-03-18 14:49:46 -04001948
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001949/*
1950 * When a high priority task schedules out from a CPU and a lower priority
1951 * task is scheduled in, a check is made to see if there's any RT tasks
1952 * on other CPUs that are waiting to run because a higher priority RT task
1953 * is currently running on its CPU. In this case, the CPU with multiple RT
1954 * tasks queued on it (overloaded) needs to be notified that a CPU has opened
1955 * up that may be able to run one of its non-running queued RT tasks.
1956 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001957 * All CPUs with overloaded RT tasks need to be notified as there is currently
1958 * no way to know which of these CPUs have the highest priority task waiting
1959 * to run. Instead of trying to take a spinlock on each of these CPUs,
1960 * which has shown to cause large latency when done on machines with many
1961 * CPUs, sending an IPI to the CPUs to have them push off the overloaded
1962 * RT tasks waiting to run.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001963 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001964 * Just sending an IPI to each of the CPUs is also an issue, as on large
1965 * count CPU machines, this can cause an IPI storm on a CPU, especially
1966 * if its the only CPU with multiple RT tasks queued, and a large number
1967 * of CPUs scheduling a lower priority task at the same time.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001968 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001969 * Each root domain has its own irq work function that can iterate over
1970 * all CPUs with RT overloaded tasks. Since all CPUs with overloaded RT
1971 * tassk must be checked if there's one or many CPUs that are lowering
1972 * their priority, there's a single irq work iterator that will try to
1973 * push off RT tasks that are waiting to run.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001974 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001975 * When a CPU schedules a lower priority task, it will kick off the
1976 * irq work iterator that will jump to each CPU with overloaded RT tasks.
1977 * As it only takes the first CPU that schedules a lower priority task
1978 * to start the process, the rto_start variable is incremented and if
1979 * the atomic result is one, then that CPU will try to take the rto_lock.
1980 * This prevents high contention on the lock as the process handles all
1981 * CPUs scheduling lower priority tasks.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001982 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001983 * All CPUs that are scheduling a lower priority task will increment the
1984 * rt_loop_next variable. This will make sure that the irq work iterator
1985 * checks all RT overloaded CPUs whenever a CPU schedules a new lower
1986 * priority task, even if the iterator is in the middle of a scan. Incrementing
1987 * the rt_loop_next will cause the iterator to perform another scan.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001988 *
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001989 */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05001990static int rto_next_cpu(struct root_domain *rd)
Steven Rostedtb6366f02015-03-18 14:49:46 -04001991{
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001992 int next;
Steven Rostedtb6366f02015-03-18 14:49:46 -04001993 int cpu;
1994
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001995 /*
1996 * When starting the IPI RT pushing, the rto_cpu is set to -1,
1997 * rt_next_cpu() will simply return the first CPU found in
1998 * the rto_mask.
1999 *
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002000 * If rto_next_cpu() is called with rto_cpu is a valid CPU, it
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002001 * will return the next CPU found in the rto_mask.
2002 *
2003 * If there are no more CPUs left in the rto_mask, then a check is made
2004 * against rto_loop and rto_loop_next. rto_loop is only updated with
2005 * the rto_lock held, but any CPU may increment the rto_loop_next
2006 * without any locking.
2007 */
2008 for (;;) {
2009
2010 /* When rto_cpu is -1 this acts like cpumask_first() */
2011 cpu = cpumask_next(rd->rto_cpu, rd->rto_mask);
2012
2013 rd->rto_cpu = cpu;
2014
2015 if (cpu < nr_cpu_ids)
2016 return cpu;
2017
2018 rd->rto_cpu = -1;
2019
2020 /*
2021 * ACQUIRE ensures we see the @rto_mask changes
2022 * made prior to the @next value observed.
2023 *
2024 * Matches WMB in rt_set_overload().
2025 */
2026 next = atomic_read_acquire(&rd->rto_loop_next);
2027
2028 if (rd->rto_loop == next)
2029 break;
2030
2031 rd->rto_loop = next;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002032 }
2033
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002034 return -1;
2035}
Steven Rostedtb6366f02015-03-18 14:49:46 -04002036
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002037static inline bool rto_start_trylock(atomic_t *v)
2038{
2039 return !atomic_cmpxchg_acquire(v, 0, 1);
2040}
2041
2042static inline void rto_start_unlock(atomic_t *v)
2043{
2044 atomic_set_release(v, 0);
2045}
2046
2047static void tell_cpu_to_push(struct rq *rq)
2048{
2049 int cpu = -1;
2050
2051 /* Keep the loop going if the IPI is currently active */
2052 atomic_inc(&rq->rd->rto_loop_next);
2053
2054 /* Only one CPU can initiate a loop at a time */
2055 if (!rto_start_trylock(&rq->rd->rto_loop_start))
Steven Rostedtb6366f02015-03-18 14:49:46 -04002056 return;
2057
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002058 raw_spin_lock(&rq->rd->rto_lock);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002059
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002060 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002061 * The rto_cpu is updated under the lock, if it has a valid CPU
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002062 * then the IPI is still running and will continue due to the
2063 * update to loop_next, and nothing needs to be done here.
2064 * Otherwise it is finishing up and an ipi needs to be sent.
2065 */
2066 if (rq->rd->rto_cpu < 0)
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002067 cpu = rto_next_cpu(rq->rd);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002068
2069 raw_spin_unlock(&rq->rd->rto_lock);
2070
2071 rto_start_unlock(&rq->rd->rto_loop_start);
2072
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002073 if (cpu >= 0) {
2074 /* Make sure the rd does not get freed while pushing */
2075 sched_get_rd(rq->rd);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002076 irq_work_queue_on(&rq->rd->rto_push_work, cpu);
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002077 }
Steven Rostedtb6366f02015-03-18 14:49:46 -04002078}
2079
2080/* Called from hardirq context */
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002081void rto_push_irq_work_func(struct irq_work *work)
Steven Rostedtb6366f02015-03-18 14:49:46 -04002082{
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002083 struct root_domain *rd =
2084 container_of(work, struct root_domain, rto_push_work);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002085 struct rq *rq;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002086 int cpu;
2087
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002088 rq = this_rq();
Steven Rostedtb6366f02015-03-18 14:49:46 -04002089
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002090 /*
2091 * We do not need to grab the lock to check for has_pushable_tasks.
2092 * When it gets updated, a check is made if a push is possible.
2093 */
Steven Rostedtb6366f02015-03-18 14:49:46 -04002094 if (has_pushable_tasks(rq)) {
2095 raw_spin_lock(&rq->lock);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002096 push_rt_tasks(rq);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002097 raw_spin_unlock(&rq->lock);
2098 }
2099
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002100 raw_spin_lock(&rd->rto_lock);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002101
Steven Rostedtb6366f02015-03-18 14:49:46 -04002102 /* Pass the IPI to the next rt overloaded queue */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002103 cpu = rto_next_cpu(rd);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002104
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002105 raw_spin_unlock(&rd->rto_lock);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002106
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002107 if (cpu < 0) {
2108 sched_put_rd(rd);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002109 return;
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002110 }
Steven Rostedtb6366f02015-03-18 14:49:46 -04002111
Steven Rostedtb6366f02015-03-18 14:49:46 -04002112 /* Try the next RT overloaded CPU */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002113 irq_work_queue_on(&rd->rto_push_work, cpu);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002114}
2115#endif /* HAVE_RT_PUSH_IPI */
2116
Peter Zijlstra8046d682015-06-11 14:46:40 +02002117static void pull_rt_task(struct rq *this_rq)
Steven Rostedtf65eda42008-01-25 21:08:07 +01002118{
Peter Zijlstra8046d682015-06-11 14:46:40 +02002119 int this_cpu = this_rq->cpu, cpu;
2120 bool resched = false;
Gregory Haskinsa8728942008-12-29 09:39:49 -05002121 struct task_struct *p;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002122 struct rq *src_rq;
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002123 int rt_overload_count = rt_overloaded(this_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002124
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002125 if (likely(!rt_overload_count))
Peter Zijlstra8046d682015-06-11 14:46:40 +02002126 return;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002127
Peter Zijlstra7c3f2ab2013-10-15 12:35:07 +02002128 /*
2129 * Match the barrier from rt_set_overloaded; this guarantees that if we
2130 * see overloaded we must also see the rto_mask bit.
2131 */
2132 smp_rmb();
2133
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002134 /* If we are the only overloaded CPU do nothing */
2135 if (rt_overload_count == 1 &&
2136 cpumask_test_cpu(this_rq->cpu, this_rq->rd->rto_mask))
2137 return;
2138
Steven Rostedtb6366f02015-03-18 14:49:46 -04002139#ifdef HAVE_RT_PUSH_IPI
2140 if (sched_feat(RT_PUSH_IPI)) {
2141 tell_cpu_to_push(this_rq);
Peter Zijlstra8046d682015-06-11 14:46:40 +02002142 return;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002143 }
2144#endif
2145
Rusty Russellc6c49272008-11-25 02:35:05 +10302146 for_each_cpu(cpu, this_rq->rd->rto_mask) {
Steven Rostedtf65eda42008-01-25 21:08:07 +01002147 if (this_cpu == cpu)
2148 continue;
2149
2150 src_rq = cpu_rq(cpu);
Gregory Haskins74ab8e42008-12-29 09:39:50 -05002151
2152 /*
2153 * Don't bother taking the src_rq->lock if the next highest
2154 * task is known to be lower-priority than our current task.
2155 * This may look racy, but if this value is about to go
2156 * logically higher, the src_rq will push this task away.
2157 * And if its going logically lower, we do not care
2158 */
2159 if (src_rq->rt.highest_prio.next >=
2160 this_rq->rt.highest_prio.curr)
2161 continue;
2162
Steven Rostedtf65eda42008-01-25 21:08:07 +01002163 /*
2164 * We can potentially drop this_rq's lock in
2165 * double_lock_balance, and another CPU could
Gregory Haskinsa8728942008-12-29 09:39:49 -05002166 * alter this_rq
Steven Rostedtf65eda42008-01-25 21:08:07 +01002167 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002168 double_lock_balance(this_rq, src_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002169
2170 /*
Kirill Tkhaie23ee742013-06-07 15:37:43 -04002171 * We can pull only a task, which is pushable
2172 * on its rq, and no others.
Steven Rostedtf65eda42008-01-25 21:08:07 +01002173 */
Kirill Tkhaie23ee742013-06-07 15:37:43 -04002174 p = pick_highest_pushable_task(src_rq, this_cpu);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002175
2176 /*
2177 * Do we have an RT task that preempts
2178 * the to-be-scheduled task?
2179 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002180 if (p && (p->prio < this_rq->rt.highest_prio.curr)) {
Steven Rostedtf65eda42008-01-25 21:08:07 +01002181 WARN_ON(p == src_rq->curr);
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002182 WARN_ON(!task_on_rq_queued(p));
Steven Rostedtf65eda42008-01-25 21:08:07 +01002183
2184 /*
2185 * There's a chance that p is higher in priority
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002186 * than what's currently running on its CPU.
Steven Rostedtf65eda42008-01-25 21:08:07 +01002187 * This is just that p is wakeing up and hasn't
2188 * had a chance to schedule. We only pull
2189 * p if it is lower in priority than the
Gregory Haskinsa8728942008-12-29 09:39:49 -05002190 * current task on the run queue
Steven Rostedtf65eda42008-01-25 21:08:07 +01002191 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002192 if (p->prio < src_rq->curr->prio)
Mike Galbraith614ee1f2008-01-25 21:08:30 +01002193 goto skip;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002194
Peter Zijlstra8046d682015-06-11 14:46:40 +02002195 resched = true;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002196
2197 deactivate_task(src_rq, p, 0);
2198 set_task_cpu(p, this_cpu);
2199 activate_task(this_rq, p, 0);
2200 /*
2201 * We continue with the search, just in
2202 * case there's an even higher prio task
Lucas De Marchi25985ed2011-03-30 22:57:33 -03002203 * in another runqueue. (low likelihood
Steven Rostedtf65eda42008-01-25 21:08:07 +01002204 * but possible)
Steven Rostedtf65eda42008-01-25 21:08:07 +01002205 */
Steven Rostedtf65eda42008-01-25 21:08:07 +01002206 }
Peter Zijlstra49246272010-10-17 21:46:10 +02002207skip:
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02002208 double_unlock_balance(this_rq, src_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002209 }
2210
Peter Zijlstra8046d682015-06-11 14:46:40 +02002211 if (resched)
2212 resched_curr(this_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002213}
2214
Gregory Haskins8ae121a2008-04-23 07:13:29 -04002215/*
2216 * If we are not running and we are not going to reschedule soon, we should
2217 * try to push tasks away now
2218 */
Peter Zijlstraefbbd052009-12-16 18:04:40 +01002219static void task_woken_rt(struct rq *rq, struct task_struct *p)
Steven Rostedt4642daf2008-01-25 21:08:07 +01002220{
Qais Yousef804d4022019-10-09 11:46:11 +01002221 bool need_to_push = !task_running(rq, p) &&
2222 !test_tsk_need_resched(rq->curr) &&
2223 p->nr_cpus_allowed > 1 &&
2224 (dl_task(rq->curr) || rt_task(rq->curr)) &&
2225 (rq->curr->nr_cpus_allowed < 2 ||
2226 rq->curr->prio <= p->prio);
2227
Qais Yousefd94a9df2020-03-02 13:27:20 +00002228 if (need_to_push)
Steven Rostedt4642daf2008-01-25 21:08:07 +01002229 push_rt_tasks(rq);
2230}
2231
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002232/* Assumes rq->lock is held */
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002233static void rq_online_rt(struct rq *rq)
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002234{
2235 if (rq->rt.overloaded)
2236 rt_set_overload(rq);
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002237
Peter Zijlstra7def2be2008-06-05 14:49:58 +02002238 __enable_runtime(rq);
2239
Gregory Haskinse864c492008-12-29 09:39:49 -05002240 cpupri_set(&rq->rd->cpupri, rq->cpu, rq->rt.highest_prio.curr);
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002241}
2242
2243/* Assumes rq->lock is held */
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002244static void rq_offline_rt(struct rq *rq)
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002245{
2246 if (rq->rt.overloaded)
2247 rt_clear_overload(rq);
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002248
Peter Zijlstra7def2be2008-06-05 14:49:58 +02002249 __disable_runtime(rq);
2250
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002251 cpupri_set(&rq->rd->cpupri, rq->cpu, CPUPRI_INVALID);
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002252}
Steven Rostedtcb469842008-01-25 21:08:22 +01002253
2254/*
2255 * When switch from the rt queue, we bring ourselves to a position
2256 * that we might want to pull RT tasks from other runqueues.
2257 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002258static void switched_from_rt(struct rq *rq, struct task_struct *p)
Steven Rostedtcb469842008-01-25 21:08:22 +01002259{
2260 /*
2261 * If there are other RT tasks then we will reschedule
2262 * and the scheduling of the other RT tasks will handle
2263 * the balancing. But if we are the last RT task
2264 * we may need to handle the pulling of RT tasks
2265 * now.
2266 */
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002267 if (!task_on_rq_queued(p) || rq->rt.rt_nr_running)
Kirill Tkhai1158ddb2012-11-23 00:02:15 +04002268 return;
2269
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002270 rt_queue_pull_task(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002271}
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302272
Li Zefan11c785b2014-02-08 14:17:45 +08002273void __init init_sched_rt_class(void)
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302274{
2275 unsigned int i;
2276
Peter Zijlstra029632f2011-10-25 10:00:11 +02002277 for_each_possible_cpu(i) {
Yinghai Lueaa95842009-06-06 14:51:36 -07002278 zalloc_cpumask_var_node(&per_cpu(local_cpu_mask, i),
Mike Travis6ca09df2008-12-31 18:08:45 -08002279 GFP_KERNEL, cpu_to_node(i));
Peter Zijlstra029632f2011-10-25 10:00:11 +02002280 }
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302281}
Steven Rostedte8fa1362008-01-25 21:08:05 +01002282#endif /* CONFIG_SMP */
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002283
Steven Rostedtcb469842008-01-25 21:08:22 +01002284/*
2285 * When switching a task to RT, we may overload the runqueue
2286 * with RT tasks. In this case we try to push them off to
2287 * other runqueues.
2288 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002289static void switched_to_rt(struct rq *rq, struct task_struct *p)
Steven Rostedtcb469842008-01-25 21:08:22 +01002290{
Steven Rostedtcb469842008-01-25 21:08:22 +01002291 /*
2292 * If we are already running, then there's nothing
2293 * that needs to be done. But if we are not running
2294 * we may need to preempt the current running task.
2295 * If that current running task is also an RT task
2296 * then see if we can move to another run queue.
2297 */
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002298 if (task_on_rq_queued(p) && rq->curr != p) {
Steven Rostedtcb469842008-01-25 21:08:22 +01002299#ifdef CONFIG_SMP
Qais Yousefd94a9df2020-03-02 13:27:20 +00002300 if (p->nr_cpus_allowed > 1 && rq->rt.overloaded)
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002301 rt_queue_push_tasks(rq);
Sebastian Andrzej Siewior619bd4a2017-01-24 15:40:06 +01002302#endif /* CONFIG_SMP */
Paul E. McKenney2fe25822017-10-13 17:00:18 -07002303 if (p->prio < rq->curr->prio && cpu_online(cpu_of(rq)))
Kirill Tkhai88751252014-06-29 00:03:57 +04002304 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002305 }
2306}
2307
2308/*
2309 * Priority of the task has changed. This may cause
2310 * us to initiate a push or pull.
2311 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002312static void
2313prio_changed_rt(struct rq *rq, struct task_struct *p, int oldprio)
Steven Rostedtcb469842008-01-25 21:08:22 +01002314{
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002315 if (!task_on_rq_queued(p))
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002316 return;
2317
2318 if (rq->curr == p) {
Steven Rostedtcb469842008-01-25 21:08:22 +01002319#ifdef CONFIG_SMP
2320 /*
2321 * If our priority decreases while running, we
2322 * may need to pull tasks to this runqueue.
2323 */
2324 if (oldprio < p->prio)
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002325 rt_queue_pull_task(rq);
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002326
Steven Rostedtcb469842008-01-25 21:08:22 +01002327 /*
2328 * If there's a higher priority task waiting to run
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002329 * then reschedule.
Steven Rostedtcb469842008-01-25 21:08:22 +01002330 */
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002331 if (p->prio > rq->rt.highest_prio.curr)
Kirill Tkhai88751252014-06-29 00:03:57 +04002332 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002333#else
2334 /* For UP simply resched on drop of prio */
2335 if (oldprio < p->prio)
Kirill Tkhai88751252014-06-29 00:03:57 +04002336 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002337#endif /* CONFIG_SMP */
2338 } else {
2339 /*
2340 * This task is not running, but if it is
2341 * greater than the current running task
2342 * then reschedule.
2343 */
2344 if (p->prio < rq->curr->prio)
Kirill Tkhai88751252014-06-29 00:03:57 +04002345 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002346 }
2347}
2348
Nicolas Pitreb18b6a92017-01-21 00:09:08 -05002349#ifdef CONFIG_POSIX_TIMERS
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002350static void watchdog(struct rq *rq, struct task_struct *p)
2351{
2352 unsigned long soft, hard;
2353
Jiri Slaby78d7d402010-03-05 13:42:54 -08002354 /* max may change after cur was read, this will be fixed next tick */
2355 soft = task_rlimit(p, RLIMIT_RTTIME);
2356 hard = task_rlimit_max(p, RLIMIT_RTTIME);
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002357
2358 if (soft != RLIM_INFINITY) {
2359 unsigned long next;
2360
Ying Xue57d2aa02012-07-17 15:03:43 +08002361 if (p->rt.watchdog_stamp != jiffies) {
2362 p->rt.timeout++;
2363 p->rt.watchdog_stamp = jiffies;
2364 }
2365
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002366 next = DIV_ROUND_UP(min(soft, hard), USEC_PER_SEC/HZ);
Thomas Gleixner3a245c02019-08-21 21:09:06 +02002367 if (p->rt.timeout > next) {
2368 posix_cputimers_rt_watchdog(&p->posix_cputimers,
2369 p->se.sum_exec_runtime);
2370 }
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002371 }
2372}
Nicolas Pitreb18b6a92017-01-21 00:09:08 -05002373#else
2374static inline void watchdog(struct rq *rq, struct task_struct *p) { }
2375#endif
Steven Rostedtcb469842008-01-25 21:08:22 +01002376
Frederic Weisbeckerd84b3132018-02-21 05:17:27 +01002377/*
2378 * scheduler tick hitting a task of our scheduling class.
2379 *
2380 * NOTE: This function can be called remotely by the tick offload that
2381 * goes along full dynticks. Therefore no local assumption can be made
2382 * and everything must be accessed through the @rq and @curr passed in
2383 * parameters.
2384 */
Peter Zijlstra8f4d37e2008-01-25 21:08:29 +01002385static void task_tick_rt(struct rq *rq, struct task_struct *p, int queued)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002386{
Colin Cross454c7992012-05-16 21:34:23 -07002387 struct sched_rt_entity *rt_se = &p->rt;
2388
Peter Zijlstra67e2be02007-12-20 15:01:17 +01002389 update_curr_rt(rq);
Vincent Guittot23127292019-01-23 16:26:53 +01002390 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 1);
Peter Zijlstra67e2be02007-12-20 15:01:17 +01002391
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002392 watchdog(rq, p);
2393
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002394 /*
2395 * RR tasks need a special form of timeslice management.
2396 * FIFO tasks have no timeslices.
2397 */
2398 if (p->policy != SCHED_RR)
2399 return;
2400
Peter Zijlstrafa717062008-01-25 21:08:27 +01002401 if (--p->rt.time_slice)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002402 return;
2403
Clark Williamsce0dbbb2013-02-07 09:47:04 -06002404 p->rt.time_slice = sched_rr_timeslice;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002405
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002406 /*
Li Bine9aa39b2013-10-21 20:15:43 +08002407 * Requeue to the end of queue if we (and all of our ancestors) are not
2408 * the only element on the queue
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002409 */
Colin Cross454c7992012-05-16 21:34:23 -07002410 for_each_sched_rt_entity(rt_se) {
2411 if (rt_se->run_list.prev != rt_se->run_list.next) {
2412 requeue_task_rt(rq, p, 0);
Kirill Tkhai8aa6f0e2014-09-22 22:36:43 +04002413 resched_curr(rq);
Colin Cross454c7992012-05-16 21:34:23 -07002414 return;
2415 }
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002416 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002417}
2418
H Hartley Sweeten6d686f42010-01-13 20:21:52 -07002419static unsigned int get_rr_interval_rt(struct rq *rq, struct task_struct *task)
Peter Williams0d721ce2009-09-21 01:31:53 +00002420{
2421 /*
2422 * Time slice is 0 for SCHED_FIFO tasks
2423 */
2424 if (task->policy == SCHED_RR)
Clark Williamsce0dbbb2013-02-07 09:47:04 -06002425 return sched_rr_timeslice;
Peter Williams0d721ce2009-09-21 01:31:53 +00002426 else
2427 return 0;
2428}
2429
Peter Zijlstra029632f2011-10-25 10:00:11 +02002430const struct sched_class rt_sched_class = {
Ingo Molnar5522d5d2007-10-15 17:00:12 +02002431 .next = &fair_sched_class,
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002432 .enqueue_task = enqueue_task_rt,
2433 .dequeue_task = dequeue_task_rt,
2434 .yield_task = yield_task_rt,
2435
2436 .check_preempt_curr = check_preempt_curr_rt,
2437
2438 .pick_next_task = pick_next_task_rt,
2439 .put_prev_task = put_prev_task_rt,
Peter Zijlstra03b7fad2019-05-29 20:36:41 +00002440 .set_next_task = set_next_task_rt,
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002441
Peter Williams681f3e62007-10-24 18:23:51 +02002442#ifdef CONFIG_SMP
Peter Zijlstra6e2df052019-11-08 11:11:52 +01002443 .balance = balance_rt,
Li Zefan4ce72a22008-10-22 15:25:26 +08002444 .select_task_rq = select_task_rq_rt,
Peter Zijlstra6c370672015-05-15 17:43:36 +02002445 .set_cpus_allowed = set_cpus_allowed_common,
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002446 .rq_online = rq_online_rt,
2447 .rq_offline = rq_offline_rt,
Peter Zijlstraefbbd052009-12-16 18:04:40 +01002448 .task_woken = task_woken_rt,
Steven Rostedtcb469842008-01-25 21:08:22 +01002449 .switched_from = switched_from_rt,
Peter Williams681f3e62007-10-24 18:23:51 +02002450#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002451
2452 .task_tick = task_tick_rt,
Steven Rostedtcb469842008-01-25 21:08:22 +01002453
Peter Williams0d721ce2009-09-21 01:31:53 +00002454 .get_rr_interval = get_rr_interval_rt,
2455
Steven Rostedtcb469842008-01-25 21:08:22 +01002456 .prio_changed = prio_changed_rt,
2457 .switched_to = switched_to_rt,
Stanislaw Gruszka6e998912014-11-12 16:58:44 +01002458
2459 .update_curr = update_curr_rt,
Patrick Bellasi982d9cd2019-06-21 09:42:10 +01002460
2461#ifdef CONFIG_UCLAMP_TASK
2462 .uclamp_enabled = 1,
2463#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002464};
Peter Zijlstraada18de2008-06-19 14:22:24 +02002465
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002466#ifdef CONFIG_RT_GROUP_SCHED
2467/*
2468 * Ensure that the real time constraints are schedulable.
2469 */
2470static DEFINE_MUTEX(rt_constraints_mutex);
2471
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002472static inline int tg_has_rt_tasks(struct task_group *tg)
2473{
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002474 struct task_struct *task;
2475 struct css_task_iter it;
2476 int ret = 0;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002477
2478 /*
2479 * Autogroups do not have RT tasks; see autogroup_create().
2480 */
2481 if (task_group_is_autogroup(tg))
2482 return 0;
2483
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002484 css_task_iter_start(&tg->css, 0, &it);
2485 while (!ret && (task = css_task_iter_next(&it)))
2486 ret |= rt_task(task);
2487 css_task_iter_end(&it);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002488
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002489 return ret;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002490}
2491
2492struct rt_schedulable_data {
2493 struct task_group *tg;
2494 u64 rt_period;
2495 u64 rt_runtime;
2496};
2497
2498static int tg_rt_schedulable(struct task_group *tg, void *data)
2499{
2500 struct rt_schedulable_data *d = data;
2501 struct task_group *child;
2502 unsigned long total, sum = 0;
2503 u64 period, runtime;
2504
2505 period = ktime_to_ns(tg->rt_bandwidth.rt_period);
2506 runtime = tg->rt_bandwidth.rt_runtime;
2507
2508 if (tg == d->tg) {
2509 period = d->rt_period;
2510 runtime = d->rt_runtime;
2511 }
2512
2513 /*
2514 * Cannot have more runtime than the period.
2515 */
2516 if (runtime > period && runtime != RUNTIME_INF)
2517 return -EINVAL;
2518
2519 /*
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002520 * Ensure we don't starve existing RT tasks if runtime turns zero.
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002521 */
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002522 if (rt_bandwidth_enabled() && !runtime &&
2523 tg->rt_bandwidth.rt_runtime && tg_has_rt_tasks(tg))
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002524 return -EBUSY;
2525
2526 total = to_ratio(period, runtime);
2527
2528 /*
2529 * Nobody can have more than the global setting allows.
2530 */
2531 if (total > to_ratio(global_rt_period(), global_rt_runtime()))
2532 return -EINVAL;
2533
2534 /*
2535 * The sum of our children's runtime should not exceed our own.
2536 */
2537 list_for_each_entry_rcu(child, &tg->children, siblings) {
2538 period = ktime_to_ns(child->rt_bandwidth.rt_period);
2539 runtime = child->rt_bandwidth.rt_runtime;
2540
2541 if (child == d->tg) {
2542 period = d->rt_period;
2543 runtime = d->rt_runtime;
2544 }
2545
2546 sum += to_ratio(period, runtime);
2547 }
2548
2549 if (sum > total)
2550 return -EINVAL;
2551
2552 return 0;
2553}
2554
2555static int __rt_schedulable(struct task_group *tg, u64 period, u64 runtime)
2556{
2557 int ret;
2558
2559 struct rt_schedulable_data data = {
2560 .tg = tg,
2561 .rt_period = period,
2562 .rt_runtime = runtime,
2563 };
2564
2565 rcu_read_lock();
2566 ret = walk_tg_tree(tg_rt_schedulable, tg_nop, &data);
2567 rcu_read_unlock();
2568
2569 return ret;
2570}
2571
2572static int tg_set_rt_bandwidth(struct task_group *tg,
2573 u64 rt_period, u64 rt_runtime)
2574{
2575 int i, err = 0;
2576
2577 /*
2578 * Disallowing the root group RT runtime is BAD, it would disallow the
2579 * kernel creating (and or operating) RT threads.
2580 */
2581 if (tg == &root_task_group && rt_runtime == 0)
2582 return -EINVAL;
2583
2584 /* No period doesn't make any sense. */
2585 if (rt_period == 0)
2586 return -EINVAL;
2587
2588 mutex_lock(&rt_constraints_mutex);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002589 err = __rt_schedulable(tg, rt_period, rt_runtime);
2590 if (err)
2591 goto unlock;
2592
2593 raw_spin_lock_irq(&tg->rt_bandwidth.rt_runtime_lock);
2594 tg->rt_bandwidth.rt_period = ns_to_ktime(rt_period);
2595 tg->rt_bandwidth.rt_runtime = rt_runtime;
2596
2597 for_each_possible_cpu(i) {
2598 struct rt_rq *rt_rq = tg->rt_rq[i];
2599
2600 raw_spin_lock(&rt_rq->rt_runtime_lock);
2601 rt_rq->rt_runtime = rt_runtime;
2602 raw_spin_unlock(&rt_rq->rt_runtime_lock);
2603 }
2604 raw_spin_unlock_irq(&tg->rt_bandwidth.rt_runtime_lock);
2605unlock:
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002606 mutex_unlock(&rt_constraints_mutex);
2607
2608 return err;
2609}
2610
2611int sched_group_set_rt_runtime(struct task_group *tg, long rt_runtime_us)
2612{
2613 u64 rt_runtime, rt_period;
2614
2615 rt_period = ktime_to_ns(tg->rt_bandwidth.rt_period);
2616 rt_runtime = (u64)rt_runtime_us * NSEC_PER_USEC;
2617 if (rt_runtime_us < 0)
2618 rt_runtime = RUNTIME_INF;
Konstantin Khlebnikov1a010e22019-02-27 11:10:17 +03002619 else if ((u64)rt_runtime_us > U64_MAX / NSEC_PER_USEC)
2620 return -EINVAL;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002621
2622 return tg_set_rt_bandwidth(tg, rt_period, rt_runtime);
2623}
2624
2625long sched_group_rt_runtime(struct task_group *tg)
2626{
2627 u64 rt_runtime_us;
2628
2629 if (tg->rt_bandwidth.rt_runtime == RUNTIME_INF)
2630 return -1;
2631
2632 rt_runtime_us = tg->rt_bandwidth.rt_runtime;
2633 do_div(rt_runtime_us, NSEC_PER_USEC);
2634 return rt_runtime_us;
2635}
2636
2637int sched_group_set_rt_period(struct task_group *tg, u64 rt_period_us)
2638{
2639 u64 rt_runtime, rt_period;
2640
Konstantin Khlebnikov1a010e22019-02-27 11:10:17 +03002641 if (rt_period_us > U64_MAX / NSEC_PER_USEC)
2642 return -EINVAL;
2643
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002644 rt_period = rt_period_us * NSEC_PER_USEC;
2645 rt_runtime = tg->rt_bandwidth.rt_runtime;
2646
2647 return tg_set_rt_bandwidth(tg, rt_period, rt_runtime);
2648}
2649
2650long sched_group_rt_period(struct task_group *tg)
2651{
2652 u64 rt_period_us;
2653
2654 rt_period_us = ktime_to_ns(tg->rt_bandwidth.rt_period);
2655 do_div(rt_period_us, NSEC_PER_USEC);
2656 return rt_period_us;
2657}
2658
2659static int sched_rt_global_constraints(void)
2660{
2661 int ret = 0;
2662
2663 mutex_lock(&rt_constraints_mutex);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002664 ret = __rt_schedulable(NULL, 0, 0);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002665 mutex_unlock(&rt_constraints_mutex);
2666
2667 return ret;
2668}
2669
2670int sched_rt_can_attach(struct task_group *tg, struct task_struct *tsk)
2671{
2672 /* Don't accept realtime tasks when there is no way for them to run */
2673 if (rt_task(tsk) && tg->rt_bandwidth.rt_runtime == 0)
2674 return 0;
2675
2676 return 1;
2677}
2678
2679#else /* !CONFIG_RT_GROUP_SCHED */
2680static int sched_rt_global_constraints(void)
2681{
2682 unsigned long flags;
2683 int i;
2684
2685 raw_spin_lock_irqsave(&def_rt_bandwidth.rt_runtime_lock, flags);
2686 for_each_possible_cpu(i) {
2687 struct rt_rq *rt_rq = &cpu_rq(i)->rt;
2688
2689 raw_spin_lock(&rt_rq->rt_runtime_lock);
2690 rt_rq->rt_runtime = global_rt_runtime();
2691 raw_spin_unlock(&rt_rq->rt_runtime_lock);
2692 }
2693 raw_spin_unlock_irqrestore(&def_rt_bandwidth.rt_runtime_lock, flags);
2694
2695 return 0;
2696}
2697#endif /* CONFIG_RT_GROUP_SCHED */
2698
2699static int sched_rt_global_validate(void)
2700{
2701 if (sysctl_sched_rt_period <= 0)
2702 return -EINVAL;
2703
2704 if ((sysctl_sched_rt_runtime != RUNTIME_INF) &&
2705 (sysctl_sched_rt_runtime > sysctl_sched_rt_period))
2706 return -EINVAL;
2707
2708 return 0;
2709}
2710
2711static void sched_rt_do_global(void)
2712{
2713 def_rt_bandwidth.rt_runtime = global_rt_runtime();
2714 def_rt_bandwidth.rt_period = ns_to_ktime(global_rt_period());
2715}
2716
Christoph Hellwig32927392020-04-24 08:43:38 +02002717int sched_rt_handler(struct ctl_table *table, int write, void *buffer,
2718 size_t *lenp, loff_t *ppos)
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002719{
2720 int old_period, old_runtime;
2721 static DEFINE_MUTEX(mutex);
2722 int ret;
2723
2724 mutex_lock(&mutex);
2725 old_period = sysctl_sched_rt_period;
2726 old_runtime = sysctl_sched_rt_runtime;
2727
2728 ret = proc_dointvec(table, write, buffer, lenp, ppos);
2729
2730 if (!ret && write) {
2731 ret = sched_rt_global_validate();
2732 if (ret)
2733 goto undo;
2734
2735 ret = sched_dl_global_validate();
2736 if (ret)
2737 goto undo;
2738
2739 ret = sched_rt_global_constraints();
2740 if (ret)
2741 goto undo;
2742
2743 sched_rt_do_global();
2744 sched_dl_do_global();
2745 }
2746 if (0) {
2747undo:
2748 sysctl_sched_rt_period = old_period;
2749 sysctl_sched_rt_runtime = old_runtime;
2750 }
2751 mutex_unlock(&mutex);
2752
2753 return ret;
2754}
2755
Christoph Hellwig32927392020-04-24 08:43:38 +02002756int sched_rr_handler(struct ctl_table *table, int write, void *buffer,
2757 size_t *lenp, loff_t *ppos)
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002758{
2759 int ret;
2760 static DEFINE_MUTEX(mutex);
2761
2762 mutex_lock(&mutex);
2763 ret = proc_dointvec(table, write, buffer, lenp, ppos);
2764 /*
2765 * Make sure that internally we keep jiffies.
2766 * Also, writing zero resets the timeslice to default:
2767 */
2768 if (!ret && write) {
2769 sched_rr_timeslice =
2770 sysctl_sched_rr_timeslice <= 0 ? RR_TIMESLICE :
2771 msecs_to_jiffies(sysctl_sched_rr_timeslice);
2772 }
2773 mutex_unlock(&mutex);
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002774
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002775 return ret;
2776}
2777
Peter Zijlstraada18de2008-06-19 14:22:24 +02002778#ifdef CONFIG_SCHED_DEBUG
Peter Zijlstra029632f2011-10-25 10:00:11 +02002779void print_rt_stats(struct seq_file *m, int cpu)
Peter Zijlstraada18de2008-06-19 14:22:24 +02002780{
Cheng Xuec514c42011-05-14 14:20:02 +08002781 rt_rq_iter_t iter;
Peter Zijlstraada18de2008-06-19 14:22:24 +02002782 struct rt_rq *rt_rq;
2783
2784 rcu_read_lock();
Cheng Xuec514c42011-05-14 14:20:02 +08002785 for_each_rt_rq(rt_rq, iter, cpu_rq(cpu))
Peter Zijlstraada18de2008-06-19 14:22:24 +02002786 print_rt_rq(m, cpu, rt_rq);
2787 rcu_read_unlock();
2788}
Dhaval Giani55e12e52008-06-24 23:39:43 +05302789#endif /* CONFIG_SCHED_DEBUG */