blob: f395ddb75f3857451497877aad36583ced560de6 [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;
Huaixin Changd505b8a2020-04-25 18:52:48 +080012/* More than 4 hours if BW_SHIFT equals 20. */
13static const u64 max_rt_runtime = MAX_BW;
Clark Williamsce0dbbb2013-02-07 09:47:04 -060014
Peter Zijlstra029632f2011-10-25 10:00:11 +020015static int do_sched_rt_period_timer(struct rt_bandwidth *rt_b, int overrun);
16
17struct rt_bandwidth def_rt_bandwidth;
18
19static enum hrtimer_restart sched_rt_period_timer(struct hrtimer *timer)
20{
21 struct rt_bandwidth *rt_b =
22 container_of(timer, struct rt_bandwidth, rt_period_timer);
Peter Zijlstra029632f2011-10-25 10:00:11 +020023 int idle = 0;
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020024 int overrun;
Peter Zijlstra029632f2011-10-25 10:00:11 +020025
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020026 raw_spin_lock(&rt_b->rt_runtime_lock);
Peter Zijlstra029632f2011-10-25 10:00:11 +020027 for (;;) {
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020028 overrun = hrtimer_forward_now(timer, rt_b->rt_period);
Peter Zijlstra029632f2011-10-25 10:00:11 +020029 if (!overrun)
30 break;
31
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020032 raw_spin_unlock(&rt_b->rt_runtime_lock);
Peter Zijlstra029632f2011-10-25 10:00:11 +020033 idle = do_sched_rt_period_timer(rt_b, overrun);
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020034 raw_spin_lock(&rt_b->rt_runtime_lock);
Peter Zijlstra029632f2011-10-25 10:00:11 +020035 }
Peter Zijlstra4cfafd32015-05-14 12:23:11 +020036 if (idle)
37 rt_b->rt_period_active = 0;
Peter Zijlstra77a4d1a2015-04-15 11:41:57 +020038 raw_spin_unlock(&rt_b->rt_runtime_lock);
Peter Zijlstra029632f2011-10-25 10:00:11 +020039
40 return idle ? HRTIMER_NORESTART : HRTIMER_RESTART;
41}
42
43void init_rt_bandwidth(struct rt_bandwidth *rt_b, u64 period, u64 runtime)
44{
45 rt_b->rt_period = ns_to_ktime(period);
46 rt_b->rt_runtime = runtime;
47
48 raw_spin_lock_init(&rt_b->rt_runtime_lock);
49
Sebastian Andrzej Siewiord5096aa2019-07-26 20:30:52 +020050 hrtimer_init(&rt_b->rt_period_timer, CLOCK_MONOTONIC,
51 HRTIMER_MODE_REL_HARD);
Peter Zijlstra029632f2011-10-25 10:00:11 +020052 rt_b->rt_period_timer.function = sched_rt_period_timer;
53}
54
55static void start_rt_bandwidth(struct rt_bandwidth *rt_b)
56{
57 if (!rt_bandwidth_enabled() || rt_b->rt_runtime == RUNTIME_INF)
58 return;
59
Peter Zijlstra029632f2011-10-25 10:00:11 +020060 raw_spin_lock(&rt_b->rt_runtime_lock);
Peter Zijlstra4cfafd32015-05-14 12:23:11 +020061 if (!rt_b->rt_period_active) {
62 rt_b->rt_period_active = 1;
Steven Rostedtc3a990d2016-02-16 18:37:46 -050063 /*
64 * SCHED_DEADLINE updates the bandwidth, as a run away
65 * RT task with a DL task could hog a CPU. But DL does
66 * not reset the period. If a deadline task was running
67 * without an RT task running, it can cause RT tasks to
68 * throttle when they start up. Kick the timer right away
69 * to update the period.
70 */
71 hrtimer_forward_now(&rt_b->rt_period_timer, ns_to_ktime(0));
Sebastian Andrzej Siewiord5096aa2019-07-26 20:30:52 +020072 hrtimer_start_expires(&rt_b->rt_period_timer,
73 HRTIMER_MODE_ABS_PINNED_HARD);
Peter Zijlstra4cfafd32015-05-14 12:23:11 +020074 }
Peter Zijlstra029632f2011-10-25 10:00:11 +020075 raw_spin_unlock(&rt_b->rt_runtime_lock);
76}
77
Abel Vesa07c54f72015-03-03 13:50:27 +020078void init_rt_rq(struct rt_rq *rt_rq)
Peter Zijlstra029632f2011-10-25 10:00:11 +020079{
80 struct rt_prio_array *array;
81 int i;
82
83 array = &rt_rq->active;
84 for (i = 0; i < MAX_RT_PRIO; i++) {
85 INIT_LIST_HEAD(array->queue + i);
86 __clear_bit(i, array->bitmap);
87 }
88 /* delimiter for bitsearch: */
89 __set_bit(MAX_RT_PRIO, array->bitmap);
90
91#if defined CONFIG_SMP
92 rt_rq->highest_prio.curr = MAX_RT_PRIO;
93 rt_rq->highest_prio.next = MAX_RT_PRIO;
94 rt_rq->rt_nr_migratory = 0;
95 rt_rq->overloaded = 0;
96 plist_head_init(&rt_rq->pushable_tasks);
Steven Rostedtb6366f02015-03-18 14:49:46 -040097#endif /* CONFIG_SMP */
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +040098 /* We start is dequeued state, because no RT tasks are queued */
99 rt_rq->rt_queued = 0;
Peter Zijlstra029632f2011-10-25 10:00:11 +0200100
101 rt_rq->rt_time = 0;
102 rt_rq->rt_throttled = 0;
103 rt_rq->rt_runtime = 0;
104 raw_spin_lock_init(&rt_rq->rt_runtime_lock);
105}
106
Gregory Haskins398a1532009-01-14 09:10:04 -0500107#ifdef CONFIG_RT_GROUP_SCHED
Peter Zijlstra029632f2011-10-25 10:00:11 +0200108static void destroy_rt_bandwidth(struct rt_bandwidth *rt_b)
109{
110 hrtimer_cancel(&rt_b->rt_period_timer);
111}
Gregory Haskins398a1532009-01-14 09:10:04 -0500112
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200113#define rt_entity_is_task(rt_se) (!(rt_se)->my_q)
114
Peter Zijlstra8f488942009-07-24 12:25:30 +0200115static inline struct task_struct *rt_task_of(struct sched_rt_entity *rt_se)
116{
117#ifdef CONFIG_SCHED_DEBUG
118 WARN_ON_ONCE(!rt_entity_is_task(rt_se));
119#endif
120 return container_of(rt_se, struct task_struct, rt);
121}
122
Gregory Haskins398a1532009-01-14 09:10:04 -0500123static inline struct rq *rq_of_rt_rq(struct rt_rq *rt_rq)
124{
125 return rt_rq->rq;
126}
127
128static inline struct rt_rq *rt_rq_of_se(struct sched_rt_entity *rt_se)
129{
130 return rt_se->rt_rq;
131}
132
Kirill Tkhai653d07a2014-03-15 02:14:55 +0400133static inline struct rq *rq_of_rt_se(struct sched_rt_entity *rt_se)
134{
135 struct rt_rq *rt_rq = rt_se->rt_rq;
136
137 return rt_rq->rq;
138}
139
Peter Zijlstra029632f2011-10-25 10:00:11 +0200140void free_rt_sched_group(struct task_group *tg)
141{
142 int i;
143
144 if (tg->rt_se)
145 destroy_rt_bandwidth(&tg->rt_bandwidth);
146
147 for_each_possible_cpu(i) {
148 if (tg->rt_rq)
149 kfree(tg->rt_rq[i]);
150 if (tg->rt_se)
151 kfree(tg->rt_se[i]);
152 }
153
154 kfree(tg->rt_rq);
155 kfree(tg->rt_se);
156}
157
158void init_tg_rt_entry(struct task_group *tg, struct rt_rq *rt_rq,
159 struct sched_rt_entity *rt_se, int cpu,
160 struct sched_rt_entity *parent)
161{
162 struct rq *rq = cpu_rq(cpu);
163
164 rt_rq->highest_prio.curr = MAX_RT_PRIO;
165 rt_rq->rt_nr_boosted = 0;
166 rt_rq->rq = rq;
167 rt_rq->tg = tg;
168
169 tg->rt_rq[cpu] = rt_rq;
170 tg->rt_se[cpu] = rt_se;
171
172 if (!rt_se)
173 return;
174
175 if (!parent)
176 rt_se->rt_rq = &rq->rt;
177 else
178 rt_se->rt_rq = parent->my_q;
179
180 rt_se->my_q = rt_rq;
181 rt_se->parent = parent;
182 INIT_LIST_HEAD(&rt_se->run_list);
183}
184
185int alloc_rt_sched_group(struct task_group *tg, struct task_group *parent)
186{
187 struct rt_rq *rt_rq;
188 struct sched_rt_entity *rt_se;
189 int i;
190
Kees Cook6396bb22018-06-12 14:03:40 -0700191 tg->rt_rq = kcalloc(nr_cpu_ids, sizeof(rt_rq), GFP_KERNEL);
Peter Zijlstra029632f2011-10-25 10:00:11 +0200192 if (!tg->rt_rq)
193 goto err;
Kees Cook6396bb22018-06-12 14:03:40 -0700194 tg->rt_se = kcalloc(nr_cpu_ids, sizeof(rt_se), GFP_KERNEL);
Peter Zijlstra029632f2011-10-25 10:00:11 +0200195 if (!tg->rt_se)
196 goto err;
197
198 init_rt_bandwidth(&tg->rt_bandwidth,
199 ktime_to_ns(def_rt_bandwidth.rt_period), 0);
200
201 for_each_possible_cpu(i) {
202 rt_rq = kzalloc_node(sizeof(struct rt_rq),
203 GFP_KERNEL, cpu_to_node(i));
204 if (!rt_rq)
205 goto err;
206
207 rt_se = kzalloc_node(sizeof(struct sched_rt_entity),
208 GFP_KERNEL, cpu_to_node(i));
209 if (!rt_se)
210 goto err_free_rq;
211
Abel Vesa07c54f72015-03-03 13:50:27 +0200212 init_rt_rq(rt_rq);
Peter Zijlstra029632f2011-10-25 10:00:11 +0200213 rt_rq->rt_runtime = tg->rt_bandwidth.rt_runtime;
214 init_tg_rt_entry(tg, rt_rq, rt_se, i, parent->rt_se[i]);
215 }
216
217 return 1;
218
219err_free_rq:
220 kfree(rt_rq);
221err:
222 return 0;
223}
224
Gregory Haskins398a1532009-01-14 09:10:04 -0500225#else /* CONFIG_RT_GROUP_SCHED */
226
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200227#define rt_entity_is_task(rt_se) (1)
228
Peter Zijlstra8f488942009-07-24 12:25:30 +0200229static inline struct task_struct *rt_task_of(struct sched_rt_entity *rt_se)
230{
231 return container_of(rt_se, struct task_struct, rt);
232}
233
Gregory Haskins398a1532009-01-14 09:10:04 -0500234static inline struct rq *rq_of_rt_rq(struct rt_rq *rt_rq)
235{
236 return container_of(rt_rq, struct rq, rt);
237}
238
Kirill Tkhai653d07a2014-03-15 02:14:55 +0400239static inline struct rq *rq_of_rt_se(struct sched_rt_entity *rt_se)
Gregory Haskins398a1532009-01-14 09:10:04 -0500240{
241 struct task_struct *p = rt_task_of(rt_se);
Kirill Tkhai653d07a2014-03-15 02:14:55 +0400242
243 return task_rq(p);
244}
245
246static inline struct rt_rq *rt_rq_of_se(struct sched_rt_entity *rt_se)
247{
248 struct rq *rq = rq_of_rt_se(rt_se);
Gregory Haskins398a1532009-01-14 09:10:04 -0500249
250 return &rq->rt;
251}
252
Peter Zijlstra029632f2011-10-25 10:00:11 +0200253void free_rt_sched_group(struct task_group *tg) { }
254
255int alloc_rt_sched_group(struct task_group *tg, struct task_group *parent)
256{
257 return 1;
258}
Gregory Haskins398a1532009-01-14 09:10:04 -0500259#endif /* CONFIG_RT_GROUP_SCHED */
260
Steven Rostedt4fd29172008-01-25 21:08:06 +0100261#ifdef CONFIG_SMP
Ingo Molnar84de4272008-01-25 21:08:15 +0100262
Peter Zijlstra8046d682015-06-11 14:46:40 +0200263static void pull_rt_task(struct rq *this_rq);
Peter Zijlstra38033c32014-01-23 20:32:21 +0100264
Peter Zijlstradc877342014-02-12 15:47:29 +0100265static inline bool need_pull_rt_task(struct rq *rq, struct task_struct *prev)
266{
267 /* Try to pull RT tasks here if we lower this rq's prio */
268 return rq->rt.highest_prio.curr > prev->prio;
269}
270
Gregory Haskins637f5082008-01-25 21:08:18 +0100271static inline int rt_overloaded(struct rq *rq)
Steven Rostedt4fd29172008-01-25 21:08:06 +0100272{
Gregory Haskins637f5082008-01-25 21:08:18 +0100273 return atomic_read(&rq->rd->rto_count);
Steven Rostedt4fd29172008-01-25 21:08:06 +0100274}
Ingo Molnar84de4272008-01-25 21:08:15 +0100275
Steven Rostedt4fd29172008-01-25 21:08:06 +0100276static inline void rt_set_overload(struct rq *rq)
277{
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -0400278 if (!rq->online)
279 return;
280
Rusty Russellc6c49272008-11-25 02:35:05 +1030281 cpumask_set_cpu(rq->cpu, rq->rd->rto_mask);
Steven Rostedt4fd29172008-01-25 21:08:06 +0100282 /*
283 * Make sure the mask is visible before we set
284 * the overload count. That is checked to determine
285 * if we should look at the mask. It would be a shame
286 * if we looked at the mask, but the mask was not
287 * updated yet.
Peter Zijlstra7c3f2ab2013-10-15 12:35:07 +0200288 *
289 * Matched by the barrier in pull_rt_task().
Steven Rostedt4fd29172008-01-25 21:08:06 +0100290 */
Peter Zijlstra7c3f2ab2013-10-15 12:35:07 +0200291 smp_wmb();
Gregory Haskins637f5082008-01-25 21:08:18 +0100292 atomic_inc(&rq->rd->rto_count);
Steven Rostedt4fd29172008-01-25 21:08:06 +0100293}
Ingo Molnar84de4272008-01-25 21:08:15 +0100294
Steven Rostedt4fd29172008-01-25 21:08:06 +0100295static inline void rt_clear_overload(struct rq *rq)
296{
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -0400297 if (!rq->online)
298 return;
299
Steven Rostedt4fd29172008-01-25 21:08:06 +0100300 /* the order here really doesn't matter */
Gregory Haskins637f5082008-01-25 21:08:18 +0100301 atomic_dec(&rq->rd->rto_count);
Rusty Russellc6c49272008-11-25 02:35:05 +1030302 cpumask_clear_cpu(rq->cpu, rq->rd->rto_mask);
Steven Rostedt4fd29172008-01-25 21:08:06 +0100303}
Gregory Haskins73fe6aa2008-01-25 21:08:07 +0100304
Gregory Haskins398a1532009-01-14 09:10:04 -0500305static void update_rt_migration(struct rt_rq *rt_rq)
Gregory Haskins73fe6aa2008-01-25 21:08:07 +0100306{
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200307 if (rt_rq->rt_nr_migratory && rt_rq->rt_nr_total > 1) {
Gregory Haskins398a1532009-01-14 09:10:04 -0500308 if (!rt_rq->overloaded) {
309 rt_set_overload(rq_of_rt_rq(rt_rq));
310 rt_rq->overloaded = 1;
Gregory Haskinscdc8eb92008-01-25 21:08:23 +0100311 }
Gregory Haskins398a1532009-01-14 09:10:04 -0500312 } else if (rt_rq->overloaded) {
313 rt_clear_overload(rq_of_rt_rq(rt_rq));
314 rt_rq->overloaded = 0;
Gregory Haskins637f5082008-01-25 21:08:18 +0100315 }
Gregory Haskins73fe6aa2008-01-25 21:08:07 +0100316}
Steven Rostedt4fd29172008-01-25 21:08:06 +0100317
Gregory Haskins398a1532009-01-14 09:10:04 -0500318static void inc_rt_migration(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100319{
Peter Zijlstra29baa742012-04-23 12:11:21 +0200320 struct task_struct *p;
321
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200322 if (!rt_entity_is_task(rt_se))
323 return;
324
Peter Zijlstra29baa742012-04-23 12:11:21 +0200325 p = rt_task_of(rt_se);
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200326 rt_rq = &rq_of_rt_rq(rt_rq)->rt;
327
328 rt_rq->rt_nr_total++;
Ingo Molnar4b53a342017-02-05 15:41:03 +0100329 if (p->nr_cpus_allowed > 1)
Gregory Haskins398a1532009-01-14 09:10:04 -0500330 rt_rq->rt_nr_migratory++;
331
332 update_rt_migration(rt_rq);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100333}
334
Gregory Haskins398a1532009-01-14 09:10:04 -0500335static void dec_rt_migration(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
336{
Peter Zijlstra29baa742012-04-23 12:11:21 +0200337 struct task_struct *p;
338
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200339 if (!rt_entity_is_task(rt_se))
340 return;
341
Peter Zijlstra29baa742012-04-23 12:11:21 +0200342 p = rt_task_of(rt_se);
Peter Zijlstraa1ba4d82009-04-01 18:40:15 +0200343 rt_rq = &rq_of_rt_rq(rt_rq)->rt;
344
345 rt_rq->rt_nr_total--;
Ingo Molnar4b53a342017-02-05 15:41:03 +0100346 if (p->nr_cpus_allowed > 1)
Gregory Haskins398a1532009-01-14 09:10:04 -0500347 rt_rq->rt_nr_migratory--;
348
349 update_rt_migration(rt_rq);
350}
351
Steven Rostedt5181f4a42011-06-16 21:55:23 -0400352static inline int has_pushable_tasks(struct rq *rq)
353{
354 return !plist_head_empty(&rq->rt.pushable_tasks);
355}
356
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +0200357static DEFINE_PER_CPU(struct callback_head, rt_push_head);
358static DEFINE_PER_CPU(struct callback_head, rt_pull_head);
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200359
360static void push_rt_tasks(struct rq *);
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +0200361static void pull_rt_task(struct rq *);
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200362
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100363static inline void rt_queue_push_tasks(struct rq *rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100364{
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200365 if (!has_pushable_tasks(rq))
366 return;
367
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +0200368 queue_balance_callback(rq, &per_cpu(rt_push_head, rq->cpu), push_rt_tasks);
369}
370
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100371static inline void rt_queue_pull_task(struct rq *rq)
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +0200372{
373 queue_balance_callback(rq, &per_cpu(rt_pull_head, rq->cpu), pull_rt_task);
Peter Zijlstradc877342014-02-12 15:47:29 +0100374}
375
Gregory Haskins917b6272008-12-29 09:39:53 -0500376static void enqueue_pushable_task(struct rq *rq, struct task_struct *p)
377{
378 plist_del(&p->pushable_tasks, &rq->rt.pushable_tasks);
379 plist_node_init(&p->pushable_tasks, p->prio);
380 plist_add(&p->pushable_tasks, &rq->rt.pushable_tasks);
Steven Rostedt5181f4a42011-06-16 21:55:23 -0400381
382 /* Update the highest prio pushable task */
383 if (p->prio < rq->rt.highest_prio.next)
384 rq->rt.highest_prio.next = p->prio;
Gregory Haskins917b6272008-12-29 09:39:53 -0500385}
386
387static void dequeue_pushable_task(struct rq *rq, struct task_struct *p)
388{
389 plist_del(&p->pushable_tasks, &rq->rt.pushable_tasks);
Gregory Haskins917b6272008-12-29 09:39:53 -0500390
Steven Rostedt5181f4a42011-06-16 21:55:23 -0400391 /* Update the new highest prio pushable task */
392 if (has_pushable_tasks(rq)) {
393 p = plist_first_entry(&rq->rt.pushable_tasks,
394 struct task_struct, pushable_tasks);
395 rq->rt.highest_prio.next = p->prio;
396 } else
397 rq->rt.highest_prio.next = MAX_RT_PRIO;
Ingo Molnarbcf08df2008-04-19 12:11:10 +0200398}
399
Gregory Haskins917b6272008-12-29 09:39:53 -0500400#else
401
Peter Zijlstraceacc2c2009-01-16 14:46:40 +0100402static inline void enqueue_pushable_task(struct rq *rq, struct task_struct *p)
403{
404}
405
406static inline void dequeue_pushable_task(struct rq *rq, struct task_struct *p)
407{
408}
409
Gregory Haskinsb07430a2009-01-14 08:55:39 -0500410static inline
Peter Zijlstraceacc2c2009-01-16 14:46:40 +0100411void inc_rt_migration(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
412{
413}
414
Gregory Haskinsb07430a2009-01-14 08:55:39 -0500415static inline
Peter Zijlstraceacc2c2009-01-16 14:46:40 +0100416void dec_rt_migration(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
417{
418}
Gregory Haskins917b6272008-12-29 09:39:53 -0500419
Peter Zijlstradc877342014-02-12 15:47:29 +0100420static inline bool need_pull_rt_task(struct rq *rq, struct task_struct *prev)
421{
422 return false;
423}
424
Peter Zijlstra8046d682015-06-11 14:46:40 +0200425static inline void pull_rt_task(struct rq *this_rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100426{
Peter Zijlstradc877342014-02-12 15:47:29 +0100427}
428
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100429static inline void rt_queue_push_tasks(struct rq *rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100430{
431}
Ingo Molnarbb44e5d2007-07-09 18:51:58 +0200432#endif /* CONFIG_SMP */
433
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400434static void enqueue_top_rt_rq(struct rt_rq *rt_rq);
435static void dequeue_top_rt_rq(struct rt_rq *rt_rq);
436
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100437static inline int on_rt_rq(struct sched_rt_entity *rt_se)
438{
Peter Zijlstraff77e462016-01-18 15:27:07 +0100439 return rt_se->on_rq;
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100440}
441
Qais Yousef804d4022019-10-09 11:46:11 +0100442#ifdef CONFIG_UCLAMP_TASK
443/*
444 * Verify the fitness of task @p to run on @cpu taking into account the uclamp
445 * settings.
446 *
447 * This check is only important for heterogeneous systems where uclamp_min value
448 * is higher than the capacity of a @cpu. For non-heterogeneous system this
449 * function will always return true.
450 *
451 * The function will return true if the capacity of the @cpu is >= the
452 * uclamp_min and false otherwise.
453 *
454 * Note that uclamp_min will be clamped to uclamp_max if uclamp_min
455 * > uclamp_max.
456 */
457static inline bool rt_task_fits_capacity(struct task_struct *p, int cpu)
458{
459 unsigned int min_cap;
460 unsigned int max_cap;
461 unsigned int cpu_cap;
462
463 /* Only heterogeneous systems can benefit from this check */
464 if (!static_branch_unlikely(&sched_asym_cpucapacity))
465 return true;
466
467 min_cap = uclamp_eff_value(p, UCLAMP_MIN);
468 max_cap = uclamp_eff_value(p, UCLAMP_MAX);
469
470 cpu_cap = capacity_orig_of(cpu);
471
472 return cpu_cap >= min(min_cap, max_cap);
473}
474#else
475static inline bool rt_task_fits_capacity(struct task_struct *p, int cpu)
476{
477 return true;
478}
479#endif
480
Peter Zijlstra052f1dc2008-02-13 15:45:40 +0100481#ifdef CONFIG_RT_GROUP_SCHED
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100482
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100483static inline u64 sched_rt_runtime(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100484{
485 if (!rt_rq->tg)
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100486 return RUNTIME_INF;
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100487
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200488 return rt_rq->rt_runtime;
489}
490
491static inline u64 sched_rt_period(struct rt_rq *rt_rq)
492{
493 return ktime_to_ns(rt_rq->tg->rt_bandwidth.rt_period);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100494}
495
Cheng Xuec514c42011-05-14 14:20:02 +0800496typedef struct task_group *rt_rq_iter_t;
497
Yong Zhang1c09ab02011-06-28 10:51:31 +0800498static inline struct task_group *next_task_group(struct task_group *tg)
499{
500 do {
501 tg = list_entry_rcu(tg->list.next,
502 typeof(struct task_group), list);
503 } while (&tg->list != &task_groups && task_group_is_autogroup(tg));
504
505 if (&tg->list == &task_groups)
506 tg = NULL;
507
508 return tg;
509}
510
511#define for_each_rt_rq(rt_rq, iter, rq) \
512 for (iter = container_of(&task_groups, typeof(*iter), list); \
513 (iter = next_task_group(iter)) && \
514 (rt_rq = iter->rt_rq[cpu_of(rq)]);)
Cheng Xuec514c42011-05-14 14:20:02 +0800515
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100516#define for_each_sched_rt_entity(rt_se) \
517 for (; rt_se; rt_se = rt_se->parent)
518
519static inline struct rt_rq *group_rt_rq(struct sched_rt_entity *rt_se)
520{
521 return rt_se->my_q;
522}
523
Peter Zijlstraff77e462016-01-18 15:27:07 +0100524static void enqueue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags);
525static void dequeue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100526
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100527static void sched_rt_rq_enqueue(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100528{
Dario Faggiolif6121f42008-10-03 17:40:46 +0200529 struct task_struct *curr = rq_of_rt_rq(rt_rq)->curr;
Kirill Tkhai88751252014-06-29 00:03:57 +0400530 struct rq *rq = rq_of_rt_rq(rt_rq);
Yong Zhang74b7eb52010-01-29 14:57:52 +0800531 struct sched_rt_entity *rt_se;
532
Kirill Tkhai88751252014-06-29 00:03:57 +0400533 int cpu = cpu_of(rq);
Balbir Singh0c3b9162011-03-03 17:04:35 +0530534
535 rt_se = rt_rq->tg->rt_se[cpu];
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100536
Dario Faggiolif6121f42008-10-03 17:40:46 +0200537 if (rt_rq->rt_nr_running) {
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400538 if (!rt_se)
539 enqueue_top_rt_rq(rt_rq);
540 else if (!on_rt_rq(rt_se))
Peter Zijlstraff77e462016-01-18 15:27:07 +0100541 enqueue_rt_entity(rt_se, 0);
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400542
Gregory Haskinse864c492008-12-29 09:39:49 -0500543 if (rt_rq->highest_prio.curr < curr->prio)
Kirill Tkhai88751252014-06-29 00:03:57 +0400544 resched_curr(rq);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100545 }
546}
547
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100548static void sched_rt_rq_dequeue(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100549{
Yong Zhang74b7eb52010-01-29 14:57:52 +0800550 struct sched_rt_entity *rt_se;
Balbir Singh0c3b9162011-03-03 17:04:35 +0530551 int cpu = cpu_of(rq_of_rt_rq(rt_rq));
Yong Zhang74b7eb52010-01-29 14:57:52 +0800552
Balbir Singh0c3b9162011-03-03 17:04:35 +0530553 rt_se = rt_rq->tg->rt_se[cpu];
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100554
Vincent Guittot296b2ff2018-06-26 15:53:22 +0200555 if (!rt_se) {
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400556 dequeue_top_rt_rq(rt_rq);
Vincent Guittot296b2ff2018-06-26 15:53:22 +0200557 /* Kick cpufreq (see the comment in kernel/sched/sched.h). */
558 cpufreq_update_util(rq_of_rt_rq(rt_rq), 0);
559 }
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400560 else if (on_rt_rq(rt_se))
Peter Zijlstraff77e462016-01-18 15:27:07 +0100561 dequeue_rt_entity(rt_se, 0);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100562}
563
Kirill Tkhai46383642014-03-15 02:15:07 +0400564static inline int rt_rq_throttled(struct rt_rq *rt_rq)
565{
566 return rt_rq->rt_throttled && !rt_rq->rt_nr_boosted;
567}
568
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +0100569static int rt_se_boosted(struct sched_rt_entity *rt_se)
570{
571 struct rt_rq *rt_rq = group_rt_rq(rt_se);
572 struct task_struct *p;
573
574 if (rt_rq)
575 return !!rt_rq->rt_nr_boosted;
576
577 p = rt_task_of(rt_se);
578 return p->prio != p->normal_prio;
579}
580
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200581#ifdef CONFIG_SMP
Rusty Russellc6c49272008-11-25 02:35:05 +1030582static inline const struct cpumask *sched_rt_period_mask(void)
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200583{
Nathan Zimmer424c93f2013-05-09 11:24:03 -0500584 return this_rq()->rd->span;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200585}
586#else
Rusty Russellc6c49272008-11-25 02:35:05 +1030587static inline const struct cpumask *sched_rt_period_mask(void)
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200588{
Rusty Russellc6c49272008-11-25 02:35:05 +1030589 return cpu_online_mask;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200590}
591#endif
592
593static inline
594struct rt_rq *sched_rt_period_rt_rq(struct rt_bandwidth *rt_b, int cpu)
595{
596 return container_of(rt_b, struct task_group, rt_bandwidth)->rt_rq[cpu];
597}
598
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200599static inline struct rt_bandwidth *sched_rt_bandwidth(struct rt_rq *rt_rq)
600{
601 return &rt_rq->tg->rt_bandwidth;
602}
603
Dhaval Giani55e12e52008-06-24 23:39:43 +0530604#else /* !CONFIG_RT_GROUP_SCHED */
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100605
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100606static inline u64 sched_rt_runtime(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100607{
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200608 return rt_rq->rt_runtime;
609}
610
611static inline u64 sched_rt_period(struct rt_rq *rt_rq)
612{
613 return ktime_to_ns(def_rt_bandwidth.rt_period);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100614}
615
Cheng Xuec514c42011-05-14 14:20:02 +0800616typedef struct rt_rq *rt_rq_iter_t;
617
618#define for_each_rt_rq(rt_rq, iter, rq) \
619 for ((void) iter, rt_rq = &rq->rt; rt_rq; rt_rq = NULL)
620
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100621#define for_each_sched_rt_entity(rt_se) \
622 for (; rt_se; rt_se = NULL)
623
624static inline struct rt_rq *group_rt_rq(struct sched_rt_entity *rt_se)
625{
626 return NULL;
627}
628
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100629static inline void sched_rt_rq_enqueue(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100630{
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400631 struct rq *rq = rq_of_rt_rq(rt_rq);
632
633 if (!rt_rq->rt_nr_running)
634 return;
635
636 enqueue_top_rt_rq(rt_rq);
Kirill Tkhai88751252014-06-29 00:03:57 +0400637 resched_curr(rq);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100638}
639
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100640static inline void sched_rt_rq_dequeue(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100641{
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +0400642 dequeue_top_rt_rq(rt_rq);
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100643}
644
Kirill Tkhai46383642014-03-15 02:15:07 +0400645static inline int rt_rq_throttled(struct rt_rq *rt_rq)
646{
647 return rt_rq->rt_throttled;
648}
649
Rusty Russellc6c49272008-11-25 02:35:05 +1030650static inline const struct cpumask *sched_rt_period_mask(void)
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200651{
Rusty Russellc6c49272008-11-25 02:35:05 +1030652 return cpu_online_mask;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200653}
654
655static inline
656struct rt_rq *sched_rt_period_rt_rq(struct rt_bandwidth *rt_b, int cpu)
657{
658 return &cpu_rq(cpu)->rt;
659}
660
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200661static inline struct rt_bandwidth *sched_rt_bandwidth(struct rt_rq *rt_rq)
662{
663 return &def_rt_bandwidth;
664}
665
Dhaval Giani55e12e52008-06-24 23:39:43 +0530666#endif /* CONFIG_RT_GROUP_SCHED */
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100667
Juri Lellifaa59932014-02-21 11:37:15 +0100668bool sched_rt_bandwidth_account(struct rt_rq *rt_rq)
669{
670 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
671
672 return (hrtimer_active(&rt_b->rt_period_timer) ||
673 rt_rq->rt_time < rt_b->rt_runtime);
674}
675
Peter Zijlstrab79f3832008-06-19 14:22:25 +0200676#ifdef CONFIG_SMP
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200677/*
678 * We ran out of runtime, see if we can borrow some from our neighbours.
679 */
Juri Lelli269b26a2015-09-02 11:01:36 +0100680static void do_balance_runtime(struct rt_rq *rt_rq)
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200681{
682 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
Shawn Bohreraa7f6732013-01-14 11:55:31 -0600683 struct root_domain *rd = rq_of_rt_rq(rt_rq)->rd;
Juri Lelli269b26a2015-09-02 11:01:36 +0100684 int i, weight;
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200685 u64 rt_period;
686
Rusty Russellc6c49272008-11-25 02:35:05 +1030687 weight = cpumask_weight(rd->span);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200688
Thomas Gleixner0986b112009-11-17 15:32:06 +0100689 raw_spin_lock(&rt_b->rt_runtime_lock);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200690 rt_period = ktime_to_ns(rt_b->rt_period);
Rusty Russellc6c49272008-11-25 02:35:05 +1030691 for_each_cpu(i, rd->span) {
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200692 struct rt_rq *iter = sched_rt_period_rt_rq(rt_b, i);
693 s64 diff;
694
695 if (iter == rt_rq)
696 continue;
697
Thomas Gleixner0986b112009-11-17 15:32:06 +0100698 raw_spin_lock(&iter->rt_runtime_lock);
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200699 /*
700 * Either all rqs have inf runtime and there's nothing to steal
701 * or __disable_runtime() below sets a specific rq to inf to
702 * indicate its been disabled and disalow stealing.
703 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200704 if (iter->rt_runtime == RUNTIME_INF)
705 goto next;
706
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200707 /*
708 * From runqueues with spare time, take 1/n part of their
709 * spare time, but no more than our period.
710 */
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200711 diff = iter->rt_runtime - iter->rt_time;
712 if (diff > 0) {
Peter Zijlstra58838cf2008-07-24 12:43:13 +0200713 diff = div_u64((u64)diff, weight);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200714 if (rt_rq->rt_runtime + diff > rt_period)
715 diff = rt_period - rt_rq->rt_runtime;
716 iter->rt_runtime -= diff;
717 rt_rq->rt_runtime += diff;
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200718 if (rt_rq->rt_runtime == rt_period) {
Thomas Gleixner0986b112009-11-17 15:32:06 +0100719 raw_spin_unlock(&iter->rt_runtime_lock);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200720 break;
721 }
722 }
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200723next:
Thomas Gleixner0986b112009-11-17 15:32:06 +0100724 raw_spin_unlock(&iter->rt_runtime_lock);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200725 }
Thomas Gleixner0986b112009-11-17 15:32:06 +0100726 raw_spin_unlock(&rt_b->rt_runtime_lock);
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200727}
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200728
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200729/*
730 * Ensure this RQ takes back all the runtime it lend to its neighbours.
731 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200732static void __disable_runtime(struct rq *rq)
733{
734 struct root_domain *rd = rq->rd;
Cheng Xuec514c42011-05-14 14:20:02 +0800735 rt_rq_iter_t iter;
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200736 struct rt_rq *rt_rq;
737
738 if (unlikely(!scheduler_running))
739 return;
740
Cheng Xuec514c42011-05-14 14:20:02 +0800741 for_each_rt_rq(rt_rq, iter, rq) {
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200742 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
743 s64 want;
744 int i;
745
Thomas Gleixner0986b112009-11-17 15:32:06 +0100746 raw_spin_lock(&rt_b->rt_runtime_lock);
747 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200748 /*
749 * Either we're all inf and nobody needs to borrow, or we're
750 * already disabled and thus have nothing to do, or we have
751 * exactly the right amount of runtime to take out.
752 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200753 if (rt_rq->rt_runtime == RUNTIME_INF ||
754 rt_rq->rt_runtime == rt_b->rt_runtime)
755 goto balanced;
Thomas Gleixner0986b112009-11-17 15:32:06 +0100756 raw_spin_unlock(&rt_rq->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200757
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200758 /*
759 * Calculate the difference between what we started out with
760 * and what we current have, that's the amount of runtime
761 * we lend and now have to reclaim.
762 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200763 want = rt_b->rt_runtime - rt_rq->rt_runtime;
764
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200765 /*
766 * Greedy reclaim, take back as much as we can.
767 */
Rusty Russellc6c49272008-11-25 02:35:05 +1030768 for_each_cpu(i, rd->span) {
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200769 struct rt_rq *iter = sched_rt_period_rt_rq(rt_b, i);
770 s64 diff;
771
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200772 /*
773 * Can't reclaim from ourselves or disabled runqueues.
774 */
Peter Zijlstraf1679d02008-08-14 15:49:00 +0200775 if (iter == rt_rq || iter->rt_runtime == RUNTIME_INF)
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200776 continue;
777
Thomas Gleixner0986b112009-11-17 15:32:06 +0100778 raw_spin_lock(&iter->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200779 if (want > 0) {
780 diff = min_t(s64, iter->rt_runtime, want);
781 iter->rt_runtime -= diff;
782 want -= diff;
783 } else {
784 iter->rt_runtime -= want;
785 want -= want;
786 }
Thomas Gleixner0986b112009-11-17 15:32:06 +0100787 raw_spin_unlock(&iter->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200788
789 if (!want)
790 break;
791 }
792
Thomas Gleixner0986b112009-11-17 15:32:06 +0100793 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200794 /*
795 * We cannot be left wanting - that would mean some runtime
796 * leaked out of the system.
797 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200798 BUG_ON(want);
799balanced:
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200800 /*
801 * Disable all the borrow logic by pretending we have inf
802 * runtime - in which case borrowing doesn't make sense.
803 */
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200804 rt_rq->rt_runtime = RUNTIME_INF;
Peter Boonstoppela4c96ae2012-08-09 15:34:47 -0700805 rt_rq->rt_throttled = 0;
Thomas Gleixner0986b112009-11-17 15:32:06 +0100806 raw_spin_unlock(&rt_rq->rt_runtime_lock);
807 raw_spin_unlock(&rt_b->rt_runtime_lock);
Kirill Tkhai99b62562014-06-25 12:19:48 +0400808
809 /* Make rt_rq available for pick_next_task() */
810 sched_rt_rq_enqueue(rt_rq);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200811 }
812}
813
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200814static void __enable_runtime(struct rq *rq)
815{
Cheng Xuec514c42011-05-14 14:20:02 +0800816 rt_rq_iter_t iter;
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200817 struct rt_rq *rt_rq;
818
819 if (unlikely(!scheduler_running))
820 return;
821
Peter Zijlstra78333cd2008-09-23 15:33:43 +0200822 /*
823 * Reset each runqueue's bandwidth settings
824 */
Cheng Xuec514c42011-05-14 14:20:02 +0800825 for_each_rt_rq(rt_rq, iter, rq) {
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200826 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
827
Thomas Gleixner0986b112009-11-17 15:32:06 +0100828 raw_spin_lock(&rt_b->rt_runtime_lock);
829 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200830 rt_rq->rt_runtime = rt_b->rt_runtime;
831 rt_rq->rt_time = 0;
Zhang, Yanminbaf25732008-09-09 11:26:33 +0800832 rt_rq->rt_throttled = 0;
Thomas Gleixner0986b112009-11-17 15:32:06 +0100833 raw_spin_unlock(&rt_rq->rt_runtime_lock);
834 raw_spin_unlock(&rt_b->rt_runtime_lock);
Peter Zijlstra7def2be2008-06-05 14:49:58 +0200835 }
836}
837
Juri Lelli269b26a2015-09-02 11:01:36 +0100838static void balance_runtime(struct rt_rq *rt_rq)
Peter Zijlstraeff65492008-06-19 14:22:26 +0200839{
Peter Zijlstra4a6184c2011-10-06 22:39:14 +0200840 if (!sched_feat(RT_RUNTIME_SHARE))
Juri Lelli269b26a2015-09-02 11:01:36 +0100841 return;
Peter Zijlstra4a6184c2011-10-06 22:39:14 +0200842
Peter Zijlstraeff65492008-06-19 14:22:26 +0200843 if (rt_rq->rt_time > rt_rq->rt_runtime) {
Thomas Gleixner0986b112009-11-17 15:32:06 +0100844 raw_spin_unlock(&rt_rq->rt_runtime_lock);
Juri Lelli269b26a2015-09-02 11:01:36 +0100845 do_balance_runtime(rt_rq);
Thomas Gleixner0986b112009-11-17 15:32:06 +0100846 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstraeff65492008-06-19 14:22:26 +0200847 }
Peter Zijlstraeff65492008-06-19 14:22:26 +0200848}
Dhaval Giani55e12e52008-06-24 23:39:43 +0530849#else /* !CONFIG_SMP */
Juri Lelli269b26a2015-09-02 11:01:36 +0100850static inline void balance_runtime(struct rt_rq *rt_rq) {}
Dhaval Giani55e12e52008-06-24 23:39:43 +0530851#endif /* CONFIG_SMP */
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100852
853static int do_sched_rt_period_timer(struct rt_bandwidth *rt_b, int overrun)
854{
Peter Zijlstra42c62a52011-10-18 22:03:48 +0200855 int i, idle = 1, throttled = 0;
Rusty Russellc6c49272008-11-25 02:35:05 +1030856 const struct cpumask *span;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200857
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200858 span = sched_rt_period_mask();
Mike Galbraithe221d022012-08-07 10:02:38 +0200859#ifdef CONFIG_RT_GROUP_SCHED
860 /*
861 * FIXME: isolated CPUs should really leave the root task group,
862 * whether they are isolcpus or were isolated via cpusets, lest
863 * the timer run on a CPU which does not service all runqueues,
864 * potentially leaving other CPUs indefinitely throttled. If
865 * isolation is really required, the user will turn the throttle
866 * off to kill the perturbations it causes anyway. Meanwhile,
867 * this maintains functionality for boot and/or troubleshooting.
868 */
869 if (rt_b == &root_task_group.rt_bandwidth)
870 span = cpu_online_mask;
871#endif
Rusty Russellc6c49272008-11-25 02:35:05 +1030872 for_each_cpu(i, span) {
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200873 int enqueue = 0;
874 struct rt_rq *rt_rq = sched_rt_period_rt_rq(rt_b, i);
875 struct rq *rq = rq_of_rt_rq(rt_rq);
Dave Kleikampc249f252017-05-15 14:14:13 -0500876 int skip;
877
878 /*
879 * When span == cpu_online_mask, taking each rq->lock
880 * can be time-consuming. Try to avoid it when possible.
881 */
882 raw_spin_lock(&rt_rq->rt_runtime_lock);
Hailong Liuf3d133e2018-07-18 08:46:55 +0800883 if (!sched_feat(RT_RUNTIME_SHARE) && rt_rq->rt_runtime != RUNTIME_INF)
884 rt_rq->rt_runtime = rt_b->rt_runtime;
Dave Kleikampc249f252017-05-15 14:14:13 -0500885 skip = !rt_rq->rt_time && !rt_rq->rt_nr_running;
886 raw_spin_unlock(&rt_rq->rt_runtime_lock);
887 if (skip)
888 continue;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200889
Thomas Gleixner05fa7852009-11-17 14:28:38 +0100890 raw_spin_lock(&rq->lock);
Davidlohr Buesod29a2062018-04-02 09:49:54 -0700891 update_rq_clock(rq);
892
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200893 if (rt_rq->rt_time) {
894 u64 runtime;
895
Thomas Gleixner0986b112009-11-17 15:32:06 +0100896 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstraeff65492008-06-19 14:22:26 +0200897 if (rt_rq->rt_throttled)
898 balance_runtime(rt_rq);
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200899 runtime = rt_rq->rt_runtime;
900 rt_rq->rt_time -= min(rt_rq->rt_time, overrun*runtime);
901 if (rt_rq->rt_throttled && rt_rq->rt_time < runtime) {
902 rt_rq->rt_throttled = 0;
903 enqueue = 1;
Mike Galbraith61eadef2011-04-29 08:36:50 +0200904
905 /*
Peter Zijlstra9edfbfe2015-01-05 11:18:11 +0100906 * When we're idle and a woken (rt) task is
907 * throttled check_preempt_curr() will set
908 * skip_update and the time between the wakeup
909 * and this unthrottle will get accounted as
910 * 'runtime'.
Mike Galbraith61eadef2011-04-29 08:36:50 +0200911 */
912 if (rt_rq->rt_nr_running && rq->curr == rq->idle)
Davidlohr Buesoadcc8da2018-04-04 09:15:39 -0700913 rq_clock_cancel_skipupdate(rq);
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200914 }
915 if (rt_rq->rt_time || rt_rq->rt_nr_running)
916 idle = 0;
Thomas Gleixner0986b112009-11-17 15:32:06 +0100917 raw_spin_unlock(&rt_rq->rt_runtime_lock);
Balbir Singh0c3b9162011-03-03 17:04:35 +0530918 } else if (rt_rq->rt_nr_running) {
Peter Zijlstra8a8cde12008-06-19 14:22:28 +0200919 idle = 0;
Balbir Singh0c3b9162011-03-03 17:04:35 +0530920 if (!rt_rq_throttled(rt_rq))
921 enqueue = 1;
922 }
Peter Zijlstra42c62a52011-10-18 22:03:48 +0200923 if (rt_rq->rt_throttled)
924 throttled = 1;
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200925
926 if (enqueue)
927 sched_rt_rq_enqueue(rt_rq);
Thomas Gleixner05fa7852009-11-17 14:28:38 +0100928 raw_spin_unlock(&rq->lock);
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200929 }
930
Peter Zijlstra42c62a52011-10-18 22:03:48 +0200931 if (!throttled && (!rt_bandwidth_enabled() || rt_b->rt_runtime == RUNTIME_INF))
932 return 1;
933
Peter Zijlstrad0b27fa2008-04-19 19:44:57 +0200934 return idle;
935}
936
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100937static inline int rt_se_prio(struct sched_rt_entity *rt_se)
938{
Peter Zijlstra052f1dc2008-02-13 15:45:40 +0100939#ifdef CONFIG_RT_GROUP_SCHED
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100940 struct rt_rq *rt_rq = group_rt_rq(rt_se);
941
942 if (rt_rq)
Gregory Haskinse864c492008-12-29 09:39:49 -0500943 return rt_rq->highest_prio.curr;
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100944#endif
945
946 return rt_task_of(rt_se)->prio;
947}
948
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100949static int sched_rt_runtime_exceeded(struct rt_rq *rt_rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100950{
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100951 u64 runtime = sched_rt_runtime(rt_rq);
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100952
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100953 if (rt_rq->rt_throttled)
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +0100954 return rt_rq_throttled(rt_rq);
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100955
Shan Hai5b680fd2011-11-29 11:03:56 +0800956 if (runtime >= sched_rt_period(rt_rq))
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200957 return 0;
958
Peter Zijlstrab79f3832008-06-19 14:22:25 +0200959 balance_runtime(rt_rq);
960 runtime = sched_rt_runtime(rt_rq);
961 if (runtime == RUNTIME_INF)
962 return 0;
Peter Zijlstraac086bc2008-04-19 19:44:58 +0200963
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100964 if (rt_rq->rt_time > runtime) {
Peter Zijlstra7abc63b2011-10-18 22:03:48 +0200965 struct rt_bandwidth *rt_b = sched_rt_bandwidth(rt_rq);
966
967 /*
968 * Don't actually throttle groups that have no runtime assigned
969 * but accrue some time due to boosting.
970 */
971 if (likely(rt_b->rt_runtime)) {
972 rt_rq->rt_throttled = 1;
John Stultzc2248152014-06-04 16:11:41 -0700973 printk_deferred_once("sched: RT throttling activated\n");
Peter Zijlstra7abc63b2011-10-18 22:03:48 +0200974 } else {
975 /*
976 * In case we did anyway, make it go away,
977 * replenishment is a joke, since it will replenish us
978 * with exactly 0 ns.
979 */
980 rt_rq->rt_time = 0;
981 }
982
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +0100983 if (rt_rq_throttled(rt_rq)) {
Peter Zijlstra9f0c1e52008-02-13 15:45:39 +0100984 sched_rt_rq_dequeue(rt_rq);
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +0100985 return 1;
986 }
Peter Zijlstrafa85ae22008-01-25 21:08:29 +0100987 }
988
989 return 0;
990}
991
Ingo Molnarbb44e5d2007-07-09 18:51:58 +0200992/*
993 * Update the current task's runtime statistics. Skip current tasks that
994 * are not in our scheduling class.
995 */
Alexey Dobriyana9957442007-10-15 17:00:13 +0200996static void update_curr_rt(struct rq *rq)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +0200997{
998 struct task_struct *curr = rq->curr;
Peter Zijlstra6f505b12008-01-25 21:08:30 +0100999 struct sched_rt_entity *rt_se = &curr->rt;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001000 u64 delta_exec;
Wen Yanga7711602018-02-06 09:53:28 +08001001 u64 now;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001002
Peter Zijlstra06c3bc62011-02-02 13:19:48 +01001003 if (curr->sched_class != &rt_sched_class)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001004 return;
1005
Wen Yanga7711602018-02-06 09:53:28 +08001006 now = rq_clock_task(rq);
Wen Yange7ad2032018-02-05 11:18:41 +08001007 delta_exec = now - curr->se.exec_start;
Kirill Tkhaifc79e242013-01-30 16:50:36 +04001008 if (unlikely((s64)delta_exec <= 0))
1009 return;
Ingo Molnar6cfb0d52007-08-02 17:41:40 +02001010
Peter Zijlstra42c62a52011-10-18 22:03:48 +02001011 schedstat_set(curr->se.statistics.exec_max,
1012 max(curr->se.statistics.exec_max, delta_exec));
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001013
1014 curr->se.sum_exec_runtime += delta_exec;
Frank Mayharf06febc2008-09-12 09:54:39 -07001015 account_group_exec_runtime(curr, delta_exec);
1016
Wen Yange7ad2032018-02-05 11:18:41 +08001017 curr->se.exec_start = now;
Tejun Heod2cc5ed2017-09-25 08:12:04 -07001018 cgroup_account_cputime(curr, delta_exec);
Peter Zijlstrafa85ae22008-01-25 21:08:29 +01001019
Peter Zijlstra0b148fa2008-08-19 12:33:04 +02001020 if (!rt_bandwidth_enabled())
1021 return;
1022
Dhaval Giani354d60c2008-04-19 19:44:59 +02001023 for_each_sched_rt_entity(rt_se) {
Giedrius Rekasius0b079392014-05-25 15:23:31 +01001024 struct rt_rq *rt_rq = rt_rq_of_se(rt_se);
Dhaval Giani354d60c2008-04-19 19:44:59 +02001025
Peter Zijlstracc2991c2008-08-19 12:33:03 +02001026 if (sched_rt_runtime(rt_rq) != RUNTIME_INF) {
Thomas Gleixner0986b112009-11-17 15:32:06 +01001027 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstracc2991c2008-08-19 12:33:03 +02001028 rt_rq->rt_time += delta_exec;
1029 if (sched_rt_runtime_exceeded(rt_rq))
Kirill Tkhai88751252014-06-29 00:03:57 +04001030 resched_curr(rq);
Thomas Gleixner0986b112009-11-17 15:32:06 +01001031 raw_spin_unlock(&rt_rq->rt_runtime_lock);
Peter Zijlstracc2991c2008-08-19 12:33:03 +02001032 }
Dhaval Giani354d60c2008-04-19 19:44:59 +02001033 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001034}
1035
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001036static void
1037dequeue_top_rt_rq(struct rt_rq *rt_rq)
1038{
1039 struct rq *rq = rq_of_rt_rq(rt_rq);
1040
1041 BUG_ON(&rq->rt != rt_rq);
1042
1043 if (!rt_rq->rt_queued)
1044 return;
1045
1046 BUG_ON(!rq->nr_running);
1047
Kirill Tkhai72465442014-05-09 03:00:14 +04001048 sub_nr_running(rq, rt_rq->rt_nr_running);
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001049 rt_rq->rt_queued = 0;
Peter Zijlstra8f111bc2017-12-20 16:26:12 +01001050
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001051}
1052
1053static void
1054enqueue_top_rt_rq(struct rt_rq *rt_rq)
1055{
1056 struct rq *rq = rq_of_rt_rq(rt_rq);
1057
1058 BUG_ON(&rq->rt != rt_rq);
1059
1060 if (rt_rq->rt_queued)
1061 return;
Vincent Guittot296b2ff2018-06-26 15:53:22 +02001062
1063 if (rt_rq_throttled(rt_rq))
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001064 return;
1065
Vincent Guittot296b2ff2018-06-26 15:53:22 +02001066 if (rt_rq->rt_nr_running) {
1067 add_nr_running(rq, rt_rq->rt_nr_running);
1068 rt_rq->rt_queued = 1;
1069 }
Peter Zijlstra8f111bc2017-12-20 16:26:12 +01001070
1071 /* Kick cpufreq (see the comment in kernel/sched/sched.h). */
1072 cpufreq_update_util(rq, 0);
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001073}
1074
Gregory Haskins398a1532009-01-14 09:10:04 -05001075#if defined CONFIG_SMP
Gregory Haskinse864c492008-12-29 09:39:49 -05001076
Gregory Haskins398a1532009-01-14 09:10:04 -05001077static void
1078inc_rt_prio_smp(struct rt_rq *rt_rq, int prio, int prev_prio)
Steven Rostedt63489e42008-01-25 21:08:03 +01001079{
Gregory Haskins4d984272008-12-29 09:39:49 -05001080 struct rq *rq = rq_of_rt_rq(rt_rq);
Gregory Haskins4d984272008-12-29 09:39:49 -05001081
Kirill Tkhai757dfca2013-11-27 19:59:13 +04001082#ifdef CONFIG_RT_GROUP_SCHED
1083 /*
1084 * Change rq's cpupri only if rt_rq is the top queue.
1085 */
1086 if (&rq->rt != rt_rq)
1087 return;
1088#endif
Steven Rostedt5181f4a42011-06-16 21:55:23 -04001089 if (rq->online && prio < prev_prio)
1090 cpupri_set(&rq->rd->cpupri, rq->cpu, prio);
Steven Rostedt63489e42008-01-25 21:08:03 +01001091}
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001092
Gregory Haskins398a1532009-01-14 09:10:04 -05001093static void
1094dec_rt_prio_smp(struct rt_rq *rt_rq, int prio, int prev_prio)
Steven Rostedt63489e42008-01-25 21:08:03 +01001095{
Gregory Haskins4d984272008-12-29 09:39:49 -05001096 struct rq *rq = rq_of_rt_rq(rt_rq);
Gregory Haskins6e0534f2008-05-12 21:21:01 +02001097
Kirill Tkhai757dfca2013-11-27 19:59:13 +04001098#ifdef CONFIG_RT_GROUP_SCHED
1099 /*
1100 * Change rq's cpupri only if rt_rq is the top queue.
1101 */
1102 if (&rq->rt != rt_rq)
1103 return;
1104#endif
Gregory Haskins398a1532009-01-14 09:10:04 -05001105 if (rq->online && rt_rq->highest_prio.curr != prev_prio)
1106 cpupri_set(&rq->rd->cpupri, rq->cpu, rt_rq->highest_prio.curr);
1107}
1108
1109#else /* CONFIG_SMP */
1110
1111static inline
1112void inc_rt_prio_smp(struct rt_rq *rt_rq, int prio, int prev_prio) {}
1113static inline
1114void dec_rt_prio_smp(struct rt_rq *rt_rq, int prio, int prev_prio) {}
1115
1116#endif /* CONFIG_SMP */
1117
Steven Rostedt63489e42008-01-25 21:08:03 +01001118#if defined CONFIG_SMP || defined CONFIG_RT_GROUP_SCHED
Gregory Haskins398a1532009-01-14 09:10:04 -05001119static void
1120inc_rt_prio(struct rt_rq *rt_rq, int prio)
1121{
1122 int prev_prio = rt_rq->highest_prio.curr;
Steven Rostedt63489e42008-01-25 21:08:03 +01001123
Gregory Haskins398a1532009-01-14 09:10:04 -05001124 if (prio < prev_prio)
1125 rt_rq->highest_prio.curr = prio;
1126
1127 inc_rt_prio_smp(rt_rq, prio, prev_prio);
1128}
1129
1130static void
1131dec_rt_prio(struct rt_rq *rt_rq, int prio)
1132{
1133 int prev_prio = rt_rq->highest_prio.curr;
1134
1135 if (rt_rq->rt_nr_running) {
1136
1137 WARN_ON(prio < prev_prio);
Gregory Haskinse864c492008-12-29 09:39:49 -05001138
1139 /*
Gregory Haskins398a1532009-01-14 09:10:04 -05001140 * This may have been our highest task, and therefore
1141 * we may have some recomputation to do
Gregory Haskinse864c492008-12-29 09:39:49 -05001142 */
Gregory Haskins398a1532009-01-14 09:10:04 -05001143 if (prio == prev_prio) {
Gregory Haskinse864c492008-12-29 09:39:49 -05001144 struct rt_prio_array *array = &rt_rq->active;
1145
1146 rt_rq->highest_prio.curr =
Steven Rostedt764a9d62008-01-25 21:08:04 +01001147 sched_find_first_bit(array->bitmap);
Gregory Haskinse864c492008-12-29 09:39:49 -05001148 }
1149
Steven Rostedt764a9d62008-01-25 21:08:04 +01001150 } else
Gregory Haskinse864c492008-12-29 09:39:49 -05001151 rt_rq->highest_prio.curr = MAX_RT_PRIO;
Gregory Haskins73fe6aa2008-01-25 21:08:07 +01001152
Gregory Haskins398a1532009-01-14 09:10:04 -05001153 dec_rt_prio_smp(rt_rq, prio, prev_prio);
1154}
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04001155
Gregory Haskins398a1532009-01-14 09:10:04 -05001156#else
1157
1158static inline void inc_rt_prio(struct rt_rq *rt_rq, int prio) {}
1159static inline void dec_rt_prio(struct rt_rq *rt_rq, int prio) {}
1160
1161#endif /* CONFIG_SMP || CONFIG_RT_GROUP_SCHED */
1162
Gregory Haskins73fe6aa2008-01-25 21:08:07 +01001163#ifdef CONFIG_RT_GROUP_SCHED
Gregory Haskins398a1532009-01-14 09:10:04 -05001164
1165static void
1166inc_rt_group(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1167{
Gregory Haskins73fe6aa2008-01-25 21:08:07 +01001168 if (rt_se_boosted(rt_se))
Steven Rostedt764a9d62008-01-25 21:08:04 +01001169 rt_rq->rt_nr_boosted++;
Peter Zijlstra052f1dc2008-02-13 15:45:40 +01001170
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +01001171 if (rt_rq->tg)
1172 start_rt_bandwidth(&rt_rq->tg->rt_bandwidth);
Gregory Haskins398a1532009-01-14 09:10:04 -05001173}
1174
1175static void
1176dec_rt_group(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1177{
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +01001178 if (rt_se_boosted(rt_se))
1179 rt_rq->rt_nr_boosted--;
1180
1181 WARN_ON(!rt_rq->rt_nr_running && rt_rq->rt_nr_boosted);
Gregory Haskins398a1532009-01-14 09:10:04 -05001182}
1183
1184#else /* CONFIG_RT_GROUP_SCHED */
1185
1186static void
1187inc_rt_group(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1188{
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001189 start_rt_bandwidth(&def_rt_bandwidth);
Gregory Haskins398a1532009-01-14 09:10:04 -05001190}
1191
1192static inline
1193void dec_rt_group(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq) {}
1194
1195#endif /* CONFIG_RT_GROUP_SCHED */
1196
1197static inline
Kirill Tkhai22abdef2014-03-15 02:14:49 +04001198unsigned int rt_se_nr_running(struct sched_rt_entity *rt_se)
1199{
1200 struct rt_rq *group_rq = group_rt_rq(rt_se);
1201
1202 if (group_rq)
1203 return group_rq->rt_nr_running;
1204 else
1205 return 1;
1206}
1207
1208static inline
Frederic Weisbecker01d36d02015-11-04 18:17:10 +01001209unsigned int rt_se_rr_nr_running(struct sched_rt_entity *rt_se)
1210{
1211 struct rt_rq *group_rq = group_rt_rq(rt_se);
1212 struct task_struct *tsk;
1213
1214 if (group_rq)
1215 return group_rq->rr_nr_running;
1216
1217 tsk = rt_task_of(rt_se);
1218
1219 return (tsk->policy == SCHED_RR) ? 1 : 0;
1220}
1221
1222static inline
Gregory Haskins398a1532009-01-14 09:10:04 -05001223void inc_rt_tasks(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1224{
1225 int prio = rt_se_prio(rt_se);
1226
1227 WARN_ON(!rt_prio(prio));
Kirill Tkhai22abdef2014-03-15 02:14:49 +04001228 rt_rq->rt_nr_running += rt_se_nr_running(rt_se);
Frederic Weisbecker01d36d02015-11-04 18:17:10 +01001229 rt_rq->rr_nr_running += rt_se_rr_nr_running(rt_se);
Gregory Haskins398a1532009-01-14 09:10:04 -05001230
1231 inc_rt_prio(rt_rq, prio);
1232 inc_rt_migration(rt_se, rt_rq);
1233 inc_rt_group(rt_se, rt_rq);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001234}
1235
Peter Zijlstra23b0fdf2008-02-13 15:45:39 +01001236static inline
1237void dec_rt_tasks(struct sched_rt_entity *rt_se, struct rt_rq *rt_rq)
1238{
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001239 WARN_ON(!rt_prio(rt_se_prio(rt_se)));
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001240 WARN_ON(!rt_rq->rt_nr_running);
Kirill Tkhai22abdef2014-03-15 02:14:49 +04001241 rt_rq->rt_nr_running -= rt_se_nr_running(rt_se);
Frederic Weisbecker01d36d02015-11-04 18:17:10 +01001242 rt_rq->rr_nr_running -= rt_se_rr_nr_running(rt_se);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001243
Gregory Haskins398a1532009-01-14 09:10:04 -05001244 dec_rt_prio(rt_rq, rt_se_prio(rt_se));
1245 dec_rt_migration(rt_se, rt_rq);
1246 dec_rt_group(rt_se, rt_rq);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001247}
1248
Peter Zijlstraff77e462016-01-18 15:27:07 +01001249/*
1250 * Change rt_se->run_list location unless SAVE && !MOVE
1251 *
1252 * assumes ENQUEUE/DEQUEUE flags match
1253 */
1254static inline bool move_entity(unsigned int flags)
1255{
1256 if ((flags & (DEQUEUE_SAVE | DEQUEUE_MOVE)) == DEQUEUE_SAVE)
1257 return false;
1258
1259 return true;
1260}
1261
1262static void __delist_rt_entity(struct sched_rt_entity *rt_se, struct rt_prio_array *array)
1263{
1264 list_del_init(&rt_se->run_list);
1265
1266 if (list_empty(array->queue + rt_se_prio(rt_se)))
1267 __clear_bit(rt_se_prio(rt_se), array->bitmap);
1268
1269 rt_se->on_list = 0;
1270}
1271
1272static void __enqueue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001273{
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001274 struct rt_rq *rt_rq = rt_rq_of_se(rt_se);
1275 struct rt_prio_array *array = &rt_rq->active;
1276 struct rt_rq *group_rq = group_rt_rq(rt_se);
Dmitry Adamushko20b63312008-06-11 00:58:30 +02001277 struct list_head *queue = array->queue + rt_se_prio(rt_se);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001278
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001279 /*
1280 * Don't enqueue the group if its throttled, or when empty.
1281 * The latter is a consequence of the former when a child group
1282 * get throttled and the current group doesn't have any other
1283 * active members.
1284 */
Peter Zijlstraff77e462016-01-18 15:27:07 +01001285 if (group_rq && (rt_rq_throttled(group_rq) || !group_rq->rt_nr_running)) {
1286 if (rt_se->on_list)
1287 __delist_rt_entity(rt_se, array);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001288 return;
Peter Zijlstraff77e462016-01-18 15:27:07 +01001289 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001290
Peter Zijlstraff77e462016-01-18 15:27:07 +01001291 if (move_entity(flags)) {
1292 WARN_ON_ONCE(rt_se->on_list);
1293 if (flags & ENQUEUE_HEAD)
1294 list_add(&rt_se->run_list, queue);
1295 else
1296 list_add_tail(&rt_se->run_list, queue);
1297
1298 __set_bit(rt_se_prio(rt_se), array->bitmap);
1299 rt_se->on_list = 1;
1300 }
1301 rt_se->on_rq = 1;
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01001302
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001303 inc_rt_tasks(rt_se, rt_rq);
1304}
1305
Peter Zijlstraff77e462016-01-18 15:27:07 +01001306static void __dequeue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001307{
1308 struct rt_rq *rt_rq = rt_rq_of_se(rt_se);
1309 struct rt_prio_array *array = &rt_rq->active;
1310
Peter Zijlstraff77e462016-01-18 15:27:07 +01001311 if (move_entity(flags)) {
1312 WARN_ON_ONCE(!rt_se->on_list);
1313 __delist_rt_entity(rt_se, array);
1314 }
1315 rt_se->on_rq = 0;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001316
1317 dec_rt_tasks(rt_se, rt_rq);
1318}
1319
1320/*
1321 * Because the prio of an upper entry depends on the lower
1322 * entries, we must remove entries top - down.
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001323 */
Peter Zijlstraff77e462016-01-18 15:27:07 +01001324static void dequeue_rt_stack(struct sched_rt_entity *rt_se, unsigned int flags)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001325{
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001326 struct sched_rt_entity *back = NULL;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001327
Peter Zijlstra58d6c2d2008-04-19 19:45:00 +02001328 for_each_sched_rt_entity(rt_se) {
1329 rt_se->back = back;
1330 back = rt_se;
1331 }
1332
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001333 dequeue_top_rt_rq(rt_rq_of_se(back));
1334
Peter Zijlstra58d6c2d2008-04-19 19:45:00 +02001335 for (rt_se = back; rt_se; rt_se = rt_se->back) {
1336 if (on_rt_rq(rt_se))
Peter Zijlstraff77e462016-01-18 15:27:07 +01001337 __dequeue_rt_entity(rt_se, flags);
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001338 }
1339}
1340
Peter Zijlstraff77e462016-01-18 15:27:07 +01001341static void enqueue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags)
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001342{
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001343 struct rq *rq = rq_of_rt_se(rt_se);
1344
Peter Zijlstraff77e462016-01-18 15:27:07 +01001345 dequeue_rt_stack(rt_se, flags);
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001346 for_each_sched_rt_entity(rt_se)
Peter Zijlstraff77e462016-01-18 15:27:07 +01001347 __enqueue_rt_entity(rt_se, flags);
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001348 enqueue_top_rt_rq(&rq->rt);
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001349}
1350
Peter Zijlstraff77e462016-01-18 15:27:07 +01001351static void dequeue_rt_entity(struct sched_rt_entity *rt_se, unsigned int flags)
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001352{
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001353 struct rq *rq = rq_of_rt_se(rt_se);
1354
Peter Zijlstraff77e462016-01-18 15:27:07 +01001355 dequeue_rt_stack(rt_se, flags);
Peter Zijlstraad2a3f12008-06-19 09:06:57 +02001356
1357 for_each_sched_rt_entity(rt_se) {
1358 struct rt_rq *rt_rq = group_rt_rq(rt_se);
1359
1360 if (rt_rq && rt_rq->rt_nr_running)
Peter Zijlstraff77e462016-01-18 15:27:07 +01001361 __enqueue_rt_entity(rt_se, flags);
Peter Zijlstra58d6c2d2008-04-19 19:45:00 +02001362 }
Kirill Tkhaif4ebcbc2014-03-15 02:15:00 +04001363 enqueue_top_rt_rq(&rq->rt);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001364}
1365
1366/*
1367 * Adding/removing a task to/from a priority array:
1368 */
Thomas Gleixnerea87bb72010-01-20 20:58:57 +00001369static void
Peter Zijlstra371fd7e2010-03-24 16:38:48 +01001370enqueue_task_rt(struct rq *rq, struct task_struct *p, int flags)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001371{
1372 struct sched_rt_entity *rt_se = &p->rt;
1373
Peter Zijlstra371fd7e2010-03-24 16:38:48 +01001374 if (flags & ENQUEUE_WAKEUP)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001375 rt_se->timeout = 0;
1376
Peter Zijlstraff77e462016-01-18 15:27:07 +01001377 enqueue_rt_entity(rt_se, flags);
Peter Zijlstrac09595f2008-06-27 13:41:14 +02001378
Ingo Molnar4b53a342017-02-05 15:41:03 +01001379 if (!task_current(rq, p) && p->nr_cpus_allowed > 1)
Gregory Haskins917b6272008-12-29 09:39:53 -05001380 enqueue_pushable_task(rq, p);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001381}
1382
Peter Zijlstra371fd7e2010-03-24 16:38:48 +01001383static void dequeue_task_rt(struct rq *rq, struct task_struct *p, int flags)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001384{
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001385 struct sched_rt_entity *rt_se = &p->rt;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001386
1387 update_curr_rt(rq);
Peter Zijlstraff77e462016-01-18 15:27:07 +01001388 dequeue_rt_entity(rt_se, flags);
Peter Zijlstrac09595f2008-06-27 13:41:14 +02001389
Gregory Haskins917b6272008-12-29 09:39:53 -05001390 dequeue_pushable_task(rq, p);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001391}
1392
1393/*
Richard Weinberger60686312011-11-12 18:07:57 +01001394 * Put task to the head or the end of the run list without the overhead of
1395 * dequeue followed by enqueue.
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001396 */
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001397static void
1398requeue_rt_entity(struct rt_rq *rt_rq, struct sched_rt_entity *rt_se, int head)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001399{
Ingo Molnar1cdad712008-06-19 09:09:15 +02001400 if (on_rt_rq(rt_se)) {
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001401 struct rt_prio_array *array = &rt_rq->active;
1402 struct list_head *queue = array->queue + rt_se_prio(rt_se);
1403
1404 if (head)
1405 list_move(&rt_se->run_list, queue);
1406 else
1407 list_move_tail(&rt_se->run_list, queue);
Ingo Molnar1cdad712008-06-19 09:09:15 +02001408 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001409}
1410
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001411static void requeue_task_rt(struct rq *rq, struct task_struct *p, int head)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001412{
1413 struct sched_rt_entity *rt_se = &p->rt;
1414 struct rt_rq *rt_rq;
1415
1416 for_each_sched_rt_entity(rt_se) {
1417 rt_rq = rt_rq_of_se(rt_se);
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001418 requeue_rt_entity(rt_rq, rt_se, head);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001419 }
1420}
1421
1422static void yield_task_rt(struct rq *rq)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001423{
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001424 requeue_task_rt(rq, rq->curr, 0);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001425}
1426
Gregory Haskinse7693a32008-01-25 21:08:09 +01001427#ifdef CONFIG_SMP
Gregory Haskins318e0892008-01-25 21:08:10 +01001428static int find_lowest_rq(struct task_struct *task);
1429
Peter Zijlstra0017d732010-03-24 18:34:10 +01001430static int
Peter Zijlstraac66f542013-10-07 11:29:16 +01001431select_task_rq_rt(struct task_struct *p, int cpu, int sd_flag, int flags)
Gregory Haskinse7693a32008-01-25 21:08:09 +01001432{
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001433 struct task_struct *curr;
1434 struct rq *rq;
Qais Yousef804d4022019-10-09 11:46:11 +01001435 bool test;
Steven Rostedtc37495f2011-06-16 21:55:22 -04001436
1437 /* For anything but wake ups, just return the task_cpu */
1438 if (sd_flag != SD_BALANCE_WAKE && sd_flag != SD_BALANCE_FORK)
1439 goto out;
1440
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001441 rq = cpu_rq(cpu);
1442
1443 rcu_read_lock();
Jason Low316c1608d2015-04-28 13:00:20 -07001444 curr = READ_ONCE(rq->curr); /* unlocked access */
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001445
Gregory Haskins318e0892008-01-25 21:08:10 +01001446 /*
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001447 * If the current task on @p's runqueue is an RT task, then
Steven Rostedte1f47d82008-01-25 21:08:12 +01001448 * try to see if we can wake this RT task up on another
1449 * runqueue. Otherwise simply start this RT task
1450 * on its current runqueue.
1451 *
Steven Rostedt43fa5462010-09-20 22:40:03 -04001452 * We want to avoid overloading runqueues. If the woken
1453 * task is a higher priority, then it will stay on this CPU
1454 * and the lower prio task should be moved to another CPU.
1455 * Even though this will probably make the lower prio task
1456 * lose its cache, we do not want to bounce a higher task
1457 * around just because it gave up its CPU, perhaps for a
1458 * lock?
1459 *
1460 * For equal prio tasks, we just let the scheduler sort it out.
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001461 *
Gregory Haskins318e0892008-01-25 21:08:10 +01001462 * Otherwise, just let it ride on the affined RQ and the
1463 * post-schedule router will push the preempted task away
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001464 *
1465 * This test is optimistic, if we get it wrong the load-balancer
1466 * will have to sort it out.
Qais Yousef804d4022019-10-09 11:46:11 +01001467 *
1468 * We take into account the capacity of the CPU to ensure it fits the
1469 * requirement of the task - which is only important on heterogeneous
1470 * systems like big.LITTLE.
Gregory Haskins318e0892008-01-25 21:08:10 +01001471 */
Qais Yousef804d4022019-10-09 11:46:11 +01001472 test = curr &&
1473 unlikely(rt_task(curr)) &&
1474 (curr->nr_cpus_allowed < 2 || curr->prio <= p->prio);
1475
1476 if (test || !rt_task_fits_capacity(p, cpu)) {
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001477 int target = find_lowest_rq(p);
1478
Tim Chen80e3d872014-12-12 15:38:12 -08001479 /*
Qais Yousefb28bc1e2020-03-02 13:27:17 +00001480 * Bail out if we were forcing a migration to find a better
1481 * fitting CPU but our search failed.
1482 */
1483 if (!test && target != -1 && !rt_task_fits_capacity(p, target))
1484 goto out_unlock;
1485
1486 /*
Tim Chen80e3d872014-12-12 15:38:12 -08001487 * Don't bother moving it if the destination CPU is
1488 * not running a lower priority task.
1489 */
1490 if (target != -1 &&
1491 p->prio < cpu_rq(target)->rt.highest_prio.curr)
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001492 cpu = target;
1493 }
Qais Yousefb28bc1e2020-03-02 13:27:17 +00001494
1495out_unlock:
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001496 rcu_read_unlock();
1497
Steven Rostedtc37495f2011-06-16 21:55:22 -04001498out:
Peter Zijlstra7608dec2011-04-05 17:23:46 +02001499 return cpu;
Gregory Haskinse7693a32008-01-25 21:08:09 +01001500}
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001501
1502static void check_preempt_equal_prio(struct rq *rq, struct task_struct *p)
1503{
Wanpeng Li308a6232014-10-31 06:39:31 +08001504 /*
1505 * Current can't be migrated, useless to reschedule,
1506 * let's hope p can move out.
1507 */
Ingo Molnar4b53a342017-02-05 15:41:03 +01001508 if (rq->curr->nr_cpus_allowed == 1 ||
Qais Yousefa1bd02e2020-03-02 13:27:18 +00001509 !cpupri_find(&rq->rd->cpupri, rq->curr, NULL))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001510 return;
1511
Wanpeng Li308a6232014-10-31 06:39:31 +08001512 /*
1513 * p is migratable, so let's not schedule it and
1514 * see if it is pushed or pulled somewhere else.
1515 */
Qais Yousef804d4022019-10-09 11:46:11 +01001516 if (p->nr_cpus_allowed != 1 &&
Qais Yousefa1bd02e2020-03-02 13:27:18 +00001517 cpupri_find(&rq->rd->cpupri, p, NULL))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001518 return;
1519
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001520 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001521 * There appear to be other CPUs that can accept
1522 * the current task but none can run 'p', so lets reschedule
1523 * to try and push the current task away:
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001524 */
1525 requeue_task_rt(rq, p, 1);
Kirill Tkhai88751252014-06-29 00:03:57 +04001526 resched_curr(rq);
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001527}
1528
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001529static int balance_rt(struct rq *rq, struct task_struct *p, struct rq_flags *rf)
1530{
1531 if (!on_rt_rq(&p->rt) && need_pull_rt_task(rq, p)) {
1532 /*
1533 * This is OK, because current is on_cpu, which avoids it being
1534 * picked for load-balance and preemption/IRQs are still
1535 * disabled avoiding further scheduler activity on it and we've
1536 * not yet started the picking loop.
1537 */
1538 rq_unpin_lock(rq, rf);
1539 pull_rt_task(rq);
1540 rq_repin_lock(rq, rf);
1541 }
1542
1543 return sched_stop_runnable(rq) || sched_dl_runnable(rq) || sched_rt_runnable(rq);
1544}
Gregory Haskinse7693a32008-01-25 21:08:09 +01001545#endif /* CONFIG_SMP */
1546
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001547/*
1548 * Preempt the current task with a newly woken task if needed:
1549 */
Peter Zijlstra7d478722009-09-14 19:55:44 +02001550static void check_preempt_curr_rt(struct rq *rq, struct task_struct *p, int flags)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001551{
Gregory Haskins45c01e82008-05-12 21:20:41 +02001552 if (p->prio < rq->curr->prio) {
Kirill Tkhai88751252014-06-29 00:03:57 +04001553 resched_curr(rq);
Gregory Haskins45c01e82008-05-12 21:20:41 +02001554 return;
1555 }
1556
1557#ifdef CONFIG_SMP
1558 /*
1559 * If:
1560 *
1561 * - the newly woken task is of equal priority to the current task
1562 * - the newly woken task is non-migratable while current is migratable
1563 * - current will be preempted on the next reschedule
1564 *
1565 * we should check to see if current can readily move to a different
1566 * cpu. If so, we will reschedule to allow the push logic to try
1567 * to move current somewhere else, making room for our non-migratable
1568 * task.
1569 */
Hillf Danton8dd0de82011-06-14 18:36:24 -04001570 if (p->prio == rq->curr->prio && !test_tsk_need_resched(rq->curr))
Dmitry Adamushko7ebefa82008-07-01 23:32:15 +02001571 check_preempt_equal_prio(rq, p);
Gregory Haskins45c01e82008-05-12 21:20:41 +02001572#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001573}
1574
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001575static inline void set_next_task_rt(struct rq *rq, struct task_struct *p, bool first)
Muchun Songff1cdc92018-10-26 21:17:43 +08001576{
1577 p->se.exec_start = rq_clock_task(rq);
1578
1579 /* The running task is never eligible for pushing */
1580 dequeue_pushable_task(rq, p);
Peter Zijlstraf95d4ea2019-05-29 20:36:40 +00001581
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001582 if (!first)
1583 return;
1584
Peter Zijlstraf95d4ea2019-05-29 20:36:40 +00001585 /*
1586 * If prev task was rt, put_prev_task() has already updated the
1587 * utilization. We only care of the case where we start to schedule a
1588 * rt task
1589 */
1590 if (rq->curr->sched_class != &rt_sched_class)
1591 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 0);
1592
1593 rt_queue_push_tasks(rq);
Muchun Songff1cdc92018-10-26 21:17:43 +08001594}
1595
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001596static struct sched_rt_entity *pick_next_rt_entity(struct rq *rq,
1597 struct rt_rq *rt_rq)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001598{
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001599 struct rt_prio_array *array = &rt_rq->active;
1600 struct sched_rt_entity *next = NULL;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001601 struct list_head *queue;
1602 int idx;
1603
1604 idx = sched_find_first_bit(array->bitmap);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001605 BUG_ON(idx >= MAX_RT_PRIO);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001606
1607 queue = array->queue + idx;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001608 next = list_entry(queue->next, struct sched_rt_entity, run_list);
Dmitry Adamushko326587b2008-01-25 21:08:34 +01001609
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001610 return next;
1611}
1612
Gregory Haskins917b6272008-12-29 09:39:53 -05001613static struct task_struct *_pick_next_task_rt(struct rq *rq)
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001614{
1615 struct sched_rt_entity *rt_se;
Peter Zijlstra606dba22012-02-11 06:05:00 +01001616 struct rt_rq *rt_rq = &rq->rt;
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001617
1618 do {
1619 rt_se = pick_next_rt_entity(rq, rt_rq);
Dmitry Adamushko326587b2008-01-25 21:08:34 +01001620 BUG_ON(!rt_se);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001621 rt_rq = group_rt_rq(rt_se);
1622 } while (rt_rq);
1623
Muchun Songff1cdc92018-10-26 21:17:43 +08001624 return rt_task_of(rt_se);
Gregory Haskins917b6272008-12-29 09:39:53 -05001625}
1626
Peter Zijlstra98c2f702019-11-08 14:15:58 +01001627static struct task_struct *pick_next_task_rt(struct rq *rq)
Gregory Haskins917b6272008-12-29 09:39:53 -05001628{
Peter Zijlstra606dba22012-02-11 06:05:00 +01001629 struct task_struct *p;
Peter Zijlstra606dba22012-02-11 06:05:00 +01001630
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001631 if (!sched_rt_runnable(rq))
Peter Zijlstra606dba22012-02-11 06:05:00 +01001632 return NULL;
1633
Peter Zijlstra606dba22012-02-11 06:05:00 +01001634 p = _pick_next_task_rt(rq);
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001635 set_next_task_rt(rq, p, true);
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001636 return p;
1637}
1638
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001639static void put_prev_task_rt(struct rq *rq, struct task_struct *p)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001640{
Ingo Molnarf1e14ef2007-08-09 11:16:48 +02001641 update_curr_rt(rq);
Gregory Haskins917b6272008-12-29 09:39:53 -05001642
Vincent Guittot23127292019-01-23 16:26:53 +01001643 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 1);
Vincent Guittot371bf422018-06-28 17:45:05 +02001644
Gregory Haskins917b6272008-12-29 09:39:53 -05001645 /*
1646 * The previous task needs to be made eligible for pushing
1647 * if it is still active
1648 */
Ingo Molnar4b53a342017-02-05 15:41:03 +01001649 if (on_rt_rq(&p->rt) && p->nr_cpus_allowed > 1)
Gregory Haskins917b6272008-12-29 09:39:53 -05001650 enqueue_pushable_task(rq, p);
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02001651}
1652
Peter Williams681f3e62007-10-24 18:23:51 +02001653#ifdef CONFIG_SMP
Peter Zijlstra6f505b12008-01-25 21:08:30 +01001654
Steven Rostedte8fa1362008-01-25 21:08:05 +01001655/* Only try algorithms three times */
1656#define RT_MAX_TRIES 3
1657
Steven Rostedtf65eda42008-01-25 21:08:07 +01001658static int pick_rt_task(struct rq *rq, struct task_struct *p, int cpu)
1659{
1660 if (!task_running(rq, p) &&
Qais Yousef98ca6452020-03-02 13:27:19 +00001661 cpumask_test_cpu(cpu, p->cpus_ptr))
Steven Rostedtf65eda42008-01-25 21:08:07 +01001662 return 1;
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001663
Steven Rostedtf65eda42008-01-25 21:08:07 +01001664 return 0;
1665}
1666
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001667/*
1668 * Return the highest pushable rq's task, which is suitable to be executed
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001669 * on the CPU, NULL otherwise
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001670 */
1671static struct task_struct *pick_highest_pushable_task(struct rq *rq, int cpu)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001672{
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001673 struct plist_head *head = &rq->rt.pushable_tasks;
1674 struct task_struct *p;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001675
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001676 if (!has_pushable_tasks(rq))
1677 return NULL;
Peter Zijlstra3d074672010-03-10 17:07:24 +01001678
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001679 plist_for_each_entry(p, head, pushable_tasks) {
1680 if (pick_rt_task(rq, p, cpu))
1681 return p;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001682 }
1683
Kirill Tkhaie23ee742013-06-07 15:37:43 -04001684 return NULL;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001685}
1686
Rusty Russell0e3900e2008-11-25 02:35:13 +10301687static DEFINE_PER_CPU(cpumask_var_t, local_cpu_mask);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001688
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001689static int find_lowest_rq(struct task_struct *task)
1690{
1691 struct sched_domain *sd;
Christoph Lameter4ba29682014-08-26 19:12:21 -05001692 struct cpumask *lowest_mask = this_cpu_cpumask_var_ptr(local_cpu_mask);
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001693 int this_cpu = smp_processor_id();
1694 int cpu = task_cpu(task);
Qais Yousefa1bd02e2020-03-02 13:27:18 +00001695 int ret;
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001696
Steven Rostedt0da938c2011-06-14 18:36:25 -04001697 /* Make sure the mask is initialized first */
1698 if (unlikely(!lowest_mask))
1699 return -1;
1700
Ingo Molnar4b53a342017-02-05 15:41:03 +01001701 if (task->nr_cpus_allowed == 1)
Gregory Haskins6e0534f2008-05-12 21:21:01 +02001702 return -1; /* No other targets possible */
1703
Qais Yousefa1bd02e2020-03-02 13:27:18 +00001704 /*
1705 * If we're on asym system ensure we consider the different capacities
1706 * of the CPUs when searching for the lowest_mask.
1707 */
1708 if (static_branch_unlikely(&sched_asym_cpucapacity)) {
1709
1710 ret = cpupri_find_fitness(&task_rq(task)->rd->cpupri,
1711 task, lowest_mask,
1712 rt_task_fits_capacity);
1713 } else {
1714
1715 ret = cpupri_find(&task_rq(task)->rd->cpupri,
1716 task, lowest_mask);
1717 }
1718
1719 if (!ret)
Gregory Haskins06f90db2008-01-25 21:08:13 +01001720 return -1; /* No targets found */
1721
1722 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001723 * At this point we have built a mask of CPUs representing the
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001724 * lowest priority tasks in the system. Now we want to elect
1725 * the best one based on our affinity and topology.
1726 *
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001727 * We prioritize the last CPU that the task executed on since
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001728 * it is most likely cache-hot in that location.
1729 */
Rusty Russell96f874e22008-11-25 02:35:14 +10301730 if (cpumask_test_cpu(cpu, lowest_mask))
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001731 return cpu;
1732
1733 /*
1734 * Otherwise, we consult the sched_domains span maps to figure
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001735 * out which CPU is logically closest to our hot cache data.
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001736 */
Rusty Russelle2c88062009-11-03 14:53:15 +10301737 if (!cpumask_test_cpu(this_cpu, lowest_mask))
1738 this_cpu = -1; /* Skip this_cpu opt if not among lowest */
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001739
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001740 rcu_read_lock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301741 for_each_domain(cpu, sd) {
1742 if (sd->flags & SD_WAKE_AFFINE) {
1743 int best_cpu;
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001744
Rusty Russelle2c88062009-11-03 14:53:15 +10301745 /*
1746 * "this_cpu" is cheaper to preempt than a
1747 * remote processor.
1748 */
1749 if (this_cpu != -1 &&
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001750 cpumask_test_cpu(this_cpu, sched_domain_span(sd))) {
1751 rcu_read_unlock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301752 return this_cpu;
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001753 }
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001754
Rusty Russelle2c88062009-11-03 14:53:15 +10301755 best_cpu = cpumask_first_and(lowest_mask,
1756 sched_domain_span(sd));
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001757 if (best_cpu < nr_cpu_ids) {
1758 rcu_read_unlock();
Rusty Russelle2c88062009-11-03 14:53:15 +10301759 return best_cpu;
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001760 }
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001761 }
1762 }
Xiaotian Fengcd4ae6a2011-04-22 18:53:54 +08001763 rcu_read_unlock();
Gregory Haskins6e1254d2008-01-25 21:08:11 +01001764
1765 /*
1766 * And finally, if there were no matches within the domains
1767 * just give the caller *something* to work with from the compatible
1768 * locations.
1769 */
Rusty Russelle2c88062009-11-03 14:53:15 +10301770 if (this_cpu != -1)
1771 return this_cpu;
1772
1773 cpu = cpumask_any(lowest_mask);
1774 if (cpu < nr_cpu_ids)
1775 return cpu;
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001776
Rusty Russelle2c88062009-11-03 14:53:15 +10301777 return -1;
Gregory Haskins07b40322008-01-25 21:08:10 +01001778}
1779
Steven Rostedte8fa1362008-01-25 21:08:05 +01001780/* Will lock the rq it finds */
Ingo Molnar4df64c02008-01-25 21:08:15 +01001781static struct rq *find_lock_lowest_rq(struct task_struct *task, struct rq *rq)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001782{
1783 struct rq *lowest_rq = NULL;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001784 int tries;
Ingo Molnar4df64c02008-01-25 21:08:15 +01001785 int cpu;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001786
1787 for (tries = 0; tries < RT_MAX_TRIES; tries++) {
Gregory Haskins07b40322008-01-25 21:08:10 +01001788 cpu = find_lowest_rq(task);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001789
Gregory Haskins2de0b462008-01-25 21:08:10 +01001790 if ((cpu == -1) || (cpu == rq->cpu))
Steven Rostedte8fa1362008-01-25 21:08:05 +01001791 break;
1792
Gregory Haskins07b40322008-01-25 21:08:10 +01001793 lowest_rq = cpu_rq(cpu);
1794
Tim Chen80e3d872014-12-12 15:38:12 -08001795 if (lowest_rq->rt.highest_prio.curr <= task->prio) {
1796 /*
1797 * Target rq has tasks of equal or higher priority,
1798 * retrying does not release any lock and is unlikely
1799 * to yield a different result.
1800 */
1801 lowest_rq = NULL;
1802 break;
1803 }
1804
Steven Rostedte8fa1362008-01-25 21:08:05 +01001805 /* if the prio of this runqueue changed, try again */
Gregory Haskins07b40322008-01-25 21:08:10 +01001806 if (double_lock_balance(rq, lowest_rq)) {
Steven Rostedte8fa1362008-01-25 21:08:05 +01001807 /*
1808 * We had to unlock the run queue. In
1809 * the mean time, task could have
1810 * migrated already or had its affinity changed.
1811 * Also make sure that it wasn't scheduled on its rq.
1812 */
Gregory Haskins07b40322008-01-25 21:08:10 +01001813 if (unlikely(task_rq(task) != rq ||
Sebastian Andrzej Siewior3bd37062019-04-23 16:26:36 +02001814 !cpumask_test_cpu(lowest_rq->cpu, task->cpus_ptr) ||
Gregory Haskins07b40322008-01-25 21:08:10 +01001815 task_running(rq, task) ||
Xunlei Pang13b5ab02016-05-09 12:11:31 +08001816 !rt_task(task) ||
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04001817 !task_on_rq_queued(task))) {
Ingo Molnar4df64c02008-01-25 21:08:15 +01001818
Peter Zijlstra7f1b4392012-05-17 21:19:46 +02001819 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001820 lowest_rq = NULL;
1821 break;
1822 }
1823 }
1824
1825 /* If this rq is still suitable use it. */
Gregory Haskinse864c492008-12-29 09:39:49 -05001826 if (lowest_rq->rt.highest_prio.curr > task->prio)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001827 break;
1828
1829 /* try again */
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02001830 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001831 lowest_rq = NULL;
1832 }
1833
1834 return lowest_rq;
1835}
1836
Gregory Haskins917b6272008-12-29 09:39:53 -05001837static struct task_struct *pick_next_pushable_task(struct rq *rq)
1838{
1839 struct task_struct *p;
1840
1841 if (!has_pushable_tasks(rq))
1842 return NULL;
1843
1844 p = plist_first_entry(&rq->rt.pushable_tasks,
1845 struct task_struct, pushable_tasks);
1846
1847 BUG_ON(rq->cpu != task_cpu(p));
1848 BUG_ON(task_current(rq, p));
Ingo Molnar4b53a342017-02-05 15:41:03 +01001849 BUG_ON(p->nr_cpus_allowed <= 1);
Gregory Haskins917b6272008-12-29 09:39:53 -05001850
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04001851 BUG_ON(!task_on_rq_queued(p));
Gregory Haskins917b6272008-12-29 09:39:53 -05001852 BUG_ON(!rt_task(p));
1853
1854 return p;
1855}
1856
Steven Rostedte8fa1362008-01-25 21:08:05 +01001857/*
1858 * If the current CPU has more than one RT task, see if the non
1859 * running task can migrate over to a CPU that is running a task
1860 * of lesser priority.
1861 */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001862static int push_rt_task(struct rq *rq)
Steven Rostedte8fa1362008-01-25 21:08:05 +01001863{
1864 struct task_struct *next_task;
1865 struct rq *lowest_rq;
Hillf Danton311e8002011-06-16 21:55:20 -04001866 int ret = 0;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001867
Gregory Haskinsa22d7fc2008-01-25 21:08:12 +01001868 if (!rq->rt.overloaded)
1869 return 0;
1870
Gregory Haskins917b6272008-12-29 09:39:53 -05001871 next_task = pick_next_pushable_task(rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001872 if (!next_task)
1873 return 0;
1874
Peter Zijlstra49246272010-10-17 21:46:10 +02001875retry:
Yangtao Li9ebc6052018-11-03 13:26:02 -04001876 if (WARN_ON(next_task == rq->curr))
Steven Rostedte8fa1362008-01-25 21:08:05 +01001877 return 0;
1878
1879 /*
1880 * It's possible that the next_task slipped in of
1881 * higher priority than current. If that's the case
1882 * just reschedule current.
1883 */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001884 if (unlikely(next_task->prio < rq->curr->prio)) {
Kirill Tkhai88751252014-06-29 00:03:57 +04001885 resched_curr(rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001886 return 0;
1887 }
1888
Gregory Haskins697f0a42008-01-25 21:08:09 +01001889 /* We might release rq lock */
Steven Rostedte8fa1362008-01-25 21:08:05 +01001890 get_task_struct(next_task);
1891
1892 /* find_lock_lowest_rq locks the rq if found */
Gregory Haskins697f0a42008-01-25 21:08:09 +01001893 lowest_rq = find_lock_lowest_rq(next_task, rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001894 if (!lowest_rq) {
1895 struct task_struct *task;
1896 /*
Hillf Danton311e8002011-06-16 21:55:20 -04001897 * find_lock_lowest_rq releases rq->lock
Gregory Haskins15635132008-12-29 09:39:53 -05001898 * so it is possible that next_task has migrated.
1899 *
1900 * We need to make sure that the task is still on the same
1901 * run-queue and is also still the next task eligible for
1902 * pushing.
Steven Rostedte8fa1362008-01-25 21:08:05 +01001903 */
Gregory Haskins917b6272008-12-29 09:39:53 -05001904 task = pick_next_pushable_task(rq);
Byungchul Parkde16b912017-05-12 10:05:43 +09001905 if (task == next_task) {
Gregory Haskins15635132008-12-29 09:39:53 -05001906 /*
Hillf Danton311e8002011-06-16 21:55:20 -04001907 * The task hasn't migrated, and is still the next
1908 * eligible task, but we failed to find a run-queue
1909 * to push it to. Do not retry in this case, since
Ingo Molnar97fb7a02018-03-03 14:01:12 +01001910 * other CPUs will pull from us when ready.
Gregory Haskins15635132008-12-29 09:39:53 -05001911 */
Gregory Haskins15635132008-12-29 09:39:53 -05001912 goto out;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001913 }
Gregory Haskins917b6272008-12-29 09:39:53 -05001914
Gregory Haskins15635132008-12-29 09:39:53 -05001915 if (!task)
1916 /* No more tasks, just exit */
1917 goto out;
1918
Gregory Haskins917b6272008-12-29 09:39:53 -05001919 /*
Gregory Haskins15635132008-12-29 09:39:53 -05001920 * Something has shifted, try again.
Gregory Haskins917b6272008-12-29 09:39:53 -05001921 */
Gregory Haskins15635132008-12-29 09:39:53 -05001922 put_task_struct(next_task);
1923 next_task = task;
1924 goto retry;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001925 }
1926
Gregory Haskins697f0a42008-01-25 21:08:09 +01001927 deactivate_task(rq, next_task, 0);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001928 set_task_cpu(next_task, lowest_rq->cpu);
1929 activate_task(lowest_rq, next_task, 0);
Hillf Danton311e8002011-06-16 21:55:20 -04001930 ret = 1;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001931
Kirill Tkhai88751252014-06-29 00:03:57 +04001932 resched_curr(lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001933
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02001934 double_unlock_balance(rq, lowest_rq);
Steven Rostedte8fa1362008-01-25 21:08:05 +01001935
Steven Rostedte8fa1362008-01-25 21:08:05 +01001936out:
1937 put_task_struct(next_task);
1938
Hillf Danton311e8002011-06-16 21:55:20 -04001939 return ret;
Steven Rostedte8fa1362008-01-25 21:08:05 +01001940}
1941
Steven Rostedte8fa1362008-01-25 21:08:05 +01001942static void push_rt_tasks(struct rq *rq)
1943{
1944 /* push_rt_task will return true if it moved an RT */
1945 while (push_rt_task(rq))
1946 ;
1947}
1948
Steven Rostedtb6366f02015-03-18 14:49:46 -04001949#ifdef HAVE_RT_PUSH_IPI
Steven Rostedtb6366f02015-03-18 14:49:46 -04001950
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001951/*
1952 * When a high priority task schedules out from a CPU and a lower priority
1953 * task is scheduled in, a check is made to see if there's any RT tasks
1954 * on other CPUs that are waiting to run because a higher priority RT task
1955 * is currently running on its CPU. In this case, the CPU with multiple RT
1956 * tasks queued on it (overloaded) needs to be notified that a CPU has opened
1957 * up that may be able to run one of its non-running queued RT tasks.
1958 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001959 * All CPUs with overloaded RT tasks need to be notified as there is currently
1960 * no way to know which of these CPUs have the highest priority task waiting
1961 * to run. Instead of trying to take a spinlock on each of these CPUs,
1962 * which has shown to cause large latency when done on machines with many
1963 * CPUs, sending an IPI to the CPUs to have them push off the overloaded
1964 * RT tasks waiting to run.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001965 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001966 * Just sending an IPI to each of the CPUs is also an issue, as on large
1967 * count CPU machines, this can cause an IPI storm on a CPU, especially
1968 * if its the only CPU with multiple RT tasks queued, and a large number
1969 * of CPUs scheduling a lower priority task at the same time.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001970 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001971 * Each root domain has its own irq work function that can iterate over
1972 * all CPUs with RT overloaded tasks. Since all CPUs with overloaded RT
1973 * tassk must be checked if there's one or many CPUs that are lowering
1974 * their priority, there's a single irq work iterator that will try to
1975 * push off RT tasks that are waiting to run.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001976 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001977 * When a CPU schedules a lower priority task, it will kick off the
1978 * irq work iterator that will jump to each CPU with overloaded RT tasks.
1979 * As it only takes the first CPU that schedules a lower priority task
1980 * to start the process, the rto_start variable is incremented and if
1981 * the atomic result is one, then that CPU will try to take the rto_lock.
1982 * This prevents high contention on the lock as the process handles all
1983 * CPUs scheduling lower priority tasks.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001984 *
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001985 * All CPUs that are scheduling a lower priority task will increment the
1986 * rt_loop_next variable. This will make sure that the irq work iterator
1987 * checks all RT overloaded CPUs whenever a CPU schedules a new lower
1988 * priority task, even if the iterator is in the middle of a scan. Incrementing
1989 * the rt_loop_next will cause the iterator to perform another scan.
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001990 *
Steven Rostedt (VMware)3e777f92017-02-28 15:50:30 -05001991 */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05001992static int rto_next_cpu(struct root_domain *rd)
Steven Rostedtb6366f02015-03-18 14:49:46 -04001993{
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001994 int next;
Steven Rostedtb6366f02015-03-18 14:49:46 -04001995 int cpu;
1996
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04001997 /*
1998 * When starting the IPI RT pushing, the rto_cpu is set to -1,
1999 * rt_next_cpu() will simply return the first CPU found in
2000 * the rto_mask.
2001 *
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002002 * If rto_next_cpu() is called with rto_cpu is a valid CPU, it
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002003 * will return the next CPU found in the rto_mask.
2004 *
2005 * If there are no more CPUs left in the rto_mask, then a check is made
2006 * against rto_loop and rto_loop_next. rto_loop is only updated with
2007 * the rto_lock held, but any CPU may increment the rto_loop_next
2008 * without any locking.
2009 */
2010 for (;;) {
2011
2012 /* When rto_cpu is -1 this acts like cpumask_first() */
2013 cpu = cpumask_next(rd->rto_cpu, rd->rto_mask);
2014
2015 rd->rto_cpu = cpu;
2016
2017 if (cpu < nr_cpu_ids)
2018 return cpu;
2019
2020 rd->rto_cpu = -1;
2021
2022 /*
2023 * ACQUIRE ensures we see the @rto_mask changes
2024 * made prior to the @next value observed.
2025 *
2026 * Matches WMB in rt_set_overload().
2027 */
2028 next = atomic_read_acquire(&rd->rto_loop_next);
2029
2030 if (rd->rto_loop == next)
2031 break;
2032
2033 rd->rto_loop = next;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002034 }
2035
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002036 return -1;
2037}
Steven Rostedtb6366f02015-03-18 14:49:46 -04002038
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002039static inline bool rto_start_trylock(atomic_t *v)
2040{
2041 return !atomic_cmpxchg_acquire(v, 0, 1);
2042}
2043
2044static inline void rto_start_unlock(atomic_t *v)
2045{
2046 atomic_set_release(v, 0);
2047}
2048
2049static void tell_cpu_to_push(struct rq *rq)
2050{
2051 int cpu = -1;
2052
2053 /* Keep the loop going if the IPI is currently active */
2054 atomic_inc(&rq->rd->rto_loop_next);
2055
2056 /* Only one CPU can initiate a loop at a time */
2057 if (!rto_start_trylock(&rq->rd->rto_loop_start))
Steven Rostedtb6366f02015-03-18 14:49:46 -04002058 return;
2059
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002060 raw_spin_lock(&rq->rd->rto_lock);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002061
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002062 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002063 * The rto_cpu is updated under the lock, if it has a valid CPU
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002064 * then the IPI is still running and will continue due to the
2065 * update to loop_next, and nothing needs to be done here.
2066 * Otherwise it is finishing up and an ipi needs to be sent.
2067 */
2068 if (rq->rd->rto_cpu < 0)
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002069 cpu = rto_next_cpu(rq->rd);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002070
2071 raw_spin_unlock(&rq->rd->rto_lock);
2072
2073 rto_start_unlock(&rq->rd->rto_loop_start);
2074
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002075 if (cpu >= 0) {
2076 /* Make sure the rd does not get freed while pushing */
2077 sched_get_rd(rq->rd);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002078 irq_work_queue_on(&rq->rd->rto_push_work, cpu);
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002079 }
Steven Rostedtb6366f02015-03-18 14:49:46 -04002080}
2081
2082/* Called from hardirq context */
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002083void rto_push_irq_work_func(struct irq_work *work)
Steven Rostedtb6366f02015-03-18 14:49:46 -04002084{
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002085 struct root_domain *rd =
2086 container_of(work, struct root_domain, rto_push_work);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002087 struct rq *rq;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002088 int cpu;
2089
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002090 rq = this_rq();
Steven Rostedtb6366f02015-03-18 14:49:46 -04002091
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002092 /*
2093 * We do not need to grab the lock to check for has_pushable_tasks.
2094 * When it gets updated, a check is made if a push is possible.
2095 */
Steven Rostedtb6366f02015-03-18 14:49:46 -04002096 if (has_pushable_tasks(rq)) {
2097 raw_spin_lock(&rq->lock);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002098 push_rt_tasks(rq);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002099 raw_spin_unlock(&rq->lock);
2100 }
2101
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002102 raw_spin_lock(&rd->rto_lock);
Steven Rostedt (Red Hat)4bdced52017-10-06 14:05:04 -04002103
Steven Rostedtb6366f02015-03-18 14:49:46 -04002104 /* Pass the IPI to the next rt overloaded queue */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002105 cpu = rto_next_cpu(rd);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002106
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002107 raw_spin_unlock(&rd->rto_lock);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002108
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002109 if (cpu < 0) {
2110 sched_put_rd(rd);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002111 return;
Steven Rostedt (VMware)364f5662018-01-23 20:45:38 -05002112 }
Steven Rostedtb6366f02015-03-18 14:49:46 -04002113
Steven Rostedtb6366f02015-03-18 14:49:46 -04002114 /* Try the next RT overloaded CPU */
Steven Rostedt (VMware)ad0f1d92018-01-23 20:45:37 -05002115 irq_work_queue_on(&rd->rto_push_work, cpu);
Steven Rostedtb6366f02015-03-18 14:49:46 -04002116}
2117#endif /* HAVE_RT_PUSH_IPI */
2118
Peter Zijlstra8046d682015-06-11 14:46:40 +02002119static void pull_rt_task(struct rq *this_rq)
Steven Rostedtf65eda42008-01-25 21:08:07 +01002120{
Peter Zijlstra8046d682015-06-11 14:46:40 +02002121 int this_cpu = this_rq->cpu, cpu;
2122 bool resched = false;
Gregory Haskinsa8728942008-12-29 09:39:49 -05002123 struct task_struct *p;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002124 struct rq *src_rq;
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002125 int rt_overload_count = rt_overloaded(this_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002126
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002127 if (likely(!rt_overload_count))
Peter Zijlstra8046d682015-06-11 14:46:40 +02002128 return;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002129
Peter Zijlstra7c3f2ab2013-10-15 12:35:07 +02002130 /*
2131 * Match the barrier from rt_set_overloaded; this guarantees that if we
2132 * see overloaded we must also see the rto_mask bit.
2133 */
2134 smp_rmb();
2135
Steven Rostedtf73c52a2017-12-02 13:04:54 -05002136 /* If we are the only overloaded CPU do nothing */
2137 if (rt_overload_count == 1 &&
2138 cpumask_test_cpu(this_rq->cpu, this_rq->rd->rto_mask))
2139 return;
2140
Steven Rostedtb6366f02015-03-18 14:49:46 -04002141#ifdef HAVE_RT_PUSH_IPI
2142 if (sched_feat(RT_PUSH_IPI)) {
2143 tell_cpu_to_push(this_rq);
Peter Zijlstra8046d682015-06-11 14:46:40 +02002144 return;
Steven Rostedtb6366f02015-03-18 14:49:46 -04002145 }
2146#endif
2147
Rusty Russellc6c49272008-11-25 02:35:05 +10302148 for_each_cpu(cpu, this_rq->rd->rto_mask) {
Steven Rostedtf65eda42008-01-25 21:08:07 +01002149 if (this_cpu == cpu)
2150 continue;
2151
2152 src_rq = cpu_rq(cpu);
Gregory Haskins74ab8e42008-12-29 09:39:50 -05002153
2154 /*
2155 * Don't bother taking the src_rq->lock if the next highest
2156 * task is known to be lower-priority than our current task.
2157 * This may look racy, but if this value is about to go
2158 * logically higher, the src_rq will push this task away.
2159 * And if its going logically lower, we do not care
2160 */
2161 if (src_rq->rt.highest_prio.next >=
2162 this_rq->rt.highest_prio.curr)
2163 continue;
2164
Steven Rostedtf65eda42008-01-25 21:08:07 +01002165 /*
2166 * We can potentially drop this_rq's lock in
2167 * double_lock_balance, and another CPU could
Gregory Haskinsa8728942008-12-29 09:39:49 -05002168 * alter this_rq
Steven Rostedtf65eda42008-01-25 21:08:07 +01002169 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002170 double_lock_balance(this_rq, src_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002171
2172 /*
Kirill Tkhaie23ee742013-06-07 15:37:43 -04002173 * We can pull only a task, which is pushable
2174 * on its rq, and no others.
Steven Rostedtf65eda42008-01-25 21:08:07 +01002175 */
Kirill Tkhaie23ee742013-06-07 15:37:43 -04002176 p = pick_highest_pushable_task(src_rq, this_cpu);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002177
2178 /*
2179 * Do we have an RT task that preempts
2180 * the to-be-scheduled task?
2181 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002182 if (p && (p->prio < this_rq->rt.highest_prio.curr)) {
Steven Rostedtf65eda42008-01-25 21:08:07 +01002183 WARN_ON(p == src_rq->curr);
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002184 WARN_ON(!task_on_rq_queued(p));
Steven Rostedtf65eda42008-01-25 21:08:07 +01002185
2186 /*
2187 * There's a chance that p is higher in priority
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002188 * than what's currently running on its CPU.
Steven Rostedtf65eda42008-01-25 21:08:07 +01002189 * This is just that p is wakeing up and hasn't
2190 * had a chance to schedule. We only pull
2191 * p if it is lower in priority than the
Gregory Haskinsa8728942008-12-29 09:39:49 -05002192 * current task on the run queue
Steven Rostedtf65eda42008-01-25 21:08:07 +01002193 */
Gregory Haskinsa8728942008-12-29 09:39:49 -05002194 if (p->prio < src_rq->curr->prio)
Mike Galbraith614ee1f2008-01-25 21:08:30 +01002195 goto skip;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002196
Peter Zijlstra8046d682015-06-11 14:46:40 +02002197 resched = true;
Steven Rostedtf65eda42008-01-25 21:08:07 +01002198
2199 deactivate_task(src_rq, p, 0);
2200 set_task_cpu(p, this_cpu);
2201 activate_task(this_rq, p, 0);
2202 /*
2203 * We continue with the search, just in
2204 * case there's an even higher prio task
Lucas De Marchi25985ed2011-03-30 22:57:33 -03002205 * in another runqueue. (low likelihood
Steven Rostedtf65eda42008-01-25 21:08:07 +01002206 * but possible)
Steven Rostedtf65eda42008-01-25 21:08:07 +01002207 */
Steven Rostedtf65eda42008-01-25 21:08:07 +01002208 }
Peter Zijlstra49246272010-10-17 21:46:10 +02002209skip:
Peter Zijlstra1b12bbc2008-08-11 09:30:22 +02002210 double_unlock_balance(this_rq, src_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002211 }
2212
Peter Zijlstra8046d682015-06-11 14:46:40 +02002213 if (resched)
2214 resched_curr(this_rq);
Steven Rostedtf65eda42008-01-25 21:08:07 +01002215}
2216
Gregory Haskins8ae121a2008-04-23 07:13:29 -04002217/*
2218 * If we are not running and we are not going to reschedule soon, we should
2219 * try to push tasks away now
2220 */
Peter Zijlstraefbbd052009-12-16 18:04:40 +01002221static void task_woken_rt(struct rq *rq, struct task_struct *p)
Steven Rostedt4642daf2008-01-25 21:08:07 +01002222{
Qais Yousef804d4022019-10-09 11:46:11 +01002223 bool need_to_push = !task_running(rq, p) &&
2224 !test_tsk_need_resched(rq->curr) &&
2225 p->nr_cpus_allowed > 1 &&
2226 (dl_task(rq->curr) || rt_task(rq->curr)) &&
2227 (rq->curr->nr_cpus_allowed < 2 ||
2228 rq->curr->prio <= p->prio);
2229
Qais Yousefd94a9df2020-03-02 13:27:20 +00002230 if (need_to_push)
Steven Rostedt4642daf2008-01-25 21:08:07 +01002231 push_rt_tasks(rq);
2232}
2233
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002234/* Assumes rq->lock is held */
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002235static void rq_online_rt(struct rq *rq)
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002236{
2237 if (rq->rt.overloaded)
2238 rt_set_overload(rq);
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002239
Peter Zijlstra7def2be2008-06-05 14:49:58 +02002240 __enable_runtime(rq);
2241
Gregory Haskinse864c492008-12-29 09:39:49 -05002242 cpupri_set(&rq->rd->cpupri, rq->cpu, rq->rt.highest_prio.curr);
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002243}
2244
2245/* Assumes rq->lock is held */
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002246static void rq_offline_rt(struct rq *rq)
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002247{
2248 if (rq->rt.overloaded)
2249 rt_clear_overload(rq);
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002250
Peter Zijlstra7def2be2008-06-05 14:49:58 +02002251 __disable_runtime(rq);
2252
Gregory Haskins6e0534f2008-05-12 21:21:01 +02002253 cpupri_set(&rq->rd->cpupri, rq->cpu, CPUPRI_INVALID);
Ingo Molnarbdd7c812008-01-25 21:08:18 +01002254}
Steven Rostedtcb469842008-01-25 21:08:22 +01002255
2256/*
2257 * When switch from the rt queue, we bring ourselves to a position
2258 * that we might want to pull RT tasks from other runqueues.
2259 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002260static void switched_from_rt(struct rq *rq, struct task_struct *p)
Steven Rostedtcb469842008-01-25 21:08:22 +01002261{
2262 /*
2263 * If there are other RT tasks then we will reschedule
2264 * and the scheduling of the other RT tasks will handle
2265 * the balancing. But if we are the last RT task
2266 * we may need to handle the pulling of RT tasks
2267 * now.
2268 */
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002269 if (!task_on_rq_queued(p) || rq->rt.rt_nr_running)
Kirill Tkhai1158ddb2012-11-23 00:02:15 +04002270 return;
2271
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002272 rt_queue_pull_task(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002273}
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302274
Li Zefan11c785b2014-02-08 14:17:45 +08002275void __init init_sched_rt_class(void)
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302276{
2277 unsigned int i;
2278
Peter Zijlstra029632f2011-10-25 10:00:11 +02002279 for_each_possible_cpu(i) {
Yinghai Lueaa95842009-06-06 14:51:36 -07002280 zalloc_cpumask_var_node(&per_cpu(local_cpu_mask, i),
Mike Travis6ca09df2008-12-31 18:08:45 -08002281 GFP_KERNEL, cpu_to_node(i));
Peter Zijlstra029632f2011-10-25 10:00:11 +02002282 }
Rusty Russell3d8cbdf2008-11-25 09:58:41 +10302283}
Steven Rostedte8fa1362008-01-25 21:08:05 +01002284#endif /* CONFIG_SMP */
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002285
Steven Rostedtcb469842008-01-25 21:08:22 +01002286/*
2287 * When switching a task to RT, we may overload the runqueue
2288 * with RT tasks. In this case we try to push them off to
2289 * other runqueues.
2290 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002291static void switched_to_rt(struct rq *rq, struct task_struct *p)
Steven Rostedtcb469842008-01-25 21:08:22 +01002292{
Steven Rostedtcb469842008-01-25 21:08:22 +01002293 /*
2294 * If we are already running, then there's nothing
2295 * that needs to be done. But if we are not running
2296 * we may need to preempt the current running task.
2297 * If that current running task is also an RT task
2298 * then see if we can move to another run queue.
2299 */
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002300 if (task_on_rq_queued(p) && rq->curr != p) {
Steven Rostedtcb469842008-01-25 21:08:22 +01002301#ifdef CONFIG_SMP
Qais Yousefd94a9df2020-03-02 13:27:20 +00002302 if (p->nr_cpus_allowed > 1 && rq->rt.overloaded)
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002303 rt_queue_push_tasks(rq);
Sebastian Andrzej Siewior619bd4a2017-01-24 15:40:06 +01002304#endif /* CONFIG_SMP */
Paul E. McKenney2fe25822017-10-13 17:00:18 -07002305 if (p->prio < rq->curr->prio && cpu_online(cpu_of(rq)))
Kirill Tkhai88751252014-06-29 00:03:57 +04002306 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002307 }
2308}
2309
2310/*
2311 * Priority of the task has changed. This may cause
2312 * us to initiate a push or pull.
2313 */
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002314static void
2315prio_changed_rt(struct rq *rq, struct task_struct *p, int oldprio)
Steven Rostedtcb469842008-01-25 21:08:22 +01002316{
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002317 if (!task_on_rq_queued(p))
Peter Zijlstrada7a7352011-01-17 17:03:27 +01002318 return;
2319
2320 if (rq->curr == p) {
Steven Rostedtcb469842008-01-25 21:08:22 +01002321#ifdef CONFIG_SMP
2322 /*
2323 * If our priority decreases while running, we
2324 * may need to pull tasks to this runqueue.
2325 */
2326 if (oldprio < p->prio)
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002327 rt_queue_pull_task(rq);
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002328
Steven Rostedtcb469842008-01-25 21:08:22 +01002329 /*
2330 * If there's a higher priority task waiting to run
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002331 * then reschedule.
Steven Rostedtcb469842008-01-25 21:08:22 +01002332 */
Peter Zijlstrafd7a4be2015-06-11 14:46:41 +02002333 if (p->prio > rq->rt.highest_prio.curr)
Kirill Tkhai88751252014-06-29 00:03:57 +04002334 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002335#else
2336 /* For UP simply resched on drop of prio */
2337 if (oldprio < p->prio)
Kirill Tkhai88751252014-06-29 00:03:57 +04002338 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002339#endif /* CONFIG_SMP */
2340 } else {
2341 /*
2342 * This task is not running, but if it is
2343 * greater than the current running task
2344 * then reschedule.
2345 */
2346 if (p->prio < rq->curr->prio)
Kirill Tkhai88751252014-06-29 00:03:57 +04002347 resched_curr(rq);
Steven Rostedtcb469842008-01-25 21:08:22 +01002348 }
2349}
2350
Nicolas Pitreb18b6a92017-01-21 00:09:08 -05002351#ifdef CONFIG_POSIX_TIMERS
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002352static void watchdog(struct rq *rq, struct task_struct *p)
2353{
2354 unsigned long soft, hard;
2355
Jiri Slaby78d7d402010-03-05 13:42:54 -08002356 /* max may change after cur was read, this will be fixed next tick */
2357 soft = task_rlimit(p, RLIMIT_RTTIME);
2358 hard = task_rlimit_max(p, RLIMIT_RTTIME);
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002359
2360 if (soft != RLIM_INFINITY) {
2361 unsigned long next;
2362
Ying Xue57d2aa02012-07-17 15:03:43 +08002363 if (p->rt.watchdog_stamp != jiffies) {
2364 p->rt.timeout++;
2365 p->rt.watchdog_stamp = jiffies;
2366 }
2367
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002368 next = DIV_ROUND_UP(min(soft, hard), USEC_PER_SEC/HZ);
Thomas Gleixner3a245c02019-08-21 21:09:06 +02002369 if (p->rt.timeout > next) {
2370 posix_cputimers_rt_watchdog(&p->posix_cputimers,
2371 p->se.sum_exec_runtime);
2372 }
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002373 }
2374}
Nicolas Pitreb18b6a92017-01-21 00:09:08 -05002375#else
2376static inline void watchdog(struct rq *rq, struct task_struct *p) { }
2377#endif
Steven Rostedtcb469842008-01-25 21:08:22 +01002378
Frederic Weisbeckerd84b3132018-02-21 05:17:27 +01002379/*
2380 * scheduler tick hitting a task of our scheduling class.
2381 *
2382 * NOTE: This function can be called remotely by the tick offload that
2383 * goes along full dynticks. Therefore no local assumption can be made
2384 * and everything must be accessed through the @rq and @curr passed in
2385 * parameters.
2386 */
Peter Zijlstra8f4d37e2008-01-25 21:08:29 +01002387static void task_tick_rt(struct rq *rq, struct task_struct *p, int queued)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002388{
Colin Cross454c7992012-05-16 21:34:23 -07002389 struct sched_rt_entity *rt_se = &p->rt;
2390
Peter Zijlstra67e2be02007-12-20 15:01:17 +01002391 update_curr_rt(rq);
Vincent Guittot23127292019-01-23 16:26:53 +01002392 update_rt_rq_load_avg(rq_clock_pelt(rq), rq, 1);
Peter Zijlstra67e2be02007-12-20 15:01:17 +01002393
Peter Zijlstra78f2c7d2008-01-25 21:08:27 +01002394 watchdog(rq, p);
2395
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002396 /*
2397 * RR tasks need a special form of timeslice management.
2398 * FIFO tasks have no timeslices.
2399 */
2400 if (p->policy != SCHED_RR)
2401 return;
2402
Peter Zijlstrafa717062008-01-25 21:08:27 +01002403 if (--p->rt.time_slice)
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002404 return;
2405
Clark Williamsce0dbbb2013-02-07 09:47:04 -06002406 p->rt.time_slice = sched_rr_timeslice;
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002407
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002408 /*
Li Bine9aa39b2013-10-21 20:15:43 +08002409 * Requeue to the end of queue if we (and all of our ancestors) are not
2410 * the only element on the queue
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002411 */
Colin Cross454c7992012-05-16 21:34:23 -07002412 for_each_sched_rt_entity(rt_se) {
2413 if (rt_se->run_list.prev != rt_se->run_list.next) {
2414 requeue_task_rt(rq, p, 0);
Kirill Tkhai8aa6f0e2014-09-22 22:36:43 +04002415 resched_curr(rq);
Colin Cross454c7992012-05-16 21:34:23 -07002416 return;
2417 }
Dmitry Adamushko98fbc792007-08-24 20:39:10 +02002418 }
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002419}
2420
H Hartley Sweeten6d686f42010-01-13 20:21:52 -07002421static unsigned int get_rr_interval_rt(struct rq *rq, struct task_struct *task)
Peter Williams0d721ce2009-09-21 01:31:53 +00002422{
2423 /*
2424 * Time slice is 0 for SCHED_FIFO tasks
2425 */
2426 if (task->policy == SCHED_RR)
Clark Williamsce0dbbb2013-02-07 09:47:04 -06002427 return sched_rr_timeslice;
Peter Williams0d721ce2009-09-21 01:31:53 +00002428 else
2429 return 0;
2430}
2431
Peter Zijlstra029632f2011-10-25 10:00:11 +02002432const struct sched_class rt_sched_class = {
Ingo Molnar5522d5d2007-10-15 17:00:12 +02002433 .next = &fair_sched_class,
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002434 .enqueue_task = enqueue_task_rt,
2435 .dequeue_task = dequeue_task_rt,
2436 .yield_task = yield_task_rt,
2437
2438 .check_preempt_curr = check_preempt_curr_rt,
2439
2440 .pick_next_task = pick_next_task_rt,
2441 .put_prev_task = put_prev_task_rt,
Peter Zijlstra03b7fad2019-05-29 20:36:41 +00002442 .set_next_task = set_next_task_rt,
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002443
Peter Williams681f3e62007-10-24 18:23:51 +02002444#ifdef CONFIG_SMP
Peter Zijlstra6e2df052019-11-08 11:11:52 +01002445 .balance = balance_rt,
Li Zefan4ce72a22008-10-22 15:25:26 +08002446 .select_task_rq = select_task_rq_rt,
Peter Zijlstra6c370672015-05-15 17:43:36 +02002447 .set_cpus_allowed = set_cpus_allowed_common,
Gregory Haskins1f11eb6a2008-06-04 15:04:05 -04002448 .rq_online = rq_online_rt,
2449 .rq_offline = rq_offline_rt,
Peter Zijlstraefbbd052009-12-16 18:04:40 +01002450 .task_woken = task_woken_rt,
Steven Rostedtcb469842008-01-25 21:08:22 +01002451 .switched_from = switched_from_rt,
Peter Williams681f3e62007-10-24 18:23:51 +02002452#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002453
2454 .task_tick = task_tick_rt,
Steven Rostedtcb469842008-01-25 21:08:22 +01002455
Peter Williams0d721ce2009-09-21 01:31:53 +00002456 .get_rr_interval = get_rr_interval_rt,
2457
Steven Rostedtcb469842008-01-25 21:08:22 +01002458 .prio_changed = prio_changed_rt,
2459 .switched_to = switched_to_rt,
Stanislaw Gruszka6e998912014-11-12 16:58:44 +01002460
2461 .update_curr = update_curr_rt,
Patrick Bellasi982d9cd2019-06-21 09:42:10 +01002462
2463#ifdef CONFIG_UCLAMP_TASK
2464 .uclamp_enabled = 1,
2465#endif
Ingo Molnarbb44e5d2007-07-09 18:51:58 +02002466};
Peter Zijlstraada18de2008-06-19 14:22:24 +02002467
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002468#ifdef CONFIG_RT_GROUP_SCHED
2469/*
2470 * Ensure that the real time constraints are schedulable.
2471 */
2472static DEFINE_MUTEX(rt_constraints_mutex);
2473
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002474static inline int tg_has_rt_tasks(struct task_group *tg)
2475{
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002476 struct task_struct *task;
2477 struct css_task_iter it;
2478 int ret = 0;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002479
2480 /*
2481 * Autogroups do not have RT tasks; see autogroup_create().
2482 */
2483 if (task_group_is_autogroup(tg))
2484 return 0;
2485
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002486 css_task_iter_start(&tg->css, 0, &it);
2487 while (!ret && (task = css_task_iter_next(&it)))
2488 ret |= rt_task(task);
2489 css_task_iter_end(&it);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002490
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002491 return ret;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002492}
2493
2494struct rt_schedulable_data {
2495 struct task_group *tg;
2496 u64 rt_period;
2497 u64 rt_runtime;
2498};
2499
2500static int tg_rt_schedulable(struct task_group *tg, void *data)
2501{
2502 struct rt_schedulable_data *d = data;
2503 struct task_group *child;
2504 unsigned long total, sum = 0;
2505 u64 period, runtime;
2506
2507 period = ktime_to_ns(tg->rt_bandwidth.rt_period);
2508 runtime = tg->rt_bandwidth.rt_runtime;
2509
2510 if (tg == d->tg) {
2511 period = d->rt_period;
2512 runtime = d->rt_runtime;
2513 }
2514
2515 /*
2516 * Cannot have more runtime than the period.
2517 */
2518 if (runtime > period && runtime != RUNTIME_INF)
2519 return -EINVAL;
2520
2521 /*
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002522 * Ensure we don't starve existing RT tasks if runtime turns zero.
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002523 */
Konstantin Khlebnikovb4fb0152020-01-25 17:50:38 +03002524 if (rt_bandwidth_enabled() && !runtime &&
2525 tg->rt_bandwidth.rt_runtime && tg_has_rt_tasks(tg))
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002526 return -EBUSY;
2527
2528 total = to_ratio(period, runtime);
2529
2530 /*
2531 * Nobody can have more than the global setting allows.
2532 */
2533 if (total > to_ratio(global_rt_period(), global_rt_runtime()))
2534 return -EINVAL;
2535
2536 /*
2537 * The sum of our children's runtime should not exceed our own.
2538 */
2539 list_for_each_entry_rcu(child, &tg->children, siblings) {
2540 period = ktime_to_ns(child->rt_bandwidth.rt_period);
2541 runtime = child->rt_bandwidth.rt_runtime;
2542
2543 if (child == d->tg) {
2544 period = d->rt_period;
2545 runtime = d->rt_runtime;
2546 }
2547
2548 sum += to_ratio(period, runtime);
2549 }
2550
2551 if (sum > total)
2552 return -EINVAL;
2553
2554 return 0;
2555}
2556
2557static int __rt_schedulable(struct task_group *tg, u64 period, u64 runtime)
2558{
2559 int ret;
2560
2561 struct rt_schedulable_data data = {
2562 .tg = tg,
2563 .rt_period = period,
2564 .rt_runtime = runtime,
2565 };
2566
2567 rcu_read_lock();
2568 ret = walk_tg_tree(tg_rt_schedulable, tg_nop, &data);
2569 rcu_read_unlock();
2570
2571 return ret;
2572}
2573
2574static int tg_set_rt_bandwidth(struct task_group *tg,
2575 u64 rt_period, u64 rt_runtime)
2576{
2577 int i, err = 0;
2578
2579 /*
2580 * Disallowing the root group RT runtime is BAD, it would disallow the
2581 * kernel creating (and or operating) RT threads.
2582 */
2583 if (tg == &root_task_group && rt_runtime == 0)
2584 return -EINVAL;
2585
2586 /* No period doesn't make any sense. */
2587 if (rt_period == 0)
2588 return -EINVAL;
2589
Huaixin Changd505b8a2020-04-25 18:52:48 +08002590 /*
2591 * Bound quota to defend quota against overflow during bandwidth shift.
2592 */
2593 if (rt_runtime != RUNTIME_INF && rt_runtime > max_rt_runtime)
2594 return -EINVAL;
2595
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002596 mutex_lock(&rt_constraints_mutex);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002597 err = __rt_schedulable(tg, rt_period, rt_runtime);
2598 if (err)
2599 goto unlock;
2600
2601 raw_spin_lock_irq(&tg->rt_bandwidth.rt_runtime_lock);
2602 tg->rt_bandwidth.rt_period = ns_to_ktime(rt_period);
2603 tg->rt_bandwidth.rt_runtime = rt_runtime;
2604
2605 for_each_possible_cpu(i) {
2606 struct rt_rq *rt_rq = tg->rt_rq[i];
2607
2608 raw_spin_lock(&rt_rq->rt_runtime_lock);
2609 rt_rq->rt_runtime = rt_runtime;
2610 raw_spin_unlock(&rt_rq->rt_runtime_lock);
2611 }
2612 raw_spin_unlock_irq(&tg->rt_bandwidth.rt_runtime_lock);
2613unlock:
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002614 mutex_unlock(&rt_constraints_mutex);
2615
2616 return err;
2617}
2618
2619int sched_group_set_rt_runtime(struct task_group *tg, long rt_runtime_us)
2620{
2621 u64 rt_runtime, rt_period;
2622
2623 rt_period = ktime_to_ns(tg->rt_bandwidth.rt_period);
2624 rt_runtime = (u64)rt_runtime_us * NSEC_PER_USEC;
2625 if (rt_runtime_us < 0)
2626 rt_runtime = RUNTIME_INF;
Konstantin Khlebnikov1a010e22019-02-27 11:10:17 +03002627 else if ((u64)rt_runtime_us > U64_MAX / NSEC_PER_USEC)
2628 return -EINVAL;
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002629
2630 return tg_set_rt_bandwidth(tg, rt_period, rt_runtime);
2631}
2632
2633long sched_group_rt_runtime(struct task_group *tg)
2634{
2635 u64 rt_runtime_us;
2636
2637 if (tg->rt_bandwidth.rt_runtime == RUNTIME_INF)
2638 return -1;
2639
2640 rt_runtime_us = tg->rt_bandwidth.rt_runtime;
2641 do_div(rt_runtime_us, NSEC_PER_USEC);
2642 return rt_runtime_us;
2643}
2644
2645int sched_group_set_rt_period(struct task_group *tg, u64 rt_period_us)
2646{
2647 u64 rt_runtime, rt_period;
2648
Konstantin Khlebnikov1a010e22019-02-27 11:10:17 +03002649 if (rt_period_us > U64_MAX / NSEC_PER_USEC)
2650 return -EINVAL;
2651
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002652 rt_period = rt_period_us * NSEC_PER_USEC;
2653 rt_runtime = tg->rt_bandwidth.rt_runtime;
2654
2655 return tg_set_rt_bandwidth(tg, rt_period, rt_runtime);
2656}
2657
2658long sched_group_rt_period(struct task_group *tg)
2659{
2660 u64 rt_period_us;
2661
2662 rt_period_us = ktime_to_ns(tg->rt_bandwidth.rt_period);
2663 do_div(rt_period_us, NSEC_PER_USEC);
2664 return rt_period_us;
2665}
2666
2667static int sched_rt_global_constraints(void)
2668{
2669 int ret = 0;
2670
2671 mutex_lock(&rt_constraints_mutex);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002672 ret = __rt_schedulable(NULL, 0, 0);
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002673 mutex_unlock(&rt_constraints_mutex);
2674
2675 return ret;
2676}
2677
2678int sched_rt_can_attach(struct task_group *tg, struct task_struct *tsk)
2679{
2680 /* Don't accept realtime tasks when there is no way for them to run */
2681 if (rt_task(tsk) && tg->rt_bandwidth.rt_runtime == 0)
2682 return 0;
2683
2684 return 1;
2685}
2686
2687#else /* !CONFIG_RT_GROUP_SCHED */
2688static int sched_rt_global_constraints(void)
2689{
2690 unsigned long flags;
2691 int i;
2692
2693 raw_spin_lock_irqsave(&def_rt_bandwidth.rt_runtime_lock, flags);
2694 for_each_possible_cpu(i) {
2695 struct rt_rq *rt_rq = &cpu_rq(i)->rt;
2696
2697 raw_spin_lock(&rt_rq->rt_runtime_lock);
2698 rt_rq->rt_runtime = global_rt_runtime();
2699 raw_spin_unlock(&rt_rq->rt_runtime_lock);
2700 }
2701 raw_spin_unlock_irqrestore(&def_rt_bandwidth.rt_runtime_lock, flags);
2702
2703 return 0;
2704}
2705#endif /* CONFIG_RT_GROUP_SCHED */
2706
2707static int sched_rt_global_validate(void)
2708{
2709 if (sysctl_sched_rt_period <= 0)
2710 return -EINVAL;
2711
2712 if ((sysctl_sched_rt_runtime != RUNTIME_INF) &&
Huaixin Changd505b8a2020-04-25 18:52:48 +08002713 ((sysctl_sched_rt_runtime > sysctl_sched_rt_period) ||
2714 ((u64)sysctl_sched_rt_runtime *
2715 NSEC_PER_USEC > max_rt_runtime)))
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002716 return -EINVAL;
2717
2718 return 0;
2719}
2720
2721static void sched_rt_do_global(void)
2722{
2723 def_rt_bandwidth.rt_runtime = global_rt_runtime();
2724 def_rt_bandwidth.rt_period = ns_to_ktime(global_rt_period());
2725}
2726
Christoph Hellwig32927392020-04-24 08:43:38 +02002727int sched_rt_handler(struct ctl_table *table, int write, void *buffer,
2728 size_t *lenp, loff_t *ppos)
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002729{
2730 int old_period, old_runtime;
2731 static DEFINE_MUTEX(mutex);
2732 int ret;
2733
2734 mutex_lock(&mutex);
2735 old_period = sysctl_sched_rt_period;
2736 old_runtime = sysctl_sched_rt_runtime;
2737
2738 ret = proc_dointvec(table, write, buffer, lenp, ppos);
2739
2740 if (!ret && write) {
2741 ret = sched_rt_global_validate();
2742 if (ret)
2743 goto undo;
2744
2745 ret = sched_dl_global_validate();
2746 if (ret)
2747 goto undo;
2748
2749 ret = sched_rt_global_constraints();
2750 if (ret)
2751 goto undo;
2752
2753 sched_rt_do_global();
2754 sched_dl_do_global();
2755 }
2756 if (0) {
2757undo:
2758 sysctl_sched_rt_period = old_period;
2759 sysctl_sched_rt_runtime = old_runtime;
2760 }
2761 mutex_unlock(&mutex);
2762
2763 return ret;
2764}
2765
Christoph Hellwig32927392020-04-24 08:43:38 +02002766int sched_rr_handler(struct ctl_table *table, int write, void *buffer,
2767 size_t *lenp, loff_t *ppos)
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002768{
2769 int ret;
2770 static DEFINE_MUTEX(mutex);
2771
2772 mutex_lock(&mutex);
2773 ret = proc_dointvec(table, write, buffer, lenp, ppos);
2774 /*
2775 * Make sure that internally we keep jiffies.
2776 * Also, writing zero resets the timeslice to default:
2777 */
2778 if (!ret && write) {
2779 sched_rr_timeslice =
2780 sysctl_sched_rr_timeslice <= 0 ? RR_TIMESLICE :
2781 msecs_to_jiffies(sysctl_sched_rr_timeslice);
2782 }
2783 mutex_unlock(&mutex);
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002784
Nicolas Pitre8887cd92017-06-21 14:22:02 -04002785 return ret;
2786}
2787
Peter Zijlstraada18de2008-06-19 14:22:24 +02002788#ifdef CONFIG_SCHED_DEBUG
Peter Zijlstra029632f2011-10-25 10:00:11 +02002789void print_rt_stats(struct seq_file *m, int cpu)
Peter Zijlstraada18de2008-06-19 14:22:24 +02002790{
Cheng Xuec514c42011-05-14 14:20:02 +08002791 rt_rq_iter_t iter;
Peter Zijlstraada18de2008-06-19 14:22:24 +02002792 struct rt_rq *rt_rq;
2793
2794 rcu_read_lock();
Cheng Xuec514c42011-05-14 14:20:02 +08002795 for_each_rt_rq(rt_rq, iter, cpu_rq(cpu))
Peter Zijlstraada18de2008-06-19 14:22:24 +02002796 print_rt_rq(m, cpu, rt_rq);
2797 rcu_read_unlock();
2798}
Dhaval Giani55e12e52008-06-24 23:39:43 +05302799#endif /* CONFIG_SCHED_DEBUG */