blob: ceb03d76c0ccdd850fa99b68baa9569c63849fec [file] [log] [blame]
Thomas Gleixnerb886d83c2019-06-01 10:08:55 +02001// SPDX-License-Identifier: GPL-2.0-only
Juri Lelli6bfd6d72013-11-07 14:43:47 +01002/*
3 * kernel/sched/cpudl.c
4 *
5 * Global CPU deadline management
6 *
7 * Author: Juri Lelli <j.lelli@sssup.it>
Juri Lelli6bfd6d72013-11-07 14:43:47 +01008 */
Ingo Molnar325ea102018-03-03 12:20:47 +01009#include "sched.h"
Juri Lelli6bfd6d72013-11-07 14:43:47 +010010
11static inline int parent(int i)
12{
13 return (i - 1) >> 1;
14}
15
16static inline int left_child(int i)
17{
18 return (i << 1) + 1;
19}
20
21static inline int right_child(int i)
22{
23 return (i << 1) + 2;
24}
25
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +020026static void cpudl_heapify_down(struct cpudl *cp, int idx)
Juri Lelli6bfd6d72013-11-07 14:43:47 +010027{
28 int l, r, largest;
29
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020030 int orig_cpu = cp->elements[idx].cpu;
31 u64 orig_dl = cp->elements[idx].dl;
32
33 if (left_child(idx) >= cp->size)
34 return;
35
Juri Lelli6bfd6d72013-11-07 14:43:47 +010036 /* adapted from lib/prio_heap.c */
Mario Leinweberc2e51382018-03-02 13:20:07 -050037 while (1) {
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020038 u64 largest_dl;
Mario Leinweberc2e51382018-03-02 13:20:07 -050039
Juri Lelli6bfd6d72013-11-07 14:43:47 +010040 l = left_child(idx);
41 r = right_child(idx);
42 largest = idx;
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020043 largest_dl = orig_dl;
Juri Lelli6bfd6d72013-11-07 14:43:47 +010044
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020045 if ((l < cp->size) && dl_time_before(orig_dl,
46 cp->elements[l].dl)) {
Juri Lelli6bfd6d72013-11-07 14:43:47 +010047 largest = l;
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020048 largest_dl = cp->elements[l].dl;
49 }
50 if ((r < cp->size) && dl_time_before(largest_dl,
51 cp->elements[r].dl))
Juri Lelli6bfd6d72013-11-07 14:43:47 +010052 largest = r;
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020053
Juri Lelli6bfd6d72013-11-07 14:43:47 +010054 if (largest == idx)
55 break;
56
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020057 /* pull largest child onto idx */
58 cp->elements[idx].cpu = cp->elements[largest].cpu;
59 cp->elements[idx].dl = cp->elements[largest].dl;
60 cp->elements[cp->elements[idx].cpu].idx = idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +010061 idx = largest;
62 }
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020063 /* actual push down of saved original values orig_* */
64 cp->elements[idx].cpu = orig_cpu;
65 cp->elements[idx].dl = orig_dl;
66 cp->elements[cp->elements[idx].cpu].idx = idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +010067}
68
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +020069static void cpudl_heapify_up(struct cpudl *cp, int idx)
Juri Lelli6bfd6d72013-11-07 14:43:47 +010070{
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020071 int p;
72
73 int orig_cpu = cp->elements[idx].cpu;
74 u64 orig_dl = cp->elements[idx].dl;
75
76 if (idx == 0)
77 return;
78
79 do {
80 p = parent(idx);
81 if (dl_time_before(orig_dl, cp->elements[p].dl))
82 break;
83 /* pull parent onto idx */
84 cp->elements[idx].cpu = cp->elements[p].cpu;
85 cp->elements[idx].dl = cp->elements[p].dl;
86 cp->elements[cp->elements[idx].cpu].idx = idx;
87 idx = p;
88 } while (idx != 0);
89 /* actual push up of saved original values orig_* */
90 cp->elements[idx].cpu = orig_cpu;
91 cp->elements[idx].dl = orig_dl;
92 cp->elements[cp->elements[idx].cpu].idx = idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +010093}
94
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +020095static void cpudl_heapify(struct cpudl *cp, int idx)
96{
97 if (idx > 0 && dl_time_before(cp->elements[parent(idx)].dl,
98 cp->elements[idx].dl))
99 cpudl_heapify_up(cp, idx);
100 else
101 cpudl_heapify_down(cp, idx);
102}
103
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100104static inline int cpudl_maximum(struct cpudl *cp)
105{
106 return cp->elements[0].cpu;
107}
108
109/*
110 * cpudl_find - find the best (later-dl) CPU in the system
111 * @cp: the cpudl max-heap context
112 * @p: the task
113 * @later_mask: a mask to fill in with the selected CPUs (or NULL)
114 *
Byungchul Park3261ed02017-05-23 11:00:57 +0900115 * Returns: int - CPUs were found
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100116 */
117int cpudl_find(struct cpudl *cp, struct task_struct *p,
118 struct cpumask *later_mask)
119{
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100120 const struct sched_dl_entity *dl_se = &p->dl;
121
Xunlei Pang16b26942015-01-19 04:49:36 +0000122 if (later_mask &&
Peter Zijlstra95158a82020-10-01 16:05:39 +0200123 cpumask_and(later_mask, cp->free_cpus, &p->cpus_mask)) {
Luca Abeni23e71d82020-05-20 15:42:43 +0200124 unsigned long cap, max_cap = 0;
125 int cpu, max_cpu = -1;
Luca Abenib4118982020-05-20 15:42:42 +0200126
127 if (!static_branch_unlikely(&sched_asym_cpucapacity))
128 return 1;
129
130 /* Ensure the capacity of the CPUs fits the task. */
131 for_each_cpu(cpu, later_mask) {
Luca Abeni23e71d82020-05-20 15:42:43 +0200132 if (!dl_task_fits_capacity(p, cpu)) {
Luca Abenib4118982020-05-20 15:42:42 +0200133 cpumask_clear_cpu(cpu, later_mask);
Luca Abeni23e71d82020-05-20 15:42:43 +0200134
135 cap = capacity_orig_of(cpu);
136
137 if (cap > max_cap ||
138 (cpu == task_cpu(p) && cap == max_cap)) {
139 max_cap = cap;
140 max_cpu = cpu;
141 }
142 }
Luca Abenib4118982020-05-20 15:42:42 +0200143 }
144
Luca Abeni23e71d82020-05-20 15:42:43 +0200145 if (cpumask_empty(later_mask))
146 cpumask_set_cpu(max_cpu, later_mask);
147
148 return 1;
Byungchul Park3261ed02017-05-23 11:00:57 +0900149 } else {
150 int best_cpu = cpudl_maximum(cp);
Mario Leinweberc2e51382018-03-02 13:20:07 -0500151
Byungchul Park3261ed02017-05-23 11:00:57 +0900152 WARN_ON(best_cpu != -1 && !cpu_present(best_cpu));
153
Peter Zijlstra95158a82020-10-01 16:05:39 +0200154 if (cpumask_test_cpu(best_cpu, &p->cpus_mask) &&
Byungchul Park3261ed02017-05-23 11:00:57 +0900155 dl_time_before(dl_se->deadline, cp->elements[0].dl)) {
156 if (later_mask)
157 cpumask_set_cpu(best_cpu, later_mask);
158
159 return 1;
160 }
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100161 }
Byungchul Park3261ed02017-05-23 11:00:57 +0900162 return 0;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100163}
164
165/*
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100166 * cpudl_clear - remove a CPU from the cpudl max-heap
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200167 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100168 * @cpu: the target CPU
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200169 *
170 * Notes: assumes cpu_rq(cpu)->lock is locked
171 *
172 * Returns: (void)
173 */
174void cpudl_clear(struct cpudl *cp, int cpu)
175{
176 int old_idx, new_cpu;
177 unsigned long flags;
178
179 WARN_ON(!cpu_present(cpu));
180
181 raw_spin_lock_irqsave(&cp->lock, flags);
182
183 old_idx = cp->elements[cpu].idx;
184 if (old_idx == IDX_INVALID) {
185 /*
186 * Nothing to remove if old_idx was invalid.
187 * This could happen if a rq_offline_dl is
188 * called for a CPU without -dl tasks running.
189 */
190 } else {
191 new_cpu = cp->elements[cp->size - 1].cpu;
192 cp->elements[old_idx].dl = cp->elements[cp->size - 1].dl;
193 cp->elements[old_idx].cpu = new_cpu;
194 cp->size--;
195 cp->elements[new_cpu].idx = old_idx;
196 cp->elements[cpu].idx = IDX_INVALID;
197 cpudl_heapify(cp, old_idx);
198
199 cpumask_set_cpu(cpu, cp->free_cpus);
200 }
201 raw_spin_unlock_irqrestore(&cp->lock, flags);
202}
203
204/*
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100205 * cpudl_set - update the cpudl max-heap
206 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100207 * @cpu: the target CPU
208 * @dl: the new earliest deadline for this CPU
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100209 *
210 * Notes: assumes cpu_rq(cpu)->lock is locked
211 *
212 * Returns: (void)
213 */
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200214void cpudl_set(struct cpudl *cp, int cpu, u64 dl)
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100215{
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200216 int old_idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100217 unsigned long flags;
218
Boris Ostrovsky82b95802014-02-17 09:12:33 -0500219 WARN_ON(!cpu_present(cpu));
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100220
221 raw_spin_lock_irqsave(&cp->lock, flags);
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200222
Peter Zijlstra944770a2014-05-14 16:13:56 +0200223 old_idx = cp->elements[cpu].idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100224 if (old_idx == IDX_INVALID) {
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200225 int new_idx = cp->size++;
Mario Leinweberc2e51382018-03-02 13:20:07 -0500226
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200227 cp->elements[new_idx].dl = dl;
228 cp->elements[new_idx].cpu = cpu;
229 cp->elements[cpu].idx = new_idx;
230 cpudl_heapify_up(cp, new_idx);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100231 cpumask_clear_cpu(cpu, cp->free_cpus);
232 } else {
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200233 cp->elements[old_idx].dl = dl;
234 cpudl_heapify(cp, old_idx);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100235 }
236
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100237 raw_spin_unlock_irqrestore(&cp->lock, flags);
238}
239
240/*
Xunlei Pang16b26942015-01-19 04:49:36 +0000241 * cpudl_set_freecpu - Set the cpudl.free_cpus
242 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100243 * @cpu: rd attached CPU
Xunlei Pang16b26942015-01-19 04:49:36 +0000244 */
245void cpudl_set_freecpu(struct cpudl *cp, int cpu)
246{
247 cpumask_set_cpu(cpu, cp->free_cpus);
248}
249
250/*
251 * cpudl_clear_freecpu - Clear the cpudl.free_cpus
252 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100253 * @cpu: rd attached CPU
Xunlei Pang16b26942015-01-19 04:49:36 +0000254 */
255void cpudl_clear_freecpu(struct cpudl *cp, int cpu)
256{
257 cpumask_clear_cpu(cpu, cp->free_cpus);
258}
259
260/*
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100261 * cpudl_init - initialize the cpudl structure
262 * @cp: the cpudl max-heap context
263 */
264int cpudl_init(struct cpudl *cp)
265{
266 int i;
267
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100268 raw_spin_lock_init(&cp->lock);
269 cp->size = 0;
Peter Zijlstra944770a2014-05-14 16:13:56 +0200270
271 cp->elements = kcalloc(nr_cpu_ids,
272 sizeof(struct cpudl_item),
273 GFP_KERNEL);
274 if (!cp->elements)
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100275 return -ENOMEM;
Peter Zijlstra944770a2014-05-14 16:13:56 +0200276
Xunlei Pang16b26942015-01-19 04:49:36 +0000277 if (!zalloc_cpumask_var(&cp->free_cpus, GFP_KERNEL)) {
Peter Zijlstra944770a2014-05-14 16:13:56 +0200278 kfree(cp->elements);
279 return -ENOMEM;
280 }
281
282 for_each_possible_cpu(i)
283 cp->elements[i].idx = IDX_INVALID;
284
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100285 return 0;
286}
287
288/*
289 * cpudl_cleanup - clean up the cpudl structure
290 * @cp: the cpudl max-heap context
291 */
292void cpudl_cleanup(struct cpudl *cp)
293{
Li Zefan6a7cd2732014-04-17 10:05:02 +0800294 free_cpumask_var(cp->free_cpus);
Peter Zijlstra944770a2014-05-14 16:13:56 +0200295 kfree(cp->elements);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100296}