Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 1 | /* |
| 2 | * functions about threads. |
| 3 | * |
| 4 | * Copyright (C) 2017 Christopher Fauet - cfaulet@haproxy.com |
| 5 | * |
| 6 | * This program is free software; you can redistribute it and/or |
| 7 | * modify it under the terms of the GNU General Public License |
| 8 | * as published by the Free Software Foundation; either version |
| 9 | * 2 of the License, or (at your option) any later version. |
| 10 | * |
| 11 | */ |
| 12 | |
Willy Tarreau | 149ab77 | 2019-01-26 14:27:06 +0100 | [diff] [blame] | 13 | #define _GNU_SOURCE |
Christopher Faulet | 339fff8 | 2017-10-19 11:59:15 +0200 | [diff] [blame] | 14 | #include <unistd.h> |
Willy Tarreau | 0ccd322 | 2018-07-30 10:34:35 +0200 | [diff] [blame] | 15 | #include <stdlib.h> |
Christopher Faulet | 339fff8 | 2017-10-19 11:59:15 +0200 | [diff] [blame] | 16 | #include <fcntl.h> |
| 17 | |
Willy Tarreau | 149ab77 | 2019-01-26 14:27:06 +0100 | [diff] [blame] | 18 | #ifdef USE_CPU_AFFINITY |
| 19 | #include <sched.h> |
| 20 | #endif |
| 21 | |
Olivier Houchard | 46453d3 | 2019-04-11 00:06:47 +0200 | [diff] [blame] | 22 | #ifdef __FreeBSD__ |
| 23 | #include <sys/cpuset.h> |
| 24 | #endif |
| 25 | |
Willy Tarreau | 6be7849 | 2020-06-05 00:00:29 +0200 | [diff] [blame] | 26 | #include <haproxy/cfgparse.h> |
Willy Tarreau | b255105 | 2020-06-09 09:07:15 +0200 | [diff] [blame] | 27 | #include <haproxy/fd.h> |
| 28 | #include <haproxy/global.h> |
Willy Tarreau | 3f567e4 | 2020-05-28 15:29:19 +0200 | [diff] [blame] | 29 | #include <haproxy/thread.h> |
Willy Tarreau | 48fbcae | 2020-06-03 18:09:46 +0200 | [diff] [blame] | 30 | #include <haproxy/tools.h> |
Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 31 | |
David Carlier | a92c5ce | 2019-09-13 05:03:12 +0100 | [diff] [blame] | 32 | struct thread_info ha_thread_info[MAX_THREADS] = { }; |
| 33 | THREAD_LOCAL struct thread_info *ti = &ha_thread_info[0]; |
Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 34 | |
| 35 | #ifdef USE_THREAD |
| 36 | |
Willy Tarreau | 56c3b8b | 2021-04-10 17:28:18 +0200 | [diff] [blame] | 37 | volatile unsigned long threads_want_rdv_mask __read_mostly = 0; |
Willy Tarreau | 60b639c | 2018-08-02 10:16:17 +0200 | [diff] [blame] | 38 | volatile unsigned long threads_harmless_mask = 0; |
Willy Tarreau | 9a1f573 | 2019-06-09 12:20:02 +0200 | [diff] [blame] | 39 | volatile unsigned long threads_sync_mask = 0; |
Willy Tarreau | 56c3b8b | 2021-04-10 17:28:18 +0200 | [diff] [blame] | 40 | volatile unsigned long all_threads_mask __read_mostly = 1; // nbthread 1 assumed by default |
Willy Tarreau | 0c026f4 | 2018-08-01 19:12:20 +0200 | [diff] [blame] | 41 | THREAD_LOCAL unsigned int tid = 0; |
| 42 | THREAD_LOCAL unsigned long tid_bit = (1UL << 0); |
Willy Tarreau | 149ab77 | 2019-01-26 14:27:06 +0100 | [diff] [blame] | 43 | int thread_cpus_enabled_at_boot = 1; |
Willy Tarreau | 0c026f4 | 2018-08-01 19:12:20 +0200 | [diff] [blame] | 44 | |
Christopher Faulet | 339fff8 | 2017-10-19 11:59:15 +0200 | [diff] [blame] | 45 | |
Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 46 | #if defined(DEBUG_THREAD) || defined(DEBUG_FULL) |
| 47 | struct lock_stat lock_stats[LOCK_LABELS]; |
| 48 | #endif |
| 49 | |
Willy Tarreau | 60b639c | 2018-08-02 10:16:17 +0200 | [diff] [blame] | 50 | /* Marks the thread as harmless until the last thread using the rendez-vous |
Christopher Faulet | a9a9e9a | 2021-03-25 14:11:36 +0100 | [diff] [blame] | 51 | * point quits, excluding the current one. Thus an isolated thread may be safely |
| 52 | * marked as harmless. Given that we can wait for a long time, sched_yield() is |
| 53 | * used when available to offer the CPU resources to competing threads if |
| 54 | * needed. |
Willy Tarreau | 60b639c | 2018-08-02 10:16:17 +0200 | [diff] [blame] | 55 | */ |
| 56 | void thread_harmless_till_end() |
| 57 | { |
Olivier Houchard | b23a61f | 2019-03-08 18:51:17 +0100 | [diff] [blame] | 58 | _HA_ATOMIC_OR(&threads_harmless_mask, tid_bit); |
Christopher Faulet | 76b4419 | 2021-04-16 11:33:39 +0200 | [diff] [blame] | 59 | while (threads_want_rdv_mask & all_threads_mask & ~tid_bit) { |
Willy Tarreau | 38171da | 2019-05-17 16:33:13 +0200 | [diff] [blame] | 60 | ha_thread_relax(); |
Willy Tarreau | 60b639c | 2018-08-02 10:16:17 +0200 | [diff] [blame] | 61 | } |
| 62 | } |
| 63 | |
| 64 | /* Isolates the current thread : request the ability to work while all other |
| 65 | * threads are harmless. Only returns once all of them are harmless, with the |
| 66 | * current thread's bit in threads_harmless_mask cleared. Needs to be completed |
| 67 | * using thread_release(). |
| 68 | */ |
| 69 | void thread_isolate() |
| 70 | { |
| 71 | unsigned long old; |
| 72 | |
Olivier Houchard | b23a61f | 2019-03-08 18:51:17 +0100 | [diff] [blame] | 73 | _HA_ATOMIC_OR(&threads_harmless_mask, tid_bit); |
| 74 | __ha_barrier_atomic_store(); |
| 75 | _HA_ATOMIC_OR(&threads_want_rdv_mask, tid_bit); |
Willy Tarreau | 60b639c | 2018-08-02 10:16:17 +0200 | [diff] [blame] | 76 | |
| 77 | /* wait for all threads to become harmless */ |
| 78 | old = threads_harmless_mask; |
| 79 | while (1) { |
| 80 | if (unlikely((old & all_threads_mask) != all_threads_mask)) |
| 81 | old = threads_harmless_mask; |
Olivier Houchard | b23a61f | 2019-03-08 18:51:17 +0100 | [diff] [blame] | 82 | else if (_HA_ATOMIC_CAS(&threads_harmless_mask, &old, old & ~tid_bit)) |
Willy Tarreau | 60b639c | 2018-08-02 10:16:17 +0200 | [diff] [blame] | 83 | break; |
| 84 | |
Willy Tarreau | 38171da | 2019-05-17 16:33:13 +0200 | [diff] [blame] | 85 | ha_thread_relax(); |
Willy Tarreau | 60b639c | 2018-08-02 10:16:17 +0200 | [diff] [blame] | 86 | } |
| 87 | /* one thread gets released at a time here, with its harmess bit off. |
| 88 | * The loss of this bit makes the other one continue to spin while the |
| 89 | * thread is working alone. |
| 90 | */ |
| 91 | } |
| 92 | |
| 93 | /* Cancels the effect of thread_isolate() by releasing the current thread's bit |
| 94 | * in threads_want_rdv_mask and by marking this thread as harmless until the |
| 95 | * last worker finishes. |
| 96 | */ |
| 97 | void thread_release() |
| 98 | { |
Olivier Houchard | b23a61f | 2019-03-08 18:51:17 +0100 | [diff] [blame] | 99 | _HA_ATOMIC_AND(&threads_want_rdv_mask, ~tid_bit); |
Willy Tarreau | 31cba0d | 2019-06-09 08:44:19 +0200 | [diff] [blame] | 100 | while (threads_want_rdv_mask & all_threads_mask) { |
| 101 | _HA_ATOMIC_OR(&threads_harmless_mask, tid_bit); |
| 102 | while (threads_want_rdv_mask & all_threads_mask) |
| 103 | ha_thread_relax(); |
| 104 | HA_ATOMIC_AND(&threads_harmless_mask, ~tid_bit); |
| 105 | } |
Willy Tarreau | 60b639c | 2018-08-02 10:16:17 +0200 | [diff] [blame] | 106 | } |
Christopher Faulet | 339fff8 | 2017-10-19 11:59:15 +0200 | [diff] [blame] | 107 | |
Willy Tarreau | 9a1f573 | 2019-06-09 12:20:02 +0200 | [diff] [blame] | 108 | /* Cancels the effect of thread_isolate() by releasing the current thread's bit |
| 109 | * in threads_want_rdv_mask and by marking this thread as harmless until the |
| 110 | * last worker finishes. The difference with thread_release() is that this one |
| 111 | * will not leave the function before others are notified to do the same, so it |
| 112 | * guarantees that the current thread will not pass through a subsequent call |
| 113 | * to thread_isolate() before others finish. |
| 114 | */ |
| 115 | void thread_sync_release() |
| 116 | { |
| 117 | _HA_ATOMIC_OR(&threads_sync_mask, tid_bit); |
| 118 | __ha_barrier_atomic_store(); |
| 119 | _HA_ATOMIC_AND(&threads_want_rdv_mask, ~tid_bit); |
| 120 | |
| 121 | while (threads_want_rdv_mask & all_threads_mask) { |
| 122 | _HA_ATOMIC_OR(&threads_harmless_mask, tid_bit); |
| 123 | while (threads_want_rdv_mask & all_threads_mask) |
| 124 | ha_thread_relax(); |
| 125 | HA_ATOMIC_AND(&threads_harmless_mask, ~tid_bit); |
| 126 | } |
| 127 | |
| 128 | /* the current thread is not harmless anymore, thread_isolate() |
| 129 | * is forced to wait till all waiters finish. |
| 130 | */ |
| 131 | _HA_ATOMIC_AND(&threads_sync_mask, ~tid_bit); |
| 132 | while (threads_sync_mask & all_threads_mask) |
| 133 | ha_thread_relax(); |
| 134 | } |
| 135 | |
Willy Tarreau | 2beaaf7 | 2019-05-22 08:43:34 +0200 | [diff] [blame] | 136 | /* send signal <sig> to thread <thr> */ |
| 137 | void ha_tkill(unsigned int thr, int sig) |
| 138 | { |
David Carlier | a92c5ce | 2019-09-13 05:03:12 +0100 | [diff] [blame] | 139 | pthread_kill(ha_thread_info[thr].pthread, sig); |
Willy Tarreau | 2beaaf7 | 2019-05-22 08:43:34 +0200 | [diff] [blame] | 140 | } |
| 141 | |
| 142 | /* send signal <sig> to all threads. The calling thread is signaled last in |
| 143 | * order to allow all threads to synchronize in the handler. |
| 144 | */ |
| 145 | void ha_tkillall(int sig) |
| 146 | { |
| 147 | unsigned int thr; |
| 148 | |
| 149 | for (thr = 0; thr < global.nbthread; thr++) { |
| 150 | if (!(all_threads_mask & (1UL << thr))) |
| 151 | continue; |
| 152 | if (thr == tid) |
| 153 | continue; |
David Carlier | a92c5ce | 2019-09-13 05:03:12 +0100 | [diff] [blame] | 154 | pthread_kill(ha_thread_info[thr].pthread, sig); |
Willy Tarreau | 2beaaf7 | 2019-05-22 08:43:34 +0200 | [diff] [blame] | 155 | } |
| 156 | raise(sig); |
| 157 | } |
| 158 | |
Willy Tarreau | 3d18498 | 2020-10-18 10:20:59 +0200 | [diff] [blame] | 159 | /* these calls are used as callbacks at init time when debugging is on */ |
Willy Tarreau | a8ae77d | 2018-11-25 19:28:23 +0100 | [diff] [blame] | 160 | void ha_spin_init(HA_SPINLOCK_T *l) |
| 161 | { |
| 162 | HA_SPIN_INIT(l); |
| 163 | } |
| 164 | |
Willy Tarreau | 3d18498 | 2020-10-18 10:20:59 +0200 | [diff] [blame] | 165 | /* these calls are used as callbacks at init time when debugging is on */ |
Willy Tarreau | a8ae77d | 2018-11-25 19:28:23 +0100 | [diff] [blame] | 166 | void ha_rwlock_init(HA_RWLOCK_T *l) |
| 167 | { |
| 168 | HA_RWLOCK_INIT(l); |
| 169 | } |
| 170 | |
Willy Tarreau | 149ab77 | 2019-01-26 14:27:06 +0100 | [diff] [blame] | 171 | /* returns the number of CPUs the current process is enabled to run on */ |
| 172 | static int thread_cpus_enabled() |
| 173 | { |
| 174 | int ret = 1; |
| 175 | |
| 176 | #ifdef USE_CPU_AFFINITY |
| 177 | #if defined(__linux__) && defined(CPU_COUNT) |
| 178 | cpu_set_t mask; |
| 179 | |
| 180 | if (sched_getaffinity(0, sizeof(mask), &mask) == 0) |
| 181 | ret = CPU_COUNT(&mask); |
Olivier Houchard | 46453d3 | 2019-04-11 00:06:47 +0200 | [diff] [blame] | 182 | #elif defined(__FreeBSD__) && defined(USE_CPU_AFFINITY) |
| 183 | cpuset_t cpuset; |
| 184 | if (cpuset_getaffinity(CPU_LEVEL_CPUSET, CPU_WHICH_PID, -1, |
| 185 | sizeof(cpuset), &cpuset) == 0) |
| 186 | ret = CPU_COUNT(&cpuset); |
David CARLIER | 6a90601 | 2021-01-15 08:09:56 +0000 | [diff] [blame] | 187 | #elif defined(__APPLE__) |
| 188 | ret = (int)sysconf(_SC_NPROCESSORS_ONLN); |
Willy Tarreau | 149ab77 | 2019-01-26 14:27:06 +0100 | [diff] [blame] | 189 | #endif |
| 190 | #endif |
| 191 | ret = MAX(ret, 1); |
| 192 | ret = MIN(ret, MAX_THREADS); |
| 193 | return ret; |
| 194 | } |
| 195 | |
Amaury Denoyelle | 4c9efde | 2021-03-31 16:57:39 +0200 | [diff] [blame] | 196 | /* Returns 1 if the cpu set is currently restricted for the process else 0. |
| 197 | * Currently only implemented for the Linux platform. |
| 198 | */ |
| 199 | int thread_cpu_mask_forced() |
| 200 | { |
| 201 | #if defined(__linux__) |
| 202 | const int cpus_avail = sysconf(_SC_NPROCESSORS_ONLN); |
| 203 | return cpus_avail != thread_cpus_enabled(); |
| 204 | #else |
| 205 | return 0; |
| 206 | #endif |
| 207 | } |
| 208 | |
Willy Tarreau | f734ebf | 2020-09-09 17:07:54 +0200 | [diff] [blame] | 209 | /* Depending on the platform and how libpthread was built, pthread_exit() may |
| 210 | * involve some code in libgcc_s that would be loaded on exit for the first |
| 211 | * time, causing aborts if the process is chrooted. It's harmless bit very |
| 212 | * dirty. There isn't much we can do to make sure libgcc_s is loaded only if |
| 213 | * needed, so what we do here is that during early boot we create a dummy |
| 214 | * thread that immediately exits. This will lead to libgcc_s being loaded |
| 215 | * during boot on the platforms where it's required. |
| 216 | */ |
| 217 | static void *dummy_thread_function(void *data) |
| 218 | { |
| 219 | pthread_exit(NULL); |
| 220 | return NULL; |
| 221 | } |
| 222 | |
| 223 | static inline void preload_libgcc_s(void) |
| 224 | { |
| 225 | pthread_t dummy_thread; |
| 226 | pthread_create(&dummy_thread, NULL, dummy_thread_function, NULL); |
| 227 | pthread_join(dummy_thread, NULL); |
| 228 | } |
| 229 | |
Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 230 | __attribute__((constructor)) |
Willy Tarreau | 3f567e4 | 2020-05-28 15:29:19 +0200 | [diff] [blame] | 231 | static void __thread_init(void) |
Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 232 | { |
Willy Tarreau | f5809cd | 2019-01-26 13:35:03 +0100 | [diff] [blame] | 233 | char *ptr = NULL; |
| 234 | |
| 235 | if (MAX_THREADS < 1 || MAX_THREADS > LONGBITS) { |
| 236 | ha_alert("MAX_THREADS value must be between 1 and %d inclusive; " |
| 237 | "HAProxy was built with value %d, please fix it and rebuild.\n", |
| 238 | LONGBITS, MAX_THREADS); |
| 239 | exit(1); |
| 240 | } |
Willy Tarreau | 149ab77 | 2019-01-26 14:27:06 +0100 | [diff] [blame] | 241 | |
Willy Tarreau | f734ebf | 2020-09-09 17:07:54 +0200 | [diff] [blame] | 242 | preload_libgcc_s(); |
Willy Tarreau | 77b9822 | 2020-09-02 08:04:35 +0200 | [diff] [blame] | 243 | |
Willy Tarreau | 149ab77 | 2019-01-26 14:27:06 +0100 | [diff] [blame] | 244 | thread_cpus_enabled_at_boot = thread_cpus_enabled(); |
| 245 | |
| 246 | memprintf(&ptr, "Built with multi-threading support (MAX_THREADS=%d, default=%d).", |
| 247 | MAX_THREADS, thread_cpus_enabled_at_boot); |
Willy Tarreau | f5809cd | 2019-01-26 13:35:03 +0100 | [diff] [blame] | 248 | hap_register_build_opts(ptr, 1); |
| 249 | |
Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 250 | #if defined(DEBUG_THREAD) || defined(DEBUG_FULL) |
| 251 | memset(lock_stats, 0, sizeof(lock_stats)); |
| 252 | #endif |
Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 253 | } |
| 254 | |
Willy Tarreau | 8459f25 | 2018-12-15 16:48:14 +0100 | [diff] [blame] | 255 | #else |
| 256 | |
| 257 | REGISTER_BUILD_OPTS("Built without multi-threading support (USE_THREAD not set)."); |
| 258 | |
Willy Tarreau | 0ccd322 | 2018-07-30 10:34:35 +0200 | [diff] [blame] | 259 | #endif // USE_THREAD |
| 260 | |
| 261 | |
| 262 | /* Parse the number of threads in argument <arg>, returns it and adjusts a few |
| 263 | * internal variables accordingly, or fails and returns zero with an error |
| 264 | * reason in <errmsg>. May be called multiple times while parsing. |
| 265 | */ |
| 266 | int parse_nbthread(const char *arg, char **err) |
| 267 | { |
| 268 | long nbthread; |
| 269 | char *errptr; |
| 270 | |
| 271 | nbthread = strtol(arg, &errptr, 10); |
| 272 | if (!*arg || *errptr) { |
| 273 | memprintf(err, "passed a missing or unparsable integer value in '%s'", arg); |
| 274 | return 0; |
| 275 | } |
| 276 | |
| 277 | #ifndef USE_THREAD |
| 278 | if (nbthread != 1) { |
| 279 | memprintf(err, "specified with a value other than 1 while HAProxy is not compiled with threads support. Please check build options for USE_THREAD"); |
| 280 | return 0; |
| 281 | } |
| 282 | #else |
| 283 | if (nbthread < 1 || nbthread > MAX_THREADS) { |
| 284 | memprintf(err, "value must be between 1 and %d (was %ld)", MAX_THREADS, nbthread); |
| 285 | return 0; |
| 286 | } |
| 287 | |
Willy Tarreau | fc64736 | 2019-02-02 17:05:03 +0100 | [diff] [blame] | 288 | all_threads_mask = nbits(nbthread); |
Christopher Faulet | 1a2b56e | 2017-10-12 16:09:09 +0200 | [diff] [blame] | 289 | #endif |
Willy Tarreau | 0ccd322 | 2018-07-30 10:34:35 +0200 | [diff] [blame] | 290 | return nbthread; |
| 291 | } |