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