1b886d83cSThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only
26bfd6d72SJuri Lelli /*
381de6572SIngo Molnar * kernel/sched/cpudeadline.c
46bfd6d72SJuri Lelli *
56bfd6d72SJuri Lelli * Global CPU deadline management
66bfd6d72SJuri Lelli *
76bfd6d72SJuri Lelli * Author: Juri Lelli <j.lelli@sssup.it>
86bfd6d72SJuri Lelli */
96bfd6d72SJuri Lelli
parent(int i)106bfd6d72SJuri Lelli static inline int parent(int i)
116bfd6d72SJuri Lelli {
126bfd6d72SJuri Lelli return (i - 1) >> 1;
136bfd6d72SJuri Lelli }
146bfd6d72SJuri Lelli
left_child(int i)156bfd6d72SJuri Lelli static inline int left_child(int i)
166bfd6d72SJuri Lelli {
176bfd6d72SJuri Lelli return (i << 1) + 1;
186bfd6d72SJuri Lelli }
196bfd6d72SJuri Lelli
right_child(int i)206bfd6d72SJuri Lelli static inline int right_child(int i)
216bfd6d72SJuri Lelli {
226bfd6d72SJuri Lelli return (i << 1) + 2;
236bfd6d72SJuri Lelli }
246bfd6d72SJuri Lelli
cpudl_heapify_down(struct cpudl * cp,int idx)25126b3b68STommaso Cucinotta static void cpudl_heapify_down(struct cpudl *cp, int idx)
266bfd6d72SJuri Lelli {
276bfd6d72SJuri Lelli int l, r, largest;
286bfd6d72SJuri Lelli
298e1bc301STommaso Cucinotta int orig_cpu = cp->elements[idx].cpu;
308e1bc301STommaso Cucinotta u64 orig_dl = cp->elements[idx].dl;
318e1bc301STommaso Cucinotta
328e1bc301STommaso Cucinotta if (left_child(idx) >= cp->size)
338e1bc301STommaso Cucinotta return;
348e1bc301STommaso Cucinotta
356bfd6d72SJuri Lelli /* adapted from lib/prio_heap.c */
366bfd6d72SJuri Lelli while (1) {
378e1bc301STommaso Cucinotta u64 largest_dl;
38c2e51382SMario Leinweber
396bfd6d72SJuri Lelli l = left_child(idx);
406bfd6d72SJuri Lelli r = right_child(idx);
416bfd6d72SJuri Lelli largest = idx;
428e1bc301STommaso Cucinotta largest_dl = orig_dl;
436bfd6d72SJuri Lelli
448e1bc301STommaso Cucinotta if ((l < cp->size) && dl_time_before(orig_dl,
458e1bc301STommaso Cucinotta cp->elements[l].dl)) {
466bfd6d72SJuri Lelli largest = l;
478e1bc301STommaso Cucinotta largest_dl = cp->elements[l].dl;
488e1bc301STommaso Cucinotta }
498e1bc301STommaso Cucinotta if ((r < cp->size) && dl_time_before(largest_dl,
506bfd6d72SJuri Lelli cp->elements[r].dl))
516bfd6d72SJuri Lelli largest = r;
528e1bc301STommaso Cucinotta
536bfd6d72SJuri Lelli if (largest == idx)
546bfd6d72SJuri Lelli break;
556bfd6d72SJuri Lelli
568e1bc301STommaso Cucinotta /* pull largest child onto idx */
578e1bc301STommaso Cucinotta cp->elements[idx].cpu = cp->elements[largest].cpu;
588e1bc301STommaso Cucinotta cp->elements[idx].dl = cp->elements[largest].dl;
598e1bc301STommaso Cucinotta cp->elements[cp->elements[idx].cpu].idx = idx;
606bfd6d72SJuri Lelli idx = largest;
616bfd6d72SJuri Lelli }
628e1bc301STommaso Cucinotta /* actual push down of saved original values orig_* */
638e1bc301STommaso Cucinotta cp->elements[idx].cpu = orig_cpu;
648e1bc301STommaso Cucinotta cp->elements[idx].dl = orig_dl;
658e1bc301STommaso Cucinotta cp->elements[cp->elements[idx].cpu].idx = idx;
666bfd6d72SJuri Lelli }
676bfd6d72SJuri Lelli
cpudl_heapify_up(struct cpudl * cp,int idx)68126b3b68STommaso Cucinotta static void cpudl_heapify_up(struct cpudl *cp, int idx)
696bfd6d72SJuri Lelli {
708e1bc301STommaso Cucinotta int p;
718e1bc301STommaso Cucinotta
728e1bc301STommaso Cucinotta int orig_cpu = cp->elements[idx].cpu;
738e1bc301STommaso Cucinotta u64 orig_dl = cp->elements[idx].dl;
748e1bc301STommaso Cucinotta
758e1bc301STommaso Cucinotta if (idx == 0)
768e1bc301STommaso Cucinotta return;
778e1bc301STommaso Cucinotta
788e1bc301STommaso Cucinotta do {
798e1bc301STommaso Cucinotta p = parent(idx);
808e1bc301STommaso Cucinotta if (dl_time_before(orig_dl, cp->elements[p].dl))
818e1bc301STommaso Cucinotta break;
828e1bc301STommaso Cucinotta /* pull parent onto idx */
838e1bc301STommaso Cucinotta cp->elements[idx].cpu = cp->elements[p].cpu;
848e1bc301STommaso Cucinotta cp->elements[idx].dl = cp->elements[p].dl;
858e1bc301STommaso Cucinotta cp->elements[cp->elements[idx].cpu].idx = idx;
868e1bc301STommaso Cucinotta idx = p;
878e1bc301STommaso Cucinotta } while (idx != 0);
888e1bc301STommaso Cucinotta /* actual push up of saved original values orig_* */
898e1bc301STommaso Cucinotta cp->elements[idx].cpu = orig_cpu;
908e1bc301STommaso Cucinotta cp->elements[idx].dl = orig_dl;
918e1bc301STommaso Cucinotta cp->elements[cp->elements[idx].cpu].idx = idx;
926bfd6d72SJuri Lelli }
93126b3b68STommaso Cucinotta
cpudl_heapify(struct cpudl * cp,int idx)94126b3b68STommaso Cucinotta static void cpudl_heapify(struct cpudl *cp, int idx)
95126b3b68STommaso Cucinotta {
96126b3b68STommaso Cucinotta if (idx > 0 && dl_time_before(cp->elements[parent(idx)].dl,
97126b3b68STommaso Cucinotta cp->elements[idx].dl))
98126b3b68STommaso Cucinotta cpudl_heapify_up(cp, idx);
99126b3b68STommaso Cucinotta else
100126b3b68STommaso Cucinotta cpudl_heapify_down(cp, idx);
1016bfd6d72SJuri Lelli }
1026bfd6d72SJuri Lelli
cpudl_maximum(struct cpudl * cp)1036bfd6d72SJuri Lelli static inline int cpudl_maximum(struct cpudl *cp)
1046bfd6d72SJuri Lelli {
1056bfd6d72SJuri Lelli return cp->elements[0].cpu;
1066bfd6d72SJuri Lelli }
1076bfd6d72SJuri Lelli
1086bfd6d72SJuri Lelli /*
1096bfd6d72SJuri Lelli * cpudl_find - find the best (later-dl) CPU in the system
1106bfd6d72SJuri Lelli * @cp: the cpudl max-heap context
1116bfd6d72SJuri Lelli * @p: the task
1126bfd6d72SJuri Lelli * @later_mask: a mask to fill in with the selected CPUs (or NULL)
1136bfd6d72SJuri Lelli *
1143261ed0bSByungchul Park * Returns: int - CPUs were found
1156bfd6d72SJuri Lelli */
cpudl_find(struct cpudl * cp,struct task_struct * p,struct cpumask * later_mask)1166bfd6d72SJuri Lelli int cpudl_find(struct cpudl *cp, struct task_struct *p,
1176bfd6d72SJuri Lelli struct cpumask *later_mask)
1186bfd6d72SJuri Lelli {
1196bfd6d72SJuri Lelli const struct sched_dl_entity *dl_se = &p->dl;
1206bfd6d72SJuri Lelli
12116b26943SXunlei Pang if (later_mask &&
12295158a89SPeter Zijlstra cpumask_and(later_mask, cp->free_cpus, &p->cpus_mask)) {
12323e71d8bSLuca Abeni unsigned long cap, max_cap = 0;
12423e71d8bSLuca Abeni int cpu, max_cpu = -1;
125b4118988SLuca Abeni
126*740cf8a7SDietmar Eggemann if (!sched_asym_cpucap_active())
127b4118988SLuca Abeni return 1;
128b4118988SLuca Abeni
129b4118988SLuca Abeni /* Ensure the capacity of the CPUs fits the task. */
130b4118988SLuca Abeni for_each_cpu(cpu, later_mask) {
13123e71d8bSLuca Abeni if (!dl_task_fits_capacity(p, cpu)) {
132b4118988SLuca Abeni cpumask_clear_cpu(cpu, later_mask);
13323e71d8bSLuca Abeni
13423e71d8bSLuca Abeni cap = capacity_orig_of(cpu);
13523e71d8bSLuca Abeni
13623e71d8bSLuca Abeni if (cap > max_cap ||
13723e71d8bSLuca Abeni (cpu == task_cpu(p) && cap == max_cap)) {
13823e71d8bSLuca Abeni max_cap = cap;
13923e71d8bSLuca Abeni max_cpu = cpu;
14023e71d8bSLuca Abeni }
14123e71d8bSLuca Abeni }
142b4118988SLuca Abeni }
143b4118988SLuca Abeni
14423e71d8bSLuca Abeni if (cpumask_empty(later_mask))
14523e71d8bSLuca Abeni cpumask_set_cpu(max_cpu, later_mask);
14623e71d8bSLuca Abeni
1473261ed0bSByungchul Park return 1;
1483261ed0bSByungchul Park } else {
1493261ed0bSByungchul Park int best_cpu = cpudl_maximum(cp);
150c2e51382SMario Leinweber
151eec751edSJuri Lelli WARN_ON(best_cpu != -1 && !cpu_present(best_cpu));
1526bfd6d72SJuri Lelli
15395158a89SPeter Zijlstra if (cpumask_test_cpu(best_cpu, &p->cpus_mask) &&
1543261ed0bSByungchul Park dl_time_before(dl_se->deadline, cp->elements[0].dl)) {
1553261ed0bSByungchul Park if (later_mask)
1563261ed0bSByungchul Park cpumask_set_cpu(best_cpu, later_mask);
1573261ed0bSByungchul Park
1583261ed0bSByungchul Park return 1;
1593261ed0bSByungchul Park }
1603261ed0bSByungchul Park }
1613261ed0bSByungchul Park return 0;
1626bfd6d72SJuri Lelli }
1636bfd6d72SJuri Lelli
1646bfd6d72SJuri Lelli /*
16597fb7a0aSIngo Molnar * cpudl_clear - remove a CPU from the cpudl max-heap
166d8206bb3STommaso Cucinotta * @cp: the cpudl max-heap context
16797fb7a0aSIngo Molnar * @cpu: the target CPU
168d8206bb3STommaso Cucinotta *
169d8206bb3STommaso Cucinotta * Notes: assumes cpu_rq(cpu)->lock is locked
170d8206bb3STommaso Cucinotta *
171d8206bb3STommaso Cucinotta * Returns: (void)
172d8206bb3STommaso Cucinotta */
cpudl_clear(struct cpudl * cp,int cpu)173d8206bb3STommaso Cucinotta void cpudl_clear(struct cpudl *cp, int cpu)
174d8206bb3STommaso Cucinotta {
175d8206bb3STommaso Cucinotta int old_idx, new_cpu;
176d8206bb3STommaso Cucinotta unsigned long flags;
177d8206bb3STommaso Cucinotta
178d8206bb3STommaso Cucinotta WARN_ON(!cpu_present(cpu));
179d8206bb3STommaso Cucinotta
180d8206bb3STommaso Cucinotta raw_spin_lock_irqsave(&cp->lock, flags);
181d8206bb3STommaso Cucinotta
182d8206bb3STommaso Cucinotta old_idx = cp->elements[cpu].idx;
183d8206bb3STommaso Cucinotta if (old_idx == IDX_INVALID) {
184d8206bb3STommaso Cucinotta /*
185d8206bb3STommaso Cucinotta * Nothing to remove if old_idx was invalid.
186d8206bb3STommaso Cucinotta * This could happen if a rq_offline_dl is
187d8206bb3STommaso Cucinotta * called for a CPU without -dl tasks running.
188d8206bb3STommaso Cucinotta */
189d8206bb3STommaso Cucinotta } else {
190d8206bb3STommaso Cucinotta new_cpu = cp->elements[cp->size - 1].cpu;
191d8206bb3STommaso Cucinotta cp->elements[old_idx].dl = cp->elements[cp->size - 1].dl;
192d8206bb3STommaso Cucinotta cp->elements[old_idx].cpu = new_cpu;
193d8206bb3STommaso Cucinotta cp->size--;
194d8206bb3STommaso Cucinotta cp->elements[new_cpu].idx = old_idx;
195d8206bb3STommaso Cucinotta cp->elements[cpu].idx = IDX_INVALID;
196d8206bb3STommaso Cucinotta cpudl_heapify(cp, old_idx);
197d8206bb3STommaso Cucinotta
198d8206bb3STommaso Cucinotta cpumask_set_cpu(cpu, cp->free_cpus);
199d8206bb3STommaso Cucinotta }
200d8206bb3STommaso Cucinotta raw_spin_unlock_irqrestore(&cp->lock, flags);
201d8206bb3STommaso Cucinotta }
202d8206bb3STommaso Cucinotta
203d8206bb3STommaso Cucinotta /*
2046bfd6d72SJuri Lelli * cpudl_set - update the cpudl max-heap
2056bfd6d72SJuri Lelli * @cp: the cpudl max-heap context
20697fb7a0aSIngo Molnar * @cpu: the target CPU
20797fb7a0aSIngo Molnar * @dl: the new earliest deadline for this CPU
2086bfd6d72SJuri Lelli *
2096bfd6d72SJuri Lelli * Notes: assumes cpu_rq(cpu)->lock is locked
2106bfd6d72SJuri Lelli *
2116bfd6d72SJuri Lelli * Returns: (void)
2126bfd6d72SJuri Lelli */
cpudl_set(struct cpudl * cp,int cpu,u64 dl)213d8206bb3STommaso Cucinotta void cpudl_set(struct cpudl *cp, int cpu, u64 dl)
2146bfd6d72SJuri Lelli {
215d8206bb3STommaso Cucinotta int old_idx;
2166bfd6d72SJuri Lelli unsigned long flags;
2176bfd6d72SJuri Lelli
21882b95800SBoris Ostrovsky WARN_ON(!cpu_present(cpu));
2196bfd6d72SJuri Lelli
2206bfd6d72SJuri Lelli raw_spin_lock_irqsave(&cp->lock, flags);
221d8206bb3STommaso Cucinotta
222944770abSPeter Zijlstra old_idx = cp->elements[cpu].idx;
2236bfd6d72SJuri Lelli if (old_idx == IDX_INVALID) {
224126b3b68STommaso Cucinotta int new_idx = cp->size++;
225c2e51382SMario Leinweber
226126b3b68STommaso Cucinotta cp->elements[new_idx].dl = dl;
227126b3b68STommaso Cucinotta cp->elements[new_idx].cpu = cpu;
228126b3b68STommaso Cucinotta cp->elements[cpu].idx = new_idx;
229126b3b68STommaso Cucinotta cpudl_heapify_up(cp, new_idx);
2306bfd6d72SJuri Lelli cpumask_clear_cpu(cpu, cp->free_cpus);
2316bfd6d72SJuri Lelli } else {
232126b3b68STommaso Cucinotta cp->elements[old_idx].dl = dl;
233126b3b68STommaso Cucinotta cpudl_heapify(cp, old_idx);
2346bfd6d72SJuri Lelli }
2356bfd6d72SJuri Lelli
2366bfd6d72SJuri Lelli raw_spin_unlock_irqrestore(&cp->lock, flags);
2376bfd6d72SJuri Lelli }
2386bfd6d72SJuri Lelli
2396bfd6d72SJuri Lelli /*
24016b26943SXunlei Pang * cpudl_set_freecpu - Set the cpudl.free_cpus
24116b26943SXunlei Pang * @cp: the cpudl max-heap context
24297fb7a0aSIngo Molnar * @cpu: rd attached CPU
24316b26943SXunlei Pang */
cpudl_set_freecpu(struct cpudl * cp,int cpu)24416b26943SXunlei Pang void cpudl_set_freecpu(struct cpudl *cp, int cpu)
24516b26943SXunlei Pang {
24616b26943SXunlei Pang cpumask_set_cpu(cpu, cp->free_cpus);
24716b26943SXunlei Pang }
24816b26943SXunlei Pang
24916b26943SXunlei Pang /*
25016b26943SXunlei Pang * cpudl_clear_freecpu - Clear the cpudl.free_cpus
25116b26943SXunlei Pang * @cp: the cpudl max-heap context
25297fb7a0aSIngo Molnar * @cpu: rd attached CPU
25316b26943SXunlei Pang */
cpudl_clear_freecpu(struct cpudl * cp,int cpu)25416b26943SXunlei Pang void cpudl_clear_freecpu(struct cpudl *cp, int cpu)
25516b26943SXunlei Pang {
25616b26943SXunlei Pang cpumask_clear_cpu(cpu, cp->free_cpus);
25716b26943SXunlei Pang }
25816b26943SXunlei Pang
25916b26943SXunlei Pang /*
2606bfd6d72SJuri Lelli * cpudl_init - initialize the cpudl structure
2616bfd6d72SJuri Lelli * @cp: the cpudl max-heap context
2626bfd6d72SJuri Lelli */
cpudl_init(struct cpudl * cp)2636bfd6d72SJuri Lelli int cpudl_init(struct cpudl *cp)
2646bfd6d72SJuri Lelli {
2656bfd6d72SJuri Lelli int i;
2666bfd6d72SJuri Lelli
2676bfd6d72SJuri Lelli raw_spin_lock_init(&cp->lock);
2686bfd6d72SJuri Lelli cp->size = 0;
269944770abSPeter Zijlstra
270944770abSPeter Zijlstra cp->elements = kcalloc(nr_cpu_ids,
271944770abSPeter Zijlstra sizeof(struct cpudl_item),
272944770abSPeter Zijlstra GFP_KERNEL);
273944770abSPeter Zijlstra if (!cp->elements)
2746bfd6d72SJuri Lelli return -ENOMEM;
275944770abSPeter Zijlstra
27616b26943SXunlei Pang if (!zalloc_cpumask_var(&cp->free_cpus, GFP_KERNEL)) {
277944770abSPeter Zijlstra kfree(cp->elements);
278944770abSPeter Zijlstra return -ENOMEM;
279944770abSPeter Zijlstra }
280944770abSPeter Zijlstra
281944770abSPeter Zijlstra for_each_possible_cpu(i)
282944770abSPeter Zijlstra cp->elements[i].idx = IDX_INVALID;
283944770abSPeter Zijlstra
2846bfd6d72SJuri Lelli return 0;
2856bfd6d72SJuri Lelli }
2866bfd6d72SJuri Lelli
2876bfd6d72SJuri Lelli /*
2886bfd6d72SJuri Lelli * cpudl_cleanup - clean up the cpudl structure
2896bfd6d72SJuri Lelli * @cp: the cpudl max-heap context
2906bfd6d72SJuri Lelli */
cpudl_cleanup(struct cpudl * cp)2916bfd6d72SJuri Lelli void cpudl_cleanup(struct cpudl *cp)
2926bfd6d72SJuri Lelli {
2936a7cd273SLi Zefan free_cpumask_var(cp->free_cpus);
294944770abSPeter Zijlstra kfree(cp->elements);
2956bfd6d72SJuri Lelli }
296