xf.li | bdd93d5 | 2023-05-12 07:10:14 -0700 | [diff] [blame^] | 1 | /* Thread Priority Protect helpers. |
| 2 | Copyright (C) 2006-2016 Free Software Foundation, Inc. |
| 3 | This file is part of the GNU C Library. |
| 4 | Contributed by Jakub Jelinek <jakub@redhat.com>, 2006. |
| 5 | |
| 6 | The GNU C Library is free software; you can redistribute it and/or |
| 7 | modify it under the terms of the GNU Lesser General Public |
| 8 | License as published by the Free Software Foundation; either |
| 9 | version 2.1 of the License, or (at your option) any later version. |
| 10 | |
| 11 | The GNU C Library is distributed in the hope that it will be useful, |
| 12 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 14 | Lesser General Public License for more details. |
| 15 | |
| 16 | You should have received a copy of the GNU Lesser General Public |
| 17 | License along with the GNU C Library; if not, see |
| 18 | <http://www.gnu.org/licenses/>. */ |
| 19 | |
| 20 | #include <assert.h> |
| 21 | #include <atomic.h> |
| 22 | #include <errno.h> |
| 23 | #include <pthreadP.h> |
| 24 | #include <sched.h> |
| 25 | #include <stdlib.h> |
| 26 | #include <atomic.h> |
| 27 | |
| 28 | |
| 29 | int __sched_fifo_min_prio = -1; |
| 30 | int __sched_fifo_max_prio = -1; |
| 31 | |
| 32 | /* We only want to initialize __sched_fifo_min_prio and __sched_fifo_max_prio |
| 33 | once. The standard solution would be similar to pthread_once, but then |
| 34 | readers would need to use an acquire fence. In this specific case, |
| 35 | initialization is comprised of just idempotent writes to two variables |
| 36 | that have an initial value of -1. Therefore, we can treat each variable as |
| 37 | a separate, at-least-once initialized value. This enables using just |
| 38 | relaxed MO loads and stores, but requires that consumers check for |
| 39 | initialization of each value that is to be used; see |
| 40 | __pthread_tpp_change_priority for an example. |
| 41 | */ |
| 42 | void |
| 43 | __init_sched_fifo_prio (void) |
| 44 | { |
| 45 | atomic_store_relaxed (&__sched_fifo_max_prio, |
| 46 | sched_get_priority_max (SCHED_FIFO)); |
| 47 | atomic_store_relaxed (&__sched_fifo_min_prio, |
| 48 | sched_get_priority_min (SCHED_FIFO)); |
| 49 | } |
| 50 | |
| 51 | int |
| 52 | __pthread_tpp_change_priority (int previous_prio, int new_prio) |
| 53 | { |
| 54 | struct pthread *self = THREAD_SELF; |
| 55 | struct priority_protection_data *tpp = THREAD_GETMEM (self, tpp); |
| 56 | int fifo_min_prio = atomic_load_relaxed (&__sched_fifo_min_prio); |
| 57 | int fifo_max_prio = atomic_load_relaxed (&__sched_fifo_max_prio); |
| 58 | |
| 59 | if (tpp == NULL) |
| 60 | { |
| 61 | /* See __init_sched_fifo_prio. We need both the min and max prio, |
| 62 | so need to check both, and run initialization if either one is |
| 63 | not initialized. The memory model's write-read coherence rule |
| 64 | makes this work. */ |
| 65 | if (fifo_min_prio == -1 || fifo_max_prio == -1) |
| 66 | { |
| 67 | __init_sched_fifo_prio (); |
| 68 | fifo_min_prio = atomic_load_relaxed (&__sched_fifo_min_prio); |
| 69 | fifo_max_prio = atomic_load_relaxed (&__sched_fifo_max_prio); |
| 70 | } |
| 71 | |
| 72 | size_t size = sizeof *tpp; |
| 73 | size += (fifo_max_prio - fifo_min_prio + 1) |
| 74 | * sizeof (tpp->priomap[0]); |
| 75 | tpp = calloc (size, 1); |
| 76 | if (tpp == NULL) |
| 77 | return ENOMEM; |
| 78 | tpp->priomax = fifo_min_prio - 1; |
| 79 | THREAD_SETMEM (self, tpp, tpp); |
| 80 | } |
| 81 | |
| 82 | assert (new_prio == -1 |
| 83 | || (new_prio >= fifo_min_prio |
| 84 | && new_prio <= fifo_max_prio)); |
| 85 | assert (previous_prio == -1 |
| 86 | || (previous_prio >= fifo_min_prio |
| 87 | && previous_prio <= fifo_max_prio)); |
| 88 | |
| 89 | int priomax = tpp->priomax; |
| 90 | int newpriomax = priomax; |
| 91 | if (new_prio != -1) |
| 92 | { |
| 93 | if (tpp->priomap[new_prio - fifo_min_prio] + 1 == 0) |
| 94 | return EAGAIN; |
| 95 | ++tpp->priomap[new_prio - fifo_min_prio]; |
| 96 | if (new_prio > priomax) |
| 97 | newpriomax = new_prio; |
| 98 | } |
| 99 | |
| 100 | if (previous_prio != -1) |
| 101 | { |
| 102 | if (--tpp->priomap[previous_prio - fifo_min_prio] == 0 |
| 103 | && priomax == previous_prio |
| 104 | && previous_prio > new_prio) |
| 105 | { |
| 106 | int i; |
| 107 | for (i = previous_prio - 1; i >= fifo_min_prio; --i) |
| 108 | if (tpp->priomap[i - fifo_min_prio]) |
| 109 | break; |
| 110 | newpriomax = i; |
| 111 | } |
| 112 | } |
| 113 | |
| 114 | if (priomax == newpriomax) |
| 115 | return 0; |
| 116 | |
| 117 | lll_lock (self->lock, LLL_PRIVATE); |
| 118 | |
| 119 | tpp->priomax = newpriomax; |
| 120 | |
| 121 | int result = 0; |
| 122 | |
| 123 | if ((self->flags & ATTR_FLAG_SCHED_SET) == 0) |
| 124 | { |
| 125 | if (__sched_getparam (self->tid, &self->schedparam) != 0) |
| 126 | result = errno; |
| 127 | else |
| 128 | self->flags |= ATTR_FLAG_SCHED_SET; |
| 129 | } |
| 130 | |
| 131 | if ((self->flags & ATTR_FLAG_POLICY_SET) == 0) |
| 132 | { |
| 133 | self->schedpolicy = __sched_getscheduler (self->tid); |
| 134 | if (self->schedpolicy == -1) |
| 135 | result = errno; |
| 136 | else |
| 137 | self->flags |= ATTR_FLAG_POLICY_SET; |
| 138 | } |
| 139 | |
| 140 | if (result == 0) |
| 141 | { |
| 142 | struct sched_param sp = self->schedparam; |
| 143 | if (sp.sched_priority < newpriomax || sp.sched_priority < priomax) |
| 144 | { |
| 145 | if (sp.sched_priority < newpriomax) |
| 146 | sp.sched_priority = newpriomax; |
| 147 | |
| 148 | if (__sched_setscheduler (self->tid, self->schedpolicy, &sp) < 0) |
| 149 | result = errno; |
| 150 | } |
| 151 | } |
| 152 | |
| 153 | lll_unlock (self->lock, LLL_PRIVATE); |
| 154 | |
| 155 | return result; |
| 156 | } |
| 157 | |
| 158 | int |
| 159 | __pthread_current_priority (void) |
| 160 | { |
| 161 | struct pthread *self = THREAD_SELF; |
| 162 | if ((self->flags & (ATTR_FLAG_POLICY_SET | ATTR_FLAG_SCHED_SET)) |
| 163 | == (ATTR_FLAG_POLICY_SET | ATTR_FLAG_SCHED_SET)) |
| 164 | return self->schedparam.sched_priority; |
| 165 | |
| 166 | int result = 0; |
| 167 | |
| 168 | lll_lock (self->lock, LLL_PRIVATE); |
| 169 | |
| 170 | if ((self->flags & ATTR_FLAG_SCHED_SET) == 0) |
| 171 | { |
| 172 | if (__sched_getparam (self->tid, &self->schedparam) != 0) |
| 173 | result = -1; |
| 174 | else |
| 175 | self->flags |= ATTR_FLAG_SCHED_SET; |
| 176 | } |
| 177 | |
| 178 | if ((self->flags & ATTR_FLAG_POLICY_SET) == 0) |
| 179 | { |
| 180 | self->schedpolicy = __sched_getscheduler (self->tid); |
| 181 | if (self->schedpolicy == -1) |
| 182 | result = -1; |
| 183 | else |
| 184 | self->flags |= ATTR_FLAG_POLICY_SET; |
| 185 | } |
| 186 | |
| 187 | if (result != -1) |
| 188 | result = self->schedparam.sched_priority; |
| 189 | |
| 190 | lll_unlock (self->lock, LLL_PRIVATE); |
| 191 | |
| 192 | return result; |
| 193 | } |