blob: fab1269f0931d400d4dfad0dd716953b37af157d [file] [log] [blame]
Willy Tarreau2bfefdb2019-05-03 13:52:18 +02001/*
2 * Thread lockup detection
3 *
4 * Copyright 2000-2019 Willy Tarreau <willy@haproxy.org>.
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#include <signal.h>
13#include <time.h>
14
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020015#include <haproxy/api.h>
Willy Tarreau55542642021-10-08 09:33:24 +020016#include <haproxy/clock.h>
Willy Tarreau2a83d602020-05-27 16:58:08 +020017#include <haproxy/debug.h>
Willy Tarreau36979d92020-06-05 17:27:29 +020018#include <haproxy/errors.h>
Willy Tarreauf268ee82020-06-04 17:05:57 +020019#include <haproxy/global.h>
Willy Tarreau7f673c22021-05-08 12:27:42 +020020#include <haproxy/signal-t.h>
Willy Tarreau3f567e42020-05-28 15:29:19 +020021#include <haproxy/thread.h>
Willy Tarreau48fbcae2020-06-03 18:09:46 +020022#include <haproxy/tools.h>
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020023
24
25/*
26 * It relies on timer_create() and timer_settime() which are only available in
27 * this case.
28 */
Willy Tarreaub474f432021-10-08 15:23:26 +020029#if defined(USE_RT) && defined(_POSIX_TIMERS) && (_POSIX_TIMERS > 0) && defined(_POSIX_THREAD_CPUTIME)
30
31/* define a dummy value to designate "no timer". Use only 32 bits. */
32#ifndef TIMER_INVALID
33#define TIMER_INVALID ((timer_t)(unsigned long)(0xfffffffful))
34#endif
35
36static timer_t per_thread_wd_timer[MAX_THREADS];
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020037
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020038/* Setup (or ping) the watchdog timer for thread <thr>. Returns non-zero on
39 * success, zero on failure. It interrupts once per second of CPU time. It
40 * happens that timers based on the CPU time are not automatically re-armed
41 * so we only use the value and leave the interval unset.
42 */
43int wdt_ping(int thr)
44{
45 struct itimerspec its;
46
47 its.it_value.tv_sec = 1; its.it_value.tv_nsec = 0;
48 its.it_interval.tv_sec = 0; its.it_interval.tv_nsec = 0;
Willy Tarreaub474f432021-10-08 15:23:26 +020049 return timer_settime(per_thread_wd_timer[thr], 0, &its, NULL) == 0;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020050}
51
52/* This is the WDTSIG signal handler */
53void wdt_handler(int sig, siginfo_t *si, void *arg)
54{
55 unsigned long long n, p;
56 int thr;
57
58 switch (si->si_code) {
59 case SI_TIMER:
60 /* A thread's timer fired, the thread ID is in si_int. We have
61 * no guarantee that the thread handling this signal is in any
62 * way related to the one triggering it, so we need to retrieve
63 * the thread number from there. Note: this thread might
64 * continue to execute in parallel.
65 */
Willy Tarreau02255b22019-05-23 08:36:29 +020066 thr = si->si_value.sival_int;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020067
68 /* cannot happen unless an unknown timer tries to play with our
69 * nerves. Let's die for now if this happens.
70 */
71 if (thr < 0 || thr >= global.nbthread)
72 break;
73
Willy Tarreau45c38e22021-09-30 18:28:49 +020074 p = ha_thread_ctx[thr].prev_cpu_time;
Willy Tarreau21694982021-10-08 15:09:17 +020075 n = now_cpu_time_thread(thr);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020076
William Lallemandae053b32022-05-13 11:03:39 +020077 /* not yet reached the deadline of 1 sec,
78 * or p wasn't initialized yet
79 */
80 if (!p || n - p < 1000000000UL)
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020081 goto update_and_leave;
82
Willy Tarreaue7475c82022-06-20 09:23:24 +020083 if ((_HA_ATOMIC_LOAD(&th_ctx->flags) & TH_FL_SLEEPING) &&
84 ((threads_harmless_mask|threads_to_dump) & (1UL << thr))) {
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020085 /* This thread is currently doing exactly nothing
86 * waiting in the poll loop (unlikely but possible),
87 * waiting for all other threads to join the rendez-vous
88 * point (common), or waiting for another thread to
89 * finish an isolated operation (unlikely but possible).
90 */
91 goto update_and_leave;
92 }
93
94 /* So the thread indeed appears locked up. In order to be
95 * certain that we're not witnessing an exceptional spike of
96 * CPU usage due to a configuration issue (like running tens
97 * of thousands of tasks in a single loop), we'll check if the
Willy Tarreaua0b99532021-09-30 18:48:37 +020098 * scheduler is still alive by setting the TH_FL_STUCK flag
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020099 * that the scheduler clears when switching to the next task.
100 * If it's already set, then it's our second call with no
101 * progress and the thread is dead.
102 */
Willy Tarreaubdcd3252022-06-22 09:19:46 +0200103 if (!(_HA_ATOMIC_LOAD(&ha_thread_ctx[thr].flags) & TH_FL_STUCK)) {
Willy Tarreaua0b99532021-09-30 18:48:37 +0200104 _HA_ATOMIC_OR(&ha_thread_ctx[thr].flags, TH_FL_STUCK);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200105 goto update_and_leave;
106 }
107
108 /* No doubt now, there's no hop to recover, die loudly! */
109 break;
Willy Tarreau6414e442021-10-08 15:31:04 +0200110
111#if defined(USE_THREAD) && defined(SI_TKILL) /* Linux uses this */
112
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200113 case SI_TKILL:
114 /* we got a pthread_kill, stop on it */
115 thr = tid;
116 break;
Willy Tarreau6414e442021-10-08 15:31:04 +0200117
118#elif defined(USE_THREAD) && defined(SI_LWP) /* FreeBSD uses this */
119
120 case SI_LWP:
121 /* we got a pthread_kill, stop on it */
122 thr = tid;
123 break;
124
Willy Tarreau06278152020-03-10 09:26:17 +0100125#endif
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200126 default:
127 /* unhandled other conditions */
128 return;
129 }
130
131 /* By default we terminate. If we're not on the victim thread, better
132 * bounce the signal there so that we produce a cleaner stack trace
133 * with the other thread interrupted exactly where it was running and
134 * the current one not involved in this.
135 */
Willy Tarreaue58114e2020-03-04 10:53:07 +0100136#ifdef USE_THREAD
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200137 if (thr != tid)
Willy Tarreau19b18ad2021-10-06 21:43:38 +0200138 ha_tkill(thr, sig);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200139 else
Willy Tarreaue58114e2020-03-04 10:53:07 +0100140#endif
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200141 ha_panic();
142 return;
143
144 update_and_leave:
145 wdt_ping(thr);
146}
147
148int init_wdt_per_thread()
149{
Willy Tarreaub474f432021-10-08 15:23:26 +0200150 if (!clock_setup_signal_timer(&per_thread_wd_timer[tid], WDTSIG, tid))
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200151 goto fail1;
152
153 if (!wdt_ping(tid))
154 goto fail2;
155
156 return 1;
157
158 fail2:
Willy Tarreaub474f432021-10-08 15:23:26 +0200159 timer_delete(per_thread_wd_timer[tid]);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200160 fail1:
Willy Tarreaub474f432021-10-08 15:23:26 +0200161 per_thread_wd_timer[tid] = TIMER_INVALID;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200162 ha_warning("Failed to setup watchdog timer for thread %u, disabling lockup detection.\n", tid);
Willy Tarreau7259fa22020-03-04 10:46:13 +0100163 return 1;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200164}
165
166void deinit_wdt_per_thread()
167{
Willy Tarreaub474f432021-10-08 15:23:26 +0200168 if (per_thread_wd_timer[tid] != TIMER_INVALID)
169 timer_delete(per_thread_wd_timer[tid]);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200170}
171
172/* registers the watchdog signal handler and returns 0. This sets up the signal
173 * handler for WDTSIG, so it must be called once per process.
174 */
175int init_wdt()
176{
177 struct sigaction sa;
178
179 sa.sa_handler = NULL;
180 sa.sa_sigaction = wdt_handler;
181 sigemptyset(&sa.sa_mask);
182 sa.sa_flags = SA_SIGINFO;
183 sigaction(WDTSIG, &sa, NULL);
Christopher Fauletfc633b62020-11-06 15:24:23 +0100184 return ERR_NONE;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200185}
186
187REGISTER_POST_CHECK(init_wdt);
188REGISTER_PER_THREAD_INIT(init_wdt_per_thread);
189REGISTER_PER_THREAD_DEINIT(deinit_wdt_per_thread);
190#endif