| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 1 | /* | 
 | 2 |  *  kernel/sched_cpupri.c | 
 | 3 |  * | 
 | 4 |  *  CPU priority management | 
 | 5 |  * | 
 | 6 |  *  Copyright (C) 2007-2008 Novell | 
 | 7 |  * | 
 | 8 |  *  Author: Gregory Haskins <ghaskins@novell.com> | 
 | 9 |  * | 
 | 10 |  *  This code tracks the priority of each CPU so that global migration | 
 | 11 |  *  decisions are easy to calculate.  Each CPU can be in a state as follows: | 
 | 12 |  * | 
 | 13 |  *                 (INVALID), IDLE, NORMAL, RT1, ... RT99 | 
 | 14 |  * | 
 | 15 |  *  going from the lowest priority to the highest.  CPUs in the INVALID state | 
 | 16 |  *  are not eligible for routing.  The system maintains this state with | 
 | 17 |  *  a 2 dimensional bitmap (the first for priority class, the second for cpus | 
 | 18 |  *  in that class).  Therefore a typical application without affinity | 
 | 19 |  *  restrictions can find a suitable CPU with O(1) complexity (e.g. two bit | 
 | 20 |  *  searches).  For tasks with affinity restrictions, the algorithm has a | 
 | 21 |  *  worst case complexity of O(min(102, nr_domcpus)), though the scenario that | 
 | 22 |  *  yields the worst case search is fairly contrived. | 
 | 23 |  * | 
 | 24 |  *  This program is free software; you can redistribute it and/or | 
 | 25 |  *  modify it under the terms of the GNU General Public License | 
 | 26 |  *  as published by the Free Software Foundation; version 2 | 
 | 27 |  *  of the License. | 
 | 28 |  */ | 
 | 29 |  | 
 | 30 | #include "sched_cpupri.h" | 
 | 31 |  | 
 | 32 | /* Convert between a 140 based task->prio, and our 102 based cpupri */ | 
 | 33 | static int convert_prio(int prio) | 
 | 34 | { | 
 | 35 | 	int cpupri; | 
 | 36 |  | 
 | 37 | 	if (prio == CPUPRI_INVALID) | 
 | 38 | 		cpupri = CPUPRI_INVALID; | 
 | 39 | 	else if (prio == MAX_PRIO) | 
 | 40 | 		cpupri = CPUPRI_IDLE; | 
 | 41 | 	else if (prio >= MAX_RT_PRIO) | 
 | 42 | 		cpupri = CPUPRI_NORMAL; | 
 | 43 | 	else | 
 | 44 | 		cpupri = MAX_RT_PRIO - prio + 1; | 
 | 45 |  | 
 | 46 | 	return cpupri; | 
 | 47 | } | 
 | 48 |  | 
 | 49 | #define for_each_cpupri_active(array, idx)                    \ | 
