blob: d894c3c0d198209d5496d96f0de378ff6174836a [file] [log] [blame]
Willy Tarreaubaaee002006-06-26 02:48:02 +02001/*
2 * Health-checks functions.
3 *
Willy Tarreau26c25062009-03-08 09:38:41 +01004 * Copyright 2000-2009 Willy Tarreau <w@1wt.eu>
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +02005 * Copyright 2007-2009 Krzysztof Piotr Oledzki <ole@ans.pl>
Willy Tarreaubaaee002006-06-26 02:48:02 +02006 *
7 * This program is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation; either version
10 * 2 of the License, or (at your option) any later version.
11 *
12 */
13
Willy Tarreaub8816082008-01-18 12:18:15 +010014#include <assert.h>
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020015#include <ctype.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020016#include <errno.h>
Simon Horman0ba0e4a2015-01-30 11:23:00 +090017#include <stdarg.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020018#include <stdio.h>
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +020019#include <stdlib.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020020#include <string.h>
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +020021#include <time.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020022#include <unistd.h>
Willy Tarreau9f6dc722019-03-01 11:15:10 +010023#include <sys/resource.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020024#include <sys/socket.h>
Dmitry Sivachenkocaf58982009-08-24 15:11:06 +040025#include <sys/types.h>
Simon Horman98637e52014-06-20 12:30:16 +090026#include <sys/wait.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020027#include <netinet/in.h>
Willy Tarreau1274bc42009-07-15 07:16:31 +020028#include <netinet/tcp.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020029#include <arpa/inet.h>
30
Willy Tarreau122eba92020-06-04 10:15:32 +020031#include <haproxy/action.h>
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020032#include <haproxy/api.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020033#include <haproxy/arg.h>
Willy Tarreau6be78492020-06-05 00:00:29 +020034#include <haproxy/cfgparse.h>
Willy Tarreau4aa573d2020-06-04 18:21:56 +020035#include <haproxy/check.h>
Willy Tarreauc13ed532020-06-02 10:22:45 +020036#include <haproxy/chunk.h>
Willy Tarreau7c18b542020-06-11 09:23:02 +020037#include <haproxy/dgram.h>
Christopher Faulet6b0a0fb2022-04-04 11:29:28 +020038#include <haproxy/dynbuf.h>
Willy Tarreaubcc67332020-06-05 15:31:31 +020039#include <haproxy/extcheck.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020040#include <haproxy/fd.h>
41#include <haproxy/global.h>
42#include <haproxy/h1.h>
Willy Tarreaucd72d8c2020-06-02 19:11:26 +020043#include <haproxy/http.h>
Willy Tarreau87735332020-06-04 09:08:41 +020044#include <haproxy/http_htx.h>
Willy Tarreau16f958c2020-06-03 08:44:35 +020045#include <haproxy/htx.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020046#include <haproxy/istbuf.h>
47#include <haproxy/list.h>
Willy Tarreauaeed4a82020-06-04 22:01:04 +020048#include <haproxy/log.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020049#include <haproxy/mailers.h>
50#include <haproxy/port_range.h>
51#include <haproxy/proto_tcp.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020052#include <haproxy/protocol.h>
Willy Tarreaua264d962020-06-04 22:29:18 +020053#include <haproxy/proxy.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020054#include <haproxy/queue.h>
55#include <haproxy/regex.h>
Emeric Brunc9437992021-02-12 19:42:55 +010056#include <haproxy/resolvers.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020057#include <haproxy/sample.h>
Willy Tarreau1e56f922020-06-04 23:20:13 +020058#include <haproxy/server.h>
Willy Tarreau209108d2020-06-04 20:30:20 +020059#include <haproxy/ssl_sock.h>
Willy Tarreau2eec9b52020-06-04 19:58:55 +020060#include <haproxy/stats-t.h>
Willy Tarreaucea0e1b2020-06-04 17:25:40 +020061#include <haproxy/task.h>
Willy Tarreau51cd5952020-06-05 12:25:38 +020062#include <haproxy/tcpcheck.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020063#include <haproxy/thread.h>
64#include <haproxy/time.h>
65#include <haproxy/tools.h>
Christopher Faulet147b8c92021-04-10 09:00:38 +020066#include <haproxy/trace.h>
Willy Tarreaua1718922020-06-04 16:25:31 +020067#include <haproxy/vars.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020068
Christopher Faulet147b8c92021-04-10 09:00:38 +020069/* trace source and events */
70static void check_trace(enum trace_level level, uint64_t mask,
71 const struct trace_source *src,
72 const struct ist where, const struct ist func,
73 const void *a1, const void *a2, const void *a3, const void *a4);
74
75/* The event representation is split like this :
76 * check - check
77 *
78 * CHECK_EV_* macros are defined in <haproxy/check.h>
79 */
80static const struct trace_event check_trace_events[] = {
81 { .mask = CHK_EV_TASK_WAKE, .name = "task_wake", .desc = "Check task woken up" },
82 { .mask = CHK_EV_HCHK_START, .name = "hchck_start", .desc = "Health-check started" },
83 { .mask = CHK_EV_HCHK_WAKE, .name = "hchck_wake", .desc = "Health-check woken up" },
84 { .mask = CHK_EV_HCHK_RUN, .name = "hchck_run", .desc = "Health-check running" },
85 { .mask = CHK_EV_HCHK_END, .name = "hchck_end", .desc = "Health-check terminated" },
86 { .mask = CHK_EV_HCHK_SUCC, .name = "hchck_succ", .desc = "Health-check success" },
87 { .mask = CHK_EV_HCHK_ERR, .name = "hchck_err", .desc = "Health-check failure" },
88
89 { .mask = CHK_EV_TCPCHK_EVAL, .name = "tcp_check_eval", .desc = "tcp-check rules evaluation" },
90 { .mask = CHK_EV_TCPCHK_ERR, .name = "tcp_check_err", .desc = "tcp-check evaluation error" },
91 { .mask = CHK_EV_TCPCHK_CONN, .name = "tcp_check_conn", .desc = "tcp-check connection rule" },
92 { .mask = CHK_EV_TCPCHK_SND, .name = "tcp_check_send", .desc = "tcp-check send rule" },
93 { .mask = CHK_EV_TCPCHK_EXP, .name = "tcp_check_expect", .desc = "tcp-check expect rule" },
94 { .mask = CHK_EV_TCPCHK_ACT, .name = "tcp_check_action", .desc = "tcp-check action rule" },
95
96 { .mask = CHK_EV_RX_DATA, .name = "rx_data", .desc = "receipt of data" },
97 { .mask = CHK_EV_RX_BLK, .name = "rx_blk", .desc = "receipt blocked" },
98 { .mask = CHK_EV_RX_ERR, .name = "rx_err", .desc = "receipt error" },
99
100 { .mask = CHK_EV_TX_DATA, .name = "tx_data", .desc = "transmission of data" },
101 { .mask = CHK_EV_TX_BLK, .name = "tx_blk", .desc = "transmission blocked" },
102 { .mask = CHK_EV_TX_ERR, .name = "tx_err", .desc = "transmission error" },
103
104 {}
105};
106
107static const struct name_desc check_trace_lockon_args[4] = {
108 /* arg1 */ { /* already used by the check */ },
109 /* arg2 */ { },
110 /* arg3 */ { },
111 /* arg4 */ { }
112};
113
114static const struct name_desc check_trace_decoding[] = {
115#define CHK_VERB_CLEAN 1
116 { .name="clean", .desc="only user-friendly stuff, generally suitable for level \"user\"" },
117#define CHK_VERB_MINIMAL 2
Willy Tarreau4596fe22022-05-17 19:07:51 +0200118 { .name="minimal", .desc="report info on streams and connectors" },
Christopher Faulet147b8c92021-04-10 09:00:38 +0200119#define CHK_VERB_SIMPLE 3
120 { .name="simple", .desc="add info on request and response channels" },
121#define CHK_VERB_ADVANCED 4
122 { .name="advanced", .desc="add info on channel's buffer for data and developer levels only" },
123#define CHK_VERB_COMPLETE 5
124 { .name="complete", .desc="add info on channel's buffer" },
125 { /* end */ }
126};
127
128struct trace_source trace_check = {
129 .name = IST("check"),
130 .desc = "Health-check",
131 .arg_def = TRC_ARG1_CHK, // TRACE()'s first argument is always a stream
132 .default_cb = check_trace,
133 .known_events = check_trace_events,
134 .lockon_args = check_trace_lockon_args,
135 .decoding = check_trace_decoding,
136 .report_events = ~0, // report everything by default
137};
138
139#define TRACE_SOURCE &trace_check
140INITCALL1(STG_REGISTER, trace_register_source, TRACE_SOURCE);
141
Olivier Houchard9130a962017-10-17 17:33:43 +0200142
Gaetan Rivet05d692d2020-02-14 17:42:54 +0100143/* Dummy frontend used to create all checks sessions. */
Willy Tarreau51cd5952020-06-05 12:25:38 +0200144struct proxy checks_fe;
Christopher Faulet31dff9b2017-10-23 15:45:20 +0200145
Christopher Faulet147b8c92021-04-10 09:00:38 +0200146
147static inline void check_trace_buf(const struct buffer *buf, size_t ofs, size_t len)
148{
149 size_t block1, block2;
150 int line, ptr, newptr;
151
152 block1 = b_contig_data(buf, ofs);
153 block2 = 0;
154 if (block1 > len)
155 block1 = len;
156 block2 = len - block1;
157
158 ofs = b_peek_ofs(buf, ofs);
159
160 line = 0;
161 ptr = ofs;
162 while (ptr < ofs + block1) {
163 newptr = dump_text_line(&trace_buf, b_orig(buf), b_size(buf), ofs + block1, &line, ptr);
164 if (newptr == ptr)
165 break;
166 ptr = newptr;
167 }
168
169 line = ptr = 0;
170 while (ptr < block2) {
171 newptr = dump_text_line(&trace_buf, b_orig(buf), b_size(buf), block2, &line, ptr);
172 if (newptr == ptr)
173 break;
174 ptr = newptr;
175 }
176}
177
178/* trace source and events */
179static void check_trace(enum trace_level level, uint64_t mask,
180 const struct trace_source *src,
181 const struct ist where, const struct ist func,
182 const void *a1, const void *a2, const void *a3, const void *a4)
183{
184 const struct check *check = a1;
185 const struct server *srv = (check ? check->server : NULL);
186 const size_t *val = a4;
187 const char *res;
188
189 if (!check || src->verbosity < CHK_VERB_CLEAN)
190 return;
191
Christopher Faulet4f1825c2022-06-08 09:12:58 +0200192 if (srv) {
193 chunk_appendf(&trace_buf, " : [%c] SRV=%s",
194 ((check->type == PR_O2_EXT_CHK) ? 'E' : (check->state & CHK_ST_AGENT ? 'A' : 'H')),
195 srv->id);
Christopher Faulet147b8c92021-04-10 09:00:38 +0200196
Christopher Faulet4f1825c2022-06-08 09:12:58 +0200197 chunk_appendf(&trace_buf, " status=%d/%d %s",
198 (check->health >= check->rise) ? check->health - check->rise + 1 : check->health,
199 (check->health >= check->rise) ? check->fall : check->rise,
200 (check->health >= check->rise) ? (srv->uweight ? "UP" : "DRAIN") : "DOWN");
201 }
202 else
203 chunk_appendf(&trace_buf, " : [EMAIL]");
Christopher Faulet147b8c92021-04-10 09:00:38 +0200204
205 switch (check->result) {
206 case CHK_RES_NEUTRAL: res = "-"; break;
207 case CHK_RES_FAILED: res = "FAIL"; break;
208 case CHK_RES_PASSED: res = "PASS"; break;
209 case CHK_RES_CONDPASS: res = "COND"; break;
210 default: res = "UNK"; break;
211 }
212
213 if (src->verbosity == CHK_VERB_CLEAN)
214 return;
215
216 chunk_appendf(&trace_buf, " - last=%s(%d)/%s(%d)",
217 get_check_status_info(check->status), check->status,
218 res, check->result);
219
220 /* Display the value to the 4th argument (level > STATE) */
221 if (src->level > TRACE_LEVEL_STATE && val)
222 chunk_appendf(&trace_buf, " - VAL=%lu", (long)*val);
223
224 chunk_appendf(&trace_buf, " check=%p(0x%08x)", check, check->state);
225
226 if (src->verbosity == CHK_VERB_MINIMAL)
227 return;
228
229
Willy Tarreaubde14ad2022-05-27 10:04:04 +0200230 if (check->sc) {
231 struct connection *conn = sc_conn(check->sc);
Christopher Faulet0256da12021-12-15 09:50:17 +0100232
233 chunk_appendf(&trace_buf, " - conn=%p(0x%08x)", conn, conn ? conn->flags : 0);
Willy Tarreaubde14ad2022-05-27 10:04:04 +0200234 chunk_appendf(&trace_buf, " sc=%p(0x%08x)", check->sc, check->sc->flags);
Christopher Faulet147b8c92021-04-10 09:00:38 +0200235 }
236
237 if (mask & CHK_EV_TCPCHK) {
238 const char *type;
239
240 switch (check->tcpcheck_rules->flags & TCPCHK_RULES_PROTO_CHK) {
241 case TCPCHK_RULES_PGSQL_CHK: type = "PGSQL"; break;
242 case TCPCHK_RULES_REDIS_CHK: type = "REDIS"; break;
243 case TCPCHK_RULES_SMTP_CHK: type = "SMTP"; break;
244 case TCPCHK_RULES_HTTP_CHK: type = "HTTP"; break;
245 case TCPCHK_RULES_MYSQL_CHK: type = "MYSQL"; break;
246 case TCPCHK_RULES_LDAP_CHK: type = "LDAP"; break;
247 case TCPCHK_RULES_SSL3_CHK: type = "SSL3"; break;
248 case TCPCHK_RULES_AGENT_CHK: type = "AGENT"; break;
249 case TCPCHK_RULES_SPOP_CHK: type = "SPOP"; break;
250 case TCPCHK_RULES_TCP_CHK: type = "TCP"; break;
251 default: type = "???"; break;
252 }
253 if (check->current_step)
254 chunk_appendf(&trace_buf, " - tcp-check=(%s,%d)", type, tcpcheck_get_step_id(check, NULL));
255 else
256 chunk_appendf(&trace_buf, " - tcp-check=(%s,-)", type);
257 }
258
259 /* Display bi and bo buffer info (level > USER & verbosity > SIMPLE) */
260 if (src->level > TRACE_LEVEL_USER) {
261 const struct buffer *buf = NULL;
262
263 chunk_appendf(&trace_buf, " bi=%u@%p+%u/%u",
264 (unsigned int)b_data(&check->bi), b_orig(&check->bi),
265 (unsigned int)b_head_ofs(&check->bi), (unsigned int)b_size(&check->bi));
266 chunk_appendf(&trace_buf, " bo=%u@%p+%u/%u",
267 (unsigned int)b_data(&check->bo), b_orig(&check->bo),
268 (unsigned int)b_head_ofs(&check->bo), (unsigned int)b_size(&check->bo));
269
270 if (src->verbosity >= CHK_VERB_ADVANCED && (mask & (CHK_EV_RX)))
271 buf = (b_is_null(&check->bi) ? NULL : &check->bi);
272 else if (src->verbosity >= CHK_VERB_ADVANCED && (mask & (CHK_EV_TX)))
273 buf = (b_is_null(&check->bo) ? NULL : &check->bo);
274
275 if (buf) {
276 if ((check->tcpcheck_rules->flags & TCPCHK_RULES_PROTO_CHK) == TCPCHK_RULES_HTTP_CHK) {
277 int full = (src->verbosity == CHK_VERB_COMPLETE);
278
279 chunk_memcat(&trace_buf, "\n\t", 2);
280 htx_dump(&trace_buf, htxbuf(buf), full);
281 }
282 else {
283 int max = ((src->verbosity == CHK_VERB_COMPLETE) ? 1024 : 256);
284
285 chunk_memcat(&trace_buf, "\n", 1);
286 if (b_data(buf) > max) {
287 check_trace_buf(buf, 0, max);
288 chunk_memcat(&trace_buf, " ...\n", 6);
289 }
290 else
291 check_trace_buf(buf, 0, b_data(buf));
292 }
293
294 }
295 }
296
297}
298
299
Christopher Faulet61cc8522020-04-20 14:54:42 +0200300/**************************************************************************/
301/************************ Handle check results ****************************/
302/**************************************************************************/
303struct check_status {
304 short result; /* one of SRV_CHK_* */
305 char *info; /* human readable short info */
306 char *desc; /* long description */
307};
308
309struct analyze_status {
310 char *desc; /* description */
311 unsigned char lr[HANA_OBS_SIZE]; /* result for l4/l7: 0 = ignore, 1 - error, 2 - OK */
312};
313
Simon Horman63a4a822012-03-19 07:24:41 +0900314static const struct check_status check_statuses[HCHK_STATUS_SIZE] = {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100315 [HCHK_STATUS_UNKNOWN] = { CHK_RES_UNKNOWN, "UNK", "Unknown" },
316 [HCHK_STATUS_INI] = { CHK_RES_UNKNOWN, "INI", "Initializing" },
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200317 [HCHK_STATUS_START] = { /* SPECIAL STATUS*/ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200318
Willy Tarreau23964182014-05-20 20:56:30 +0200319 /* Below we have finished checks */
320 [HCHK_STATUS_CHECKED] = { CHK_RES_NEUTRAL, "CHECKED", "No status change" },
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100321 [HCHK_STATUS_HANA] = { CHK_RES_FAILED, "HANA", "Health analyze" },
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100322
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100323 [HCHK_STATUS_SOCKERR] = { CHK_RES_FAILED, "SOCKERR", "Socket error" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200324
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100325 [HCHK_STATUS_L4OK] = { CHK_RES_PASSED, "L4OK", "Layer4 check passed" },
326 [HCHK_STATUS_L4TOUT] = { CHK_RES_FAILED, "L4TOUT", "Layer4 timeout" },
327 [HCHK_STATUS_L4CON] = { CHK_RES_FAILED, "L4CON", "Layer4 connection problem" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200328
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100329 [HCHK_STATUS_L6OK] = { CHK_RES_PASSED, "L6OK", "Layer6 check passed" },
330 [HCHK_STATUS_L6TOUT] = { CHK_RES_FAILED, "L6TOUT", "Layer6 timeout" },
331 [HCHK_STATUS_L6RSP] = { CHK_RES_FAILED, "L6RSP", "Layer6 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200332
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100333 [HCHK_STATUS_L7TOUT] = { CHK_RES_FAILED, "L7TOUT", "Layer7 timeout" },
334 [HCHK_STATUS_L7RSP] = { CHK_RES_FAILED, "L7RSP", "Layer7 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200335
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200336 [HCHK_STATUS_L57DATA] = { /* DUMMY STATUS */ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200337
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100338 [HCHK_STATUS_L7OKD] = { CHK_RES_PASSED, "L7OK", "Layer7 check passed" },
339 [HCHK_STATUS_L7OKCD] = { CHK_RES_CONDPASS, "L7OKC", "Layer7 check conditionally passed" },
340 [HCHK_STATUS_L7STS] = { CHK_RES_FAILED, "L7STS", "Layer7 wrong status" },
Simon Horman98637e52014-06-20 12:30:16 +0900341
342 [HCHK_STATUS_PROCERR] = { CHK_RES_FAILED, "PROCERR", "External check error" },
343 [HCHK_STATUS_PROCTOUT] = { CHK_RES_FAILED, "PROCTOUT", "External check timeout" },
Cyril Bonté77010d82014-08-07 01:55:37 +0200344 [HCHK_STATUS_PROCOK] = { CHK_RES_PASSED, "PROCOK", "External check passed" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200345};
346
Simon Horman63a4a822012-03-19 07:24:41 +0900347static const struct analyze_status analyze_statuses[HANA_STATUS_SIZE] = { /* 0: ignore, 1: error, 2: OK */
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100348 [HANA_STATUS_UNKNOWN] = { "Unknown", { 0, 0 }},
349
350 [HANA_STATUS_L4_OK] = { "L4 successful connection", { 2, 0 }},
351 [HANA_STATUS_L4_ERR] = { "L4 unsuccessful connection", { 1, 1 }},
352
353 [HANA_STATUS_HTTP_OK] = { "Correct http response", { 0, 2 }},
354 [HANA_STATUS_HTTP_STS] = { "Wrong http response", { 0, 1 }},
355 [HANA_STATUS_HTTP_HDRRSP] = { "Invalid http response (headers)", { 0, 1 }},
356 [HANA_STATUS_HTTP_RSP] = { "Invalid http response", { 0, 1 }},
357
358 [HANA_STATUS_HTTP_READ_ERROR] = { "Read error (http)", { 0, 1 }},
359 [HANA_STATUS_HTTP_READ_TIMEOUT] = { "Read timeout (http)", { 0, 1 }},
360 [HANA_STATUS_HTTP_BROKEN_PIPE] = { "Close from server (http)", { 0, 1 }},
361};
362
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100363/* checks if <err> is a real error for errno or one that can be ignored, and
364 * return 0 for these ones or <err> for real ones.
365 */
366static inline int unclean_errno(int err)
367{
Willy Tarreauacef5e22022-04-25 20:32:15 +0200368 if (err == EAGAIN || err == EWOULDBLOCK || err == EINPROGRESS ||
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100369 err == EISCONN || err == EALREADY)
370 return 0;
371 return err;
372}
373
Christopher Faulet7aa32712021-02-01 13:11:50 +0100374/* Converts check_status code to result code */
375short get_check_status_result(short check_status)
376{
377 if (check_status < HCHK_STATUS_SIZE)
378 return check_statuses[check_status].result;
379 else
380 return check_statuses[HCHK_STATUS_UNKNOWN].result;
381}
382
Christopher Faulet61cc8522020-04-20 14:54:42 +0200383/* Converts check_status code to description */
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200384const char *get_check_status_description(short check_status) {
385
386 const char *desc;
387
388 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200389 desc = check_statuses[check_status].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200390 else
391 desc = NULL;
392
393 if (desc && *desc)
394 return desc;
395 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200396 return check_statuses[HCHK_STATUS_UNKNOWN].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200397}
398
Christopher Faulet61cc8522020-04-20 14:54:42 +0200399/* Converts check_status code to short info */
William Dauchyb26122b2021-02-14 22:26:23 +0100400const char *get_check_status_info(short check_status)
401{
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200402 const char *info;
403
404 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200405 info = check_statuses[check_status].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200406 else
407 info = NULL;
408
409 if (info && *info)
410 return info;
411 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200412 return check_statuses[HCHK_STATUS_UNKNOWN].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200413}
414
Christopher Faulet61cc8522020-04-20 14:54:42 +0200415/* Convert analyze_status to description */
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100416const char *get_analyze_status(short analyze_status) {
417
418 const char *desc;
419
420 if (analyze_status < HANA_STATUS_SIZE)
421 desc = analyze_statuses[analyze_status].desc;
422 else
423 desc = NULL;
424
425 if (desc && *desc)
426 return desc;
427 else
428 return analyze_statuses[HANA_STATUS_UNKNOWN].desc;
429}
430
Aurelien DARRAGONf3b48a82023-04-14 18:07:09 +0200431/* append check info to buffer msg */
432void check_append_info(struct buffer *msg, struct check *check)
433{
434 if (!check)
435 return;
436 chunk_appendf(msg, ", reason: %s", get_check_status_description(check->status));
437
438 if (check->status >= HCHK_STATUS_L57DATA)
439 chunk_appendf(msg, ", code: %d", check->code);
440
441 if (check->desc[0]) {
442 struct buffer src;
443
444 chunk_appendf(msg, ", info: \"");
445
446 chunk_initlen(&src, check->desc, 0, strlen(check->desc));
447 chunk_asciiencode(msg, &src, '"');
448
449 chunk_appendf(msg, "\"");
450 }
451
452 if (check->duration >= 0)
453 chunk_appendf(msg, ", check duration: %ldms", check->duration);
454}
455
Christopher Faulet61cc8522020-04-20 14:54:42 +0200456/* Sets check->status, update check->duration and fill check->result with an
457 * adequate CHK_RES_* value. The new check->health is computed based on the
458 * result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200459 *
Christopher Faulet61cc8522020-04-20 14:54:42 +0200460 * Shows information in logs about failed health check if server is UP or
461 * succeeded health checks if server is DOWN.
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200462 */
Willy Tarreau51cd5952020-06-05 12:25:38 +0200463void set_server_check_status(struct check *check, short status, const char *desc)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100464{
Simon Horman4a741432013-02-23 15:35:38 +0900465 struct server *s = check->server;
Willy Tarreaubef1b322014-05-13 21:01:39 +0200466 short prev_status = check->status;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200467 int report = 0;
Simon Horman4a741432013-02-23 15:35:38 +0900468
Christopher Faulet147b8c92021-04-10 09:00:38 +0200469 TRACE_POINT(CHK_EV_HCHK_RUN, check);
470
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200471 if (status == HCHK_STATUS_START) {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100472 check->result = CHK_RES_UNKNOWN; /* no result yet */
Simon Horman4a741432013-02-23 15:35:38 +0900473 check->desc[0] = '\0';
Willy Tarreau69530f52023-04-28 09:16:15 +0200474 check->start = now_ns;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200475 return;
476 }
477
Simon Horman4a741432013-02-23 15:35:38 +0900478 if (!check->status)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200479 return;
480
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200481 if (desc && *desc) {
Simon Horman4a741432013-02-23 15:35:38 +0900482 strncpy(check->desc, desc, HCHK_DESC_LEN-1);
483 check->desc[HCHK_DESC_LEN-1] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200484 } else
Simon Horman4a741432013-02-23 15:35:38 +0900485 check->desc[0] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200486
Simon Horman4a741432013-02-23 15:35:38 +0900487 check->status = status;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200488 if (check_statuses[status].result)
Simon Horman4a741432013-02-23 15:35:38 +0900489 check->result = check_statuses[status].result;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200490
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100491 if (status == HCHK_STATUS_HANA)
Simon Horman4a741432013-02-23 15:35:38 +0900492 check->duration = -1;
Willy Tarreaue8e47122023-04-28 14:39:50 +0200493 else if (check->start) {
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200494 /* set_server_check_status() may be called more than once */
Willy Tarreau69530f52023-04-28 09:16:15 +0200495 check->duration = ns_to_ms(now_ns - check->start);
Willy Tarreaue8e47122023-04-28 14:39:50 +0200496 check->start = 0;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200497 }
498
Willy Tarreau23964182014-05-20 20:56:30 +0200499 /* no change is expected if no state change occurred */
500 if (check->result == CHK_RES_NEUTRAL)
501 return;
502
Olivier Houchard0923fa42019-01-11 18:43:04 +0100503 /* If the check was really just sending a mail, it won't have an
504 * associated server, so we're done now.
505 */
506 if (!s)
507 return;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200508 report = 0;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200509
Christopher Faulet147b8c92021-04-10 09:00:38 +0200510
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200511 switch (check->result) {
512 case CHK_RES_FAILED:
Willy Tarreau12634e12014-05-23 11:32:36 +0200513 /* Failure to connect to the agent as a secondary check should not
514 * cause the server to be marked down.
515 */
516 if ((!(check->state & CHK_ST_AGENT) ||
Simon Hormaneaabd522015-02-26 11:26:17 +0900517 (check->status >= HCHK_STATUS_L57DATA)) &&
Christopher Fauletb119a792018-05-02 12:12:45 +0200518 (check->health > 0)) {
Willy Tarreau4781b152021-04-06 13:53:36 +0200519 _HA_ATOMIC_INC(&s->counters.failed_checks);
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200520 report = 1;
521 check->health--;
522 if (check->health < check->rise)
523 check->health = 0;
524 }
525 break;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200526
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200527 case CHK_RES_PASSED:
Christopher Faulet1e527cb2020-11-20 18:13:02 +0100528 case CHK_RES_CONDPASS:
529 if (check->health < check->rise + check->fall - 1) {
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200530 report = 1;
531 check->health++;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200532
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200533 if (check->health >= check->rise)
534 check->health = check->rise + check->fall - 1; /* OK now */
535 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200536
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200537 /* clear consecutive_errors if observing is enabled */
538 if (s->onerror)
Aurelien DARRAGON81b7c952022-12-07 14:27:42 +0100539 HA_ATOMIC_STORE(&s->consecutive_errors, 0);
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200540 break;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100541
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200542 default:
543 break;
544 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200545
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200546 if (s->proxy->options2 & PR_O2_LOGHCHKS &&
547 (status != prev_status || report)) {
548 chunk_printf(&trash,
Willy Tarreau12634e12014-05-23 11:32:36 +0200549 "%s check for %sserver %s/%s %s%s",
550 (check->state & CHK_ST_AGENT) ? "Agent" : "Health",
Willy Tarreauc93cd162014-05-13 15:54:22 +0200551 s->flags & SRV_F_BACKUP ? "backup " : "",
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100552 s->proxy->id, s->id,
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100553 (check->result == CHK_RES_CONDPASS) ? "conditionally ":"",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200554 (check->result >= CHK_RES_PASSED) ? "succeeded" : "failed");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200555
Aurelien DARRAGONf3b48a82023-04-14 18:07:09 +0200556 check_append_info(&trash, check);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200557
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100558 chunk_appendf(&trash, ", status: %d/%d %s",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200559 (check->health >= check->rise) ? check->health - check->rise + 1 : check->health,
560 (check->health >= check->rise) ? check->fall : check->rise,
561 (check->health >= check->rise) ? (s->uweight ? "UP" : "DRAIN") : "DOWN");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200562
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200563 ha_warning("%s.\n", trash.area);
564 send_log(s->proxy, LOG_NOTICE, "%s.\n", trash.area);
565 send_email_alert(s, LOG_INFO, "%s", trash.area);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200566 }
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200567}
568
Aurelien DARRAGON1746b562023-04-04 10:17:40 +0200569static inline enum srv_op_st_chg_cause check_notify_cause(struct check *check)
570{
571 struct server *s = check->server;
572
573 /* We only report a cause for the check if we did not do so previously */
574 if (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS))
575 return (check->state & CHK_ST_AGENT) ? SRV_OP_STCHGC_AGENT : SRV_OP_STCHGC_HEALTH;
576 return SRV_OP_STCHGC_NONE;
577}
578
Willy Tarreau4eec5472014-05-20 22:32:27 +0200579/* Marks the check <check>'s server down if the current check is already failed
580 * and the server is not down yet nor in maintenance.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200581 */
Willy Tarreaubcc67332020-06-05 15:31:31 +0200582void check_notify_failure(struct check *check)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200583{
Simon Horman4a741432013-02-23 15:35:38 +0900584 struct server *s = check->server;
Simon Hormane0d1bfb2011-06-21 14:34:58 +0900585
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200586 /* The agent secondary check should only cause a server to be marked
587 * as down if check->status is HCHK_STATUS_L7STS, which indicates
588 * that the agent returned "fail", "stopped" or "down".
589 * The implication here is that failure to connect to the agent
590 * as a secondary check should not cause the server to be marked
591 * down. */
592 if ((check->state & CHK_ST_AGENT) && check->status != HCHK_STATUS_L7STS)
593 return;
594
Willy Tarreau4eec5472014-05-20 22:32:27 +0200595 if (check->health > 0)
596 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100597
Christopher Faulet147b8c92021-04-10 09:00:38 +0200598 TRACE_STATE("health-check failed, set server DOWN", CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
Aurelien DARRAGON1746b562023-04-04 10:17:40 +0200599 srv_set_stopped(s, check_notify_cause(check));
Willy Tarreaubaaee002006-06-26 02:48:02 +0200600}
601
Willy Tarreauaf549582014-05-16 17:37:50 +0200602/* Marks the check <check> as valid and tries to set its server up, provided
Willy Tarreau3e048382014-05-21 10:30:54 +0200603 * it isn't in maintenance, it is not tracking a down server and other checks
604 * comply. The rule is simple : by default, a server is up, unless any of the
605 * following conditions is true :
606 * - health check failed (check->health < rise)
607 * - agent check failed (agent->health < rise)
608 * - the server tracks a down server (track && track->state == STOPPED)
609 * Note that if the server has a slowstart, it will switch to STARTING instead
610 * of RUNNING. Also, only the health checks support the nolb mode, so the
611 * agent's success may not take the server out of this mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200612 */
Willy Tarreaubcc67332020-06-05 15:31:31 +0200613void check_notify_success(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200614{
Simon Horman4a741432013-02-23 15:35:38 +0900615 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100616
Emeric Brun52a91d32017-08-31 14:41:55 +0200617 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200618 return;
Cyril Bontécd19e512010-01-31 22:34:03 +0100619
Emeric Brun52a91d32017-08-31 14:41:55 +0200620 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreauaf549582014-05-16 17:37:50 +0200621 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100622
Willy Tarreau3e048382014-05-21 10:30:54 +0200623 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
624 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100625
Willy Tarreau3e048382014-05-21 10:30:54 +0200626 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
627 return;
Willy Tarreauaf549582014-05-16 17:37:50 +0200628
Emeric Brun52a91d32017-08-31 14:41:55 +0200629 if ((check->state & CHK_ST_AGENT) && s->next_state == SRV_ST_STOPPING)
Willy Tarreau3e048382014-05-21 10:30:54 +0200630 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100631
Christopher Faulet147b8c92021-04-10 09:00:38 +0200632 TRACE_STATE("health-check succeeded, set server RUNNING", CHK_EV_HCHK_END|CHK_EV_HCHK_SUCC, check);
Aurelien DARRAGON1746b562023-04-04 10:17:40 +0200633 srv_set_running(s, check_notify_cause(check));
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100634}
635
Willy Tarreaudb58b792014-05-21 13:57:23 +0200636/* Marks the check <check> as valid and tries to set its server into stopping mode
637 * if it was running or starting, and provided it isn't in maintenance and other
638 * checks comply. The conditions for the server to be marked in stopping mode are
639 * the same as for it to be turned up. Also, only the health checks support the
640 * nolb mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200641 */
Willy Tarreaubcc67332020-06-05 15:31:31 +0200642void check_notify_stopping(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200643{
Simon Horman4a741432013-02-23 15:35:38 +0900644 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100645
Emeric Brun52a91d32017-08-31 14:41:55 +0200646 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200647 return;
648
Willy Tarreaudb58b792014-05-21 13:57:23 +0200649 if (check->state & CHK_ST_AGENT)
650 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100651
Emeric Brun52a91d32017-08-31 14:41:55 +0200652 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreaudb58b792014-05-21 13:57:23 +0200653 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100654
Willy Tarreaudb58b792014-05-21 13:57:23 +0200655 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
656 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100657
Willy Tarreaudb58b792014-05-21 13:57:23 +0200658 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
659 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100660
Christopher Faulet147b8c92021-04-10 09:00:38 +0200661 TRACE_STATE("health-check condionnaly succeeded, set server STOPPING", CHK_EV_HCHK_END|CHK_EV_HCHK_SUCC, check);
Aurelien DARRAGON1746b562023-04-04 10:17:40 +0200662 srv_set_stopping(s, check_notify_cause(check));
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100663}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200664
Willy Tarreau9fe7aae2013-12-31 23:47:37 +0100665/* note: use health_adjust() only, which first checks that the observe mode is
Willy Tarreau4e9df272021-02-17 15:20:19 +0100666 * enabled. This will take the server lock if needed.
Willy Tarreau9fe7aae2013-12-31 23:47:37 +0100667 */
668void __health_adjust(struct server *s, short status)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100669{
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100670 int failed;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100671
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100672 if (s->observe >= HANA_OBS_SIZE)
673 return;
674
Willy Tarreaubb956662013-01-24 00:37:39 +0100675 if (status >= HANA_STATUS_SIZE || !analyze_statuses[status].desc)
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100676 return;
677
678 switch (analyze_statuses[status].lr[s->observe - 1]) {
679 case 1:
680 failed = 1;
681 break;
682
683 case 2:
684 failed = 0;
685 break;
686
687 default:
688 return;
689 }
690
691 if (!failed) {
692 /* good: clear consecutive_errors */
Aurelien DARRAGON81b7c952022-12-07 14:27:42 +0100693 HA_ATOMIC_STORE(&s->consecutive_errors, 0);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100694 return;
695 }
696
Aurelien DARRAGON81b7c952022-12-07 14:27:42 +0100697 if (HA_ATOMIC_ADD_FETCH(&s->consecutive_errors, 1) < s->consecutive_errors_limit)
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100698 return;
699
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100700 chunk_printf(&trash, "Detected %d consecutive errors, last one was: %s",
Aurelien DARRAGON81b7c952022-12-07 14:27:42 +0100701 HA_ATOMIC_LOAD(&s->consecutive_errors), get_analyze_status(status));
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100702
Willy Tarreau4e9df272021-02-17 15:20:19 +0100703 HA_SPIN_LOCK(SERVER_LOCK, &s->lock);
704
Aurelien DARRAGON7d541a92022-12-07 12:17:24 +0100705 /* force fastinter for upcoming check
706 * (does nothing if fastinter is not enabled)
707 */
708 s->check.state |= CHK_ST_FASTINTER;
709
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100710 switch (s->onerror) {
711 case HANA_ONERR_FASTINTER:
712 /* force fastinter - nothing to do here as all modes force it */
713 break;
714
715 case HANA_ONERR_SUDDTH:
716 /* simulate a pre-fatal failed health check */
Simon Horman58c32972013-11-25 10:46:38 +0900717 if (s->check.health > s->check.rise)
718 s->check.health = s->check.rise + 1;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100719
Willy Tarreau36a73432022-11-14 07:31:36 +0100720 __fallthrough;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100721
722 case HANA_ONERR_FAILCHK:
723 /* simulate a failed health check */
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200724 set_server_check_status(&s->check, HCHK_STATUS_HANA,
725 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200726 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100727 break;
728
729 case HANA_ONERR_MARKDWN:
730 /* mark server down */
Simon Horman58c32972013-11-25 10:46:38 +0900731 s->check.health = s->check.rise;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200732 set_server_check_status(&s->check, HCHK_STATUS_HANA,
733 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200734 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100735 break;
736
737 default:
738 /* write a warning? */
739 break;
740 }
741
Willy Tarreau4e9df272021-02-17 15:20:19 +0100742 HA_SPIN_UNLOCK(SERVER_LOCK, &s->lock);
743
Aurelien DARRAGON81b7c952022-12-07 14:27:42 +0100744 HA_ATOMIC_STORE(&s->consecutive_errors, 0);
Willy Tarreau4781b152021-04-06 13:53:36 +0200745 _HA_ATOMIC_INC(&s->counters.failed_hana);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100746
Willy Tarreaua56798e2022-12-06 11:38:18 +0100747 if (s->check.fastinter) {
748 /* timer might need to be advanced, it might also already be
749 * running in another thread. Let's just wake the task up, it
750 * will automatically adjust its timer.
751 */
752 task_wakeup(s->check.task, TASK_WOKEN_MSG);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100753 }
Willy Tarreauef781042010-01-27 11:53:01 +0100754}
755
Christopher Faulet61cc8522020-04-20 14:54:42 +0200756/* Checks the connection. If an error has already been reported or the socket is
Willy Tarreau20a18342013-12-05 00:31:46 +0100757 * closed, keep errno intact as it is supposed to contain the valid error code.
758 * If no error is reported, check the socket's error queue using getsockopt().
759 * Warning, this must be done only once when returning from poll, and never
760 * after an I/O error was attempted, otherwise the error queue might contain
761 * inconsistent errors. If an error is detected, the CO_FL_ERROR is set on the
762 * socket. Returns non-zero if an error was reported, zero if everything is
763 * clean (including a properly closed socket).
764 */
765static int retrieve_errno_from_socket(struct connection *conn)
766{
767 int skerr;
768 socklen_t lskerr = sizeof(skerr);
769
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100770 if (conn->flags & CO_FL_ERROR && (unclean_errno(errno) || !conn->ctrl))
Willy Tarreau20a18342013-12-05 00:31:46 +0100771 return 1;
772
Willy Tarreau3c728722014-01-23 13:50:42 +0100773 if (!conn_ctrl_ready(conn))
Willy Tarreau20a18342013-12-05 00:31:46 +0100774 return 0;
775
Willy Tarreau07ecfc52022-04-11 18:07:03 +0200776 BUG_ON(conn->flags & CO_FL_FDLESS);
777
Willy Tarreau585744b2017-08-24 14:31:19 +0200778 if (getsockopt(conn->handle.fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr) == 0)
Willy Tarreau20a18342013-12-05 00:31:46 +0100779 errno = skerr;
780
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100781 errno = unclean_errno(errno);
Willy Tarreau20a18342013-12-05 00:31:46 +0100782
783 if (!errno) {
784 /* we could not retrieve an error, that does not mean there is
785 * none. Just don't change anything and only report the prior
786 * error if any.
787 */
788 if (conn->flags & CO_FL_ERROR)
789 return 1;
790 else
791 return 0;
792 }
793
794 conn->flags |= CO_FL_ERROR | CO_FL_SOCK_WR_SH | CO_FL_SOCK_RD_SH;
795 return 1;
796}
797
Christopher Faulet61cc8522020-04-20 14:54:42 +0200798/* Tries to collect as much information as possible on the connection status,
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100799 * and adjust the server status accordingly. It may make use of <errno_bck>
800 * if non-null when the caller is absolutely certain of its validity (eg:
801 * checked just after a syscall). If the caller doesn't have a valid errno,
802 * it can pass zero, and retrieve_errno_from_socket() will be called to try
803 * to extract errno from the socket. If no error is reported, it will consider
804 * the <expired> flag. This is intended to be used when a connection error was
805 * reported in conn->flags or when a timeout was reported in <expired>. The
806 * function takes care of not updating a server status which was already set.
807 * All situations where at least one of <expired> or CO_FL_ERROR are set
808 * produce a status.
809 */
Willy Tarreau51cd5952020-06-05 12:25:38 +0200810void chk_report_conn_err(struct check *check, int errno_bck, int expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100811{
Willy Tarreaubde14ad2022-05-27 10:04:04 +0200812 struct stconn *sc = check->sc;
813 struct connection *conn = sc_conn(sc);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100814 const char *err_msg;
Willy Tarreau83061a82018-07-13 11:56:34 +0200815 struct buffer *chk;
Willy Tarreau213c6782014-10-02 14:51:02 +0200816 int step;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100817
Christopher Faulet147b8c92021-04-10 09:00:38 +0200818 if (check->result != CHK_RES_UNKNOWN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100819 return;
Christopher Faulet147b8c92021-04-10 09:00:38 +0200820 }
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100821
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100822 errno = unclean_errno(errno_bck);
823 if (conn && errno)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100824 retrieve_errno_from_socket(conn);
825
Christopher Faulete4b40192022-06-13 07:59:46 +0200826 if (conn && !(conn->flags & CO_FL_ERROR) && !sc_ep_test(sc, SE_FL_ERROR) && !expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100827 return;
828
Christopher Faulet147b8c92021-04-10 09:00:38 +0200829 TRACE_ENTER(CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check, 0, 0, (size_t[]){expired});
830
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100831 /* we'll try to build a meaningful error message depending on the
832 * context of the error possibly present in conn->err_code, and the
833 * socket error possibly collected above. This is useful to know the
834 * exact step of the L6 layer (eg: SSL handshake).
835 */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200836 chk = get_trash_chunk();
837
Christopher Faulet799f3a42020-04-07 12:06:14 +0200838 if (check->type == PR_O2_TCPCHK_CHK &&
Christopher Fauletd7e63962020-04-17 20:15:59 +0200839 (check->tcpcheck_rules->flags & TCPCHK_RULES_PROTO_CHK) == TCPCHK_RULES_TCP_CHK) {
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200840 step = tcpcheck_get_step_id(check, NULL);
Christopher Faulet147b8c92021-04-10 09:00:38 +0200841 if (!step) {
842 TRACE_DEVEL("initial connection failure", CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
Willy Tarreau213c6782014-10-02 14:51:02 +0200843 chunk_printf(chk, " at initial connection step of tcp-check");
Christopher Faulet147b8c92021-04-10 09:00:38 +0200844 }
Willy Tarreau213c6782014-10-02 14:51:02 +0200845 else {
846 chunk_printf(chk, " at step %d of tcp-check", step);
847 /* we were looking for a string */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200848 if (check->current_step && check->current_step->action == TCPCHK_ACT_CONNECT) {
849 if (check->current_step->connect.port)
850 chunk_appendf(chk, " (connect port %d)" ,check->current_step->connect.port);
Willy Tarreau213c6782014-10-02 14:51:02 +0200851 else
852 chunk_appendf(chk, " (connect)");
Christopher Faulet147b8c92021-04-10 09:00:38 +0200853 TRACE_DEVEL("connection failure", CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
Willy Tarreau213c6782014-10-02 14:51:02 +0200854 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200855 else if (check->current_step && check->current_step->action == TCPCHK_ACT_EXPECT) {
856 struct tcpcheck_expect *expect = &check->current_step->expect;
Gaetan Rivetb616add2020-02-07 15:37:17 +0100857
858 switch (expect->type) {
859 case TCPCHK_EXPECT_STRING:
Christopher Fauletb61caf42020-04-21 10:57:42 +0200860 chunk_appendf(chk, " (expect string '%.*s')", (unsigned int)istlen(expect->data), istptr(expect->data));
Gaetan Rivetb616add2020-02-07 15:37:17 +0100861 break;
862 case TCPCHK_EXPECT_BINARY:
Christopher Fauletb61caf42020-04-21 10:57:42 +0200863 chunk_appendf(chk, " (expect binary '%.*s')", (unsigned int)istlen(expect->data), istptr(expect->data));
Gaetan Rivetb616add2020-02-07 15:37:17 +0100864 break;
Christopher Faulet67a23452020-05-05 18:10:01 +0200865 case TCPCHK_EXPECT_STRING_REGEX:
Willy Tarreau213c6782014-10-02 14:51:02 +0200866 chunk_appendf(chk, " (expect regex)");
Gaetan Rivetb616add2020-02-07 15:37:17 +0100867 break;
Christopher Faulet67a23452020-05-05 18:10:01 +0200868 case TCPCHK_EXPECT_BINARY_REGEX:
Gaetan Rivetefab6c62020-02-07 15:37:17 +0100869 chunk_appendf(chk, " (expect binary regex)");
870 break;
Christopher Fauletaaab0832020-05-05 15:54:22 +0200871 case TCPCHK_EXPECT_STRING_LF:
872 chunk_appendf(chk, " (expect log-format string)");
873 break;
874 case TCPCHK_EXPECT_BINARY_LF:
875 chunk_appendf(chk, " (expect log-format binary)");
876 break;
Christopher Faulete5870d82020-04-15 11:32:03 +0200877 case TCPCHK_EXPECT_HTTP_STATUS:
Christopher Faulet8021a5f2020-04-24 13:53:12 +0200878 chunk_appendf(chk, " (expect HTTP status codes)");
Christopher Faulete5870d82020-04-15 11:32:03 +0200879 break;
Christopher Faulet67a23452020-05-05 18:10:01 +0200880 case TCPCHK_EXPECT_HTTP_STATUS_REGEX:
Christopher Faulete5870d82020-04-15 11:32:03 +0200881 chunk_appendf(chk, " (expect HTTP status regex)");
882 break;
Christopher Faulet39708192020-05-05 10:47:36 +0200883 case TCPCHK_EXPECT_HTTP_HEADER:
884 chunk_appendf(chk, " (expect HTTP header pattern)");
885 break;
Christopher Faulete5870d82020-04-15 11:32:03 +0200886 case TCPCHK_EXPECT_HTTP_BODY:
Christopher Fauletb61caf42020-04-21 10:57:42 +0200887 chunk_appendf(chk, " (expect HTTP body content '%.*s')", (unsigned int)istlen(expect->data), istptr(expect->data));
Christopher Faulete5870d82020-04-15 11:32:03 +0200888 break;
Christopher Faulet67a23452020-05-05 18:10:01 +0200889 case TCPCHK_EXPECT_HTTP_BODY_REGEX:
Christopher Faulete5870d82020-04-15 11:32:03 +0200890 chunk_appendf(chk, " (expect HTTP body regex)");
891 break;
Christopher Fauletaaab0832020-05-05 15:54:22 +0200892 case TCPCHK_EXPECT_HTTP_BODY_LF:
893 chunk_appendf(chk, " (expect log-format HTTP body)");
894 break;
Christopher Faulet9e6ed152020-04-03 15:24:06 +0200895 case TCPCHK_EXPECT_CUSTOM:
896 chunk_appendf(chk, " (expect custom function)");
897 break;
Gaetan Rivetb616add2020-02-07 15:37:17 +0100898 case TCPCHK_EXPECT_UNDEF:
899 chunk_appendf(chk, " (undefined expect!)");
900 break;
901 }
Christopher Faulet147b8c92021-04-10 09:00:38 +0200902 TRACE_DEVEL("expect rule failed", CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
Willy Tarreau213c6782014-10-02 14:51:02 +0200903 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200904 else if (check->current_step && check->current_step->action == TCPCHK_ACT_SEND) {
Willy Tarreau213c6782014-10-02 14:51:02 +0200905 chunk_appendf(chk, " (send)");
Christopher Faulet147b8c92021-04-10 09:00:38 +0200906 TRACE_DEVEL("send rule failed", CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
Willy Tarreau213c6782014-10-02 14:51:02 +0200907 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200908
Christopher Faulet6f2a5e42020-04-01 13:11:41 +0200909 if (check->current_step && check->current_step->comment)
910 chunk_appendf(chk, " comment: '%s'", check->current_step->comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200911 }
912 }
913
Willy Tarreau00149122017-10-04 18:05:01 +0200914 if (conn && conn->err_code) {
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100915 if (unclean_errno(errno))
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200916 chunk_printf(&trash, "%s (%s)%s", conn_err_code_str(conn), strerror(errno),
917 chk->area);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100918 else
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200919 chunk_printf(&trash, "%s%s", conn_err_code_str(conn),
920 chk->area);
921 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100922 }
923 else {
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100924 if (unclean_errno(errno)) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200925 chunk_printf(&trash, "%s%s", strerror(errno),
926 chk->area);
927 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100928 }
929 else {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200930 err_msg = chk->area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100931 }
932 }
933
Willy Tarreau00149122017-10-04 18:05:01 +0200934 if (check->state & CHK_ST_PORT_MISS) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +0200935 /* NOTE: this is reported after <fall> tries */
Baptiste Assmann95db2bc2016-06-13 14:15:41 +0200936 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
937 }
938
Christopher Faulete4b40192022-06-13 07:59:46 +0200939 if (!conn || !conn->ctrl) {
Christopher Faulet5e293762020-10-26 11:10:49 +0100940 /* error before any connection attempt (connection allocation error or no control layer) */
Willy Tarreau00149122017-10-04 18:05:01 +0200941 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
942 }
Willy Tarreauc192b0a2020-01-23 09:11:58 +0100943 else if (conn->flags & CO_FL_WAIT_L4_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100944 /* L4 not established (yet) */
Willy Tarreaubde14ad2022-05-27 10:04:04 +0200945 if (conn->flags & CO_FL_ERROR || sc_ep_test(sc, SE_FL_ERROR))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100946 set_server_check_status(check, HCHK_STATUS_L4CON, err_msg);
947 else if (expired)
948 set_server_check_status(check, HCHK_STATUS_L4TOUT, err_msg);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200949
950 /*
951 * might be due to a server IP change.
952 * Let's trigger a DNS resolution if none are currently running.
953 */
Olivier Houchard0923fa42019-01-11 18:43:04 +0100954 if (check->server)
Emeric Brund30e9a12020-12-23 18:49:16 +0100955 resolv_trigger_resolution(check->server->resolv_requester);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200956
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100957 }
Willy Tarreauc192b0a2020-01-23 09:11:58 +0100958 else if (conn->flags & CO_FL_WAIT_L6_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100959 /* L6 not established (yet) */
Willy Tarreaubde14ad2022-05-27 10:04:04 +0200960 if (conn->flags & CO_FL_ERROR || sc_ep_test(sc, SE_FL_ERROR))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100961 set_server_check_status(check, HCHK_STATUS_L6RSP, err_msg);
962 else if (expired)
963 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
964 }
Willy Tarreaubde14ad2022-05-27 10:04:04 +0200965 else if (conn->flags & CO_FL_ERROR || sc_ep_test(sc, SE_FL_ERROR)) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100966 /* I/O error after connection was established and before we could diagnose */
967 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
968 }
969 else if (expired) {
Christopher Fauletcf80f2f2020-04-01 11:04:52 +0200970 enum healthcheck_status tout = HCHK_STATUS_L7TOUT;
971
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100972 /* connection established but expired check */
Christopher Faulet1941bab2020-05-05 07:55:50 +0200973 if (check->current_step && check->current_step->action == TCPCHK_ACT_EXPECT &&
974 check->current_step->expect.tout_status != HCHK_STATUS_UNKNOWN)
Christopher Faulet811f78c2020-04-01 11:10:27 +0200975 tout = check->current_step->expect.tout_status;
976 set_server_check_status(check, tout, err_msg);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100977 }
978
Christopher Faulet147b8c92021-04-10 09:00:38 +0200979 TRACE_LEAVE(CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100980 return;
981}
982
Simon Horman98637e52014-06-20 12:30:16 +0900983
Christopher Faulet61cc8522020-04-20 14:54:42 +0200984/* Builds the server state header used by HTTP health-checks */
Willy Tarreau51cd5952020-06-05 12:25:38 +0200985int httpchk_build_status_header(struct server *s, struct buffer *buf)
Simon Horman98637e52014-06-20 12:30:16 +0900986{
Christopher Faulet61cc8522020-04-20 14:54:42 +0200987 int sv_state;
988 int ratio;
989 char addr[46];
990 char port[6];
991 const char *srv_hlt_st[7] = { "DOWN", "DOWN %d/%d",
992 "UP %d/%d", "UP",
993 "NOLB %d/%d", "NOLB",
994 "no check" };
Simon Horman98637e52014-06-20 12:30:16 +0900995
Christopher Faulet61cc8522020-04-20 14:54:42 +0200996 if (!(s->check.state & CHK_ST_ENABLED))
997 sv_state = 6;
998 else if (s->cur_state != SRV_ST_STOPPED) {
999 if (s->check.health == s->check.rise + s->check.fall - 1)
1000 sv_state = 3; /* UP */
1001 else
1002 sv_state = 2; /* going down */
Simon Horman98637e52014-06-20 12:30:16 +09001003
Christopher Faulet61cc8522020-04-20 14:54:42 +02001004 if (s->cur_state == SRV_ST_STOPPING)
1005 sv_state += 2;
1006 } else {
1007 if (s->check.health)
1008 sv_state = 1; /* going up */
1009 else
1010 sv_state = 0; /* DOWN */
Simon Horman98637e52014-06-20 12:30:16 +09001011 }
Willy Tarreaub7b24782016-06-21 15:32:29 +02001012
Christopher Faulet61cc8522020-04-20 14:54:42 +02001013 chunk_appendf(buf, srv_hlt_st[sv_state],
1014 (s->cur_state != SRV_ST_STOPPED) ? (s->check.health - s->check.rise + 1) : (s->check.health),
1015 (s->cur_state != SRV_ST_STOPPED) ? (s->check.fall) : (s->check.rise));
Willy Tarreaub7b24782016-06-21 15:32:29 +02001016
Christopher Faulet61cc8522020-04-20 14:54:42 +02001017 addr_to_str(&s->addr, addr, sizeof(addr));
1018 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
1019 snprintf(port, sizeof(port), "%u", s->svc_port);
1020 else
1021 *port = 0;
Willy Tarreaub7b24782016-06-21 15:32:29 +02001022
Christopher Faulet61cc8522020-04-20 14:54:42 +02001023 chunk_appendf(buf, "; address=%s; port=%s; name=%s/%s; node=%s; weight=%d/%d; scur=%d/%d; qcur=%d",
1024 addr, port, s->proxy->id, s->id,
1025 global.node,
1026 (s->cur_eweight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
1027 (s->proxy->lbprm.tot_weight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
Willy Tarreau7f3c1df2021-06-18 09:22:21 +02001028 s->cur_sess, s->proxy->beconn - s->proxy->queue.length,
Willy Tarreaua0570452021-06-18 09:30:30 +02001029 s->queue.length);
Willy Tarreau9f6dc722019-03-01 11:15:10 +01001030
Christopher Faulet61cc8522020-04-20 14:54:42 +02001031 if ((s->cur_state == SRV_ST_STARTING) &&
Willy Tarreau69530f52023-04-28 09:16:15 +02001032 ns_to_sec(now_ns) < s->last_change + s->slowstart &&
1033 ns_to_sec(now_ns) >= s->last_change) {
1034 ratio = MAX(1, 100 * (ns_to_sec(now_ns) - s->last_change) / s->slowstart);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001035 chunk_appendf(buf, "; throttle=%d%%", ratio);
1036 }
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001037
Christopher Faulet61cc8522020-04-20 14:54:42 +02001038 return b_data(buf);
1039}
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001040
Willy Tarreau51cd5952020-06-05 12:25:38 +02001041/**************************************************************************/
Willy Tarreau51cd5952020-06-05 12:25:38 +02001042/***************** Health-checks based on connections *********************/
1043/**************************************************************************/
1044/* This function is used only for server health-checks. It handles connection
1045 * status updates including errors. If necessary, it wakes the check task up.
1046 * It returns 0 on normal cases, <0 if at least one close() has happened on the
1047 * connection (eg: reconnect). It relies on tcpcheck_main().
Christopher Faulet61cc8522020-04-20 14:54:42 +02001048 */
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001049int wake_srv_chk(struct stconn *sc)
Christopher Faulet61cc8522020-04-20 14:54:42 +02001050{
Christopher Faulet0256da12021-12-15 09:50:17 +01001051 struct connection *conn;
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001052 struct check *check = __sc_check(sc);
Willy Tarreau51cd5952020-06-05 12:25:38 +02001053 struct email_alertq *q = container_of(check, typeof(*q), check);
1054 int ret = 0;
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001055
Christopher Faulet147b8c92021-04-10 09:00:38 +02001056 TRACE_ENTER(CHK_EV_HCHK_WAKE, check);
Christopher Faulet08c8f8e2022-05-18 14:35:49 +02001057 if (check->result != CHK_RES_UNKNOWN)
1058 goto end;
1059
Willy Tarreau51cd5952020-06-05 12:25:38 +02001060 if (check->server)
1061 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
1062 else
1063 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001064
Willy Tarreau51cd5952020-06-05 12:25:38 +02001065 /* we may have to make progress on the TCP checks */
1066 ret = tcpcheck_main(check);
Christopher Fauletaaab0832020-05-05 15:54:22 +02001067
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001068 sc = check->sc;
1069 conn = sc_conn(sc);
Christopher Fauletaaab0832020-05-05 15:54:22 +02001070
Christopher Faulete4b40192022-06-13 07:59:46 +02001071 if (unlikely(!conn || conn->flags & CO_FL_ERROR || sc_ep_test(sc, SE_FL_ERROR))) {
Willy Tarreau51cd5952020-06-05 12:25:38 +02001072 /* We may get error reports bypassing the I/O handlers, typically
1073 * the case when sending a pure TCP check which fails, then the I/O
1074 * handlers above are not called. This is completely handled by the
1075 * main processing task so let's simply wake it up. If we get here,
1076 * we expect errno to still be valid.
1077 */
Christopher Faulet147b8c92021-04-10 09:00:38 +02001078 TRACE_ERROR("report connection error", CHK_EV_HCHK_WAKE|CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
Willy Tarreau51cd5952020-06-05 12:25:38 +02001079 chk_report_conn_err(check, errno, 0);
1080 task_wakeup(check->task, TASK_WOKEN_IO);
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001081 }
1082
Christopher Faulet8f100422021-01-18 15:47:03 +01001083 if (check->result != CHK_RES_UNKNOWN || ret == -1) {
Christopher Faulet08c8f8e2022-05-18 14:35:49 +02001084 /* Check complete or aborted. Wake the check task up to be sure
1085 * the result is handled ASAP. */
Willy Tarreau51cd5952020-06-05 12:25:38 +02001086 ret = -1;
Willy Tarreau51cd5952020-06-05 12:25:38 +02001087 task_wakeup(check->task, TASK_WOKEN_IO);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001088 }
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001089
Willy Tarreau51cd5952020-06-05 12:25:38 +02001090 if (check->server)
1091 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
1092 else
1093 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001094
Christopher Faulet08c8f8e2022-05-18 14:35:49 +02001095 end:
Christopher Faulet147b8c92021-04-10 09:00:38 +02001096 TRACE_LEAVE(CHK_EV_HCHK_WAKE, check);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001097 return ret;
1098}
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001099
Willy Tarreau51cd5952020-06-05 12:25:38 +02001100/* This function checks if any I/O is wanted, and if so, attempts to do so */
Christopher Faulet361417f2022-05-18 14:50:30 +02001101struct task *srv_chk_io_cb(struct task *t, void *ctx, unsigned int state)
Christopher Faulet61cc8522020-04-20 14:54:42 +02001102{
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001103 struct stconn *sc = ctx;
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001104
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001105 wake_srv_chk(sc);
Willy Tarreau51cd5952020-06-05 12:25:38 +02001106 return NULL;
Christopher Faulet61cc8522020-04-20 14:54:42 +02001107}
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001108
Willy Tarreau51cd5952020-06-05 12:25:38 +02001109/* manages a server health-check that uses a connection. Returns
1110 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Christopher Faulet61cc8522020-04-20 14:54:42 +02001111 *
1112 * Please do NOT place any return statement in this function and only leave
Willy Tarreau51cd5952020-06-05 12:25:38 +02001113 * via the out_unlock label.
Christopher Faulet61cc8522020-04-20 14:54:42 +02001114 */
Willy Tarreau144f84a2021-03-02 16:09:26 +01001115struct task *process_chk_conn(struct task *t, void *context, unsigned int state)
Christopher Faulet61cc8522020-04-20 14:54:42 +02001116{
Willy Tarreau51cd5952020-06-05 12:25:38 +02001117 struct check *check = context;
1118 struct proxy *proxy = check->proxy;
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001119 struct stconn *sc;
Christopher Faulet92017a32021-05-06 16:01:18 +02001120 struct connection *conn;
Willy Tarreau51cd5952020-06-05 12:25:38 +02001121 int rv;
1122 int expired = tick_is_expired(t->expire, now_ms);
Willy Tarreaudeccd112018-06-14 18:38:55 +02001123
Christopher Faulet147b8c92021-04-10 09:00:38 +02001124 TRACE_ENTER(CHK_EV_TASK_WAKE, check);
1125
Willy Tarreaud114f4a2022-10-12 20:58:18 +02001126 if (check->state & CHK_ST_SLEEPING) {
1127 /* This check just restarted. It's still time to verify if
1128 * we're on an overloaded thread or if a more suitable one is
1129 * available. This helps spread the load over the available
1130 * threads, without migrating too often. For this we'll check
1131 * our load, and pick a random thread, check if it has less
1132 * than half of the current thread's load, and if so we'll
1133 * bounce the task there. It's possible because it's not yet
1134 * tied to the current thread. The other thread will not bounce
1135 * the task again because we're removing CHK_ST_SLEEPING.
1136 */
1137 uint my_load = HA_ATOMIC_LOAD(&th_ctx->rq_total);
1138
1139 check->state &= ~CHK_ST_SLEEPING;
1140
1141 if (my_load >= 2) {
1142 uint new_tid = statistical_prng_range(global.nbthread);
1143 uint new_load = HA_ATOMIC_LOAD(&ha_thread_ctx[new_tid].rq_total);
1144
1145 if (new_load <= my_load / 2) {
1146 /* Found one. Let's migrate the task over there. We have to
1147 * remove it from the WQ first and kill its expire time
1148 * otherwise the scheduler will reinsert it and trigger a
1149 * BUG_ON() as we're not allowed to call task_queue() for a
1150 * foreign thread. The recipient will restore the expiration.
1151 */
1152 task_unlink_wq(t);
1153 t->expire = TICK_ETERNITY;
1154 task_set_thread(t, new_tid);
1155 task_wakeup(t, TASK_WOKEN_MSG);
1156 TRACE_LEAVE(CHK_EV_TASK_WAKE, check);
1157 return t;
1158 }
1159 }
1160 }
1161
Willy Tarreau51cd5952020-06-05 12:25:38 +02001162 if (check->server)
1163 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Christopher Faulet92017a32021-05-06 16:01:18 +02001164
Willy Tarreaud114f4a2022-10-12 20:58:18 +02001165 if (!(check->state & (CHK_ST_INPROGRESS|CHK_ST_IN_ALLOC|CHK_ST_OUT_ALLOC))) {
1166 /* This task might have bounced from another overloaded thread, it
1167 * needs an expiration timer that was supposed to be now, but that
1168 * was erased during the bounce.
1169 */
1170 if (!tick_isset(t->expire))
1171 t->expire = now_ms;
1172 }
1173
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001174 if (unlikely(check->state & CHK_ST_PURGE)) {
1175 TRACE_STATE("health-check state to purge", CHK_EV_TASK_WAKE, check);
1176 }
1177 else if (!(check->state & (CHK_ST_INPROGRESS))) {
Willy Tarreau9e080bf2022-12-06 18:20:56 +01001178 /* no check currently running, but we might have been woken up
1179 * before the timer's expiration to update it according to a
1180 * new state (e.g. fastinter), in which case we'll reprogram
1181 * the new timer.
1182 */
Christopher Faulet147b8c92021-04-10 09:00:38 +02001183 if (!expired) /* woke up too early */ {
Willy Tarreau9e080bf2022-12-06 18:20:56 +01001184 if (check->server) {
1185 int new_exp = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check)));
1186
1187 if (tick_is_expired(new_exp, t->expire)) {
1188 TRACE_STATE("health-check was advanced", CHK_EV_TASK_WAKE, check);
1189 goto update_timer;
1190 }
1191 }
1192
Christopher Faulet147b8c92021-04-10 09:00:38 +02001193 TRACE_STATE("health-check wake up too early", CHK_EV_TASK_WAKE, check);
Willy Tarreau51cd5952020-06-05 12:25:38 +02001194 goto out_unlock;
Christopher Faulet147b8c92021-04-10 09:00:38 +02001195 }
Willy Tarreauabca5b62013-12-06 14:19:25 +01001196
Willy Tarreau51cd5952020-06-05 12:25:38 +02001197 /* we don't send any health-checks when the proxy is
1198 * stopped, the server should not be checked or the check
1199 * is disabled.
1200 */
1201 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
Christopher Fauletdfd10ab2021-10-06 14:24:19 +02001202 (proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED))) {
Christopher Faulet147b8c92021-04-10 09:00:38 +02001203 TRACE_STATE("health-check paused or disabled", CHK_EV_TASK_WAKE, check);
Willy Tarreau51cd5952020-06-05 12:25:38 +02001204 goto reschedule;
Christopher Faulet147b8c92021-04-10 09:00:38 +02001205 }
Christopher Faulet404f9192020-04-09 23:13:54 +02001206
Willy Tarreau51cd5952020-06-05 12:25:38 +02001207 /* we'll initiate a new check */
1208 set_server_check_status(check, HCHK_STATUS_START, NULL);
Christopher Faulet404f9192020-04-09 23:13:54 +02001209
Willy Tarreau51cd5952020-06-05 12:25:38 +02001210 check->state |= CHK_ST_INPROGRESS;
Christopher Faulet147b8c92021-04-10 09:00:38 +02001211 TRACE_STATE("init new health-check", CHK_EV_TASK_WAKE|CHK_EV_HCHK_START, check);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001212
Willy Tarreaueed39112022-06-15 17:20:16 +02001213 task_set_thread(t, tid);
Willy Tarreau51cd5952020-06-05 12:25:38 +02001214
1215 check->current_step = NULL;
Christopher Faulet9ec2f4d2022-03-23 15:15:29 +01001216
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001217 check->sc = sc_new_from_check(check, SC_FL_NONE);
1218 if (!check->sc) {
Christopher Faulet177a0e62022-04-12 17:47:07 +02001219 set_server_check_status(check, HCHK_STATUS_SOCKERR, NULL);
1220 goto end;
Christopher Faulet9ec2f4d2022-03-23 15:15:29 +01001221 }
Willy Tarreau51cd5952020-06-05 12:25:38 +02001222 tcpcheck_main(check);
Christopher Faulet92017a32021-05-06 16:01:18 +02001223 expired = 0;
Christopher Faulet61cc8522020-04-20 14:54:42 +02001224 }
Christopher Faulet92017a32021-05-06 16:01:18 +02001225
Christopher Faulet92017a32021-05-06 16:01:18 +02001226 /* there was a test running.
1227 * First, let's check whether there was an uncaught error,
1228 * which can happen on connect timeout or error.
1229 */
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001230 if (check->result == CHK_RES_UNKNOWN && likely(!(check->state & CHK_ST_PURGE))) {
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001231 sc = check->sc;
Christopher Faulete4b40192022-06-13 07:59:46 +02001232 conn = sc_conn(sc);
Christopher Faulet177a0e62022-04-12 17:47:07 +02001233
Christopher Faulet92017a32021-05-06 16:01:18 +02001234 /* Here the connection must be defined. Otherwise the
1235 * error would have already been detected
Willy Tarreau51cd5952020-06-05 12:25:38 +02001236 */
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001237 if ((conn && ((conn->flags & CO_FL_ERROR) || sc_ep_test(sc, SE_FL_ERROR))) || expired) {
Christopher Faulet92017a32021-05-06 16:01:18 +02001238 TRACE_ERROR("report connection error", CHK_EV_TASK_WAKE|CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
1239 chk_report_conn_err(check, 0, expired);
1240 }
1241 else {
1242 if (check->state & CHK_ST_CLOSE_CONN) {
1243 TRACE_DEVEL("closing current connection", CHK_EV_TASK_WAKE|CHK_EV_HCHK_RUN, check);
Christopher Faulet92017a32021-05-06 16:01:18 +02001244 check->state &= ~CHK_ST_CLOSE_CONN;
Christopher Faulet9ec2f4d2022-03-23 15:15:29 +01001245 conn = NULL;
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001246 if (!sc_reset_endp(check->sc)) {
Christopher Fauleta6c4a482022-04-28 18:25:24 +02001247 /* error will be handled by tcpcheck_main().
Willy Tarreaub605c422022-05-17 17:04:55 +02001248 * On success, remove all flags except SE_FL_DETACHED
Christopher Fauleta6c4a482022-04-28 18:25:24 +02001249 */
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001250 sc_ep_clr(check->sc, ~SE_FL_DETACHED);
Christopher Fauleta6c4a482022-04-28 18:25:24 +02001251 }
Christopher Faulet92017a32021-05-06 16:01:18 +02001252 tcpcheck_main(check);
Willy Tarreau51cd5952020-06-05 12:25:38 +02001253 }
Christopher Faulet92017a32021-05-06 16:01:18 +02001254 if (check->result == CHK_RES_UNKNOWN) {
1255 TRACE_DEVEL("health-check not expired", CHK_EV_TASK_WAKE|CHK_EV_HCHK_RUN, check);
1256 goto out_unlock; /* timeout not reached, wait again */
Christopher Faulet8f100422021-01-18 15:47:03 +01001257 }
Christopher Faulet61cc8522020-04-20 14:54:42 +02001258 }
Christopher Faulet92017a32021-05-06 16:01:18 +02001259 }
Christopher Faulet404f9192020-04-09 23:13:54 +02001260
Christopher Faulet92017a32021-05-06 16:01:18 +02001261 /* check complete or aborted */
1262 TRACE_STATE("health-check complete or aborted", CHK_EV_TASK_WAKE|CHK_EV_HCHK_END, check);
Christopher Fauletba3c68f2020-04-01 16:27:05 +02001263
Christopher Faulete4b40192022-06-13 07:59:46 +02001264 /* check->sc may be NULL when the healthcheck is purged */
Christopher Faulet92017a32021-05-06 16:01:18 +02001265 check->current_step = NULL;
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001266 sc = check->sc;
1267 conn = (sc ? sc_conn(sc) : NULL);
Christopher Fauletba3c68f2020-04-01 16:27:05 +02001268
Christopher Faulet92017a32021-05-06 16:01:18 +02001269 if (conn && conn->xprt) {
1270 /* The check was aborted and the connection was not yet closed.
1271 * This can happen upon timeout, or when an external event such
1272 * as a failed response coupled with "observe layer7" caused the
1273 * server state to be suddenly changed.
1274 */
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001275 sc_conn_drain_and_shut(sc);
Christopher Faulet92017a32021-05-06 16:01:18 +02001276 }
Christopher Fauletba3c68f2020-04-01 16:27:05 +02001277
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001278 if (sc) {
1279 sc_destroy(sc);
1280 sc = check->sc = NULL;
Christopher Faulet177a0e62022-04-12 17:47:07 +02001281 conn = NULL;
1282 }
Willy Tarreau51cd5952020-06-05 12:25:38 +02001283
Christopher Faulet92017a32021-05-06 16:01:18 +02001284 if (check->sess != NULL) {
1285 vars_prune(&check->vars, check->sess, NULL);
1286 session_free(check->sess);
1287 check->sess = NULL;
1288 }
Willy Tarreau51cd5952020-06-05 12:25:38 +02001289
Christopher Fauletb041b232022-03-24 10:27:02 +01001290 end:
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001291 if (check->server && likely(!(check->state & CHK_ST_PURGE))) {
Christopher Faulet92017a32021-05-06 16:01:18 +02001292 if (check->result == CHK_RES_FAILED) {
1293 /* a failure or timeout detected */
1294 TRACE_DEVEL("report failure", CHK_EV_TASK_WAKE|CHK_EV_HCHK_END|CHK_EV_HCHK_ERR, check);
1295 check_notify_failure(check);
1296 }
1297 else if (check->result == CHK_RES_CONDPASS) {
1298 /* check is OK but asks for stopping mode */
1299 TRACE_DEVEL("report conditional success", CHK_EV_TASK_WAKE|CHK_EV_HCHK_END|CHK_EV_HCHK_SUCC, check);
1300 check_notify_stopping(check);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001301 }
Christopher Faulet92017a32021-05-06 16:01:18 +02001302 else if (check->result == CHK_RES_PASSED) {
1303 /* a success was detected */
1304 TRACE_DEVEL("report success", CHK_EV_TASK_WAKE|CHK_EV_HCHK_END|CHK_EV_HCHK_SUCC, check);
1305 check_notify_success(check);
1306 }
1307 }
Christopher Faulet6d781f62022-05-18 14:24:43 +02001308
1309 if (LIST_INLIST(&check->buf_wait.list))
1310 LIST_DEL_INIT(&check->buf_wait.list);
1311
Christopher Faulet92017a32021-05-06 16:01:18 +02001312 check_release_buf(check, &check->bi);
1313 check_release_buf(check, &check->bo);
1314 check->state &= ~(CHK_ST_INPROGRESS|CHK_ST_IN_ALLOC|CHK_ST_OUT_ALLOC);
Willy Tarreaud114f4a2022-10-12 20:58:18 +02001315 check->state |= CHK_ST_SLEEPING;
Christopher Fauletba3c68f2020-04-01 16:27:05 +02001316
Willy Tarreau9e080bf2022-12-06 18:20:56 +01001317 update_timer:
Christopher Faulet92017a32021-05-06 16:01:18 +02001318 if (check->server) {
1319 rv = 0;
1320 if (global.spread_checks > 0) {
1321 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreaua840b4a2022-10-12 21:48:17 +02001322 rv -= (int) (2 * rv * (statistical_prng() / 4294967295.0));
Christopher Faulet61cc8522020-04-20 14:54:42 +02001323 }
Christopher Faulet92017a32021-05-06 16:01:18 +02001324 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
Aurelien DARRAGON7d541a92022-12-07 12:17:24 +01001325 /* reset fastinter flag (if set) so that srv_getinter()
1326 * only returns fastinter if server health is degraded
1327 */
1328 check->state &= ~CHK_ST_FASTINTER;
Christopher Faulet61cc8522020-04-20 14:54:42 +02001329 }
Willy Tarreau51cd5952020-06-05 12:25:38 +02001330
1331 reschedule:
1332 while (tick_is_expired(t->expire, now_ms))
1333 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
1334 out_unlock:
1335 if (check->server)
1336 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Christopher Faulet147b8c92021-04-10 09:00:38 +02001337
1338 TRACE_LEAVE(CHK_EV_TASK_WAKE, check);
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001339
1340 /* Free the check if set to PURGE. After this, the check instance may be
Amaury Denoyellebc2ebfa2021-08-25 15:34:53 +02001341 * freed via the srv_drop invocation, so it must not be accessed after
1342 * this point.
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001343 */
1344 if (unlikely(check->state & CHK_ST_PURGE)) {
Amaury Denoyelle26cb8342021-08-10 16:23:49 +02001345 free_check(check);
Amaury Denoyelle9ba34ae2021-08-09 15:09:17 +02001346 if (check->server)
Amaury Denoyellebc2ebfa2021-08-25 15:34:53 +02001347 srv_drop(check->server);
Amaury Denoyelle26cb8342021-08-10 16:23:49 +02001348
1349 t = NULL;
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001350 }
1351
Willy Tarreau51cd5952020-06-05 12:25:38 +02001352 return t;
Christopher Fauletba3c68f2020-04-01 16:27:05 +02001353}
1354
Willy Tarreau51cd5952020-06-05 12:25:38 +02001355
Christopher Faulet61cc8522020-04-20 14:54:42 +02001356/**************************************************************************/
1357/************************** Init/deinit checks ****************************/
1358/**************************************************************************/
Christopher Fauletb381a502020-11-25 13:47:00 +01001359/*
1360 * Tries to grab a buffer and to re-enables processing on check <target>. The
1361 * check flags are used to figure what buffer was requested. It returns 1 if the
1362 * allocation succeeds, in which case the I/O tasklet is woken up, or 0 if it's
1363 * impossible to wake up and we prefer to be woken up later.
1364 */
1365int check_buf_available(void *target)
Christopher Faulet61cc8522020-04-20 14:54:42 +02001366{
Christopher Fauletb381a502020-11-25 13:47:00 +01001367 struct check *check = target;
1368
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001369 BUG_ON(!check->sc);
Christopher Fauletc95eaef2022-05-18 15:57:15 +02001370
Willy Tarreaud68d4f12021-03-22 14:44:31 +01001371 if ((check->state & CHK_ST_IN_ALLOC) && b_alloc(&check->bi)) {
Christopher Faulet147b8c92021-04-10 09:00:38 +02001372 TRACE_STATE("unblocking check, input buffer allocated", CHK_EV_TCPCHK_EXP|CHK_EV_RX_BLK, check);
Christopher Fauletb381a502020-11-25 13:47:00 +01001373 check->state &= ~CHK_ST_IN_ALLOC;
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001374 tasklet_wakeup(check->sc->wait_event.tasklet);
Christopher Fauletb381a502020-11-25 13:47:00 +01001375 return 1;
1376 }
Willy Tarreaud68d4f12021-03-22 14:44:31 +01001377 if ((check->state & CHK_ST_OUT_ALLOC) && b_alloc(&check->bo)) {
Christopher Faulet147b8c92021-04-10 09:00:38 +02001378 TRACE_STATE("unblocking check, output buffer allocated", CHK_EV_TCPCHK_SND|CHK_EV_TX_BLK, check);
Christopher Fauletb381a502020-11-25 13:47:00 +01001379 check->state &= ~CHK_ST_OUT_ALLOC;
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001380 tasklet_wakeup(check->sc->wait_event.tasklet);
Christopher Fauletb381a502020-11-25 13:47:00 +01001381 return 1;
1382 }
1383
1384 return 0;
1385}
Christopher Fauletba3c68f2020-04-01 16:27:05 +02001386
Christopher Fauletb381a502020-11-25 13:47:00 +01001387/*
William Dauchyf4300902021-02-06 20:47:50 +01001388 * Allocate a buffer. If it fails, it adds the check in buffer wait queue.
Christopher Fauletb381a502020-11-25 13:47:00 +01001389 */
1390struct buffer *check_get_buf(struct check *check, struct buffer *bptr)
1391{
1392 struct buffer *buf = NULL;
Christopher Fauletba3c68f2020-04-01 16:27:05 +02001393
Willy Tarreau2b718102021-04-21 07:32:39 +02001394 if (likely(!LIST_INLIST(&check->buf_wait.list)) &&
Willy Tarreaud68d4f12021-03-22 14:44:31 +01001395 unlikely((buf = b_alloc(bptr)) == NULL)) {
Christopher Fauletb381a502020-11-25 13:47:00 +01001396 check->buf_wait.target = check;
1397 check->buf_wait.wakeup_cb = check_buf_available;
Willy Tarreaub4e34762021-09-30 19:02:18 +02001398 LIST_APPEND(&th_ctx->buffer_wq, &check->buf_wait.list);
Christopher Fauletb381a502020-11-25 13:47:00 +01001399 }
1400 return buf;
1401}
1402
1403/*
1404 * Release a buffer, if any, and try to wake up entities waiting in the buffer
1405 * wait queue.
1406 */
1407void check_release_buf(struct check *check, struct buffer *bptr)
1408{
1409 if (bptr->size) {
1410 b_free(bptr);
Willy Tarreau4d77bbf2021-02-20 12:02:46 +01001411 offer_buffers(check->buf_wait.target, 1);
Christopher Fauletb381a502020-11-25 13:47:00 +01001412 }
1413}
1414
1415const char *init_check(struct check *check, int type)
1416{
1417 check->type = type;
Christopher Fauletba3c68f2020-04-01 16:27:05 +02001418
Christopher Fauletb381a502020-11-25 13:47:00 +01001419 check->bi = BUF_NULL;
1420 check->bo = BUF_NULL;
Willy Tarreau90f366b2021-02-20 11:49:49 +01001421 LIST_INIT(&check->buf_wait.list);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001422 return NULL;
1423}
1424
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001425/* Liberates the resources allocated for a check.
1426 *
Amaury Denoyelle6d7fc442021-08-10 16:22:51 +02001427 * This function must only be run by the thread owning the check.
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001428 */
Christopher Faulet61cc8522020-04-20 14:54:42 +02001429void free_check(struct check *check)
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001430{
Amaury Denoyelle6d7fc442021-08-10 16:22:51 +02001431 /* For agent-check, free the rules / vars from the server. This is not
1432 * done for health-check : the proxy is the owner of the rules / vars
1433 * in this case.
1434 */
1435 if (check->state & CHK_ST_AGENT) {
1436 free_tcpcheck_vars(&check->tcpcheck_rules->preset_vars);
1437 ha_free(&check->tcpcheck_rules);
1438 }
1439
Christopher Faulet61cc8522020-04-20 14:54:42 +02001440 task_destroy(check->task);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001441
Christopher Fauletb381a502020-11-25 13:47:00 +01001442 check_release_buf(check, &check->bi);
1443 check_release_buf(check, &check->bo);
Willy Tarreaubde14ad2022-05-27 10:04:04 +02001444 if (check->sc) {
1445 sc_destroy(check->sc);
1446 check->sc = NULL;
Christopher Faulet61cc8522020-04-20 14:54:42 +02001447 }
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001448}
1449
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001450/* This function must be used in order to free a started check. The check will
1451 * be scheduled for a next execution in order to properly close and free all
1452 * check elements.
1453 *
1454 * Non thread-safe.
1455 */
1456void check_purge(struct check *check)
1457{
Amaury Denoyelle25fe1032021-08-10 16:21:55 +02001458 check->state |= CHK_ST_PURGE;
Amaury Denoyelleb33a0ab2021-07-29 15:51:45 +02001459 task_wakeup(check->task, TASK_WOKEN_OTHER);
1460}
1461
Christopher Faulet61cc8522020-04-20 14:54:42 +02001462/* manages a server health-check. Returns the time the task accepts to wait, or
1463 * TIME_ETERNITY for infinity.
1464 */
Willy Tarreau144f84a2021-03-02 16:09:26 +01001465struct task *process_chk(struct task *t, void *context, unsigned int state)
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001466{
Christopher Faulet61cc8522020-04-20 14:54:42 +02001467 struct check *check = context;
1468
1469 if (check->type == PR_O2_EXT_CHK)
1470 return process_chk_proc(t, context, state);
1471 return process_chk_conn(t, context, state);
1472
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001473}
1474
Christopher Faulet61cc8522020-04-20 14:54:42 +02001475
Amaury Denoyelle3c2ab1a2021-07-22 16:04:40 +02001476int start_check_task(struct check *check, int mininter,
Christopher Faulet61cc8522020-04-20 14:54:42 +02001477 int nbcheck, int srvpos)
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001478{
Christopher Faulet61cc8522020-04-20 14:54:42 +02001479 struct task *t;
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001480
Willy Tarreaubeeabf52021-10-01 18:23:30 +02001481 /* task for the check. Process-based checks exclusively run on thread 1. */
Christopher Faulet61cc8522020-04-20 14:54:42 +02001482 if (check->type == PR_O2_EXT_CHK)
Willy Tarreaua89c1912021-10-20 18:43:30 +02001483 t = task_new_on(0);
Christopher Faulet177a0e62022-04-12 17:47:07 +02001484 else
Willy Tarreaubeeabf52021-10-01 18:23:30 +02001485 t = task_new_anywhere();
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001486
Christopher Faulet54e85cb2022-01-06 08:46:56 +01001487 if (!t)
1488 goto fail_alloc_task;
1489
Christopher Faulet61cc8522020-04-20 14:54:42 +02001490 check->task = t;
1491 t->process = process_chk;
1492 t->context = check;
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001493
Christopher Faulet61cc8522020-04-20 14:54:42 +02001494 if (mininter < srv_getinter(check))
1495 mininter = srv_getinter(check);
1496
1497 if (global.max_spread_checks && mininter > global.max_spread_checks)
1498 mininter = global.max_spread_checks;
1499
1500 /* check this every ms */
1501 t->expire = tick_add(now_ms, MS_TO_TICKS(mininter * srvpos / nbcheck));
Willy Tarreau69530f52023-04-28 09:16:15 +02001502 check->start = now_ns;
Christopher Faulet61cc8522020-04-20 14:54:42 +02001503 task_queue(t);
1504
1505 return 1;
Christopher Faulet54e85cb2022-01-06 08:46:56 +01001506
1507 fail_alloc_task:
Christopher Faulet54e85cb2022-01-06 08:46:56 +01001508 ha_alert("Starting [%s:%s] check: out of memory.\n",
1509 check->server->proxy->id, check->server->id);
1510 return 0;
Gaetan Rivet707b52f2020-02-21 18:14:59 +01001511}
1512
Christopher Faulet61cc8522020-04-20 14:54:42 +02001513/*
1514 * Start health-check.
1515 * Returns 0 if OK, ERR_FATAL on error, and prints the error in this case.
1516 */
1517static int start_checks()
1518{
1519
1520 struct proxy *px;
1521 struct server *s;
Christopher Faulet61cc8522020-04-20 14:54:42 +02001522 int nbcheck=0, mininter=0, srvpos=0;
1523
1524 /* 0- init the dummy frontend used to create all checks sessions */
1525 init_new_proxy(&checks_fe);
Christopher Faulet0f1fc232021-04-16 10:49:07 +02001526 checks_fe.id = strdup("CHECKS-FE");
Christopher Faulet61cc8522020-04-20 14:54:42 +02001527 checks_fe.cap = PR_CAP_FE | PR_CAP_BE;
1528 checks_fe.mode = PR_MODE_TCP;
1529 checks_fe.maxconn = 0;
1530 checks_fe.conn_retries = CONN_RETRIES;
1531 checks_fe.options2 |= PR_O2_INDEPSTR | PR_O2_SMARTCON | PR_O2_SMARTACC;
1532 checks_fe.timeout.client = TICK_ETERNITY;
1533
1534 /* 1- count the checkers to run simultaneously.
1535 * We also determine the minimum interval among all of those which
1536 * have an interval larger than SRV_CHK_INTER_THRES. This interval
1537 * will be used to spread their start-up date. Those which have
1538 * a shorter interval will start independently and will not dictate
1539 * too short an interval for all others.
1540 */
1541 for (px = proxies_list; px; px = px->next) {
1542 for (s = px->srv; s; s = s->next) {
Christopher Faulet61cc8522020-04-20 14:54:42 +02001543 if (s->check.state & CHK_ST_CONFIGURED) {
1544 nbcheck++;
1545 if ((srv_getinter(&s->check) >= SRV_CHK_INTER_THRES) &&
1546 (!mininter || mininter > srv_getinter(&s->check)))
1547 mininter = srv_getinter(&s->check);
Christopher Faulet5c288742020-03-31 08:15:58 +02001548 }
1549
Christopher Faulet61cc8522020-04-20 14:54:42 +02001550 if (s->agent.state & CHK_ST_CONFIGURED) {
1551 nbcheck++;
1552 if ((srv_getinter(&s->agent) >= SRV_CHK_INTER_THRES) &&
1553 (!mininter || mininter > srv_getinter(&s->agent)))
1554 mininter = srv_getinter(&s->agent);
1555 }
Christopher Faulet5c288742020-03-31 08:15:58 +02001556 }
Christopher Faulet61cc8522020-04-20 14:54:42 +02001557 }
Christopher Fauletb7d30092020-03-30 15:19:03 +02001558
Christopher Faulet61cc8522020-04-20 14:54:42 +02001559 if (!nbcheck)
Christopher Fauletfc633b62020-11-06 15:24:23 +01001560 return ERR_NONE;
Christopher Fauletb7d30092020-03-30 15:19:03 +02001561
Christopher Faulet61cc8522020-04-20 14:54:42 +02001562 srand((unsigned)time(NULL));
Christopher Fauletb7d30092020-03-30 15:19:03 +02001563
William Dauchyf4300902021-02-06 20:47:50 +01001564 /* 2- start them as far as possible from each other. For this, we will
1565 * start them after their interval is set to the min interval divided
1566 * by the number of servers, weighted by the server's position in the
1567 * list.
Christopher Faulet61cc8522020-04-20 14:54:42 +02001568 */
1569 for (px = proxies_list; px; px = px->next) {
1570 if ((px->options2 & PR_O2_CHK_ANY) == PR_O2_EXT_CHK) {
1571 if (init_pid_list()) {
1572 ha_alert("Starting [%s] check: out of memory.\n", px->id);
1573 return ERR_ALERT | ERR_FATAL;
1574 }
1575 }
Christopher Fauletb7d30092020-03-30 15:19:03 +02001576
Christopher Faulet61cc8522020-04-20 14:54:42 +02001577 for (s = px->srv; s; s = s->next) {
1578 /* A task for the main check */
1579 if (s->check.state & CHK_ST_CONFIGURED) {
1580 if (s->check.type == PR_O2_EXT_CHK) {
1581 if (!prepare_external_check(&s->check))
1582 return ERR_ALERT | ERR_FATAL;
Christopher Fauletb7d30092020-03-30 15:19:03 +02001583 }
Christopher Faulet61cc8522020-04-20 14:54:42 +02001584 if (!start_check_task(&s->check, mininter, nbcheck, srvpos))
1585 return ERR_ALERT | ERR_FATAL;
1586 srvpos++;
Christopher Faulet98572322020-03-30 13:16:44 +02001587 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001588
Christopher Faulet61cc8522020-04-20 14:54:42 +02001589 /* A task for a auxiliary agent check */
1590 if (s->agent.state & CHK_ST_CONFIGURED) {
1591 if (!start_check_task(&s->agent, mininter, nbcheck, srvpos)) {
1592 return ERR_ALERT | ERR_FATAL;
1593 }
1594 srvpos++;
1595 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001596 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001597 }
Christopher Fauletfc633b62020-11-06 15:24:23 +01001598 return ERR_NONE;
Christopher Faulet61cc8522020-04-20 14:54:42 +02001599}
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001600
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001601
Christopher Faulet61cc8522020-04-20 14:54:42 +02001602/*
1603 * Return value:
1604 * the port to be used for the health check
1605 * 0 in case no port could be found for the check
1606 */
1607static int srv_check_healthcheck_port(struct check *chk)
1608{
1609 int i = 0;
1610 struct server *srv = NULL;
1611
1612 srv = chk->server;
1613
William Dauchyf4300902021-02-06 20:47:50 +01001614 /* by default, we use the health check port configured */
Christopher Faulet61cc8522020-04-20 14:54:42 +02001615 if (chk->port > 0)
1616 return chk->port;
1617
1618 /* try to get the port from check_core.addr if check.port not set */
1619 i = get_host_port(&chk->addr);
1620 if (i > 0)
1621 return i;
1622
1623 /* try to get the port from server address */
1624 /* prevent MAPPORTS from working at this point, since checks could
1625 * not be performed in such case (MAPPORTS impose a relative ports
1626 * based on live traffic)
1627 */
1628 if (srv->flags & SRV_F_MAPPORTS)
1629 return 0;
1630
1631 i = srv->svc_port; /* by default */
1632 if (i > 0)
1633 return i;
1634
1635 return 0;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001636}
1637
Christopher Faulet61cc8522020-04-20 14:54:42 +02001638/* Initializes an health-check attached to the server <srv>. Non-zero is returned
1639 * if an error occurred.
1640 */
Amaury Denoyelle3c2ab1a2021-07-22 16:04:40 +02001641int init_srv_check(struct server *srv)
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001642{
Christopher Faulet61cc8522020-04-20 14:54:42 +02001643 const char *err;
1644 struct tcpcheck_rule *r;
Christopher Fauletfc633b62020-11-06 15:24:23 +01001645 int ret = ERR_NONE;
Amaury Denoyelle0519bd42020-11-13 12:34:56 +01001646 int check_type;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001647
Christopher Faulet6ecd5932021-01-12 17:29:45 +01001648 if (!srv->do_check || !(srv->proxy->cap & PR_CAP_BE))
Christopher Faulet61cc8522020-04-20 14:54:42 +02001649 goto out;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001650
Amaury Denoyelle0519bd42020-11-13 12:34:56 +01001651 check_type = srv->check.tcpcheck_rules->flags & TCPCHK_RULES_PROTO_CHK;
Christopher Fauletf50f4e92020-03-30 19:52:29 +02001652
Amaury Denoyelle7d098be2022-03-09 14:20:10 +01001653 if (!(srv->flags & SRV_F_DYNAMIC)) {
1654 /* If neither a port nor an addr was specified and no check
1655 * transport layer is forced, then the transport layer used by
1656 * the checks is the same as for the production traffic.
1657 * Otherwise we use raw_sock by default, unless one is
1658 * specified.
1659 */
1660 if (!srv->check.port && !is_addr(&srv->check.addr)) {
1661 if (!srv->check.use_ssl && srv->use_ssl != -1) {
1662 srv->check.use_ssl = srv->use_ssl;
1663 srv->check.xprt = srv->xprt;
1664 }
1665 else if (srv->check.use_ssl == 1)
1666 srv->check.xprt = xprt_get(XPRT_SSL);
1667 srv->check.send_proxy |= (srv->pp_opts);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001668 }
Christopher Faulet61cc8522020-04-20 14:54:42 +02001669 else if (srv->check.use_ssl == 1)
1670 srv->check.xprt = xprt_get(XPRT_SSL);
Amaury Denoyelle7d098be2022-03-09 14:20:10 +01001671 }
1672 else {
1673 /* For dynamic servers, check-ssl and check-send-proxy must be
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001674 * explicitly defined even if the check port was not
Amaury Denoyelle7d098be2022-03-09 14:20:10 +01001675 * overridden.
1676 */
1677 if (srv->check.use_ssl == 1)
1678 srv->check.xprt = xprt_get(XPRT_SSL);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001679 }
1680
Christopher Faulet12882cf2020-04-23 15:50:18 +02001681 /* Inherit the mux protocol from the server if not already defined for
1682 * the check
1683 */
Amaury Denoyelle0519bd42020-11-13 12:34:56 +01001684 if (srv->mux_proto && !srv->check.mux_proto &&
1685 ((srv->mux_proto->mode == PROTO_MODE_HTTP && check_type == TCPCHK_RULES_HTTP_CHK) ||
1686 (srv->mux_proto->mode == PROTO_MODE_TCP && check_type != TCPCHK_RULES_HTTP_CHK))) {
Christopher Faulet12882cf2020-04-23 15:50:18 +02001687 srv->check.mux_proto = srv->mux_proto;
Amaury Denoyelle0519bd42020-11-13 12:34:56 +01001688 }
Amaury Denoyelle7c148902020-11-13 12:34:57 +01001689 /* test that check proto is valid if explicitly defined */
1690 else if (srv->check.mux_proto &&
1691 ((srv->check.mux_proto->mode == PROTO_MODE_HTTP && check_type != TCPCHK_RULES_HTTP_CHK) ||
1692 (srv->check.mux_proto->mode == PROTO_MODE_TCP && check_type == TCPCHK_RULES_HTTP_CHK))) {
1693 ha_alert("config: %s '%s': server '%s' uses an incompatible MUX protocol for the selected check type\n",
1694 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
1695 ret |= ERR_ALERT | ERR_FATAL;
1696 goto out;
1697 }
Christopher Faulet12882cf2020-04-23 15:50:18 +02001698
Christopher Faulet61cc8522020-04-20 14:54:42 +02001699 /* validate <srv> server health-check settings */
Christopher Fauletf50f4e92020-03-30 19:52:29 +02001700
Christopher Faulet61cc8522020-04-20 14:54:42 +02001701 /* We need at least a service port, a check port or the first tcp-check
1702 * rule must be a 'connect' one when checking an IPv4/IPv6 server.
1703 */
1704 if ((srv_check_healthcheck_port(&srv->check) != 0) ||
1705 (!is_inet_addr(&srv->check.addr) && (is_addr(&srv->check.addr) || !is_inet_addr(&srv->addr))))
1706 goto init;
Christopher Fauletf50f4e92020-03-30 19:52:29 +02001707
Christopher Faulet61cc8522020-04-20 14:54:42 +02001708 if (!srv->proxy->tcpcheck_rules.list || LIST_ISEMPTY(srv->proxy->tcpcheck_rules.list)) {
1709 ha_alert("config: %s '%s': server '%s' has neither service port nor check port.\n",
1710 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
1711 ret |= ERR_ALERT | ERR_ABORT;
1712 goto out;
1713 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001714
Christopher Faulet61cc8522020-04-20 14:54:42 +02001715 /* search the first action (connect / send / expect) in the list */
1716 r = get_first_tcpcheck_rule(&srv->proxy->tcpcheck_rules);
1717 if (!r || (r->action != TCPCHK_ACT_CONNECT) || (!r->connect.port && !get_host_port(&r->connect.addr))) {
1718 ha_alert("config: %s '%s': server '%s' has neither service port nor check port "
1719 "nor tcp_check rule 'connect' with port information.\n",
1720 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
1721 ret |= ERR_ALERT | ERR_ABORT;
1722 goto out;
1723 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001724
Christopher Faulet61cc8522020-04-20 14:54:42 +02001725 /* scan the tcp-check ruleset to ensure a port has been configured */
1726 list_for_each_entry(r, srv->proxy->tcpcheck_rules.list, list) {
Willy Tarreauacff3092021-07-22 11:06:41 +02001727 if ((r->action == TCPCHK_ACT_CONNECT) && (!r->connect.port && !get_host_port(&r->connect.addr))) {
Christopher Faulet61cc8522020-04-20 14:54:42 +02001728 ha_alert("config: %s '%s': server '%s' has neither service port nor check port, "
1729 "and a tcp_check rule 'connect' with no port information.\n",
1730 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
1731 ret |= ERR_ALERT | ERR_ABORT;
1732 goto out;
Christopher Faulete5870d82020-04-15 11:32:03 +02001733 }
Christopher Faulete5870d82020-04-15 11:32:03 +02001734 }
1735
Christopher Faulet61cc8522020-04-20 14:54:42 +02001736 init:
Christopher Faulet61cc8522020-04-20 14:54:42 +02001737 err = init_check(&srv->check, srv->proxy->options2 & PR_O2_CHK_ANY);
1738 if (err) {
1739 ha_alert("config: %s '%s': unable to init check for server '%s' (%s).\n",
1740 proxy_type_str(srv->proxy), srv->proxy->id, srv->id, err);
1741 ret |= ERR_ALERT | ERR_ABORT;
1742 goto out;
Christopher Faulete5870d82020-04-15 11:32:03 +02001743 }
Christopher Faulet61cc8522020-04-20 14:54:42 +02001744 srv->check.state |= CHK_ST_CONFIGURED | CHK_ST_ENABLED;
Amaury Denoyellebc2ebfa2021-08-25 15:34:53 +02001745 srv_take(srv);
Amaury Denoyelle403dce82021-07-29 15:39:43 +02001746
1747 /* Only increment maxsock for servers from the configuration. Dynamic
1748 * servers at the moment are not taken into account for the estimation
1749 * of the resources limits.
1750 */
1751 if (global.mode & MODE_STARTING)
1752 global.maxsock++;
Christopher Faulete5870d82020-04-15 11:32:03 +02001753
Christopher Faulet61cc8522020-04-20 14:54:42 +02001754 out:
1755 return ret;
Christopher Faulete5870d82020-04-15 11:32:03 +02001756}
1757
Christopher Faulet61cc8522020-04-20 14:54:42 +02001758/* Initializes an agent-check attached to the server <srv>. Non-zero is returned
1759 * if an error occurred.
1760 */
Amaury Denoyelle3c2ab1a2021-07-22 16:04:40 +02001761int init_srv_agent_check(struct server *srv)
Christopher Faulete5870d82020-04-15 11:32:03 +02001762{
Christopher Faulet61cc8522020-04-20 14:54:42 +02001763 struct tcpcheck_rule *chk;
1764 const char *err;
Christopher Fauletfc633b62020-11-06 15:24:23 +01001765 int ret = ERR_NONE;
Christopher Faulete5870d82020-04-15 11:32:03 +02001766
Christopher Faulet6ecd5932021-01-12 17:29:45 +01001767 if (!srv->do_agent || !(srv->proxy->cap & PR_CAP_BE))
Christopher Faulet61cc8522020-04-20 14:54:42 +02001768 goto out;
Christopher Faulete5870d82020-04-15 11:32:03 +02001769
Ilya Shipitsinc02a23f2020-05-06 00:53:22 +05001770 /* If there is no connect rule preceding all send / expect rules, an
Christopher Faulet61cc8522020-04-20 14:54:42 +02001771 * implicit one is inserted before all others.
1772 */
1773 chk = get_first_tcpcheck_rule(srv->agent.tcpcheck_rules);
1774 if (!chk || chk->action != TCPCHK_ACT_CONNECT) {
1775 chk = calloc(1, sizeof(*chk));
1776 if (!chk) {
Amaury Denoyelle11124302021-06-04 18:22:08 +02001777 ha_alert("%s '%s': unable to add implicit tcp-check connect rule"
Christopher Faulet61cc8522020-04-20 14:54:42 +02001778 " to agent-check for server '%s' (out of memory).\n",
1779 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
1780 ret |= ERR_ALERT | ERR_FATAL;
1781 goto out;
Christopher Faulete5870d82020-04-15 11:32:03 +02001782 }
Christopher Faulet61cc8522020-04-20 14:54:42 +02001783 chk->action = TCPCHK_ACT_CONNECT;
1784 chk->connect.options = (TCPCHK_OPT_DEFAULT_CONNECT|TCPCHK_OPT_IMPLICIT);
Willy Tarreau2b718102021-04-21 07:32:39 +02001785 LIST_INSERT(srv->agent.tcpcheck_rules->list, &chk->list);
Christopher Faulete5870d82020-04-15 11:32:03 +02001786 }
1787
Christopher Faulet871dd822022-08-24 11:38:03 +02001788 /* <chk> is always defined here and it is a CONNECT action. If there is
1789 * a preset variable, it means there is an agent string defined and data
1790 * will be sent after the connect.
1791 */
1792 if (!LIST_ISEMPTY(&srv->agent.tcpcheck_rules->preset_vars))
1793 chk->connect.options |= TCPCHK_OPT_HAS_DATA;
1794
Christopher Faulete5870d82020-04-15 11:32:03 +02001795
Christopher Faulet61cc8522020-04-20 14:54:42 +02001796 err = init_check(&srv->agent, PR_O2_TCPCHK_CHK);
1797 if (err) {
1798 ha_alert("config: %s '%s': unable to init agent-check for server '%s' (%s).\n",
1799 proxy_type_str(srv->proxy), srv->proxy->id, srv->id, err);
1800 ret |= ERR_ALERT | ERR_ABORT;
1801 goto out;
Christopher Faulete5870d82020-04-15 11:32:03 +02001802 }
1803
Christopher Faulet61cc8522020-04-20 14:54:42 +02001804 if (!srv->agent.inter)
1805 srv->agent.inter = srv->check.inter;
1806
1807 srv->agent.state |= CHK_ST_CONFIGURED | CHK_ST_ENABLED | CHK_ST_AGENT;
Amaury Denoyellebc2ebfa2021-08-25 15:34:53 +02001808 srv_take(srv);
Amaury Denoyelle403dce82021-07-29 15:39:43 +02001809
1810 /* Only increment maxsock for servers from the configuration. Dynamic
1811 * servers at the moment are not taken into account for the estimation
1812 * of the resources limits.
1813 */
1814 if (global.mode & MODE_STARTING)
1815 global.maxsock++;
Christopher Faulet61cc8522020-04-20 14:54:42 +02001816
1817 out:
1818 return ret;
Christopher Faulete5870d82020-04-15 11:32:03 +02001819}
1820
Christopher Faulet61cc8522020-04-20 14:54:42 +02001821static void deinit_srv_check(struct server *srv)
1822{
Aurelien DARRAGON32483ec2023-03-09 11:56:14 +01001823 if (srv->check.state & CHK_ST_CONFIGURED) {
Christopher Faulet61cc8522020-04-20 14:54:42 +02001824 free_check(&srv->check);
Aurelien DARRAGON32483ec2023-03-09 11:56:14 +01001825 /* it is safe to drop now since the main server reference is still held by the proxy */
1826 srv_drop(srv);
1827 }
Christopher Faulet61cc8522020-04-20 14:54:42 +02001828 srv->check.state &= ~CHK_ST_CONFIGURED & ~CHK_ST_ENABLED;
1829 srv->do_check = 0;
1830}
Christopher Faulete5870d82020-04-15 11:32:03 +02001831
Christopher Faulet61cc8522020-04-20 14:54:42 +02001832
1833static void deinit_srv_agent_check(struct server *srv)
1834{
Aurelien DARRAGON32483ec2023-03-09 11:56:14 +01001835 if (srv->agent.state & CHK_ST_CONFIGURED) {
Christopher Faulet61cc8522020-04-20 14:54:42 +02001836 free_check(&srv->agent);
Aurelien DARRAGON32483ec2023-03-09 11:56:14 +01001837 /* it is safe to drop now since the main server reference is still held by the proxy */
1838 srv_drop(srv);
1839 }
Christopher Faulet61cc8522020-04-20 14:54:42 +02001840
1841 srv->agent.state &= ~CHK_ST_CONFIGURED & ~CHK_ST_ENABLED & ~CHK_ST_AGENT;
1842 srv->do_agent = 0;
Christopher Faulete5870d82020-04-15 11:32:03 +02001843}
1844
Willy Tarreaucee013e2020-06-05 11:40:38 +02001845REGISTER_POST_SERVER_CHECK(init_srv_check);
1846REGISTER_POST_SERVER_CHECK(init_srv_agent_check);
Willy Tarreaucee013e2020-06-05 11:40:38 +02001847REGISTER_POST_CHECK(start_checks);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001848
Willy Tarreaucee013e2020-06-05 11:40:38 +02001849REGISTER_SERVER_DEINIT(deinit_srv_check);
1850REGISTER_SERVER_DEINIT(deinit_srv_agent_check);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001851
Christopher Faulet61cc8522020-04-20 14:54:42 +02001852
1853/**************************************************************************/
1854/************************** Check sample fetches **************************/
1855/**************************************************************************/
Christopher Fauletfd6c2292020-03-25 18:20:15 +01001856
Christopher Faulet61cc8522020-04-20 14:54:42 +02001857static struct sample_fetch_kw_list smp_kws = {ILH, {
Christopher Faulet61cc8522020-04-20 14:54:42 +02001858 { /* END */ },
1859}};
1860
1861INITCALL1(STG_REGISTER, sample_register_fetches, &smp_kws);
1862
1863
1864/**************************************************************************/
1865/************************ Check's parsing functions ***********************/
1866/**************************************************************************/
Christopher Fauletce8111e2020-04-06 15:04:11 +02001867/* Parse the "addr" server keyword */
1868static int srv_parse_addr(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
1869 char **errmsg)
1870{
1871 struct sockaddr_storage *sk;
Christopher Fauletce8111e2020-04-06 15:04:11 +02001872 int port1, port2, err_code = 0;
1873
1874
1875 if (!*args[*cur_arg+1]) {
1876 memprintf(errmsg, "'%s' expects <ipv4|ipv6> as argument.", args[*cur_arg]);
1877 goto error;
1878 }
1879
Willy Tarreau65ec4e32020-09-16 19:17:08 +02001880 sk = str2sa_range(args[*cur_arg+1], NULL, &port1, &port2, NULL, NULL, errmsg, NULL, NULL,
1881 PA_O_RESOLVE | PA_O_PORT_OK | PA_O_STREAM | PA_O_CONNECT);
Christopher Fauletce8111e2020-04-06 15:04:11 +02001882 if (!sk) {
1883 memprintf(errmsg, "'%s' : %s", args[*cur_arg], *errmsg);
1884 goto error;
1885 }
1886
William Dauchy1c921cd2021-02-03 22:30:08 +01001887 srv->check.addr = *sk;
1888 /* if agentaddr was never set, we can use addr */
1889 if (!(srv->flags & SRV_F_AGENTADDR))
1890 srv->agent.addr = *sk;
Christopher Fauletce8111e2020-04-06 15:04:11 +02001891
1892 out:
1893 return err_code;
1894
1895 error:
1896 err_code |= ERR_ALERT | ERR_FATAL;
1897 goto out;
1898}
1899
Christopher Fauletcbba66c2020-04-06 14:26:30 +02001900/* Parse the "agent-addr" server keyword */
1901static int srv_parse_agent_addr(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
1902 char **errmsg)
1903{
William Dauchy1c921cd2021-02-03 22:30:08 +01001904 struct sockaddr_storage sk;
Christopher Fauletcbba66c2020-04-06 14:26:30 +02001905 int err_code = 0;
1906
1907 if (!*(args[*cur_arg+1])) {
1908 memprintf(errmsg, "'%s' expects an address as argument.", args[*cur_arg]);
1909 goto error;
1910 }
William Dauchy1c921cd2021-02-03 22:30:08 +01001911 memset(&sk, 0, sizeof(sk));
1912 if (str2ip(args[*cur_arg + 1], &sk) == NULL) {
Christopher Fauletcbba66c2020-04-06 14:26:30 +02001913 memprintf(errmsg, "parsing agent-addr failed. Check if '%s' is correct address.", args[*cur_arg+1]);
1914 goto error;
1915 }
William Dauchy1c921cd2021-02-03 22:30:08 +01001916 set_srv_agent_addr(srv, &sk);
Christopher Fauletcbba66c2020-04-06 14:26:30 +02001917
1918 out:
1919 return err_code;
1920
1921 error:
1922 err_code |= ERR_ALERT | ERR_FATAL;
1923 goto out;
1924}
1925
1926/* Parse the "agent-check" server keyword */
1927static int srv_parse_agent_check(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
1928 char **errmsg)
1929{
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001930 struct tcpcheck_ruleset *rs = NULL;
1931 struct tcpcheck_rules *rules = srv->agent.tcpcheck_rules;
1932 struct tcpcheck_rule *chk;
1933 int err_code = 0;
1934
1935 if (srv->do_agent)
1936 goto out;
1937
Christopher Faulet6ecd5932021-01-12 17:29:45 +01001938 if (!(curpx->cap & PR_CAP_BE)) {
1939 memprintf(errmsg, "'%s' ignored because %s '%s' has no backend capability",
1940 args[*cur_arg], proxy_type_str(curpx), curpx->id);
1941 return ERR_WARN;
1942 }
1943
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001944 if (!rules) {
1945 rules = calloc(1, sizeof(*rules));
1946 if (!rules) {
1947 memprintf(errmsg, "out of memory.");
1948 goto error;
1949 }
1950 LIST_INIT(&rules->preset_vars);
1951 srv->agent.tcpcheck_rules = rules;
1952 }
1953 rules->list = NULL;
1954 rules->flags = 0;
1955
Christopher Faulet61cc8522020-04-20 14:54:42 +02001956 rs = find_tcpcheck_ruleset("*agent-check");
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001957 if (rs)
1958 goto ruleset_found;
1959
Christopher Faulet61cc8522020-04-20 14:54:42 +02001960 rs = create_tcpcheck_ruleset("*agent-check");
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001961 if (rs == NULL) {
1962 memprintf(errmsg, "out of memory.");
1963 goto error;
1964 }
1965
Christopher Fauletb50b3e62020-05-05 18:43:43 +02001966 chk = parse_tcpcheck_send((char *[]){"tcp-check", "send-lf", "%[var(check.agent_string)]", ""},
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001967 1, curpx, &rs->rules, srv->conf.file, srv->conf.line, errmsg);
1968 if (!chk) {
1969 memprintf(errmsg, "'%s': %s", args[*cur_arg], *errmsg);
1970 goto error;
1971 }
1972 chk->index = 0;
Willy Tarreau2b718102021-04-21 07:32:39 +02001973 LIST_APPEND(&rs->rules, &chk->list);
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001974
1975 chk = parse_tcpcheck_expect((char *[]){"tcp-check", "expect", "custom", ""},
Christopher Faulete5870d82020-04-15 11:32:03 +02001976 1, curpx, &rs->rules, TCPCHK_RULES_AGENT_CHK,
1977 srv->conf.file, srv->conf.line, errmsg);
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001978 if (!chk) {
1979 memprintf(errmsg, "'%s': %s", args[*cur_arg], *errmsg);
1980 goto error;
1981 }
1982 chk->expect.custom = tcpcheck_agent_expect_reply;
1983 chk->index = 1;
Willy Tarreau2b718102021-04-21 07:32:39 +02001984 LIST_APPEND(&rs->rules, &chk->list);
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001985
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001986 ruleset_found:
1987 rules->list = &rs->rules;
Christopher Faulet1faf18a2020-11-25 16:43:12 +01001988 rules->flags &= ~(TCPCHK_RULES_PROTO_CHK|TCPCHK_RULES_UNUSED_RS);
Christopher Faulet404f9192020-04-09 23:13:54 +02001989 rules->flags |= TCPCHK_RULES_AGENT_CHK;
Christopher Fauletcbba66c2020-04-06 14:26:30 +02001990 srv->do_agent = 1;
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001991
1992 out:
Dirkjan Bussinkdfee2172021-06-18 19:57:49 +00001993 return err_code;
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001994
1995 error:
1996 deinit_srv_agent_check(srv);
Christopher Faulet61cc8522020-04-20 14:54:42 +02001997 free_tcpcheck_ruleset(rs);
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02001998 err_code |= ERR_ALERT | ERR_FATAL;
1999 goto out;
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002000}
2001
2002/* Parse the "agent-inter" server keyword */
2003static int srv_parse_agent_inter(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2004 char **errmsg)
2005{
2006 const char *err = NULL;
2007 unsigned int delay;
2008 int err_code = 0;
2009
2010 if (!*(args[*cur_arg+1])) {
2011 memprintf(errmsg, "'%s' expects a delay as argument.", args[*cur_arg]);
2012 goto error;
2013 }
2014
2015 err = parse_time_err(args[*cur_arg+1], &delay, TIME_UNIT_MS);
2016 if (err == PARSE_TIME_OVER) {
2017 memprintf(errmsg, "timer overflow in argument <%s> to <%s> of server %s, maximum value is 2147483647 ms (~24.8 days).",
2018 args[*cur_arg+1], args[*cur_arg], srv->id);
2019 goto error;
2020 }
2021 else if (err == PARSE_TIME_UNDER) {
2022 memprintf(errmsg, "timer underflow in argument <%s> to <%s> of server %s, minimum non-null value is 1 ms.",
2023 args[*cur_arg+1], args[*cur_arg], srv->id);
2024 goto error;
2025 }
2026 else if (err) {
2027 memprintf(errmsg, "unexpected character '%c' in 'agent-inter' argument of server %s.",
2028 *err, srv->id);
2029 goto error;
2030 }
2031 if (delay <= 0) {
2032 memprintf(errmsg, "invalid value %d for argument '%s' of server %s.",
2033 delay, args[*cur_arg], srv->id);
2034 goto error;
2035 }
2036 srv->agent.inter = delay;
2037
2038 out:
2039 return err_code;
2040
2041 error:
2042 err_code |= ERR_ALERT | ERR_FATAL;
2043 goto out;
2044}
2045
2046/* Parse the "agent-port" server keyword */
2047static int srv_parse_agent_port(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2048 char **errmsg)
2049{
2050 int err_code = 0;
2051
2052 if (!*(args[*cur_arg+1])) {
2053 memprintf(errmsg, "'%s' expects a port number as argument.", args[*cur_arg]);
2054 goto error;
2055 }
2056
Amaury Denoyelle403dce82021-07-29 15:39:43 +02002057 /* Only increment maxsock for servers from the configuration. Dynamic
2058 * servers at the moment are not taken into account for the estimation
2059 * of the resources limits.
2060 */
2061 if (global.mode & MODE_STARTING)
2062 global.maxsock++;
2063
William Dauchy4858fb22021-02-03 22:30:09 +01002064 set_srv_agent_port(srv, atol(args[*cur_arg + 1]));
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002065
2066 out:
2067 return err_code;
2068
2069 error:
2070 err_code |= ERR_ALERT | ERR_FATAL;
2071 goto out;
2072}
2073
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02002074int set_srv_agent_send(struct server *srv, const char *send)
2075{
2076 struct tcpcheck_rules *rules = srv->agent.tcpcheck_rules;
2077 struct tcpcheck_var *var = NULL;
2078 char *str;
2079
2080 str = strdup(send);
Christopher Fauletb61caf42020-04-21 10:57:42 +02002081 var = create_tcpcheck_var(ist("check.agent_string"));
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02002082 if (str == NULL || var == NULL)
2083 goto error;
2084
2085 free_tcpcheck_vars(&rules->preset_vars);
2086
2087 var->data.type = SMP_T_STR;
2088 var->data.u.str.area = str;
2089 var->data.u.str.data = strlen(str);
2090 LIST_INIT(&var->list);
Willy Tarreau2b718102021-04-21 07:32:39 +02002091 LIST_APPEND(&rules->preset_vars, &var->list);
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02002092
2093 return 1;
2094
2095 error:
2096 free(str);
2097 free(var);
2098 return 0;
2099}
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002100
2101/* Parse the "agent-send" server keyword */
2102static int srv_parse_agent_send(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2103 char **errmsg)
2104{
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02002105 struct tcpcheck_rules *rules = srv->agent.tcpcheck_rules;
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002106 int err_code = 0;
2107
2108 if (!*(args[*cur_arg+1])) {
2109 memprintf(errmsg, "'%s' expects a string as argument.", args[*cur_arg]);
2110 goto error;
2111 }
2112
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02002113 if (!rules) {
2114 rules = calloc(1, sizeof(*rules));
2115 if (!rules) {
2116 memprintf(errmsg, "out of memory.");
2117 goto error;
2118 }
2119 LIST_INIT(&rules->preset_vars);
2120 srv->agent.tcpcheck_rules = rules;
2121 }
2122
2123 if (!set_srv_agent_send(srv, args[*cur_arg+1])) {
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002124 memprintf(errmsg, "out of memory.");
2125 goto error;
2126 }
2127
2128 out:
2129 return err_code;
2130
2131 error:
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02002132 deinit_srv_agent_check(srv);
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002133 err_code |= ERR_ALERT | ERR_FATAL;
2134 goto out;
2135}
2136
2137/* Parse the "no-agent-send" server keyword */
2138static int srv_parse_no_agent_check(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2139 char **errmsg)
2140{
Christopher Faulet0ae3d1d2020-04-06 17:54:24 +02002141 deinit_srv_agent_check(srv);
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002142 return 0;
2143}
2144
Christopher Fauletce8111e2020-04-06 15:04:11 +02002145/* Parse the "check" server keyword */
2146static int srv_parse_check(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2147 char **errmsg)
2148{
Christopher Faulet6ecd5932021-01-12 17:29:45 +01002149 if (!(curpx->cap & PR_CAP_BE)) {
2150 memprintf(errmsg, "'%s' ignored because %s '%s' has no backend capability",
2151 args[*cur_arg], proxy_type_str(curpx), curpx->id);
2152 return ERR_WARN;
2153 }
2154
Christopher Fauletce8111e2020-04-06 15:04:11 +02002155 srv->do_check = 1;
2156 return 0;
2157}
2158
2159/* Parse the "check-send-proxy" server keyword */
2160static int srv_parse_check_send_proxy(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2161 char **errmsg)
2162{
2163 srv->check.send_proxy = 1;
2164 return 0;
2165}
2166
2167/* Parse the "check-via-socks4" server keyword */
2168static int srv_parse_check_via_socks4(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2169 char **errmsg)
2170{
2171 srv->check.via_socks4 = 1;
2172 return 0;
2173}
2174
2175/* Parse the "no-check" server keyword */
2176static int srv_parse_no_check(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2177 char **errmsg)
2178{
2179 deinit_srv_check(srv);
2180 return 0;
2181}
2182
2183/* Parse the "no-check-send-proxy" server keyword */
2184static int srv_parse_no_check_send_proxy(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2185 char **errmsg)
2186{
2187 srv->check.send_proxy = 0;
2188 return 0;
2189}
2190
Christopher Fauletedc6ed92020-04-23 16:27:59 +02002191/* parse the "check-proto" server keyword */
2192static int srv_parse_check_proto(char **args, int *cur_arg,
2193 struct proxy *px, struct server *newsrv, char **err)
2194{
2195 int err_code = 0;
2196
2197 if (!*args[*cur_arg + 1]) {
2198 memprintf(err, "'%s' : missing value", args[*cur_arg]);
2199 goto error;
2200 }
Tim Duesterhusdcf753a2021-03-04 17:31:47 +01002201 newsrv->check.mux_proto = get_mux_proto(ist(args[*cur_arg + 1]));
Christopher Fauletedc6ed92020-04-23 16:27:59 +02002202 if (!newsrv->check.mux_proto) {
2203 memprintf(err, "'%s' : unknown MUX protocol '%s'", args[*cur_arg], args[*cur_arg+1]);
2204 goto error;
2205 }
2206
2207 out:
2208 return err_code;
2209
2210 error:
2211 err_code |= ERR_ALERT | ERR_FATAL;
2212 goto out;
2213}
2214
2215
Christopher Fauletce8111e2020-04-06 15:04:11 +02002216/* Parse the "rise" server keyword */
2217static int srv_parse_check_rise(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2218 char **errmsg)
2219{
2220 int err_code = 0;
2221
2222 if (!*args[*cur_arg + 1]) {
2223 memprintf(errmsg, "'%s' expects an integer argument.", args[*cur_arg]);
2224 goto error;
2225 }
2226
2227 srv->check.rise = atol(args[*cur_arg+1]);
2228 if (srv->check.rise <= 0) {
2229 memprintf(errmsg, "'%s' has to be > 0.", args[*cur_arg]);
2230 goto error;
2231 }
2232
2233 if (srv->check.health)
2234 srv->check.health = srv->check.rise;
2235
2236 out:
2237 return err_code;
2238
2239 error:
2240 deinit_srv_agent_check(srv);
2241 err_code |= ERR_ALERT | ERR_FATAL;
2242 goto out;
Christopher Fauletce8111e2020-04-06 15:04:11 +02002243}
2244
2245/* Parse the "fall" server keyword */
2246static int srv_parse_check_fall(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2247 char **errmsg)
2248{
2249 int err_code = 0;
2250
2251 if (!*args[*cur_arg + 1]) {
2252 memprintf(errmsg, "'%s' expects an integer argument.", args[*cur_arg]);
2253 goto error;
2254 }
2255
2256 srv->check.fall = atol(args[*cur_arg+1]);
2257 if (srv->check.fall <= 0) {
2258 memprintf(errmsg, "'%s' has to be > 0.", args[*cur_arg]);
2259 goto error;
2260 }
2261
2262 out:
2263 return err_code;
2264
2265 error:
2266 deinit_srv_agent_check(srv);
2267 err_code |= ERR_ALERT | ERR_FATAL;
2268 goto out;
Christopher Fauletce8111e2020-04-06 15:04:11 +02002269}
2270
2271/* Parse the "inter" server keyword */
2272static int srv_parse_check_inter(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2273 char **errmsg)
2274{
2275 const char *err = NULL;
2276 unsigned int delay;
2277 int err_code = 0;
2278
2279 if (!*(args[*cur_arg+1])) {
2280 memprintf(errmsg, "'%s' expects a delay as argument.", args[*cur_arg]);
2281 goto error;
2282 }
2283
2284 err = parse_time_err(args[*cur_arg+1], &delay, TIME_UNIT_MS);
2285 if (err == PARSE_TIME_OVER) {
2286 memprintf(errmsg, "timer overflow in argument <%s> to <%s> of server %s, maximum value is 2147483647 ms (~24.8 days).",
2287 args[*cur_arg+1], args[*cur_arg], srv->id);
2288 goto error;
2289 }
2290 else if (err == PARSE_TIME_UNDER) {
2291 memprintf(errmsg, "timer underflow in argument <%s> to <%s> of server %s, minimum non-null value is 1 ms.",
2292 args[*cur_arg+1], args[*cur_arg], srv->id);
2293 goto error;
2294 }
2295 else if (err) {
2296 memprintf(errmsg, "unexpected character '%c' in 'agent-inter' argument of server %s.",
2297 *err, srv->id);
2298 goto error;
2299 }
2300 if (delay <= 0) {
2301 memprintf(errmsg, "invalid value %d for argument '%s' of server %s.",
2302 delay, args[*cur_arg], srv->id);
2303 goto error;
2304 }
2305 srv->check.inter = delay;
2306
2307 out:
2308 return err_code;
2309
2310 error:
2311 err_code |= ERR_ALERT | ERR_FATAL;
2312 goto out;
2313}
2314
2315
2316/* Parse the "fastinter" server keyword */
2317static int srv_parse_check_fastinter(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2318 char **errmsg)
2319{
2320 const char *err = NULL;
2321 unsigned int delay;
2322 int err_code = 0;
2323
2324 if (!*(args[*cur_arg+1])) {
2325 memprintf(errmsg, "'%s' expects a delay as argument.", args[*cur_arg]);
2326 goto error;
2327 }
2328
2329 err = parse_time_err(args[*cur_arg+1], &delay, TIME_UNIT_MS);
2330 if (err == PARSE_TIME_OVER) {
2331 memprintf(errmsg, "timer overflow in argument <%s> to <%s> of server %s, maximum value is 2147483647 ms (~24.8 days).",
2332 args[*cur_arg+1], args[*cur_arg], srv->id);
2333 goto error;
2334 }
2335 else if (err == PARSE_TIME_UNDER) {
2336 memprintf(errmsg, "timer underflow in argument <%s> to <%s> of server %s, minimum non-null value is 1 ms.",
2337 args[*cur_arg+1], args[*cur_arg], srv->id);
2338 goto error;
2339 }
2340 else if (err) {
2341 memprintf(errmsg, "unexpected character '%c' in 'agent-inter' argument of server %s.",
2342 *err, srv->id);
2343 goto error;
2344 }
2345 if (delay <= 0) {
2346 memprintf(errmsg, "invalid value %d for argument '%s' of server %s.",
2347 delay, args[*cur_arg], srv->id);
2348 goto error;
2349 }
2350 srv->check.fastinter = delay;
2351
2352 out:
2353 return err_code;
2354
2355 error:
2356 err_code |= ERR_ALERT | ERR_FATAL;
2357 goto out;
2358}
2359
2360
2361/* Parse the "downinter" server keyword */
2362static int srv_parse_check_downinter(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2363 char **errmsg)
2364{
2365 const char *err = NULL;
2366 unsigned int delay;
2367 int err_code = 0;
2368
2369 if (!*(args[*cur_arg+1])) {
2370 memprintf(errmsg, "'%s' expects a delay as argument.", args[*cur_arg]);
2371 goto error;
2372 }
2373
2374 err = parse_time_err(args[*cur_arg+1], &delay, TIME_UNIT_MS);
2375 if (err == PARSE_TIME_OVER) {
2376 memprintf(errmsg, "timer overflow in argument <%s> to <%s> of server %s, maximum value is 2147483647 ms (~24.8 days).",
2377 args[*cur_arg+1], args[*cur_arg], srv->id);
2378 goto error;
2379 }
2380 else if (err == PARSE_TIME_UNDER) {
2381 memprintf(errmsg, "timer underflow in argument <%s> to <%s> of server %s, minimum non-null value is 1 ms.",
2382 args[*cur_arg+1], args[*cur_arg], srv->id);
2383 goto error;
2384 }
2385 else if (err) {
2386 memprintf(errmsg, "unexpected character '%c' in 'agent-inter' argument of server %s.",
2387 *err, srv->id);
2388 goto error;
2389 }
2390 if (delay <= 0) {
2391 memprintf(errmsg, "invalid value %d for argument '%s' of server %s.",
2392 delay, args[*cur_arg], srv->id);
2393 goto error;
2394 }
2395 srv->check.downinter = delay;
2396
2397 out:
2398 return err_code;
2399
2400 error:
2401 err_code |= ERR_ALERT | ERR_FATAL;
2402 goto out;
2403}
2404
2405/* Parse the "port" server keyword */
2406static int srv_parse_check_port(char **args, int *cur_arg, struct proxy *curpx, struct server *srv,
2407 char **errmsg)
2408{
2409 int err_code = 0;
2410
2411 if (!*(args[*cur_arg+1])) {
2412 memprintf(errmsg, "'%s' expects a port number as argument.", args[*cur_arg]);
2413 goto error;
2414 }
2415
Amaury Denoyelle403dce82021-07-29 15:39:43 +02002416 /* Only increment maxsock for servers from the configuration. Dynamic
2417 * servers at the moment are not taken into account for the estimation
2418 * of the resources limits.
2419 */
2420 if (global.mode & MODE_STARTING)
2421 global.maxsock++;
2422
Christopher Fauletce8111e2020-04-06 15:04:11 +02002423 srv->check.port = atol(args[*cur_arg+1]);
William Dauchy4858fb22021-02-03 22:30:09 +01002424 /* if agentport was never set, we can use port */
2425 if (!(srv->flags & SRV_F_AGENTPORT))
2426 srv->agent.port = srv->check.port;
Christopher Fauletce8111e2020-04-06 15:04:11 +02002427
2428 out:
2429 return err_code;
2430
2431 error:
2432 err_code |= ERR_ALERT | ERR_FATAL;
2433 goto out;
2434}
2435
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002436static struct srv_kw_list srv_kws = { "CHK", { }, {
Amaury Denoyelle9ecee0f2021-07-23 16:34:58 +02002437 { "addr", srv_parse_addr, 1, 1, 1 }, /* IP address to send health to or to probe from agent-check */
2438 { "agent-addr", srv_parse_agent_addr, 1, 1, 1 }, /* Enable an auxiliary agent check */
Amaury Denoyelleb65f4ca2021-08-04 11:33:14 +02002439 { "agent-check", srv_parse_agent_check, 0, 1, 1 }, /* Enable agent checks */
Amaury Denoyelle9ecee0f2021-07-23 16:34:58 +02002440 { "agent-inter", srv_parse_agent_inter, 1, 1, 1 }, /* Set the interval between two agent checks */
2441 { "agent-port", srv_parse_agent_port, 1, 1, 1 }, /* Set the TCP port used for agent checks. */
2442 { "agent-send", srv_parse_agent_send, 1, 1, 1 }, /* Set string to send to agent. */
Amaury Denoyelle2fc4d392021-07-22 16:04:59 +02002443 { "check", srv_parse_check, 0, 1, 1 }, /* Enable health checks */
Amaury Denoyelle9ecee0f2021-07-23 16:34:58 +02002444 { "check-proto", srv_parse_check_proto, 1, 1, 1 }, /* Set the mux protocol for health checks */
2445 { "check-send-proxy", srv_parse_check_send_proxy, 0, 1, 1 }, /* Enable PROXY protocol for health checks */
2446 { "check-via-socks4", srv_parse_check_via_socks4, 0, 1, 1 }, /* Enable socks4 proxy for health checks */
Amaury Denoyelle76e10e72021-03-08 17:08:01 +01002447 { "no-agent-check", srv_parse_no_agent_check, 0, 1, 0 }, /* Do not enable any auxiliary agent check */
2448 { "no-check", srv_parse_no_check, 0, 1, 0 }, /* Disable health checks */
2449 { "no-check-send-proxy", srv_parse_no_check_send_proxy, 0, 1, 0 }, /* Disable PROXY protocol for health checks */
Amaury Denoyelle9ecee0f2021-07-23 16:34:58 +02002450 { "rise", srv_parse_check_rise, 1, 1, 1 }, /* Set rise value for health checks */
2451 { "fall", srv_parse_check_fall, 1, 1, 1 }, /* Set fall value for health checks */
2452 { "inter", srv_parse_check_inter, 1, 1, 1 }, /* Set inter value for health checks */
2453 { "fastinter", srv_parse_check_fastinter, 1, 1, 1 }, /* Set fastinter value for health checks */
2454 { "downinter", srv_parse_check_downinter, 1, 1, 1 }, /* Set downinter value for health checks */
2455 { "port", srv_parse_check_port, 1, 1, 1 }, /* Set the TCP port used for health checks. */
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002456 { NULL, NULL, 0 },
2457}};
2458
Christopher Fauletcbba66c2020-04-06 14:26:30 +02002459INITCALL1(STG_REGISTER, srv_register_keywords, &srv_kws);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01002460
Willy Tarreaubd741542010-03-16 18:46:54 +01002461/*
Willy Tarreaubaaee002006-06-26 02:48:02 +02002462 * Local variables:
2463 * c-indent-level: 8
2464 * c-basic-offset: 8
2465 * End:
2466 */