blob: d2c072b0ef01f5f848cf98e2a6edaa6f00215d58 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Dario Faggioliaab03e02013-11-28 11:14:43 +01002/*
3 * Deadline Scheduling Class (SCHED_DEADLINE)
4 *
5 * Earliest Deadline First (EDF) + Constant Bandwidth Server (CBS).
6 *
7 * Tasks that periodically executes their instances for less than their
8 * runtime won't miss any of their deadlines.
9 * Tasks that are not periodic or sporadic or that tries to execute more
10 * than their reserved bandwidth will be slowed down (and may potentially
11 * miss some of their deadlines), and won't affect any other task.
12 *
13 * Copyright (C) 2012 Dario Faggioli <raistlin@linux.it>,
Juri Lelli1baca4c2013-11-07 14:43:38 +010014 * Juri Lelli <juri.lelli@gmail.com>,
Dario Faggioliaab03e02013-11-28 11:14:43 +010015 * Michael Trimarchi <michael@amarulasolutions.com>,
16 * Fabio Checconi <fchecconi@gmail.com>
17 */
18#include "sched.h"
Vincent Guittot3727e0e2018-06-28 17:45:07 +020019#include "pelt.h"
Dario Faggioliaab03e02013-11-28 11:14:43 +010020
Dario Faggioli332ac172013-11-07 14:43:45 +010021struct dl_bandwidth def_dl_bandwidth;
22
Dario Faggioliaab03e02013-11-28 11:14:43 +010023static inline struct task_struct *dl_task_of(struct sched_dl_entity *dl_se)
24{
25 return container_of(dl_se, struct task_struct, dl);
26}
27
28static inline struct rq *rq_of_dl_rq(struct dl_rq *dl_rq)
29{
30 return container_of(dl_rq, struct rq, dl);
31}
32
33static inline struct dl_rq *dl_rq_of_se(struct sched_dl_entity *dl_se)
34{
35 struct task_struct *p = dl_task_of(dl_se);
36 struct rq *rq = task_rq(p);
37
38 return &rq->dl;
39}
40
41static inline int on_dl_rq(struct sched_dl_entity *dl_se)
42{
43 return !RB_EMPTY_NODE(&dl_se->rb_node);
44}
45
Juri Lelli2279f542020-11-17 07:14:32 +010046#ifdef CONFIG_RT_MUTEXES
47static inline struct sched_dl_entity *pi_of(struct sched_dl_entity *dl_se)
48{
49 return dl_se->pi_se;
50}
51
52static inline bool is_dl_boosted(struct sched_dl_entity *dl_se)
53{
54 return pi_of(dl_se) != dl_se;
55}
56#else
57static inline struct sched_dl_entity *pi_of(struct sched_dl_entity *dl_se)
58{
59 return dl_se;
60}
61
62static inline bool is_dl_boosted(struct sched_dl_entity *dl_se)
63{
64 return false;
65}
66#endif
67
Nicolas Pitre06a76fe2017-06-21 14:22:01 -040068#ifdef CONFIG_SMP
69static inline struct dl_bw *dl_bw_of(int i)
70{
71 RCU_LOCKDEP_WARN(!rcu_read_lock_sched_held(),
72 "sched RCU must be held");
73 return &cpu_rq(i)->rd->dl_bw;
74}
75
76static inline int dl_bw_cpus(int i)
77{
78 struct root_domain *rd = cpu_rq(i)->rd;
Dietmar Eggemannc81b8932020-05-20 15:42:39 +020079 int cpus;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -040080
81 RCU_LOCKDEP_WARN(!rcu_read_lock_sched_held(),
82 "sched RCU must be held");
Dietmar Eggemannc81b8932020-05-20 15:42:39 +020083
84 if (cpumask_subset(rd->span, cpu_active_mask))
85 return cpumask_weight(rd->span);
86
87 cpus = 0;
88
Nicolas Pitre06a76fe2017-06-21 14:22:01 -040089 for_each_cpu_and(i, rd->span, cpu_active_mask)
90 cpus++;
91
92 return cpus;
93}
Dietmar Eggemannfc9dc692020-05-20 15:42:40 +020094
95static inline unsigned long __dl_bw_capacity(int i)
96{
97 struct root_domain *rd = cpu_rq(i)->rd;
98 unsigned long cap = 0;
99
100 RCU_LOCKDEP_WARN(!rcu_read_lock_sched_held(),
101 "sched RCU must be held");
102
103 for_each_cpu_and(i, rd->span, cpu_active_mask)
104 cap += capacity_orig_of(i);
105
106 return cap;
107}
108
109/*
110 * XXX Fix: If 'rq->rd == def_root_domain' perform AC against capacity
111 * of the CPU the task is running on rather rd's \Sum CPU capacity.
112 */
113static inline unsigned long dl_bw_capacity(int i)
114{
115 if (!static_branch_unlikely(&sched_asym_cpucapacity) &&
116 capacity_orig_of(i) == SCHED_CAPACITY_SCALE) {
117 return dl_bw_cpus(i) << SCHED_CAPACITY_SHIFT;
118 } else {
119 return __dl_bw_capacity(i);
120 }
121}
Peng Liu26762422020-10-08 23:48:46 +0800122
123static inline bool dl_bw_visited(int cpu, u64 gen)
124{
125 struct root_domain *rd = cpu_rq(cpu)->rd;
126
127 if (rd->visit_gen == gen)
128 return true;
129
130 rd->visit_gen = gen;
131 return false;
132}
Nicolas Pitre06a76fe2017-06-21 14:22:01 -0400133#else
134static inline struct dl_bw *dl_bw_of(int i)
135{
136 return &cpu_rq(i)->dl.dl_bw;
137}
138
139static inline int dl_bw_cpus(int i)
140{
141 return 1;
142}
Dietmar Eggemannfc9dc692020-05-20 15:42:40 +0200143
144static inline unsigned long dl_bw_capacity(int i)
145{
146 return SCHED_CAPACITY_SCALE;
147}
Peng Liu26762422020-10-08 23:48:46 +0800148
149static inline bool dl_bw_visited(int cpu, u64 gen)
150{
151 return false;
152}
Nicolas Pitre06a76fe2017-06-21 14:22:01 -0400153#endif
154
Luca Abenie36d8672017-05-18 22:13:28 +0200155static inline
Juri Lelli794a56e2017-12-04 11:23:20 +0100156void __add_running_bw(u64 dl_bw, struct dl_rq *dl_rq)
Luca Abenie36d8672017-05-18 22:13:28 +0200157{
158 u64 old = dl_rq->running_bw;
159
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -0500160 lockdep_assert_rq_held(rq_of_dl_rq(dl_rq));
Luca Abenie36d8672017-05-18 22:13:28 +0200161 dl_rq->running_bw += dl_bw;
162 SCHED_WARN_ON(dl_rq->running_bw < old); /* overflow */
Luca Abeni8fd27232017-05-18 22:13:34 +0200163 SCHED_WARN_ON(dl_rq->running_bw > dl_rq->this_bw);
Juri Lellie0367b12017-12-04 11:23:19 +0100164 /* kick cpufreq (see the comment in kernel/sched/sched.h). */
Peter Zijlstra4042d0032017-12-20 15:37:26 +0100165 cpufreq_update_util(rq_of_dl_rq(dl_rq), 0);
Luca Abenie36d8672017-05-18 22:13:28 +0200166}
167
168static inline
Juri Lelli794a56e2017-12-04 11:23:20 +0100169void __sub_running_bw(u64 dl_bw, struct dl_rq *dl_rq)
Luca Abenie36d8672017-05-18 22:13:28 +0200170{
171 u64 old = dl_rq->running_bw;
172
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -0500173 lockdep_assert_rq_held(rq_of_dl_rq(dl_rq));
Luca Abenie36d8672017-05-18 22:13:28 +0200174 dl_rq->running_bw -= dl_bw;
175 SCHED_WARN_ON(dl_rq->running_bw > old); /* underflow */
176 if (dl_rq->running_bw > old)
177 dl_rq->running_bw = 0;
Juri Lellie0367b12017-12-04 11:23:19 +0100178 /* kick cpufreq (see the comment in kernel/sched/sched.h). */
Peter Zijlstra4042d0032017-12-20 15:37:26 +0100179 cpufreq_update_util(rq_of_dl_rq(dl_rq), 0);
Luca Abenie36d8672017-05-18 22:13:28 +0200180}
181
Luca Abeni8fd27232017-05-18 22:13:34 +0200182static inline
Juri Lelli794a56e2017-12-04 11:23:20 +0100183void __add_rq_bw(u64 dl_bw, struct dl_rq *dl_rq)
Luca Abeni8fd27232017-05-18 22:13:34 +0200184{
185 u64 old = dl_rq->this_bw;
186
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -0500187 lockdep_assert_rq_held(rq_of_dl_rq(dl_rq));
Luca Abeni8fd27232017-05-18 22:13:34 +0200188 dl_rq->this_bw += dl_bw;
189 SCHED_WARN_ON(dl_rq->this_bw < old); /* overflow */
190}
191
192static inline
Juri Lelli794a56e2017-12-04 11:23:20 +0100193void __sub_rq_bw(u64 dl_bw, struct dl_rq *dl_rq)
Luca Abeni8fd27232017-05-18 22:13:34 +0200194{
195 u64 old = dl_rq->this_bw;
196
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -0500197 lockdep_assert_rq_held(rq_of_dl_rq(dl_rq));
Luca Abeni8fd27232017-05-18 22:13:34 +0200198 dl_rq->this_bw -= dl_bw;
199 SCHED_WARN_ON(dl_rq->this_bw > old); /* underflow */
200 if (dl_rq->this_bw > old)
201 dl_rq->this_bw = 0;
202 SCHED_WARN_ON(dl_rq->running_bw > dl_rq->this_bw);
203}
204
Juri Lelli794a56e2017-12-04 11:23:20 +0100205static inline
206void add_rq_bw(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
207{
208 if (!dl_entity_is_special(dl_se))
209 __add_rq_bw(dl_se->dl_bw, dl_rq);
210}
211
212static inline
213void sub_rq_bw(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
214{
215 if (!dl_entity_is_special(dl_se))
216 __sub_rq_bw(dl_se->dl_bw, dl_rq);
217}
218
219static inline
220void add_running_bw(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
221{
222 if (!dl_entity_is_special(dl_se))
223 __add_running_bw(dl_se->dl_bw, dl_rq);
224}
225
226static inline
227void sub_running_bw(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
228{
229 if (!dl_entity_is_special(dl_se))
230 __sub_running_bw(dl_se->dl_bw, dl_rq);
231}
232
Yu Chenba4f7bc2020-02-28 18:03:29 +0800233static void dl_change_utilization(struct task_struct *p, u64 new_bw)
Luca Abeni209a0cb2017-05-18 22:13:29 +0200234{
Luca Abeni8fd27232017-05-18 22:13:34 +0200235 struct rq *rq;
236
Juri Lelli794a56e2017-12-04 11:23:20 +0100237 BUG_ON(p->dl.flags & SCHED_FLAG_SUGOV);
238
Luca Abeni209a0cb2017-05-18 22:13:29 +0200239 if (task_on_rq_queued(p))
240 return;
241
Luca Abeni8fd27232017-05-18 22:13:34 +0200242 rq = task_rq(p);
243 if (p->dl.dl_non_contending) {
Juri Lelli794a56e2017-12-04 11:23:20 +0100244 sub_running_bw(&p->dl, &rq->dl);
Luca Abeni8fd27232017-05-18 22:13:34 +0200245 p->dl.dl_non_contending = 0;
246 /*
247 * If the timer handler is currently running and the
Ingo Molnar3b037062021-03-18 13:38:50 +0100248 * timer cannot be canceled, inactive_task_timer()
Luca Abeni8fd27232017-05-18 22:13:34 +0200249 * will see that dl_not_contending is not set, and
250 * will not touch the rq's active utilization,
251 * so we are still safe.
252 */
253 if (hrtimer_try_to_cancel(&p->dl.inactive_timer) == 1)
254 put_task_struct(p);
255 }
Juri Lelli794a56e2017-12-04 11:23:20 +0100256 __sub_rq_bw(p->dl.dl_bw, &rq->dl);
257 __add_rq_bw(new_bw, &rq->dl);
Luca Abeni209a0cb2017-05-18 22:13:29 +0200258}
259
260/*
261 * The utilization of a task cannot be immediately removed from
262 * the rq active utilization (running_bw) when the task blocks.
263 * Instead, we have to wait for the so called "0-lag time".
264 *
265 * If a task blocks before the "0-lag time", a timer (the inactive
266 * timer) is armed, and running_bw is decreased when the timer
267 * fires.
268 *
269 * If the task wakes up again before the inactive timer fires,
Ingo Molnar3b037062021-03-18 13:38:50 +0100270 * the timer is canceled, whereas if the task wakes up after the
Luca Abeni209a0cb2017-05-18 22:13:29 +0200271 * inactive timer fired (and running_bw has been decreased) the
272 * task's utilization has to be added to running_bw again.
273 * A flag in the deadline scheduling entity (dl_non_contending)
274 * is used to avoid race conditions between the inactive timer handler
275 * and task wakeups.
276 *
277 * The following diagram shows how running_bw is updated. A task is
278 * "ACTIVE" when its utilization contributes to running_bw; an
279 * "ACTIVE contending" task is in the TASK_RUNNING state, while an
280 * "ACTIVE non contending" task is a blocked task for which the "0-lag time"
281 * has not passed yet. An "INACTIVE" task is a task for which the "0-lag"
282 * time already passed, which does not contribute to running_bw anymore.
283 * +------------------+
284 * wakeup | ACTIVE |
285 * +------------------>+ contending |
286 * | add_running_bw | |
287 * | +----+------+------+
288 * | | ^
289 * | dequeue | |
290 * +--------+-------+ | |
291 * | | t >= 0-lag | | wakeup
292 * | INACTIVE |<---------------+ |
293 * | | sub_running_bw | |
294 * +--------+-------+ | |
295 * ^ | |
296 * | t < 0-lag | |
297 * | | |
298 * | V |
299 * | +----+------+------+
300 * | sub_running_bw | ACTIVE |
301 * +-------------------+ |
302 * inactive timer | non contending |
303 * fired +------------------+
304 *
305 * The task_non_contending() function is invoked when a task
306 * blocks, and checks if the 0-lag time already passed or
307 * not (in the first case, it directly updates running_bw;
308 * in the second case, it arms the inactive timer).
309 *
310 * The task_contending() function is invoked when a task wakes
311 * up, and checks if the task is still in the "ACTIVE non contending"
312 * state or not (in the second case, it updates running_bw).
313 */
314static void task_non_contending(struct task_struct *p)
315{
316 struct sched_dl_entity *dl_se = &p->dl;
317 struct hrtimer *timer = &dl_se->inactive_timer;
318 struct dl_rq *dl_rq = dl_rq_of_se(dl_se);
319 struct rq *rq = rq_of_dl_rq(dl_rq);
320 s64 zerolag_time;
321
322 /*
323 * If this is a non-deadline task that has been boosted,
324 * do nothing
325 */
326 if (dl_se->dl_runtime == 0)
327 return;
328
Juri Lelli794a56e2017-12-04 11:23:20 +0100329 if (dl_entity_is_special(dl_se))
330 return;
331
Luca Abeni209a0cb2017-05-18 22:13:29 +0200332 WARN_ON(dl_se->dl_non_contending);
333
334 zerolag_time = dl_se->deadline -
335 div64_long((dl_se->runtime * dl_se->dl_period),
336 dl_se->dl_runtime);
337
338 /*
339 * Using relative times instead of the absolute "0-lag time"
340 * allows to simplify the code
341 */
342 zerolag_time -= rq_clock(rq);
343
344 /*
345 * If the "0-lag time" already passed, decrease the active
346 * utilization now, instead of starting a timer
347 */
luca abeni1b02cd62019-03-25 14:15:30 +0100348 if ((zerolag_time < 0) || hrtimer_active(&dl_se->inactive_timer)) {
Luca Abeni209a0cb2017-05-18 22:13:29 +0200349 if (dl_task(p))
Juri Lelli794a56e2017-12-04 11:23:20 +0100350 sub_running_bw(dl_se, dl_rq);
Peter Zijlstra2f064a52021-06-11 10:28:17 +0200351 if (!dl_task(p) || READ_ONCE(p->__state) == TASK_DEAD) {
Luca Abeni387e3132017-05-18 22:13:30 +0200352 struct dl_bw *dl_b = dl_bw_of(task_cpu(p));
353
Peter Zijlstra2f064a52021-06-11 10:28:17 +0200354 if (READ_ONCE(p->__state) == TASK_DEAD)
Juri Lelli794a56e2017-12-04 11:23:20 +0100355 sub_rq_bw(&p->dl, &rq->dl);
Luca Abeni387e3132017-05-18 22:13:30 +0200356 raw_spin_lock(&dl_b->lock);
Peter Zijlstra8c0944ce2017-09-07 12:09:30 +0200357 __dl_sub(dl_b, p->dl.dl_bw, dl_bw_cpus(task_cpu(p)));
Luca Abeni209a0cb2017-05-18 22:13:29 +0200358 __dl_clear_params(p);
Luca Abeni387e3132017-05-18 22:13:30 +0200359 raw_spin_unlock(&dl_b->lock);
360 }
Luca Abeni209a0cb2017-05-18 22:13:29 +0200361
362 return;
363 }
364
365 dl_se->dl_non_contending = 1;
366 get_task_struct(p);
Juri Lelli850377a2019-07-31 12:37:15 +0200367 hrtimer_start(timer, ns_to_ktime(zerolag_time), HRTIMER_MODE_REL_HARD);
Luca Abeni209a0cb2017-05-18 22:13:29 +0200368}
369
Luca Abeni8fd27232017-05-18 22:13:34 +0200370static void task_contending(struct sched_dl_entity *dl_se, int flags)
Luca Abeni209a0cb2017-05-18 22:13:29 +0200371{
372 struct dl_rq *dl_rq = dl_rq_of_se(dl_se);
373
374 /*
375 * If this is a non-deadline task that has been boosted,
376 * do nothing
377 */
378 if (dl_se->dl_runtime == 0)
379 return;
380
Luca Abeni8fd27232017-05-18 22:13:34 +0200381 if (flags & ENQUEUE_MIGRATED)
Juri Lelli794a56e2017-12-04 11:23:20 +0100382 add_rq_bw(dl_se, dl_rq);
Luca Abeni8fd27232017-05-18 22:13:34 +0200383
Luca Abeni209a0cb2017-05-18 22:13:29 +0200384 if (dl_se->dl_non_contending) {
385 dl_se->dl_non_contending = 0;
386 /*
387 * If the timer handler is currently running and the
Ingo Molnar3b037062021-03-18 13:38:50 +0100388 * timer cannot be canceled, inactive_task_timer()
Luca Abeni209a0cb2017-05-18 22:13:29 +0200389 * will see that dl_not_contending is not set, and
390 * will not touch the rq's active utilization,
391 * so we are still safe.
392 */
393 if (hrtimer_try_to_cancel(&dl_se->inactive_timer) == 1)
394 put_task_struct(dl_task_of(dl_se));
395 } else {
396 /*
397 * Since "dl_non_contending" is not set, the
398 * task's utilization has already been removed from
399 * active utilization (either when the task blocked,
400 * when the "inactive timer" fired).
401 * So, add it back.
402 */
Juri Lelli794a56e2017-12-04 11:23:20 +0100403 add_running_bw(dl_se, dl_rq);
Luca Abeni209a0cb2017-05-18 22:13:29 +0200404 }
405}
406
Dario Faggioliaab03e02013-11-28 11:14:43 +0100407static inline int is_leftmost(struct task_struct *p, struct dl_rq *dl_rq)
408{
409 struct sched_dl_entity *dl_se = &p->dl;
410
Davidlohr Bueso21615732017-09-08 16:14:58 -0700411 return dl_rq->root.rb_leftmost == &dl_se->rb_node;
Dario Faggioliaab03e02013-11-28 11:14:43 +0100412}
413
Yu Chenba4f7bc2020-02-28 18:03:29 +0800414static void init_dl_rq_bw_ratio(struct dl_rq *dl_rq);
415
Dario Faggioli332ac172013-11-07 14:43:45 +0100416void init_dl_bandwidth(struct dl_bandwidth *dl_b, u64 period, u64 runtime)
417{
418 raw_spin_lock_init(&dl_b->dl_runtime_lock);
419 dl_b->dl_period = period;
420 dl_b->dl_runtime = runtime;
421}
422
Dario Faggioli332ac172013-11-07 14:43:45 +0100423void init_dl_bw(struct dl_bw *dl_b)
424{
425 raw_spin_lock_init(&dl_b->lock);
426 raw_spin_lock(&def_dl_bandwidth.dl_runtime_lock);
Peter Zijlstra17248132013-12-17 12:44:49 +0100427 if (global_rt_runtime() == RUNTIME_INF)
Dario Faggioli332ac172013-11-07 14:43:45 +0100428 dl_b->bw = -1;
429 else
Peter Zijlstra17248132013-12-17 12:44:49 +0100430 dl_b->bw = to_ratio(global_rt_period(), global_rt_runtime());
Dario Faggioli332ac172013-11-07 14:43:45 +0100431 raw_spin_unlock(&def_dl_bandwidth.dl_runtime_lock);
432 dl_b->total_bw = 0;
433}
434
Abel Vesa07c54f72015-03-03 13:50:27 +0200435void init_dl_rq(struct dl_rq *dl_rq)
Dario Faggioliaab03e02013-11-28 11:14:43 +0100436{
Davidlohr Bueso21615732017-09-08 16:14:58 -0700437 dl_rq->root = RB_ROOT_CACHED;
Juri Lelli1baca4c2013-11-07 14:43:38 +0100438
439#ifdef CONFIG_SMP
440 /* zero means no -deadline tasks */
441 dl_rq->earliest_dl.curr = dl_rq->earliest_dl.next = 0;
442
443 dl_rq->dl_nr_migratory = 0;
444 dl_rq->overloaded = 0;
Davidlohr Bueso21615732017-09-08 16:14:58 -0700445 dl_rq->pushable_dl_tasks_root = RB_ROOT_CACHED;
Dario Faggioli332ac172013-11-07 14:43:45 +0100446#else
447 init_dl_bw(&dl_rq->dl_bw);
Juri Lelli1baca4c2013-11-07 14:43:38 +0100448#endif
Luca Abenie36d8672017-05-18 22:13:28 +0200449
450 dl_rq->running_bw = 0;
Luca Abeni8fd27232017-05-18 22:13:34 +0200451 dl_rq->this_bw = 0;
Luca Abeni4da3abc2017-05-18 22:13:32 +0200452 init_dl_rq_bw_ratio(dl_rq);
Dario Faggioliaab03e02013-11-28 11:14:43 +0100453}
454
Juri Lelli1baca4c2013-11-07 14:43:38 +0100455#ifdef CONFIG_SMP
456
457static inline int dl_overloaded(struct rq *rq)
458{
459 return atomic_read(&rq->rd->dlo_count);
460}
461
462static inline void dl_set_overload(struct rq *rq)
463{
464 if (!rq->online)
465 return;
466
467 cpumask_set_cpu(rq->cpu, rq->rd->dlo_mask);
468 /*
469 * Must be visible before the overload count is
470 * set (as in sched_rt.c).
471 *
472 * Matched by the barrier in pull_dl_task().
473 */
474 smp_wmb();
475 atomic_inc(&rq->rd->dlo_count);
476}
477
478static inline void dl_clear_overload(struct rq *rq)
479{
480 if (!rq->online)
481 return;
482
483 atomic_dec(&rq->rd->dlo_count);
484 cpumask_clear_cpu(rq->cpu, rq->rd->dlo_mask);
485}
486
487static void update_dl_migration(struct dl_rq *dl_rq)
488{
Kirill Tkhai995b9ea2014-02-18 02:24:13 +0400489 if (dl_rq->dl_nr_migratory && dl_rq->dl_nr_running > 1) {
Juri Lelli1baca4c2013-11-07 14:43:38 +0100490 if (!dl_rq->overloaded) {
491 dl_set_overload(rq_of_dl_rq(dl_rq));
492 dl_rq->overloaded = 1;
493 }
494 } else if (dl_rq->overloaded) {
495 dl_clear_overload(rq_of_dl_rq(dl_rq));
496 dl_rq->overloaded = 0;
497 }
498}
499
500static void inc_dl_migration(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
501{
502 struct task_struct *p = dl_task_of(dl_se);
Juri Lelli1baca4c2013-11-07 14:43:38 +0100503
Ingo Molnar4b53a342017-02-05 15:41:03 +0100504 if (p->nr_cpus_allowed > 1)
Juri Lelli1baca4c2013-11-07 14:43:38 +0100505 dl_rq->dl_nr_migratory++;
506
507 update_dl_migration(dl_rq);
508}
509
510static void dec_dl_migration(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
511{
512 struct task_struct *p = dl_task_of(dl_se);
Juri Lelli1baca4c2013-11-07 14:43:38 +0100513
Ingo Molnar4b53a342017-02-05 15:41:03 +0100514 if (p->nr_cpus_allowed > 1)
Juri Lelli1baca4c2013-11-07 14:43:38 +0100515 dl_rq->dl_nr_migratory--;
516
517 update_dl_migration(dl_rq);
518}
519
Peter Zijlstra8ecca392020-04-29 17:04:41 +0200520#define __node_2_pdl(node) \
521 rb_entry((node), struct task_struct, pushable_dl_tasks)
522
523static inline bool __pushable_less(struct rb_node *a, const struct rb_node *b)
524{
525 return dl_entity_preempt(&__node_2_pdl(a)->dl, &__node_2_pdl(b)->dl);
526}
527
Juri Lelli1baca4c2013-11-07 14:43:38 +0100528/*
529 * The list of pushable -deadline task is not a plist, like in
530 * sched_rt.c, it is an rb-tree with tasks ordered by deadline.
531 */
532static void enqueue_pushable_dl_task(struct rq *rq, struct task_struct *p)
533{
Peter Zijlstra8ecca392020-04-29 17:04:41 +0200534 struct rb_node *leftmost;
Juri Lelli1baca4c2013-11-07 14:43:38 +0100535
536 BUG_ON(!RB_EMPTY_NODE(&p->pushable_dl_tasks));
537
Peter Zijlstra8ecca392020-04-29 17:04:41 +0200538 leftmost = rb_add_cached(&p->pushable_dl_tasks,
539 &rq->dl.pushable_dl_tasks_root,
540 __pushable_less);
Davidlohr Bueso21615732017-09-08 16:14:58 -0700541 if (leftmost)
Peter Zijlstra8ecca392020-04-29 17:04:41 +0200542 rq->dl.earliest_dl.next = p->dl.deadline;
Juri Lelli1baca4c2013-11-07 14:43:38 +0100543}
544
545static void dequeue_pushable_dl_task(struct rq *rq, struct task_struct *p)
546{
547 struct dl_rq *dl_rq = &rq->dl;
Peter Zijlstra8ecca392020-04-29 17:04:41 +0200548 struct rb_root_cached *root = &dl_rq->pushable_dl_tasks_root;
549 struct rb_node *leftmost;
Juri Lelli1baca4c2013-11-07 14:43:38 +0100550
551 if (RB_EMPTY_NODE(&p->pushable_dl_tasks))
552 return;
553
Peter Zijlstra8ecca392020-04-29 17:04:41 +0200554 leftmost = rb_erase_cached(&p->pushable_dl_tasks, root);
555 if (leftmost)
556 dl_rq->earliest_dl.next = __node_2_pdl(leftmost)->dl.deadline;
Juri Lelli1baca4c2013-11-07 14:43:38 +0100557
Juri Lelli1baca4c2013-11-07 14:43:38 +0100558 RB_CLEAR_NODE(&p->pushable_dl_tasks);
559}
560
561static inline int has_pushable_dl_tasks(struct rq *rq)
562{
Davidlohr Bueso21615732017-09-08 16:14:58 -0700563 return !RB_EMPTY_ROOT(&rq->dl.pushable_dl_tasks_root.rb_root);
Juri Lelli1baca4c2013-11-07 14:43:38 +0100564}
565
566static int push_dl_task(struct rq *rq);
567
Peter Zijlstradc877342014-02-12 15:47:29 +0100568static inline bool need_pull_dl_task(struct rq *rq, struct task_struct *prev)
569{
Peter Zijlstra120455c2020-09-25 16:42:31 +0200570 return rq->online && dl_task(prev);
Peter Zijlstradc877342014-02-12 15:47:29 +0100571}
572
Peter Zijlstra9916e212015-06-11 14:46:43 +0200573static DEFINE_PER_CPU(struct callback_head, dl_push_head);
574static DEFINE_PER_CPU(struct callback_head, dl_pull_head);
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200575
576static void push_dl_tasks(struct rq *);
Peter Zijlstra9916e212015-06-11 14:46:43 +0200577static void pull_dl_task(struct rq *);
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200578
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100579static inline void deadline_queue_push_tasks(struct rq *rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100580{
Peter Zijlstrae3fca9e2015-06-11 14:46:37 +0200581 if (!has_pushable_dl_tasks(rq))
582 return;
583
Peter Zijlstra9916e212015-06-11 14:46:43 +0200584 queue_balance_callback(rq, &per_cpu(dl_push_head, rq->cpu), push_dl_tasks);
585}
586
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100587static inline void deadline_queue_pull_task(struct rq *rq)
Peter Zijlstra9916e212015-06-11 14:46:43 +0200588{
589 queue_balance_callback(rq, &per_cpu(dl_pull_head, rq->cpu), pull_dl_task);
Peter Zijlstradc877342014-02-12 15:47:29 +0100590}
591
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800592static struct rq *find_lock_later_rq(struct task_struct *task, struct rq *rq);
593
Peter Zijlstraa649f232015-06-11 14:46:49 +0200594static struct rq *dl_task_offline_migration(struct rq *rq, struct task_struct *p)
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800595{
596 struct rq *later_rq = NULL;
Juri Lelli59d06ce2019-07-19 15:59:56 +0200597 struct dl_bw *dl_b;
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800598
599 later_rq = find_lock_later_rq(p, rq);
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800600 if (!later_rq) {
601 int cpu;
602
603 /*
604 * If we cannot preempt any rq, fall back to pick any
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100605 * online CPU:
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800606 */
Sebastian Andrzej Siewior3bd37062019-04-23 16:26:36 +0200607 cpu = cpumask_any_and(cpu_active_mask, p->cpus_ptr);
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800608 if (cpu >= nr_cpu_ids) {
609 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100610 * Failed to find any suitable CPU.
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800611 * The task will never come back!
612 */
613 BUG_ON(dl_bandwidth_enabled());
614
615 /*
616 * If admission control is disabled we
617 * try a little harder to let the task
618 * run.
619 */
620 cpu = cpumask_any(cpu_active_mask);
621 }
622 later_rq = cpu_rq(cpu);
623 double_lock_balance(rq, later_rq);
624 }
625
Juri Lelli59d06ce2019-07-19 15:59:56 +0200626 if (p->dl.dl_non_contending || p->dl.dl_throttled) {
627 /*
628 * Inactive timer is armed (or callback is running, but
629 * waiting for us to release rq locks). In any case, when it
630 * will fire (or continue), it will see running_bw of this
631 * task migrated to later_rq (and correctly handle it).
632 */
633 sub_running_bw(&p->dl, &rq->dl);
634 sub_rq_bw(&p->dl, &rq->dl);
635
636 add_rq_bw(&p->dl, &later_rq->dl);
637 add_running_bw(&p->dl, &later_rq->dl);
638 } else {
639 sub_rq_bw(&p->dl, &rq->dl);
640 add_rq_bw(&p->dl, &later_rq->dl);
641 }
642
643 /*
644 * And we finally need to fixup root_domain(s) bandwidth accounting,
645 * since p is still hanging out in the old (now moved to default) root
646 * domain.
647 */
648 dl_b = &rq->rd->dl_bw;
649 raw_spin_lock(&dl_b->lock);
650 __dl_sub(dl_b, p->dl.dl_bw, cpumask_weight(rq->rd->span));
651 raw_spin_unlock(&dl_b->lock);
652
653 dl_b = &later_rq->rd->dl_bw;
654 raw_spin_lock(&dl_b->lock);
655 __dl_add(dl_b, p->dl.dl_bw, cpumask_weight(later_rq->rd->span));
656 raw_spin_unlock(&dl_b->lock);
657
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800658 set_task_cpu(p, later_rq->cpu);
Peter Zijlstraa649f232015-06-11 14:46:49 +0200659 double_unlock_balance(later_rq, rq);
660
661 return later_rq;
Wanpeng Lifa9c9d12015-03-27 07:08:35 +0800662}
663
Juri Lelli1baca4c2013-11-07 14:43:38 +0100664#else
665
666static inline
667void enqueue_pushable_dl_task(struct rq *rq, struct task_struct *p)
668{
669}
670
671static inline
672void dequeue_pushable_dl_task(struct rq *rq, struct task_struct *p)
673{
674}
675
676static inline
677void inc_dl_migration(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
678{
679}
680
681static inline
682void dec_dl_migration(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
683{
684}
685
Peter Zijlstradc877342014-02-12 15:47:29 +0100686static inline bool need_pull_dl_task(struct rq *rq, struct task_struct *prev)
687{
688 return false;
689}
690
Peter Zijlstra0ea60c22015-06-11 14:46:42 +0200691static inline void pull_dl_task(struct rq *rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100692{
Peter Zijlstradc877342014-02-12 15:47:29 +0100693}
694
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100695static inline void deadline_queue_push_tasks(struct rq *rq)
Peter Zijlstradc877342014-02-12 15:47:29 +0100696{
697}
Peter Zijlstra9916e212015-06-11 14:46:43 +0200698
Ingo Molnar02d8ec92018-03-03 16:27:54 +0100699static inline void deadline_queue_pull_task(struct rq *rq)
Juri Lelli1baca4c2013-11-07 14:43:38 +0100700{
701}
702#endif /* CONFIG_SMP */
703
Dario Faggioliaab03e02013-11-28 11:14:43 +0100704static void enqueue_task_dl(struct rq *rq, struct task_struct *p, int flags);
705static void __dequeue_task_dl(struct rq *rq, struct task_struct *p, int flags);
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100706static void check_preempt_curr_dl(struct rq *rq, struct task_struct *p, int flags);
Dario Faggioliaab03e02013-11-28 11:14:43 +0100707
708/*
709 * We are being explicitly informed that a new instance is starting,
710 * and this means that:
711 * - the absolute deadline of the entity has to be placed at
712 * current time + relative deadline;
713 * - the runtime of the entity has to be set to the maximum value.
714 *
715 * The capability of specifying such event is useful whenever a -deadline
716 * entity wants to (try to!) synchronize its behaviour with the scheduler's
717 * one, and to (try to!) reconcile itself with its own scheduling
718 * parameters.
719 */
Juri Lelli98b0a852016-08-05 16:07:55 +0100720static inline void setup_new_dl_entity(struct sched_dl_entity *dl_se)
Dario Faggioliaab03e02013-11-28 11:14:43 +0100721{
722 struct dl_rq *dl_rq = dl_rq_of_se(dl_se);
723 struct rq *rq = rq_of_dl_rq(dl_rq);
724
Juri Lelli2279f542020-11-17 07:14:32 +0100725 WARN_ON(is_dl_boosted(dl_se));
Luca Abeni72f9f3f2016-03-07 12:27:04 +0100726 WARN_ON(dl_time_before(rq_clock(rq), dl_se->deadline));
727
728 /*
729 * We are racing with the deadline timer. So, do nothing because
730 * the deadline timer handler will take care of properly recharging
731 * the runtime and postponing the deadline
732 */
733 if (dl_se->dl_throttled)
734 return;
Dario Faggioliaab03e02013-11-28 11:14:43 +0100735
736 /*
737 * We use the regular wall clock time to set deadlines in the
738 * future; in fact, we must consider execution overheads (time
739 * spent on hardirq context, etc.).
740 */
Juri Lelli98b0a852016-08-05 16:07:55 +0100741 dl_se->deadline = rq_clock(rq) + dl_se->dl_deadline;
742 dl_se->runtime = dl_se->dl_runtime;
Dario Faggioliaab03e02013-11-28 11:14:43 +0100743}
744
745/*
746 * Pure Earliest Deadline First (EDF) scheduling does not deal with the
747 * possibility of a entity lasting more than what it declared, and thus
748 * exhausting its runtime.
749 *
750 * Here we are interested in making runtime overrun possible, but we do
751 * not want a entity which is misbehaving to affect the scheduling of all
752 * other entities.
753 * Therefore, a budgeting strategy called Constant Bandwidth Server (CBS)
754 * is used, in order to confine each entity within its own bandwidth.
755 *
756 * This function deals exactly with that, and ensures that when the runtime
757 * of a entity is replenished, its deadline is also postponed. That ensures
758 * the overrunning entity can't interfere with other entity in the system and
759 * can't make them miss their deadlines. Reasons why this kind of overruns
760 * could happen are, typically, a entity voluntarily trying to overcome its
xiaofeng.yan1b09d292014-07-07 05:59:04 +0000761 * runtime, or it just underestimated it during sched_setattr().
Dario Faggioliaab03e02013-11-28 11:14:43 +0100762 */
Juri Lelli2279f542020-11-17 07:14:32 +0100763static void replenish_dl_entity(struct sched_dl_entity *dl_se)
Dario Faggioliaab03e02013-11-28 11:14:43 +0100764{
765 struct dl_rq *dl_rq = dl_rq_of_se(dl_se);
766 struct rq *rq = rq_of_dl_rq(dl_rq);
767
Juri Lelli2279f542020-11-17 07:14:32 +0100768 BUG_ON(pi_of(dl_se)->dl_runtime <= 0);
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100769
770 /*
771 * This could be the case for a !-dl task that is boosted.
772 * Just go with full inherited parameters.
773 */
774 if (dl_se->dl_deadline == 0) {
Juri Lelli2279f542020-11-17 07:14:32 +0100775 dl_se->deadline = rq_clock(rq) + pi_of(dl_se)->dl_deadline;
776 dl_se->runtime = pi_of(dl_se)->dl_runtime;
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100777 }
778
Peter Zijlstra48be3a62016-02-23 13:28:22 +0100779 if (dl_se->dl_yielded && dl_se->runtime > 0)
780 dl_se->runtime = 0;
781
Dario Faggioliaab03e02013-11-28 11:14:43 +0100782 /*
783 * We keep moving the deadline away until we get some
784 * available runtime for the entity. This ensures correct
785 * handling of situations where the runtime overrun is
786 * arbitrary large.
787 */
788 while (dl_se->runtime <= 0) {
Juri Lelli2279f542020-11-17 07:14:32 +0100789 dl_se->deadline += pi_of(dl_se)->dl_period;
790 dl_se->runtime += pi_of(dl_se)->dl_runtime;
Dario Faggioliaab03e02013-11-28 11:14:43 +0100791 }
792
793 /*
794 * At this point, the deadline really should be "in
795 * the future" with respect to rq->clock. If it's
796 * not, we are, for some reason, lagging too much!
797 * Anyway, after having warn userspace abut that,
798 * we still try to keep the things running by
799 * resetting the deadline and the budget of the
800 * entity.
801 */
802 if (dl_time_before(dl_se->deadline, rq_clock(rq))) {
Steven Rostedtc219b7d2016-02-10 12:04:22 -0500803 printk_deferred_once("sched: DL replenish lagged too much\n");
Juri Lelli2279f542020-11-17 07:14:32 +0100804 dl_se->deadline = rq_clock(rq) + pi_of(dl_se)->dl_deadline;
805 dl_se->runtime = pi_of(dl_se)->dl_runtime;
Dario Faggioliaab03e02013-11-28 11:14:43 +0100806 }
Peter Zijlstra1019a352014-11-26 08:44:03 +0800807
808 if (dl_se->dl_yielded)
809 dl_se->dl_yielded = 0;
810 if (dl_se->dl_throttled)
811 dl_se->dl_throttled = 0;
Dario Faggioliaab03e02013-11-28 11:14:43 +0100812}
813
814/*
815 * Here we check if --at time t-- an entity (which is probably being
816 * [re]activated or, in general, enqueued) can use its remaining runtime
817 * and its current deadline _without_ exceeding the bandwidth it is
818 * assigned (function returns true if it can't). We are in fact applying
819 * one of the CBS rules: when a task wakes up, if the residual runtime
820 * over residual deadline fits within the allocated bandwidth, then we
821 * can keep the current (absolute) deadline and residual budget without
822 * disrupting the schedulability of the system. Otherwise, we should
823 * refill the runtime and set the deadline a period in the future,
824 * because keeping the current (absolute) deadline of the task would
Dario Faggioli712e5e32014-01-27 12:20:15 +0100825 * result in breaking guarantees promised to other tasks (refer to
Mauro Carvalho Chehabd6a3b242019-06-12 14:53:03 -0300826 * Documentation/scheduler/sched-deadline.rst for more information).
Dario Faggioliaab03e02013-11-28 11:14:43 +0100827 *
828 * This function returns true if:
829 *
Steven Rostedt (VMware)2317d5f2017-03-02 15:10:59 +0100830 * runtime / (deadline - t) > dl_runtime / dl_deadline ,
Dario Faggioliaab03e02013-11-28 11:14:43 +0100831 *
832 * IOW we can't recycle current parameters.
Harald Gustafsson755378a2013-11-07 14:43:40 +0100833 *
Steven Rostedt (VMware)2317d5f2017-03-02 15:10:59 +0100834 * Notice that the bandwidth check is done against the deadline. For
Harald Gustafsson755378a2013-11-07 14:43:40 +0100835 * task with deadline equal to period this is the same of using
Steven Rostedt (VMware)2317d5f2017-03-02 15:10:59 +0100836 * dl_period instead of dl_deadline in the equation above.
Dario Faggioliaab03e02013-11-28 11:14:43 +0100837 */
Juri Lelli2279f542020-11-17 07:14:32 +0100838static bool dl_entity_overflow(struct sched_dl_entity *dl_se, u64 t)
Dario Faggioliaab03e02013-11-28 11:14:43 +0100839{
840 u64 left, right;
841
842 /*
843 * left and right are the two sides of the equation above,
844 * after a bit of shuffling to use multiplications instead
845 * of divisions.
846 *
847 * Note that none of the time values involved in the two
848 * multiplications are absolute: dl_deadline and dl_runtime
849 * are the relative deadline and the maximum runtime of each
850 * instance, runtime is the runtime left for the last instance
851 * and (deadline - t), since t is rq->clock, is the time left
852 * to the (absolute) deadline. Even if overflowing the u64 type
853 * is very unlikely to occur in both cases, here we scale down
854 * as we want to avoid that risk at all. Scaling down by 10
855 * means that we reduce granularity to 1us. We are fine with it,
856 * since this is only a true/false check and, anyway, thinking
857 * of anything below microseconds resolution is actually fiction
858 * (but still we want to give the user that illusion >;).
859 */
Juri Lelli2279f542020-11-17 07:14:32 +0100860 left = (pi_of(dl_se)->dl_deadline >> DL_SCALE) * (dl_se->runtime >> DL_SCALE);
Dario Faggioli332ac172013-11-07 14:43:45 +0100861 right = ((dl_se->deadline - t) >> DL_SCALE) *
Juri Lelli2279f542020-11-17 07:14:32 +0100862 (pi_of(dl_se)->dl_runtime >> DL_SCALE);
Dario Faggioliaab03e02013-11-28 11:14:43 +0100863
864 return dl_time_before(right, left);
865}
866
867/*
Daniel Bristot de Oliveira3effcb42017-05-29 16:24:03 +0200868 * Revised wakeup rule [1]: For self-suspending tasks, rather then
869 * re-initializing task's runtime and deadline, the revised wakeup
870 * rule adjusts the task's runtime to avoid the task to overrun its
871 * density.
Dario Faggioliaab03e02013-11-28 11:14:43 +0100872 *
Daniel Bristot de Oliveira3effcb42017-05-29 16:24:03 +0200873 * Reasoning: a task may overrun the density if:
874 * runtime / (deadline - t) > dl_runtime / dl_deadline
875 *
876 * Therefore, runtime can be adjusted to:
877 * runtime = (dl_runtime / dl_deadline) * (deadline - t)
878 *
879 * In such way that runtime will be equal to the maximum density
880 * the task can use without breaking any rule.
881 *
882 * [1] Luca Abeni, Giuseppe Lipari, and Juri Lelli. 2015. Constant
883 * bandwidth server revisited. SIGBED Rev. 11, 4 (January 2015), 19-24.
884 */
885static void
886update_dl_revised_wakeup(struct sched_dl_entity *dl_se, struct rq *rq)
887{
888 u64 laxity = dl_se->deadline - rq_clock(rq);
889
890 /*
891 * If the task has deadline < period, and the deadline is in the past,
892 * it should already be throttled before this check.
893 *
894 * See update_dl_entity() comments for further details.
895 */
896 WARN_ON(dl_time_before(dl_se->deadline, rq_clock(rq)));
897
898 dl_se->runtime = (dl_se->dl_density * laxity) >> BW_SHIFT;
899}
900
901/*
902 * Regarding the deadline, a task with implicit deadline has a relative
903 * deadline == relative period. A task with constrained deadline has a
904 * relative deadline <= relative period.
905 *
906 * We support constrained deadline tasks. However, there are some restrictions
907 * applied only for tasks which do not have an implicit deadline. See
908 * update_dl_entity() to know more about such restrictions.
909 *
910 * The dl_is_implicit() returns true if the task has an implicit deadline.
911 */
912static inline bool dl_is_implicit(struct sched_dl_entity *dl_se)
913{
914 return dl_se->dl_deadline == dl_se->dl_period;
915}
916
917/*
918 * When a deadline entity is placed in the runqueue, its runtime and deadline
919 * might need to be updated. This is done by a CBS wake up rule. There are two
920 * different rules: 1) the original CBS; and 2) the Revisited CBS.
921 *
922 * When the task is starting a new period, the Original CBS is used. In this
923 * case, the runtime is replenished and a new absolute deadline is set.
924 *
925 * When a task is queued before the begin of the next period, using the
926 * remaining runtime and deadline could make the entity to overflow, see
927 * dl_entity_overflow() to find more about runtime overflow. When such case
928 * is detected, the runtime and deadline need to be updated.
929 *
930 * If the task has an implicit deadline, i.e., deadline == period, the Original
931 * CBS is applied. the runtime is replenished and a new absolute deadline is
932 * set, as in the previous cases.
933 *
934 * However, the Original CBS does not work properly for tasks with
935 * deadline < period, which are said to have a constrained deadline. By
936 * applying the Original CBS, a constrained deadline task would be able to run
937 * runtime/deadline in a period. With deadline < period, the task would
938 * overrun the runtime/period allowed bandwidth, breaking the admission test.
939 *
940 * In order to prevent this misbehave, the Revisited CBS is used for
941 * constrained deadline tasks when a runtime overflow is detected. In the
942 * Revisited CBS, rather than replenishing & setting a new absolute deadline,
943 * the remaining runtime of the task is reduced to avoid runtime overflow.
944 * Please refer to the comments update_dl_revised_wakeup() function to find
945 * more about the Revised CBS rule.
Dario Faggioliaab03e02013-11-28 11:14:43 +0100946 */
Juri Lelli2279f542020-11-17 07:14:32 +0100947static void update_dl_entity(struct sched_dl_entity *dl_se)
Dario Faggioliaab03e02013-11-28 11:14:43 +0100948{
949 struct dl_rq *dl_rq = dl_rq_of_se(dl_se);
950 struct rq *rq = rq_of_dl_rq(dl_rq);
951
Dario Faggioliaab03e02013-11-28 11:14:43 +0100952 if (dl_time_before(dl_se->deadline, rq_clock(rq)) ||
Juri Lelli2279f542020-11-17 07:14:32 +0100953 dl_entity_overflow(dl_se, rq_clock(rq))) {
Daniel Bristot de Oliveira3effcb42017-05-29 16:24:03 +0200954
955 if (unlikely(!dl_is_implicit(dl_se) &&
956 !dl_time_before(dl_se->deadline, rq_clock(rq)) &&
Juri Lelli2279f542020-11-17 07:14:32 +0100957 !is_dl_boosted(dl_se))) {
Daniel Bristot de Oliveira3effcb42017-05-29 16:24:03 +0200958 update_dl_revised_wakeup(dl_se, rq);
959 return;
960 }
961
Juri Lelli2279f542020-11-17 07:14:32 +0100962 dl_se->deadline = rq_clock(rq) + pi_of(dl_se)->dl_deadline;
963 dl_se->runtime = pi_of(dl_se)->dl_runtime;
Dario Faggioliaab03e02013-11-28 11:14:43 +0100964 }
965}
966
Daniel Bristot de Oliveira5ac69d32017-03-02 15:10:57 +0100967static inline u64 dl_next_period(struct sched_dl_entity *dl_se)
968{
969 return dl_se->deadline - dl_se->dl_deadline + dl_se->dl_period;
970}
971
Dario Faggioliaab03e02013-11-28 11:14:43 +0100972/*
973 * If the entity depleted all its runtime, and if we want it to sleep
974 * while waiting for some new execution time to become available, we
Daniel Bristot de Oliveira5ac69d32017-03-02 15:10:57 +0100975 * set the bandwidth replenishment timer to the replenishment instant
Dario Faggioliaab03e02013-11-28 11:14:43 +0100976 * and try to activate it.
977 *
978 * Notice that it is important for the caller to know if the timer
979 * actually started or not (i.e., the replenishment instant is in
980 * the future or in the past).
981 */
Peter Zijlstraa649f232015-06-11 14:46:49 +0200982static int start_dl_timer(struct task_struct *p)
Dario Faggioliaab03e02013-11-28 11:14:43 +0100983{
Peter Zijlstraa649f232015-06-11 14:46:49 +0200984 struct sched_dl_entity *dl_se = &p->dl;
985 struct hrtimer *timer = &dl_se->dl_timer;
986 struct rq *rq = task_rq(p);
Dario Faggioliaab03e02013-11-28 11:14:43 +0100987 ktime_t now, act;
Dario Faggioliaab03e02013-11-28 11:14:43 +0100988 s64 delta;
989
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -0500990 lockdep_assert_rq_held(rq);
Peter Zijlstraa649f232015-06-11 14:46:49 +0200991
Dario Faggioliaab03e02013-11-28 11:14:43 +0100992 /*
993 * We want the timer to fire at the deadline, but considering
994 * that it is actually coming from rq->clock and not from
995 * hrtimer's time base reading.
996 */
Daniel Bristot de Oliveira5ac69d32017-03-02 15:10:57 +0100997 act = ns_to_ktime(dl_next_period(dl_se));
Peter Zijlstraa649f232015-06-11 14:46:49 +0200998 now = hrtimer_cb_get_time(timer);
Dario Faggioliaab03e02013-11-28 11:14:43 +0100999 delta = ktime_to_ns(now) - rq_clock(rq);
1000 act = ktime_add_ns(act, delta);
1001
1002 /*
1003 * If the expiry time already passed, e.g., because the value
1004 * chosen as the deadline is too small, don't even try to
1005 * start the timer in the past!
1006 */
1007 if (ktime_us_delta(act, now) < 0)
1008 return 0;
1009
Peter Zijlstraa649f232015-06-11 14:46:49 +02001010 /*
1011 * !enqueued will guarantee another callback; even if one is already in
1012 * progress. This ensures a balanced {get,put}_task_struct().
1013 *
1014 * The race against __run_timer() clearing the enqueued state is
1015 * harmless because we're holding task_rq()->lock, therefore the timer
1016 * expiring after we've done the check will wait on its task_rq_lock()
1017 * and observe our state.
1018 */
1019 if (!hrtimer_is_queued(timer)) {
1020 get_task_struct(p);
Sebastian Andrzej Siewiord5096aa2019-07-26 20:30:52 +02001021 hrtimer_start(timer, act, HRTIMER_MODE_ABS_HARD);
Peter Zijlstraa649f232015-06-11 14:46:49 +02001022 }
Dario Faggioliaab03e02013-11-28 11:14:43 +01001023
Thomas Gleixnercc9684d2015-04-14 21:09:06 +00001024 return 1;
Dario Faggioliaab03e02013-11-28 11:14:43 +01001025}
1026
1027/*
1028 * This is the bandwidth enforcement timer callback. If here, we know
1029 * a task is not on its dl_rq, since the fact that the timer was running
1030 * means the task is throttled and needs a runtime replenishment.
1031 *
1032 * However, what we actually do depends on the fact the task is active,
1033 * (it is on its rq) or has been removed from there by a call to
1034 * dequeue_task_dl(). In the former case we must issue the runtime
1035 * replenishment and add the task back to the dl_rq; in the latter, we just
1036 * do nothing but clearing dl_throttled, so that runtime and deadline
1037 * updating (and the queueing back to dl_rq) will be done by the
1038 * next call to enqueue_task_dl().
1039 */
1040static enum hrtimer_restart dl_task_timer(struct hrtimer *timer)
1041{
1042 struct sched_dl_entity *dl_se = container_of(timer,
1043 struct sched_dl_entity,
1044 dl_timer);
1045 struct task_struct *p = dl_task_of(dl_se);
Peter Zijlstraeb580752015-07-31 21:28:18 +02001046 struct rq_flags rf;
Kirill Tkhai0f397f22014-05-20 13:33:42 +04001047 struct rq *rq;
Dario Faggioliaab03e02013-11-28 11:14:43 +01001048
Peter Zijlstraeb580752015-07-31 21:28:18 +02001049 rq = task_rq_lock(p, &rf);
Kirill Tkhai0f397f22014-05-20 13:33:42 +04001050
Dario Faggioliaab03e02013-11-28 11:14:43 +01001051 /*
Peter Zijlstraa649f232015-06-11 14:46:49 +02001052 * The task might have changed its scheduling policy to something
Daniel Bristot de Oliveira9846d502016-11-08 11:15:23 +01001053 * different than SCHED_DEADLINE (through switched_from_dl()).
Dario Faggioliaab03e02013-11-28 11:14:43 +01001054 */
Luca Abeni209a0cb2017-05-18 22:13:29 +02001055 if (!dl_task(p))
Peter Zijlstraa649f232015-06-11 14:46:49 +02001056 goto unlock;
Peter Zijlstraa649f232015-06-11 14:46:49 +02001057
1058 /*
Peter Zijlstraa649f232015-06-11 14:46:49 +02001059 * The task might have been boosted by someone else and might be in the
1060 * boosting/deboosting path, its not throttled.
1061 */
Juri Lelli2279f542020-11-17 07:14:32 +01001062 if (is_dl_boosted(dl_se))
Peter Zijlstraa649f232015-06-11 14:46:49 +02001063 goto unlock;
1064
1065 /*
1066 * Spurious timer due to start_dl_timer() race; or we already received
1067 * a replenishment from rt_mutex_setprio().
1068 */
1069 if (!dl_se->dl_throttled)
Dario Faggioliaab03e02013-11-28 11:14:43 +01001070 goto unlock;
1071
1072 sched_clock_tick();
1073 update_rq_clock(rq);
Kirill Tkhaia79ec892015-02-16 15:38:34 +03001074
1075 /*
1076 * If the throttle happened during sched-out; like:
1077 *
1078 * schedule()
1079 * deactivate_task()
1080 * dequeue_task_dl()
1081 * update_curr_dl()
1082 * start_dl_timer()
1083 * __dequeue_task_dl()
1084 * prev->on_rq = 0;
1085 *
1086 * We can be both throttled and !queued. Replenish the counter
1087 * but do not enqueue -- wait for our wakeup to do that.
1088 */
1089 if (!task_on_rq_queued(p)) {
Juri Lelli2279f542020-11-17 07:14:32 +01001090 replenish_dl_entity(dl_se);
Kirill Tkhaia79ec892015-02-16 15:38:34 +03001091 goto unlock;
1092 }
1093
Wanpeng Li61c7aca2016-08-31 18:27:44 +08001094#ifdef CONFIG_SMP
1095 if (unlikely(!rq->online)) {
1096 /*
1097 * If the runqueue is no longer available, migrate the
1098 * task elsewhere. This necessarily changes rq.
1099 */
Peter Zijlstra9ef7e7e2021-03-03 16:45:41 +01001100 lockdep_unpin_lock(__rq_lockp(rq), rf.cookie);
Wanpeng Li61c7aca2016-08-31 18:27:44 +08001101 rq = dl_task_offline_migration(rq, p);
Peter Zijlstra9ef7e7e2021-03-03 16:45:41 +01001102 rf.cookie = lockdep_pin_lock(__rq_lockp(rq));
Wanpeng Lidcc3b5f2017-03-06 21:51:28 -08001103 update_rq_clock(rq);
Wanpeng Li61c7aca2016-08-31 18:27:44 +08001104
1105 /*
1106 * Now that the task has been migrated to the new RQ and we
1107 * have that locked, proceed as normal and enqueue the task
1108 * there.
1109 */
1110 }
1111#endif
1112
Peter Zijlstra1019a352014-11-26 08:44:03 +08001113 enqueue_task_dl(rq, p, ENQUEUE_REPLENISH);
1114 if (dl_task(rq->curr))
1115 check_preempt_curr_dl(rq, p, 0);
1116 else
1117 resched_curr(rq);
Peter Zijlstraa649f232015-06-11 14:46:49 +02001118
Juri Lelli1baca4c2013-11-07 14:43:38 +01001119#ifdef CONFIG_SMP
Peter Zijlstra1019a352014-11-26 08:44:03 +08001120 /*
Peter Zijlstraa649f232015-06-11 14:46:49 +02001121 * Queueing this task back might have overloaded rq, check if we need
1122 * to kick someone away.
Peter Zijlstra1019a352014-11-26 08:44:03 +08001123 */
Peter Zijlstra0aaafaa2015-10-23 11:50:08 +02001124 if (has_pushable_dl_tasks(rq)) {
1125 /*
1126 * Nothing relies on rq->lock after this, so its safe to drop
1127 * rq->lock.
1128 */
Matt Flemingd8ac8972016-09-21 14:38:10 +01001129 rq_unpin_lock(rq, &rf);
Peter Zijlstra1019a352014-11-26 08:44:03 +08001130 push_dl_task(rq);
Matt Flemingd8ac8972016-09-21 14:38:10 +01001131 rq_repin_lock(rq, &rf);
Peter Zijlstra0aaafaa2015-10-23 11:50:08 +02001132 }
Juri Lelli1baca4c2013-11-07 14:43:38 +01001133#endif
Peter Zijlstraa649f232015-06-11 14:46:49 +02001134
Dario Faggioliaab03e02013-11-28 11:14:43 +01001135unlock:
Peter Zijlstraeb580752015-07-31 21:28:18 +02001136 task_rq_unlock(rq, p, &rf);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001137
Peter Zijlstraa649f232015-06-11 14:46:49 +02001138 /*
1139 * This can free the task_struct, including this hrtimer, do not touch
1140 * anything related to that after this.
1141 */
1142 put_task_struct(p);
1143
Dario Faggioliaab03e02013-11-28 11:14:43 +01001144 return HRTIMER_NORESTART;
1145}
1146
1147void init_dl_task_timer(struct sched_dl_entity *dl_se)
1148{
1149 struct hrtimer *timer = &dl_se->dl_timer;
1150
Sebastian Andrzej Siewiord5096aa2019-07-26 20:30:52 +02001151 hrtimer_init(timer, CLOCK_MONOTONIC, HRTIMER_MODE_REL_HARD);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001152 timer->function = dl_task_timer;
1153}
1154
Daniel Bristot de Oliveiradf8eac82017-03-02 15:10:58 +01001155/*
1156 * During the activation, CBS checks if it can reuse the current task's
1157 * runtime and period. If the deadline of the task is in the past, CBS
1158 * cannot use the runtime, and so it replenishes the task. This rule
1159 * works fine for implicit deadline tasks (deadline == period), and the
1160 * CBS was designed for implicit deadline tasks. However, a task with
Christophe JAILLETc4969412020-06-02 21:50:02 +02001161 * constrained deadline (deadline < period) might be awakened after the
Daniel Bristot de Oliveiradf8eac82017-03-02 15:10:58 +01001162 * deadline, but before the next period. In this case, replenishing the
1163 * task would allow it to run for runtime / deadline. As in this case
1164 * deadline < period, CBS enables a task to run for more than the
1165 * runtime / period. In a very loaded system, this can cause a domino
1166 * effect, making other tasks miss their deadlines.
1167 *
1168 * To avoid this problem, in the activation of a constrained deadline
1169 * task after the deadline but before the next period, throttle the
1170 * task and set the replenishing timer to the begin of the next period,
1171 * unless it is boosted.
1172 */
1173static inline void dl_check_constrained_dl(struct sched_dl_entity *dl_se)
1174{
1175 struct task_struct *p = dl_task_of(dl_se);
1176 struct rq *rq = rq_of_dl_rq(dl_rq_of_se(dl_se));
1177
1178 if (dl_time_before(dl_se->deadline, rq_clock(rq)) &&
1179 dl_time_before(rq_clock(rq), dl_next_period(dl_se))) {
Juri Lelli2279f542020-11-17 07:14:32 +01001180 if (unlikely(is_dl_boosted(dl_se) || !start_dl_timer(p)))
Daniel Bristot de Oliveiradf8eac82017-03-02 15:10:58 +01001181 return;
1182 dl_se->dl_throttled = 1;
Xunlei Pangae83b562017-05-10 21:03:37 +08001183 if (dl_se->runtime > 0)
1184 dl_se->runtime = 0;
Daniel Bristot de Oliveiradf8eac82017-03-02 15:10:58 +01001185 }
1186}
1187
Dario Faggioliaab03e02013-11-28 11:14:43 +01001188static
Zhiqiang Zhang6fab5412015-06-15 11:15:20 +08001189int dl_runtime_exceeded(struct sched_dl_entity *dl_se)
Dario Faggioliaab03e02013-11-28 11:14:43 +01001190{
Luca Abeni269ad802014-12-17 11:50:32 +01001191 return (dl_se->runtime <= 0);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001192}
1193
Juri Lellifaa59932014-02-21 11:37:15 +01001194extern bool sched_rt_bandwidth_account(struct rt_rq *rt_rq);
1195
Dario Faggioliaab03e02013-11-28 11:14:43 +01001196/*
Luca Abenic52f14d2017-05-18 22:13:31 +02001197 * This function implements the GRUB accounting rule:
1198 * according to the GRUB reclaiming algorithm, the runtime is
Luca Abenidaec5792017-05-18 22:13:36 +02001199 * not decreased as "dq = -dt", but as
1200 * "dq = -max{u / Umax, (1 - Uinact - Uextra)} dt",
1201 * where u is the utilization of the task, Umax is the maximum reclaimable
1202 * utilization, Uinact is the (per-runqueue) inactive utilization, computed
1203 * as the difference between the "total runqueue utilization" and the
1204 * runqueue active utilization, and Uextra is the (per runqueue) extra
1205 * reclaimable utilization.
Luca Abeni9f0d1a52017-05-18 22:13:35 +02001206 * Since rq->dl.running_bw and rq->dl.this_bw contain utilizations
Luca Abenidaec5792017-05-18 22:13:36 +02001207 * multiplied by 2^BW_SHIFT, the result has to be shifted right by
1208 * BW_SHIFT.
Ingo Molnar3b037062021-03-18 13:38:50 +01001209 * Since rq->dl.bw_ratio contains 1 / Umax multiplied by 2^RATIO_SHIFT,
Luca Abenidaec5792017-05-18 22:13:36 +02001210 * dl_bw is multiped by rq->dl.bw_ratio and shifted right by RATIO_SHIFT.
1211 * Since delta is a 64 bit variable, to have an overflow its value
1212 * should be larger than 2^(64 - 20 - 8), which is more than 64 seconds.
1213 * So, overflow is not an issue here.
Luca Abenic52f14d2017-05-18 22:13:31 +02001214 */
Mathieu Malaterre3febfc8a2018-05-16 22:09:02 +02001215static u64 grub_reclaim(u64 delta, struct rq *rq, struct sched_dl_entity *dl_se)
Luca Abenic52f14d2017-05-18 22:13:31 +02001216{
Luca Abeni9f0d1a52017-05-18 22:13:35 +02001217 u64 u_inact = rq->dl.this_bw - rq->dl.running_bw; /* Utot - Uact */
1218 u64 u_act;
Luca Abenidaec5792017-05-18 22:13:36 +02001219 u64 u_act_min = (dl_se->dl_bw * rq->dl.bw_ratio) >> RATIO_SHIFT;
Luca Abenic52f14d2017-05-18 22:13:31 +02001220
Luca Abeni9f0d1a52017-05-18 22:13:35 +02001221 /*
Luca Abenidaec5792017-05-18 22:13:36 +02001222 * Instead of computing max{u * bw_ratio, (1 - u_inact - u_extra)},
1223 * we compare u_inact + rq->dl.extra_bw with
1224 * 1 - (u * rq->dl.bw_ratio >> RATIO_SHIFT), because
1225 * u_inact + rq->dl.extra_bw can be larger than
1226 * 1 * (so, 1 - u_inact - rq->dl.extra_bw would be negative
1227 * leading to wrong results)
Luca Abeni9f0d1a52017-05-18 22:13:35 +02001228 */
Luca Abenidaec5792017-05-18 22:13:36 +02001229 if (u_inact + rq->dl.extra_bw > BW_UNIT - u_act_min)
1230 u_act = u_act_min;
Luca Abeni9f0d1a52017-05-18 22:13:35 +02001231 else
Luca Abenidaec5792017-05-18 22:13:36 +02001232 u_act = BW_UNIT - u_inact - rq->dl.extra_bw;
Luca Abeni9f0d1a52017-05-18 22:13:35 +02001233
1234 return (delta * u_act) >> BW_SHIFT;
Luca Abenic52f14d2017-05-18 22:13:31 +02001235}
1236
1237/*
Dario Faggioliaab03e02013-11-28 11:14:43 +01001238 * Update the current task's runtime statistics (provided it is still
1239 * a -deadline task and has not been removed from the dl_rq).
1240 */
1241static void update_curr_dl(struct rq *rq)
1242{
1243 struct task_struct *curr = rq->curr;
1244 struct sched_dl_entity *dl_se = &curr->dl;
Juri Lelli07881162017-12-04 11:23:25 +01001245 u64 delta_exec, scaled_delta_exec;
1246 int cpu = cpu_of(rq);
Wen Yang6fe0ce12018-02-06 09:55:48 +08001247 u64 now;
Dario Faggioliaab03e02013-11-28 11:14:43 +01001248
1249 if (!dl_task(curr) || !on_dl_rq(dl_se))
1250 return;
1251
1252 /*
1253 * Consumed budget is computed considering the time as
1254 * observed by schedulable tasks (excluding time spent
1255 * in hardirq context, etc.). Deadlines are instead
1256 * computed using hard walltime. This seems to be the more
1257 * natural solution, but the full ramifications of this
1258 * approach need further study.
1259 */
Wen Yang6fe0ce12018-02-06 09:55:48 +08001260 now = rq_clock_task(rq);
1261 delta_exec = now - curr->se.exec_start;
Peter Zijlstra48be3a62016-02-23 13:28:22 +01001262 if (unlikely((s64)delta_exec <= 0)) {
1263 if (unlikely(dl_se->dl_yielded))
1264 goto throttle;
Kirill Tkhai734ff2a2014-03-04 19:25:46 +04001265 return;
Peter Zijlstra48be3a62016-02-23 13:28:22 +01001266 }
Dario Faggioliaab03e02013-11-28 11:14:43 +01001267
Yafang Shaoceeadb82021-09-05 14:35:41 +00001268 schedstat_set(curr->stats.exec_max,
1269 max(curr->stats.exec_max, delta_exec));
Dario Faggioliaab03e02013-11-28 11:14:43 +01001270
Yafang Shao95fd58e2021-09-05 14:35:46 +00001271 trace_sched_stat_runtime(curr, delta_exec, 0);
1272
Dario Faggioliaab03e02013-11-28 11:14:43 +01001273 curr->se.sum_exec_runtime += delta_exec;
1274 account_group_exec_runtime(curr, delta_exec);
1275
Wen Yang6fe0ce12018-02-06 09:55:48 +08001276 curr->se.exec_start = now;
Tejun Heod2cc5ed2017-09-25 08:12:04 -07001277 cgroup_account_cputime(curr, delta_exec);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001278
Juri Lelli794a56e2017-12-04 11:23:20 +01001279 if (dl_entity_is_special(dl_se))
1280 return;
1281
Juri Lelli07881162017-12-04 11:23:25 +01001282 /*
1283 * For tasks that participate in GRUB, we implement GRUB-PA: the
1284 * spare reclaimed bandwidth is used to clock down frequency.
1285 *
1286 * For the others, we still need to scale reservation parameters
1287 * according to current frequency and CPU maximum capacity.
1288 */
1289 if (unlikely(dl_se->flags & SCHED_FLAG_RECLAIM)) {
1290 scaled_delta_exec = grub_reclaim(delta_exec,
1291 rq,
1292 &curr->dl);
1293 } else {
1294 unsigned long scale_freq = arch_scale_freq_capacity(cpu);
Vincent Guittot8ec59c02019-06-17 17:00:17 +02001295 unsigned long scale_cpu = arch_scale_cpu_capacity(cpu);
Juri Lelli07881162017-12-04 11:23:25 +01001296
1297 scaled_delta_exec = cap_scale(delta_exec, scale_freq);
1298 scaled_delta_exec = cap_scale(scaled_delta_exec, scale_cpu);
1299 }
1300
1301 dl_se->runtime -= scaled_delta_exec;
Peter Zijlstra48be3a62016-02-23 13:28:22 +01001302
1303throttle:
1304 if (dl_runtime_exceeded(dl_se) || dl_se->dl_yielded) {
Peter Zijlstra1019a352014-11-26 08:44:03 +08001305 dl_se->dl_throttled = 1;
Juri Lelli34be3932017-12-12 12:10:24 +01001306
1307 /* If requested, inform the user about runtime overruns. */
1308 if (dl_runtime_exceeded(dl_se) &&
1309 (dl_se->flags & SCHED_FLAG_DL_OVERRUN))
1310 dl_se->dl_overrun = 1;
1311
Dario Faggioliaab03e02013-11-28 11:14:43 +01001312 __dequeue_task_dl(rq, curr, 0);
Juri Lelli2279f542020-11-17 07:14:32 +01001313 if (unlikely(is_dl_boosted(dl_se) || !start_dl_timer(curr)))
Dario Faggioliaab03e02013-11-28 11:14:43 +01001314 enqueue_task_dl(rq, curr, ENQUEUE_REPLENISH);
1315
1316 if (!is_leftmost(curr, &rq->dl))
Kirill Tkhai88751252014-06-29 00:03:57 +04001317 resched_curr(rq);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001318 }
Peter Zijlstra17248132013-12-17 12:44:49 +01001319
1320 /*
1321 * Because -- for now -- we share the rt bandwidth, we need to
1322 * account our runtime there too, otherwise actual rt tasks
1323 * would be able to exceed the shared quota.
1324 *
1325 * Account to the root rt group for now.
1326 *
1327 * The solution we're working towards is having the RT groups scheduled
1328 * using deadline servers -- however there's a few nasties to figure
1329 * out before that can happen.
1330 */
1331 if (rt_bandwidth_enabled()) {
1332 struct rt_rq *rt_rq = &rq->rt;
1333
1334 raw_spin_lock(&rt_rq->rt_runtime_lock);
Peter Zijlstra17248132013-12-17 12:44:49 +01001335 /*
1336 * We'll let actual RT tasks worry about the overflow here, we
Juri Lellifaa59932014-02-21 11:37:15 +01001337 * have our own CBS to keep us inline; only account when RT
1338 * bandwidth is relevant.
Peter Zijlstra17248132013-12-17 12:44:49 +01001339 */
Juri Lellifaa59932014-02-21 11:37:15 +01001340 if (sched_rt_bandwidth_account(rt_rq))
1341 rt_rq->rt_time += delta_exec;
Peter Zijlstra17248132013-12-17 12:44:49 +01001342 raw_spin_unlock(&rt_rq->rt_runtime_lock);
1343 }
Dario Faggioliaab03e02013-11-28 11:14:43 +01001344}
1345
Luca Abeni209a0cb2017-05-18 22:13:29 +02001346static enum hrtimer_restart inactive_task_timer(struct hrtimer *timer)
1347{
1348 struct sched_dl_entity *dl_se = container_of(timer,
1349 struct sched_dl_entity,
1350 inactive_timer);
1351 struct task_struct *p = dl_task_of(dl_se);
1352 struct rq_flags rf;
1353 struct rq *rq;
1354
1355 rq = task_rq_lock(p, &rf);
1356
Juri Lelliecda2b62018-05-30 18:08:09 +02001357 sched_clock_tick();
1358 update_rq_clock(rq);
1359
Peter Zijlstra2f064a52021-06-11 10:28:17 +02001360 if (!dl_task(p) || READ_ONCE(p->__state) == TASK_DEAD) {
Luca Abeni387e3132017-05-18 22:13:30 +02001361 struct dl_bw *dl_b = dl_bw_of(task_cpu(p));
1362
Peter Zijlstra2f064a52021-06-11 10:28:17 +02001363 if (READ_ONCE(p->__state) == TASK_DEAD && dl_se->dl_non_contending) {
Juri Lelli794a56e2017-12-04 11:23:20 +01001364 sub_running_bw(&p->dl, dl_rq_of_se(&p->dl));
1365 sub_rq_bw(&p->dl, dl_rq_of_se(&p->dl));
Luca Abeni209a0cb2017-05-18 22:13:29 +02001366 dl_se->dl_non_contending = 0;
1367 }
Luca Abeni387e3132017-05-18 22:13:30 +02001368
1369 raw_spin_lock(&dl_b->lock);
Peter Zijlstra8c0944ce2017-09-07 12:09:30 +02001370 __dl_sub(dl_b, p->dl.dl_bw, dl_bw_cpus(task_cpu(p)));
Luca Abeni387e3132017-05-18 22:13:30 +02001371 raw_spin_unlock(&dl_b->lock);
Luca Abeni209a0cb2017-05-18 22:13:29 +02001372 __dl_clear_params(p);
1373
1374 goto unlock;
1375 }
1376 if (dl_se->dl_non_contending == 0)
1377 goto unlock;
1378
Juri Lelli794a56e2017-12-04 11:23:20 +01001379 sub_running_bw(dl_se, &rq->dl);
Luca Abeni209a0cb2017-05-18 22:13:29 +02001380 dl_se->dl_non_contending = 0;
1381unlock:
1382 task_rq_unlock(rq, p, &rf);
1383 put_task_struct(p);
1384
1385 return HRTIMER_NORESTART;
1386}
1387
1388void init_dl_inactive_task_timer(struct sched_dl_entity *dl_se)
1389{
1390 struct hrtimer *timer = &dl_se->inactive_timer;
1391
Juri Lelli850377a2019-07-31 12:37:15 +02001392 hrtimer_init(timer, CLOCK_MONOTONIC, HRTIMER_MODE_REL_HARD);
Luca Abeni209a0cb2017-05-18 22:13:29 +02001393 timer->function = inactive_task_timer;
1394}
1395
Juri Lelli1baca4c2013-11-07 14:43:38 +01001396#ifdef CONFIG_SMP
1397
Juri Lelli1baca4c2013-11-07 14:43:38 +01001398static void inc_dl_deadline(struct dl_rq *dl_rq, u64 deadline)
1399{
1400 struct rq *rq = rq_of_dl_rq(dl_rq);
1401
1402 if (dl_rq->earliest_dl.curr == 0 ||
1403 dl_time_before(deadline, dl_rq->earliest_dl.curr)) {
Peter Zijlstrab13772f2020-10-14 21:39:04 +02001404 if (dl_rq->earliest_dl.curr == 0)
1405 cpupri_set(&rq->rd->cpupri, rq->cpu, CPUPRI_HIGHER);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001406 dl_rq->earliest_dl.curr = deadline;
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +02001407 cpudl_set(&rq->rd->cpudl, rq->cpu, deadline);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001408 }
1409}
1410
1411static void dec_dl_deadline(struct dl_rq *dl_rq, u64 deadline)
1412{
1413 struct rq *rq = rq_of_dl_rq(dl_rq);
1414
1415 /*
1416 * Since we may have removed our earliest (and/or next earliest)
1417 * task we must recompute them.
1418 */
1419 if (!dl_rq->dl_nr_running) {
1420 dl_rq->earliest_dl.curr = 0;
1421 dl_rq->earliest_dl.next = 0;
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +02001422 cpudl_clear(&rq->rd->cpudl, rq->cpu);
Peter Zijlstrab13772f2020-10-14 21:39:04 +02001423 cpupri_set(&rq->rd->cpupri, rq->cpu, rq->rt.highest_prio.curr);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001424 } else {
Davidlohr Bueso21615732017-09-08 16:14:58 -07001425 struct rb_node *leftmost = dl_rq->root.rb_leftmost;
Juri Lelli1baca4c2013-11-07 14:43:38 +01001426 struct sched_dl_entity *entry;
1427
1428 entry = rb_entry(leftmost, struct sched_dl_entity, rb_node);
1429 dl_rq->earliest_dl.curr = entry->deadline;
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +02001430 cpudl_set(&rq->rd->cpudl, rq->cpu, entry->deadline);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001431 }
1432}
1433
1434#else
1435
1436static inline void inc_dl_deadline(struct dl_rq *dl_rq, u64 deadline) {}
1437static inline void dec_dl_deadline(struct dl_rq *dl_rq, u64 deadline) {}
1438
1439#endif /* CONFIG_SMP */
1440
1441static inline
1442void inc_dl_tasks(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
1443{
1444 int prio = dl_task_of(dl_se)->prio;
1445 u64 deadline = dl_se->deadline;
1446
1447 WARN_ON(!dl_prio(prio));
1448 dl_rq->dl_nr_running++;
Kirill Tkhai72465442014-05-09 03:00:14 +04001449 add_nr_running(rq_of_dl_rq(dl_rq), 1);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001450
1451 inc_dl_deadline(dl_rq, deadline);
1452 inc_dl_migration(dl_se, dl_rq);
1453}
1454
1455static inline
1456void dec_dl_tasks(struct sched_dl_entity *dl_se, struct dl_rq *dl_rq)
1457{
1458 int prio = dl_task_of(dl_se)->prio;
1459
1460 WARN_ON(!dl_prio(prio));
1461 WARN_ON(!dl_rq->dl_nr_running);
1462 dl_rq->dl_nr_running--;
Kirill Tkhai72465442014-05-09 03:00:14 +04001463 sub_nr_running(rq_of_dl_rq(dl_rq), 1);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001464
1465 dec_dl_deadline(dl_rq, dl_se->deadline);
1466 dec_dl_migration(dl_se, dl_rq);
1467}
1468
Peter Zijlstra8ecca392020-04-29 17:04:41 +02001469#define __node_2_dle(node) \
1470 rb_entry((node), struct sched_dl_entity, rb_node)
1471
1472static inline bool __dl_less(struct rb_node *a, const struct rb_node *b)
1473{
1474 return dl_time_before(__node_2_dle(a)->deadline, __node_2_dle(b)->deadline);
1475}
1476
Yafang Shaob5eb4a52021-09-05 14:35:47 +00001477static inline struct sched_statistics *
1478__schedstats_from_dl_se(struct sched_dl_entity *dl_se)
1479{
1480 return &dl_task_of(dl_se)->stats;
1481}
1482
1483static inline void
1484update_stats_wait_start_dl(struct dl_rq *dl_rq, struct sched_dl_entity *dl_se)
1485{
1486 struct sched_statistics *stats;
1487
1488 if (!schedstat_enabled())
1489 return;
1490
1491 stats = __schedstats_from_dl_se(dl_se);
1492 __update_stats_wait_start(rq_of_dl_rq(dl_rq), dl_task_of(dl_se), stats);
1493}
1494
1495static inline void
1496update_stats_wait_end_dl(struct dl_rq *dl_rq, struct sched_dl_entity *dl_se)
1497{
1498 struct sched_statistics *stats;
1499
1500 if (!schedstat_enabled())
1501 return;
1502
1503 stats = __schedstats_from_dl_se(dl_se);
1504 __update_stats_wait_end(rq_of_dl_rq(dl_rq), dl_task_of(dl_se), stats);
1505}
1506
1507static inline void
1508update_stats_enqueue_sleeper_dl(struct dl_rq *dl_rq, struct sched_dl_entity *dl_se)
1509{
1510 struct sched_statistics *stats;
1511
1512 if (!schedstat_enabled())
1513 return;
1514
1515 stats = __schedstats_from_dl_se(dl_se);
1516 __update_stats_enqueue_sleeper(rq_of_dl_rq(dl_rq), dl_task_of(dl_se), stats);
1517}
1518
1519static inline void
1520update_stats_enqueue_dl(struct dl_rq *dl_rq, struct sched_dl_entity *dl_se,
1521 int flags)
1522{
1523 if (!schedstat_enabled())
1524 return;
1525
1526 if (flags & ENQUEUE_WAKEUP)
1527 update_stats_enqueue_sleeper_dl(dl_rq, dl_se);
1528}
1529
1530static inline void
1531update_stats_dequeue_dl(struct dl_rq *dl_rq, struct sched_dl_entity *dl_se,
1532 int flags)
1533{
1534 struct task_struct *p = dl_task_of(dl_se);
1535
1536 if (!schedstat_enabled())
1537 return;
1538
1539 if ((flags & DEQUEUE_SLEEP)) {
1540 unsigned int state;
1541
1542 state = READ_ONCE(p->__state);
1543 if (state & TASK_INTERRUPTIBLE)
1544 __schedstat_set(p->stats.sleep_start,
1545 rq_clock(rq_of_dl_rq(dl_rq)));
1546
1547 if (state & TASK_UNINTERRUPTIBLE)
1548 __schedstat_set(p->stats.block_start,
1549 rq_clock(rq_of_dl_rq(dl_rq)));
1550 }
1551}
1552
Dario Faggioliaab03e02013-11-28 11:14:43 +01001553static void __enqueue_dl_entity(struct sched_dl_entity *dl_se)
1554{
1555 struct dl_rq *dl_rq = dl_rq_of_se(dl_se);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001556
1557 BUG_ON(!RB_EMPTY_NODE(&dl_se->rb_node));
1558
Peter Zijlstra8ecca392020-04-29 17:04:41 +02001559 rb_add_cached(&dl_se->rb_node, &dl_rq->root, __dl_less);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001560
Juri Lelli1baca4c2013-11-07 14:43:38 +01001561 inc_dl_tasks(dl_se, dl_rq);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001562}
1563
1564static void __dequeue_dl_entity(struct sched_dl_entity *dl_se)
1565{
1566 struct dl_rq *dl_rq = dl_rq_of_se(dl_se);
1567
1568 if (RB_EMPTY_NODE(&dl_se->rb_node))
1569 return;
1570
Davidlohr Bueso21615732017-09-08 16:14:58 -07001571 rb_erase_cached(&dl_se->rb_node, &dl_rq->root);
Peter Zijlstra8ecca392020-04-29 17:04:41 +02001572
Dario Faggioliaab03e02013-11-28 11:14:43 +01001573 RB_CLEAR_NODE(&dl_se->rb_node);
1574
Juri Lelli1baca4c2013-11-07 14:43:38 +01001575 dec_dl_tasks(dl_se, dl_rq);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001576}
1577
1578static void
Juri Lelli2279f542020-11-17 07:14:32 +01001579enqueue_dl_entity(struct sched_dl_entity *dl_se, int flags)
Dario Faggioliaab03e02013-11-28 11:14:43 +01001580{
1581 BUG_ON(on_dl_rq(dl_se));
1582
Yafang Shaob5eb4a52021-09-05 14:35:47 +00001583 update_stats_enqueue_dl(dl_rq_of_se(dl_se), dl_se, flags);
1584
Dario Faggioliaab03e02013-11-28 11:14:43 +01001585 /*
1586 * If this is a wakeup or a new instance, the scheduling
1587 * parameters of the task might need updating. Otherwise,
1588 * we want a replenishment of its runtime.
1589 */
Luca Abenie36d8672017-05-18 22:13:28 +02001590 if (flags & ENQUEUE_WAKEUP) {
Luca Abeni8fd27232017-05-18 22:13:34 +02001591 task_contending(dl_se, flags);
Juri Lelli2279f542020-11-17 07:14:32 +01001592 update_dl_entity(dl_se);
Luca Abenie36d8672017-05-18 22:13:28 +02001593 } else if (flags & ENQUEUE_REPLENISH) {
Juri Lelli2279f542020-11-17 07:14:32 +01001594 replenish_dl_entity(dl_se);
Luca Abeni295d6d52017-09-07 12:09:29 +02001595 } else if ((flags & ENQUEUE_RESTORE) &&
1596 dl_time_before(dl_se->deadline,
1597 rq_clock(rq_of_dl_rq(dl_rq_of_se(dl_se))))) {
1598 setup_new_dl_entity(dl_se);
Luca Abenie36d8672017-05-18 22:13:28 +02001599 }
Dario Faggioliaab03e02013-11-28 11:14:43 +01001600
1601 __enqueue_dl_entity(dl_se);
1602}
1603
1604static void dequeue_dl_entity(struct sched_dl_entity *dl_se)
1605{
1606 __dequeue_dl_entity(dl_se);
1607}
1608
1609static void enqueue_task_dl(struct rq *rq, struct task_struct *p, int flags)
1610{
Juri Lelli2279f542020-11-17 07:14:32 +01001611 if (is_dl_boosted(&p->dl)) {
Daniel Bristot de Oliveirafeff2e62020-09-16 09:06:39 +02001612 /*
1613 * Because of delays in the detection of the overrun of a
1614 * thread's runtime, it might be the case that a thread
1615 * goes to sleep in a rt mutex with negative runtime. As
1616 * a consequence, the thread will be throttled.
1617 *
1618 * While waiting for the mutex, this thread can also be
1619 * boosted via PI, resulting in a thread that is throttled
1620 * and boosted at the same time.
1621 *
1622 * In this case, the boost overrides the throttle.
1623 */
1624 if (p->dl.dl_throttled) {
1625 /*
1626 * The replenish timer needs to be canceled. No
1627 * problem if it fires concurrently: boosted threads
1628 * are ignored in dl_task_timer().
1629 */
1630 hrtimer_try_to_cancel(&p->dl.dl_timer);
1631 p->dl.dl_throttled = 0;
1632 }
Juri Lelli64be6f12014-10-24 10:16:37 +01001633 } else if (!dl_prio(p->normal_prio)) {
1634 /*
Lucas Stach46fcc4b2020-08-31 13:07:19 +02001635 * Special case in which we have a !SCHED_DEADLINE task that is going
1636 * to be deboosted, but exceeds its runtime while doing so. No point in
1637 * replenishing it, as it's going to return back to its original
1638 * scheduling class after this. If it has been throttled, we need to
1639 * clear the flag, otherwise the task may wake up as throttled after
1640 * being boosted again with no means to replenish the runtime and clear
1641 * the throttle.
Juri Lelli64be6f12014-10-24 10:16:37 +01001642 */
Lucas Stach46fcc4b2020-08-31 13:07:19 +02001643 p->dl.dl_throttled = 0;
Juri Lelli2279f542020-11-17 07:14:32 +01001644 BUG_ON(!is_dl_boosted(&p->dl) || flags != ENQUEUE_REPLENISH);
Juri Lelli64be6f12014-10-24 10:16:37 +01001645 return;
1646 }
Dario Faggioli2d3d8912013-11-07 14:43:44 +01001647
Dario Faggioliaab03e02013-11-28 11:14:43 +01001648 /*
Daniel Bristot de Oliveiradf8eac82017-03-02 15:10:58 +01001649 * Check if a constrained deadline task was activated
1650 * after the deadline but before the next period.
1651 * If that is the case, the task will be throttled and
1652 * the replenishment timer will be set to the next period.
1653 */
Daniel Bristot de Oliveira3effcb42017-05-29 16:24:03 +02001654 if (!p->dl.dl_throttled && !dl_is_implicit(&p->dl))
Daniel Bristot de Oliveiradf8eac82017-03-02 15:10:58 +01001655 dl_check_constrained_dl(&p->dl);
1656
Luca Abeni8fd27232017-05-18 22:13:34 +02001657 if (p->on_rq == TASK_ON_RQ_MIGRATING || flags & ENQUEUE_RESTORE) {
Juri Lelli794a56e2017-12-04 11:23:20 +01001658 add_rq_bw(&p->dl, &rq->dl);
1659 add_running_bw(&p->dl, &rq->dl);
Luca Abeni8fd27232017-05-18 22:13:34 +02001660 }
Luca Abenie36d8672017-05-18 22:13:28 +02001661
Daniel Bristot de Oliveiradf8eac82017-03-02 15:10:58 +01001662 /*
Luca Abenie36d8672017-05-18 22:13:28 +02001663 * If p is throttled, we do not enqueue it. In fact, if it exhausted
Dario Faggioliaab03e02013-11-28 11:14:43 +01001664 * its budget it needs a replenishment and, since it now is on
1665 * its rq, the bandwidth timer callback (which clearly has not
1666 * run yet) will take care of this.
Luca Abenie36d8672017-05-18 22:13:28 +02001667 * However, the active utilization does not depend on the fact
1668 * that the task is on the runqueue or not (but depends on the
1669 * task's state - in GRUB parlance, "inactive" vs "active contending").
1670 * In other words, even if a task is throttled its utilization must
1671 * be counted in the active utilization; hence, we need to call
1672 * add_running_bw().
Dario Faggioliaab03e02013-11-28 11:14:43 +01001673 */
Luca Abenie36d8672017-05-18 22:13:28 +02001674 if (p->dl.dl_throttled && !(flags & ENQUEUE_REPLENISH)) {
Luca Abeni209a0cb2017-05-18 22:13:29 +02001675 if (flags & ENQUEUE_WAKEUP)
Luca Abeni8fd27232017-05-18 22:13:34 +02001676 task_contending(&p->dl, flags);
Luca Abeni209a0cb2017-05-18 22:13:29 +02001677
Dario Faggioliaab03e02013-11-28 11:14:43 +01001678 return;
Luca Abenie36d8672017-05-18 22:13:28 +02001679 }
Dario Faggioliaab03e02013-11-28 11:14:43 +01001680
Yafang Shaob5eb4a52021-09-05 14:35:47 +00001681 check_schedstat_required();
1682 update_stats_wait_start_dl(dl_rq_of_se(&p->dl), &p->dl);
1683
Juri Lelli2279f542020-11-17 07:14:32 +01001684 enqueue_dl_entity(&p->dl, flags);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001685
Ingo Molnar4b53a342017-02-05 15:41:03 +01001686 if (!task_current(rq, p) && p->nr_cpus_allowed > 1)
Juri Lelli1baca4c2013-11-07 14:43:38 +01001687 enqueue_pushable_dl_task(rq, p);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001688}
1689
1690static void __dequeue_task_dl(struct rq *rq, struct task_struct *p, int flags)
1691{
Yafang Shaob5eb4a52021-09-05 14:35:47 +00001692 update_stats_dequeue_dl(&rq->dl, &p->dl, flags);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001693 dequeue_dl_entity(&p->dl);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001694 dequeue_pushable_dl_task(rq, p);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001695}
1696
1697static void dequeue_task_dl(struct rq *rq, struct task_struct *p, int flags)
1698{
1699 update_curr_dl(rq);
1700 __dequeue_task_dl(rq, p, flags);
Luca Abenie36d8672017-05-18 22:13:28 +02001701
Luca Abeni8fd27232017-05-18 22:13:34 +02001702 if (p->on_rq == TASK_ON_RQ_MIGRATING || flags & DEQUEUE_SAVE) {
Juri Lelli794a56e2017-12-04 11:23:20 +01001703 sub_running_bw(&p->dl, &rq->dl);
1704 sub_rq_bw(&p->dl, &rq->dl);
Luca Abeni8fd27232017-05-18 22:13:34 +02001705 }
Luca Abenie36d8672017-05-18 22:13:28 +02001706
1707 /*
Luca Abeni209a0cb2017-05-18 22:13:29 +02001708 * This check allows to start the inactive timer (or to immediately
1709 * decrease the active utilization, if needed) in two cases:
Luca Abenie36d8672017-05-18 22:13:28 +02001710 * when the task blocks and when it is terminating
1711 * (p->state == TASK_DEAD). We can handle the two cases in the same
1712 * way, because from GRUB's point of view the same thing is happening
1713 * (the task moves from "active contending" to "active non contending"
1714 * or "inactive")
1715 */
1716 if (flags & DEQUEUE_SLEEP)
Luca Abeni209a0cb2017-05-18 22:13:29 +02001717 task_non_contending(p);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001718}
1719
1720/*
1721 * Yield task semantic for -deadline tasks is:
1722 *
1723 * get off from the CPU until our next instance, with
1724 * a new runtime. This is of little use now, since we
1725 * don't have a bandwidth reclaiming mechanism. Anyway,
1726 * bandwidth reclaiming is planned for the future, and
1727 * yield_task_dl will indicate that some spare budget
1728 * is available for other task instances to use it.
1729 */
1730static void yield_task_dl(struct rq *rq)
1731{
Dario Faggioliaab03e02013-11-28 11:14:43 +01001732 /*
1733 * We make the task go to sleep until its current deadline by
1734 * forcing its runtime to zero. This way, update_curr_dl() stops
1735 * it and the bandwidth timer will wake it up and will give it
Juri Lelli5bfd1262014-04-15 13:49:04 +02001736 * new scheduling parameters (thanks to dl_yielded=1).
Dario Faggioliaab03e02013-11-28 11:14:43 +01001737 */
Peter Zijlstra48be3a62016-02-23 13:28:22 +01001738 rq->curr->dl.dl_yielded = 1;
1739
Kirill Tkhai6f1607f2015-02-04 12:09:32 +03001740 update_rq_clock(rq);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001741 update_curr_dl(rq);
Wanpeng Li44fb0852015-03-10 12:20:00 +08001742 /*
1743 * Tell update_rq_clock() that we've just updated,
1744 * so we don't do microscopic update in schedule()
1745 * and double the fastpath cost.
1746 */
Davidlohr Buesoadcc8da2018-04-04 09:15:39 -07001747 rq_clock_skip_update(rq);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001748}
1749
Juri Lelli1baca4c2013-11-07 14:43:38 +01001750#ifdef CONFIG_SMP
1751
1752static int find_later_rq(struct task_struct *task);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001753
1754static int
Valentin Schneider3aef1552020-11-02 18:45:13 +00001755select_task_rq_dl(struct task_struct *p, int cpu, int flags)
Juri Lelli1baca4c2013-11-07 14:43:38 +01001756{
1757 struct task_struct *curr;
Luca Abenib4118982020-05-20 15:42:42 +02001758 bool select_rq;
Juri Lelli1baca4c2013-11-07 14:43:38 +01001759 struct rq *rq;
1760
Valentin Schneider3aef1552020-11-02 18:45:13 +00001761 if (!(flags & WF_TTWU))
Juri Lelli1baca4c2013-11-07 14:43:38 +01001762 goto out;
1763
1764 rq = cpu_rq(cpu);
1765
1766 rcu_read_lock();
Jason Low316c1608d2015-04-28 13:00:20 -07001767 curr = READ_ONCE(rq->curr); /* unlocked access */
Juri Lelli1baca4c2013-11-07 14:43:38 +01001768
1769 /*
1770 * If we are dealing with a -deadline task, we must
1771 * decide where to wake it up.
1772 * If it has a later deadline and the current task
1773 * on this rq can't move (provided the waking task
1774 * can!) we prefer to send it somewhere else. On the
1775 * other hand, if it has a shorter deadline, we
1776 * try to make it stay here, it might be important.
1777 */
Luca Abenib4118982020-05-20 15:42:42 +02001778 select_rq = unlikely(dl_task(curr)) &&
1779 (curr->nr_cpus_allowed < 2 ||
1780 !dl_entity_preempt(&p->dl, &curr->dl)) &&
1781 p->nr_cpus_allowed > 1;
1782
1783 /*
1784 * Take the capacity of the CPU into account to
1785 * ensure it fits the requirement of the task.
1786 */
1787 if (static_branch_unlikely(&sched_asym_cpucapacity))
1788 select_rq |= !dl_task_fits_capacity(p, cpu);
1789
1790 if (select_rq) {
Juri Lelli1baca4c2013-11-07 14:43:38 +01001791 int target = find_later_rq(p);
1792
Wanpeng Li9d514262015-05-13 14:01:03 +08001793 if (target != -1 &&
Luca Abeni5aa50502015-10-16 10:06:21 +02001794 (dl_time_before(p->dl.deadline,
1795 cpu_rq(target)->dl.earliest_dl.curr) ||
1796 (cpu_rq(target)->dl.dl_nr_running == 0)))
Juri Lelli1baca4c2013-11-07 14:43:38 +01001797 cpu = target;
1798 }
1799 rcu_read_unlock();
1800
1801out:
1802 return cpu;
1803}
1804
Srikar Dronamraju1327237a52018-09-21 23:18:57 +05301805static void migrate_task_rq_dl(struct task_struct *p, int new_cpu __maybe_unused)
Luca Abeni209a0cb2017-05-18 22:13:29 +02001806{
1807 struct rq *rq;
1808
Peter Zijlstra2f064a52021-06-11 10:28:17 +02001809 if (READ_ONCE(p->__state) != TASK_WAKING)
Luca Abeni209a0cb2017-05-18 22:13:29 +02001810 return;
1811
1812 rq = task_rq(p);
1813 /*
1814 * Since p->state == TASK_WAKING, set_task_cpu() has been called
1815 * from try_to_wake_up(). Hence, p->pi_lock is locked, but
1816 * rq->lock is not... So, lock it
1817 */
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -05001818 raw_spin_rq_lock(rq);
Luca Abeni8fd27232017-05-18 22:13:34 +02001819 if (p->dl.dl_non_contending) {
Dietmar Eggemannb4da13a2021-08-04 15:59:25 +02001820 update_rq_clock(rq);
Juri Lelli794a56e2017-12-04 11:23:20 +01001821 sub_running_bw(&p->dl, &rq->dl);
Luca Abeni8fd27232017-05-18 22:13:34 +02001822 p->dl.dl_non_contending = 0;
1823 /*
1824 * If the timer handler is currently running and the
Ingo Molnar3b037062021-03-18 13:38:50 +01001825 * timer cannot be canceled, inactive_task_timer()
Luca Abeni8fd27232017-05-18 22:13:34 +02001826 * will see that dl_not_contending is not set, and
1827 * will not touch the rq's active utilization,
1828 * so we are still safe.
1829 */
1830 if (hrtimer_try_to_cancel(&p->dl.inactive_timer) == 1)
1831 put_task_struct(p);
1832 }
Juri Lelli794a56e2017-12-04 11:23:20 +01001833 sub_rq_bw(&p->dl, &rq->dl);
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -05001834 raw_spin_rq_unlock(rq);
Luca Abeni209a0cb2017-05-18 22:13:29 +02001835}
1836
Juri Lelli1baca4c2013-11-07 14:43:38 +01001837static void check_preempt_equal_dl(struct rq *rq, struct task_struct *p)
1838{
1839 /*
1840 * Current can't be migrated, useless to reschedule,
1841 * let's hope p can move out.
1842 */
Ingo Molnar4b53a342017-02-05 15:41:03 +01001843 if (rq->curr->nr_cpus_allowed == 1 ||
Byungchul Park3261ed02017-05-23 11:00:57 +09001844 !cpudl_find(&rq->rd->cpudl, rq->curr, NULL))
Juri Lelli1baca4c2013-11-07 14:43:38 +01001845 return;
1846
1847 /*
1848 * p is migratable, so let's not schedule it and
1849 * see if it is pushed or pulled somewhere else.
1850 */
Ingo Molnar4b53a342017-02-05 15:41:03 +01001851 if (p->nr_cpus_allowed != 1 &&
Byungchul Park3261ed02017-05-23 11:00:57 +09001852 cpudl_find(&rq->rd->cpudl, p, NULL))
Juri Lelli1baca4c2013-11-07 14:43:38 +01001853 return;
1854
Kirill Tkhai88751252014-06-29 00:03:57 +04001855 resched_curr(rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001856}
1857
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001858static int balance_dl(struct rq *rq, struct task_struct *p, struct rq_flags *rf)
1859{
1860 if (!on_dl_rq(&p->dl) && need_pull_dl_task(rq, p)) {
1861 /*
1862 * This is OK, because current is on_cpu, which avoids it being
1863 * picked for load-balance and preemption/IRQs are still
1864 * disabled avoiding further scheduler activity on it and we've
1865 * not yet started the picking loop.
1866 */
1867 rq_unpin_lock(rq, rf);
1868 pull_dl_task(rq);
1869 rq_repin_lock(rq, rf);
1870 }
1871
1872 return sched_stop_runnable(rq) || sched_dl_runnable(rq);
1873}
Juri Lelli1baca4c2013-11-07 14:43:38 +01001874#endif /* CONFIG_SMP */
1875
Dario Faggioliaab03e02013-11-28 11:14:43 +01001876/*
1877 * Only called when both the current and waking task are -deadline
1878 * tasks.
1879 */
1880static void check_preempt_curr_dl(struct rq *rq, struct task_struct *p,
1881 int flags)
1882{
Juri Lelli1baca4c2013-11-07 14:43:38 +01001883 if (dl_entity_preempt(&p->dl, &rq->curr->dl)) {
Kirill Tkhai88751252014-06-29 00:03:57 +04001884 resched_curr(rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001885 return;
1886 }
1887
1888#ifdef CONFIG_SMP
1889 /*
1890 * In the unlikely case current and p have the same deadline
1891 * let us try to decide what's the best thing to do...
1892 */
Dario Faggioli332ac172013-11-07 14:43:45 +01001893 if ((p->dl.deadline == rq->curr->dl.deadline) &&
1894 !test_tsk_need_resched(rq->curr))
Juri Lelli1baca4c2013-11-07 14:43:38 +01001895 check_preempt_equal_dl(rq, p);
1896#endif /* CONFIG_SMP */
Dario Faggioliaab03e02013-11-28 11:14:43 +01001897}
1898
1899#ifdef CONFIG_SCHED_HRTICK
1900static void start_hrtick_dl(struct rq *rq, struct task_struct *p)
1901{
xiaofeng.yan177ef2a2014-08-26 03:15:41 +00001902 hrtick_start(rq, p->dl.runtime);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001903}
Wanpeng Li36ce9882014-11-11 09:52:26 +08001904#else /* !CONFIG_SCHED_HRTICK */
1905static void start_hrtick_dl(struct rq *rq, struct task_struct *p)
1906{
1907}
Dario Faggioliaab03e02013-11-28 11:14:43 +01001908#endif
1909
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001910static void set_next_task_dl(struct rq *rq, struct task_struct *p, bool first)
Muchun Songff1cdc92018-10-26 21:17:43 +08001911{
Yafang Shaob5eb4a52021-09-05 14:35:47 +00001912 struct sched_dl_entity *dl_se = &p->dl;
1913 struct dl_rq *dl_rq = &rq->dl;
1914
Muchun Songff1cdc92018-10-26 21:17:43 +08001915 p->se.exec_start = rq_clock_task(rq);
Yafang Shaob5eb4a52021-09-05 14:35:47 +00001916 if (on_dl_rq(&p->dl))
1917 update_stats_wait_end_dl(dl_rq, dl_se);
Muchun Songff1cdc92018-10-26 21:17:43 +08001918
1919 /* You can't push away the running task */
1920 dequeue_pushable_dl_task(rq, p);
Peter Zijlstraf95d4ea2019-05-29 20:36:40 +00001921
Peter Zijlstraa0e813f2019-11-08 14:16:00 +01001922 if (!first)
1923 return;
1924
Juri Lellie0ee4632021-02-08 08:35:54 +01001925 if (hrtick_enabled_dl(rq))
Peter Zijlstraf95d4ea2019-05-29 20:36:40 +00001926 start_hrtick_dl(rq, p);
1927
1928 if (rq->curr->sched_class != &dl_sched_class)
1929 update_dl_rq_load_avg(rq_clock_pelt(rq), rq, 0);
1930
1931 deadline_queue_push_tasks(rq);
Muchun Songff1cdc92018-10-26 21:17:43 +08001932}
1933
Dario Faggioliaab03e02013-11-28 11:14:43 +01001934static struct sched_dl_entity *pick_next_dl_entity(struct rq *rq,
1935 struct dl_rq *dl_rq)
1936{
Davidlohr Bueso21615732017-09-08 16:14:58 -07001937 struct rb_node *left = rb_first_cached(&dl_rq->root);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001938
1939 if (!left)
1940 return NULL;
1941
1942 return rb_entry(left, struct sched_dl_entity, rb_node);
1943}
1944
Peter Zijlstra21f56ffe2020-11-17 18:19:32 -05001945static struct task_struct *pick_task_dl(struct rq *rq)
Dario Faggioliaab03e02013-11-28 11:14:43 +01001946{
1947 struct sched_dl_entity *dl_se;
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001948 struct dl_rq *dl_rq = &rq->dl;
Dario Faggioliaab03e02013-11-28 11:14:43 +01001949 struct task_struct *p;
Dario Faggioliaab03e02013-11-28 11:14:43 +01001950
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001951 if (!sched_dl_runnable(rq))
Dario Faggioliaab03e02013-11-28 11:14:43 +01001952 return NULL;
1953
1954 dl_se = pick_next_dl_entity(rq, dl_rq);
1955 BUG_ON(!dl_se);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001956 p = dl_task_of(dl_se);
Peter Zijlstra21f56ffe2020-11-17 18:19:32 -05001957
1958 return p;
1959}
1960
1961static struct task_struct *pick_next_task_dl(struct rq *rq)
1962{
1963 struct task_struct *p;
1964
1965 p = pick_task_dl(rq);
1966 if (p)
1967 set_next_task_dl(rq, p, true);
1968
Dario Faggioliaab03e02013-11-28 11:14:43 +01001969 return p;
1970}
1971
Peter Zijlstra6e2df052019-11-08 11:11:52 +01001972static void put_prev_task_dl(struct rq *rq, struct task_struct *p)
Dario Faggioliaab03e02013-11-28 11:14:43 +01001973{
Yafang Shaob5eb4a52021-09-05 14:35:47 +00001974 struct sched_dl_entity *dl_se = &p->dl;
1975 struct dl_rq *dl_rq = &rq->dl;
1976
1977 if (on_dl_rq(&p->dl))
1978 update_stats_wait_start_dl(dl_rq, dl_se);
1979
Dario Faggioliaab03e02013-11-28 11:14:43 +01001980 update_curr_dl(rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01001981
Vincent Guittot23127292019-01-23 16:26:53 +01001982 update_dl_rq_load_avg(rq_clock_pelt(rq), rq, 1);
Ingo Molnar4b53a342017-02-05 15:41:03 +01001983 if (on_dl_rq(&p->dl) && p->nr_cpus_allowed > 1)
Juri Lelli1baca4c2013-11-07 14:43:38 +01001984 enqueue_pushable_dl_task(rq, p);
Dario Faggioliaab03e02013-11-28 11:14:43 +01001985}
1986
Frederic Weisbeckerd84b3132018-02-21 05:17:27 +01001987/*
1988 * scheduler tick hitting a task of our scheduling class.
1989 *
1990 * NOTE: This function can be called remotely by the tick offload that
1991 * goes along full dynticks. Therefore no local assumption can be made
1992 * and everything must be accessed through the @rq and @curr passed in
1993 * parameters.
1994 */
Dario Faggioliaab03e02013-11-28 11:14:43 +01001995static void task_tick_dl(struct rq *rq, struct task_struct *p, int queued)
1996{
1997 update_curr_dl(rq);
1998
Vincent Guittot23127292019-01-23 16:26:53 +01001999 update_dl_rq_load_avg(rq_clock_pelt(rq), rq, 1);
Wanpeng Lia7bebf42014-11-26 08:44:01 +08002000 /*
2001 * Even when we have runtime, update_curr_dl() might have resulted in us
2002 * not being the leftmost task anymore. In that case NEED_RESCHED will
2003 * be set and schedule() will start a new hrtick for the next task.
2004 */
Juri Lellie0ee4632021-02-08 08:35:54 +01002005 if (hrtick_enabled_dl(rq) && queued && p->dl.runtime > 0 &&
Wanpeng Lia7bebf42014-11-26 08:44:01 +08002006 is_leftmost(p, &rq->dl))
Dario Faggioliaab03e02013-11-28 11:14:43 +01002007 start_hrtick_dl(rq, p);
Dario Faggioliaab03e02013-11-28 11:14:43 +01002008}
2009
2010static void task_fork_dl(struct task_struct *p)
2011{
2012 /*
2013 * SCHED_DEADLINE tasks cannot fork and this is achieved through
2014 * sched_fork()
2015 */
2016}
2017
Juri Lelli1baca4c2013-11-07 14:43:38 +01002018#ifdef CONFIG_SMP
2019
2020/* Only try algorithms three times */
2021#define DL_MAX_TRIES 3
2022
2023static int pick_dl_task(struct rq *rq, struct task_struct *p, int cpu)
2024{
2025 if (!task_running(rq, p) &&
Peter Zijlstra95158a82020-10-01 16:05:39 +02002026 cpumask_test_cpu(cpu, &p->cpus_mask))
Juri Lelli1baca4c2013-11-07 14:43:38 +01002027 return 1;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002028 return 0;
2029}
2030
Wanpeng Li8b5e7702015-05-13 14:01:01 +08002031/*
2032 * Return the earliest pushable rq's task, which is suitable to be executed
2033 * on the CPU, NULL otherwise:
2034 */
2035static struct task_struct *pick_earliest_pushable_dl_task(struct rq *rq, int cpu)
2036{
Davidlohr Bueso21615732017-09-08 16:14:58 -07002037 struct rb_node *next_node = rq->dl.pushable_dl_tasks_root.rb_leftmost;
Wanpeng Li8b5e7702015-05-13 14:01:01 +08002038 struct task_struct *p = NULL;
2039
2040 if (!has_pushable_dl_tasks(rq))
2041 return NULL;
2042
2043next_node:
2044 if (next_node) {
2045 p = rb_entry(next_node, struct task_struct, pushable_dl_tasks);
2046
2047 if (pick_dl_task(rq, p, cpu))
2048 return p;
2049
2050 next_node = rb_next(next_node);
2051 goto next_node;
2052 }
2053
2054 return NULL;
2055}
2056
Juri Lelli1baca4c2013-11-07 14:43:38 +01002057static DEFINE_PER_CPU(cpumask_var_t, local_cpu_mask_dl);
2058
2059static int find_later_rq(struct task_struct *task)
2060{
2061 struct sched_domain *sd;
Christoph Lameter4ba29682014-08-26 19:12:21 -05002062 struct cpumask *later_mask = this_cpu_cpumask_var_ptr(local_cpu_mask_dl);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002063 int this_cpu = smp_processor_id();
Byungchul Parkb18c3ca2017-05-23 11:00:56 +09002064 int cpu = task_cpu(task);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002065
2066 /* Make sure the mask is initialized first */
2067 if (unlikely(!later_mask))
2068 return -1;
2069
Ingo Molnar4b53a342017-02-05 15:41:03 +01002070 if (task->nr_cpus_allowed == 1)
Juri Lelli1baca4c2013-11-07 14:43:38 +01002071 return -1;
2072
Juri Lelli91ec6772014-09-19 10:22:41 +01002073 /*
2074 * We have to consider system topology and task affinity
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002075 * first, then we can look for a suitable CPU.
Juri Lelli91ec6772014-09-19 10:22:41 +01002076 */
Byungchul Park3261ed02017-05-23 11:00:57 +09002077 if (!cpudl_find(&task_rq(task)->rd->cpudl, task, later_mask))
Juri Lelli1baca4c2013-11-07 14:43:38 +01002078 return -1;
2079
2080 /*
Byungchul Parkb18c3ca2017-05-23 11:00:56 +09002081 * If we are here, some targets have been found, including
2082 * the most suitable which is, among the runqueues where the
2083 * current tasks have later deadlines than the task's one, the
2084 * rq with the latest possible one.
Juri Lelli1baca4c2013-11-07 14:43:38 +01002085 *
2086 * Now we check how well this matches with task's
2087 * affinity and system topology.
2088 *
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002089 * The last CPU where the task run is our first
Juri Lelli1baca4c2013-11-07 14:43:38 +01002090 * guess, since it is most likely cache-hot there.
2091 */
2092 if (cpumask_test_cpu(cpu, later_mask))
2093 return cpu;
2094 /*
2095 * Check if this_cpu is to be skipped (i.e., it is
2096 * not in the mask) or not.
2097 */
2098 if (!cpumask_test_cpu(this_cpu, later_mask))
2099 this_cpu = -1;
2100
2101 rcu_read_lock();
2102 for_each_domain(cpu, sd) {
2103 if (sd->flags & SD_WAKE_AFFINE) {
Byungchul Parkb18c3ca2017-05-23 11:00:56 +09002104 int best_cpu;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002105
2106 /*
2107 * If possible, preempting this_cpu is
2108 * cheaper than migrating.
2109 */
2110 if (this_cpu != -1 &&
2111 cpumask_test_cpu(this_cpu, sched_domain_span(sd))) {
2112 rcu_read_unlock();
2113 return this_cpu;
2114 }
2115
Peter Zijlstra14e292f82020-10-01 15:54:14 +02002116 best_cpu = cpumask_any_and_distribute(later_mask,
2117 sched_domain_span(sd));
Juri Lelli1baca4c2013-11-07 14:43:38 +01002118 /*
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002119 * Last chance: if a CPU being in both later_mask
Byungchul Parkb18c3ca2017-05-23 11:00:56 +09002120 * and current sd span is valid, that becomes our
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002121 * choice. Of course, the latest possible CPU is
Byungchul Parkb18c3ca2017-05-23 11:00:56 +09002122 * already under consideration through later_mask.
Juri Lelli1baca4c2013-11-07 14:43:38 +01002123 */
Byungchul Parkb18c3ca2017-05-23 11:00:56 +09002124 if (best_cpu < nr_cpu_ids) {
Juri Lelli1baca4c2013-11-07 14:43:38 +01002125 rcu_read_unlock();
2126 return best_cpu;
2127 }
2128 }
2129 }
2130 rcu_read_unlock();
2131
2132 /*
2133 * At this point, all our guesses failed, we just return
2134 * 'something', and let the caller sort the things out.
2135 */
2136 if (this_cpu != -1)
2137 return this_cpu;
2138
Peter Zijlstra14e292f82020-10-01 15:54:14 +02002139 cpu = cpumask_any_distribute(later_mask);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002140 if (cpu < nr_cpu_ids)
2141 return cpu;
2142
2143 return -1;
2144}
2145
2146/* Locks the rq it finds */
2147static struct rq *find_lock_later_rq(struct task_struct *task, struct rq *rq)
2148{
2149 struct rq *later_rq = NULL;
2150 int tries;
2151 int cpu;
2152
2153 for (tries = 0; tries < DL_MAX_TRIES; tries++) {
2154 cpu = find_later_rq(task);
2155
2156 if ((cpu == -1) || (cpu == rq->cpu))
2157 break;
2158
2159 later_rq = cpu_rq(cpu);
2160
Luca Abeni5aa50502015-10-16 10:06:21 +02002161 if (later_rq->dl.dl_nr_running &&
2162 !dl_time_before(task->dl.deadline,
Wanpeng Li9d514262015-05-13 14:01:03 +08002163 later_rq->dl.earliest_dl.curr)) {
2164 /*
2165 * Target rq has tasks of equal or earlier deadline,
2166 * retrying does not release any lock and is unlikely
2167 * to yield a different result.
2168 */
2169 later_rq = NULL;
2170 break;
2171 }
2172
Juri Lelli1baca4c2013-11-07 14:43:38 +01002173 /* Retry if something changed. */
2174 if (double_lock_balance(rq, later_rq)) {
2175 if (unlikely(task_rq(task) != rq ||
Peter Zijlstra95158a82020-10-01 16:05:39 +02002176 !cpumask_test_cpu(later_rq->cpu, &task->cpus_mask) ||
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002177 task_running(rq, task) ||
Xunlei Pang13b5ab02016-05-09 12:11:31 +08002178 !dl_task(task) ||
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002179 !task_on_rq_queued(task))) {
Juri Lelli1baca4c2013-11-07 14:43:38 +01002180 double_unlock_balance(rq, later_rq);
2181 later_rq = NULL;
2182 break;
2183 }
2184 }
2185
2186 /*
2187 * If the rq we found has no -deadline task, or
2188 * its earliest one has a later deadline than our
2189 * task, the rq is a good one.
2190 */
2191 if (!later_rq->dl.dl_nr_running ||
2192 dl_time_before(task->dl.deadline,
2193 later_rq->dl.earliest_dl.curr))
2194 break;
2195
2196 /* Otherwise we try again. */
2197 double_unlock_balance(rq, later_rq);
2198 later_rq = NULL;
2199 }
2200
2201 return later_rq;
2202}
2203
2204static struct task_struct *pick_next_pushable_dl_task(struct rq *rq)
2205{
2206 struct task_struct *p;
2207
2208 if (!has_pushable_dl_tasks(rq))
2209 return NULL;
2210
Davidlohr Bueso21615732017-09-08 16:14:58 -07002211 p = rb_entry(rq->dl.pushable_dl_tasks_root.rb_leftmost,
Juri Lelli1baca4c2013-11-07 14:43:38 +01002212 struct task_struct, pushable_dl_tasks);
2213
2214 BUG_ON(rq->cpu != task_cpu(p));
2215 BUG_ON(task_current(rq, p));
Ingo Molnar4b53a342017-02-05 15:41:03 +01002216 BUG_ON(p->nr_cpus_allowed <= 1);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002217
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002218 BUG_ON(!task_on_rq_queued(p));
Juri Lelli1baca4c2013-11-07 14:43:38 +01002219 BUG_ON(!dl_task(p));
2220
2221 return p;
2222}
2223
2224/*
2225 * See if the non running -deadline tasks on this rq
2226 * can be sent to some other CPU where they can preempt
2227 * and start executing.
2228 */
2229static int push_dl_task(struct rq *rq)
2230{
2231 struct task_struct *next_task;
2232 struct rq *later_rq;
Wanpeng Lic51b8ab2014-11-06 15:22:44 +08002233 int ret = 0;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002234
2235 if (!rq->dl.overloaded)
2236 return 0;
2237
2238 next_task = pick_next_pushable_dl_task(rq);
2239 if (!next_task)
2240 return 0;
2241
2242retry:
Peter Zijlstraa7c81552020-09-28 17:06:07 +02002243 if (is_migration_disabled(next_task))
2244 return 0;
2245
Yangtao Li9ebc6052018-11-03 13:26:02 -04002246 if (WARN_ON(next_task == rq->curr))
Juri Lelli1baca4c2013-11-07 14:43:38 +01002247 return 0;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002248
2249 /*
2250 * If next_task preempts rq->curr, and rq->curr
2251 * can move away, it makes sense to just reschedule
2252 * without going further in pushing next_task.
2253 */
2254 if (dl_task(rq->curr) &&
2255 dl_time_before(next_task->dl.deadline, rq->curr->dl.deadline) &&
Ingo Molnar4b53a342017-02-05 15:41:03 +01002256 rq->curr->nr_cpus_allowed > 1) {
Kirill Tkhai88751252014-06-29 00:03:57 +04002257 resched_curr(rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002258 return 0;
2259 }
2260
2261 /* We might release rq lock */
2262 get_task_struct(next_task);
2263
2264 /* Will lock the rq it'll find */
2265 later_rq = find_lock_later_rq(next_task, rq);
2266 if (!later_rq) {
2267 struct task_struct *task;
2268
2269 /*
2270 * We must check all this again, since
2271 * find_lock_later_rq releases rq->lock and it is
2272 * then possible that next_task has migrated.
2273 */
2274 task = pick_next_pushable_dl_task(rq);
Byungchul Parka776b962017-05-12 10:05:59 +09002275 if (task == next_task) {
Juri Lelli1baca4c2013-11-07 14:43:38 +01002276 /*
2277 * The task is still there. We don't try
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002278 * again, some other CPU will pull it when ready.
Juri Lelli1baca4c2013-11-07 14:43:38 +01002279 */
Juri Lelli1baca4c2013-11-07 14:43:38 +01002280 goto out;
2281 }
2282
2283 if (!task)
2284 /* No more tasks */
2285 goto out;
2286
2287 put_task_struct(next_task);
2288 next_task = task;
2289 goto retry;
2290 }
2291
2292 deactivate_task(rq, next_task, 0);
2293 set_task_cpu(next_task, later_rq->cpu);
Daniel Bristot de Oliveira840d7192018-07-20 11:16:30 +02002294
2295 /*
2296 * Update the later_rq clock here, because the clock is used
2297 * by the cpufreq_update_util() inside __add_running_bw().
2298 */
2299 update_rq_clock(later_rq);
Daniel Bristot de Oliveira840d7192018-07-20 11:16:30 +02002300 activate_task(later_rq, next_task, ENQUEUE_NOCLOCK);
Wanpeng Lic51b8ab2014-11-06 15:22:44 +08002301 ret = 1;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002302
Kirill Tkhai88751252014-06-29 00:03:57 +04002303 resched_curr(later_rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002304
2305 double_unlock_balance(rq, later_rq);
2306
2307out:
2308 put_task_struct(next_task);
2309
Wanpeng Lic51b8ab2014-11-06 15:22:44 +08002310 return ret;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002311}
2312
2313static void push_dl_tasks(struct rq *rq)
2314{
Andrea Parri4ffa08e2015-08-05 15:56:18 +02002315 /* push_dl_task() will return true if it moved a -deadline task */
Juri Lelli1baca4c2013-11-07 14:43:38 +01002316 while (push_dl_task(rq))
2317 ;
2318}
2319
Peter Zijlstra0ea60c22015-06-11 14:46:42 +02002320static void pull_dl_task(struct rq *this_rq)
Juri Lelli1baca4c2013-11-07 14:43:38 +01002321{
Peter Zijlstra0ea60c22015-06-11 14:46:42 +02002322 int this_cpu = this_rq->cpu, cpu;
Peter Zijlstraa7c81552020-09-28 17:06:07 +02002323 struct task_struct *p, *push_task;
Peter Zijlstra0ea60c22015-06-11 14:46:42 +02002324 bool resched = false;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002325 struct rq *src_rq;
2326 u64 dmin = LONG_MAX;
2327
2328 if (likely(!dl_overloaded(this_rq)))
Peter Zijlstra0ea60c22015-06-11 14:46:42 +02002329 return;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002330
2331 /*
2332 * Match the barrier from dl_set_overloaded; this guarantees that if we
2333 * see overloaded we must also see the dlo_mask bit.
2334 */
2335 smp_rmb();
2336
2337 for_each_cpu(cpu, this_rq->rd->dlo_mask) {
2338 if (this_cpu == cpu)
2339 continue;
2340
2341 src_rq = cpu_rq(cpu);
2342
2343 /*
2344 * It looks racy, abd it is! However, as in sched_rt.c,
2345 * we are fine with this.
2346 */
2347 if (this_rq->dl.dl_nr_running &&
2348 dl_time_before(this_rq->dl.earliest_dl.curr,
2349 src_rq->dl.earliest_dl.next))
2350 continue;
2351
2352 /* Might drop this_rq->lock */
Peter Zijlstraa7c81552020-09-28 17:06:07 +02002353 push_task = NULL;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002354 double_lock_balance(this_rq, src_rq);
2355
2356 /*
2357 * If there are no more pullable tasks on the
2358 * rq, we're done with it.
2359 */
2360 if (src_rq->dl.dl_nr_running <= 1)
2361 goto skip;
2362
Wanpeng Li8b5e7702015-05-13 14:01:01 +08002363 p = pick_earliest_pushable_dl_task(src_rq, this_cpu);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002364
2365 /*
2366 * We found a task to be pulled if:
2367 * - it preempts our current (if there's one),
2368 * - it will preempt the last one we pulled (if any).
2369 */
2370 if (p && dl_time_before(p->dl.deadline, dmin) &&
2371 (!this_rq->dl.dl_nr_running ||
2372 dl_time_before(p->dl.deadline,
2373 this_rq->dl.earliest_dl.curr))) {
2374 WARN_ON(p == src_rq->curr);
Kirill Tkhaida0c1e62014-08-20 13:47:32 +04002375 WARN_ON(!task_on_rq_queued(p));
Juri Lelli1baca4c2013-11-07 14:43:38 +01002376
2377 /*
2378 * Then we pull iff p has actually an earlier
2379 * deadline than the current task of its runqueue.
2380 */
2381 if (dl_time_before(p->dl.deadline,
2382 src_rq->curr->dl.deadline))
2383 goto skip;
2384
Peter Zijlstraa7c81552020-09-28 17:06:07 +02002385 if (is_migration_disabled(p)) {
2386 push_task = get_push_task(src_rq);
2387 } else {
2388 deactivate_task(src_rq, p, 0);
2389 set_task_cpu(p, this_cpu);
2390 activate_task(this_rq, p, 0);
2391 dmin = p->dl.deadline;
2392 resched = true;
2393 }
Juri Lelli1baca4c2013-11-07 14:43:38 +01002394
2395 /* Is there any other task even earlier? */
2396 }
2397skip:
2398 double_unlock_balance(this_rq, src_rq);
Peter Zijlstraa7c81552020-09-28 17:06:07 +02002399
2400 if (push_task) {
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -05002401 raw_spin_rq_unlock(this_rq);
Peter Zijlstraa7c81552020-09-28 17:06:07 +02002402 stop_one_cpu_nowait(src_rq->cpu, push_cpu_stop,
2403 push_task, &src_rq->push_work);
Peter Zijlstra5cb9eaa2020-11-17 18:19:31 -05002404 raw_spin_rq_lock(this_rq);
Peter Zijlstraa7c81552020-09-28 17:06:07 +02002405 }
Juri Lelli1baca4c2013-11-07 14:43:38 +01002406 }
2407
Peter Zijlstra0ea60c22015-06-11 14:46:42 +02002408 if (resched)
2409 resched_curr(this_rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002410}
2411
2412/*
2413 * Since the task is not running and a reschedule is not going to happen
2414 * anytime soon on its runqueue, we try pushing it away now.
2415 */
2416static void task_woken_dl(struct rq *rq, struct task_struct *p)
2417{
2418 if (!task_running(rq, p) &&
2419 !test_tsk_need_resched(rq->curr) &&
Ingo Molnar4b53a342017-02-05 15:41:03 +01002420 p->nr_cpus_allowed > 1 &&
Juri Lelli1baca4c2013-11-07 14:43:38 +01002421 dl_task(rq->curr) &&
Ingo Molnar4b53a342017-02-05 15:41:03 +01002422 (rq->curr->nr_cpus_allowed < 2 ||
Wanpeng Li6b0a5632014-10-31 06:39:34 +08002423 !dl_entity_preempt(&p->dl, &rq->curr->dl))) {
Juri Lelli1baca4c2013-11-07 14:43:38 +01002424 push_dl_tasks(rq);
2425 }
2426}
2427
2428static void set_cpus_allowed_dl(struct task_struct *p,
Peter Zijlstra9cfc3e12020-09-16 14:59:08 +02002429 const struct cpumask *new_mask,
2430 u32 flags)
Juri Lelli1baca4c2013-11-07 14:43:38 +01002431{
Juri Lelli7f514122014-09-19 10:22:40 +01002432 struct root_domain *src_rd;
Peter Zijlstra6c370672015-05-15 17:43:36 +02002433 struct rq *rq;
Juri Lelli1baca4c2013-11-07 14:43:38 +01002434
2435 BUG_ON(!dl_task(p));
2436
Juri Lelli7f514122014-09-19 10:22:40 +01002437 rq = task_rq(p);
2438 src_rd = rq->rd;
2439 /*
2440 * Migrating a SCHED_DEADLINE task between exclusive
2441 * cpusets (different root_domains) entails a bandwidth
2442 * update. We already made space for us in the destination
2443 * domain (see cpuset_can_attach()).
2444 */
2445 if (!cpumask_intersects(src_rd->span, new_mask)) {
2446 struct dl_bw *src_dl_b;
2447
2448 src_dl_b = dl_bw_of(cpu_of(rq));
2449 /*
2450 * We now free resources of the root_domain we are migrating
2451 * off. In the worst case, sched_setattr() may temporary fail
2452 * until we complete the update.
2453 */
2454 raw_spin_lock(&src_dl_b->lock);
Peter Zijlstra8c0944ce2017-09-07 12:09:30 +02002455 __dl_sub(src_dl_b, p->dl.dl_bw, dl_bw_cpus(task_cpu(p)));
Juri Lelli7f514122014-09-19 10:22:40 +01002456 raw_spin_unlock(&src_dl_b->lock);
2457 }
2458
Peter Zijlstra9cfc3e12020-09-16 14:59:08 +02002459 set_cpus_allowed_common(p, new_mask, flags);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002460}
2461
2462/* Assumes rq->lock is held */
2463static void rq_online_dl(struct rq *rq)
2464{
2465 if (rq->dl.overloaded)
2466 dl_set_overload(rq);
Juri Lelli6bfd6d72013-11-07 14:43:47 +01002467
Xunlei Pang16b26942015-01-19 04:49:36 +00002468 cpudl_set_freecpu(&rq->rd->cpudl, rq->cpu);
Juri Lelli6bfd6d72013-11-07 14:43:47 +01002469 if (rq->dl.dl_nr_running > 0)
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +02002470 cpudl_set(&rq->rd->cpudl, rq->cpu, rq->dl.earliest_dl.curr);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002471}
2472
2473/* Assumes rq->lock is held */
2474static void rq_offline_dl(struct rq *rq)
2475{
2476 if (rq->dl.overloaded)
2477 dl_clear_overload(rq);
Juri Lelli6bfd6d72013-11-07 14:43:47 +01002478
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +02002479 cpudl_clear(&rq->rd->cpudl, rq->cpu);
Xunlei Pang16b26942015-01-19 04:49:36 +00002480 cpudl_clear_freecpu(&rq->rd->cpudl, rq->cpu);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002481}
2482
Wanpeng Lia6c0e742015-05-13 14:01:02 +08002483void __init init_sched_dl_class(void)
Juri Lelli1baca4c2013-11-07 14:43:38 +01002484{
2485 unsigned int i;
2486
2487 for_each_possible_cpu(i)
2488 zalloc_cpumask_var_node(&per_cpu(local_cpu_mask_dl, i),
2489 GFP_KERNEL, cpu_to_node(i));
2490}
2491
Mathieu Poirierf9a25f72019-07-19 15:59:55 +02002492void dl_add_task_root_domain(struct task_struct *p)
2493{
2494 struct rq_flags rf;
2495 struct rq *rq;
2496 struct dl_bw *dl_b;
2497
Dietmar Eggemannde40f332021-01-19 09:35:42 +01002498 raw_spin_lock_irqsave(&p->pi_lock, rf.flags);
2499 if (!dl_task(p)) {
2500 raw_spin_unlock_irqrestore(&p->pi_lock, rf.flags);
2501 return;
2502 }
2503
2504 rq = __task_rq_lock(p, &rf);
Mathieu Poirierf9a25f72019-07-19 15:59:55 +02002505
2506 dl_b = &rq->rd->dl_bw;
2507 raw_spin_lock(&dl_b->lock);
2508
2509 __dl_add(dl_b, p->dl.dl_bw, cpumask_weight(rq->rd->span));
2510
2511 raw_spin_unlock(&dl_b->lock);
2512
Mathieu Poirierf9a25f72019-07-19 15:59:55 +02002513 task_rq_unlock(rq, p, &rf);
2514}
2515
2516void dl_clear_root_domain(struct root_domain *rd)
2517{
2518 unsigned long flags;
2519
2520 raw_spin_lock_irqsave(&rd->dl_bw.lock, flags);
2521 rd->dl_bw.total_bw = 0;
2522 raw_spin_unlock_irqrestore(&rd->dl_bw.lock, flags);
2523}
2524
Juri Lelli1baca4c2013-11-07 14:43:38 +01002525#endif /* CONFIG_SMP */
2526
Dario Faggioliaab03e02013-11-28 11:14:43 +01002527static void switched_from_dl(struct rq *rq, struct task_struct *p)
2528{
Peter Zijlstraa649f232015-06-11 14:46:49 +02002529 /*
Luca Abeni209a0cb2017-05-18 22:13:29 +02002530 * task_non_contending() can start the "inactive timer" (if the 0-lag
2531 * time is in the future). If the task switches back to dl before
2532 * the "inactive timer" fires, it can continue to consume its current
2533 * runtime using its current deadline. If it stays outside of
2534 * SCHED_DEADLINE until the 0-lag time passes, inactive_task_timer()
2535 * will reset the task parameters.
Peter Zijlstraa649f232015-06-11 14:46:49 +02002536 */
Luca Abeni209a0cb2017-05-18 22:13:29 +02002537 if (task_on_rq_queued(p) && p->dl.dl_runtime)
2538 task_non_contending(p);
2539
Juri Lellie117cb52018-07-11 09:29:48 +02002540 if (!task_on_rq_queued(p)) {
2541 /*
2542 * Inactive timer is armed. However, p is leaving DEADLINE and
2543 * might migrate away from this rq while continuing to run on
2544 * some other class. We need to remove its contribution from
2545 * this rq running_bw now, or sub_rq_bw (below) will complain.
2546 */
2547 if (p->dl.dl_non_contending)
2548 sub_running_bw(&p->dl, &rq->dl);
Juri Lelli794a56e2017-12-04 11:23:20 +01002549 sub_rq_bw(&p->dl, &rq->dl);
Juri Lellie117cb52018-07-11 09:29:48 +02002550 }
Luca Abeni8fd27232017-05-18 22:13:34 +02002551
Luca Abeni209a0cb2017-05-18 22:13:29 +02002552 /*
2553 * We cannot use inactive_task_timer() to invoke sub_running_bw()
2554 * at the 0-lag time, because the task could have been migrated
2555 * while SCHED_OTHER in the meanwhile.
2556 */
2557 if (p->dl.dl_non_contending)
2558 p->dl.dl_non_contending = 0;
Juri Lellia5e7be32014-09-19 10:22:39 +01002559
Juri Lelli1baca4c2013-11-07 14:43:38 +01002560 /*
2561 * Since this might be the only -deadline task on the rq,
2562 * this is the right place to try to pull some other one
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002563 * from an overloaded CPU, if any.
Juri Lelli1baca4c2013-11-07 14:43:38 +01002564 */
Wanpeng Licd660912014-10-31 06:39:35 +08002565 if (!task_on_rq_queued(p) || rq->dl.dl_nr_running)
2566 return;
2567
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002568 deadline_queue_pull_task(rq);
Dario Faggioliaab03e02013-11-28 11:14:43 +01002569}
2570
Juri Lelli1baca4c2013-11-07 14:43:38 +01002571/*
2572 * When switching to -deadline, we may overload the rq, then
2573 * we try to push someone off, if possible.
2574 */
Dario Faggioliaab03e02013-11-28 11:14:43 +01002575static void switched_to_dl(struct rq *rq, struct task_struct *p)
2576{
Luca Abeni209a0cb2017-05-18 22:13:29 +02002577 if (hrtimer_try_to_cancel(&p->dl.inactive_timer) == 1)
2578 put_task_struct(p);
Luca Abeni72f9f3f2016-03-07 12:27:04 +01002579
Juri Lelli98b0a852016-08-05 16:07:55 +01002580 /* If p is not queued we will update its parameters at next wakeup. */
Luca Abeni8fd27232017-05-18 22:13:34 +02002581 if (!task_on_rq_queued(p)) {
Juri Lelli794a56e2017-12-04 11:23:20 +01002582 add_rq_bw(&p->dl, &rq->dl);
Juri Lelli98b0a852016-08-05 16:07:55 +01002583
Luca Abeni8fd27232017-05-18 22:13:34 +02002584 return;
2585 }
Juri Lelli98b0a852016-08-05 16:07:55 +01002586
2587 if (rq->curr != p) {
Juri Lelli1baca4c2013-11-07 14:43:38 +01002588#ifdef CONFIG_SMP
Ingo Molnar4b53a342017-02-05 15:41:03 +01002589 if (p->nr_cpus_allowed > 1 && rq->dl.overloaded)
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002590 deadline_queue_push_tasks(rq);
Sebastian Andrzej Siewior619bd4a2017-01-24 15:40:06 +01002591#endif
Peter Zijlstra9916e212015-06-11 14:46:43 +02002592 if (dl_task(rq->curr))
2593 check_preempt_curr_dl(rq, p, 0);
2594 else
2595 resched_curr(rq);
Vincent Donnefortd7d607092021-06-21 11:37:52 +01002596 } else {
2597 update_dl_rq_load_avg(rq_clock_pelt(rq), rq, 0);
Dario Faggioliaab03e02013-11-28 11:14:43 +01002598 }
2599}
2600
Juri Lelli1baca4c2013-11-07 14:43:38 +01002601/*
2602 * If the scheduling parameters of a -deadline task changed,
2603 * a push or pull operation might be needed.
2604 */
Dario Faggioliaab03e02013-11-28 11:14:43 +01002605static void prio_changed_dl(struct rq *rq, struct task_struct *p,
2606 int oldprio)
2607{
Hui Su65bcf072020-10-31 01:32:23 +08002608 if (task_on_rq_queued(p) || task_current(rq, p)) {
Dario Faggioliaab03e02013-11-28 11:14:43 +01002609#ifdef CONFIG_SMP
Juri Lelli1baca4c2013-11-07 14:43:38 +01002610 /*
2611 * This might be too much, but unfortunately
2612 * we don't have the old deadline value, and
2613 * we can't argue if the task is increasing
2614 * or lowering its prio, so...
2615 */
2616 if (!rq->dl.overloaded)
Ingo Molnar02d8ec92018-03-03 16:27:54 +01002617 deadline_queue_pull_task(rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002618
2619 /*
2620 * If we now have a earlier deadline task than p,
2621 * then reschedule, provided p is still on this
2622 * runqueue.
2623 */
Peter Zijlstra9916e212015-06-11 14:46:43 +02002624 if (dl_time_before(rq->dl.earliest_dl.curr, p->dl.deadline))
Kirill Tkhai88751252014-06-29 00:03:57 +04002625 resched_curr(rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002626#else
2627 /*
2628 * Again, we don't know if p has a earlier
2629 * or later deadline, so let's blindly set a
2630 * (maybe not needed) rescheduling point.
2631 */
Kirill Tkhai88751252014-06-29 00:03:57 +04002632 resched_curr(rq);
Juri Lelli1baca4c2013-11-07 14:43:38 +01002633#endif /* CONFIG_SMP */
Peter Zijlstra801ccdb2016-02-25 15:01:49 +01002634 }
Dario Faggioliaab03e02013-11-28 11:14:43 +01002635}
Dario Faggioliaab03e02013-11-28 11:14:43 +01002636
Peter Zijlstra43c31ac2020-10-21 15:45:33 +02002637DEFINE_SCHED_CLASS(dl) = {
2638
Dario Faggioliaab03e02013-11-28 11:14:43 +01002639 .enqueue_task = enqueue_task_dl,
2640 .dequeue_task = dequeue_task_dl,
2641 .yield_task = yield_task_dl,
2642
2643 .check_preempt_curr = check_preempt_curr_dl,
2644
2645 .pick_next_task = pick_next_task_dl,
2646 .put_prev_task = put_prev_task_dl,
Peter Zijlstra03b7fad2019-05-29 20:36:41 +00002647 .set_next_task = set_next_task_dl,
Dario Faggioliaab03e02013-11-28 11:14:43 +01002648
2649#ifdef CONFIG_SMP
Peter Zijlstra6e2df052019-11-08 11:11:52 +01002650 .balance = balance_dl,
Peter Zijlstra21f56ffe2020-11-17 18:19:32 -05002651 .pick_task = pick_task_dl,
Dario Faggioliaab03e02013-11-28 11:14:43 +01002652 .select_task_rq = select_task_rq_dl,
Luca Abeni209a0cb2017-05-18 22:13:29 +02002653 .migrate_task_rq = migrate_task_rq_dl,
Juri Lelli1baca4c2013-11-07 14:43:38 +01002654 .set_cpus_allowed = set_cpus_allowed_dl,
2655 .rq_online = rq_online_dl,
2656 .rq_offline = rq_offline_dl,
Juri Lelli1baca4c2013-11-07 14:43:38 +01002657 .task_woken = task_woken_dl,
Peter Zijlstraa7c81552020-09-28 17:06:07 +02002658 .find_lock_rq = find_lock_later_rq,
Dario Faggioliaab03e02013-11-28 11:14:43 +01002659#endif
2660
Dario Faggioliaab03e02013-11-28 11:14:43 +01002661 .task_tick = task_tick_dl,
2662 .task_fork = task_fork_dl,
Dario Faggioliaab03e02013-11-28 11:14:43 +01002663
2664 .prio_changed = prio_changed_dl,
2665 .switched_from = switched_from_dl,
2666 .switched_to = switched_to_dl,
Stanislaw Gruszka6e998912014-11-12 16:58:44 +01002667
2668 .update_curr = update_curr_dl,
Dario Faggioliaab03e02013-11-28 11:14:43 +01002669};
Wanpeng Liacb32132014-10-31 06:39:33 +08002670
Peng Liu26762422020-10-08 23:48:46 +08002671/* Used for dl_bw check and update, used under sched_rt_handler()::mutex */
2672static u64 dl_generation;
2673
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002674int sched_dl_global_validate(void)
2675{
2676 u64 runtime = global_rt_runtime();
2677 u64 period = global_rt_period();
2678 u64 new_bw = to_ratio(period, runtime);
Peng Liu26762422020-10-08 23:48:46 +08002679 u64 gen = ++dl_generation;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002680 struct dl_bw *dl_b;
Peng Liua57415f2020-10-08 23:49:42 +08002681 int cpu, cpus, ret = 0;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002682 unsigned long flags;
2683
2684 /*
2685 * Here we want to check the bandwidth not being set to some
2686 * value smaller than the currently allocated bandwidth in
2687 * any of the root_domains.
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002688 */
2689 for_each_possible_cpu(cpu) {
2690 rcu_read_lock_sched();
Peng Liu26762422020-10-08 23:48:46 +08002691
2692 if (dl_bw_visited(cpu, gen))
2693 goto next;
2694
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002695 dl_b = dl_bw_of(cpu);
Peng Liua57415f2020-10-08 23:49:42 +08002696 cpus = dl_bw_cpus(cpu);
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002697
2698 raw_spin_lock_irqsave(&dl_b->lock, flags);
Peng Liua57415f2020-10-08 23:49:42 +08002699 if (new_bw * cpus < dl_b->total_bw)
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002700 ret = -EBUSY;
2701 raw_spin_unlock_irqrestore(&dl_b->lock, flags);
2702
Peng Liu26762422020-10-08 23:48:46 +08002703next:
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002704 rcu_read_unlock_sched();
2705
2706 if (ret)
2707 break;
2708 }
2709
2710 return ret;
2711}
2712
Yu Chenba4f7bc2020-02-28 18:03:29 +08002713static void init_dl_rq_bw_ratio(struct dl_rq *dl_rq)
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002714{
2715 if (global_rt_runtime() == RUNTIME_INF) {
2716 dl_rq->bw_ratio = 1 << RATIO_SHIFT;
2717 dl_rq->extra_bw = 1 << BW_SHIFT;
2718 } else {
2719 dl_rq->bw_ratio = to_ratio(global_rt_runtime(),
2720 global_rt_period()) >> (BW_SHIFT - RATIO_SHIFT);
2721 dl_rq->extra_bw = to_ratio(global_rt_period(),
2722 global_rt_runtime());
2723 }
2724}
2725
2726void sched_dl_do_global(void)
2727{
2728 u64 new_bw = -1;
Peng Liu26762422020-10-08 23:48:46 +08002729 u64 gen = ++dl_generation;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002730 struct dl_bw *dl_b;
2731 int cpu;
2732 unsigned long flags;
2733
2734 def_dl_bandwidth.dl_period = global_rt_period();
2735 def_dl_bandwidth.dl_runtime = global_rt_runtime();
2736
2737 if (global_rt_runtime() != RUNTIME_INF)
2738 new_bw = to_ratio(global_rt_period(), global_rt_runtime());
2739
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002740 for_each_possible_cpu(cpu) {
2741 rcu_read_lock_sched();
Peng Liu26762422020-10-08 23:48:46 +08002742
2743 if (dl_bw_visited(cpu, gen)) {
2744 rcu_read_unlock_sched();
2745 continue;
2746 }
2747
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002748 dl_b = dl_bw_of(cpu);
2749
2750 raw_spin_lock_irqsave(&dl_b->lock, flags);
2751 dl_b->bw = new_bw;
2752 raw_spin_unlock_irqrestore(&dl_b->lock, flags);
2753
2754 rcu_read_unlock_sched();
2755 init_dl_rq_bw_ratio(&cpu_rq(cpu)->dl);
2756 }
2757}
2758
2759/*
2760 * We must be sure that accepting a new task (or allowing changing the
2761 * parameters of an existing one) is consistent with the bandwidth
2762 * constraints. If yes, this function also accordingly updates the currently
2763 * allocated bandwidth to reflect the new situation.
2764 *
2765 * This function is called while holding p's rq->lock.
2766 */
2767int sched_dl_overflow(struct task_struct *p, int policy,
2768 const struct sched_attr *attr)
2769{
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002770 u64 period = attr->sched_period ?: attr->sched_deadline;
2771 u64 runtime = attr->sched_runtime;
2772 u64 new_bw = dl_policy(policy) ? to_ratio(period, runtime) : 0;
Luca Abeni60ffd5e2020-05-20 15:42:41 +02002773 int cpus, err = -1, cpu = task_cpu(p);
2774 struct dl_bw *dl_b = dl_bw_of(cpu);
2775 unsigned long cap;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002776
Juri Lelli794a56e2017-12-04 11:23:20 +01002777 if (attr->sched_flags & SCHED_FLAG_SUGOV)
2778 return 0;
2779
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002780 /* !deadline task may carry old deadline bandwidth */
2781 if (new_bw == p->dl.dl_bw && task_has_dl_policy(p))
2782 return 0;
2783
2784 /*
2785 * Either if a task, enters, leave, or stays -deadline but changes
2786 * its parameters, we may need to update accordingly the total
2787 * allocated bandwidth of the container.
2788 */
2789 raw_spin_lock(&dl_b->lock);
Luca Abeni60ffd5e2020-05-20 15:42:41 +02002790 cpus = dl_bw_cpus(cpu);
2791 cap = dl_bw_capacity(cpu);
2792
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002793 if (dl_policy(policy) && !task_has_dl_policy(p) &&
Luca Abeni60ffd5e2020-05-20 15:42:41 +02002794 !__dl_overflow(dl_b, cap, 0, new_bw)) {
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002795 if (hrtimer_active(&p->dl.inactive_timer))
Peter Zijlstra8c0944ce2017-09-07 12:09:30 +02002796 __dl_sub(dl_b, p->dl.dl_bw, cpus);
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002797 __dl_add(dl_b, new_bw, cpus);
2798 err = 0;
2799 } else if (dl_policy(policy) && task_has_dl_policy(p) &&
Luca Abeni60ffd5e2020-05-20 15:42:41 +02002800 !__dl_overflow(dl_b, cap, p->dl.dl_bw, new_bw)) {
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002801 /*
2802 * XXX this is slightly incorrect: when the task
2803 * utilization decreases, we should delay the total
2804 * utilization change until the task's 0-lag point.
2805 * But this would require to set the task's "inactive
2806 * timer" when the task is not inactive.
2807 */
Peter Zijlstra8c0944ce2017-09-07 12:09:30 +02002808 __dl_sub(dl_b, p->dl.dl_bw, cpus);
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002809 __dl_add(dl_b, new_bw, cpus);
2810 dl_change_utilization(p, new_bw);
2811 err = 0;
2812 } else if (!dl_policy(policy) && task_has_dl_policy(p)) {
2813 /*
2814 * Do not decrease the total deadline utilization here,
2815 * switched_from_dl() will take care to do it at the correct
2816 * (0-lag) time.
2817 */
2818 err = 0;
2819 }
2820 raw_spin_unlock(&dl_b->lock);
2821
2822 return err;
2823}
2824
2825/*
2826 * This function initializes the sched_dl_entity of a newly becoming
2827 * SCHED_DEADLINE task.
2828 *
2829 * Only the static values are considered here, the actual runtime and the
2830 * absolute deadline will be properly calculated when the task is enqueued
2831 * for the first time with its new policy.
2832 */
2833void __setparam_dl(struct task_struct *p, const struct sched_attr *attr)
2834{
2835 struct sched_dl_entity *dl_se = &p->dl;
2836
2837 dl_se->dl_runtime = attr->sched_runtime;
2838 dl_se->dl_deadline = attr->sched_deadline;
2839 dl_se->dl_period = attr->sched_period ?: dl_se->dl_deadline;
Quentin Perretf9509152021-07-27 11:11:01 +01002840 dl_se->flags = attr->sched_flags & SCHED_DL_FLAGS;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002841 dl_se->dl_bw = to_ratio(dl_se->dl_period, dl_se->dl_runtime);
2842 dl_se->dl_density = to_ratio(dl_se->dl_deadline, dl_se->dl_runtime);
2843}
2844
2845void __getparam_dl(struct task_struct *p, struct sched_attr *attr)
2846{
2847 struct sched_dl_entity *dl_se = &p->dl;
2848
2849 attr->sched_priority = p->rt_priority;
2850 attr->sched_runtime = dl_se->dl_runtime;
2851 attr->sched_deadline = dl_se->dl_deadline;
2852 attr->sched_period = dl_se->dl_period;
Quentin Perretf9509152021-07-27 11:11:01 +01002853 attr->sched_flags &= ~SCHED_DL_FLAGS;
2854 attr->sched_flags |= dl_se->flags;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002855}
2856
2857/*
Peter Zijlstrab4098bf2019-07-26 16:54:10 +02002858 * Default limits for DL period; on the top end we guard against small util
Ingo Molnar3b037062021-03-18 13:38:50 +01002859 * tasks still getting ridiculously long effective runtimes, on the bottom end we
Peter Zijlstrab4098bf2019-07-26 16:54:10 +02002860 * guard against timer DoS.
2861 */
2862unsigned int sysctl_sched_dl_period_max = 1 << 22; /* ~4 seconds */
2863unsigned int sysctl_sched_dl_period_min = 100; /* 100 us */
2864
2865/*
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002866 * This function validates the new parameters of a -deadline task.
2867 * We ask for the deadline not being zero, and greater or equal
2868 * than the runtime, as well as the period of being zero or
2869 * greater than deadline. Furthermore, we have to be sure that
2870 * user parameters are above the internal resolution of 1us (we
2871 * check sched_runtime only since it is always the smaller one) and
2872 * below 2^63 ns (we have to check both sched_deadline and
2873 * sched_period, as the latter can be zero).
2874 */
2875bool __checkparam_dl(const struct sched_attr *attr)
2876{
Peter Zijlstrab4098bf2019-07-26 16:54:10 +02002877 u64 period, max, min;
2878
Juri Lelli794a56e2017-12-04 11:23:20 +01002879 /* special dl tasks don't actually use any parameter */
2880 if (attr->sched_flags & SCHED_FLAG_SUGOV)
2881 return true;
2882
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002883 /* deadline != 0 */
2884 if (attr->sched_deadline == 0)
2885 return false;
2886
2887 /*
2888 * Since we truncate DL_SCALE bits, make sure we're at least
2889 * that big.
2890 */
2891 if (attr->sched_runtime < (1ULL << DL_SCALE))
2892 return false;
2893
2894 /*
2895 * Since we use the MSB for wrap-around and sign issues, make
2896 * sure it's not set (mind that period can be equal to zero).
2897 */
2898 if (attr->sched_deadline & (1ULL << 63) ||
2899 attr->sched_period & (1ULL << 63))
2900 return false;
2901
Peter Zijlstrab4098bf2019-07-26 16:54:10 +02002902 period = attr->sched_period;
2903 if (!period)
2904 period = attr->sched_deadline;
2905
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002906 /* runtime <= deadline <= period (if period != 0) */
Peter Zijlstrab4098bf2019-07-26 16:54:10 +02002907 if (period < attr->sched_deadline ||
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002908 attr->sched_deadline < attr->sched_runtime)
2909 return false;
2910
Peter Zijlstrab4098bf2019-07-26 16:54:10 +02002911 max = (u64)READ_ONCE(sysctl_sched_dl_period_max) * NSEC_PER_USEC;
2912 min = (u64)READ_ONCE(sysctl_sched_dl_period_min) * NSEC_PER_USEC;
2913
2914 if (period < min || period > max)
2915 return false;
2916
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002917 return true;
2918}
2919
2920/*
2921 * This function clears the sched_dl_entity static params.
2922 */
2923void __dl_clear_params(struct task_struct *p)
2924{
2925 struct sched_dl_entity *dl_se = &p->dl;
2926
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002927 dl_se->dl_runtime = 0;
2928 dl_se->dl_deadline = 0;
2929 dl_se->dl_period = 0;
2930 dl_se->flags = 0;
2931 dl_se->dl_bw = 0;
2932 dl_se->dl_density = 0;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002933
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002934 dl_se->dl_throttled = 0;
2935 dl_se->dl_yielded = 0;
2936 dl_se->dl_non_contending = 0;
2937 dl_se->dl_overrun = 0;
Juri Lelli2279f542020-11-17 07:14:32 +01002938
2939#ifdef CONFIG_RT_MUTEXES
2940 dl_se->pi_se = dl_se;
2941#endif
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002942}
2943
2944bool dl_param_changed(struct task_struct *p, const struct sched_attr *attr)
2945{
2946 struct sched_dl_entity *dl_se = &p->dl;
2947
2948 if (dl_se->dl_runtime != attr->sched_runtime ||
2949 dl_se->dl_deadline != attr->sched_deadline ||
2950 dl_se->dl_period != attr->sched_period ||
Quentin Perretf9509152021-07-27 11:11:01 +01002951 dl_se->flags != (attr->sched_flags & SCHED_DL_FLAGS))
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002952 return true;
2953
2954 return false;
2955}
2956
2957#ifdef CONFIG_SMP
2958int dl_task_can_attach(struct task_struct *p, const struct cpumask *cs_cpus_allowed)
2959{
Luca Abeni60ffd5e2020-05-20 15:42:41 +02002960 unsigned long flags, cap;
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002961 unsigned int dest_cpu;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002962 struct dl_bw *dl_b;
2963 bool overflow;
Luca Abeni60ffd5e2020-05-20 15:42:41 +02002964 int ret;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002965
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002966 dest_cpu = cpumask_any_and(cpu_active_mask, cs_cpus_allowed);
2967
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002968 rcu_read_lock_sched();
2969 dl_b = dl_bw_of(dest_cpu);
2970 raw_spin_lock_irqsave(&dl_b->lock, flags);
Luca Abeni60ffd5e2020-05-20 15:42:41 +02002971 cap = dl_bw_capacity(dest_cpu);
2972 overflow = __dl_overflow(dl_b, cap, 0, p->dl.dl_bw);
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002973 if (overflow) {
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002974 ret = -EBUSY;
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002975 } else {
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002976 /*
2977 * We reserve space for this task in the destination
2978 * root_domain, as we can't fail after this point.
2979 * We will free resources in the source root_domain
2980 * later on (see set_cpus_allowed_dl()).
2981 */
Luca Abeni60ffd5e2020-05-20 15:42:41 +02002982 int cpus = dl_bw_cpus(dest_cpu);
2983
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002984 __dl_add(dl_b, p->dl.dl_bw, cpus);
2985 ret = 0;
2986 }
2987 raw_spin_unlock_irqrestore(&dl_b->lock, flags);
2988 rcu_read_unlock_sched();
Ingo Molnar97fb7a02018-03-03 14:01:12 +01002989
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04002990 return ret;
2991}
2992
2993int dl_cpuset_cpumask_can_shrink(const struct cpumask *cur,
2994 const struct cpumask *trial)
2995{
2996 int ret = 1, trial_cpus;
2997 struct dl_bw *cur_dl_b;
2998 unsigned long flags;
2999
3000 rcu_read_lock_sched();
3001 cur_dl_b = dl_bw_of(cpumask_any(cur));
3002 trial_cpus = cpumask_weight(trial);
3003
3004 raw_spin_lock_irqsave(&cur_dl_b->lock, flags);
3005 if (cur_dl_b->bw != -1 &&
3006 cur_dl_b->bw * trial_cpus < cur_dl_b->total_bw)
3007 ret = 0;
3008 raw_spin_unlock_irqrestore(&cur_dl_b->lock, flags);
3009 rcu_read_unlock_sched();
Ingo Molnar97fb7a02018-03-03 14:01:12 +01003010
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04003011 return ret;
3012}
3013
3014bool dl_cpu_busy(unsigned int cpu)
3015{
Luca Abeni60ffd5e2020-05-20 15:42:41 +02003016 unsigned long flags, cap;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04003017 struct dl_bw *dl_b;
3018 bool overflow;
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04003019
3020 rcu_read_lock_sched();
3021 dl_b = dl_bw_of(cpu);
3022 raw_spin_lock_irqsave(&dl_b->lock, flags);
Luca Abeni60ffd5e2020-05-20 15:42:41 +02003023 cap = dl_bw_capacity(cpu);
3024 overflow = __dl_overflow(dl_b, cap, 0, 0);
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04003025 raw_spin_unlock_irqrestore(&dl_b->lock, flags);
3026 rcu_read_unlock_sched();
Ingo Molnar97fb7a02018-03-03 14:01:12 +01003027
Nicolas Pitre06a76fe2017-06-21 14:22:01 -04003028 return overflow;
3029}
3030#endif
3031
Wanpeng Liacb32132014-10-31 06:39:33 +08003032#ifdef CONFIG_SCHED_DEBUG
Wanpeng Liacb32132014-10-31 06:39:33 +08003033void print_dl_stats(struct seq_file *m, int cpu)
3034{
3035 print_dl_rq(m, cpu, &cpu_rq(cpu)->dl);
3036}
3037#endif /* CONFIG_SCHED_DEBUG */