| Akinobu Mita | 984b3f5 | 2010-03-05 13:41:37 -0800 | [diff] [blame] | 50 | 	for_each_set_bit(idx, array, CPUPRI_NR_PRIORITIES) | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 51 |  | 
 | 52 | /** | 
 | 53 |  * cpupri_find - find the best (lowest-pri) CPU in the system | 
 | 54 |  * @cp: The cpupri context | 
 | 55 |  * @p: The task | 
| Rusty Russell | 13b8bd0 | 2009-03-25 15:01:22 +1030 | [diff] [blame] | 56 |  * @lowest_mask: A mask to fill in with selected CPUs (or NULL) | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 57 |  * | 
 | 58 |  * Note: This function returns the recommended CPUs as calculated during the | 
| Adam Buchbinder | 2a61aa4 | 2009-12-11 16:35:40 -0500 | [diff] [blame] | 59 |  * current invocation.  By the time the call returns, the CPUs may have in | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 60 |  * fact changed priorities any number of times.  While not ideal, it is not | 
 | 61 |  * an issue of correctness since the normal rebalancer logic will correct | 
 | 62 |  * any discrepancies created by racing against the uncertainty of the current | 
 | 63 |  * priority configuration. | 
 | 64 |  * | 
 | 65 |  * Returns: (int)bool - CPUs were found | 
 | 66 |  */ | 
 | 67 | int cpupri_find(struct cpupri *cp, struct task_struct *p, | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 68 | 		struct cpumask *lowest_mask) | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 69 | { | 
 | 70 | 	int                  idx      = 0; | 
 | 71 | 	int                  task_pri = convert_prio(p->prio); | 
 | 72 |  | 
 | 73 | 	for_each_cpupri_active(cp->pri_active, idx) { | 
 | 74 | 		struct cpupri_vec *vec  = &cp->pri_to_cpu[idx]; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 75 |  | 
 | 76 | 		if (idx >= task_pri) | 
 | 77 | 			break; | 
 | 78 |  | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 79 | 		if (cpumask_any_and(&p->cpus_allowed, vec->mask) >= nr_cpu_ids) | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 80 | 			continue; | 
 | 81 |  | 
| Gregory Haskins | 07903af | 2009-07-30 10:57:28 -0400 | [diff] [blame] | 82 | 		if (lowest_mask) { | 
| Rusty Russell | 13b8bd0 | 2009-03-25 15:01:22 +1030 | [diff] [blame] | 83 | 			cpumask_and(lowest_mask, &p->cpus_allowed, vec->mask); | 
| Gregory Haskins | 07903af | 2009-07-30 10:57:28 -0400 | [diff] [blame] | 84 |  | 
 | 85 | 			/* | 
 | 86 | 			 * We have to ensure that we have at least one bit | 
 | 87 | 			 * still set in the array, since the map could have | 
 | 88 | 			 * been concurrently emptied between the first and | 
 | 89 | 			 * second reads of vec->mask.  If we hit this | 
 | 90 | 			 * condition, simply act as though we never hit this | 
 | 91 | 			 * priority level and continue on. | 
 | 92 | 			 */ | 
 | 93 | 			if (cpumask_any(lowest_mask) >= nr_cpu_ids) | 
 | 94 | 				continue; | 
 | 95 | 		} | 
 | 96 |  | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 97 | 		return 1; | 
 | 98 | 	} | 
 | 99 |  | 
 | 100 | 	return 0; | 
 | 101 | } | 
 | 102 |  | 
 | 103 | /** | 
 | 104 |  * cpupri_set - update the cpu priority setting | 
 | 105 |  * @cp: The cpupri context | 
 | 106 |  * @cpu: The target cpu | 
 | 107 |  * @pri: The priority (INVALID-RT99) to assign to this CPU | 
 | 108 |  * | 
 | 109 |  * Note: Assumes cpu_rq(cpu)->lock is locked | 
 | 110 |  * | 
 | 111 |  * Returns: (void) | 
 | 112 |  */ | 
 | 113 | void cpupri_set(struct cpupri *cp, int cpu, int newpri) | 
 | 114 | { | 
 | 115 | 	int                 *currpri = &cp->cpu_to_pri[cpu]; | 
 | 116 | 	int                  oldpri  = *currpri; | 
 | 117 | 	unsigned long        flags; | 
 | 118 |  | 
 | 119 | 	newpri = convert_prio(newpri); | 
 | 120 |  | 
 | 121 | 	BUG_ON(newpri >= CPUPRI_NR_PRIORITIES); | 
 | 122 |  | 
 | 123 | 	if (newpri == oldpri) | 
 | 124 | 		return; | 
 | 125 |  | 
 | 126 | 	/* | 
 | 127 | 	 * If the cpu was currently mapped to a different value, we | 
| Steven Rostedt | c3a2ae3 | 2009-07-29 00:21:23 -0400 | [diff] [blame] | 128 | 	 * need to map it to the new value then remove the old value. | 
 | 129 | 	 * Note, we must add the new value first, otherwise we risk the | 
 | 130 | 	 * cpu being cleared from pri_active, and this cpu could be | 
 | 131 | 	 * missed for a push or pull. | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 132 | 	 */ | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 133 | 	if (likely(newpri != CPUPRI_INVALID)) { | 
 | 134 | 		struct cpupri_vec *vec = &cp->pri_to_cpu[newpri]; | 
 | 135 |  | 
| Thomas Gleixner | fe84122 | 2009-11-17 17:59:15 +0100 | [diff] [blame] | 136 | 		raw_spin_lock_irqsave(&vec->lock, flags); | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 137 |  | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 138 | 		cpumask_set_cpu(cpu, vec->mask); | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 139 | 		vec->count++; | 
 | 140 | 		if (vec->count == 1) | 
 | 141 | 			set_bit(newpri, cp->pri_active); | 
 | 142 |  | 
| Thomas Gleixner | fe84122 | 2009-11-17 17:59:15 +0100 | [diff] [blame] | 143 | 		raw_spin_unlock_irqrestore(&vec->lock, flags); | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 144 | 	} | 
| Steven Rostedt | c3a2ae3 | 2009-07-29 00:21:23 -0400 | [diff] [blame] | 145 | 	if (likely(oldpri != CPUPRI_INVALID)) { | 
 | 146 | 		struct cpupri_vec *vec  = &cp->pri_to_cpu[oldpri]; | 
 | 147 |  | 
| Thomas Gleixner | fe84122 | 2009-11-17 17:59:15 +0100 | [diff] [blame] | 148 | 		raw_spin_lock_irqsave(&vec->lock, flags); | 
| Steven Rostedt | c3a2ae3 | 2009-07-29 00:21:23 -0400 | [diff] [blame] | 149 |  | 
 | 150 | 		vec->count--; | 
 | 151 | 		if (!vec->count) | 
 | 152 | 			clear_bit(oldpri, cp->pri_active); | 
 | 153 | 		cpumask_clear_cpu(cpu, vec->mask); | 
 | 154 |  | 
| Thomas Gleixner | fe84122 | 2009-11-17 17:59:15 +0100 | [diff] [blame] | 155 | 		raw_spin_unlock_irqrestore(&vec->lock, flags); | 
| Steven Rostedt | c3a2ae3 | 2009-07-29 00:21:23 -0400 | [diff] [blame] | 156 | 	} | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 157 |  | 
 | 158 | 	*currpri = newpri; | 
 | 159 | } | 
 | 160 |  | 
 | 161 | /** | 
 | 162 |  * cpupri_init - initialize the cpupri structure | 
 | 163 |  * @cp: The cpupri context | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 164 |  * @bootmem: true if allocations need to use bootmem | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 165 |  * | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 166 |  * Returns: -ENOMEM if memory fails. | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 167 |  */ | 
