blob: 23d5a1d1e306b566ee8f1abf8bc5e0d1e1cae3c0 [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>
17#include <fcntl.h>
Willy Tarreau9b39dc52014-07-08 00:54:10 +020018#include <signal.h>
Simon Horman0ba0e4a2015-01-30 11:23:00 +090019#include <stdarg.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020020#include <stdio.h>
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +020021#include <stdlib.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020022#include <string.h>
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +020023#include <time.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020024#include <unistd.h>
Willy Tarreau9f6dc722019-03-01 11:15:10 +010025#include <sys/resource.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020026#include <sys/socket.h>
Dmitry Sivachenkocaf58982009-08-24 15:11:06 +040027#include <sys/types.h>
Simon Horman98637e52014-06-20 12:30:16 +090028#include <sys/wait.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020029#include <netinet/in.h>
Willy Tarreau1274bc42009-07-15 07:16:31 +020030#include <netinet/tcp.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020031#include <arpa/inet.h>
32
Willy Tarreauc7e42382012-08-24 19:22:53 +020033#include <common/chunk.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020034#include <common/compat.h>
35#include <common/config.h>
36#include <common/mini-clist.h>
Willy Tarreau83749182007-04-15 20:56:27 +020037#include <common/standard.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020038#include <common/time.h>
Christopher Fauletcfda8472017-10-20 15:40:23 +020039#include <common/hathreads.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020040
41#include <types/global.h>
Baptiste Assmanna68ca962015-04-14 01:15:08 +020042#include <types/dns.h>
William Lallemand9ed62032016-11-21 17:49:11 +010043#include <types/stats.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020044
45#include <proto/backend.h>
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020046#include <proto/checks.h>
William Lallemand9ed62032016-11-21 17:49:11 +010047#include <proto/stats.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020048#include <proto/fd.h>
49#include <proto/log.h>
Willy Tarreau53a47662017-08-28 10:53:00 +020050#include <proto/mux_pt.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020051#include <proto/queue.h>
Willy Tarreauc6f4ce82009-06-10 11:09:37 +020052#include <proto/port_range.h>
Willy Tarreaue8c66af2008-01-13 18:40:14 +010053#include <proto/proto_tcp.h>
Baptiste Assmann69e273f2013-12-11 00:52:19 +010054#include <proto/protocol.h>
Willy Tarreau2b5652f2006-12-31 17:46:05 +010055#include <proto/proxy.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020056#include <proto/server.h>
Willy Tarreau48d6bf22016-06-21 16:27:34 +020057#include <proto/signal.h>
Willy Tarreau9e000c62011-03-10 14:03:36 +010058#include <proto/stream_interface.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020059#include <proto/task.h>
Baptiste Assmanna68ca962015-04-14 01:15:08 +020060#include <proto/log.h>
61#include <proto/dns.h>
62#include <proto/proto_udp.h>
Olivier Houchard9130a962017-10-17 17:33:43 +020063#include <proto/ssl_sock.h>
Olivier Houchard9130a962017-10-17 17:33:43 +020064
Willy Tarreaubd741542010-03-16 18:46:54 +010065static int httpchk_expect(struct server *s, int done);
Simon Hormane16c1b32015-01-30 11:22:57 +090066static int tcpcheck_get_step_id(struct check *);
Baptiste Assmann22b09d22015-05-01 08:03:04 +020067static char * tcpcheck_get_step_comment(struct check *, int);
Willy Tarreau6bdcab02017-10-04 18:41:00 +020068static int tcpcheck_main(struct check *);
Olivier Houchard910b2bc2018-07-17 18:49:38 +020069static void __event_srv_chk_w(struct conn_stream *cs);
Olivier Houchard4501c3e2018-08-28 19:36:18 +020070static int wake_srv_chk(struct conn_stream *cs);
Olivier Houchardaf4021e2018-08-09 13:06:55 +020071static void __event_srv_chk_r(struct conn_stream *cs);
Willy Tarreaubd741542010-03-16 18:46:54 +010072
Christopher Faulet31c30fd2020-03-26 21:10:03 +010073static int srv_check_healthcheck_port(struct check *chk);
74
Willy Tarreau8ceae722018-11-26 11:58:30 +010075DECLARE_STATIC_POOL(pool_head_email_alert, "email_alert", sizeof(struct email_alert));
76DECLARE_STATIC_POOL(pool_head_tcpcheck_rule, "tcpcheck_rule", sizeof(struct tcpcheck_rule));
Christopher Faulet31dff9b2017-10-23 15:45:20 +020077
78
Simon Horman63a4a822012-03-19 07:24:41 +090079static const struct check_status check_statuses[HCHK_STATUS_SIZE] = {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010080 [HCHK_STATUS_UNKNOWN] = { CHK_RES_UNKNOWN, "UNK", "Unknown" },
81 [HCHK_STATUS_INI] = { CHK_RES_UNKNOWN, "INI", "Initializing" },
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +020082 [HCHK_STATUS_START] = { /* SPECIAL STATUS*/ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020083
Willy Tarreau23964182014-05-20 20:56:30 +020084 /* Below we have finished checks */
85 [HCHK_STATUS_CHECKED] = { CHK_RES_NEUTRAL, "CHECKED", "No status change" },
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010086 [HCHK_STATUS_HANA] = { CHK_RES_FAILED, "HANA", "Health analyze" },
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +010087
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010088 [HCHK_STATUS_SOCKERR] = { CHK_RES_FAILED, "SOCKERR", "Socket error" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020089
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010090 [HCHK_STATUS_L4OK] = { CHK_RES_PASSED, "L4OK", "Layer4 check passed" },
91 [HCHK_STATUS_L4TOUT] = { CHK_RES_FAILED, "L4TOUT", "Layer4 timeout" },
92 [HCHK_STATUS_L4CON] = { CHK_RES_FAILED, "L4CON", "Layer4 connection problem" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020093
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010094 [HCHK_STATUS_L6OK] = { CHK_RES_PASSED, "L6OK", "Layer6 check passed" },
95 [HCHK_STATUS_L6TOUT] = { CHK_RES_FAILED, "L6TOUT", "Layer6 timeout" },
96 [HCHK_STATUS_L6RSP] = { CHK_RES_FAILED, "L6RSP", "Layer6 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020097
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010098 [HCHK_STATUS_L7TOUT] = { CHK_RES_FAILED, "L7TOUT", "Layer7 timeout" },
99 [HCHK_STATUS_L7RSP] = { CHK_RES_FAILED, "L7RSP", "Layer7 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200100
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200101 [HCHK_STATUS_L57DATA] = { /* DUMMY STATUS */ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200102
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100103 [HCHK_STATUS_L7OKD] = { CHK_RES_PASSED, "L7OK", "Layer7 check passed" },
104 [HCHK_STATUS_L7OKCD] = { CHK_RES_CONDPASS, "L7OKC", "Layer7 check conditionally passed" },
105 [HCHK_STATUS_L7STS] = { CHK_RES_FAILED, "L7STS", "Layer7 wrong status" },
Simon Horman98637e52014-06-20 12:30:16 +0900106
107 [HCHK_STATUS_PROCERR] = { CHK_RES_FAILED, "PROCERR", "External check error" },
108 [HCHK_STATUS_PROCTOUT] = { CHK_RES_FAILED, "PROCTOUT", "External check timeout" },
Cyril Bonté77010d82014-08-07 01:55:37 +0200109 [HCHK_STATUS_PROCOK] = { CHK_RES_PASSED, "PROCOK", "External check passed" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200110};
111
Cyril Bontéac92a062014-12-27 22:28:38 +0100112const struct extcheck_env extcheck_envs[EXTCHK_SIZE] = {
113 [EXTCHK_PATH] = { "PATH", EXTCHK_SIZE_EVAL_INIT },
114 [EXTCHK_HAPROXY_PROXY_NAME] = { "HAPROXY_PROXY_NAME", EXTCHK_SIZE_EVAL_INIT },
115 [EXTCHK_HAPROXY_PROXY_ID] = { "HAPROXY_PROXY_ID", EXTCHK_SIZE_EVAL_INIT },
116 [EXTCHK_HAPROXY_PROXY_ADDR] = { "HAPROXY_PROXY_ADDR", EXTCHK_SIZE_EVAL_INIT },
117 [EXTCHK_HAPROXY_PROXY_PORT] = { "HAPROXY_PROXY_PORT", EXTCHK_SIZE_EVAL_INIT },
118 [EXTCHK_HAPROXY_SERVER_NAME] = { "HAPROXY_SERVER_NAME", EXTCHK_SIZE_EVAL_INIT },
119 [EXTCHK_HAPROXY_SERVER_ID] = { "HAPROXY_SERVER_ID", EXTCHK_SIZE_EVAL_INIT },
Christopher Fauletaaae9a02020-04-26 09:50:31 +0200120 [EXTCHK_HAPROXY_SERVER_ADDR] = { "HAPROXY_SERVER_ADDR", EXTCHK_SIZE_ADDR },
121 [EXTCHK_HAPROXY_SERVER_PORT] = { "HAPROXY_SERVER_PORT", EXTCHK_SIZE_UINT },
Cyril Bontéac92a062014-12-27 22:28:38 +0100122 [EXTCHK_HAPROXY_SERVER_MAXCONN] = { "HAPROXY_SERVER_MAXCONN", EXTCHK_SIZE_EVAL_INIT },
123 [EXTCHK_HAPROXY_SERVER_CURCONN] = { "HAPROXY_SERVER_CURCONN", EXTCHK_SIZE_ULONG },
124};
125
Simon Horman63a4a822012-03-19 07:24:41 +0900126static const struct analyze_status analyze_statuses[HANA_STATUS_SIZE] = { /* 0: ignore, 1: error, 2: OK */
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100127 [HANA_STATUS_UNKNOWN] = { "Unknown", { 0, 0 }},
128
129 [HANA_STATUS_L4_OK] = { "L4 successful connection", { 2, 0 }},
130 [HANA_STATUS_L4_ERR] = { "L4 unsuccessful connection", { 1, 1 }},
131
132 [HANA_STATUS_HTTP_OK] = { "Correct http response", { 0, 2 }},
133 [HANA_STATUS_HTTP_STS] = { "Wrong http response", { 0, 1 }},
134 [HANA_STATUS_HTTP_HDRRSP] = { "Invalid http response (headers)", { 0, 1 }},
135 [HANA_STATUS_HTTP_RSP] = { "Invalid http response", { 0, 1 }},
136
137 [HANA_STATUS_HTTP_READ_ERROR] = { "Read error (http)", { 0, 1 }},
138 [HANA_STATUS_HTTP_READ_TIMEOUT] = { "Read timeout (http)", { 0, 1 }},
139 [HANA_STATUS_HTTP_BROKEN_PIPE] = { "Close from server (http)", { 0, 1 }},
140};
141
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100142/* checks if <err> is a real error for errno or one that can be ignored, and
143 * return 0 for these ones or <err> for real ones.
144 */
145static inline int unclean_errno(int err)
146{
147 if (err == EAGAIN || err == EINPROGRESS ||
148 err == EISCONN || err == EALREADY)
149 return 0;
150 return err;
151}
152
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200153/*
154 * Convert check_status code to description
155 */
156const char *get_check_status_description(short check_status) {
157
158 const char *desc;
159
160 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200161 desc = check_statuses[check_status].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200162 else
163 desc = NULL;
164
165 if (desc && *desc)
166 return desc;
167 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200168 return check_statuses[HCHK_STATUS_UNKNOWN].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200169}
170
171/*
172 * Convert check_status code to short info
173 */
174const char *get_check_status_info(short check_status) {
175
176 const char *info;
177
178 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200179 info = check_statuses[check_status].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200180 else
181 info = NULL;
182
183 if (info && *info)
184 return info;
185 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200186 return check_statuses[HCHK_STATUS_UNKNOWN].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200187}
188
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100189const char *get_analyze_status(short analyze_status) {
190
191 const char *desc;
192
193 if (analyze_status < HANA_STATUS_SIZE)
194 desc = analyze_statuses[analyze_status].desc;
195 else
196 desc = NULL;
197
198 if (desc && *desc)
199 return desc;
200 else
201 return analyze_statuses[HANA_STATUS_UNKNOWN].desc;
202}
203
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200204/*
Simon Horman4a741432013-02-23 15:35:38 +0900205 * Set check->status, update check->duration and fill check->result with
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200206 * an adequate CHK_RES_* value. The new check->health is computed based
207 * on the result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200208 *
209 * Show information in logs about failed health check if server is UP
210 * or succeeded health checks if server is DOWN.
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200211 */
Simon Horman4a741432013-02-23 15:35:38 +0900212static void set_server_check_status(struct check *check, short status, const char *desc)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100213{
Simon Horman4a741432013-02-23 15:35:38 +0900214 struct server *s = check->server;
Willy Tarreaubef1b322014-05-13 21:01:39 +0200215 short prev_status = check->status;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200216 int report = 0;
Simon Horman4a741432013-02-23 15:35:38 +0900217
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200218 if (status == HCHK_STATUS_START) {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100219 check->result = CHK_RES_UNKNOWN; /* no result yet */
Simon Horman4a741432013-02-23 15:35:38 +0900220 check->desc[0] = '\0';
221 check->start = now;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200222 return;
223 }
224
Simon Horman4a741432013-02-23 15:35:38 +0900225 if (!check->status)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200226 return;
227
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200228 if (desc && *desc) {
Simon Horman4a741432013-02-23 15:35:38 +0900229 strncpy(check->desc, desc, HCHK_DESC_LEN-1);
230 check->desc[HCHK_DESC_LEN-1] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200231 } else
Simon Horman4a741432013-02-23 15:35:38 +0900232 check->desc[0] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200233
Simon Horman4a741432013-02-23 15:35:38 +0900234 check->status = status;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200235 if (check_statuses[status].result)
Simon Horman4a741432013-02-23 15:35:38 +0900236 check->result = check_statuses[status].result;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200237
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100238 if (status == HCHK_STATUS_HANA)
Simon Horman4a741432013-02-23 15:35:38 +0900239 check->duration = -1;
240 else if (!tv_iszero(&check->start)) {
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200241 /* set_server_check_status() may be called more than once */
Simon Horman4a741432013-02-23 15:35:38 +0900242 check->duration = tv_ms_elapsed(&check->start, &now);
243 tv_zero(&check->start);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200244 }
245
Willy Tarreau23964182014-05-20 20:56:30 +0200246 /* no change is expected if no state change occurred */
247 if (check->result == CHK_RES_NEUTRAL)
248 return;
249
Olivier Houchard0923fa42019-01-11 18:43:04 +0100250 /* If the check was really just sending a mail, it won't have an
251 * associated server, so we're done now.
252 */
253 if (!s)
254 return;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200255 report = 0;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200256
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200257 switch (check->result) {
258 case CHK_RES_FAILED:
Willy Tarreau12634e12014-05-23 11:32:36 +0200259 /* Failure to connect to the agent as a secondary check should not
260 * cause the server to be marked down.
261 */
262 if ((!(check->state & CHK_ST_AGENT) ||
Simon Hormaneaabd522015-02-26 11:26:17 +0900263 (check->status >= HCHK_STATUS_L57DATA)) &&
Christopher Fauletb119a792018-05-02 12:12:45 +0200264 (check->health > 0)) {
Olivier Houchard7059c552019-03-08 18:49:32 +0100265 _HA_ATOMIC_ADD(&s->counters.failed_checks, 1);
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200266 report = 1;
267 check->health--;
268 if (check->health < check->rise)
269 check->health = 0;
270 }
271 break;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200272
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200273 case CHK_RES_PASSED:
274 case CHK_RES_CONDPASS: /* "condpass" cannot make the first step but it OK after a "passed" */
275 if ((check->health < check->rise + check->fall - 1) &&
276 (check->result == CHK_RES_PASSED || check->health > 0)) {
277 report = 1;
278 check->health++;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200279
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200280 if (check->health >= check->rise)
281 check->health = check->rise + check->fall - 1; /* OK now */
282 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200283
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200284 /* clear consecutive_errors if observing is enabled */
285 if (s->onerror)
286 s->consecutive_errors = 0;
287 break;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100288
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200289 default:
290 break;
291 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200292
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200293 if (s->proxy->options2 & PR_O2_LOGHCHKS &&
294 (status != prev_status || report)) {
295 chunk_printf(&trash,
Willy Tarreau12634e12014-05-23 11:32:36 +0200296 "%s check for %sserver %s/%s %s%s",
297 (check->state & CHK_ST_AGENT) ? "Agent" : "Health",
Willy Tarreauc93cd162014-05-13 15:54:22 +0200298 s->flags & SRV_F_BACKUP ? "backup " : "",
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100299 s->proxy->id, s->id,
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100300 (check->result == CHK_RES_CONDPASS) ? "conditionally ":"",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200301 (check->result >= CHK_RES_PASSED) ? "succeeded" : "failed");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200302
Emeric Brun5a133512017-10-19 14:42:30 +0200303 srv_append_status(&trash, s, check, -1, 0);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200304
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100305 chunk_appendf(&trash, ", status: %d/%d %s",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200306 (check->health >= check->rise) ? check->health - check->rise + 1 : check->health,
307 (check->health >= check->rise) ? check->fall : check->rise,
308 (check->health >= check->rise) ? (s->uweight ? "UP" : "DRAIN") : "DOWN");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200309
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200310 ha_warning("%s.\n", trash.area);
311 send_log(s->proxy, LOG_NOTICE, "%s.\n", trash.area);
312 send_email_alert(s, LOG_INFO, "%s", trash.area);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200313 }
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200314}
315
Willy Tarreau4eec5472014-05-20 22:32:27 +0200316/* Marks the check <check>'s server down if the current check is already failed
317 * and the server is not down yet nor in maintenance.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200318 */
Willy Tarreau4eec5472014-05-20 22:32:27 +0200319static void check_notify_failure(struct check *check)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200320{
Simon Horman4a741432013-02-23 15:35:38 +0900321 struct server *s = check->server;
Simon Hormane0d1bfb2011-06-21 14:34:58 +0900322
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200323 /* The agent secondary check should only cause a server to be marked
324 * as down if check->status is HCHK_STATUS_L7STS, which indicates
325 * that the agent returned "fail", "stopped" or "down".
326 * The implication here is that failure to connect to the agent
327 * as a secondary check should not cause the server to be marked
328 * down. */
329 if ((check->state & CHK_ST_AGENT) && check->status != HCHK_STATUS_L7STS)
330 return;
331
Willy Tarreau4eec5472014-05-20 22:32:27 +0200332 if (check->health > 0)
333 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100334
Willy Tarreau4eec5472014-05-20 22:32:27 +0200335 /* We only report a reason for the check if we did not do so previously */
Emeric Brun5a133512017-10-19 14:42:30 +0200336 srv_set_stopped(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200337}
338
Willy Tarreauaf549582014-05-16 17:37:50 +0200339/* Marks the check <check> as valid and tries to set its server up, provided
Willy Tarreau3e048382014-05-21 10:30:54 +0200340 * it isn't in maintenance, it is not tracking a down server and other checks
341 * comply. The rule is simple : by default, a server is up, unless any of the
342 * following conditions is true :
343 * - health check failed (check->health < rise)
344 * - agent check failed (agent->health < rise)
345 * - the server tracks a down server (track && track->state == STOPPED)
346 * Note that if the server has a slowstart, it will switch to STARTING instead
347 * of RUNNING. Also, only the health checks support the nolb mode, so the
348 * agent's success may not take the server out of this mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200349 */
Willy Tarreau3e048382014-05-21 10:30:54 +0200350static void check_notify_success(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200351{
Simon Horman4a741432013-02-23 15:35:38 +0900352 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100353
Emeric Brun52a91d32017-08-31 14:41:55 +0200354 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200355 return;
Cyril Bontécd19e512010-01-31 22:34:03 +0100356
Emeric Brun52a91d32017-08-31 14:41:55 +0200357 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreauaf549582014-05-16 17:37:50 +0200358 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100359
Willy Tarreau3e048382014-05-21 10:30:54 +0200360 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
361 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100362
Willy Tarreau3e048382014-05-21 10:30:54 +0200363 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
364 return;
Willy Tarreauaf549582014-05-16 17:37:50 +0200365
Emeric Brun52a91d32017-08-31 14:41:55 +0200366 if ((check->state & CHK_ST_AGENT) && s->next_state == SRV_ST_STOPPING)
Willy Tarreau3e048382014-05-21 10:30:54 +0200367 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100368
Emeric Brun5a133512017-10-19 14:42:30 +0200369 srv_set_running(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100370}
371
Willy Tarreaudb58b792014-05-21 13:57:23 +0200372/* Marks the check <check> as valid and tries to set its server into stopping mode
373 * if it was running or starting, and provided it isn't in maintenance and other
374 * checks comply. The conditions for the server to be marked in stopping mode are
375 * the same as for it to be turned up. Also, only the health checks support the
376 * nolb mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200377 */
Willy Tarreaudb58b792014-05-21 13:57:23 +0200378static void check_notify_stopping(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200379{
Simon Horman4a741432013-02-23 15:35:38 +0900380 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100381
Emeric Brun52a91d32017-08-31 14:41:55 +0200382 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200383 return;
384
Willy Tarreaudb58b792014-05-21 13:57:23 +0200385 if (check->state & CHK_ST_AGENT)
386 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100387
Emeric Brun52a91d32017-08-31 14:41:55 +0200388 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreaudb58b792014-05-21 13:57:23 +0200389 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100390
Willy Tarreaudb58b792014-05-21 13:57:23 +0200391 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
392 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100393
Willy Tarreaudb58b792014-05-21 13:57:23 +0200394 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
395 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100396
Willy Tarreaub26881a2017-12-23 11:16:49 +0100397 srv_set_stopping(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100398}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200399
Willy Tarreau9fe7aae2013-12-31 23:47:37 +0100400/* note: use health_adjust() only, which first checks that the observe mode is
401 * enabled.
402 */
403void __health_adjust(struct server *s, short status)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100404{
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100405 int failed;
406 int expire;
407
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100408 if (s->observe >= HANA_OBS_SIZE)
409 return;
410
Willy Tarreaubb956662013-01-24 00:37:39 +0100411 if (status >= HANA_STATUS_SIZE || !analyze_statuses[status].desc)
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100412 return;
413
414 switch (analyze_statuses[status].lr[s->observe - 1]) {
415 case 1:
416 failed = 1;
417 break;
418
419 case 2:
420 failed = 0;
421 break;
422
423 default:
424 return;
425 }
426
427 if (!failed) {
428 /* good: clear consecutive_errors */
429 s->consecutive_errors = 0;
430 return;
431 }
432
Olivier Houchard7059c552019-03-08 18:49:32 +0100433 _HA_ATOMIC_ADD(&s->consecutive_errors, 1);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100434
435 if (s->consecutive_errors < s->consecutive_errors_limit)
436 return;
437
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100438 chunk_printf(&trash, "Detected %d consecutive errors, last one was: %s",
439 s->consecutive_errors, get_analyze_status(status));
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100440
441 switch (s->onerror) {
442 case HANA_ONERR_FASTINTER:
443 /* force fastinter - nothing to do here as all modes force it */
444 break;
445
446 case HANA_ONERR_SUDDTH:
447 /* simulate a pre-fatal failed health check */
Simon Horman58c32972013-11-25 10:46:38 +0900448 if (s->check.health > s->check.rise)
449 s->check.health = s->check.rise + 1;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100450
451 /* no break - fall through */
452
453 case HANA_ONERR_FAILCHK:
454 /* simulate a failed health check */
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200455 set_server_check_status(&s->check, HCHK_STATUS_HANA,
456 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200457 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100458 break;
459
460 case HANA_ONERR_MARKDWN:
461 /* mark server down */
Simon Horman58c32972013-11-25 10:46:38 +0900462 s->check.health = s->check.rise;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200463 set_server_check_status(&s->check, HCHK_STATUS_HANA,
464 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200465 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100466 break;
467
468 default:
469 /* write a warning? */
470 break;
471 }
472
473 s->consecutive_errors = 0;
Olivier Houchard7059c552019-03-08 18:49:32 +0100474 _HA_ATOMIC_ADD(&s->counters.failed_hana, 1);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100475
Simon Horman66183002013-02-23 10:16:43 +0900476 if (s->check.fastinter) {
477 expire = tick_add(now_ms, MS_TO_TICKS(s->check.fastinter));
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300478 if (s->check.task->expire > expire) {
Willy Tarreau5b3a2022012-09-28 15:01:02 +0200479 s->check.task->expire = expire;
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300480 /* requeue check task with new expire */
481 task_queue(s->check.task);
482 }
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100483 }
484}
485
Willy Tarreaua1dab552014-04-14 15:04:54 +0200486static int httpchk_build_status_header(struct server *s, char *buffer, int size)
Willy Tarreauef781042010-01-27 11:53:01 +0100487{
488 int sv_state;
489 int ratio;
490 int hlen = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800491 char addr[46];
492 char port[6];
Willy Tarreauef781042010-01-27 11:53:01 +0100493 const char *srv_hlt_st[7] = { "DOWN", "DOWN %d/%d",
494 "UP %d/%d", "UP",
495 "NOLB %d/%d", "NOLB",
496 "no check" };
497
498 memcpy(buffer + hlen, "X-Haproxy-Server-State: ", 24);
499 hlen += 24;
500
Willy Tarreauff5ae352013-12-11 20:36:34 +0100501 if (!(s->check.state & CHK_ST_ENABLED))
502 sv_state = 6;
Emeric Brun52a91d32017-08-31 14:41:55 +0200503 else if (s->cur_state != SRV_ST_STOPPED) {
Simon Horman58c32972013-11-25 10:46:38 +0900504 if (s->check.health == s->check.rise + s->check.fall - 1)
Willy Tarreauef781042010-01-27 11:53:01 +0100505 sv_state = 3; /* UP */
506 else
507 sv_state = 2; /* going down */
508
Emeric Brun52a91d32017-08-31 14:41:55 +0200509 if (s->cur_state == SRV_ST_STOPPING)
Willy Tarreauef781042010-01-27 11:53:01 +0100510 sv_state += 2;
511 } else {
Simon Horman125d0992013-02-24 17:23:38 +0900512 if (s->check.health)
Willy Tarreauef781042010-01-27 11:53:01 +0100513 sv_state = 1; /* going up */
514 else
515 sv_state = 0; /* DOWN */
516 }
517
Willy Tarreaua1dab552014-04-14 15:04:54 +0200518 hlen += snprintf(buffer + hlen, size - hlen,
Willy Tarreauef781042010-01-27 11:53:01 +0100519 srv_hlt_st[sv_state],
Emeric Brun52a91d32017-08-31 14:41:55 +0200520 (s->cur_state != SRV_ST_STOPPED) ? (s->check.health - s->check.rise + 1) : (s->check.health),
521 (s->cur_state != SRV_ST_STOPPED) ? (s->check.fall) : (s->check.rise));
Willy Tarreauef781042010-01-27 11:53:01 +0100522
Joseph Lynch514061c2015-01-15 17:52:59 -0800523 addr_to_str(&s->addr, addr, sizeof(addr));
Willy Tarreau04276f32017-01-06 17:41:29 +0100524 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
525 snprintf(port, sizeof(port), "%u", s->svc_port);
526 else
527 *port = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800528
529 hlen += snprintf(buffer + hlen, size - hlen, "; address=%s; port=%s; name=%s/%s; node=%s; weight=%d/%d; scur=%d/%d; qcur=%d",
530 addr, port, s->proxy->id, s->id,
Willy Tarreauef781042010-01-27 11:53:01 +0100531 global.node,
Emeric Brun52a91d32017-08-31 14:41:55 +0200532 (s->cur_eweight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
Willy Tarreauef781042010-01-27 11:53:01 +0100533 (s->proxy->lbprm.tot_weight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
534 s->cur_sess, s->proxy->beconn - s->proxy->nbpend,
535 s->nbpend);
536
Emeric Brun52a91d32017-08-31 14:41:55 +0200537 if ((s->cur_state == SRV_ST_STARTING) &&
Willy Tarreauef781042010-01-27 11:53:01 +0100538 now.tv_sec < s->last_change + s->slowstart &&
539 now.tv_sec >= s->last_change) {
540 ratio = MAX(1, 100 * (now.tv_sec - s->last_change) / s->slowstart);
Willy Tarreaua1dab552014-04-14 15:04:54 +0200541 hlen += snprintf(buffer + hlen, size - hlen, "; throttle=%d%%", ratio);
Willy Tarreauef781042010-01-27 11:53:01 +0100542 }
543
544 buffer[hlen++] = '\r';
545 buffer[hlen++] = '\n';
546
547 return hlen;
548}
549
Willy Tarreau20a18342013-12-05 00:31:46 +0100550/* Check the connection. If an error has already been reported or the socket is
551 * closed, keep errno intact as it is supposed to contain the valid error code.
552 * If no error is reported, check the socket's error queue using getsockopt().
553 * Warning, this must be done only once when returning from poll, and never
554 * after an I/O error was attempted, otherwise the error queue might contain
555 * inconsistent errors. If an error is detected, the CO_FL_ERROR is set on the
556 * socket. Returns non-zero if an error was reported, zero if everything is
557 * clean (including a properly closed socket).
558 */
559static int retrieve_errno_from_socket(struct connection *conn)
560{
561 int skerr;
562 socklen_t lskerr = sizeof(skerr);
563
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100564 if (conn->flags & CO_FL_ERROR && (unclean_errno(errno) || !conn->ctrl))
Willy Tarreau20a18342013-12-05 00:31:46 +0100565 return 1;
566
Willy Tarreau3c728722014-01-23 13:50:42 +0100567 if (!conn_ctrl_ready(conn))
Willy Tarreau20a18342013-12-05 00:31:46 +0100568 return 0;
569
Willy Tarreau585744b2017-08-24 14:31:19 +0200570 if (getsockopt(conn->handle.fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr) == 0)
Willy Tarreau20a18342013-12-05 00:31:46 +0100571 errno = skerr;
572
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100573 errno = unclean_errno(errno);
Willy Tarreau20a18342013-12-05 00:31:46 +0100574
575 if (!errno) {
576 /* we could not retrieve an error, that does not mean there is
577 * none. Just don't change anything and only report the prior
578 * error if any.
579 */
580 if (conn->flags & CO_FL_ERROR)
581 return 1;
582 else
583 return 0;
584 }
585
586 conn->flags |= CO_FL_ERROR | CO_FL_SOCK_WR_SH | CO_FL_SOCK_RD_SH;
587 return 1;
588}
589
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100590/* Try to collect as much information as possible on the connection status,
591 * and adjust the server status accordingly. It may make use of <errno_bck>
592 * if non-null when the caller is absolutely certain of its validity (eg:
593 * checked just after a syscall). If the caller doesn't have a valid errno,
594 * it can pass zero, and retrieve_errno_from_socket() will be called to try
595 * to extract errno from the socket. If no error is reported, it will consider
596 * the <expired> flag. This is intended to be used when a connection error was
597 * reported in conn->flags or when a timeout was reported in <expired>. The
598 * function takes care of not updating a server status which was already set.
599 * All situations where at least one of <expired> or CO_FL_ERROR are set
600 * produce a status.
601 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200602static void chk_report_conn_err(struct check *check, int errno_bck, int expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100603{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200604 struct conn_stream *cs = check->cs;
605 struct connection *conn = cs_conn(cs);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100606 const char *err_msg;
Willy Tarreau83061a82018-07-13 11:56:34 +0200607 struct buffer *chk;
Willy Tarreau213c6782014-10-02 14:51:02 +0200608 int step;
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200609 char *comment;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100610
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100611 if (check->result != CHK_RES_UNKNOWN)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100612 return;
613
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100614 errno = unclean_errno(errno_bck);
615 if (conn && errno)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100616 retrieve_errno_from_socket(conn);
617
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200618 if (conn && !(conn->flags & CO_FL_ERROR) &&
619 !(cs->flags & CS_FL_ERROR) && !expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100620 return;
621
622 /* we'll try to build a meaningful error message depending on the
623 * context of the error possibly present in conn->err_code, and the
624 * socket error possibly collected above. This is useful to know the
625 * exact step of the L6 layer (eg: SSL handshake).
626 */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200627 chk = get_trash_chunk();
628
629 if (check->type == PR_O2_TCPCHK_CHK) {
Simon Hormane16c1b32015-01-30 11:22:57 +0900630 step = tcpcheck_get_step_id(check);
Willy Tarreau213c6782014-10-02 14:51:02 +0200631 if (!step)
632 chunk_printf(chk, " at initial connection step of tcp-check");
633 else {
634 chunk_printf(chk, " at step %d of tcp-check", step);
635 /* we were looking for a string */
636 if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_CONNECT) {
637 if (check->last_started_step->port)
638 chunk_appendf(chk, " (connect port %d)" ,check->last_started_step->port);
639 else
640 chunk_appendf(chk, " (connect)");
641 }
642 else if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_EXPECT) {
Gaetan Rivetb616add2020-02-07 15:37:17 +0100643 struct tcpcheck_expect *expect = &check->last_started_step->expect;
644
645 switch (expect->type) {
646 case TCPCHK_EXPECT_STRING:
647 chunk_appendf(chk, " (expect string '%s')", expect->string);
648 break;
649 case TCPCHK_EXPECT_BINARY:
650 chunk_appendf(chk, " (expect binary '%s')", expect->string);
651 break;
652 case TCPCHK_EXPECT_REGEX:
Willy Tarreau213c6782014-10-02 14:51:02 +0200653 chunk_appendf(chk, " (expect regex)");
Gaetan Rivetb616add2020-02-07 15:37:17 +0100654 break;
655 case TCPCHK_EXPECT_UNDEF:
656 chunk_appendf(chk, " (undefined expect!)");
657 break;
658 }
Willy Tarreau213c6782014-10-02 14:51:02 +0200659 }
660 else if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_SEND) {
661 chunk_appendf(chk, " (send)");
662 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200663
664 comment = tcpcheck_get_step_comment(check, step);
665 if (comment)
666 chunk_appendf(chk, " comment: '%s'", comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200667 }
668 }
669
Willy Tarreau00149122017-10-04 18:05:01 +0200670 if (conn && conn->err_code) {
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100671 if (unclean_errno(errno))
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200672 chunk_printf(&trash, "%s (%s)%s", conn_err_code_str(conn), strerror(errno),
673 chk->area);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100674 else
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200675 chunk_printf(&trash, "%s%s", conn_err_code_str(conn),
676 chk->area);
677 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100678 }
679 else {
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100680 if (unclean_errno(errno)) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200681 chunk_printf(&trash, "%s%s", strerror(errno),
682 chk->area);
683 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100684 }
685 else {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200686 err_msg = chk->area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100687 }
688 }
689
Willy Tarreau00149122017-10-04 18:05:01 +0200690 if (check->state & CHK_ST_PORT_MISS) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +0200691 /* NOTE: this is reported after <fall> tries */
692 chunk_printf(chk, "No port available for the TCP connection");
693 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
694 }
695
Willy Tarreau00149122017-10-04 18:05:01 +0200696 if (!conn) {
697 /* connection allocation error before the connection was established */
698 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
699 }
Willy Tarreauc192b0a2020-01-23 09:11:58 +0100700 else if (conn->flags & CO_FL_WAIT_L4_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100701 /* L4 not established (yet) */
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200702 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100703 set_server_check_status(check, HCHK_STATUS_L4CON, err_msg);
704 else if (expired)
705 set_server_check_status(check, HCHK_STATUS_L4TOUT, err_msg);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200706
707 /*
708 * might be due to a server IP change.
709 * Let's trigger a DNS resolution if none are currently running.
710 */
Olivier Houchard0923fa42019-01-11 18:43:04 +0100711 if (check->server)
712 dns_trigger_resolution(check->server->dns_requester);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200713
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100714 }
Willy Tarreauc192b0a2020-01-23 09:11:58 +0100715 else if (conn->flags & CO_FL_WAIT_L6_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100716 /* L6 not established (yet) */
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200717 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100718 set_server_check_status(check, HCHK_STATUS_L6RSP, err_msg);
719 else if (expired)
720 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
721 }
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200722 else if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100723 /* I/O error after connection was established and before we could diagnose */
724 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
725 }
726 else if (expired) {
727 /* connection established but expired check */
728 if (check->type == PR_O2_SSL3_CHK)
729 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
730 else /* HTTP, SMTP, ... */
731 set_server_check_status(check, HCHK_STATUS_L7TOUT, err_msg);
732 }
733
734 return;
735}
736
Olivier Houchard5c110b92018-08-14 17:04:58 +0200737/* This function checks if any I/O is wanted, and if so, attempts to do so */
738static struct task *event_srv_chk_io(struct task *t, void *ctx, unsigned short state)
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200739{
Olivier Houchard26e1a8f2018-09-12 15:15:12 +0200740 struct check *check = ctx;
741 struct conn_stream *cs = check->cs;
Olivier Houchard0923fa42019-01-11 18:43:04 +0100742 struct email_alertq *q = container_of(check, typeof(*q), check);
Olivier Houchardbc89ad82019-07-09 17:28:51 +0200743 int ret = 0;
Olivier Houchard4501c3e2018-08-28 19:36:18 +0200744
Willy Tarreau4f6516d2018-12-19 13:59:17 +0100745 if (!(check->wait_list.events & SUB_RETRY_SEND))
Olivier Houchardbc89ad82019-07-09 17:28:51 +0200746 ret = wake_srv_chk(cs);
747 if (ret == 0 && !(check->wait_list.events & SUB_RETRY_RECV)) {
Olivier Houchard0923fa42019-01-11 18:43:04 +0100748 if (check->server)
749 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
750 else
751 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200752 __event_srv_chk_r(cs);
Olivier Houchard0923fa42019-01-11 18:43:04 +0100753 if (check->server)
754 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
755 else
756 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200757 }
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200758 return NULL;
759}
760
761/* same as above but protected by the server lock.
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100762 *
763 * Please do NOT place any return statement in this function and only leave
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200764 * via the out label. NOTE THAT THIS FUNCTION DOESN'T LOCK, YOU PROBABLY WANT
765 * TO USE event_srv_chk_w() instead.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200766 */
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200767static void __event_srv_chk_w(struct conn_stream *cs)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200768{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200769 struct connection *conn = cs->conn;
770 struct check *check = cs->data;
Simon Horman4a741432013-02-23 15:35:38 +0900771 struct server *s = check->server;
Simon Horman4a741432013-02-23 15:35:38 +0900772 struct task *t = check->task;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200773
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100774 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100775 goto out_wakeup;
776
Willy Tarreau20a18342013-12-05 00:31:46 +0100777 if (retrieve_errno_from_socket(conn)) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200778 chk_report_conn_err(check, errno, 0);
Willy Tarreau20a18342013-12-05 00:31:46 +0100779 goto out_wakeup;
780 }
Krzysztof Piotr Oledzki6492db52010-01-02 22:03:01 +0100781
Willy Tarreau06559ac2013-12-05 01:53:08 +0100782 /* here, we know that the connection is established. That's enough for
783 * a pure TCP check.
784 */
785 if (!check->type)
786 goto out_wakeup;
787
Willy Tarreauc09572f2017-10-04 11:58:22 +0200788 /* wake() will take care of calling tcpcheck_main() */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100789 if (check->type == PR_O2_TCPCHK_CHK)
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200790 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200791
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200792 if (b_data(&check->bo)) {
Olivier Houcharded0f2072018-08-16 15:41:52 +0200793 cs->conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0);
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200794 b_realign_if_empty(&check->bo);
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200795 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200796 chk_report_conn_err(check, errno, 0);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100797 goto out_wakeup;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200798 }
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200799 if (b_data(&check->bo)) {
Willy Tarreau4f6516d2018-12-19 13:59:17 +0100800 conn->mux->subscribe(cs, SUB_RETRY_SEND, &check->wait_list);
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200801 goto out;
802 }
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100803 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200804
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100805 /* full request sent, we allow up to <timeout.check> if nonzero for a response */
806 if (s->proxy->timeout.check) {
807 t->expire = tick_add_ifset(now_ms, s->proxy->timeout.check);
808 task_queue(t);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200809 }
Olivier Houchard53216e72018-10-10 15:46:36 +0200810 goto out;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100811
Willy Tarreau83749182007-04-15 20:56:27 +0200812 out_wakeup:
Willy Tarreaufdccded2008-08-29 18:19:04 +0200813 task_wakeup(t, TASK_WOKEN_IO);
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200814 out:
815 return;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200816}
817
Willy Tarreaubaaee002006-06-26 02:48:02 +0200818/*
Willy Tarreauf3c69202006-07-09 16:42:34 +0200819 * This function is used only for server health-checks. It handles the server's
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +0200820 * reply to an HTTP request, SSL HELLO or MySQL client Auth. It calls
Simon Horman4a741432013-02-23 15:35:38 +0900821 * set_server_check_status() to update check->status, check->duration
822 * and check->result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200823
824 * The set_server_check_status function is called with HCHK_STATUS_L7OKD if
825 * an HTTP server replies HTTP 2xx or 3xx (valid responses), if an SMTP server
826 * returns 2xx, HCHK_STATUS_L6OK if an SSL server returns at least 5 bytes in
827 * response to an SSL HELLO (the principle is that this is enough to
828 * distinguish between an SSL server and a pure TCP relay). All other cases will
829 * call it with a proper error status like HCHK_STATUS_L7STS, HCHK_STATUS_L6RSP,
830 * etc.
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100831 *
832 * Please do NOT place any return statement in this function and only leave
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200833 * via the out label.
834 *
835 * This must be called with the server lock held.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200836 */
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200837static void __event_srv_chk_r(struct conn_stream *cs)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200838{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200839 struct connection *conn = cs->conn;
840 struct check *check = cs->data;
Simon Horman4a741432013-02-23 15:35:38 +0900841 struct server *s = check->server;
842 struct task *t = check->task;
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200843 char *desc;
Willy Tarreau03938182010-03-17 21:52:07 +0100844 int done;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +0200845 unsigned short msglen;
Willy Tarreau83749182007-04-15 20:56:27 +0200846
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100847 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau83749182007-04-15 20:56:27 +0200848 goto out_wakeup;
Willy Tarreau83749182007-04-15 20:56:27 +0200849
Willy Tarreauc09572f2017-10-04 11:58:22 +0200850 /* wake() will take care of calling tcpcheck_main() */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100851 if (check->type == PR_O2_TCPCHK_CHK)
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200852 goto out;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200853
Willy Tarreau83749182007-04-15 20:56:27 +0200854 /* Warning! Linux returns EAGAIN on SO_ERROR if data are still available
855 * but the connection was closed on the remote end. Fortunately, recv still
856 * works correctly and we don't need to do the getsockopt() on linux.
857 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000858
859 /* Set buffer to point to the end of the data already read, and check
860 * that there is free space remaining. If the buffer is full, proceed
861 * with running the checks without attempting another socket read.
862 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000863
Willy Tarreau03938182010-03-17 21:52:07 +0100864 done = 0;
Nick Chalk57b1bf72010-03-16 15:50:46 +0000865
Olivier Houchard511efea2018-08-16 15:30:32 +0200866 cs->conn->mux->rcv_buf(cs, &check->bi, b_size(&check->bi), 0);
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200867 if (conn->flags & (CO_FL_ERROR | CO_FL_SOCK_RD_SH) || cs->flags & CS_FL_ERROR) {
Willy Tarreau03938182010-03-17 21:52:07 +0100868 done = 1;
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200869 if ((conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) && !b_data(&check->bi)) {
Willy Tarreauf1503172012-09-28 19:39:36 +0200870 /* Report network errors only if we got no other data. Otherwise
871 * we'll let the upper layers decide whether the response is OK
872 * or not. It is very common that an RST sent by the server is
873 * reported as an error just after the last data chunk.
874 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200875 chk_report_conn_err(check, errno, 0);
Willy Tarreauc1a07962010-03-16 20:55:43 +0100876 goto out_wakeup;
877 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200878 }
879
Willy Tarreau0f0393f2019-09-24 10:43:03 +0200880 /* the rest of the code below expects the connection to be ready! */
Willy Tarreau911db9b2020-01-23 16:27:54 +0100881 if (conn->flags & CO_FL_WAIT_XPRT && !done)
Willy Tarreau0f0393f2019-09-24 10:43:03 +0200882 goto wait_more_data;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100883
Willy Tarreau03938182010-03-17 21:52:07 +0100884 /* Intermediate or complete response received.
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200885 * Terminate string in b_head(&check->bi) buffer.
Willy Tarreau03938182010-03-17 21:52:07 +0100886 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200887 if (b_data(&check->bi) < b_size(&check->bi))
888 b_head(&check->bi)[b_data(&check->bi)] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100889 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200890 b_head(&check->bi)[b_data(&check->bi) - 1] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100891 done = 1; /* buffer full, don't wait for more data */
892 }
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200893
Nick Chalk57b1bf72010-03-16 15:50:46 +0000894 /* Run the checks... */
Simon Horman4a741432013-02-23 15:35:38 +0900895 switch (check->type) {
Willy Tarreau1620ec32011-08-06 17:05:02 +0200896 case PR_O2_HTTP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200897 if (!done && b_data(&check->bi) < strlen("HTTP/1.0 000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100898 goto wait_more_data;
899
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100900 /* Check if the server speaks HTTP 1.X */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200901 if ((b_data(&check->bi) < strlen("HTTP/1.0 000\r")) ||
902 (memcmp(b_head(&check->bi), "HTTP/1.", 7) != 0 ||
903 (*(b_head(&check->bi) + 12) != ' ' && *(b_head(&check->bi) + 12) != '\r')) ||
904 !isdigit((unsigned char) *(b_head(&check->bi) + 9)) || !isdigit((unsigned char) *(b_head(&check->bi) + 10)) ||
905 !isdigit((unsigned char) *(b_head(&check->bi) + 11))) {
906 cut_crlf(b_head(&check->bi));
907 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200908
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100909 goto out_wakeup;
910 }
911
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200912 check->code = str2uic(b_head(&check->bi) + 9);
913 desc = ltrim(b_head(&check->bi) + 12, ' ');
Christopher Fauletc2a89a62017-10-23 15:54:24 +0200914
Willy Tarreaubd741542010-03-16 18:46:54 +0100915 if ((s->proxy->options & PR_O_DISABLE404) &&
Emeric Brun52a91d32017-08-31 14:41:55 +0200916 (s->next_state != SRV_ST_STOPPED) && (check->code == 404)) {
Nick Chalk57b1bf72010-03-16 15:50:46 +0000917 /* 404 may be accepted as "stopping" only if the server was up */
918 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900919 set_server_check_status(check, HCHK_STATUS_L7OKCD, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000920 }
Willy Tarreaubd741542010-03-16 18:46:54 +0100921 else if (s->proxy->options2 & PR_O2_EXP_TYPE) {
922 /* Run content verification check... We know we have at least 13 chars */
923 if (!httpchk_expect(s, done))
924 goto wait_more_data;
925 }
926 /* check the reply : HTTP/1.X 2xx and 3xx are OK */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200927 else if (*(b_head(&check->bi) + 9) == '2' || *(b_head(&check->bi) + 9) == '3') {
Willy Tarreaubd741542010-03-16 18:46:54 +0100928 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900929 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Willy Tarreaubd741542010-03-16 18:46:54 +0100930 }
Nick Chalk57b1bf72010-03-16 15:50:46 +0000931 else {
932 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900933 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000934 }
Willy Tarreau1620ec32011-08-06 17:05:02 +0200935 break;
936
937 case PR_O2_SSL3_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200938 if (!done && b_data(&check->bi) < 5)
Willy Tarreau03938182010-03-17 21:52:07 +0100939 goto wait_more_data;
940
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100941 /* Check for SSLv3 alert or handshake */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200942 if ((b_data(&check->bi) >= 5) && (*b_head(&check->bi) == 0x15 || *b_head(&check->bi) == 0x16))
Simon Horman4a741432013-02-23 15:35:38 +0900943 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200944 else
Simon Horman4a741432013-02-23 15:35:38 +0900945 set_server_check_status(check, HCHK_STATUS_L6RSP, NULL);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200946 break;
947
948 case PR_O2_SMTP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200949 if (!done && b_data(&check->bi) < strlen("000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100950 goto wait_more_data;
951
Willy Tarreau5488a622019-08-06 16:26:31 +0200952 /* do not reset when closing, servers don't like this */
953 if (conn_ctrl_ready(cs->conn))
954 fdtab[cs->conn->handle.fd].linger_risk = 0;
955
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200956 /* Check if the server speaks SMTP */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200957 if ((b_data(&check->bi) < strlen("000\r")) ||
958 (*(b_head(&check->bi) + 3) != ' ' && *(b_head(&check->bi) + 3) != '\r') ||
959 !isdigit((unsigned char) *b_head(&check->bi)) || !isdigit((unsigned char) *(b_head(&check->bi) + 1)) ||
960 !isdigit((unsigned char) *(b_head(&check->bi) + 2))) {
961 cut_crlf(b_head(&check->bi));
962 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200963 goto out_wakeup;
964 }
965
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200966 check->code = str2uic(b_head(&check->bi));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200967
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200968 desc = ltrim(b_head(&check->bi) + 3, ' ');
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200969 cut_crlf(desc);
970
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100971 /* Check for SMTP code 2xx (should be 250) */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200972 if (*b_head(&check->bi) == '2')
Simon Horman4a741432013-02-23 15:35:38 +0900973 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200974 else
Simon Horman4a741432013-02-23 15:35:38 +0900975 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200976 break;
977
Simon Hormana2b9dad2013-02-12 10:45:54 +0900978 case PR_O2_LB_AGENT_CHK: {
Willy Tarreau81f5d942013-12-09 20:51:51 +0100979 int status = HCHK_STATUS_CHECKED;
980 const char *hs = NULL; /* health status */
981 const char *as = NULL; /* admin status */
982 const char *ps = NULL; /* performance status */
Nenad Merdanovic174dd372016-04-24 23:10:06 +0200983 const char *cs = NULL; /* maxconn */
Willy Tarreau81f5d942013-12-09 20:51:51 +0100984 const char *err = NULL; /* first error to report */
985 const char *wrn = NULL; /* first warning to report */
986 char *cmd, *p;
Simon Hormana2b9dad2013-02-12 10:45:54 +0900987
Willy Tarreau81f5d942013-12-09 20:51:51 +0100988 /* We're getting an agent check response. The agent could
989 * have been disabled in the mean time with a long check
990 * still pending. It is important that we ignore the whole
991 * response.
992 */
993 if (!(check->server->agent.state & CHK_ST_ENABLED))
994 break;
995
996 /* The agent supports strings made of a single line ended by the
997 * first CR ('\r') or LF ('\n'). This line is composed of words
998 * delimited by spaces (' '), tabs ('\t'), or commas (','). The
999 * line may optionally contained a description of a state change
1000 * after a sharp ('#'), which is only considered if a health state
1001 * is announced.
1002 *
1003 * Words may be composed of :
1004 * - a numeric weight suffixed by the percent character ('%').
1005 * - a health status among "up", "down", "stopped", and "fail".
1006 * - an admin status among "ready", "drain", "maint".
1007 *
1008 * These words may appear in any order. If multiple words of the
1009 * same category appear, the last one wins.
1010 */
1011
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001012 p = b_head(&check->bi);
Willy Tarreau9809b782013-12-11 21:40:11 +01001013 while (*p && *p != '\n' && *p != '\r')
1014 p++;
1015
1016 if (!*p) {
1017 if (!done)
1018 goto wait_more_data;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001019
Willy Tarreau9809b782013-12-11 21:40:11 +01001020 /* at least inform the admin that the agent is mis-behaving */
1021 set_server_check_status(check, check->status, "Ignoring incomplete line from agent");
1022 break;
1023 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001024
Willy Tarreau9809b782013-12-11 21:40:11 +01001025 *p = 0;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001026 cmd = b_head(&check->bi);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001027
Willy Tarreau81f5d942013-12-09 20:51:51 +01001028 while (*cmd) {
1029 /* look for next word */
1030 if (*cmd == ' ' || *cmd == '\t' || *cmd == ',') {
1031 cmd++;
1032 continue;
1033 }
Simon Horman671b6f02013-11-25 10:46:39 +09001034
Willy Tarreau81f5d942013-12-09 20:51:51 +01001035 if (*cmd == '#') {
1036 /* this is the beginning of a health status description,
1037 * skip the sharp and blanks.
1038 */
1039 cmd++;
1040 while (*cmd == '\t' || *cmd == ' ')
1041 cmd++;
Simon Horman671b6f02013-11-25 10:46:39 +09001042 break;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001043 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001044
1045 /* find the end of the word so that we have a null-terminated
1046 * word between <cmd> and <p>.
1047 */
1048 p = cmd + 1;
1049 while (*p && *p != '\t' && *p != ' ' && *p != '\n' && *p != ',')
1050 p++;
1051 if (*p)
1052 *p++ = 0;
1053
1054 /* first, health statuses */
1055 if (strcasecmp(cmd, "up") == 0) {
1056 check->health = check->rise + check->fall - 1;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001057 status = HCHK_STATUS_L7OKD;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001058 hs = cmd;
1059 }
1060 else if (strcasecmp(cmd, "down") == 0) {
1061 check->health = 0;
1062 status = HCHK_STATUS_L7STS;
1063 hs = cmd;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001064 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001065 else if (strcasecmp(cmd, "stopped") == 0) {
1066 check->health = 0;
1067 status = HCHK_STATUS_L7STS;
1068 hs = cmd;
1069 }
1070 else if (strcasecmp(cmd, "fail") == 0) {
1071 check->health = 0;
1072 status = HCHK_STATUS_L7STS;
1073 hs = cmd;
1074 }
1075 /* admin statuses */
1076 else if (strcasecmp(cmd, "ready") == 0) {
1077 as = cmd;
1078 }
1079 else if (strcasecmp(cmd, "drain") == 0) {
1080 as = cmd;
1081 }
1082 else if (strcasecmp(cmd, "maint") == 0) {
1083 as = cmd;
1084 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001085 /* try to parse a weight here and keep the last one */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001086 else if (isdigit((unsigned char)*cmd) && strchr(cmd, '%') != NULL) {
1087 ps = cmd;
1088 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001089 /* try to parse a maxconn here */
1090 else if (strncasecmp(cmd, "maxconn:", strlen("maxconn:")) == 0) {
1091 cs = cmd;
1092 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001093 else {
1094 /* keep a copy of the first error */
1095 if (!err)
1096 err = cmd;
1097 }
1098 /* skip to next word */
1099 cmd = p;
1100 }
1101 /* here, cmd points either to \0 or to the beginning of a
1102 * description. Skip possible leading spaces.
1103 */
1104 while (*cmd == ' ' || *cmd == '\n')
1105 cmd++;
1106
1107 /* First, update the admin status so that we avoid sending other
1108 * possibly useless warnings and can also update the health if
1109 * present after going back up.
1110 */
1111 if (as) {
1112 if (strcasecmp(as, "drain") == 0)
1113 srv_adm_set_drain(check->server);
1114 else if (strcasecmp(as, "maint") == 0)
1115 srv_adm_set_maint(check->server);
1116 else
1117 srv_adm_set_ready(check->server);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001118 }
1119
Willy Tarreau81f5d942013-12-09 20:51:51 +01001120 /* now change weights */
1121 if (ps) {
1122 const char *msg;
1123
1124 msg = server_parse_weight_change_request(s, ps);
1125 if (!wrn || !*wrn)
1126 wrn = msg;
1127 }
1128
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001129 if (cs) {
1130 const char *msg;
1131
1132 cs += strlen("maxconn:");
1133
1134 msg = server_parse_maxconn_change_request(s, cs);
1135 if (!wrn || !*wrn)
1136 wrn = msg;
1137 }
1138
Willy Tarreau81f5d942013-12-09 20:51:51 +01001139 /* and finally health status */
1140 if (hs) {
1141 /* We'll report some of the warnings and errors we have
1142 * here. Down reports are critical, we leave them untouched.
1143 * Lack of report, or report of 'UP' leaves the room for
1144 * ERR first, then WARN.
Simon Hormana2b9dad2013-02-12 10:45:54 +09001145 */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001146 const char *msg = cmd;
Willy Tarreau83061a82018-07-13 11:56:34 +02001147 struct buffer *t;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001148
1149 if (!*msg || status == HCHK_STATUS_L7OKD) {
1150 if (err && *err)
1151 msg = err;
1152 else if (wrn && *wrn)
1153 msg = wrn;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001154 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001155
1156 t = get_trash_chunk();
1157 chunk_printf(t, "via agent : %s%s%s%s",
1158 hs, *msg ? " (" : "",
1159 msg, *msg ? ")" : "");
1160
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001161 set_server_check_status(check, status, t->area);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001162 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001163 else if (err && *err) {
1164 /* No status change but we'd like to report something odd.
1165 * Just report the current state and copy the message.
1166 */
1167 chunk_printf(&trash, "agent reports an error : %s", err);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001168 set_server_check_status(check, status/*check->status*/,
1169 trash.area);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001170
Willy Tarreau81f5d942013-12-09 20:51:51 +01001171 }
1172 else if (wrn && *wrn) {
1173 /* No status change but we'd like to report something odd.
1174 * Just report the current state and copy the message.
1175 */
1176 chunk_printf(&trash, "agent warns : %s", wrn);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001177 set_server_check_status(check, status/*check->status*/,
1178 trash.area);
Willy Tarreau81f5d942013-12-09 20:51:51 +01001179 }
1180 else
1181 set_server_check_status(check, status, NULL);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001182 break;
1183 }
1184
Willy Tarreau1620ec32011-08-06 17:05:02 +02001185 case PR_O2_PGSQL_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001186 if (!done && b_data(&check->bi) < 9)
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001187 goto wait_more_data;
1188
Willy Tarreau5488a622019-08-06 16:26:31 +02001189 /* do not reset when closing, servers don't like this */
1190 if (conn_ctrl_ready(cs->conn))
1191 fdtab[cs->conn->handle.fd].linger_risk = 0;
1192
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001193 if (b_head(&check->bi)[0] == 'R') {
Simon Horman4a741432013-02-23 15:35:38 +09001194 set_server_check_status(check, HCHK_STATUS_L7OKD, "PostgreSQL server is ok");
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001195 }
1196 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001197 if ((b_head(&check->bi)[0] == 'E') && (b_head(&check->bi)[5]!=0) && (b_head(&check->bi)[6]!=0))
1198 desc = &b_head(&check->bi)[6];
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001199 else
1200 desc = "PostgreSQL unknown error";
1201
Simon Horman4a741432013-02-23 15:35:38 +09001202 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001203 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001204 break;
1205
1206 case PR_O2_REDIS_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001207 if (!done && b_data(&check->bi) < 7)
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001208 goto wait_more_data;
1209
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001210 if (strcmp(b_head(&check->bi), "+PONG\r\n") == 0) {
Simon Horman4a741432013-02-23 15:35:38 +09001211 set_server_check_status(check, HCHK_STATUS_L7OKD, "Redis server is ok");
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001212 }
1213 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001214 set_server_check_status(check, HCHK_STATUS_L7STS, b_head(&check->bi));
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001215 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001216 break;
1217
1218 case PR_O2_MYSQL_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001219 if (!done && b_data(&check->bi) < 5)
Willy Tarreau03938182010-03-17 21:52:07 +01001220 goto wait_more_data;
1221
Willy Tarreau5488a622019-08-06 16:26:31 +02001222 /* do not reset when closing, servers don't like this */
1223 if (conn_ctrl_ready(cs->conn))
1224 fdtab[cs->conn->handle.fd].linger_risk = 0;
1225
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001226 if (s->proxy->check_len == 0) { // old mode
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001227 if (*(b_head(&check->bi) + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001228 /* We set the MySQL Version in description for information purpose
1229 * FIXME : it can be cool to use MySQL Version for other purpose,
1230 * like mark as down old MySQL server.
1231 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001232 if (b_data(&check->bi) > 51) {
1233 desc = ltrim(b_head(&check->bi) + 5, ' ');
Simon Horman4a741432013-02-23 15:35:38 +09001234 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001235 }
1236 else {
1237 if (!done)
1238 goto wait_more_data;
Emeric Brun9f0b4582017-10-23 14:39:51 +02001239
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001240 /* it seems we have a OK packet but without a valid length,
1241 * it must be a protocol error
1242 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001243 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001244 }
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001245 }
1246 else {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001247 /* An error message is attached in the Error packet */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001248 desc = ltrim(b_head(&check->bi) + 7, ' ');
Simon Horman4a741432013-02-23 15:35:38 +09001249 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001250 }
1251 } else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001252 unsigned int first_packet_len = ((unsigned int) *b_head(&check->bi)) +
1253 (((unsigned int) *(b_head(&check->bi) + 1)) << 8) +
1254 (((unsigned int) *(b_head(&check->bi) + 2)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001255
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001256 if (b_data(&check->bi) == first_packet_len + 4) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001257 /* MySQL Error packet always begin with field_count = 0xff */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001258 if (*(b_head(&check->bi) + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001259 /* We have only one MySQL packet and it is a Handshake Initialization packet
1260 * but we need to have a second packet to know if it is alright
1261 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001262 if (!done && b_data(&check->bi) < first_packet_len + 5)
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001263 goto wait_more_data;
1264 }
1265 else {
1266 /* We have only one packet and it is an Error packet,
1267 * an error message is attached, so we can display it
1268 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001269 desc = &b_head(&check->bi)[7];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001270 //ha_warning("onlyoneERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001271 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001272 }
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001273 } else if (b_data(&check->bi) > first_packet_len + 4) {
1274 unsigned int second_packet_len = ((unsigned int) *(b_head(&check->bi) + first_packet_len + 4)) +
1275 (((unsigned int) *(b_head(&check->bi) + first_packet_len + 5)) << 8) +
1276 (((unsigned int) *(b_head(&check->bi) + first_packet_len + 6)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001277
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001278 if (b_data(&check->bi) == first_packet_len + 4 + second_packet_len + 4 ) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001279 /* We have 2 packets and that's good */
1280 /* Check if the second packet is a MySQL Error packet or not */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001281 if (*(b_head(&check->bi) + first_packet_len + 8) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001282 /* No error packet */
1283 /* We set the MySQL Version in description for information purpose */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001284 desc = &b_head(&check->bi)[5];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001285 //ha_warning("2packetOK: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001286 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001287 }
1288 else {
1289 /* An error message is attached in the Error packet
1290 * so we can display it ! :)
1291 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001292 desc = &b_head(&check->bi)[first_packet_len+11];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001293 //ha_warning("2packetERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001294 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001295 }
1296 }
1297 }
1298 else {
Willy Tarreau03938182010-03-17 21:52:07 +01001299 if (!done)
1300 goto wait_more_data;
Emeric Brun9f0b4582017-10-23 14:39:51 +02001301
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001302 /* it seems we have a Handshake Initialization packet but without a valid length,
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001303 * it must be a protocol error
1304 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001305 desc = &b_head(&check->bi)[5];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001306 //ha_warning("protoerr: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001307 set_server_check_status(check, HCHK_STATUS_L7RSP, desc);
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001308 }
1309 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001310 break;
1311
1312 case PR_O2_LDAP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001313 if (!done && b_data(&check->bi) < 14)
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001314 goto wait_more_data;
1315
1316 /* Check if the server speaks LDAP (ASN.1/BER)
1317 * http://en.wikipedia.org/wiki/Basic_Encoding_Rules
1318 * http://tools.ietf.org/html/rfc4511
1319 */
1320
1321 /* http://tools.ietf.org/html/rfc4511#section-4.1.1
1322 * LDAPMessage: 0x30: SEQUENCE
1323 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001324 if ((b_data(&check->bi) < 14) || (*(b_head(&check->bi)) != '\x30')) {
Simon Horman4a741432013-02-23 15:35:38 +09001325 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001326 }
1327 else {
1328 /* size of LDAPMessage */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001329 msglen = (*(b_head(&check->bi) + 1) & 0x80) ? (*(b_head(&check->bi) + 1) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001330
1331 /* http://tools.ietf.org/html/rfc4511#section-4.2.2
1332 * messageID: 0x02 0x01 0x01: INTEGER 1
1333 * protocolOp: 0x61: bindResponse
1334 */
1335 if ((msglen > 2) ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001336 (memcmp(b_head(&check->bi) + 2 + msglen, "\x02\x01\x01\x61", 4) != 0)) {
Simon Horman4a741432013-02-23 15:35:38 +09001337 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001338 goto out_wakeup;
1339 }
1340
1341 /* size of bindResponse */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001342 msglen += (*(b_head(&check->bi) + msglen + 6) & 0x80) ? (*(b_head(&check->bi) + msglen + 6) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001343
1344 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1345 * ldapResult: 0x0a 0x01: ENUMERATION
1346 */
1347 if ((msglen > 4) ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001348 (memcmp(b_head(&check->bi) + 7 + msglen, "\x0a\x01", 2) != 0)) {
Simon Horman4a741432013-02-23 15:35:38 +09001349 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001350 goto out_wakeup;
1351 }
1352
1353 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1354 * resultCode
1355 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001356 check->code = *(b_head(&check->bi) + msglen + 9);
Simon Horman4a741432013-02-23 15:35:38 +09001357 if (check->code) {
1358 set_server_check_status(check, HCHK_STATUS_L7STS, "See RFC: http://tools.ietf.org/html/rfc4511#section-4.1.9");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001359 } else {
Simon Horman4a741432013-02-23 15:35:38 +09001360 set_server_check_status(check, HCHK_STATUS_L7OKD, "Success");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001361 }
1362 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001363 break;
1364
Christopher Fauletba7bc162016-11-07 21:07:38 +01001365 case PR_O2_SPOP_CHK: {
1366 unsigned int framesz;
1367 char err[HCHK_DESC_LEN];
1368
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001369 if (!done && b_data(&check->bi) < 4)
Christopher Fauletba7bc162016-11-07 21:07:38 +01001370 goto wait_more_data;
1371
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001372 memcpy(&framesz, b_head(&check->bi), 4);
Christopher Fauletba7bc162016-11-07 21:07:38 +01001373 framesz = ntohl(framesz);
1374
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001375 if (!done && b_data(&check->bi) < (4+framesz))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001376 goto wait_more_data;
1377
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001378 if (!spoe_handle_healthcheck_response(b_head(&check->bi)+4, framesz, err, HCHK_DESC_LEN-1))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001379 set_server_check_status(check, HCHK_STATUS_L7OKD, "SPOA server is ok");
1380 else
1381 set_server_check_status(check, HCHK_STATUS_L7STS, err);
1382 break;
1383 }
1384
Willy Tarreau1620ec32011-08-06 17:05:02 +02001385 default:
Willy Tarreau4c1a2b32019-09-05 18:43:22 +02001386 /* good connection is enough for pure TCP check */
Willy Tarreau911db9b2020-01-23 16:27:54 +01001387 if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Christopher Fauletf61f33a2020-03-27 18:55:49 +01001388 if (check->use_ssl == 1)
Willy Tarreau4c1a2b32019-09-05 18:43:22 +02001389 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
1390 else
1391 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
1392 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001393 break;
1394 } /* switch */
Willy Tarreau83749182007-04-15 20:56:27 +02001395
Willy Tarreauc7dd71a2007-11-30 08:33:21 +01001396 out_wakeup:
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001397 /* collect possible new errors */
Willy Tarreau4ff3b892017-10-16 15:17:17 +02001398 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001399 chk_report_conn_err(check, 0, 0);
Willy Tarreaubaaee002006-06-26 02:48:02 +02001400
Nick Chalk57b1bf72010-03-16 15:50:46 +00001401 /* Reset the check buffer... */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001402 *b_head(&check->bi) = '\0';
1403 b_reset(&check->bi);
Nick Chalk57b1bf72010-03-16 15:50:46 +00001404
Steven Davidovitz544d4812017-03-08 11:06:20 -08001405 /* Close the connection... We still attempt to nicely close if,
1406 * for instance, SSL needs to send a "close notify." Later, we perform
1407 * a hard close and reset the connection if some data are pending,
1408 * otherwise we end up with many TIME_WAITs and eat all the source port
1409 * range quickly. To avoid sending RSTs all the time, we first try to
1410 * drain pending data.
Willy Tarreaufd29cc52012-11-23 09:18:20 +01001411 */
Olivier Houchard6c7e96a2019-07-02 16:35:18 +02001412 /* Call cs_shutr() first, to add the CO_FL_SOCK_RD_SH flag on the
1413 * connection, to make sure cs_shutw() will not lead to a shutdown()
1414 * that would provoke TIME_WAITs.
1415 */
1416 cs_shutr(cs, CS_SHR_DRAIN);
Willy Tarreauecdb3fe2017-10-05 15:25:48 +02001417 cs_shutw(cs, CS_SHW_NORMAL);
Willy Tarreau2b57cb82013-06-10 19:56:38 +02001418
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001419 /* OK, let's not stay here forever */
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001420 if (check->result == CHK_RES_FAILED)
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001421 conn->flags |= CO_FL_ERROR;
1422
Willy Tarreaufdccded2008-08-29 18:19:04 +02001423 task_wakeup(t, TASK_WOKEN_IO);
Olivier Houchardaf4021e2018-08-09 13:06:55 +02001424out:
Willy Tarreau3267d362012-08-17 23:53:56 +02001425 return;
Willy Tarreau03938182010-03-17 21:52:07 +01001426
1427 wait_more_data:
Willy Tarreau4f6516d2018-12-19 13:59:17 +01001428 cs->conn->mux->subscribe(cs, SUB_RETRY_RECV, &check->wait_list);
Olivier Houchardaf4021e2018-08-09 13:06:55 +02001429 goto out;
Willy Tarreaubaaee002006-06-26 02:48:02 +02001430}
1431
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001432/*
1433 * This function is used only for server health-checks. It handles connection
1434 * status updates including errors. If necessary, it wakes the check task up.
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001435 * It returns 0 on normal cases, <0 if at least one close() has happened on the
1436 * connection (eg: reconnect).
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001437 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001438static int wake_srv_chk(struct conn_stream *cs)
Willy Tarreau20bea422012-07-06 12:00:49 +02001439{
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001440 struct connection *conn = cs->conn;
1441 struct check *check = cs->data;
Olivier Houchard0923fa42019-01-11 18:43:04 +01001442 struct email_alertq *q = container_of(check, typeof(*q), check);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001443 int ret = 0;
Willy Tarreau20bea422012-07-06 12:00:49 +02001444
Olivier Houchard0923fa42019-01-11 18:43:04 +01001445 if (check->server)
1446 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
1447 else
1448 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Emeric Brunf6ba17d2017-11-02 14:35:27 +01001449
Willy Tarreauc09572f2017-10-04 11:58:22 +02001450 /* we may have to make progress on the TCP checks */
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001451 if (check->type == PR_O2_TCPCHK_CHK) {
1452 ret = tcpcheck_main(check);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001453 cs = check->cs;
Willy Tarreau543abd42018-09-20 11:25:12 +02001454 conn = cs->conn;
Willy Tarreauc5940392019-09-05 17:38:40 +02001455 } else {
1456 if (!(check->wait_list.events & SUB_RETRY_SEND))
1457 __event_srv_chk_w(cs);
1458 if (!(check->wait_list.events & SUB_RETRY_RECV))
1459 __event_srv_chk_r(cs);
1460 }
Willy Tarreauc09572f2017-10-04 11:58:22 +02001461
Willy Tarreau4ff3b892017-10-16 15:17:17 +02001462 if (unlikely(conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)) {
Willy Tarreau02b0f582013-12-03 15:42:33 +01001463 /* We may get error reports bypassing the I/O handlers, typically
1464 * the case when sending a pure TCP check which fails, then the I/O
1465 * handlers above are not called. This is completely handled by the
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001466 * main processing task so let's simply wake it up. If we get here,
1467 * we expect errno to still be valid.
1468 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001469 chk_report_conn_err(check, errno, 0);
Willy Tarreau2d351b62013-12-05 02:36:25 +01001470 task_wakeup(check->task, TASK_WOKEN_IO);
1471 }
Willy Tarreau911db9b2020-01-23 16:27:54 +01001472 else if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Willy Tarreau3be293f2014-02-05 18:31:24 +01001473 /* we may get here if only a connection probe was required : we
1474 * don't have any data to send nor anything expected in response,
1475 * so the completion of the connection establishment is enough.
1476 */
1477 task_wakeup(check->task, TASK_WOKEN_IO);
1478 }
Willy Tarreau2d351b62013-12-05 02:36:25 +01001479
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001480 if (check->result != CHK_RES_UNKNOWN) {
Christopher Faulet774c4862019-01-21 14:15:50 +01001481 /* Check complete or aborted. If connection not yet closed do it
1482 * now and wake the check task up to be sure the result is
1483 * handled ASAP. */
Willy Tarreaud85c4852015-03-13 00:40:28 +01001484 conn_sock_drain(conn);
Willy Tarreaua553ae92017-10-05 18:52:17 +02001485 cs_close(cs);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001486 ret = -1;
Olivier Houchardf4949572019-07-02 17:42:22 +02001487 /* We may have been scheduled to run, and the
1488 * I/O handler expects to have a cs, so remove
1489 * the tasklet
1490 */
1491 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Christopher Faulet774c4862019-01-21 14:15:50 +01001492 task_wakeup(check->task, TASK_WOKEN_IO);
Willy Tarreau2d351b62013-12-05 02:36:25 +01001493 }
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001494
Olivier Houchard0923fa42019-01-11 18:43:04 +01001495 if (check->server)
1496 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
1497 else
1498 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Emeric Brunf6ba17d2017-11-02 14:35:27 +01001499
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001500 /* if a connection got replaced, we must absolutely prevent the connection
1501 * handler from touching its fd, and perform the FD polling updates ourselves
1502 */
1503 if (ret < 0)
1504 conn_cond_update_polling(conn);
1505
1506 return ret;
Willy Tarreau20bea422012-07-06 12:00:49 +02001507}
1508
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001509struct data_cb check_conn_cb = {
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001510 .wake = wake_srv_chk,
Willy Tarreau8e0bb0a2016-11-24 16:58:12 +01001511 .name = "CHCK",
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001512};
1513
Willy Tarreaubaaee002006-06-26 02:48:02 +02001514/*
Willy Tarreau2e993902011-10-31 11:53:20 +01001515 * updates the server's weight during a warmup stage. Once the final weight is
1516 * reached, the task automatically stops. Note that any server status change
1517 * must have updated s->last_change accordingly.
1518 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02001519static struct task *server_warmup(struct task *t, void *context, unsigned short state)
Willy Tarreau2e993902011-10-31 11:53:20 +01001520{
Olivier Houchard9f6af332018-05-25 14:04:04 +02001521 struct server *s = context;
Willy Tarreau2e993902011-10-31 11:53:20 +01001522
1523 /* by default, plan on stopping the task */
1524 t->expire = TICK_ETERNITY;
Emeric Brun52a91d32017-08-31 14:41:55 +02001525 if ((s->next_admin & SRV_ADMF_MAINT) ||
1526 (s->next_state != SRV_ST_STARTING))
Willy Tarreau2e993902011-10-31 11:53:20 +01001527 return t;
1528
Willy Tarreau4fc49a92019-05-05 06:54:22 +02001529 HA_SPIN_LOCK(SERVER_LOCK, &s->lock);
1530
Willy Tarreau892337c2014-05-13 23:41:20 +02001531 /* recalculate the weights and update the state */
Willy Tarreau3ff577e2018-08-02 11:48:52 +02001532 server_recalc_eweight(s, 1);
Willy Tarreau2e993902011-10-31 11:53:20 +01001533
1534 /* probably that we can refill this server with a bit more connections */
Willy Tarreau4aac7db2014-05-16 11:48:10 +02001535 pendconn_grab_from_px(s);
Willy Tarreau2e993902011-10-31 11:53:20 +01001536
Willy Tarreau4fc49a92019-05-05 06:54:22 +02001537 HA_SPIN_UNLOCK(SERVER_LOCK, &s->lock);
1538
Willy Tarreau2e993902011-10-31 11:53:20 +01001539 /* get back there in 1 second or 1/20th of the slowstart interval,
1540 * whichever is greater, resulting in small 5% steps.
1541 */
Emeric Brun52a91d32017-08-31 14:41:55 +02001542 if (s->next_state == SRV_ST_STARTING)
Willy Tarreau2e993902011-10-31 11:53:20 +01001543 t->expire = tick_add(now_ms, MS_TO_TICKS(MAX(1000, s->slowstart / 20)));
1544 return t;
1545}
1546
Willy Tarreau894c6422017-10-04 15:58:52 +02001547/* returns the first NON-COMMENT tcp-check rule from list <list> or NULL if
1548 * none was found.
1549 */
1550static struct tcpcheck_rule *get_first_tcpcheck_rule(struct list *list)
1551{
1552 struct tcpcheck_rule *r;
1553
1554 list_for_each_entry(r, list, list) {
1555 if (r->action != TCPCHK_ACT_COMMENT)
1556 return r;
1557 }
1558 return NULL;
1559}
1560
Willy Tarreau2e993902011-10-31 11:53:20 +01001561/*
Simon Horman98637e52014-06-20 12:30:16 +09001562 * establish a server health-check that makes use of a connection.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001563 *
1564 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02001565 * - SF_ERR_NONE if everything's OK and tcpcheck_main() was not called
1566 * - SF_ERR_UP if if everything's OK and tcpcheck_main() was called
1567 * - SF_ERR_SRVTO if there are no more servers
1568 * - SF_ERR_SRVCL if the connection was refused by the server
1569 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
1570 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
1571 * - SF_ERR_INTERNAL for any other purely internal errors
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001572 * - SF_ERR_CHK_PORT if no port could be found to run a health check on an AF_INET* socket
Tim Düsterhus4896c442016-11-29 02:15:19 +01001573 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001574 * Note that we try to prevent the network stack from sending the ACK during the
1575 * connect() when a pure TCP check is used (without PROXY protocol).
1576 */
Simon Horman98637e52014-06-20 12:30:16 +09001577static int connect_conn_chk(struct task *t)
Simon Hormanb00d17a2014-06-13 16:18:16 +09001578{
1579 struct check *check = t->context;
1580 struct server *s = check->server;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001581 struct conn_stream *cs = check->cs;
1582 struct connection *conn = cs_conn(cs);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001583 struct protocol *proto;
Willy Tarreauf411cce2017-10-04 16:21:19 +02001584 struct tcpcheck_rule *tcp_rule = NULL;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001585 int ret;
Olivier Houchardfdcb0072019-05-06 18:32:29 +02001586 int connflags = 0;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001587
Willy Tarreau00149122017-10-04 18:05:01 +02001588 /* we cannot have a connection here */
1589 if (conn)
1590 return SF_ERR_INTERNAL;
1591
Simon Hormanb00d17a2014-06-13 16:18:16 +09001592 /* tcpcheck send/expect initialisation */
Willy Tarreauf411cce2017-10-04 16:21:19 +02001593 if (check->type == PR_O2_TCPCHK_CHK) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001594 check->current_step = NULL;
Willy Tarreauf411cce2017-10-04 16:21:19 +02001595 tcp_rule = get_first_tcpcheck_rule(check->tcpcheck_rules);
1596 }
Simon Hormanb00d17a2014-06-13 16:18:16 +09001597
1598 /* prepare the check buffer.
1599 * This should not be used if check is the secondary agent check
1600 * of a server as s->proxy->check_req will relate to the
1601 * configuration of the primary check. Similarly, tcp-check uses
1602 * its own strings.
1603 */
1604 if (check->type && check->type != PR_O2_TCPCHK_CHK && !(check->state & CHK_ST_AGENT)) {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001605 b_putblk(&check->bo, s->proxy->check_req, s->proxy->check_len);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001606
1607 /* we want to check if this host replies to HTTP or SSLv3 requests
1608 * so we'll send the request, and won't wake the checker up now.
1609 */
1610 if ((check->type) == PR_O2_SSL3_CHK) {
1611 /* SSL requires that we put Unix time in the request */
1612 int gmt_time = htonl(date.tv_sec);
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001613 memcpy(b_head(&check->bo) + 11, &gmt_time, 4);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001614 }
1615 else if ((check->type) == PR_O2_HTTP_CHK) {
Cyril Bonté32602d22015-01-30 00:07:07 +01001616 /* prevent HTTP keep-alive when "http-check expect" is used */
1617 if (s->proxy->options2 & PR_O2_EXP_TYPE)
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001618 b_putist(&check->bo, ist("Connection: close\r\n"));
Christopher Faulet8acb1282020-04-09 08:44:06 +02001619
1620 /* If there is a body, add its content-length */
1621 if (s->proxy->check_body_len)
1622 chunk_appendf(&check->bo, "Content-Length: %s\r\n", ultoa(s->proxy->check_body_len));
1623
1624 /* Add configured headers */
1625 if (s->proxy->check_hdrs)
1626 b_putblk(&check->bo, s->proxy->check_hdrs, s->proxy->check_hdrs_len);
1627
1628 /* Add send-state header */
1629 if (s->proxy->options2 & PR_O2_CHK_SNDST)
1630 b_putblk(&check->bo, trash.area,
1631 httpchk_build_status_header(s, trash.area, trash.size));
1632
1633 /* end-of-header */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001634 b_putist(&check->bo, ist("\r\n"));
Christopher Faulet8acb1282020-04-09 08:44:06 +02001635
1636 /* Add the body */
1637 if (s->proxy->check_body)
1638 b_putblk(&check->bo, s->proxy->check_body, s->proxy->check_body_len);
1639
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001640 *b_tail(&check->bo) = '\0'; /* to make gdb output easier to read */
Simon Hormanb00d17a2014-06-13 16:18:16 +09001641 }
1642 }
1643
James Brown55f9ff12015-10-21 18:19:05 -07001644 if ((check->type & PR_O2_LB_AGENT_CHK) && check->send_string_len) {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001645 b_putblk(&check->bo, check->send_string, check->send_string_len);
James Brown55f9ff12015-10-21 18:19:05 -07001646 }
1647
Willy Tarreauf411cce2017-10-04 16:21:19 +02001648 /* for tcp-checks, the initial connection setup is handled separately as
1649 * it may be sent to a specific port and not to the server's.
1650 */
1651 if (tcp_rule && tcp_rule->action == TCPCHK_ACT_CONNECT) {
1652 tcpcheck_main(check);
1653 return SF_ERR_UP;
1654 }
1655
Simon Hormanb00d17a2014-06-13 16:18:16 +09001656 /* prepare a new connection */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001657 cs = check->cs = cs_new(NULL);
1658 if (!check->cs)
Willy Tarreau00149122017-10-04 18:05:01 +02001659 return SF_ERR_RESOURCE;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001660 conn = cs->conn;
Olivier Houchard26e1a8f2018-09-12 15:15:12 +02001661 /* Maybe there were an older connection we were waiting on */
Willy Tarreau4f6516d2018-12-19 13:59:17 +01001662 check->wait_list.events = 0;
Olivier Houchardff1e9f32019-09-20 17:18:35 +02001663 tasklet_set_tid(check->wait_list.tasklet, tid);
1664
Simon Hormanb00d17a2014-06-13 16:18:16 +09001665
Willy Tarreauca79f592019-07-17 19:04:47 +02001666 if (!sockaddr_alloc(&conn->dst))
1667 return SF_ERR_RESOURCE;
1668
Simon Horman41f58762015-01-30 11:22:56 +09001669 if (is_addr(&check->addr)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001670 /* we'll connect to the check addr specified on the server */
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001671 *conn->dst = check->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001672 }
1673 else {
1674 /* we'll connect to the addr on the server */
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001675 *conn->dst = s->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001676 }
1677
Alexander Liu2a54bb72019-05-22 19:44:48 +08001678 if (s->check.via_socks4 && (s->flags & SRV_F_SOCKS4_PROXY)) {
1679 conn->send_proxy_ofs = 1;
1680 conn->flags |= CO_FL_SOCKS4;
1681 }
1682
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001683 proto = protocol_by_family(conn->dst->ss_family);
Olivier Houchard6377a002017-12-01 22:04:05 +01001684 conn->target = &s->obj_type;
1685
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001686 if ((conn->dst->ss_family == AF_INET) || (conn->dst->ss_family == AF_INET6)) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001687 int i = 0;
1688
1689 i = srv_check_healthcheck_port(check);
Olivier Houchard6377a002017-12-01 22:04:05 +01001690 if (i == 0)
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001691 return SF_ERR_CHK_PORT;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001692
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001693 set_host_port(conn->dst, i);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001694 }
1695
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01001696 /* no client address */
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01001697
Willy Tarreaube373152018-09-06 11:45:30 +02001698 conn_prepare(conn, proto, check->xprt);
Olivier Houchardf67be932019-01-29 15:47:43 +01001699 if (conn_install_mux(conn, &mux_pt_ops, cs, s->proxy, NULL) < 0)
1700 return SF_ERR_RESOURCE;
Willy Tarreaube373152018-09-06 11:45:30 +02001701 cs_attach(cs, check, &check_conn_cb);
1702
Willy Tarreauf3d34822014-12-08 12:11:28 +01001703 /* only plain tcp-check supports quick ACK */
Olivier Houchardfdcb0072019-05-06 18:32:29 +02001704 if (check->type != 0)
1705 connflags |= CONNECT_HAS_DATA;
1706 if ((check->type == 0 || check->type == PR_O2_TCPCHK_CHK) &&
1707 (!tcp_rule || tcp_rule->action != TCPCHK_ACT_EXPECT))
1708 connflags |= CONNECT_DELACK_ALWAYS;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001709
Willy Tarreaue7dff022015-04-03 01:14:29 +02001710 ret = SF_ERR_INTERNAL;
Olivier Houchardb68fda42017-08-04 18:39:01 +02001711 if (proto && proto->connect)
Olivier Houchardfdcb0072019-05-06 18:32:29 +02001712 ret = proto->connect(conn, connflags);
Willy Tarreau16257f62017-11-02 15:45:00 +01001713
Willy Tarreau16257f62017-11-02 15:45:00 +01001714
Olivier Houchard9130a962017-10-17 17:33:43 +02001715#ifdef USE_OPENSSL
Olivier Houcharda48437b2019-01-29 16:37:52 +01001716 if (ret == SF_ERR_NONE) {
1717 if (s->check.sni)
1718 ssl_sock_set_servername(conn, s->check.sni);
1719 if (s->check.alpn_str)
1720 ssl_sock_set_alpn(conn, (unsigned char *)s->check.alpn_str,
1721 s->check.alpn_len);
1722 }
Olivier Houchard9130a962017-10-17 17:33:43 +02001723#endif
Willy Tarreauf4949772017-05-06 08:45:28 +02001724 if (s->check.send_proxy && !(check->state & CHK_ST_AGENT)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001725 conn->send_proxy_ofs = 1;
1726 conn->flags |= CO_FL_SEND_PROXY;
Olivier Houchard37d78972019-12-30 15:13:42 +01001727 }
1728 if (conn->flags & (CO_FL_SEND_PROXY | CO_FL_SOCKS4) &&
1729 conn_ctrl_ready(conn)) {
Olivier Houchardfe50bfb2019-05-27 12:09:19 +02001730 if (xprt_add_hs(conn) < 0)
1731 ret = SF_ERR_RESOURCE;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001732 }
1733
1734 return ret;
1735}
1736
Simon Horman98637e52014-06-20 12:30:16 +09001737static struct list pid_list = LIST_HEAD_INIT(pid_list);
Willy Tarreaubafbe012017-11-24 17:34:44 +01001738static struct pool_head *pool_head_pid_list;
Willy Tarreau86abe442018-11-25 20:12:18 +01001739__decl_spinlock(pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001740
1741void block_sigchld(void)
1742{
1743 sigset_t set;
1744 sigemptyset(&set);
1745 sigaddset(&set, SIGCHLD);
William Lallemand6e1796e2018-06-07 11:23:40 +02001746 assert(ha_sigmask(SIG_BLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001747}
1748
1749void unblock_sigchld(void)
1750{
1751 sigset_t set;
1752 sigemptyset(&set);
Willy Tarreauebc92442016-06-21 17:29:46 +02001753 sigaddset(&set, SIGCHLD);
William Lallemand6e1796e2018-06-07 11:23:40 +02001754 assert(ha_sigmask(SIG_UNBLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001755}
1756
Simon Horman98637e52014-06-20 12:30:16 +09001757static struct pid_list *pid_list_add(pid_t pid, struct task *t)
1758{
1759 struct pid_list *elem;
1760 struct check *check = t->context;
1761
Willy Tarreaubafbe012017-11-24 17:34:44 +01001762 elem = pool_alloc(pool_head_pid_list);
Simon Horman98637e52014-06-20 12:30:16 +09001763 if (!elem)
1764 return NULL;
1765 elem->pid = pid;
1766 elem->t = t;
1767 elem->exited = 0;
1768 check->curpid = elem;
1769 LIST_INIT(&elem->list);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001770
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001771 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001772 LIST_ADD(&pid_list, &elem->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001773 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001774
Simon Horman98637e52014-06-20 12:30:16 +09001775 return elem;
1776}
1777
Simon Horman98637e52014-06-20 12:30:16 +09001778static void pid_list_del(struct pid_list *elem)
1779{
1780 struct check *check;
1781
1782 if (!elem)
1783 return;
1784
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001785 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001786 LIST_DEL(&elem->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001787 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001788
Simon Horman98637e52014-06-20 12:30:16 +09001789 if (!elem->exited)
1790 kill(elem->pid, SIGTERM);
1791
1792 check = elem->t->context;
1793 check->curpid = NULL;
Willy Tarreaubafbe012017-11-24 17:34:44 +01001794 pool_free(pool_head_pid_list, elem);
Simon Horman98637e52014-06-20 12:30:16 +09001795}
1796
1797/* Called from inside SIGCHLD handler, SIGCHLD is blocked */
1798static void pid_list_expire(pid_t pid, int status)
1799{
1800 struct pid_list *elem;
1801
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001802 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001803 list_for_each_entry(elem, &pid_list, list) {
1804 if (elem->pid == pid) {
1805 elem->t->expire = now_ms;
1806 elem->status = status;
1807 elem->exited = 1;
Cyril Bonté9dbcfab2014-08-07 01:55:39 +02001808 task_wakeup(elem->t, TASK_WOKEN_IO);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001809 break;
Simon Horman98637e52014-06-20 12:30:16 +09001810 }
1811 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001812 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001813}
1814
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001815static void sigchld_handler(struct sig_handler *sh)
Simon Horman98637e52014-06-20 12:30:16 +09001816{
1817 pid_t pid;
1818 int status;
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001819
Simon Horman98637e52014-06-20 12:30:16 +09001820 while ((pid = waitpid(0, &status, WNOHANG)) > 0)
1821 pid_list_expire(pid, status);
1822}
1823
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001824static int init_pid_list(void)
1825{
Willy Tarreaubafbe012017-11-24 17:34:44 +01001826 if (pool_head_pid_list != NULL)
Simon Horman98637e52014-06-20 12:30:16 +09001827 /* Nothing to do */
1828 return 0;
1829
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001830 if (!signal_register_fct(SIGCHLD, sigchld_handler, SIGCHLD)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001831 ha_alert("Failed to set signal handler for external health checks: %s. Aborting.\n",
1832 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001833 return 1;
1834 }
1835
Willy Tarreaubafbe012017-11-24 17:34:44 +01001836 pool_head_pid_list = create_pool("pid_list", sizeof(struct pid_list), MEM_F_SHARED);
1837 if (pool_head_pid_list == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001838 ha_alert("Failed to allocate memory pool for external health checks: %s. Aborting.\n",
1839 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001840 return 1;
1841 }
1842
1843 return 0;
1844}
1845
Cyril Bontéac92a062014-12-27 22:28:38 +01001846/* helper macro to set an environment variable and jump to a specific label on failure. */
1847#define EXTCHK_SETENV(check, envidx, value, fail) { if (extchk_setenv(check, envidx, value)) goto fail; }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001848
1849/*
Cyril Bontéac92a062014-12-27 22:28:38 +01001850 * helper function to allocate enough memory to store an environment variable.
1851 * It will also check that the environment variable is updatable, and silently
1852 * fail if not.
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001853 */
Cyril Bontéac92a062014-12-27 22:28:38 +01001854static int extchk_setenv(struct check *check, int idx, const char *value)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001855{
1856 int len, ret;
Cyril Bontéac92a062014-12-27 22:28:38 +01001857 char *envname;
1858 int vmaxlen;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001859
Cyril Bontéac92a062014-12-27 22:28:38 +01001860 if (idx < 0 || idx >= EXTCHK_SIZE) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001861 ha_alert("Illegal environment variable index %d. Aborting.\n", idx);
Cyril Bontéac92a062014-12-27 22:28:38 +01001862 return 1;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001863 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001864
1865 envname = extcheck_envs[idx].name;
1866 vmaxlen = extcheck_envs[idx].vmaxlen;
1867
1868 /* Check if the environment variable is already set, and silently reject
1869 * the update if this one is not updatable. */
1870 if ((vmaxlen == EXTCHK_SIZE_EVAL_INIT) && (check->envp[idx]))
1871 return 0;
1872
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001873 /* Instead of sending NOT_USED, sending an empty value is preferable */
1874 if (strcmp(value, "NOT_USED") == 0) {
1875 value = "";
1876 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001877
1878 len = strlen(envname) + 1;
1879 if (vmaxlen == EXTCHK_SIZE_EVAL_INIT)
1880 len += strlen(value);
1881 else
1882 len += vmaxlen;
1883
1884 if (!check->envp[idx])
1885 check->envp[idx] = malloc(len + 1);
1886
1887 if (!check->envp[idx]) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001888 ha_alert("Failed to allocate memory for the environment variable '%s'. Aborting.\n", envname);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001889 return 1;
1890 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001891 ret = snprintf(check->envp[idx], len + 1, "%s=%s", envname, value);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001892 if (ret < 0) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001893 ha_alert("Failed to store the environment variable '%s'. Reason : %s. Aborting.\n", envname, strerror(errno));
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001894 return 1;
1895 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001896 else if (ret > len) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001897 ha_alert("Environment variable '%s' was truncated. Aborting.\n", envname);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001898 return 1;
1899 }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001900 return 0;
1901}
Simon Horman98637e52014-06-20 12:30:16 +09001902
1903static int prepare_external_check(struct check *check)
1904{
1905 struct server *s = check->server;
1906 struct proxy *px = s->proxy;
1907 struct listener *listener = NULL, *l;
1908 int i;
Simon Horman98637e52014-06-20 12:30:16 +09001909 const char *path = px->check_path ? px->check_path : DEF_CHECK_PATH;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001910 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09001911
1912 list_for_each_entry(l, &px->conf.listeners, by_fe)
1913 /* Use the first INET, INET6 or UNIX listener */
1914 if (l->addr.ss_family == AF_INET ||
1915 l->addr.ss_family == AF_INET6 ||
1916 l->addr.ss_family == AF_UNIX) {
1917 listener = l;
1918 break;
1919 }
1920
Simon Horman98637e52014-06-20 12:30:16 +09001921 check->curpid = NULL;
Cyril Bontéac92a062014-12-27 22:28:38 +01001922 check->envp = calloc((EXTCHK_SIZE + 1), sizeof(char *));
1923 if (!check->envp) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001924 ha_alert("Failed to allocate memory for environment variables. Aborting\n");
Cyril Bontéac92a062014-12-27 22:28:38 +01001925 goto err;
1926 }
Simon Horman98637e52014-06-20 12:30:16 +09001927
Cyril Bontéac92a062014-12-27 22:28:38 +01001928 check->argv = calloc(6, sizeof(char *));
1929 if (!check->argv) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001930 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001931 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001932 }
Simon Horman98637e52014-06-20 12:30:16 +09001933
1934 check->argv[0] = px->check_command;
1935
Cyril Bonté777be862014-12-02 21:21:35 +01001936 if (!listener) {
1937 check->argv[1] = strdup("NOT_USED");
1938 check->argv[2] = strdup("NOT_USED");
1939 }
1940 else if (listener->addr.ss_family == AF_INET ||
Simon Horman98637e52014-06-20 12:30:16 +09001941 listener->addr.ss_family == AF_INET6) {
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001942 addr_to_str(&listener->addr, buf, sizeof(buf));
1943 check->argv[1] = strdup(buf);
1944 port_to_str(&listener->addr, buf, sizeof(buf));
1945 check->argv[2] = strdup(buf);
Cyril Bonté777be862014-12-02 21:21:35 +01001946 }
1947 else if (listener->addr.ss_family == AF_UNIX) {
Simon Horman98637e52014-06-20 12:30:16 +09001948 const struct sockaddr_un *un;
1949
1950 un = (struct sockaddr_un *)&listener->addr;
1951 check->argv[1] = strdup(un->sun_path);
1952 check->argv[2] = strdup("NOT_USED");
Cyril Bonté777be862014-12-02 21:21:35 +01001953 }
1954 else {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001955 ha_alert("Starting [%s:%s] check: unsupported address family.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001956 goto err;
1957 }
1958
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001959 if (!check->argv[1] || !check->argv[2]) {
1960 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
1961 goto err;
1962 }
1963
1964 check->argv[3] = calloc(EXTCHK_SIZE_ADDR, sizeof(*check->argv[3]));
1965 check->argv[4] = calloc(EXTCHK_SIZE_UINT, sizeof(*check->argv[4]));
1966 if (!check->argv[3] || !check->argv[4]) {
1967 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
1968 goto err;
1969 }
Willy Tarreau04276f32017-01-06 17:41:29 +01001970
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001971 addr_to_str(&s->addr, check->argv[3], EXTCHK_SIZE_ADDR);
Willy Tarreau04276f32017-01-06 17:41:29 +01001972 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001973 snprintf(check->argv[4], EXTCHK_SIZE_UINT, "%u", s->svc_port);
Simon Horman98637e52014-06-20 12:30:16 +09001974
Cyril Bontéac92a062014-12-27 22:28:38 +01001975 for (i = 0; i < 5; i++) {
1976 if (!check->argv[i]) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001977 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001978 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001979 }
1980 }
Simon Horman98637e52014-06-20 12:30:16 +09001981
Cyril Bontéac92a062014-12-27 22:28:38 +01001982 EXTCHK_SETENV(check, EXTCHK_PATH, path, err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001983 /* Add proxy environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01001984 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_NAME, px->id, err);
1985 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ID, ultoa_r(px->uuid, buf, sizeof(buf)), err);
1986 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ADDR, check->argv[1], err);
1987 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_PORT, check->argv[2], err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001988 /* Add server environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01001989 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_NAME, s->id, err);
1990 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ID, ultoa_r(s->puid, buf, sizeof(buf)), err);
1991 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ADDR, check->argv[3], err);
1992 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_PORT, check->argv[4], err);
1993 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_MAXCONN, ultoa_r(s->maxconn, buf, sizeof(buf)), err);
1994 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)), err);
1995
1996 /* Ensure that we don't leave any hole in check->envp */
1997 for (i = 0; i < EXTCHK_SIZE; i++)
1998 if (!check->envp[i])
1999 EXTCHK_SETENV(check, i, "", err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002000
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002001 return 1;
Simon Horman98637e52014-06-20 12:30:16 +09002002err:
2003 if (check->envp) {
Cyril Bontéac92a062014-12-27 22:28:38 +01002004 for (i = 0; i < EXTCHK_SIZE; i++)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002005 free(check->envp[i]);
Simon Horman98637e52014-06-20 12:30:16 +09002006 free(check->envp);
2007 check->envp = NULL;
2008 }
2009
2010 if (check->argv) {
2011 for (i = 1; i < 5; i++)
2012 free(check->argv[i]);
2013 free(check->argv);
2014 check->argv = NULL;
2015 }
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002016 return 0;
Simon Horman98637e52014-06-20 12:30:16 +09002017}
2018
Simon Hormanb00d17a2014-06-13 16:18:16 +09002019/*
Simon Horman98637e52014-06-20 12:30:16 +09002020 * establish a server health-check that makes use of a process.
2021 *
2022 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02002023 * - SF_ERR_NONE if everything's OK
Willy Tarreaue7dff022015-04-03 01:14:29 +02002024 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
Tim Düsterhus4896c442016-11-29 02:15:19 +01002025 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Horman98637e52014-06-20 12:30:16 +09002026 *
2027 * Blocks and then unblocks SIGCHLD
2028 */
2029static int connect_proc_chk(struct task *t)
2030{
Cyril Bontéac92a062014-12-27 22:28:38 +01002031 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09002032 struct check *check = t->context;
2033 struct server *s = check->server;
2034 struct proxy *px = s->proxy;
2035 int status;
2036 pid_t pid;
2037
Willy Tarreaue7dff022015-04-03 01:14:29 +02002038 status = SF_ERR_RESOURCE;
Simon Horman98637e52014-06-20 12:30:16 +09002039
2040 block_sigchld();
2041
2042 pid = fork();
2043 if (pid < 0) {
Willy Tarreaud96f1122019-12-03 07:07:36 +01002044 ha_alert("Failed to fork process for external health check%s: %s. Aborting.\n",
2045 (global.tune.options & GTUNE_INSECURE_FORK) ?
2046 "" : " (likely caused by missing 'insecure-fork-wanted')",
Christopher Faulet767a84b2017-11-24 16:50:31 +01002047 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09002048 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2049 goto out;
2050 }
2051 if (pid == 0) {
2052 /* Child */
2053 extern char **environ;
Willy Tarreau9f6dc722019-03-01 11:15:10 +01002054 struct rlimit limit;
Willy Tarreaub7b24782016-06-21 15:32:29 +02002055 int fd;
2056
2057 /* close all FDs. Keep stdin/stdout/stderr in verbose mode */
2058 fd = (global.mode & (MODE_QUIET|MODE_VERBOSE)) == MODE_QUIET ? 0 : 3;
2059
Willy Tarreau2555ccf2019-02-21 22:22:06 +01002060 my_closefrom(fd);
Willy Tarreaub7b24782016-06-21 15:32:29 +02002061
Willy Tarreau9f6dc722019-03-01 11:15:10 +01002062 /* restore the initial FD limits */
2063 limit.rlim_cur = rlim_fd_cur_at_boot;
2064 limit.rlim_max = rlim_fd_max_at_boot;
2065 if (setrlimit(RLIMIT_NOFILE, &limit) == -1) {
2066 getrlimit(RLIMIT_NOFILE, &limit);
2067 ha_warning("External check: failed to restore initial FD limits (cur=%u max=%u), using cur=%u max=%u\n",
2068 rlim_fd_cur_at_boot, rlim_fd_max_at_boot,
2069 (unsigned int)limit.rlim_cur, (unsigned int)limit.rlim_max);
2070 }
2071
Simon Horman98637e52014-06-20 12:30:16 +09002072 environ = check->envp;
Christopher Fauletaaae9a02020-04-26 09:50:31 +02002073
2074 /* Update some environment variables and command args: curconn, server addr and server port */
Cyril Bontéac92a062014-12-27 22:28:38 +01002075 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)));
Christopher Fauletaaae9a02020-04-26 09:50:31 +02002076
2077 addr_to_str(&s->addr, check->argv[3], EXTCHK_SIZE_ADDR);
2078 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_ADDR, check->argv[3]);
2079
2080 *check->argv[4] = 0;
2081 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
2082 snprintf(check->argv[4], EXTCHK_SIZE_UINT, "%u", s->svc_port);
2083 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_PORT, check->argv[4]);
2084
Willy Tarreau2df8cad2019-07-01 07:51:29 +02002085 haproxy_unblock_signals();
Simon Horman98637e52014-06-20 12:30:16 +09002086 execvp(px->check_command, check->argv);
Christopher Faulet767a84b2017-11-24 16:50:31 +01002087 ha_alert("Failed to exec process for external health check: %s. Aborting.\n",
2088 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09002089 exit(-1);
2090 }
2091
2092 /* Parent */
2093 if (check->result == CHK_RES_UNKNOWN) {
2094 if (pid_list_add(pid, t) != NULL) {
2095 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2096
2097 if (px->timeout.check && px->timeout.connect) {
2098 int t_con = tick_add(now_ms, px->timeout.connect);
2099 t->expire = tick_first(t->expire, t_con);
2100 }
Willy Tarreaue7dff022015-04-03 01:14:29 +02002101 status = SF_ERR_NONE;
Simon Horman98637e52014-06-20 12:30:16 +09002102 goto out;
2103 }
2104 else {
2105 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2106 }
2107 kill(pid, SIGTERM); /* process creation error */
2108 }
2109 else
2110 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2111
2112out:
2113 unblock_sigchld();
2114 return status;
2115}
2116
2117/*
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002118 * manages a server health-check that uses an external process. Returns
Willy Tarreaubaaee002006-06-26 02:48:02 +02002119 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002120 *
2121 * Please do NOT place any return statement in this function and only leave
2122 * via the out_unlock label.
Willy Tarreaubaaee002006-06-26 02:48:02 +02002123 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002124static struct task *process_chk_proc(struct task *t, void *context, unsigned short state)
Simon Horman98637e52014-06-20 12:30:16 +09002125{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002126 struct check *check = context;
Simon Horman98637e52014-06-20 12:30:16 +09002127 struct server *s = check->server;
Simon Horman98637e52014-06-20 12:30:16 +09002128 int rv;
2129 int ret;
2130 int expired = tick_is_expired(t->expire, now_ms);
2131
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002132 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Simon Horman98637e52014-06-20 12:30:16 +09002133 if (!(check->state & CHK_ST_INPROGRESS)) {
2134 /* no check currently running */
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002135 if (!expired) /* woke up too early */
2136 goto out_unlock;
Simon Horman98637e52014-06-20 12:30:16 +09002137
2138 /* we don't send any health-checks when the proxy is
2139 * stopped, the server should not be checked or the check
2140 * is disabled.
2141 */
2142 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
2143 s->proxy->state == PR_STSTOPPED)
2144 goto reschedule;
2145
2146 /* we'll initiate a new check */
2147 set_server_check_status(check, HCHK_STATUS_START, NULL);
2148
2149 check->state |= CHK_ST_INPROGRESS;
2150
Simon Hormandbf70192015-01-30 11:22:53 +09002151 ret = connect_proc_chk(t);
Willy Tarreaud7c3fbd2017-10-04 15:19:26 +02002152 if (ret == SF_ERR_NONE) {
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002153 /* the process was forked, we allow up to min(inter,
2154 * timeout.connect) for it to report its status, but
2155 * only when timeout.check is set as it may be to short
2156 * for a full check otherwise.
Simon Horman98637e52014-06-20 12:30:16 +09002157 */
2158 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2159
2160 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
2161 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
2162 t->expire = tick_first(t->expire, t_con);
2163 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002164 task_set_affinity(t, tid_bit);
Simon Horman98637e52014-06-20 12:30:16 +09002165 goto reschedule;
Simon Horman98637e52014-06-20 12:30:16 +09002166 }
2167
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002168 /* here, we failed to start the check */
Simon Horman98637e52014-06-20 12:30:16 +09002169
2170 check->state &= ~CHK_ST_INPROGRESS;
2171 check_notify_failure(check);
2172
2173 /* we allow up to min(inter, timeout.connect) for a connection
2174 * to establish but only when timeout.check is set
2175 * as it may be to short for a full check otherwise
2176 */
2177 while (tick_is_expired(t->expire, now_ms)) {
2178 int t_con;
2179
2180 t_con = tick_add(t->expire, s->proxy->timeout.connect);
2181 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2182
2183 if (s->proxy->timeout.check)
2184 t->expire = tick_first(t->expire, t_con);
2185 }
2186 }
2187 else {
2188 /* there was a test running.
2189 * First, let's check whether there was an uncaught error,
2190 * which can happen on connect timeout or error.
2191 */
2192 if (check->result == CHK_RES_UNKNOWN) {
2193 /* good connection is enough for pure TCP check */
2194 struct pid_list *elem = check->curpid;
2195 int status = HCHK_STATUS_UNKNOWN;
2196
2197 if (elem->exited) {
2198 status = elem->status; /* Save in case the process exits between use below */
2199 if (!WIFEXITED(status))
2200 check->code = -1;
2201 else
2202 check->code = WEXITSTATUS(status);
2203 if (!WIFEXITED(status) || WEXITSTATUS(status))
2204 status = HCHK_STATUS_PROCERR;
2205 else
2206 status = HCHK_STATUS_PROCOK;
2207 } else if (expired) {
2208 status = HCHK_STATUS_PROCTOUT;
Christopher Faulet767a84b2017-11-24 16:50:31 +01002209 ha_warning("kill %d\n", (int)elem->pid);
Simon Horman98637e52014-06-20 12:30:16 +09002210 kill(elem->pid, SIGTERM);
2211 }
2212 set_server_check_status(check, status, NULL);
2213 }
2214
2215 if (check->result == CHK_RES_FAILED) {
2216 /* a failure or timeout detected */
2217 check_notify_failure(check);
2218 }
2219 else if (check->result == CHK_RES_CONDPASS) {
2220 /* check is OK but asks for stopping mode */
2221 check_notify_stopping(check);
2222 }
2223 else if (check->result == CHK_RES_PASSED) {
2224 /* a success was detected */
2225 check_notify_success(check);
2226 }
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002227 task_set_affinity(t, 1);
Simon Horman98637e52014-06-20 12:30:16 +09002228 check->state &= ~CHK_ST_INPROGRESS;
2229
2230 pid_list_del(check->curpid);
2231
2232 rv = 0;
2233 if (global.spread_checks > 0) {
2234 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreau5a6d3e72020-03-08 17:53:53 +01002235 rv -= (int) (2 * rv * (ha_random32() / 4294967295.0));
Simon Horman98637e52014-06-20 12:30:16 +09002236 }
2237 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
2238 }
2239
2240 reschedule:
2241 while (tick_is_expired(t->expire, now_ms))
2242 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002243
2244 out_unlock:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002245 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Simon Horman98637e52014-06-20 12:30:16 +09002246 return t;
2247}
2248
2249/*
2250 * manages a server health-check that uses a connection. Returns
2251 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002252 *
2253 * Please do NOT place any return statement in this function and only leave
2254 * via the out_unlock label.
Simon Horman98637e52014-06-20 12:30:16 +09002255 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002256static struct task *process_chk_conn(struct task *t, void *context, unsigned short state)
Willy Tarreaubaaee002006-06-26 02:48:02 +02002257{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002258 struct check *check = context;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002259 struct proxy *proxy = check->proxy;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002260 struct conn_stream *cs = check->cs;
2261 struct connection *conn = cs_conn(cs);
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002262 int rv;
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002263 int ret;
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002264 int expired = tick_is_expired(t->expire, now_ms);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002265
Olivier Houchard0923fa42019-01-11 18:43:04 +01002266 if (check->server)
2267 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau2c115e52013-12-11 19:41:16 +01002268 if (!(check->state & CHK_ST_INPROGRESS)) {
Willy Tarreau5a78f362012-11-23 12:47:05 +01002269 /* no check currently running */
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002270 if (!expired) /* woke up too early */
2271 goto out_unlock;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002272
Simon Horman671b6f02013-11-25 10:46:39 +09002273 /* we don't send any health-checks when the proxy is
2274 * stopped, the server should not be checked or the check
2275 * is disabled.
Willy Tarreaubaaee002006-06-26 02:48:02 +02002276 */
Willy Tarreau0d924cc2013-12-11 21:26:24 +01002277 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002278 proxy->state == PR_STSTOPPED)
Willy Tarreau5a78f362012-11-23 12:47:05 +01002279 goto reschedule;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002280
2281 /* we'll initiate a new check */
Simon Horman4a741432013-02-23 15:35:38 +09002282 set_server_check_status(check, HCHK_STATUS_START, NULL);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002283
Willy Tarreau2c115e52013-12-11 19:41:16 +01002284 check->state |= CHK_ST_INPROGRESS;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002285 b_reset(&check->bi);
2286 b_reset(&check->bo);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002287
Olivier Houchardaebeff72019-11-29 16:18:51 +01002288 task_set_affinity(t, tid_bit);
Simon Hormandbf70192015-01-30 11:22:53 +09002289 ret = connect_conn_chk(t);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002290 cs = check->cs;
2291 conn = cs_conn(cs);
Willy Tarreau00149122017-10-04 18:05:01 +02002292
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002293 switch (ret) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002294 case SF_ERR_UP:
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002295 goto out_unlock;
2296
Willy Tarreaue7dff022015-04-03 01:14:29 +02002297 case SF_ERR_NONE:
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002298 /* we allow up to min(inter, timeout.connect) for a connection
2299 * to establish but only when timeout.check is set
2300 * as it may be to short for a full check otherwise
2301 */
Simon Horman4a741432013-02-23 15:35:38 +09002302 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +02002303
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002304 if (proxy->timeout.check && proxy->timeout.connect) {
2305 int t_con = tick_add(now_ms, proxy->timeout.connect);
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002306 t->expire = tick_first(t->expire, t_con);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002307 }
Willy Tarreau06559ac2013-12-05 01:53:08 +01002308
Willy Tarreaucc705a62019-09-05 17:51:30 +02002309 if (check->type) {
2310 /* send the request if we have one. We avoid receiving
2311 * if not connected, unless we didn't subscribe for
2312 * sending since otherwise we won't be woken up.
2313 */
2314 __event_srv_chk_w(cs);
Willy Tarreau911db9b2020-01-23 16:27:54 +01002315 if (!(conn->flags & CO_FL_WAIT_XPRT) ||
Willy Tarreauc5940392019-09-05 17:38:40 +02002316 !(check->wait_list.events & SUB_RETRY_SEND))
2317 __event_srv_chk_r(cs);
Willy Tarreaucc705a62019-09-05 17:51:30 +02002318 }
Willy Tarreau06559ac2013-12-05 01:53:08 +01002319
Willy Tarreau5a78f362012-11-23 12:47:05 +01002320 goto reschedule;
2321
Willy Tarreaue7dff022015-04-03 01:14:29 +02002322 case SF_ERR_SRVTO: /* ETIMEDOUT */
2323 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
Willy Tarreau00149122017-10-04 18:05:01 +02002324 if (conn)
2325 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002326 chk_report_conn_err(check, errno, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002327 break;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02002328 /* should share same code than cases below */
2329 case SF_ERR_CHK_PORT:
2330 check->state |= CHK_ST_PORT_MISS;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002331 case SF_ERR_PRXCOND:
2332 case SF_ERR_RESOURCE:
2333 case SF_ERR_INTERNAL:
Willy Tarreau00149122017-10-04 18:05:01 +02002334 if (conn)
2335 conn->flags |= CO_FL_ERROR;
2336 chk_report_conn_err(check, conn ? 0 : ENOMEM, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002337 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002338 }
2339
Willy Tarreau5a78f362012-11-23 12:47:05 +01002340 /* here, we have seen a synchronous error, no fd was allocated */
Olivier Houchardaebeff72019-11-29 16:18:51 +01002341 task_set_affinity(t, MAX_THREADS_MASK);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002342 if (cs) {
Olivier Houchard49065542019-05-31 19:20:36 +02002343 if (check->wait_list.events)
2344 cs->conn->xprt->unsubscribe(cs->conn,
2345 cs->conn->xprt_ctx,
2346 check->wait_list.events,
2347 &check->wait_list);
2348 /* We may have been scheduled to run, and the
2349 * I/O handler expects to have a cs, so remove
2350 * the tasklet
2351 */
Willy Tarreau86eded62019-06-14 14:47:49 +02002352 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002353 cs_destroy(cs);
2354 cs = check->cs = NULL;
2355 conn = NULL;
Olivier Houchard390485a2017-10-24 19:03:30 +02002356 }
Willy Tarreau6b0a8502012-11-23 08:51:32 +01002357
Willy Tarreau2c115e52013-12-11 19:41:16 +01002358 check->state &= ~CHK_ST_INPROGRESS;
Willy Tarreau4eec5472014-05-20 22:32:27 +02002359 check_notify_failure(check);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002360
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002361 /* we allow up to min(inter, timeout.connect) for a connection
2362 * to establish but only when timeout.check is set
2363 * as it may be to short for a full check otherwise
2364 */
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002365 while (tick_is_expired(t->expire, now_ms)) {
2366 int t_con;
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002367
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002368 t_con = tick_add(t->expire, proxy->timeout.connect);
Simon Horman4a741432013-02-23 15:35:38 +09002369 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002370
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002371 if (proxy->timeout.check)
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002372 t->expire = tick_first(t->expire, t_con);
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002373 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002374 }
2375 else {
Willy Tarreauf1503172012-09-28 19:39:36 +02002376 /* there was a test running.
2377 * First, let's check whether there was an uncaught error,
2378 * which can happen on connect timeout or error.
2379 */
Simon Hormanccaabcd2014-06-20 12:29:47 +09002380 if (check->result == CHK_RES_UNKNOWN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +01002381 /* good connection is enough for pure TCP check */
Willy Tarreau911db9b2020-01-23 16:27:54 +01002382 if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Christopher Fauletf61f33a2020-03-27 18:55:49 +01002383 if (check->use_ssl == 1)
Simon Horman4a741432013-02-23 15:35:38 +09002384 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Willy Tarreauf1503172012-09-28 19:39:36 +02002385 else
Simon Horman4a741432013-02-23 15:35:38 +09002386 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002387 }
Willy Tarreau4ff3b892017-10-16 15:17:17 +02002388 else if ((conn->flags & CO_FL_ERROR) || cs->flags & CS_FL_ERROR || expired) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002389 chk_report_conn_err(check, 0, expired);
Willy Tarreauf1503172012-09-28 19:39:36 +02002390 }
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002391 else
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002392 goto out_unlock; /* timeout not reached, wait again */
Willy Tarreauf1503172012-09-28 19:39:36 +02002393 }
2394
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002395 /* check complete or aborted */
Willy Tarreau00149122017-10-04 18:05:01 +02002396 if (conn && conn->xprt) {
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002397 /* The check was aborted and the connection was not yet closed.
2398 * This can happen upon timeout, or when an external event such
2399 * as a failed response coupled with "observe layer7" caused the
2400 * server state to be suddenly changed.
2401 */
Willy Tarreaud85c4852015-03-13 00:40:28 +01002402 conn_sock_drain(conn);
Willy Tarreaua553ae92017-10-05 18:52:17 +02002403 cs_close(cs);
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002404 }
2405
Willy Tarreauac59f362017-10-08 11:10:19 +02002406 if (cs) {
Olivier Houchard49065542019-05-31 19:20:36 +02002407 if (check->wait_list.events)
2408 cs->conn->xprt->unsubscribe(cs->conn,
2409 cs->conn->xprt_ctx,
2410 check->wait_list.events,
2411 &check->wait_list);
2412 /* We may have been scheduled to run, and the
Willy Tarreau86eded62019-06-14 14:47:49 +02002413 * I/O handler expects to have a cs, so remove
2414 * the tasklet
2415 */
2416 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002417 cs_destroy(cs);
2418 cs = check->cs = NULL;
2419 conn = NULL;
Willy Tarreau00149122017-10-04 18:05:01 +02002420 }
2421
Olivier Houchard0923fa42019-01-11 18:43:04 +01002422 if (check->server) {
2423 if (check->result == CHK_RES_FAILED) {
2424 /* a failure or timeout detected */
2425 check_notify_failure(check);
2426 }
2427 else if (check->result == CHK_RES_CONDPASS) {
2428 /* check is OK but asks for stopping mode */
2429 check_notify_stopping(check);
2430 }
2431 else if (check->result == CHK_RES_PASSED) {
2432 /* a success was detected */
2433 check_notify_success(check);
2434 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002435 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002436 task_set_affinity(t, MAX_THREADS_MASK);
Willy Tarreau2c115e52013-12-11 19:41:16 +01002437 check->state &= ~CHK_ST_INPROGRESS;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002438
Olivier Houchard0923fa42019-01-11 18:43:04 +01002439 if (check->server) {
2440 rv = 0;
2441 if (global.spread_checks > 0) {
2442 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreau5a6d3e72020-03-08 17:53:53 +01002443 rv -= (int) (2 * rv * (ha_random32() / 4294967295.0));
Olivier Houchard0923fa42019-01-11 18:43:04 +01002444 }
2445 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
Willy Tarreaubaaee002006-06-26 02:48:02 +02002446 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002447 }
Willy Tarreau5a78f362012-11-23 12:47:05 +01002448
2449 reschedule:
2450 while (tick_is_expired(t->expire, now_ms))
Simon Horman4a741432013-02-23 15:35:38 +09002451 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002452 out_unlock:
Olivier Houchard0923fa42019-01-11 18:43:04 +01002453 if (check->server)
2454 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau26c25062009-03-08 09:38:41 +01002455 return t;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002456}
2457
Simon Horman98637e52014-06-20 12:30:16 +09002458/*
2459 * manages a server health-check. Returns
2460 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
2461 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002462static struct task *process_chk(struct task *t, void *context, unsigned short state)
Simon Horman98637e52014-06-20 12:30:16 +09002463{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002464 struct check *check = context;
Simon Horman98637e52014-06-20 12:30:16 +09002465
2466 if (check->type == PR_O2_EXT_CHK)
Olivier Houchard9f6af332018-05-25 14:04:04 +02002467 return process_chk_proc(t, context, state);
2468 return process_chk_conn(t, context, state);
Baptiste Assmanna68ca962015-04-14 01:15:08 +02002469
Simon Horman98637e52014-06-20 12:30:16 +09002470}
2471
Simon Horman5c942422013-11-25 10:46:32 +09002472static int start_check_task(struct check *check, int mininter,
2473 int nbcheck, int srvpos)
2474{
2475 struct task *t;
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002476 unsigned long thread_mask = MAX_THREADS_MASK;
2477
2478 if (check->type == PR_O2_EXT_CHK)
2479 thread_mask = 1;
2480
Simon Horman5c942422013-11-25 10:46:32 +09002481 /* task for the check */
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002482 if ((t = task_new(thread_mask)) == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002483 ha_alert("Starting [%s:%s] check: out of memory.\n",
2484 check->server->proxy->id, check->server->id);
Simon Horman5c942422013-11-25 10:46:32 +09002485 return 0;
2486 }
2487
2488 check->task = t;
2489 t->process = process_chk;
2490 t->context = check;
2491
Willy Tarreau1746eec2014-04-25 10:46:47 +02002492 if (mininter < srv_getinter(check))
2493 mininter = srv_getinter(check);
2494
2495 if (global.max_spread_checks && mininter > global.max_spread_checks)
2496 mininter = global.max_spread_checks;
2497
Simon Horman5c942422013-11-25 10:46:32 +09002498 /* check this every ms */
Willy Tarreau1746eec2014-04-25 10:46:47 +02002499 t->expire = tick_add(now_ms, MS_TO_TICKS(mininter * srvpos / nbcheck));
Simon Horman5c942422013-11-25 10:46:32 +09002500 check->start = now;
2501 task_queue(t);
2502
2503 return 1;
2504}
2505
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002506/*
2507 * Start health-check.
Willy Tarreau865c5142016-12-21 20:04:48 +01002508 * Returns 0 if OK, ERR_FATAL on error, and prints the error in this case.
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002509 */
Willy Tarreau865c5142016-12-21 20:04:48 +01002510static int start_checks()
2511{
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002512
2513 struct proxy *px;
2514 struct server *s;
2515 struct task *t;
Simon Horman4a741432013-02-23 15:35:38 +09002516 int nbcheck=0, mininter=0, srvpos=0;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002517
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002518 /* 1- count the checkers to run simultaneously.
2519 * We also determine the minimum interval among all of those which
2520 * have an interval larger than SRV_CHK_INTER_THRES. This interval
2521 * will be used to spread their start-up date. Those which have
Jamie Gloudon801a0a32012-08-25 00:18:33 -04002522 * a shorter interval will start independently and will not dictate
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002523 * too short an interval for all others.
2524 */
Olivier Houchardfbc74e82017-11-24 16:54:05 +01002525 for (px = proxies_list; px; px = px->next) {
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002526 for (s = px->srv; s; s = s->next) {
Willy Tarreaue7b73482013-11-21 11:50:50 +01002527 if (s->slowstart) {
Emeric Brunc60def82017-09-27 14:59:38 +02002528 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002529 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002530 return ERR_ALERT | ERR_FATAL;
Willy Tarreaue7b73482013-11-21 11:50:50 +01002531 }
2532 /* We need a warmup task that will be called when the server
2533 * state switches from down to up.
2534 */
2535 s->warmup = t;
2536 t->process = server_warmup;
2537 t->context = s;
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002538 /* server can be in this state only because of */
Emeric Brun52a91d32017-08-31 14:41:55 +02002539 if (s->next_state == SRV_ST_STARTING)
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002540 task_schedule(s->warmup, tick_add(now_ms, MS_TO_TICKS(MAX(1000, (now.tv_sec - s->last_change)) / 20)));
Willy Tarreaue7b73482013-11-21 11:50:50 +01002541 }
2542
Willy Tarreaud8514a22013-12-11 21:10:14 +01002543 if (s->check.state & CHK_ST_CONFIGURED) {
2544 nbcheck++;
2545 if ((srv_getinter(&s->check) >= SRV_CHK_INTER_THRES) &&
2546 (!mininter || mininter > srv_getinter(&s->check)))
2547 mininter = srv_getinter(&s->check);
2548 }
Willy Tarreau15f39102013-12-11 20:41:18 +01002549
Willy Tarreaud8514a22013-12-11 21:10:14 +01002550 if (s->agent.state & CHK_ST_CONFIGURED) {
2551 nbcheck++;
2552 if ((srv_getinter(&s->agent) >= SRV_CHK_INTER_THRES) &&
2553 (!mininter || mininter > srv_getinter(&s->agent)))
2554 mininter = srv_getinter(&s->agent);
2555 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002556 }
2557 }
2558
Simon Horman4a741432013-02-23 15:35:38 +09002559 if (!nbcheck)
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002560 return 0;
2561
2562 srand((unsigned)time(NULL));
2563
2564 /*
2565 * 2- start them as far as possible from each others. For this, we will
2566 * start them after their interval set to the min interval divided by
2567 * the number of servers, weighted by the server's position in the list.
2568 */
Olivier Houchardfbc74e82017-11-24 16:54:05 +01002569 for (px = proxies_list; px; px = px->next) {
Simon Horman98637e52014-06-20 12:30:16 +09002570 if ((px->options2 & PR_O2_CHK_ANY) == PR_O2_EXT_CHK) {
2571 if (init_pid_list()) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002572 ha_alert("Starting [%s] check: out of memory.\n", px->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002573 return ERR_ALERT | ERR_FATAL;
Simon Horman98637e52014-06-20 12:30:16 +09002574 }
2575 }
2576
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002577 for (s = px->srv; s; s = s->next) {
Simon Hormand60d6912013-11-25 10:46:36 +09002578 /* A task for the main check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002579 if (s->check.state & CHK_ST_CONFIGURED) {
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002580 if (s->check.type == PR_O2_EXT_CHK) {
2581 if (!prepare_external_check(&s->check))
Willy Tarreau865c5142016-12-21 20:04:48 +01002582 return ERR_ALERT | ERR_FATAL;
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002583 }
Simon Hormand60d6912013-11-25 10:46:36 +09002584 if (!start_check_task(&s->check, mininter, nbcheck, srvpos))
Willy Tarreau865c5142016-12-21 20:04:48 +01002585 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002586 srvpos++;
2587 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002588
Simon Hormand60d6912013-11-25 10:46:36 +09002589 /* A task for a auxiliary agent check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002590 if (s->agent.state & CHK_ST_CONFIGURED) {
Simon Hormand60d6912013-11-25 10:46:36 +09002591 if (!start_check_task(&s->agent, mininter, nbcheck, srvpos)) {
Willy Tarreau865c5142016-12-21 20:04:48 +01002592 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002593 }
2594 srvpos++;
2595 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002596 }
2597 }
2598 return 0;
2599}
Willy Tarreaubaaee002006-06-26 02:48:02 +02002600
2601/*
Willy Tarreau5b3a2022012-09-28 15:01:02 +02002602 * Perform content verification check on data in s->check.buffer buffer.
Willy Tarreaubd741542010-03-16 18:46:54 +01002603 * The buffer MUST be terminated by a null byte before calling this function.
2604 * Sets server status appropriately. The caller is responsible for ensuring
2605 * that the buffer contains at least 13 characters. If <done> is zero, we may
2606 * return 0 to indicate that data is required to decide of a match.
2607 */
2608static int httpchk_expect(struct server *s, int done)
2609{
Christopher Faulet1bc04c72017-10-29 20:14:08 +01002610 static THREAD_LOCAL char status_msg[] = "HTTP status check returned code <000>";
Willy Tarreaubd741542010-03-16 18:46:54 +01002611 char status_code[] = "000";
2612 char *contentptr;
2613 int crlf;
2614 int ret;
2615
2616 switch (s->proxy->options2 & PR_O2_EXP_TYPE) {
2617 case PR_O2_EXP_STS:
2618 case PR_O2_EXP_RSTS:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002619 memcpy(status_code, b_head(&s->check.bi) + 9, 3);
2620 memcpy(status_msg + strlen(status_msg) - 4, b_head(&s->check.bi) + 9, 3);
Willy Tarreaubd741542010-03-16 18:46:54 +01002621
2622 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STS)
2623 ret = strncmp(s->proxy->expect_str, status_code, 3) == 0;
2624 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002625 ret = regex_exec(s->proxy->expect_regex, status_code);
Willy Tarreaubd741542010-03-16 18:46:54 +01002626
2627 /* we necessarily have the response, so there are no partial failures */
2628 if (s->proxy->options2 & PR_O2_EXP_INV)
2629 ret = !ret;
2630
Simon Horman4a741432013-02-23 15:35:38 +09002631 set_server_check_status(&s->check, ret ? HCHK_STATUS_L7OKD : HCHK_STATUS_L7STS, status_msg);
Willy Tarreaubd741542010-03-16 18:46:54 +01002632 break;
2633
2634 case PR_O2_EXP_STR:
2635 case PR_O2_EXP_RSTR:
2636 /* very simple response parser: ignore CR and only count consecutive LFs,
2637 * stop with contentptr pointing to first char after the double CRLF or
2638 * to '\0' if crlf < 2.
2639 */
2640 crlf = 0;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002641 for (contentptr = b_head(&s->check.bi); *contentptr; contentptr++) {
Willy Tarreaubd741542010-03-16 18:46:54 +01002642 if (crlf >= 2)
2643 break;
2644 if (*contentptr == '\r')
2645 continue;
2646 else if (*contentptr == '\n')
2647 crlf++;
2648 else
2649 crlf = 0;
2650 }
2651
2652 /* Check that response contains a body... */
2653 if (crlf < 2) {
2654 if (!done)
2655 return 0;
2656
Simon Horman4a741432013-02-23 15:35:38 +09002657 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002658 "HTTP content check could not find a response body");
2659 return 1;
2660 }
2661
2662 /* Check that response body is not empty... */
2663 if (*contentptr == '\0') {
Willy Tarreaua164fb52011-04-13 09:32:41 +02002664 if (!done)
2665 return 0;
2666
Simon Horman4a741432013-02-23 15:35:38 +09002667 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002668 "HTTP content check found empty response body");
2669 return 1;
2670 }
2671
2672 /* Check the response content against the supplied string
2673 * or regex... */
2674 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STR)
2675 ret = strstr(contentptr, s->proxy->expect_str) != NULL;
2676 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002677 ret = regex_exec(s->proxy->expect_regex, contentptr);
Willy Tarreaubd741542010-03-16 18:46:54 +01002678
2679 /* if we don't match, we may need to wait more */
2680 if (!ret && !done)
2681 return 0;
2682
2683 if (ret) {
2684 /* content matched */
2685 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002686 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002687 "HTTP check matched unwanted content");
2688 else
Simon Horman4a741432013-02-23 15:35:38 +09002689 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002690 "HTTP content check matched");
2691 }
2692 else {
2693 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002694 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002695 "HTTP check did not match unwanted content");
2696 else
Simon Horman4a741432013-02-23 15:35:38 +09002697 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002698 "HTTP content check did not match");
2699 }
2700 break;
2701 }
2702 return 1;
2703}
2704
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002705/*
2706 * return the id of a step in a send/expect session
2707 */
Simon Hormane16c1b32015-01-30 11:22:57 +09002708static int tcpcheck_get_step_id(struct check *check)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002709{
2710 struct tcpcheck_rule *cur = NULL, *next = NULL;
2711 int i = 0;
2712
Willy Tarreau213c6782014-10-02 14:51:02 +02002713 /* not even started anything yet => step 0 = initial connect */
Baptiste Assmannf95bc8e2015-04-25 16:03:06 +02002714 if (!check->current_step)
Willy Tarreau213c6782014-10-02 14:51:02 +02002715 return 0;
2716
Simon Hormane16c1b32015-01-30 11:22:57 +09002717 cur = check->last_started_step;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002718
2719 /* no step => first step */
2720 if (cur == NULL)
2721 return 1;
2722
2723 /* increment i until current step */
Simon Hormane16c1b32015-01-30 11:22:57 +09002724 list_for_each_entry(next, check->tcpcheck_rules, list) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002725 if (next->list.p == &cur->list)
2726 break;
2727 ++i;
2728 }
2729
2730 return i;
2731}
2732
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002733/*
2734 * return the latest known comment before (including) the given stepid
2735 * returns NULL if no comment found
2736 */
2737static char * tcpcheck_get_step_comment(struct check *check, int stepid)
2738{
2739 struct tcpcheck_rule *cur = NULL;
2740 char *ret = NULL;
2741 int i = 0;
2742
2743 /* not even started anything yet, return latest comment found before any action */
2744 if (!check->current_step) {
2745 list_for_each_entry(cur, check->tcpcheck_rules, list) {
2746 if (cur->action == TCPCHK_ACT_COMMENT)
2747 ret = cur->comment;
2748 else
2749 goto return_comment;
2750 }
2751 }
2752
2753 i = 1;
2754 list_for_each_entry(cur, check->tcpcheck_rules, list) {
2755 if (cur->comment)
2756 ret = cur->comment;
2757
2758 if (i >= stepid)
2759 goto return_comment;
2760
2761 ++i;
2762 }
2763
2764 return_comment:
2765 return ret;
2766}
2767
Willy Tarreaube74b882017-10-04 16:22:49 +02002768/* proceed with next steps for the TCP checks <check>. Note that this is called
2769 * both from the connection's wake() callback and from the check scheduling task.
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002770 * It returns 0 on normal cases, or <0 if a close() has happened on an existing
2771 * connection, presenting the risk of an fd replacement.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002772 *
2773 * Please do NOT place any return statement in this function and only leave
Willy Tarreau2ab5c382019-07-17 18:48:07 +02002774 * via the out_end_tcpcheck label after setting retcode.
Willy Tarreaube74b882017-10-04 16:22:49 +02002775 */
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002776static int tcpcheck_main(struct check *check)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002777{
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002778 char *contentptr, *comment;
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002779 struct tcpcheck_rule *next;
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002780 int done = 0, ret = 0, step = 0;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002781 struct conn_stream *cs = check->cs;
2782 struct connection *conn = cs_conn(cs);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002783 struct server *s = check->server;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002784 struct proxy *proxy = check->proxy;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002785 struct task *t = check->task;
Simon Hormane16c1b32015-01-30 11:22:57 +09002786 struct list *head = check->tcpcheck_rules;
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002787 int retcode = 0;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002788
Willy Tarreauef953952014-10-02 14:30:14 +02002789 /* here, we know that the check is complete or that it failed */
2790 if (check->result != CHK_RES_UNKNOWN)
2791 goto out_end_tcpcheck;
2792
2793 /* We have 4 possibilities here :
2794 * 1. we've not yet attempted step 1, and step 1 is a connect, so no
Willy Tarreau00149122017-10-04 18:05:01 +02002795 * connection attempt was made yet ; conn==NULL;current_step==NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002796 * 2. we've not yet attempted step 1, and step 1 is a not connect or
2797 * does not exist (no rule), so a connection attempt was made
Willy Tarreau00149122017-10-04 18:05:01 +02002798 * before coming here, conn!=NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002799 * 3. we're coming back after having started with step 1, so we may
Willy Tarreau00149122017-10-04 18:05:01 +02002800 * be waiting for a connection attempt to complete. conn!=NULL.
2801 * 4. the connection + handshake are complete. conn!=NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002802 *
2803 * #2 and #3 are quite similar, we want both the connection and the
2804 * handshake to complete before going any further. Thus we must always
2805 * wait for a connection to complete unless we're before and existing
2806 * step 1.
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002807 */
Willy Tarreau449f9522015-05-13 15:39:48 +02002808
2809 /* find first rule and skip comments */
2810 next = LIST_NEXT(head, struct tcpcheck_rule *, list);
2811 while (&next->list != head && next->action == TCPCHK_ACT_COMMENT)
2812 next = LIST_NEXT(&next->list, struct tcpcheck_rule *, list);
2813
Willy Tarreau00149122017-10-04 18:05:01 +02002814 if ((check->current_step || &next->list == head) &&
Willy Tarreau911db9b2020-01-23 16:27:54 +01002815 (conn->flags & CO_FL_WAIT_XPRT)) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002816 /* we allow up to min(inter, timeout.connect) for a connection
2817 * to establish but only when timeout.check is set
2818 * as it may be to short for a full check otherwise
2819 */
2820 while (tick_is_expired(t->expire, now_ms)) {
2821 int t_con;
2822
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002823 t_con = tick_add(t->expire, proxy->timeout.connect);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002824 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2825
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002826 if (proxy->timeout.check)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002827 t->expire = tick_first(t->expire, t_con);
2828 }
Christopher Fauletb6102852017-11-28 10:06:29 +01002829 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002830 }
2831
Willy Tarreauef953952014-10-02 14:30:14 +02002832 /* special case: option tcp-check with no rule, a connect is enough */
Willy Tarreau449f9522015-05-13 15:39:48 +02002833 if (&next->list == head) {
Willy Tarreauef953952014-10-02 14:30:14 +02002834 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002835 goto out_end_tcpcheck;
Willy Tarreauef953952014-10-02 14:30:14 +02002836 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002837
Willy Tarreau213c6782014-10-02 14:51:02 +02002838 /* no step means first step initialisation */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002839 if (check->current_step == NULL) {
Willy Tarreau213c6782014-10-02 14:51:02 +02002840 check->last_started_step = NULL;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002841 b_reset(&check->bo);
2842 b_reset(&check->bi);
Willy Tarreau449f9522015-05-13 15:39:48 +02002843 check->current_step = next;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002844 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002845 if (proxy->timeout.check)
2846 t->expire = tick_add_ifset(now_ms, proxy->timeout.check);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002847 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002848
Willy Tarreauabca5b62013-12-06 14:19:25 +01002849 while (1) {
Willy Tarreau263013d2015-05-13 11:59:14 +02002850 /* We have to try to flush the output buffer before reading, at
2851 * the end, or if we're about to send a string that does not fit
2852 * in the remaining space. That explains why we break out of the
Willy Tarreau00149122017-10-04 18:05:01 +02002853 * loop after this control. If we have data, conn is valid.
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002854 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002855 if (b_data(&check->bo) &&
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002856 (&check->current_step->list == head ||
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002857 check->current_step->action != TCPCHK_ACT_SEND ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002858 check->current_step->string_len >= b_room(&check->bo))) {
Willy Tarreaudeccd112018-06-14 18:38:55 +02002859 int ret;
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002860
Olivier Houcharded0f2072018-08-16 15:41:52 +02002861 ret = cs->conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0);
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002862 b_realign_if_empty(&check->bo);
Willy Tarreaudeccd112018-06-14 18:38:55 +02002863
2864 if (ret <= 0) {
Willy Tarreau4ff3b892017-10-16 15:17:17 +02002865 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002866 chk_report_conn_err(check, errno, 0);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002867 goto out_end_tcpcheck;
2868 }
Willy Tarreau263013d2015-05-13 11:59:14 +02002869 break;
Willy Tarreauabca5b62013-12-06 14:19:25 +01002870 }
Olivier Houchard4501c3e2018-08-28 19:36:18 +02002871 if (b_data(&check->bo)) {
Willy Tarreau4f6516d2018-12-19 13:59:17 +01002872 cs->conn->mux->subscribe(cs, SUB_RETRY_SEND, &check->wait_list);
Olivier Houchard4501c3e2018-08-28 19:36:18 +02002873 goto out;
2874 }
Willy Tarreauabca5b62013-12-06 14:19:25 +01002875 }
2876
Willy Tarreau263013d2015-05-13 11:59:14 +02002877 if (&check->current_step->list == head)
Willy Tarreauabca5b62013-12-06 14:19:25 +01002878 break;
2879
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002880 /* have 'next' point to the next rule or NULL if we're on the
2881 * last one, connect() needs this.
2882 */
Willy Tarreau5581c272015-05-13 12:24:53 +02002883 next = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002884
2885 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002886 while (&next->list != head && next->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002887 next = LIST_NEXT(&next->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002888
2889 /* NULL if we're on the last rule */
Willy Tarreauf3d34822014-12-08 12:11:28 +01002890 if (&next->list == head)
2891 next = NULL;
2892
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002893 if (check->current_step->action == TCPCHK_ACT_CONNECT) {
2894 struct protocol *proto;
2895 struct xprt_ops *xprt;
2896
Willy Tarreau00149122017-10-04 18:05:01 +02002897 /* For a connect action we'll create a new connection.
2898 * We may also have to kill a previous one. But we don't
2899 * want to leave *without* a connection if we came here
2900 * from the connection layer, hence with a connection.
2901 * Thus we'll proceed in the following order :
2902 * 1: close but not release previous connection
2903 * 2: try to get a new connection
2904 * 3: release and replace the old one on success
2905 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002906 if (check->cs) {
Willy Tarreaua553ae92017-10-05 18:52:17 +02002907 cs_close(check->cs);
2908 retcode = -1; /* do not reuse the fd in the caller! */
Willy Tarreau00149122017-10-04 18:05:01 +02002909 }
2910
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002911 /* mark the step as started */
2912 check->last_started_step = check->current_step;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002913
2914 /* prepare new connection */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002915 cs = cs_new(NULL);
2916 if (!cs) {
Willy Tarreau00149122017-10-04 18:05:01 +02002917 step = tcpcheck_get_step_id(check);
2918 chunk_printf(&trash, "TCPCHK error allocating connection at step %d", step);
2919 comment = tcpcheck_get_step_comment(check, step);
2920 if (comment)
2921 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002922 set_server_check_status(check, HCHK_STATUS_SOCKERR,
2923 trash.area);
Willy Tarreau00149122017-10-04 18:05:01 +02002924 check->current_step = NULL;
Christopher Fauletb6102852017-11-28 10:06:29 +01002925 goto out;
Willy Tarreau00149122017-10-04 18:05:01 +02002926 }
2927
Olivier Houchard49065542019-05-31 19:20:36 +02002928 if (check->cs) {
2929 if (check->wait_list.events)
2930 cs->conn->xprt->unsubscribe(cs->conn,
2931 cs->conn->xprt_ctx,
2932 check->wait_list.events,
2933 &check->wait_list);
Willy Tarreau86eded62019-06-14 14:47:49 +02002934 /* We may have been scheduled to run, and the
2935 * I/O handler expects to have a cs, so remove
2936 * the tasklet
2937 */
2938 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Willy Tarreauac59f362017-10-08 11:10:19 +02002939 cs_destroy(check->cs);
Olivier Houchard49065542019-05-31 19:20:36 +02002940 }
Willy Tarreau00149122017-10-04 18:05:01 +02002941
Olivier Houchardff1e9f32019-09-20 17:18:35 +02002942 tasklet_set_tid(check->wait_list.tasklet, tid);
2943
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002944 check->cs = cs;
2945 conn = cs->conn;
Olivier Houchard26e1a8f2018-09-12 15:15:12 +02002946 /* Maybe there were an older connection we were waiting on */
Willy Tarreau4f6516d2018-12-19 13:59:17 +01002947 check->wait_list.events = 0;
Olivier Houchard0923fa42019-01-11 18:43:04 +01002948 conn->target = s ? &s->obj_type : &proxy->obj_type;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002949
2950 /* no client address */
Willy Tarreauca79f592019-07-17 19:04:47 +02002951
2952 if (!sockaddr_alloc(&conn->dst)) {
2953 ret = SF_ERR_RESOURCE;
2954 goto fail_check;
2955 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002956
Simon Horman41f58762015-01-30 11:22:56 +09002957 if (is_addr(&check->addr)) {
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002958 /* we'll connect to the check addr specified on the server */
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02002959 *conn->dst = check->addr;
Willy Tarreau640556c2014-05-09 23:38:15 +02002960 }
2961 else {
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002962 /* we'll connect to the addr on the server */
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02002963 *conn->dst = s->addr;
Willy Tarreau640556c2014-05-09 23:38:15 +02002964 }
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02002965 proto = protocol_by_family(conn->dst->ss_family);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002966
2967 /* port */
2968 if (check->current_step->port)
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02002969 set_host_port(conn->dst, check->current_step->port);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002970 else if (check->port)
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02002971 set_host_port(conn->dst, check->port);
Baptiste Assmann2f3a56b2018-03-19 12:22:41 +01002972 else if (s->svc_port)
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02002973 set_host_port(conn->dst, s->svc_port);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002974
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002975 if (check->current_step->conn_opts & TCPCHK_OPT_SSL) {
Willy Tarreaua261e9b2016-12-22 20:44:00 +01002976 xprt = xprt_get(XPRT_SSL);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002977 }
2978 else {
Willy Tarreaua261e9b2016-12-22 20:44:00 +01002979 xprt = xprt_get(XPRT_RAW);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002980 }
Willy Tarreaube373152018-09-06 11:45:30 +02002981
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002982 conn_prepare(conn, proto, xprt);
Willy Tarreau2ab5c382019-07-17 18:48:07 +02002983
2984 if (conn_install_mux(conn, &mux_pt_ops, cs, proxy, NULL) < 0) {
2985 ret = SF_ERR_RESOURCE;
2986 goto fail_check;
2987 }
2988
Willy Tarreaube373152018-09-06 11:45:30 +02002989 cs_attach(cs, check, &check_conn_cb);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002990
Willy Tarreaue7dff022015-04-03 01:14:29 +02002991 ret = SF_ERR_INTERNAL;
Gaetan Rivet08fdcb32020-02-28 11:04:21 +01002992 if (proto && proto->connect) {
2993 int flags;
2994
2995 flags = CONNECT_HAS_DATA;
2996 if (next && next->action != TCPCHK_ACT_EXPECT)
2997 flags |= CONNECT_DELACK_ALWAYS;
2998 ret = proto->connect(conn, flags);
2999 }
Olivier Houchard37d78972019-12-30 15:13:42 +01003000 if (conn_ctrl_ready(conn) &&
3001 check->current_step->conn_opts & TCPCHK_OPT_SEND_PROXY) {
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003002 conn->send_proxy_ofs = 1;
3003 conn->flags |= CO_FL_SEND_PROXY;
Olivier Houchardfe50bfb2019-05-27 12:09:19 +02003004 if (xprt_add_hs(conn) < 0)
3005 ret = SF_ERR_RESOURCE;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003006 }
3007
Gaetan Rivetf8ba6772020-02-07 15:37:17 +01003008 if (conn_ctrl_ready(conn) &&
3009 check->current_step->conn_opts & TCPCHK_OPT_LINGER) {
3010 /* Some servers don't like reset on close */
3011 fdtab[cs->conn->handle.fd].linger_risk = 0;
3012 }
3013
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003014 /* It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02003015 * - SF_ERR_NONE if everything's OK
3016 * - SF_ERR_SRVTO if there are no more servers
3017 * - SF_ERR_SRVCL if the connection was refused by the server
3018 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
3019 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
3020 * - SF_ERR_INTERNAL for any other purely internal errors
Tim Düsterhus4896c442016-11-29 02:15:19 +01003021 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003022 * Note that we try to prevent the network stack from sending the ACK during the
3023 * connect() when a pure TCP check is used (without PROXY protocol).
3024 */
Willy Tarreau2ab5c382019-07-17 18:48:07 +02003025 fail_check:
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003026 switch (ret) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02003027 case SF_ERR_NONE:
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003028 /* we allow up to min(inter, timeout.connect) for a connection
3029 * to establish but only when timeout.check is set
3030 * as it may be to short for a full check otherwise
3031 */
3032 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
3033
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01003034 if (proxy->timeout.check && proxy->timeout.connect) {
3035 int t_con = tick_add(now_ms, proxy->timeout.connect);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003036 t->expire = tick_first(t->expire, t_con);
3037 }
3038 break;
Willy Tarreaue7dff022015-04-03 01:14:29 +02003039 case SF_ERR_SRVTO: /* ETIMEDOUT */
3040 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02003041 step = tcpcheck_get_step_id(check);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003042 chunk_printf(&trash, "TCPCHK error establishing connection at step %d: %s",
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02003043 step, strerror(errno));
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003044 comment = tcpcheck_get_step_comment(check, step);
3045 if (comment)
3046 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02003047 set_server_check_status(check, HCHK_STATUS_L4CON,
3048 trash.area);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003049 goto out_end_tcpcheck;
Willy Tarreaue7dff022015-04-03 01:14:29 +02003050 case SF_ERR_PRXCOND:
3051 case SF_ERR_RESOURCE:
3052 case SF_ERR_INTERNAL:
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02003053 step = tcpcheck_get_step_id(check);
3054 chunk_printf(&trash, "TCPCHK error establishing connection at step %d", step);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003055 comment = tcpcheck_get_step_comment(check, step);
3056 if (comment)
3057 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02003058 set_server_check_status(check, HCHK_STATUS_SOCKERR,
3059 trash.area);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003060 goto out_end_tcpcheck;
3061 }
3062
3063 /* allow next rule */
Willy Tarreau5581c272015-05-13 12:24:53 +02003064 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003065
3066 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02003067 while (&check->current_step->list != head &&
3068 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02003069 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003070
Willy Tarreauf2c87352015-05-13 12:08:21 +02003071 if (&check->current_step->list == head)
3072 break;
3073
Willy Tarreau7df8ca62019-07-15 10:57:51 +02003074 /* don't do anything until the connection is established */
Willy Tarreau911db9b2020-01-23 16:27:54 +01003075 if (conn->flags & CO_FL_WAIT_XPRT)
Willy Tarreau7df8ca62019-07-15 10:57:51 +02003076 break;
3077
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003078 } /* end 'connect' */
3079 else if (check->current_step->action == TCPCHK_ACT_SEND) {
3080 /* mark the step as started */
3081 check->last_started_step = check->current_step;
3082
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003083 /* reset the read buffer */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003084 if (*b_head(&check->bi) != '\0') {
3085 *b_head(&check->bi) = '\0';
3086 b_reset(&check->bi);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003087 }
3088
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003089 if (check->current_step->string_len >= b_size(&check->bo)) {
Willy Tarreau506a29a2018-07-18 10:07:58 +02003090 chunk_printf(&trash, "tcp-check send : string too large (%d) for buffer size (%u) at step %d",
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003091 check->current_step->string_len, (unsigned int)b_size(&check->bo),
Simon Hormane16c1b32015-01-30 11:22:57 +09003092 tcpcheck_get_step_id(check));
Willy Tarreau843b7cb2018-07-13 10:54:26 +02003093 set_server_check_status(check, HCHK_STATUS_L7RSP,
3094 trash.area);
Willy Tarreauabca5b62013-12-06 14:19:25 +01003095 goto out_end_tcpcheck;
3096 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003097
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003098 /* do not try to send if there is no space */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003099 if (check->current_step->string_len >= b_room(&check->bo))
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003100 continue;
3101
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003102 b_putblk(&check->bo, check->current_step->string, check->current_step->string_len);
3103 *b_tail(&check->bo) = '\0'; /* to make gdb output easier to read */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003104
Willy Tarreauabca5b62013-12-06 14:19:25 +01003105 /* go to next rule and try to send */
Willy Tarreau5581c272015-05-13 12:24:53 +02003106 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003107
3108 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02003109 while (&check->current_step->list != head &&
3110 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02003111 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Willy Tarreauf2c87352015-05-13 12:08:21 +02003112
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003113 } /* end 'send' */
Willy Tarreau98aec9f2013-12-06 16:16:41 +01003114 else if (check->current_step->action == TCPCHK_ACT_EXPECT) {
Gaetan Rivetb616add2020-02-07 15:37:17 +01003115 struct tcpcheck_expect *expect = &check->current_step->expect;
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003116 char *diag;
3117 int match;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003118
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01003119 if (unlikely(check->result == CHK_RES_FAILED))
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003120 goto out_end_tcpcheck;
3121
Olivier Houchard0ba6c852019-07-18 15:09:08 +02003122 /* If we already subscribed, then we tried to received
3123 * and failed, so there's no point trying again.
3124 */
3125 if (check->wait_list.events & SUB_RETRY_RECV)
3126 break;
Olivier Houchard511efea2018-08-16 15:30:32 +02003127 if (cs->conn->mux->rcv_buf(cs, &check->bi, b_size(&check->bi), 0) <= 0) {
Willy Tarreau4ff3b892017-10-16 15:17:17 +02003128 if (conn->flags & (CO_FL_ERROR | CO_FL_SOCK_RD_SH) || cs->flags & CS_FL_ERROR) {
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003129 done = 1;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003130 if ((conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) && !b_data(&check->bi)) {
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003131 /* Report network errors only if we got no other data. Otherwise
3132 * we'll let the upper layers decide whether the response is OK
3133 * or not. It is very common that an RST sent by the server is
3134 * reported as an error just after the last data chunk.
3135 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +02003136 chk_report_conn_err(check, errno, 0);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003137 goto out_end_tcpcheck;
3138 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003139 }
Olivier Houchardaf4021e2018-08-09 13:06:55 +02003140 else {
Willy Tarreau4f6516d2018-12-19 13:59:17 +01003141 conn->mux->subscribe(cs, SUB_RETRY_RECV, &check->wait_list);
Willy Tarreau263013d2015-05-13 11:59:14 +02003142 break;
Olivier Houchardaf4021e2018-08-09 13:06:55 +02003143 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003144 }
3145
Gaetan Rivet4038b942020-02-26 16:19:40 +01003146 /* Having received new data, reset the expect chain to its head. */
Gaetan Rivetb616add2020-02-07 15:37:17 +01003147 check->current_step = expect->head;
Gaetan Rivet4038b942020-02-26 16:19:40 +01003148
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003149 /* mark the step as started */
3150 check->last_started_step = check->current_step;
3151
3152
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003153 /* Intermediate or complete response received.
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003154 * Terminate string in b_head(&check->bi) buffer.
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003155 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003156 if (b_data(&check->bi) < b_size(&check->bi)) {
3157 b_head(&check->bi)[b_data(&check->bi)] = '\0';
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003158 }
3159 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003160 b_head(&check->bi)[b_data(&check->bi) - 1] = '\0';
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003161 done = 1; /* buffer full, don't wait for more data */
3162 }
3163
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003164 contentptr = b_head(&check->bi);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003165
3166 /* Check that response body is not empty... */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003167 if (!b_data(&check->bi)) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003168 if (!done)
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003169 continue;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003170
3171 /* empty response */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02003172 step = tcpcheck_get_step_id(check);
3173 chunk_printf(&trash, "TCPCHK got an empty response at step %d", step);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003174 comment = tcpcheck_get_step_comment(check, step);
3175 if (comment)
3176 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02003177 set_server_check_status(check, HCHK_STATUS_L7RSP,
3178 trash.area);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003179
3180 goto out_end_tcpcheck;
3181 }
3182
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003183 next_tcpcheck_expect:
Gaetan Rivet1afd8262020-02-07 15:37:17 +01003184 /* The current expect might need more data than the previous one, check again
3185 * that the minimum amount data required to match is respected.
3186 */
Gaetan Rivetb616add2020-02-07 15:37:17 +01003187 if (!done) {
3188 if ((expect->type == TCPCHK_EXPECT_STRING || expect->type == TCPCHK_EXPECT_BINARY) &&
3189 (b_data(&check->bi) < expect->length))
3190 continue; /* try to read more */
3191 if (expect->min_recv > 0 && (b_data(&check->bi) < expect->min_recv))
3192 continue; /* try to read more */
3193 }
3194
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003195 /* Make GCC happy ; initialize match to a failure state. */
3196 match = expect->inverse;
3197
Gaetan Rivetb616add2020-02-07 15:37:17 +01003198 switch (expect->type) {
3199 case TCPCHK_EXPECT_STRING:
3200 case TCPCHK_EXPECT_BINARY:
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003201 match = my_memmem(contentptr, b_data(&check->bi), expect->string, expect->length) != NULL;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003202 break;
3203 case TCPCHK_EXPECT_REGEX:
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003204 match = regex_exec(expect->regex, contentptr);
Gaetan Rivetb616add2020-02-07 15:37:17 +01003205 break;
3206 case TCPCHK_EXPECT_UNDEF:
3207 /* Should never happen. */
3208 retcode = -1;
3209 goto out;
3210 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003211
Gaetan Rivet1afd8262020-02-07 15:37:17 +01003212 /* Wait for more data on mismatch only if no minimum is defined (-1),
3213 * otherwise the absence of match is already conclusive.
3214 */
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003215 if (!match && !done && (expect->min_recv == -1))
Willy Tarreaua970c282013-12-06 12:47:19 +01003216 continue; /* try to read more */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003217
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003218 if (match ^ expect->inverse) {
3219 /* Result as expected, next rule. */
3220 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003221
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003222 /* bypass all comment rules */
3223 while (&check->current_step->list != head &&
3224 check->current_step->action == TCPCHK_ACT_COMMENT)
3225 check->current_step = LIST_NEXT(&check->current_step->list,
3226 struct tcpcheck_rule *, list);
3227 if (&check->current_step->list == head)
3228 break;
Willy Tarreauf2c87352015-05-13 12:08:21 +02003229
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003230 if (check->current_step->action == TCPCHK_ACT_EXPECT) {
3231 expect = &check->current_step->expect;
3232 goto next_tcpcheck_expect;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003233 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003234
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003235 continue;
3236 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003237
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003238 /* From this point on, we matched something we did not want, this is an error state. */
Willy Tarreauf2c87352015-05-13 12:08:21 +02003239
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003240 step = tcpcheck_get_step_id(check);
3241 diag = match ? "matched unwanted content" : "did not match content";
Gaetan Rivetb616add2020-02-07 15:37:17 +01003242
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003243 switch (expect->type) {
3244 case TCPCHK_EXPECT_STRING:
3245 chunk_printf(&trash, "TCPCHK %s '%s' at step %d",
3246 diag, expect->string, step);
3247 break;
3248 case TCPCHK_EXPECT_BINARY:
3249 chunk_printf(&trash, "TCPCHK %s (binary) at step %d",
3250 diag, step);
3251 break;
3252 case TCPCHK_EXPECT_REGEX:
3253 chunk_printf(&trash, "TCPCHK %s (regex) at step %d",
3254 diag, step);
3255 break;
3256 case TCPCHK_EXPECT_UNDEF:
3257 /* Should never happen. */
3258 retcode = -1;
3259 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003260 }
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003261
3262 comment = tcpcheck_get_step_comment(check, step);
3263 if (comment)
3264 chunk_appendf(&trash, " comment: '%s'", comment);
3265 set_server_check_status(check, HCHK_STATUS_L7RSP,
3266 trash.area);
3267
3268 goto out_end_tcpcheck;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003269 } /* end expect */
3270 } /* end loop over double chained step list */
3271
Baptiste Assmann248f1172018-03-01 21:49:01 +01003272 /* don't do anything until the connection is established */
Willy Tarreau911db9b2020-01-23 16:27:54 +01003273 if (conn->flags & CO_FL_WAIT_XPRT) {
Baptiste Assmann248f1172018-03-01 21:49:01 +01003274 /* update expire time, should be done by process_chk */
3275 /* we allow up to min(inter, timeout.connect) for a connection
3276 * to establish but only when timeout.check is set
3277 * as it may be to short for a full check otherwise
3278 */
3279 while (tick_is_expired(t->expire, now_ms)) {
3280 int t_con;
3281
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01003282 t_con = tick_add(t->expire, proxy->timeout.connect);
Baptiste Assmann248f1172018-03-01 21:49:01 +01003283 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
3284
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01003285 if (proxy->timeout.check)
Baptiste Assmann248f1172018-03-01 21:49:01 +01003286 t->expire = tick_first(t->expire, t_con);
3287 }
3288 goto out;
3289 }
3290
Willy Tarreau263013d2015-05-13 11:59:14 +02003291 /* We're waiting for some I/O to complete, we've reached the end of the
3292 * rules, or both. Do what we have to do, otherwise we're done.
3293 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003294 if (&check->current_step->list == head && !b_data(&check->bo)) {
Willy Tarreau263013d2015-05-13 11:59:14 +02003295 set_server_check_status(check, HCHK_STATUS_L7OKD, "(tcp-check)");
3296 goto out_end_tcpcheck;
3297 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003298
Willy Tarreau53c5a042015-05-13 11:38:17 +02003299 if (&check->current_step->list != head &&
Olivier Houchard53216e72018-10-10 15:46:36 +02003300 check->current_step->action == TCPCHK_ACT_EXPECT)
Olivier Houchardaf4021e2018-08-09 13:06:55 +02003301 __event_srv_chk_r(cs);
Christopher Fauletb6102852017-11-28 10:06:29 +01003302 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003303
3304 out_end_tcpcheck:
3305 /* collect possible new errors */
Willy Tarreauef91c932019-07-23 14:37:47 +02003306 if ((conn && conn->flags & CO_FL_ERROR) || (cs && cs->flags & CS_FL_ERROR))
Willy Tarreaub5259bf2017-10-04 14:47:29 +02003307 chk_report_conn_err(check, 0, 0);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003308
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003309 /* cleanup before leaving */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003310 check->current_step = NULL;
3311
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01003312 if (check->result == CHK_RES_FAILED)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003313 conn->flags |= CO_FL_ERROR;
3314
Christopher Fauletb6102852017-11-28 10:06:29 +01003315 out:
Willy Tarreau6bdcab02017-10-04 18:41:00 +02003316 return retcode;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003317}
3318
Christopher Faulet31c30fd2020-03-26 21:10:03 +01003319static const char *init_check(struct check *check, int type)
Simon Hormanb1900d52015-01-30 11:22:54 +09003320{
3321 check->type = type;
3322
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003323 b_reset(&check->bi); check->bi.size = global.tune.chksize;
3324 b_reset(&check->bo); check->bo.size = global.tune.chksize;
Simon Hormanb1900d52015-01-30 11:22:54 +09003325
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003326 check->bi.area = calloc(check->bi.size, sizeof(char));
3327 check->bo.area = calloc(check->bo.size, sizeof(char));
3328
3329 if (!check->bi.area || !check->bo.area)
Simon Hormanb1900d52015-01-30 11:22:54 +09003330 return "out of memory while allocating check buffer";
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003331
Willy Tarreau3c39a7d2019-06-14 14:42:29 +02003332 check->wait_list.tasklet = tasklet_new();
3333 if (!check->wait_list.tasklet)
Ilya Shipitsind4259502020-04-08 01:07:56 +05003334 return "out of memory while allocating check tasklet";
Willy Tarreau4f6516d2018-12-19 13:59:17 +01003335 check->wait_list.events = 0;
Willy Tarreau3c39a7d2019-06-14 14:42:29 +02003336 check->wait_list.tasklet->process = event_srv_chk_io;
3337 check->wait_list.tasklet->context = check;
Simon Hormanb1900d52015-01-30 11:22:54 +09003338 return NULL;
3339}
3340
Simon Hormanbfb5d332015-01-30 11:22:55 +09003341void free_check(struct check *check)
3342{
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003343 task_destroy(check->task);
3344 if (check->wait_list.tasklet)
3345 tasklet_free(check->wait_list.tasklet);
3346
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003347 free(check->bi.area);
3348 free(check->bo.area);
Christopher Faulet23d86d12018-01-25 11:36:35 +01003349 if (check->cs) {
3350 free(check->cs->conn);
3351 check->cs->conn = NULL;
3352 cs_free(check->cs);
3353 check->cs = NULL;
3354 }
Simon Hormanbfb5d332015-01-30 11:22:55 +09003355}
3356
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003357void email_alert_free(struct email_alert *alert)
3358{
3359 struct tcpcheck_rule *rule, *back;
3360
3361 if (!alert)
3362 return;
3363
Christopher Fauletde1a75b2017-10-23 15:38:19 +02003364 list_for_each_entry_safe(rule, back, &alert->tcpcheck_rules, list) {
3365 LIST_DEL(&rule->list);
3366 free(rule->comment);
Gaetan Rivetb616add2020-02-07 15:37:17 +01003367 switch (rule->expect.type) {
3368 case TCPCHK_EXPECT_STRING:
3369 case TCPCHK_EXPECT_BINARY:
3370 free(rule->expect.string);
3371 break;
3372 case TCPCHK_EXPECT_REGEX:
3373 regex_free(rule->expect.regex);
3374 break;
3375 case TCPCHK_EXPECT_UNDEF:
3376 break;
3377 }
Willy Tarreaubafbe012017-11-24 17:34:44 +01003378 pool_free(pool_head_tcpcheck_rule, rule);
Christopher Fauletde1a75b2017-10-23 15:38:19 +02003379 }
Willy Tarreaubafbe012017-11-24 17:34:44 +01003380 pool_free(pool_head_email_alert, alert);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003381}
3382
Olivier Houchard9f6af332018-05-25 14:04:04 +02003383static struct task *process_email_alert(struct task *t, void *context, unsigned short state)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003384{
Olivier Houchard9f6af332018-05-25 14:04:04 +02003385 struct check *check = context;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003386 struct email_alertq *q;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003387 struct email_alert *alert;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003388
3389 q = container_of(check, typeof(*q), check);
3390
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003391 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003392 while (1) {
3393 if (!(check->state & CHK_ST_ENABLED)) {
3394 if (LIST_ISEMPTY(&q->email_alerts)) {
3395 /* All alerts processed, queue the task */
3396 t->expire = TICK_ETERNITY;
3397 task_queue(t);
Christopher Fauletc2a89a62017-10-23 15:54:24 +02003398 goto end;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003399 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003400
3401 alert = LIST_NEXT(&q->email_alerts, typeof(alert), list);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003402 LIST_DEL(&alert->list);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003403 t->expire = now_ms;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003404 check->tcpcheck_rules = &alert->tcpcheck_rules;
Olivier Houchard0923fa42019-01-11 18:43:04 +01003405 check->status = HCHK_STATUS_INI;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003406 check->state |= CHK_ST_ENABLED;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003407 }
3408
Olivier Houchard9f6af332018-05-25 14:04:04 +02003409 process_chk(t, context, state);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003410 if (check->state & CHK_ST_INPROGRESS)
3411 break;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003412
3413 alert = container_of(check->tcpcheck_rules, typeof(*alert), tcpcheck_rules);
3414 email_alert_free(alert);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003415 check->tcpcheck_rules = NULL;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003416 check->server = NULL;
3417 check->state &= ~CHK_ST_ENABLED;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003418 }
Christopher Fauletc2a89a62017-10-23 15:54:24 +02003419 end:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003420 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003421 return t;
3422}
3423
Christopher Faulet0108bb32017-10-20 21:34:32 +02003424/* Initializes mailer alerts for the proxy <p> using <mls> parameters.
3425 *
3426 * The function returns 1 in success case, otherwise, it returns 0 and err is
3427 * filled.
3428 */
3429int init_email_alert(struct mailers *mls, struct proxy *p, char **err)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003430{
Christopher Faulet0108bb32017-10-20 21:34:32 +02003431 struct mailer *mailer;
3432 struct email_alertq *queues;
3433 const char *err_str;
3434 int i = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003435
Christopher Faulet0108bb32017-10-20 21:34:32 +02003436 if ((queues = calloc(mls->count, sizeof(*queues))) == NULL) {
3437 memprintf(err, "out of memory while allocating mailer alerts queues");
mildis5ab01cb2018-10-02 16:46:34 +02003438 goto fail_no_queue;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003439 }
3440
Christopher Faulet0108bb32017-10-20 21:34:32 +02003441 for (mailer = mls->mailer_list; mailer; i++, mailer = mailer->next) {
3442 struct email_alertq *q = &queues[i];
3443 struct check *check = &q->check;
3444 struct task *t;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003445
3446 LIST_INIT(&q->email_alerts);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003447 HA_SPIN_INIT(&q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003448 check->inter = mls->timeout.mail;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003449 check->rise = DEF_AGENT_RISETIME;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01003450 check->proxy = p;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003451 check->fall = DEF_AGENT_FALLTIME;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003452 if ((err_str = init_check(check, PR_O2_TCPCHK_CHK))) {
3453 memprintf(err, "%s", err_str);
3454 goto error;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003455 }
3456
3457 check->xprt = mailer->xprt;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003458 check->addr = mailer->addr;
Christopher Fauletb797ae12018-03-27 15:35:35 +02003459 check->port = get_host_port(&mailer->addr);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003460
Emeric Brunc60def82017-09-27 14:59:38 +02003461 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet0108bb32017-10-20 21:34:32 +02003462 memprintf(err, "out of memory while allocating mailer alerts task");
3463 goto error;
3464 }
3465
3466 check->task = t;
3467 t->process = process_email_alert;
3468 t->context = check;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003469
Christopher Faulet0108bb32017-10-20 21:34:32 +02003470 /* check this in one ms */
3471 t->expire = TICK_ETERNITY;
3472 check->start = now;
3473 task_queue(t);
3474 }
3475
3476 mls->users++;
3477 free(p->email_alert.mailers.name);
3478 p->email_alert.mailers.m = mls;
3479 p->email_alert.queues = queues;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003480 return 0;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003481
3482 error:
3483 for (i = 0; i < mls->count; i++) {
3484 struct email_alertq *q = &queues[i];
3485 struct check *check = &q->check;
3486
Christopher Faulet0108bb32017-10-20 21:34:32 +02003487 free_check(check);
3488 }
3489 free(queues);
mildis5ab01cb2018-10-02 16:46:34 +02003490 fail_no_queue:
Christopher Faulet0108bb32017-10-20 21:34:32 +02003491 return 1;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003492}
3493
3494
3495static int add_tcpcheck_expect_str(struct list *list, const char *str)
3496{
Gaetan Rivet4038b942020-02-26 16:19:40 +01003497 struct tcpcheck_rule *tcpcheck, *prev_check;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003498 struct tcpcheck_expect *expect;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003499
Willy Tarreaubafbe012017-11-24 17:34:44 +01003500 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003501 return 0;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003502 memset(tcpcheck, 0, sizeof(*tcpcheck));
Gaetan Rivetb616add2020-02-07 15:37:17 +01003503 tcpcheck->action = TCPCHK_ACT_EXPECT;
3504
3505 expect = &tcpcheck->expect;
3506 expect->type = TCPCHK_EXPECT_STRING;
3507 expect->string = strdup(str);
3508 if (!expect->string) {
Willy Tarreaubafbe012017-11-24 17:34:44 +01003509 pool_free(pool_head_tcpcheck_rule, tcpcheck);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003510 return 0;
3511 }
Gaetan Rivetb616add2020-02-07 15:37:17 +01003512 expect->length = strlen(expect->string);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003513
Gaetan Rivet4038b942020-02-26 16:19:40 +01003514 /* All tcp-check expect points back to the first inverse expect rule
3515 * in a chain of one or more expect rule, potentially itself.
3516 */
Gaetan Rivetb616add2020-02-07 15:37:17 +01003517 tcpcheck->expect.head = tcpcheck;
Gaetan Rivet4038b942020-02-26 16:19:40 +01003518 list_for_each_entry_rev(prev_check, list, list) {
3519 if (prev_check->action == TCPCHK_ACT_EXPECT) {
Gaetan Rivetb616add2020-02-07 15:37:17 +01003520 if (prev_check->expect.inverse)
3521 tcpcheck->expect.head = prev_check;
Gaetan Rivet4038b942020-02-26 16:19:40 +01003522 continue;
3523 }
3524 if (prev_check->action != TCPCHK_ACT_COMMENT)
3525 break;
3526 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003527 LIST_ADDQ(list, &tcpcheck->list);
3528 return 1;
3529}
3530
3531static int add_tcpcheck_send_strs(struct list *list, const char * const *strs)
3532{
3533 struct tcpcheck_rule *tcpcheck;
Willy Tarreau64345aa2016-08-10 19:29:09 +02003534 const char *in;
3535 char *dst;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003536 int i;
3537
Willy Tarreaubafbe012017-11-24 17:34:44 +01003538 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003539 return 0;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003540 memset(tcpcheck, 0, sizeof(*tcpcheck));
3541 tcpcheck->action = TCPCHK_ACT_SEND;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003542 tcpcheck->comment = NULL;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003543 tcpcheck->string_len = 0;
3544 for (i = 0; strs[i]; i++)
3545 tcpcheck->string_len += strlen(strs[i]);
3546
3547 tcpcheck->string = malloc(tcpcheck->string_len + 1);
3548 if (!tcpcheck->string) {
Willy Tarreaubafbe012017-11-24 17:34:44 +01003549 pool_free(pool_head_tcpcheck_rule, tcpcheck);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003550 return 0;
3551 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003552
Willy Tarreau64345aa2016-08-10 19:29:09 +02003553 dst = tcpcheck->string;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003554 for (i = 0; strs[i]; i++)
Willy Tarreau64345aa2016-08-10 19:29:09 +02003555 for (in = strs[i]; (*dst = *in++); dst++);
3556 *dst = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003557
3558 LIST_ADDQ(list, &tcpcheck->list);
3559 return 1;
3560}
3561
Christopher Faulet0108bb32017-10-20 21:34:32 +02003562static int enqueue_one_email_alert(struct proxy *p, struct server *s,
3563 struct email_alertq *q, const char *msg)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003564{
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003565 struct email_alert *alert;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003566 struct tcpcheck_rule *tcpcheck;
3567 struct check *check = &q->check;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003568
Willy Tarreaubafbe012017-11-24 17:34:44 +01003569 if ((alert = pool_alloc(pool_head_email_alert)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003570 goto error;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003571 LIST_INIT(&alert->list);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003572 LIST_INIT(&alert->tcpcheck_rules);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003573 alert->srv = s;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003574
Willy Tarreaubafbe012017-11-24 17:34:44 +01003575 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003576 goto error;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003577 memset(tcpcheck, 0, sizeof(*tcpcheck));
3578 tcpcheck->action = TCPCHK_ACT_CONNECT;
3579 tcpcheck->comment = NULL;
3580 tcpcheck->string = NULL;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003581 LIST_ADDQ(&alert->tcpcheck_rules, &tcpcheck->list);
3582
3583 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "220 "))
3584 goto error;
3585
3586 {
3587 const char * const strs[4] = { "EHLO ", p->email_alert.myhostname, "\r\n" };
3588 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3589 goto error;
3590 }
3591
3592 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3593 goto error;
3594
3595 {
3596 const char * const strs[4] = { "MAIL FROM:<", p->email_alert.from, ">\r\n" };
3597 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3598 goto error;
3599 }
3600
3601 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3602 goto error;
3603
3604 {
3605 const char * const strs[4] = { "RCPT TO:<", p->email_alert.to, ">\r\n" };
3606 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3607 goto error;
3608 }
3609
3610 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3611 goto error;
3612
3613 {
3614 const char * const strs[2] = { "DATA\r\n" };
3615 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3616 goto error;
3617 }
3618
3619 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "354 "))
3620 goto error;
3621
3622 {
3623 struct tm tm;
3624 char datestr[48];
3625 const char * const strs[18] = {
Pieter Baauw5e0964e2016-02-13 16:27:35 +01003626 "From: ", p->email_alert.from, "\r\n",
3627 "To: ", p->email_alert.to, "\r\n",
3628 "Date: ", datestr, "\r\n",
3629 "Subject: [HAproxy Alert] ", msg, "\r\n",
3630 "\r\n",
3631 msg, "\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003632 "\r\n",
Pieter Baauwed35c372015-07-22 19:51:54 +02003633 ".\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003634 NULL
3635 };
3636
3637 get_localtime(date.tv_sec, &tm);
3638
3639 if (strftime(datestr, sizeof(datestr), "%a, %d %b %Y %T %z (%Z)", &tm) == 0) {
3640 goto error;
3641 }
3642
3643 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3644 goto error;
3645 }
3646
3647 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3648 goto error;
3649
3650 {
3651 const char * const strs[2] = { "QUIT\r\n" };
3652 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3653 goto error;
3654 }
3655
3656 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "221 "))
3657 goto error;
3658
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003659 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003660 task_wakeup(check->task, TASK_WOKEN_MSG);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003661 LIST_ADDQ(&q->email_alerts, &alert->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003662 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003663 return 1;
3664
3665error:
3666 email_alert_free(alert);
3667 return 0;
3668}
3669
Christopher Faulet0108bb32017-10-20 21:34:32 +02003670static void enqueue_email_alert(struct proxy *p, struct server *s, const char *msg)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003671{
3672 int i;
3673 struct mailer *mailer;
3674
3675 for (i = 0, mailer = p->email_alert.mailers.m->mailer_list;
3676 i < p->email_alert.mailers.m->count; i++, mailer = mailer->next) {
Christopher Faulet0108bb32017-10-20 21:34:32 +02003677 if (!enqueue_one_email_alert(p, s, &p->email_alert.queues[i], msg)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01003678 ha_alert("Email alert [%s] could not be enqueued: out of memory\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003679 return;
3680 }
3681 }
3682
3683 return;
3684}
3685
3686/*
3687 * Send email alert if configured.
3688 */
Simon Horman64e34162015-02-06 11:11:57 +09003689void send_email_alert(struct server *s, int level, const char *format, ...)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003690{
3691 va_list argp;
3692 char buf[1024];
3693 int len;
3694 struct proxy *p = s->proxy;
3695
Christopher Faulet0108bb32017-10-20 21:34:32 +02003696 if (!p->email_alert.mailers.m || level > p->email_alert.level || format == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003697 return;
3698
3699 va_start(argp, format);
3700 len = vsnprintf(buf, sizeof(buf), format, argp);
3701 va_end(argp);
3702
Thierry FOURNIER62c8a212017-02-09 12:19:27 +01003703 if (len < 0 || len >= sizeof(buf)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01003704 ha_alert("Email alert [%s] could not format message\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003705 return;
3706 }
3707
Christopher Faulet0108bb32017-10-20 21:34:32 +02003708 enqueue_email_alert(p, s, buf);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003709}
3710
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003711/*
3712 * Return value:
3713 * the port to be used for the health check
3714 * 0 in case no port could be found for the check
3715 */
Christopher Faulet31c30fd2020-03-26 21:10:03 +01003716static int srv_check_healthcheck_port(struct check *chk)
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003717{
3718 int i = 0;
3719 struct server *srv = NULL;
3720
3721 srv = chk->server;
3722
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003723 /* by default, we use the health check port ocnfigured */
3724 if (chk->port > 0)
3725 return chk->port;
3726
3727 /* try to get the port from check_core.addr if check.port not set */
3728 i = get_host_port(&chk->addr);
3729 if (i > 0)
3730 return i;
3731
3732 /* try to get the port from server address */
3733 /* prevent MAPPORTS from working at this point, since checks could
3734 * not be performed in such case (MAPPORTS impose a relative ports
3735 * based on live traffic)
3736 */
3737 if (srv->flags & SRV_F_MAPPORTS)
3738 return 0;
Willy Tarreau04276f32017-01-06 17:41:29 +01003739
3740 i = srv->svc_port; /* by default */
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003741 if (i > 0)
3742 return i;
3743
3744 return 0;
3745}
3746
Willy Tarreau172f5ce2018-11-26 11:21:50 +01003747REGISTER_POST_CHECK(start_checks);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003748
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003749static int init_srv_check(struct server *srv)
3750{
3751 const char *err;
3752 struct tcpcheck_rule *r;
3753 int ret = 0;
3754
3755 if (!srv->do_check)
3756 goto out;
3757
3758
3759 /* If neither a port nor an addr was specified and no check transport
3760 * layer is forced, then the transport layer used by the checks is the
3761 * same as for the production traffic. Otherwise we use raw_sock by
3762 * default, unless one is specified.
3763 */
3764 if (!srv->check.port && !is_addr(&srv->check.addr)) {
3765 if (!srv->check.use_ssl && srv->use_ssl != -1) {
3766 srv->check.use_ssl = srv->use_ssl;
3767 srv->check.xprt = srv->xprt;
3768 }
3769 else if (srv->check.use_ssl == 1)
3770 srv->check.xprt = xprt_get(XPRT_SSL);
3771
3772 srv->check.send_proxy |= (srv->pp_opts);
3773 }
3774
3775 /* validate <srv> server health-check settings */
3776
3777 /* We need at least a service port, a check port or the first tcp-check
3778 * rule must be a 'connect' one when checking an IPv4/IPv6 server.
3779 */
3780 if ((srv_check_healthcheck_port(&srv->check) != 0) ||
3781 (!is_inet_addr(&srv->check.addr) && (is_addr(&srv->check.addr) || !is_inet_addr(&srv->addr))))
3782 goto init;
3783
3784 if (!LIST_ISEMPTY(&srv->proxy->tcpcheck_rules)) {
3785 ha_alert("config: %s '%s': server '%s' has neither service port nor check port.\n",
3786 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3787 ret |= ERR_ALERT | ERR_ABORT;
3788 goto out;
3789 }
3790
3791 /* search the first action (connect / send / expect) in the list */
3792 r = get_first_tcpcheck_rule(&srv->proxy->tcpcheck_rules);
3793 if (!r || (r->action != TCPCHK_ACT_CONNECT) || !r->port) {
3794 ha_alert("config: %s '%s': server '%s' has neither service port nor check port "
3795 "nor tcp_check rule 'connect' with port information.\n",
3796 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3797 ret |= ERR_ALERT | ERR_ABORT;
3798 goto out;
3799 }
3800
3801 /* scan the tcp-check ruleset to ensure a port has been configured */
3802 list_for_each_entry(r, &srv->proxy->tcpcheck_rules, list) {
3803 if ((r->action == TCPCHK_ACT_CONNECT) && (!r->port)) {
3804 ha_alert("config: %s '%s': server '%s' has neither service port nor check port, "
3805 "and a tcp_check rule 'connect' with no port information.\n",
3806 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3807 ret |= ERR_ALERT | ERR_ABORT;
3808 goto out;
3809 }
3810 }
3811
3812 init:
3813 err = init_check(&srv->check, srv->proxy->options2 & PR_O2_CHK_ANY);
3814 if (err) {
3815 ha_alert("config: %s '%s': unable to init check for server '%s' (%s).\n",
3816 proxy_type_str(srv->proxy), srv->proxy->id, srv->id, err);
3817 ret |= ERR_ALERT | ERR_ABORT;
3818 goto out;
3819 }
3820 srv->check.state |= CHK_ST_CONFIGURED | CHK_ST_ENABLED;
3821 global.maxsock++;
3822
3823 out:
3824 return ret;
3825}
3826
3827static int init_srv_agent_check(struct server *srv)
3828{
3829 const char *err;
3830 int ret = 0;
3831
3832 if (!srv->do_agent)
3833 goto out;
3834
3835 err = init_check(&srv->agent, PR_O2_LB_AGENT_CHK);
3836 if (err) {
3837 ha_alert("config: %s '%s': unable to init agent-check for server '%s' (%s).\n",
3838 proxy_type_str(srv->proxy), srv->proxy->id, srv->id, err);
3839 ret |= ERR_ALERT | ERR_ABORT;
3840 goto out;
3841 }
3842
3843 if (!srv->agent.inter)
3844 srv->agent.inter = srv->check.inter;
3845
3846 srv->agent.state |= CHK_ST_CONFIGURED | CHK_ST_ENABLED | CHK_ST_AGENT;
3847 global.maxsock++;
3848
3849 out:
3850 return ret;
3851}
3852
3853static void deinit_srv_check(struct server *srv)
3854{
3855 if (srv->do_check)
3856 free_check(&srv->check);
3857}
3858
3859
3860static void deinit_srv_agent_check(struct server *srv)
3861{
3862 if (srv->do_agent)
3863 free_check(&srv->agent);
3864 free(srv->agent.send_string);
3865}
3866
3867REGISTER_POST_SERVER_CHECK(init_srv_check);
3868REGISTER_POST_SERVER_CHECK(init_srv_agent_check);
3869
3870REGISTER_SERVER_DEINIT(deinit_srv_check);
3871REGISTER_SERVER_DEINIT(deinit_srv_agent_check);
3872
Willy Tarreaubd741542010-03-16 18:46:54 +01003873/*
Willy Tarreaubaaee002006-06-26 02:48:02 +02003874 * Local variables:
3875 * c-indent-level: 8
3876 * c-basic-offset: 8
3877 * End:
3878 */