blob: 5cc4012572ec61b17e20a3a852c7f9038af2a17a [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 &&
Sebastian Andrzej Siewior3bd37062019-04-23 16:26:36 +0200123 cpumask_and(later_mask, cp->free_cpus, p->cpus_ptr)) {
Byungchul Park3261ed02017-05-23 11:00:57 +0900124 return 1;
125 } else {
126 int best_cpu = cpudl_maximum(cp);
Mario Leinweberc2e51382018-03-02 13:20:07 -0500127
Byungchul Park3261ed02017-05-23 11:00:57 +0900128 WARN_ON(best_cpu != -1 && !cpu_present(best_cpu));
129
Sebastian Andrzej Siewior3bd37062019-04-23 16:26:36 +0200130 if (cpumask_test_cpu(best_cpu, p->cpus_ptr) &&
Byungchul Park3261ed02017-05-23 11:00:57 +0900131 dl_time_before(dl_se->deadline, cp->elements[0].dl)) {
132 if (later_mask)
133 cpumask_set_cpu(best_cpu, later_mask);
134
135 return 1;
136 }
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100137 }
Byungchul Park3261ed02017-05-23 11:00:57 +0900138 return 0;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100139}
140
141/*
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100142 * cpudl_clear - remove a CPU from the cpudl max-heap
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200143 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100144 * @cpu: the target CPU
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200145 *
146 * Notes: assumes cpu_rq(cpu)->lock is locked
147 *
148 * Returns: (void)
149 */
150void cpudl_clear(struct cpudl *cp, int cpu)
151{
152 int old_idx, new_cpu;
153 unsigned long flags;
154
155 WARN_ON(!cpu_present(cpu));
156
157 raw_spin_lock_irqsave(&cp->lock, flags);
158
159 old_idx = cp->elements[cpu].idx;
160 if (old_idx == IDX_INVALID) {
161 /*
162 * Nothing to remove if old_idx was invalid.
163 * This could happen if a rq_offline_dl is
164 * called for a CPU without -dl tasks running.
165 */
166 } else {
167 new_cpu = cp->elements[cp->size - 1].cpu;
168 cp->elements[old_idx].dl = cp->elements[cp->size - 1].dl;
169 cp->elements[old_idx].cpu = new_cpu;
170 cp->size--;
171 cp->elements[new_cpu].idx = old_idx;
172 cp->elements[cpu].idx = IDX_INVALID;
173 cpudl_heapify(cp, old_idx);
174
175 cpumask_set_cpu(cpu, cp->free_cpus);
176 }
177 raw_spin_unlock_irqrestore(&cp->lock, flags);
178}
179
180/*
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100181 * cpudl_set - update the cpudl max-heap
182 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100183 * @cpu: the target CPU
184 * @dl: the new earliest deadline for this CPU
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100185 *
186 * Notes: assumes cpu_rq(cpu)->lock is locked
187 *
188 * Returns: (void)
189 */
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200190void cpudl_set(struct cpudl *cp, int cpu, u64 dl)
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100191{
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200192 int old_idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100193 unsigned long flags;
194
Boris Ostrovsky82b95802014-02-17 09:12:33 -0500195 WARN_ON(!cpu_present(cpu));
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100196
197 raw_spin_lock_irqsave(&cp->lock, flags);
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200198
Peter Zijlstra944770a2014-05-14 16:13:56 +0200199 old_idx = cp->elements[cpu].idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100200 if (old_idx == IDX_INVALID) {
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200201 int new_idx = cp->size++;
Mario Leinweberc2e51382018-03-02 13:20:07 -0500202
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200203 cp->elements[new_idx].dl = dl;
204 cp->elements[new_idx].cpu = cpu;
205 cp->elements[cpu].idx = new_idx;
206 cpudl_heapify_up(cp, new_idx);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100207 cpumask_clear_cpu(cpu, cp->free_cpus);
208 } else {
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200209 cp->elements[old_idx].dl = dl;
210 cpudl_heapify(cp, old_idx);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100211 }
212
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100213 raw_spin_unlock_irqrestore(&cp->lock, flags);
214}
215
216/*
Xunlei Pang16b26942015-01-19 04:49:36 +0000217 * cpudl_set_freecpu - Set the cpudl.free_cpus
218 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100219 * @cpu: rd attached CPU
Xunlei Pang16b26942015-01-19 04:49:36 +0000220 */
221void cpudl_set_freecpu(struct cpudl *cp, int cpu)
222{
223 cpumask_set_cpu(cpu, cp->free_cpus);
224}
225
226/*
227 * cpudl_clear_freecpu - Clear the cpudl.free_cpus
228 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100229 * @cpu: rd attached CPU
Xunlei Pang16b26942015-01-19 04:49:36 +0000230 */
231void cpudl_clear_freecpu(struct cpudl *cp, int cpu)
232{
233 cpumask_clear_cpu(cpu, cp->free_cpus);
234}
235
236/*
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100237 * cpudl_init - initialize the cpudl structure
238 * @cp: the cpudl max-heap context
239 */
240int cpudl_init(struct cpudl *cp)
241{
242 int i;
243
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100244 raw_spin_lock_init(&cp->lock);
245 cp->size = 0;
Peter Zijlstra944770a2014-05-14 16:13:56 +0200246
247 cp->elements = kcalloc(nr_cpu_ids,
248 sizeof(struct cpudl_item),
249 GFP_KERNEL);
250 if (!cp->elements)
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100251 return -ENOMEM;
Peter Zijlstra944770a2014-05-14 16:13:56 +0200252
Xunlei Pang16b26942015-01-19 04:49:36 +0000253 if (!zalloc_cpumask_var(&cp->free_cpus, GFP_KERNEL)) {
Peter Zijlstra944770a2014-05-14 16:13:56 +0200254 kfree(cp->elements);
255 return -ENOMEM;
256 }
257
258 for_each_possible_cpu(i)
259 cp->elements[i].idx = IDX_INVALID;
260
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100261 return 0;
262}
263
264/*
265 * cpudl_cleanup - clean up the cpudl structure
266 * @cp: the cpudl max-heap context
267 */
268void cpudl_cleanup(struct cpudl *cp)
269{
Li Zefan6a7cd2732014-04-17 10:05:02 +0800270 free_cpumask_var(cp->free_cpus);
Peter Zijlstra944770a2014-05-14 16:13:56 +0200271 kfree(cp->elements);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100272}