| Li Zefan | fd5e1b5 | 2009-06-15 13:34:19 +0800 | [diff] [blame] | 168 | int cpupri_init(struct cpupri *cp, bool bootmem) | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 169 | { | 
| Pekka Enberg | 0fb5302 | 2009-06-11 08:41:22 +0300 | [diff] [blame] | 170 | 	gfp_t gfp = GFP_KERNEL; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 171 | 	int i; | 
 | 172 |  | 
| Pekka Enberg | 0fb5302 | 2009-06-11 08:41:22 +0300 | [diff] [blame] | 173 | 	if (bootmem) | 
 | 174 | 		gfp = GFP_NOWAIT; | 
 | 175 |  | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 176 | 	memset(cp, 0, sizeof(*cp)); | 
 | 177 |  | 
 | 178 | 	for (i = 0; i < CPUPRI_NR_PRIORITIES; i++) { | 
 | 179 | 		struct cpupri_vec *vec = &cp->pri_to_cpu[i]; | 
 | 180 |  | 
| Thomas Gleixner | fe84122 | 2009-11-17 17:59:15 +0100 | [diff] [blame] | 181 | 		raw_spin_lock_init(&vec->lock); | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 182 | 		vec->count = 0; | 
| Pekka Enberg | 0fb5302 | 2009-06-11 08:41:22 +0300 | [diff] [blame] | 183 | 		if (!zalloc_cpumask_var(&vec->mask, gfp)) | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 184 | 			goto cleanup; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 185 | 	} | 
 | 186 |  | 
 | 187 | 	for_each_possible_cpu(i) | 
 | 188 | 		cp->cpu_to_pri[i] = CPUPRI_INVALID; | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 189 | 	return 0; | 
 | 190 |  | 
 | 191 | cleanup: | 
 | 192 | 	for (i--; i >= 0; i--) | 
 | 193 | 		free_cpumask_var(cp->pri_to_cpu[i].mask); | 
 | 194 | 	return -ENOMEM; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 195 | } | 
 | 196 |  | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 197 | /** | 
 | 198 |  * cpupri_cleanup - clean up the cpupri structure | 
 | 199 |  * @cp: The cpupri context | 
 | 200 |  */ | 
 | 201 | void cpupri_cleanup(struct cpupri *cp) | 
 | 202 | { | 
 | 203 | 	int i; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 204 |  | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 205 | 	for (i = 0; i < CPUPRI_NR_PRIORITIES; i++) | 
 | 206 | 		free_cpumask_var(cp->pri_to_cpu[i].mask); | 
 | 207 | } |