| 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 | */ | 
| Li Zefan | fd5e1b5 | 2009-06-15 13:34:19 +0800 | [diff] [blame] | 169 | int cpupri_init(struct cpupri *cp, bool bootmem) | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 170 | { | 
| Pekka Enberg | 0fb5302 | 2009-06-11 08:41:22 +0300 | [diff] [blame] | 171 | gfp_t gfp = GFP_KERNEL; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 172 | int i; | 
|  | 173 |  | 
| Pekka Enberg | 0fb5302 | 2009-06-11 08:41:22 +0300 | [diff] [blame] | 174 | if (bootmem) | 
|  | 175 | gfp = GFP_NOWAIT; | 
|  | 176 |  | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 177 | memset(cp, 0, sizeof(*cp)); | 
|  | 178 |  | 
|  | 179 | for (i = 0; i < CPUPRI_NR_PRIORITIES; i++) { | 
|  | 180 | struct cpupri_vec *vec = &cp->pri_to_cpu[i]; | 
|  | 181 |  | 
| Thomas Gleixner | fe84122 | 2009-11-17 17:59:15 +0100 | [diff] [blame] | 182 | raw_spin_lock_init(&vec->lock); | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 183 | vec->count = 0; | 
| Pekka Enberg | 0fb5302 | 2009-06-11 08:41:22 +0300 | [diff] [blame] | 184 | if (!zalloc_cpumask_var(&vec->mask, gfp)) | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 185 | goto cleanup; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 186 | } | 
|  | 187 |  | 
|  | 188 | for_each_possible_cpu(i) | 
|  | 189 | cp->cpu_to_pri[i] = CPUPRI_INVALID; | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 190 | return 0; | 
|  | 191 |  | 
|  | 192 | cleanup: | 
|  | 193 | for (i--; i >= 0; i--) | 
|  | 194 | free_cpumask_var(cp->pri_to_cpu[i].mask); | 
|  | 195 | return -ENOMEM; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 196 | } | 
|  | 197 |  | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 198 | /** | 
|  | 199 | * cpupri_cleanup - clean up the cpupri structure | 
|  | 200 | * @cp: The cpupri context | 
|  | 201 | */ | 
|  | 202 | void cpupri_cleanup(struct cpupri *cp) | 
|  | 203 | { | 
|  | 204 | int i; | 
| Gregory Haskins | 6e0534f | 2008-05-12 21:21:01 +0200 | [diff] [blame] | 205 |  | 
| Rusty Russell | 68e7456 | 2008-11-25 02:35:13 +1030 | [diff] [blame] | 206 | for (i = 0; i < CPUPRI_NR_PRIORITIES; i++) | 
|  | 207 | free_cpumask_var(cp->pri_to_cpu[i].mask); | 
|  | 208 | } |