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 | } |