blob: b9d6ca7589d5db1b8548fd4c898db9581ef429d2 [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
77 /* not yet reached the deadline of 1 sec */
78 if (n - p < 1000000000UL)
79 goto update_and_leave;
80
Willy Tarreaua37cb182019-07-31 19:20:39 +020081 if ((threads_harmless_mask|sleeping_thread_mask|threads_to_dump) & (1UL << thr)) {
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020082 /* This thread is currently doing exactly nothing
83 * waiting in the poll loop (unlikely but possible),
84 * waiting for all other threads to join the rendez-vous
85 * point (common), or waiting for another thread to
86 * finish an isolated operation (unlikely but possible).
87 */
88 goto update_and_leave;
89 }
90
91 /* So the thread indeed appears locked up. In order to be
92 * certain that we're not witnessing an exceptional spike of
93 * CPU usage due to a configuration issue (like running tens
94 * of thousands of tasks in a single loop), we'll check if the
Willy Tarreaua0b99532021-09-30 18:48:37 +020095 * scheduler is still alive by setting the TH_FL_STUCK flag
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020096 * that the scheduler clears when switching to the next task.
97 * If it's already set, then it's our second call with no
98 * progress and the thread is dead.
99 */
Willy Tarreaua0b99532021-09-30 18:48:37 +0200100 if (!(ha_thread_ctx[thr].flags & TH_FL_STUCK)) {
101 _HA_ATOMIC_OR(&ha_thread_ctx[thr].flags, TH_FL_STUCK);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200102 goto update_and_leave;
103 }
104
105 /* No doubt now, there's no hop to recover, die loudly! */
106 break;
Willy Tarreau6414e442021-10-08 15:31:04 +0200107
108#if defined(USE_THREAD) && defined(SI_TKILL) /* Linux uses this */
109
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200110 case SI_TKILL:
111 /* we got a pthread_kill, stop on it */
112 thr = tid;
113 break;
Willy Tarreau6414e442021-10-08 15:31:04 +0200114
115#elif defined(USE_THREAD) && defined(SI_LWP) /* FreeBSD uses this */
116
117 case SI_LWP:
118 /* we got a pthread_kill, stop on it */
119 thr = tid;
120 break;
121
Willy Tarreau06278152020-03-10 09:26:17 +0100122#endif
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200123 default:
124 /* unhandled other conditions */
125 return;
126 }
127
128 /* By default we terminate. If we're not on the victim thread, better
129 * bounce the signal there so that we produce a cleaner stack trace
130 * with the other thread interrupted exactly where it was running and
131 * the current one not involved in this.
132 */
Willy Tarreaue58114e2020-03-04 10:53:07 +0100133#ifdef USE_THREAD
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200134 if (thr != tid)
Willy Tarreau19b18ad2021-10-06 21:43:38 +0200135 ha_tkill(thr, sig);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200136 else
Willy Tarreaue58114e2020-03-04 10:53:07 +0100137#endif
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200138 ha_panic();
139 return;
140
141 update_and_leave:
142 wdt_ping(thr);
143}
144
145int init_wdt_per_thread()
146{
Willy Tarreaub474f432021-10-08 15:23:26 +0200147 if (!clock_setup_signal_timer(&per_thread_wd_timer[tid], WDTSIG, tid))
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200148 goto fail1;
149
150 if (!wdt_ping(tid))
151 goto fail2;
152
153 return 1;
154
155 fail2:
Willy Tarreaub474f432021-10-08 15:23:26 +0200156 timer_delete(per_thread_wd_timer[tid]);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200157 fail1:
Willy Tarreaub474f432021-10-08 15:23:26 +0200158 per_thread_wd_timer[tid] = TIMER_INVALID;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200159 ha_warning("Failed to setup watchdog timer for thread %u, disabling lockup detection.\n", tid);
Willy Tarreau7259fa22020-03-04 10:46:13 +0100160 return 1;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200161}
162
163void deinit_wdt_per_thread()
164{
Willy Tarreaub474f432021-10-08 15:23:26 +0200165 if (per_thread_wd_timer[tid] != TIMER_INVALID)
166 timer_delete(per_thread_wd_timer[tid]);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200167}
168
169/* registers the watchdog signal handler and returns 0. This sets up the signal
170 * handler for WDTSIG, so it must be called once per process.
171 */
172int init_wdt()
173{
174 struct sigaction sa;
175
176 sa.sa_handler = NULL;
177 sa.sa_sigaction = wdt_handler;
178 sigemptyset(&sa.sa_mask);
179 sa.sa_flags = SA_SIGINFO;
180 sigaction(WDTSIG, &sa, NULL);
Christopher Fauletfc633b62020-11-06 15:24:23 +0100181 return ERR_NONE;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200182}
183
184REGISTER_POST_CHECK(init_wdt);
185REGISTER_PER_THREAD_INIT(init_wdt_per_thread);
186REGISTER_PER_THREAD_DEINIT(deinit_wdt_per_thread);
187#endif