blob: 55a4a5042292b519da5d2481ab971bfc5563ac85 [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 /*
1478 * Don't bother moving it if the destination CPU is
1479 * not running a lower priority task.
1480 */
1481 if (target != -1 &&
1482 p->prio < cpu_rq(target)->rt.highest_prio.curr)
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001483 cpu = target;
1484 }
1485 rcu_read_unlock();
1486
Steven Rostedtc37495f2011-06-16 21:55:22 -04001487out:
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001488 return cpu;
Gregory Haskinse7693a32008-01-25 21:08:09 +01001489}
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001490
1491static void check_preempt_equal_prio(struct rq *rq, struct task_struct *p)
1492{
Wanpeng Li308a6232014-10-31 06:39:31 +08001493 /*
1494 * Current can't be migrated, useless to reschedule,
1495 * let's hope p can move out.
1496 */
Ingo Molnar4b53a342017-02-05 15:41:03 +01001497 if (rq->curr->nr_cpus_allowed == 1 ||
Qais Yousef804d4022019-10-09 11:46:11 +01001498 !cpupri_find(&rq->rd->cpupri, rq->curr, NULL, NULL))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001499 return;
1500
Wanpeng Li308a6232014-10-31 06:39:31 +08001501 /*
1502 * p is migratable, so let's not schedule it and
1503 * see if it is pushed or pulled somewhere else.
1504 */
Qais Yousef804d4022019-10-09 11:46:11 +01001505 if (p->nr_cpus_allowed != 1 &&
1506 cpupri_find(&rq->rd->cpupri, p, NULL, NULL))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001507 return;
1508
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001509 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001510 * There appear to be other CPUs that can accept
1511 * the current task but none can run 'p', so lets reschedule
1512 * to try and push the current task away:
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001513 */
1514 requeue_task_rt(rq, p, 1);
Kirill Tkhai88751252014-06-29 00:03:57 +04001515 resched_curr(rq);
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001516}
1517
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001518static int balance_rt(struct rq *rq, struct task_struct *p, struct rq_flags *rf)
1519{
1520 if (!on_rt_rq(&p->rt) && need_pull_rt_task(rq, p)) {
1521 /*
1522 * This is OK, because current is on_cpu, which avoids it being
1523 * picked for load-balance and preemption/IRQs are still
1524 * disabled avoiding further scheduler activity on it and we've
1525 * not yet started the picking loop.
1526 */
1527 rq_unpin_lock(rq, rf);
1528 pull_rt_task(rq);
1529 rq_repin_lock(rq, rf);
1530 }
1531
1532 return sched_stop_runnable(rq) || sched_dl_runnable(rq) || sched_rt_runnable(rq);
1533}
Gregory Haskinse7693a32008-01-25 21:08:09 +01001534#endif /* CONFIG_SMP */
1535
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001536/*
1537 * Preempt the current task with a newly woken task if needed:
1538 */
Peter Zijlstra7d478722009-09-14 19:55:44 +02001539static void check_preempt_curr_rt(struct rq *rq, struct task_struct *p, int flags)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001540{
Gregory Haskins45c01e82008-05-12 21:20:41 +02001541 if (p->prio < rq->curr->prio) {
Kirill Tkhai88751252014-06-29 00:03:57 +04001542 resched_curr(rq);
Gregory Haskins45c01e82008-05-12 21:20:41 +02001543 return;
1544 }
1545
1546#ifdef CONFIG_SMP
1547 /*
1548 * If:
1549 *
1550 * - the newly woken task is of equal priority to the current task
1551 * - the newly woken task is non-migratable while current is migratable
1552 * - current will be preempted on the next reschedule
1553 *
1554 * we should check to see if current can readily move to a different
1555 * cpu. If so, we will reschedule to allow the push logic to try
1556 * to move current somewhere else, making room for our non-migratable
1557 * task.
1558 */
Hillf Danton8dd0de82011-06-14 18:36:24 -04001559 if (p->prio == rq->curr->prio && !test_tsk_need_resched(rq->curr))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001560 check_preempt_equal_prio(rq, p);
Gregory Haskins45c01e82008-05-12 21:20:41 +02001561#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001562}
1563
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001564static inline void set_next_task_rt(struct rq *rq, struct task_struct *p, bool first)
Muchun Songff1cdc92018-10-26 21:17:43 +08001565{
1566 p->se.exec_start = rq_clock_task(rq);
1567
1568 /* The running task is never eligible for pushing */
1569 dequeue_pushable_task(rq, p);
Peter Zijlstraf95d4ea2019-05-29 20:36:40 +00001570
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001571 if (!first)
1572 return;
1573
Peter Zijlstraf95d4ea2019-05-29 20:36:40 +00001574 /*
1575 * If prev task was rt, put_prev_task() has already updated the
1576 * utilization. We only care of the case where we start to schedule a
1577 * rt task
1578 */
1579 if (rq->curr->sched_class != &rt_sched_class)
1580 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 0);
1581
1582 rt_queue_push_tasks(rq);
Muchun Songff1cdc92018-10-26 21:17:43 +08001583}
1584
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001585static struct sched_rt_entity *pick_next_rt_entity(struct rq *rq,
1586 struct rt_rq *rt_rq)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001587{
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001588 struct rt_prio_array *array = &rt_rq->active;
1589 struct sched_rt_entity *next = NULL;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001590 struct list_head *queue;
1591 int idx;
1592
1593 idx = sched_find_first_bit(array->bitmap);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001594 BUG_ON(idx >= MAX_RT_PRIO);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001595
1596 queue = array->queue + idx;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001597 next = list_entry(queue->next, struct sched_rt_entity, run_list);
Dmitry Adamushko326587b2008-01-25 21:08:34 +01001598
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001599 return next;
1600}
1601
Gregory Haskins917b6272008-12-29 09:39:53 -05001602static struct task_struct *_pick_next_task_rt(struct rq *rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001603{
1604 struct sched_rt_entity *rt_se;
Peter Zijlstra606dba22012-02-11 06:05:00 +01001605 struct rt_rq *rt_rq = &rq->rt;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001606
1607 do {
1608 rt_se = pick_next_rt_entity(rq, rt_rq);
Dmitry Adamushko326587b2008-01-25 21:08:34 +01001609 BUG_ON(!rt_se);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001610 rt_rq = group_rt_rq(rt_se);
1611 } while (rt_rq);
1612
Muchun Songff1cdc92018-10-26 21:17:43 +08001613 return rt_task_of(rt_se);
Gregory Haskins917b6272008-12-29 09:39:53 -05001614}
1615
Peter Zijlstra98c2f702019-11-08 14:15:58 +01001616static struct task_struct *pick_next_task_rt(struct rq *rq)
Gregory Haskins917b6272008-12-29 09:39:53 -05001617{
Peter Zijlstra606dba22012-02-11 06:05:00 +01001618 struct task_struct *p;
Peter Zijlstra606dba22012-02-11 06:05:00 +01001619
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001620 if (!sched_rt_runnable(rq))
Peter Zijlstra606dba22012-02-11 06:05:00 +01001621 return NULL;
1622
Peter Zijlstra606dba22012-02-11 06:05:00 +01001623 p = _pick_next_task_rt(rq);
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001624 set_next_task_rt(rq, p, true);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001625 return p;
1626}
1627
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001628static void put_prev_task_rt(struct rq *rq, struct task_struct *p)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001629{
Ingo Molnarf1e14ef2007-08-09 11:16:48 +02001630 update_curr_rt(rq);
Gregory Haskins917b6272008-12-29 09:39:53 -05001631
Vincent Guittot23127292019-01-23 16:26:53 +01001632 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 1);
Vincent Guittot371bf422018-06-28 17:45:05 +02001633
Gregory Haskins917b6272008-12-29 09:39:53 -05001634 /*
1635 * The previous task needs to be made eligible for pushing
1636 * if it is still active
1637 */
Ingo Molnar4b53a342017-02-05 15:41:03 +01001638 if (on_rt_rq(&p->rt) && p->nr_cpus_allowed > 1)
Gregory Haskins917b6272008-12-29 09:39:53 -05001639 enqueue_pushable_task(rq, p);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001640}
1641
Peter Williams681f3e62007-10-24 18:23:51 +02001642#ifdef CONFIG_SMP
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001643
Steven Rostedte8fa1362008-01-25 21:08:05 +01001644/* Only try algorithms three times */
1645#define RT_MAX_TRIES 3
1646
Steven Rostedtf65eda42008-01-25 21:08:07 +01001647static int pick_rt_task(struct rq *rq, struct task_struct *p, int cpu)
1648{
1649 if (!task_running(rq, p) &&
Qais Yousef804d4022019-10-09 11:46:11 +01001650 cpumask_test_cpu(cpu, p->cpus_ptr) &&
1651 rt_task_fits_capacity(p, cpu))
Steven Rostedtf65eda42008-01-25 21:08:07 +01001652 return 1;
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001653
Steven Rostedtf65eda42008-01-25 21:08:07 +01001654 return 0;
1655}
1656
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001657/*
1658 * Return the highest pushable rq's task, which is suitable to be executed
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001659 * on the CPU, NULL otherwise
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001660 */
1661static struct task_struct *pick_highest_pushable_task(struct rq *rq, int cpu)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001662{
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001663 struct plist_head *head = &rq->rt.pushable_tasks;
1664 struct task_struct *p;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001665
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001666 if (!has_pushable_tasks(rq))
1667 return NULL;
Peter Zijlstra3d074672010-03-10 17:07:24 +01001668
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001669 plist_for_each_entry(p, head, pushable_tasks) {
1670 if (pick_rt_task(rq, p, cpu))
1671 return p;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001672 }
1673
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001674 return NULL;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001675}
1676
Rusty Russell0e3900e2008-11-25 02:35:13 +10301677static DEFINE_PER_CPU(cpumask_var_t, local_cpu_mask);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001678
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001679static int find_lowest_rq(struct task_struct *task)
1680{
1681 struct sched_domain *sd;
Christoph Lameter4ba29682014-08-26 19:12:21 -05001682 struct cpumask *lowest_mask = this_cpu_cpumask_var_ptr(local_cpu_mask);
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001683 int this_cpu = smp_processor_id();
1684 int cpu = task_cpu(task);
1685
Steven Rostedt0da938c2011-06-14 18:36:25 -04001686 /* Make sure the mask is initialized first */
1687 if (unlikely(!lowest_mask))
1688 return -1;
1689
Ingo Molnar4b53a342017-02-05 15:41:03 +01001690 if (task->nr_cpus_allowed == 1)
Gregory Haskins6e0534f2008-05-12 21:21:01 +02001691 return -1; /* No other targets possible */
1692
Qais Yousef804d4022019-10-09 11:46:11 +01001693 if (!cpupri_find(&task_rq(task)->rd->cpupri, task, lowest_mask,
1694 rt_task_fits_capacity))
Gregory Haskins06f90db2008-01-25 21:08:13 +01001695 return -1; /* No targets found */
1696
1697 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001698 * At this point we have built a mask of CPUs representing the
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001699 * lowest priority tasks in the system. Now we want to elect
1700 * the best one based on our affinity and topology.
1701 *
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001702 * We prioritize the last CPU that the task executed on since
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001703 * it is most likely cache-hot in that location.
1704 */
Rusty Russell96f874e22008-11-25 02:35:14 +10301705 if (cpumask_test_cpu(cpu, lowest_mask))
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001706 return cpu;
1707
1708 /*
1709 * Otherwise, we consult the sched_domains span maps to figure
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001710 * out which CPU is logically closest to our hot cache data.
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001711 */
Rusty Russelle2c88062009-11-03 14:53:15 +10301712 if (!cpumask_test_cpu(this_cpu, lowest_mask))
1713 this_cpu = -1; /* Skip this_cpu opt if not among lowest */
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001714
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001715 rcu_read_lock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301716 for_each_domain(cpu, sd) {
1717 if (sd->flags & SD_WAKE_AFFINE) {
1718 int best_cpu;
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001719
Rusty Russelle2c88062009-11-03 14:53:15 +10301720 /*
1721 * "this_cpu" is cheaper to preempt than a
1722 * remote processor.
1723 */
1724 if (this_cpu != -1 &&
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001725 cpumask_test_cpu(this_cpu, sched_domain_span(sd))) {
1726 rcu_read_unlock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301727 return this_cpu;
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001728 }
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001729
Rusty Russelle2c88062009-11-03 14:53:15 +10301730 best_cpu = cpumask_first_and(lowest_mask,
1731 sched_domain_span(sd));
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001732 if (best_cpu < nr_cpu_ids) {
1733 rcu_read_unlock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301734 return best_cpu;
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001735 }
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001736 }
1737 }
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001738 rcu_read_unlock();
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001739
1740 /*
1741 * And finally, if there were no matches within the domains
1742 * just give the caller *something* to work with from the compatible
1743 * locations.
1744 */
Rusty Russelle2c88062009-11-03 14:53:15 +10301745 if (this_cpu != -1)
1746 return this_cpu;
1747
1748 cpu = cpumask_any(lowest_mask);
1749 if (cpu < nr_cpu_ids)
1750 return cpu;
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001751
Rusty Russelle2c88062009-11-03 14:53:15 +10301752 return -1;
Gregory Haskins07b40322008-01-25 21:08:10 +01001753}
1754
Steven Rostedte8fa1362008-01-25 21:08:05 +01001755/* Will lock the rq it finds */
Ingo Molnar4df64c02008-01-25 21:08:15 +01001756static struct rq *find_lock_lowest_rq(struct task_struct *task, struct rq *rq)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001757{
1758 struct rq *lowest_rq = NULL;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001759 int tries;
Ingo Molnar4df64c02008-01-25 21:08:15 +01001760 int cpu;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001761
1762 for (tries = 0; tries < RT_MAX_TRIES; tries++) {
Gregory Haskins07b40322008-01-25 21:08:10 +01001763 cpu = find_lowest_rq(task);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001764
Gregory Haskins2de0b462008-01-25 21:08:10 +01001765 if ((cpu == -1) || (cpu == rq->cpu))
Steven Rostedte8fa1362008-01-25 21:08:05 +01001766 break;
1767
Gregory Haskins07b40322008-01-25 21:08:10 +01001768 lowest_rq = cpu_rq(cpu);
1769
Tim Chen80e3d872014-12-12 15:38:12 -08001770 if (lowest_rq->rt.highest_prio.curr <= task->prio) {
1771 /*
1772 * Target rq has tasks of equal or higher priority,
1773 * retrying does not release any lock and is unlikely
1774 * to yield a different result.
1775 */
1776 lowest_rq = NULL;
1777 break;
1778 }
1779
Steven Rostedte8fa1362008-01-25 21:08:05 +01001780 /* if the prio of this runqueue changed, try again */
Gregory Haskins07b40322008-01-25 21:08:10 +01001781 if (double_lock_balance(rq, lowest_rq)) {
Steven Rostedte8fa1362008-01-25 21:08:05 +01001782 /*
1783 * We had to unlock the run queue. In
1784 * the mean time, task could have
1785 * migrated already or had its affinity changed.
1786 * Also make sure that it wasn't scheduled on its rq.
1787 */
Gregory Haskins07b40322008-01-25 21:08:10 +01001788 if (unlikely(task_rq(task) != rq ||
Sebastian Andrzej Siewior3bd37062019-04-23 16:26:36 +02001789 !cpumask_test_cpu(lowest_rq->cpu, task->cpus_ptr) ||
Gregory Haskins07b40322008-01-25 21:08:10 +01001790 task_running(rq, task) ||
Xunlei Pang13b5ab02016-05-09 12:11:31 +08001791 !rt_task(task) ||
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04001792 !task_on_rq_queued(task))) {
Ingo Molnar4df64c02008-01-25 21:08:15 +01001793
Peter Zijlstra7f1b4392012-05-17 21:19:46 +02001794 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001795 lowest_rq = NULL;
1796 break;
1797 }
1798 }
1799
1800 /* If this rq is still suitable use it. */
Gregory Haskinse864c492008-12-29 09:39:49 -05001801 if (lowest_rq->rt.highest_prio.curr > task->prio)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001802 break;
1803
1804 /* try again */
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02001805 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001806 lowest_rq = NULL;
1807 }
1808
1809 return lowest_rq;
1810}
1811
Gregory Haskins917b6272008-12-29 09:39:53 -05001812static struct task_struct *pick_next_pushable_task(struct rq *rq)
1813{
1814 struct task_struct *p;
1815
1816 if (!has_pushable_tasks(rq))
1817 return NULL;
1818
1819 p = plist_first_entry(&rq->rt.pushable_tasks,
1820 struct task_struct, pushable_tasks);
1821
1822 BUG_ON(rq->cpu != task_cpu(p));
1823 BUG_ON(task_current(rq, p));
Ingo Molnar4b53a342017-02-05 15:41:03 +01001824 BUG_ON(p->nr_cpus_allowed <= 1);
Gregory Haskins917b6272008-12-29 09:39:53 -05001825
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04001826 BUG_ON(!task_on_rq_queued(p));
Gregory Haskins917b6272008-12-29 09:39:53 -05001827 BUG_ON(!rt_task(p));
1828
1829 return p;
1830}
1831
Steven Rostedte8fa1362008-01-25 21:08:05 +01001832/*
1833 * If the current CPU has more than one RT task, see if the non
1834 * running task can migrate over to a CPU that is running a task
1835 * of lesser priority.
1836 */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001837static int push_rt_task(struct rq *rq)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001838{
1839 struct task_struct *next_task;
1840 struct rq *lowest_rq;
Hillf Danton311e8002011-06-16 21:55:20 -04001841 int ret = 0;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001842
Gregory Haskinsa22d7fc2008-01-25 21:08:12 +01001843 if (!rq->rt.overloaded)
1844 return 0;
1845
Gregory Haskins917b6272008-12-29 09:39:53 -05001846 next_task = pick_next_pushable_task(rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001847 if (!next_task)
1848 return 0;
1849
Peter Zijlstra49246272010-10-17 21:46:10 +02001850retry:
Yangtao Li9ebc6052018-11-03 13:26:02 -04001851 if (WARN_ON(next_task == rq->curr))
Steven Rostedte8fa1362008-01-25 21:08:05 +01001852 return 0;
1853
1854 /*
1855 * It's possible that the next_task slipped in of
1856 * higher priority than current. If that's the case
1857 * just reschedule current.
1858 */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001859 if (unlikely(next_task->prio < rq->curr->prio)) {
Kirill Tkhai88751252014-06-29 00:03:57 +04001860 resched_curr(rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001861 return 0;
1862 }
1863
Gregory Haskins697f0a42008-01-25 21:08:09 +01001864 /* We might release rq lock */
Steven Rostedte8fa1362008-01-25 21:08:05 +01001865 get_task_struct(next_task);
1866
1867 /* find_lock_lowest_rq locks the rq if found */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001868 lowest_rq = find_lock_lowest_rq(next_task, rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001869 if (!lowest_rq) {
1870 struct task_struct *task;
1871 /*
Hillf Danton311e8002011-06-16 21:55:20 -04001872 * find_lock_lowest_rq releases rq->lock
Gregory Haskins15635132008-12-29 09:39:53 -05001873 * so it is possible that next_task has migrated.
1874 *
1875 * We need to make sure that the task is still on the same
1876 * run-queue and is also still the next task eligible for
1877 * pushing.
Steven Rostedte8fa1362008-01-25 21:08:05 +01001878 */
Gregory Haskins917b6272008-12-29 09:39:53 -05001879 task = pick_next_pushable_task(rq);
Byungchul Parkde16b912017-05-12 10:05:43 +09001880 if (task == next_task) {
Gregory Haskins15635132008-12-29 09:39:53 -05001881 /*
Hillf Danton311e8002011-06-16 21:55:20 -04001882 * The task hasn't migrated, and is still the next
1883 * eligible task, but we failed to find a run-queue
1884 * to push it to. Do not retry in this case, since
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001885 * other CPUs will pull from us when ready.
Gregory Haskins15635132008-12-29 09:39:53 -05001886 */
Gregory Haskins15635132008-12-29 09:39:53 -05001887 goto out;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001888 }
Gregory Haskins917b6272008-12-29 09:39:53 -05001889
Gregory Haskins15635132008-12-29 09:39:53 -05001890 if (!task)
1891 /* No more tasks, just exit */
1892 goto out;
1893
Gregory Haskins917b6272008-12-29 09:39:53 -05001894 /*
Gregory Haskins15635132008-12-29 09:39:53 -05001895 * Something has shifted, try again.
Gregory Haskins917b6272008-12-29 09:39:53 -05001896 */
Gregory Haskins15635132008-12-29 09:39:53 -05001897 put_task_struct(next_task);
1898 next_task = task;
1899 goto retry;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001900 }
1901
Gregory Haskins697f0a42008-01-25 21:08:09 +01001902 deactivate_task(rq, next_task, 0);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001903 set_task_cpu(next_task, lowest_rq->cpu);
1904 activate_task(lowest_rq, next_task, 0);
Hillf Danton311e8002011-06-16 21:55:20 -04001905 ret = 1;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001906
Kirill Tkhai88751252014-06-29 00:03:57 +04001907 resched_curr(lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001908
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02001909 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001910
Steven Rostedte8fa1362008-01-25 21:08:05 +01001911out:
1912 put_task_struct(next_task);
1913
Hillf Danton311e8002011-06-16 21:55:20 -04001914 return ret;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001915}
1916
Steven Rostedte8fa1362008-01-25 21:08:05 +01001917static void push_rt_tasks(struct rq *rq)
1918{
1919 /* push_rt_task will return true if it moved an RT */
1920 while (push_rt_task(rq))
1921 ;
1922}
1923
Steven Rostedtb6366f02015-03-18 14:49:46 -04001924#ifdef HAVE_RT_PUSH_IPI
Steven Rostedtb6366f02015-03-18 14:49:46 -04001925
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001926/*
1927 * When a high priority task schedules out from a CPU and a lower priority
1928 * task is scheduled in, a check is made to see if there's any RT tasks
1929 * on other CPUs that are waiting to run because a higher priority RT task
1930 * is currently running on its CPU. In this case, the CPU with multiple RT
1931 * tasks queued on it (overloaded) needs to be notified that a CPU has opened
1932 * up that may be able to run one of its non-running queued RT tasks.
1933 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001934 * All CPUs with overloaded RT tasks need to be notified as there is currently
1935 * no way to know which of these CPUs have the highest priority task waiting
1936 * to run. Instead of trying to take a spinlock on each of these CPUs,
1937 * which has shown to cause large latency when done on machines with many
1938 * CPUs, sending an IPI to the CPUs to have them push off the overloaded
1939 * RT tasks waiting to run.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001940 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001941 * Just sending an IPI to each of the CPUs is also an issue, as on large
1942 * count CPU machines, this can cause an IPI storm on a CPU, especially
1943 * if its the only CPU with multiple RT tasks queued, and a large number
1944 * of CPUs scheduling a lower priority task at the same time.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001945 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001946 * Each root domain has its own irq work function that can iterate over
1947 * all CPUs with RT overloaded tasks. Since all CPUs with overloaded RT
1948 * tassk must be checked if there's one or many CPUs that are lowering
1949 * their priority, there's a single irq work iterator that will try to
1950 * push off RT tasks that are waiting to run.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001951 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001952 * When a CPU schedules a lower priority task, it will kick off the
1953 * irq work iterator that will jump to each CPU with overloaded RT tasks.
1954 * As it only takes the first CPU that schedules a lower priority task
1955 * to start the process, the rto_start variable is incremented and if
1956 * the atomic result is one, then that CPU will try to take the rto_lock.
1957 * This prevents high contention on the lock as the process handles all
1958 * CPUs scheduling lower priority tasks.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001959 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001960 * All CPUs that are scheduling a lower priority task will increment the
1961 * rt_loop_next variable. This will make sure that the irq work iterator
1962 * checks all RT overloaded CPUs whenever a CPU schedules a new lower
1963 * priority task, even if the iterator is in the middle of a scan. Incrementing
1964 * the rt_loop_next will cause the iterator to perform another scan.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001965 *
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001966 */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05001967static int rto_next_cpu(struct root_domain *rd)
Steven Rostedtb6366f02015-03-18 14:49:46 -04001968{
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001969 int next;
Steven Rostedtb6366f02015-03-18 14:49:46 -04001970 int cpu;
1971
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001972 /*
1973 * When starting the IPI RT pushing, the rto_cpu is set to -1,
1974 * rt_next_cpu() will simply return the first CPU found in
1975 * the rto_mask.
1976 *
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001977 * If rto_next_cpu() is called with rto_cpu is a valid CPU, it
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001978 * will return the next CPU found in the rto_mask.
1979 *
1980 * If there are no more CPUs left in the rto_mask, then a check is made
1981 * against rto_loop and rto_loop_next. rto_loop is only updated with
1982 * the rto_lock held, but any CPU may increment the rto_loop_next
1983 * without any locking.
1984 */
1985 for (;;) {
1986
1987 /* When rto_cpu is -1 this acts like cpumask_first() */
1988 cpu = cpumask_next(rd->rto_cpu, rd->rto_mask);
1989
1990 rd->rto_cpu = cpu;
1991
1992 if (cpu < nr_cpu_ids)
1993 return cpu;
1994
1995 rd->rto_cpu = -1;
1996
1997 /*
1998 * ACQUIRE ensures we see the @rto_mask changes
1999 * made prior to the @next value observed.
2000 *
2001 * Matches WMB in rt_set_overload().
2002 */
2003 next = atomic_read_acquire(&rd->rto_loop_next);
2004
2005 if (rd->rto_loop == next)
2006 break;
2007
2008 rd->rto_loop = next;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002009 }
2010
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002011 return -1;
2012}
Steven Rostedtb6366f02015-03-18 14:49:46 -04002013
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002014static inline bool rto_start_trylock(atomic_t *v)
2015{
2016 return !atomic_cmpxchg_acquire(v, 0, 1);
2017}
2018
2019static inline void rto_start_unlock(atomic_t *v)
2020{
2021 atomic_set_release(v, 0);
2022}
2023
2024static void tell_cpu_to_push(struct rq *rq)
2025{
2026 int cpu = -1;
2027
2028 /* Keep the loop going if the IPI is currently active */
2029 atomic_inc(&rq->rd->rto_loop_next);
2030
2031 /* Only one CPU can initiate a loop at a time */
2032 if (!rto_start_trylock(&rq->rd->rto_loop_start))
Steven Rostedtb6366f02015-03-18 14:49:46 -04002033 return;
2034
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002035 raw_spin_lock(&rq->rd->rto_lock);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002036
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002037 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002038 * The rto_cpu is updated under the lock, if it has a valid CPU
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002039 * then the IPI is still running and will continue due to the
2040 * update to loop_next, and nothing needs to be done here.
2041 * Otherwise it is finishing up and an ipi needs to be sent.
2042 */
2043 if (rq->rd->rto_cpu < 0)
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002044 cpu = rto_next_cpu(rq->rd);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002045
2046 raw_spin_unlock(&rq->rd->rto_lock);
2047
2048 rto_start_unlock(&rq->rd->rto_loop_start);
2049
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002050 if (cpu >= 0) {
2051 /* Make sure the rd does not get freed while pushing */
2052 sched_get_rd(rq->rd);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002053 irq_work_queue_on(&rq->rd->rto_push_work, cpu);
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002054 }
Steven Rostedtb6366f02015-03-18 14:49:46 -04002055}
2056
2057/* Called from hardirq context */
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002058void rto_push_irq_work_func(struct irq_work *work)
Steven Rostedtb6366f02015-03-18 14:49:46 -04002059{
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002060 struct root_domain *rd =
2061 container_of(work, struct root_domain, rto_push_work);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002062 struct rq *rq;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002063 int cpu;
2064
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002065 rq = this_rq();
Steven Rostedtb6366f02015-03-18 14:49:46 -04002066
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002067 /*
2068 * We do not need to grab the lock to check for has_pushable_tasks.
2069 * When it gets updated, a check is made if a push is possible.
2070 */
Steven Rostedtb6366f02015-03-18 14:49:46 -04002071 if (has_pushable_tasks(rq)) {
2072 raw_spin_lock(&rq->lock);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002073 push_rt_tasks(rq);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002074 raw_spin_unlock(&rq->lock);
2075 }
2076
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002077 raw_spin_lock(&rd->rto_lock);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002078
Steven Rostedtb6366f02015-03-18 14:49:46 -04002079 /* Pass the IPI to the next rt overloaded queue */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002080 cpu = rto_next_cpu(rd);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002081
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002082 raw_spin_unlock(&rd->rto_lock);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002083
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002084 if (cpu < 0) {
2085 sched_put_rd(rd);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002086 return;
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002087 }
Steven Rostedtb6366f02015-03-18 14:49:46 -04002088
Steven Rostedtb6366f02015-03-18 14:49:46 -04002089 /* Try the next RT overloaded CPU */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002090 irq_work_queue_on(&rd->rto_push_work, cpu);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002091}
2092#endif /* HAVE_RT_PUSH_IPI */
2093
Peter Zijlstra8046d682015-06-11 14:46:40 +02002094static void pull_rt_task(struct rq *this_rq)
Steven Rostedtf65eda42008-01-25 21:08:07 +01002095{
Peter Zijlstra8046d682015-06-11 14:46:40 +02002096 int this_cpu = this_rq->cpu, cpu;
2097 bool resched = false;
Gregory Haskinsa8728942008-12-29 09:39:49 -05002098 struct task_struct *p;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002099 struct rq *src_rq;
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002100 int rt_overload_count = rt_overloaded(this_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002101
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002102 if (likely(!rt_overload_count))
Peter Zijlstra8046d682015-06-11 14:46:40 +02002103 return;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002104
Peter Zijlstra7c3f2ab2013-10-15 12:35:07 +02002105 /*
2106 * Match the barrier from rt_set_overloaded; this guarantees that if we
2107 * see overloaded we must also see the rto_mask bit.
2108 */
2109 smp_rmb();
2110
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002111 /* If we are the only overloaded CPU do nothing */
2112 if (rt_overload_count == 1 &&
2113 cpumask_test_cpu(this_rq->cpu, this_rq->rd->rto_mask))
2114 return;
2115
Steven Rostedtb6366f02015-03-18 14:49:46 -04002116#ifdef HAVE_RT_PUSH_IPI
2117 if (sched_feat(RT_PUSH_IPI)) {
2118 tell_cpu_to_push(this_rq);
Peter Zijlstra8046d682015-06-11 14:46:40 +02002119 return;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002120 }
2121#endif
2122
Rusty Russellc6c49272008-11-25 02:35:05 +10302123 for_each_cpu(cpu, this_rq->rd->rto_mask) {
Steven Rostedtf65eda42008-01-25 21:08:07 +01002124 if (this_cpu == cpu)
2125 continue;
2126
2127 src_rq = cpu_rq(cpu);
Gregory Haskins74ab8e42008-12-29 09:39:50 -05002128
2129 /*
2130 * Don't bother taking the src_rq->lock if the next highest
2131 * task is known to be lower-priority than our current task.
2132 * This may look racy, but if this value is about to go
2133 * logically higher, the src_rq will push this task away.
2134 * And if its going logically lower, we do not care
2135 */
2136 if (src_rq->rt.highest_prio.next >=
2137 this_rq->rt.highest_prio.curr)
2138 continue;
2139
Steven Rostedtf65eda42008-01-25 21:08:07 +01002140 /*
2141 * We can potentially drop this_rq's lock in
2142 * double_lock_balance, and another CPU could
Gregory Haskinsa8728942008-12-29 09:39:49 -05002143 * alter this_rq
Steven Rostedtf65eda42008-01-25 21:08:07 +01002144 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002145 double_lock_balance(this_rq, src_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002146
2147 /*
Kirill Tkhaie23ee742013-06-07 15:37:43 -04002148 * We can pull only a task, which is pushable
2149 * on its rq, and no others.
Steven Rostedtf65eda42008-01-25 21:08:07 +01002150 */
Kirill Tkhaie23ee742013-06-07 15:37:43 -04002151 p = pick_highest_pushable_task(src_rq, this_cpu);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002152
2153 /*
2154 * Do we have an RT task that preempts
2155 * the to-be-scheduled task?
2156 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002157 if (p && (p->prio < this_rq->rt.highest_prio.curr)) {
Steven Rostedtf65eda42008-01-25 21:08:07 +01002158 WARN_ON(p == src_rq->curr);
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002159 WARN_ON(!task_on_rq_queued(p));
Steven Rostedtf65eda42008-01-25 21:08:07 +01002160
2161 /*
2162 * There's a chance that p is higher in priority
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002163 * than what's currently running on its CPU.
Steven Rostedtf65eda42008-01-25 21:08:07 +01002164 * This is just that p is wakeing up and hasn't
2165 * had a chance to schedule. We only pull
2166 * p if it is lower in priority than the
Gregory Haskinsa8728942008-12-29 09:39:49 -05002167 * current task on the run queue
Steven Rostedtf65eda42008-01-25 21:08:07 +01002168 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002169 if (p->prio < src_rq->curr->prio)
Mike Galbraith614ee1f2008-01-25 21:08:30 +01002170 goto skip;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002171
Peter Zijlstra8046d682015-06-11 14:46:40 +02002172 resched = true;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002173
2174 deactivate_task(src_rq, p, 0);
2175 set_task_cpu(p, this_cpu);
2176 activate_task(this_rq, p, 0);
2177 /*
2178 * We continue with the search, just in
2179 * case there's an even higher prio task
Lucas De Marchi25985ed2011-03-30 22:57:33 -03002180 * in another runqueue. (low likelihood
Steven Rostedtf65eda42008-01-25 21:08:07 +01002181 * but possible)
Steven Rostedtf65eda42008-01-25 21:08:07 +01002182 */
Steven Rostedtf65eda42008-01-25 21:08:07 +01002183 }
Peter Zijlstra49246272010-10-17 21:46:10 +02002184skip:
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02002185 double_unlock_balance(this_rq, src_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002186 }
2187
Peter Zijlstra8046d682015-06-11 14:46:40 +02002188 if (resched)
2189 resched_curr(this_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002190}
2191
Gregory Haskins8ae121a2008-04-23 07:13:29 -04002192/*
2193 * If we are not running and we are not going to reschedule soon, we should
2194 * try to push tasks away now
2195 */
Peter Zijlstraefbbd052009-12-16 18:04:40 +01002196static void task_woken_rt(struct rq *rq, struct task_struct *p)
Steven Rostedt4642daf2008-01-25 21:08:07 +01002197{
Qais Yousef804d4022019-10-09 11:46:11 +01002198 bool need_to_push = !task_running(rq, p) &&
2199 !test_tsk_need_resched(rq->curr) &&
2200 p->nr_cpus_allowed > 1 &&
2201 (dl_task(rq->curr) || rt_task(rq->curr)) &&
2202 (rq->curr->nr_cpus_allowed < 2 ||
2203 rq->curr->prio <= p->prio);
2204
2205 if (need_to_push || !rt_task_fits_capacity(p, cpu_of(rq)))
Steven Rostedt4642daf2008-01-25 21:08:07 +01002206 push_rt_tasks(rq);
2207}
2208
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002209/* Assumes rq->lock is held */
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002210static void rq_online_rt(struct rq *rq)
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002211{
2212 if (rq->rt.overloaded)
2213 rt_set_overload(rq);
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002214
Peter Zijlstra7def2be2008-06-05 14:49:58 +02002215 __enable_runtime(rq);
2216
Gregory Haskinse864c492008-12-29 09:39:49 -05002217 cpupri_set(&rq->rd->cpupri, rq->cpu, rq->rt.highest_prio.curr);
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002218}
2219
2220/* Assumes rq->lock is held */
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002221static void rq_offline_rt(struct rq *rq)
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002222{
2223 if (rq->rt.overloaded)
2224 rt_clear_overload(rq);
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002225
Peter Zijlstra7def2be2008-06-05 14:49:58 +02002226 __disable_runtime(rq);
2227
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002228 cpupri_set(&rq->rd->cpupri, rq->cpu, CPUPRI_INVALID);
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002229}
Steven Rostedtcb469842008-01-25 21:08:22 +01002230
2231/*
2232 * When switch from the rt queue, we bring ourselves to a position
2233 * that we might want to pull RT tasks from other runqueues.
2234 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002235static void switched_from_rt(struct rq *rq, struct task_struct *p)
Steven Rostedtcb469842008-01-25 21:08:22 +01002236{
2237 /*
2238 * If there are other RT tasks then we will reschedule
2239 * and the scheduling of the other RT tasks will handle
2240 * the balancing. But if we are the last RT task
2241 * we may need to handle the pulling of RT tasks
2242 * now.
2243 */
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002244 if (!task_on_rq_queued(p) || rq->rt.rt_nr_running)
Kirill Tkhai1158ddb2012-11-23 00:02:15 +04002245 return;
2246
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002247 rt_queue_pull_task(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002248}
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302249
Li Zefan11c785b2014-02-08 14:17:45 +08002250void __init init_sched_rt_class(void)
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302251{
2252 unsigned int i;
2253
Peter Zijlstra029632f2011-10-25 10:00:11 +02002254 for_each_possible_cpu(i) {
Yinghai Lueaa95842009-06-06 14:51:36 -07002255 zalloc_cpumask_var_node(&per_cpu(local_cpu_mask, i),
Mike Travis6ca09df2008-12-31 18:08:45 -08002256 GFP_KERNEL, cpu_to_node(i));
Peter Zijlstra029632f2011-10-25 10:00:11 +02002257 }
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302258}
Steven Rostedte8fa1362008-01-25 21:08:05 +01002259#endif /* CONFIG_SMP */
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002260
Steven Rostedtcb469842008-01-25 21:08:22 +01002261/*
2262 * When switching a task to RT, we may overload the runqueue
2263 * with RT tasks. In this case we try to push them off to
2264 * other runqueues.
2265 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002266static void switched_to_rt(struct rq *rq, struct task_struct *p)
Steven Rostedtcb469842008-01-25 21:08:22 +01002267{
Steven Rostedtcb469842008-01-25 21:08:22 +01002268 /*
2269 * If we are already running, then there's nothing
2270 * that needs to be done. But if we are not running
2271 * we may need to preempt the current running task.
2272 * If that current running task is also an RT task
2273 * then see if we can move to another run queue.
2274 */
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002275 if (task_on_rq_queued(p) && rq->curr != p) {
Steven Rostedtcb469842008-01-25 21:08:22 +01002276#ifdef CONFIG_SMP
Qais Yousef804d4022019-10-09 11:46:11 +01002277 bool need_to_push = rq->rt.overloaded ||
2278 !rt_task_fits_capacity(p, cpu_of(rq));
2279
2280 if (p->nr_cpus_allowed > 1 && need_to_push)
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002281 rt_queue_push_tasks(rq);
Sebastian Andrzej Siewior619bd4a2017-01-24 15:40:06 +01002282#endif /* CONFIG_SMP */
Paul E. McKenney2fe25822017-10-13 17:00:18 -07002283 if (p->prio < rq->curr->prio && cpu_online(cpu_of(rq)))
Kirill Tkhai88751252014-06-29 00:03:57 +04002284 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002285 }
2286}
2287
2288/*
2289 * Priority of the task has changed. This may cause
2290 * us to initiate a push or pull.
2291 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002292static void
2293prio_changed_rt(struct rq *rq, struct task_struct *p, int oldprio)
Steven Rostedtcb469842008-01-25 21:08:22 +01002294{
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002295 if (!task_on_rq_queued(p))
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002296 return;
2297
2298 if (rq->curr == p) {
Steven Rostedtcb469842008-01-25 21:08:22 +01002299#ifdef CONFIG_SMP
2300 /*
2301 * If our priority decreases while running, we
2302 * may need to pull tasks to this runqueue.
2303 */
2304 if (oldprio < p->prio)
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002305 rt_queue_pull_task(rq);
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002306
Steven Rostedtcb469842008-01-25 21:08:22 +01002307 /*
2308 * If there's a higher priority task waiting to run
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002309 * then reschedule.
Steven Rostedtcb469842008-01-25 21:08:22 +01002310 */
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002311 if (p->prio > rq->rt.highest_prio.curr)
Kirill Tkhai88751252014-06-29 00:03:57 +04002312 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002313#else
2314 /* For UP simply resched on drop of prio */
2315 if (oldprio < p->prio)
Kirill Tkhai88751252014-06-29 00:03:57 +04002316 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002317#endif /* CONFIG_SMP */
2318 } else {
2319 /*
2320 * This task is not running, but if it is
2321 * greater than the current running task
2322 * then reschedule.
2323 */
2324 if (p->prio < rq->curr->prio)
Kirill Tkhai88751252014-06-29 00:03:57 +04002325 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002326 }
2327}
2328
Nicolas Pitreb18b6a92017-01-21 00:09:08 -05002329#ifdef CONFIG_POSIX_TIMERS
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002330static void watchdog(struct rq *rq, struct task_struct *p)
2331{
2332 unsigned long soft, hard;
2333
Jiri Slaby78d7d402010-03-05 13:42:54 -08002334 /* max may change after cur was read, this will be fixed next tick */
2335 soft = task_rlimit(p, RLIMIT_RTTIME);
2336 hard = task_rlimit_max(p, RLIMIT_RTTIME);
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002337
2338 if (soft != RLIM_INFINITY) {
2339 unsigned long next;
2340
Ying Xue57d2aa02012-07-17 15:03:43 +08002341 if (p->rt.watchdog_stamp != jiffies) {
2342 p->rt.timeout++;
2343 p->rt.watchdog_stamp = jiffies;
2344 }
2345
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002346 next = DIV_ROUND_UP(min(soft, hard), USEC_PER_SEC/HZ);
Thomas Gleixner3a245c02019-08-21 21:09:06 +02002347 if (p->rt.timeout > next) {
2348 posix_cputimers_rt_watchdog(&p->posix_cputimers,
2349 p->se.sum_exec_runtime);
2350 }
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002351 }
2352}
Nicolas Pitreb18b6a92017-01-21 00:09:08 -05002353#else
2354static inline void watchdog(struct rq *rq, struct task_struct *p) { }
2355#endif
Steven Rostedtcb469842008-01-25 21:08:22 +01002356
Frederic Weisbeckerd84b3132018-02-21 05:17:27 +01002357/*
2358 * scheduler tick hitting a task of our scheduling class.
2359 *
2360 * NOTE: This function can be called remotely by the tick offload that
2361 * goes along full dynticks. Therefore no local assumption can be made
2362 * and everything must be accessed through the @rq and @curr passed in
2363 * parameters.
2364 */
Peter Zijlstra8f4d37e2008-01-25 21:08:29 +01002365static void task_tick_rt(struct rq *rq, struct task_struct *p, int queued)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002366{
Colin Cross454c7992012-05-16 21:34:23 -07002367 struct sched_rt_entity *rt_se = &p->rt;
2368
Peter Zijlstra67e2be02007-12-20 15:01:17 +01002369 update_curr_rt(rq);
Vincent Guittot23127292019-01-23 16:26:53 +01002370 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 1);
Peter Zijlstra67e2be02007-12-20 15:01:17 +01002371
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002372 watchdog(rq, p);
2373
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002374 /*
2375 * RR tasks need a special form of timeslice management.
2376 * FIFO tasks have no timeslices.
2377 */
2378 if (p->policy != SCHED_RR)
2379 return;
2380
Peter Zijlstrafa717062008-01-25 21:08:27 +01002381 if (--p->rt.time_slice)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002382 return;
2383
Clark Williamsce0dbbb2013-02-07 09:47:04 -06002384 p->rt.time_slice = sched_rr_timeslice;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002385
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002386 /*
Li Bine9aa39b2013-10-21 20:15:43 +08002387 * Requeue to the end of queue if we (and all of our ancestors) are not
2388 * the only element on the queue
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002389 */
Colin Cross454c7992012-05-16 21:34:23 -07002390 for_each_sched_rt_entity(rt_se) {
2391 if (rt_se->run_list.prev != rt_se->run_list.next) {
2392 requeue_task_rt(rq, p, 0);
Kirill Tkhai8aa6f0e2014-09-22 22:36:43 +04002393 resched_curr(rq);
Colin Cross454c7992012-05-16 21:34:23 -07002394 return;
2395 }
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002396 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002397}
2398
H Hartley Sweeten6d686f42010-01-13 20:21:52 -07002399static unsigned int get_rr_interval_rt(struct rq *rq, struct task_struct *task)
Peter Williams0d721ce2009-09-21 01:31:53 +00002400{
2401 /*
2402 * Time slice is 0 for SCHED_FIFO tasks
2403 */
2404 if (task->policy == SCHED_RR)
Clark Williamsce0dbbb2013-02-07 09:47:04 -06002405 return sched_rr_timeslice;
Peter Williams0d721ce2009-09-21 01:31:53 +00002406 else
2407 return 0;
2408}
2409
Peter Zijlstra029632f2011-10-25 10:00:11 +02002410const struct sched_class rt_sched_class = {
Ingo Molnar5522d5d2007-10-15 17:00:12 +02002411 .next = &fair_sched_class,
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002412 .enqueue_task = enqueue_task_rt,
2413 .dequeue_task = dequeue_task_rt,
2414 .yield_task = yield_task_rt,
2415
2416 .check_preempt_curr = check_preempt_curr_rt,
2417
2418 .pick_next_task = pick_next_task_rt,
2419 .put_prev_task = put_prev_task_rt,
Peter Zijlstra03b7fad2019-05-29 20:36:41 +00002420 .set_next_task = set_next_task_rt,
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002421
Peter Williams681f3e62007-10-24 18:23:51 +02002422#ifdef CONFIG_SMP
Peter Zijlstra6e2df052019-11-08 11:11:52 +01002423 .balance = balance_rt,
Li Zefan4ce72a22008-10-22 15:25:26 +08002424 .select_task_rq = select_task_rq_rt,
Peter Zijlstra6c370672015-05-15 17:43:36 +02002425 .set_cpus_allowed = set_cpus_allowed_common,
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002426 .rq_online = rq_online_rt,
2427 .rq_offline = rq_offline_rt,
Peter Zijlstraefbbd052009-12-16 18:04:40 +01002428 .task_woken = task_woken_rt,
Steven Rostedtcb469842008-01-25 21:08:22 +01002429 .switched_from = switched_from_rt,
Peter Williams681f3e62007-10-24 18:23:51 +02002430#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002431
2432 .task_tick = task_tick_rt,
Steven Rostedtcb469842008-01-25 21:08:22 +01002433
Peter Williams0d721ce2009-09-21 01:31:53 +00002434 .get_rr_interval = get_rr_interval_rt,
2435
Steven Rostedtcb469842008-01-25 21:08:22 +01002436 .prio_changed = prio_changed_rt,
2437 .switched_to = switched_to_rt,
Stanislaw Gruszka6e998912014-11-12 16:58:44 +01002438
2439 .update_curr = update_curr_rt,
Patrick Bellasi982d9cd2019-06-21 09:42:10 +01002440
2441#ifdef CONFIG_UCLAMP_TASK
2442 .uclamp_enabled = 1,
2443#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002444};
Peter Zijlstraada18de2008-06-19 14:22:24 +02002445
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002446#ifdef CONFIG_RT_GROUP_SCHED
2447/*
2448 * Ensure that the real time constraints are schedulable.
2449 */
2450static DEFINE_MUTEX(rt_constraints_mutex);
2451
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002452static inline int tg_has_rt_tasks(struct task_group *tg)
2453{
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002454 struct task_struct *task;
2455 struct css_task_iter it;
2456 int ret = 0;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002457
2458 /*
2459 * Autogroups do not have RT tasks; see autogroup_create().
2460 */
2461 if (task_group_is_autogroup(tg))
2462 return 0;
2463
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002464 css_task_iter_start(&tg->css, 0, &it);
2465 while (!ret && (task = css_task_iter_next(&it)))
2466 ret |= rt_task(task);
2467 css_task_iter_end(&it);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002468
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002469 return ret;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002470}
2471
2472struct rt_schedulable_data {
2473 struct task_group *tg;
2474 u64 rt_period;
2475 u64 rt_runtime;
2476};
2477
2478static int tg_rt_schedulable(struct task_group *tg, void *data)
2479{
2480 struct rt_schedulable_data *d = data;
2481 struct task_group *child;
2482 unsigned long total, sum = 0;
2483 u64 period, runtime;
2484
2485 period = ktime_to_ns(tg->rt_bandwidth.rt_period);
2486 runtime = tg->rt_bandwidth.rt_runtime;
2487
2488 if (tg == d->tg) {
2489 period = d->rt_period;
2490 runtime = d->rt_runtime;
2491 }
2492
2493 /*
2494 * Cannot have more runtime than the period.
2495 */
2496 if (runtime > period && runtime != RUNTIME_INF)
2497 return -EINVAL;
2498
2499 /*
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002500 * Ensure we don't starve existing RT tasks if runtime turns zero.
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002501 */
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002502 if (rt_bandwidth_enabled() && !runtime &&
2503 tg->rt_bandwidth.rt_runtime && tg_has_rt_tasks(tg))
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002504 return -EBUSY;
2505
2506 total = to_ratio(period, runtime);
2507
2508 /*
2509 * Nobody can have more than the global setting allows.
2510 */
2511 if (total > to_ratio(global_rt_period(), global_rt_runtime()))
2512 return -EINVAL;
2513
2514 /*
2515 * The sum of our children's runtime should not exceed our own.
2516 */
2517 list_for_each_entry_rcu(child, &tg->children, siblings) {
2518 period = ktime_to_ns(child->rt_bandwidth.rt_period);
2519 runtime = child->rt_bandwidth.rt_runtime;
2520
2521 if (child == d->tg) {
2522 period = d->rt_period;
2523 runtime = d->rt_runtime;
2524 }
2525
2526 sum += to_ratio(period, runtime);
2527 }
2528
2529 if (sum > total)
2530 return -EINVAL;
2531
2532 return 0;
2533}
2534
2535static int __rt_schedulable(struct task_group *tg, u64 period, u64 runtime)
2536{
2537 int ret;
2538
2539 struct rt_schedulable_data data = {
2540 .tg = tg,
2541 .rt_period = period,
2542 .rt_runtime = runtime,
2543 };
2544
2545 rcu_read_lock();
2546 ret = walk_tg_tree(tg_rt_schedulable, tg_nop, &data);
2547 rcu_read_unlock();
2548
2549 return ret;
2550}
2551
2552static int tg_set_rt_bandwidth(struct task_group *tg,
2553 u64 rt_period, u64 rt_runtime)
2554{
2555 int i, err = 0;
2556
2557 /*
2558 * Disallowing the root group RT runtime is BAD, it would disallow the
2559 * kernel creating (and or operating) RT threads.
2560 */
2561 if (tg == &root_task_group && rt_runtime == 0)
2562 return -EINVAL;
2563
2564 /* No period doesn't make any sense. */
2565 if (rt_period == 0)
2566 return -EINVAL;
2567
2568 mutex_lock(&rt_constraints_mutex);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002569 err = __rt_schedulable(tg, rt_period, rt_runtime);
2570 if (err)
2571 goto unlock;
2572
2573 raw_spin_lock_irq(&tg->rt_bandwidth.rt_runtime_lock);
2574 tg->rt_bandwidth.rt_period = ns_to_ktime(rt_period);
2575 tg->rt_bandwidth.rt_runtime = rt_runtime;
2576
2577 for_each_possible_cpu(i) {
2578 struct rt_rq *rt_rq = tg->rt_rq[i];
2579
2580 raw_spin_lock(&rt_rq->rt_runtime_lock);
2581 rt_rq->rt_runtime = rt_runtime;
2582 raw_spin_unlock(&rt_rq->rt_runtime_lock);
2583 }
2584 raw_spin_unlock_irq(&tg->rt_bandwidth.rt_runtime_lock);
2585unlock:
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002586 mutex_unlock(&rt_constraints_mutex);
2587
2588 return err;
2589}
2590
2591int sched_group_set_rt_runtime(struct task_group *tg, long rt_runtime_us)
2592{
2593 u64 rt_runtime, rt_period;
2594
2595 rt_period = ktime_to_ns(tg->rt_bandwidth.rt_period);
2596 rt_runtime = (u64)rt_runtime_us * NSEC_PER_USEC;
2597 if (rt_runtime_us < 0)
2598 rt_runtime = RUNTIME_INF;
Konstantin Khlebnikov1a010e22019-02-27 11:10:17 +03002599 else if ((u64)rt_runtime_us > U64_MAX / NSEC_PER_USEC)
2600 return -EINVAL;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002601
2602 return tg_set_rt_bandwidth(tg, rt_period, rt_runtime);
2603}
2604
2605long sched_group_rt_runtime(struct task_group *tg)
2606{
2607 u64 rt_runtime_us;
2608
2609 if (tg->rt_bandwidth.rt_runtime == RUNTIME_INF)
2610 return -1;
2611
2612 rt_runtime_us = tg->rt_bandwidth.rt_runtime;
2613 do_div(rt_runtime_us, NSEC_PER_USEC);
2614 return rt_runtime_us;
2615}
2616
2617int sched_group_set_rt_period(struct task_group *tg, u64 rt_period_us)
2618{
2619 u64 rt_runtime, rt_period;
2620
Konstantin Khlebnikov1a010e22019-02-27 11:10:17 +03002621 if (rt_period_us > U64_MAX / NSEC_PER_USEC)
2622 return -EINVAL;
2623
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002624 rt_period = rt_period_us * NSEC_PER_USEC;
2625 rt_runtime = tg->rt_bandwidth.rt_runtime;
2626
2627 return tg_set_rt_bandwidth(tg, rt_period, rt_runtime);
2628}
2629
2630long sched_group_rt_period(struct task_group *tg)
2631{
2632 u64 rt_period_us;
2633
2634 rt_period_us = ktime_to_ns(tg->rt_bandwidth.rt_period);
2635 do_div(rt_period_us, NSEC_PER_USEC);
2636 return rt_period_us;
2637}
2638
2639static int sched_rt_global_constraints(void)
2640{
2641 int ret = 0;
2642
2643 mutex_lock(&rt_constraints_mutex);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002644 ret = __rt_schedulable(NULL, 0, 0);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002645 mutex_unlock(&rt_constraints_mutex);
2646
2647 return ret;
2648}
2649
2650int sched_rt_can_attach(struct task_group *tg, struct task_struct *tsk)
2651{
2652 /* Don't accept realtime tasks when there is no way for them to run */
2653 if (rt_task(tsk) && tg->rt_bandwidth.rt_runtime == 0)
2654 return 0;
2655
2656 return 1;
2657}
2658
2659#else /* !CONFIG_RT_GROUP_SCHED */
2660static int sched_rt_global_constraints(void)
2661{
2662 unsigned long flags;
2663 int i;
2664
2665 raw_spin_lock_irqsave(&def_rt_bandwidth.rt_runtime_lock, flags);
2666 for_each_possible_cpu(i) {
2667 struct rt_rq *rt_rq = &cpu_rq(i)->rt;
2668
2669 raw_spin_lock(&rt_rq->rt_runtime_lock);
2670 rt_rq->rt_runtime = global_rt_runtime();
2671 raw_spin_unlock(&rt_rq->rt_runtime_lock);
2672 }
2673 raw_spin_unlock_irqrestore(&def_rt_bandwidth.rt_runtime_lock, flags);
2674
2675 return 0;
2676}
2677#endif /* CONFIG_RT_GROUP_SCHED */
2678
2679static int sched_rt_global_validate(void)
2680{
2681 if (sysctl_sched_rt_period <= 0)
2682 return -EINVAL;
2683
2684 if ((sysctl_sched_rt_runtime != RUNTIME_INF) &&
2685 (sysctl_sched_rt_runtime > sysctl_sched_rt_period))
2686 return -EINVAL;
2687
2688 return 0;
2689}
2690
2691static void sched_rt_do_global(void)
2692{
2693 def_rt_bandwidth.rt_runtime = global_rt_runtime();
2694 def_rt_bandwidth.rt_period = ns_to_ktime(global_rt_period());
2695}
2696
2697int sched_rt_handler(struct ctl_table *table, int write,
2698 void __user *buffer, size_t *lenp,
2699 loff_t *ppos)
2700{
2701 int old_period, old_runtime;
2702 static DEFINE_MUTEX(mutex);
2703 int ret;
2704
2705 mutex_lock(&mutex);
2706 old_period = sysctl_sched_rt_period;
2707 old_runtime = sysctl_sched_rt_runtime;
2708
2709 ret = proc_dointvec(table, write, buffer, lenp, ppos);
2710
2711 if (!ret && write) {
2712 ret = sched_rt_global_validate();
2713 if (ret)
2714 goto undo;
2715
2716 ret = sched_dl_global_validate();
2717 if (ret)
2718 goto undo;
2719
2720 ret = sched_rt_global_constraints();
2721 if (ret)
2722 goto undo;
2723
2724 sched_rt_do_global();
2725 sched_dl_do_global();
2726 }
2727 if (0) {
2728undo:
2729 sysctl_sched_rt_period = old_period;
2730 sysctl_sched_rt_runtime = old_runtime;
2731 }
2732 mutex_unlock(&mutex);
2733
2734 return ret;
2735}
2736
2737int sched_rr_handler(struct ctl_table *table, int write,
2738 void __user *buffer, size_t *lenp,
2739 loff_t *ppos)
2740{
2741 int ret;
2742 static DEFINE_MUTEX(mutex);
2743
2744 mutex_lock(&mutex);
2745 ret = proc_dointvec(table, write, buffer, lenp, ppos);
2746 /*
2747 * Make sure that internally we keep jiffies.
2748 * Also, writing zero resets the timeslice to default:
2749 */
2750 if (!ret && write) {
2751 sched_rr_timeslice =
2752 sysctl_sched_rr_timeslice <= 0 ? RR_TIMESLICE :
2753 msecs_to_jiffies(sysctl_sched_rr_timeslice);
2754 }
2755 mutex_unlock(&mutex);
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002756
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002757 return ret;
2758}
2759
Peter Zijlstraada18de2008-06-19 14:22:24 +02002760#ifdef CONFIG_SCHED_DEBUG
Peter Zijlstra029632f2011-10-25 10:00:11 +02002761void print_rt_stats(struct seq_file *m, int cpu)
Peter Zijlstraada18de2008-06-19 14:22:24 +02002762{
Cheng Xuec514c42011-05-14 14:20:02 +08002763 rt_rq_iter_t iter;
Peter Zijlstraada18de2008-06-19 14:22:24 +02002764 struct rt_rq *rt_rq;
2765
2766 rcu_read_lock();
Cheng Xuec514c42011-05-14 14:20:02 +08002767 for_each_rt_rq(rt_rq, iter, cpu_rq(cpu))
Peter Zijlstraada18de2008-06-19 14:22:24 +02002768 print_rt_rq(m, cpu, rt_rq);
2769 rcu_read_unlock();
2770}
Dhaval Giani55e12e52008-06-24 23:39:43 +05302771#endif /* CONFIG_SCHED_DEBUG */