xref: /openbmc/linux/kernel/sched/cpudeadline.c (revision 4f2c0a4acffbec01079c28f839422e64ddeff004)
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