blob: 50316455ea66a9e46aa1465272b8cf7f6174ba46 [file] [log] [blame]
Juri Lelli6bfd6d72013-11-07 14:43:47 +01001/*
2 * kernel/sched/cpudl.c
3 *
4 * Global CPU deadline management
5 *
6 * Author: Juri Lelli <j.lelli@sssup.it>
7 *
8 * This program is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License
10 * as published by the Free Software Foundation; version 2
11 * of the License.
12 */
Ingo Molnar325ea102018-03-03 12:20:47 +010013#include "sched.h"
Juri Lelli6bfd6d72013-11-07 14:43:47 +010014
15static inline int parent(int i)
16{
17 return (i - 1) >> 1;
18}
19
20static inline int left_child(int i)
21{
22 return (i << 1) + 1;
23}
24
25static inline int right_child(int i)
26{
27 return (i << 1) + 2;
28}
29
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +020030static void cpudl_heapify_down(struct cpudl *cp, int idx)
Juri Lelli6bfd6d72013-11-07 14:43:47 +010031{
32 int l, r, largest;
33
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020034 int orig_cpu = cp->elements[idx].cpu;
35 u64 orig_dl = cp->elements[idx].dl;
36
37 if (left_child(idx) >= cp->size)
38 return;
39
Juri Lelli6bfd6d72013-11-07 14:43:47 +010040 /* adapted from lib/prio_heap.c */
Mario Leinweberc2e51382018-03-02 13:20:07 -050041 while (1) {
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020042 u64 largest_dl;
Mario Leinweberc2e51382018-03-02 13:20:07 -050043
Juri Lelli6bfd6d72013-11-07 14:43:47 +010044 l = left_child(idx);
45 r = right_child(idx);
46 largest = idx;
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020047 largest_dl = orig_dl;
Juri Lelli6bfd6d72013-11-07 14:43:47 +010048
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020049 if ((l < cp->size) && dl_time_before(orig_dl,
50 cp->elements[l].dl)) {
Juri Lelli6bfd6d72013-11-07 14:43:47 +010051 largest = l;
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020052 largest_dl = cp->elements[l].dl;
53 }
54 if ((r < cp->size) && dl_time_before(largest_dl,
55 cp->elements[r].dl))
Juri Lelli6bfd6d72013-11-07 14:43:47 +010056 largest = r;
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020057
Juri Lelli6bfd6d72013-11-07 14:43:47 +010058 if (largest == idx)
59 break;
60
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020061 /* pull largest child onto idx */
62 cp->elements[idx].cpu = cp->elements[largest].cpu;
63 cp->elements[idx].dl = cp->elements[largest].dl;
64 cp->elements[cp->elements[idx].cpu].idx = idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +010065 idx = largest;
66 }
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020067 /* actual push down of saved original values orig_* */
68 cp->elements[idx].cpu = orig_cpu;
69 cp->elements[idx].dl = orig_dl;
70 cp->elements[cp->elements[idx].cpu].idx = idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +010071}
72
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +020073static void cpudl_heapify_up(struct cpudl *cp, int idx)
Juri Lelli6bfd6d72013-11-07 14:43:47 +010074{
Tommaso Cucinotta8e1bc302016-08-14 16:27:07 +020075 int p;
76
77 int orig_cpu = cp->elements[idx].cpu;
78 u64 orig_dl = cp->elements[idx].dl;
79
80 if (idx == 0)
81 return;
82
83 do {
84 p = parent(idx);
85 if (dl_time_before(orig_dl, cp->elements[p].dl))
86 break;
87 /* pull parent onto idx */
88 cp->elements[idx].cpu = cp->elements[p].cpu;
89 cp->elements[idx].dl = cp->elements[p].dl;
90 cp->elements[cp->elements[idx].cpu].idx = idx;
91 idx = p;
92 } while (idx != 0);
93 /* actual push up of saved original values orig_* */
94 cp->elements[idx].cpu = orig_cpu;
95 cp->elements[idx].dl = orig_dl;
96 cp->elements[cp->elements[idx].cpu].idx = idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +010097}
98
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +020099static void cpudl_heapify(struct cpudl *cp, int idx)
100{
101 if (idx > 0 && dl_time_before(cp->elements[parent(idx)].dl,
102 cp->elements[idx].dl))
103 cpudl_heapify_up(cp, idx);
104 else
105 cpudl_heapify_down(cp, idx);
106}
107
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100108static inline int cpudl_maximum(struct cpudl *cp)
109{
110 return cp->elements[0].cpu;
111}
112
113/*
114 * cpudl_find - find the best (later-dl) CPU in the system
115 * @cp: the cpudl max-heap context
116 * @p: the task
117 * @later_mask: a mask to fill in with the selected CPUs (or NULL)
118 *
Byungchul Park3261ed02017-05-23 11:00:57 +0900119 * Returns: int - CPUs were found
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100120 */
121int cpudl_find(struct cpudl *cp, struct task_struct *p,
122 struct cpumask *later_mask)
123{
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100124 const struct sched_dl_entity *dl_se = &p->dl;
125
Xunlei Pang16b26942015-01-19 04:49:36 +0000126 if (later_mask &&
Ingo Molnar0c98d342017-02-05 15:38:10 +0100127 cpumask_and(later_mask, cp->free_cpus, &p->cpus_allowed)) {
Byungchul Park3261ed02017-05-23 11:00:57 +0900128 return 1;
129 } else {
130 int best_cpu = cpudl_maximum(cp);
Mario Leinweberc2e51382018-03-02 13:20:07 -0500131
Byungchul Park3261ed02017-05-23 11:00:57 +0900132 WARN_ON(best_cpu != -1 && !cpu_present(best_cpu));
133
134 if (cpumask_test_cpu(best_cpu, &p->cpus_allowed) &&
135 dl_time_before(dl_se->deadline, cp->elements[0].dl)) {
136 if (later_mask)
137 cpumask_set_cpu(best_cpu, later_mask);
138
139 return 1;
140 }
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100141 }
Byungchul Park3261ed02017-05-23 11:00:57 +0900142 return 0;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100143}
144
145/*
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100146 * cpudl_clear - remove a CPU from the cpudl max-heap
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200147 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100148 * @cpu: the target CPU
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200149 *
150 * Notes: assumes cpu_rq(cpu)->lock is locked
151 *
152 * Returns: (void)
153 */
154void cpudl_clear(struct cpudl *cp, int cpu)
155{
156 int old_idx, new_cpu;
157 unsigned long flags;
158
159 WARN_ON(!cpu_present(cpu));
160
161 raw_spin_lock_irqsave(&cp->lock, flags);
162
163 old_idx = cp->elements[cpu].idx;
164 if (old_idx == IDX_INVALID) {
165 /*
166 * Nothing to remove if old_idx was invalid.
167 * This could happen if a rq_offline_dl is
168 * called for a CPU without -dl tasks running.
169 */
170 } else {
171 new_cpu = cp->elements[cp->size - 1].cpu;
172 cp->elements[old_idx].dl = cp->elements[cp->size - 1].dl;
173 cp->elements[old_idx].cpu = new_cpu;
174 cp->size--;
175 cp->elements[new_cpu].idx = old_idx;
176 cp->elements[cpu].idx = IDX_INVALID;
177 cpudl_heapify(cp, old_idx);
178
179 cpumask_set_cpu(cpu, cp->free_cpus);
180 }
181 raw_spin_unlock_irqrestore(&cp->lock, flags);
182}
183
184/*
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100185 * cpudl_set - update the cpudl max-heap
186 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100187 * @cpu: the target CPU
188 * @dl: the new earliest deadline for this CPU
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100189 *
190 * Notes: assumes cpu_rq(cpu)->lock is locked
191 *
192 * Returns: (void)
193 */
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200194void cpudl_set(struct cpudl *cp, int cpu, u64 dl)
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100195{
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200196 int old_idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100197 unsigned long flags;
198
Boris Ostrovsky82b95802014-02-17 09:12:33 -0500199 WARN_ON(!cpu_present(cpu));
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100200
201 raw_spin_lock_irqsave(&cp->lock, flags);
Tommaso Cucinottad8206bb2016-08-14 16:27:08 +0200202
Peter Zijlstra944770a2014-05-14 16:13:56 +0200203 old_idx = cp->elements[cpu].idx;
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100204 if (old_idx == IDX_INVALID) {
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200205 int new_idx = cp->size++;
Mario Leinweberc2e51382018-03-02 13:20:07 -0500206
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200207 cp->elements[new_idx].dl = dl;
208 cp->elements[new_idx].cpu = cpu;
209 cp->elements[cpu].idx = new_idx;
210 cpudl_heapify_up(cp, new_idx);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100211 cpumask_clear_cpu(cpu, cp->free_cpus);
212 } else {
Tommaso Cucinotta126b3b62016-08-14 16:27:06 +0200213 cp->elements[old_idx].dl = dl;
214 cpudl_heapify(cp, old_idx);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100215 }
216
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100217 raw_spin_unlock_irqrestore(&cp->lock, flags);
218}
219
220/*
Xunlei Pang16b26942015-01-19 04:49:36 +0000221 * cpudl_set_freecpu - Set the cpudl.free_cpus
222 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100223 * @cpu: rd attached CPU
Xunlei Pang16b26942015-01-19 04:49:36 +0000224 */
225void cpudl_set_freecpu(struct cpudl *cp, int cpu)
226{
227 cpumask_set_cpu(cpu, cp->free_cpus);
228}
229
230/*
231 * cpudl_clear_freecpu - Clear the cpudl.free_cpus
232 * @cp: the cpudl max-heap context
Ingo Molnar97fb7a02018-03-03 14:01:12 +0100233 * @cpu: rd attached CPU
Xunlei Pang16b26942015-01-19 04:49:36 +0000234 */
235void cpudl_clear_freecpu(struct cpudl *cp, int cpu)
236{
237 cpumask_clear_cpu(cpu, cp->free_cpus);
238}
239
240/*
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100241 * cpudl_init - initialize the cpudl structure
242 * @cp: the cpudl max-heap context
243 */
244int cpudl_init(struct cpudl *cp)
245{
246 int i;
247
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100248 raw_spin_lock_init(&cp->lock);
249 cp->size = 0;
Peter Zijlstra944770a2014-05-14 16:13:56 +0200250
251 cp->elements = kcalloc(nr_cpu_ids,
252 sizeof(struct cpudl_item),
253 GFP_KERNEL);
254 if (!cp->elements)
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100255 return -ENOMEM;
Peter Zijlstra944770a2014-05-14 16:13:56 +0200256
Xunlei Pang16b26942015-01-19 04:49:36 +0000257 if (!zalloc_cpumask_var(&cp->free_cpus, GFP_KERNEL)) {
Peter Zijlstra944770a2014-05-14 16:13:56 +0200258 kfree(cp->elements);
259 return -ENOMEM;
260 }
261
262 for_each_possible_cpu(i)
263 cp->elements[i].idx = IDX_INVALID;
264
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100265 return 0;
266}
267
268/*
269 * cpudl_cleanup - clean up the cpudl structure
270 * @cp: the cpudl max-heap context
271 */
272void cpudl_cleanup(struct cpudl *cp)
273{
Li Zefan6a7cd2732014-04-17 10:05:02 +0800274 free_cpumask_var(cp->free_cpus);
Peter Zijlstra944770a2014-05-14 16:13:56 +0200275 kfree(cp->elements);
Juri Lelli6bfd6d72013-11-07 14:43:47 +0100276}