blob: 6bb7d85a6dedfe320bb88c6738762566578ba70b [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 Tarreaua37cb182019-07-31 19:20:39 +020083 if ((threads_harmless_mask|sleeping_thread_mask|threads_to_dump) & (1UL << thr)) {
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020084 /* This thread is currently doing exactly nothing
85 * waiting in the poll loop (unlikely but possible),
86 * waiting for all other threads to join the rendez-vous
87 * point (common), or waiting for another thread to
88 * finish an isolated operation (unlikely but possible).
89 */
90 goto update_and_leave;
91 }
92
93 /* So the thread indeed appears locked up. In order to be
94 * certain that we're not witnessing an exceptional spike of
95 * CPU usage due to a configuration issue (like running tens
96 * of thousands of tasks in a single loop), we'll check if the
Willy Tarreaua0b99532021-09-30 18:48:37 +020097 * scheduler is still alive by setting the TH_FL_STUCK flag
Willy Tarreau2bfefdb2019-05-03 13:52:18 +020098 * that the scheduler clears when switching to the next task.
99 * If it's already set, then it's our second call with no
100 * progress and the thread is dead.
101 */
Willy Tarreaua0b99532021-09-30 18:48:37 +0200102 if (!(ha_thread_ctx[thr].flags & TH_FL_STUCK)) {
103 _HA_ATOMIC_OR(&ha_thread_ctx[thr].flags, TH_FL_STUCK);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200104 goto update_and_leave;
105 }
106
107 /* No doubt now, there's no hop to recover, die loudly! */
108 break;
Willy Tarreau6414e442021-10-08 15:31:04 +0200109
110#if defined(USE_THREAD) && defined(SI_TKILL) /* Linux uses this */
111
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200112 case SI_TKILL:
113 /* we got a pthread_kill, stop on it */
114 thr = tid;
115 break;
Willy Tarreau6414e442021-10-08 15:31:04 +0200116
117#elif defined(USE_THREAD) && defined(SI_LWP) /* FreeBSD uses this */
118
119 case SI_LWP:
120 /* we got a pthread_kill, stop on it */
121 thr = tid;
122 break;
123
Willy Tarreau06278152020-03-10 09:26:17 +0100124#endif
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200125 default:
126 /* unhandled other conditions */
127 return;
128 }
129
130 /* By default we terminate. If we're not on the victim thread, better
131 * bounce the signal there so that we produce a cleaner stack trace
132 * with the other thread interrupted exactly where it was running and
133 * the current one not involved in this.
134 */
Willy Tarreaue58114e2020-03-04 10:53:07 +0100135#ifdef USE_THREAD
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200136 if (thr != tid)
Willy Tarreau19b18ad2021-10-06 21:43:38 +0200137 ha_tkill(thr, sig);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200138 else
Willy Tarreaue58114e2020-03-04 10:53:07 +0100139#endif
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200140 ha_panic();
141 return;
142
143 update_and_leave:
144 wdt_ping(thr);
145}
146
147int init_wdt_per_thread()
148{
Willy Tarreaub474f432021-10-08 15:23:26 +0200149 if (!clock_setup_signal_timer(&per_thread_wd_timer[tid], WDTSIG, tid))
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200150 goto fail1;
151
152 if (!wdt_ping(tid))
153 goto fail2;
154
155 return 1;
156
157 fail2:
Willy Tarreaub474f432021-10-08 15:23:26 +0200158 timer_delete(per_thread_wd_timer[tid]);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200159 fail1:
Willy Tarreaub474f432021-10-08 15:23:26 +0200160 per_thread_wd_timer[tid] = TIMER_INVALID;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200161 ha_warning("Failed to setup watchdog timer for thread %u, disabling lockup detection.\n", tid);
Willy Tarreau7259fa22020-03-04 10:46:13 +0100162 return 1;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200163}
164
165void deinit_wdt_per_thread()
166{
Willy Tarreaub474f432021-10-08 15:23:26 +0200167 if (per_thread_wd_timer[tid] != TIMER_INVALID)
168 timer_delete(per_thread_wd_timer[tid]);
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200169}
170
171/* registers the watchdog signal handler and returns 0. This sets up the signal
172 * handler for WDTSIG, so it must be called once per process.
173 */
174int init_wdt()
175{
176 struct sigaction sa;
177
178 sa.sa_handler = NULL;
179 sa.sa_sigaction = wdt_handler;
180 sigemptyset(&sa.sa_mask);
181 sa.sa_flags = SA_SIGINFO;
182 sigaction(WDTSIG, &sa, NULL);
Christopher Fauletfc633b62020-11-06 15:24:23 +0100183 return ERR_NONE;
Willy Tarreau2bfefdb2019-05-03 13:52:18 +0200184}
185
186REGISTER_POST_CHECK(init_wdt);
187REGISTER_PER_THREAD_INIT(init_wdt_per_thread);
188REGISTER_PER_THREAD_DEINIT(deinit_wdt_per_thread);
189#endif