blob: 49a0f3da64b1fb4fae0151fce4b3bb082fcd27fa [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
Christopher Fauletfd6c2292020-03-25 18:20:15 +010033#include <common/cfgparse.h>
Willy Tarreauc7e42382012-08-24 19:22:53 +020034#include <common/chunk.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020035#include <common/compat.h>
36#include <common/config.h>
37#include <common/mini-clist.h>
Willy Tarreau83749182007-04-15 20:56:27 +020038#include <common/standard.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020039#include <common/time.h>
Christopher Fauletcfda8472017-10-20 15:40:23 +020040#include <common/hathreads.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020041
42#include <types/global.h>
Baptiste Assmanna68ca962015-04-14 01:15:08 +020043#include <types/dns.h>
William Lallemand9ed62032016-11-21 17:49:11 +010044#include <types/stats.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020045
46#include <proto/backend.h>
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020047#include <proto/checks.h>
William Lallemand9ed62032016-11-21 17:49:11 +010048#include <proto/stats.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020049#include <proto/fd.h>
50#include <proto/log.h>
Willy Tarreau53a47662017-08-28 10:53:00 +020051#include <proto/mux_pt.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020052#include <proto/queue.h>
Willy Tarreauc6f4ce82009-06-10 11:09:37 +020053#include <proto/port_range.h>
Willy Tarreaue8c66af2008-01-13 18:40:14 +010054#include <proto/proto_tcp.h>
Baptiste Assmann69e273f2013-12-11 00:52:19 +010055#include <proto/protocol.h>
Willy Tarreau2b5652f2006-12-31 17:46:05 +010056#include <proto/proxy.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020057#include <proto/server.h>
Willy Tarreau48d6bf22016-06-21 16:27:34 +020058#include <proto/signal.h>
Willy Tarreau9e000c62011-03-10 14:03:36 +010059#include <proto/stream_interface.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020060#include <proto/task.h>
Baptiste Assmanna68ca962015-04-14 01:15:08 +020061#include <proto/log.h>
62#include <proto/dns.h>
63#include <proto/proto_udp.h>
Olivier Houchard9130a962017-10-17 17:33:43 +020064#include <proto/ssl_sock.h>
Olivier Houchard9130a962017-10-17 17:33:43 +020065
Willy Tarreaubd741542010-03-16 18:46:54 +010066static int httpchk_expect(struct server *s, int done);
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +020067static int tcpcheck_get_step_id(struct check *, struct tcpcheck_rule *);
68static char *tcpcheck_get_step_comment(struct check *, struct tcpcheck_rule *);
Willy Tarreau6bdcab02017-10-04 18:41:00 +020069static int tcpcheck_main(struct check *);
Olivier Houchard910b2bc2018-07-17 18:49:38 +020070static void __event_srv_chk_w(struct conn_stream *cs);
Olivier Houchard4501c3e2018-08-28 19:36:18 +020071static int wake_srv_chk(struct conn_stream *cs);
Olivier Houchardaf4021e2018-08-09 13:06:55 +020072static void __event_srv_chk_r(struct conn_stream *cs);
Willy Tarreaubd741542010-03-16 18:46:54 +010073
Christopher Faulet31c30fd2020-03-26 21:10:03 +010074static int srv_check_healthcheck_port(struct check *chk);
75
Willy Tarreau8ceae722018-11-26 11:58:30 +010076DECLARE_STATIC_POOL(pool_head_email_alert, "email_alert", sizeof(struct email_alert));
77DECLARE_STATIC_POOL(pool_head_tcpcheck_rule, "tcpcheck_rule", sizeof(struct tcpcheck_rule));
Christopher Faulet31dff9b2017-10-23 15:45:20 +020078
Gaetan Rivet05d692d2020-02-14 17:42:54 +010079/* Dummy frontend used to create all checks sessions. */
80static struct proxy checks_fe;
Christopher Faulet31dff9b2017-10-23 15:45:20 +020081
Simon Horman63a4a822012-03-19 07:24:41 +090082static const struct check_status check_statuses[HCHK_STATUS_SIZE] = {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010083 [HCHK_STATUS_UNKNOWN] = { CHK_RES_UNKNOWN, "UNK", "Unknown" },
84 [HCHK_STATUS_INI] = { CHK_RES_UNKNOWN, "INI", "Initializing" },
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +020085 [HCHK_STATUS_START] = { /* SPECIAL STATUS*/ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020086
Willy Tarreau23964182014-05-20 20:56:30 +020087 /* Below we have finished checks */
88 [HCHK_STATUS_CHECKED] = { CHK_RES_NEUTRAL, "CHECKED", "No status change" },
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010089 [HCHK_STATUS_HANA] = { CHK_RES_FAILED, "HANA", "Health analyze" },
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +010090
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010091 [HCHK_STATUS_SOCKERR] = { CHK_RES_FAILED, "SOCKERR", "Socket error" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020092
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010093 [HCHK_STATUS_L4OK] = { CHK_RES_PASSED, "L4OK", "Layer4 check passed" },
94 [HCHK_STATUS_L4TOUT] = { CHK_RES_FAILED, "L4TOUT", "Layer4 timeout" },
95 [HCHK_STATUS_L4CON] = { CHK_RES_FAILED, "L4CON", "Layer4 connection problem" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020096
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010097 [HCHK_STATUS_L6OK] = { CHK_RES_PASSED, "L6OK", "Layer6 check passed" },
98 [HCHK_STATUS_L6TOUT] = { CHK_RES_FAILED, "L6TOUT", "Layer6 timeout" },
99 [HCHK_STATUS_L6RSP] = { CHK_RES_FAILED, "L6RSP", "Layer6 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200100
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100101 [HCHK_STATUS_L7TOUT] = { CHK_RES_FAILED, "L7TOUT", "Layer7 timeout" },
102 [HCHK_STATUS_L7RSP] = { CHK_RES_FAILED, "L7RSP", "Layer7 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200103
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200104 [HCHK_STATUS_L57DATA] = { /* DUMMY STATUS */ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200105
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100106 [HCHK_STATUS_L7OKD] = { CHK_RES_PASSED, "L7OK", "Layer7 check passed" },
107 [HCHK_STATUS_L7OKCD] = { CHK_RES_CONDPASS, "L7OKC", "Layer7 check conditionally passed" },
108 [HCHK_STATUS_L7STS] = { CHK_RES_FAILED, "L7STS", "Layer7 wrong status" },
Simon Horman98637e52014-06-20 12:30:16 +0900109
110 [HCHK_STATUS_PROCERR] = { CHK_RES_FAILED, "PROCERR", "External check error" },
111 [HCHK_STATUS_PROCTOUT] = { CHK_RES_FAILED, "PROCTOUT", "External check timeout" },
Cyril Bonté77010d82014-08-07 01:55:37 +0200112 [HCHK_STATUS_PROCOK] = { CHK_RES_PASSED, "PROCOK", "External check passed" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200113};
114
Cyril Bontéac92a062014-12-27 22:28:38 +0100115const struct extcheck_env extcheck_envs[EXTCHK_SIZE] = {
116 [EXTCHK_PATH] = { "PATH", EXTCHK_SIZE_EVAL_INIT },
117 [EXTCHK_HAPROXY_PROXY_NAME] = { "HAPROXY_PROXY_NAME", EXTCHK_SIZE_EVAL_INIT },
118 [EXTCHK_HAPROXY_PROXY_ID] = { "HAPROXY_PROXY_ID", EXTCHK_SIZE_EVAL_INIT },
119 [EXTCHK_HAPROXY_PROXY_ADDR] = { "HAPROXY_PROXY_ADDR", EXTCHK_SIZE_EVAL_INIT },
120 [EXTCHK_HAPROXY_PROXY_PORT] = { "HAPROXY_PROXY_PORT", EXTCHK_SIZE_EVAL_INIT },
121 [EXTCHK_HAPROXY_SERVER_NAME] = { "HAPROXY_SERVER_NAME", EXTCHK_SIZE_EVAL_INIT },
122 [EXTCHK_HAPROXY_SERVER_ID] = { "HAPROXY_SERVER_ID", EXTCHK_SIZE_EVAL_INIT },
Christopher Fauletaaae9a02020-04-26 09:50:31 +0200123 [EXTCHK_HAPROXY_SERVER_ADDR] = { "HAPROXY_SERVER_ADDR", EXTCHK_SIZE_ADDR },
124 [EXTCHK_HAPROXY_SERVER_PORT] = { "HAPROXY_SERVER_PORT", EXTCHK_SIZE_UINT },
Cyril Bontéac92a062014-12-27 22:28:38 +0100125 [EXTCHK_HAPROXY_SERVER_MAXCONN] = { "HAPROXY_SERVER_MAXCONN", EXTCHK_SIZE_EVAL_INIT },
126 [EXTCHK_HAPROXY_SERVER_CURCONN] = { "HAPROXY_SERVER_CURCONN", EXTCHK_SIZE_ULONG },
127};
128
Simon Horman63a4a822012-03-19 07:24:41 +0900129static const struct analyze_status analyze_statuses[HANA_STATUS_SIZE] = { /* 0: ignore, 1: error, 2: OK */
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100130 [HANA_STATUS_UNKNOWN] = { "Unknown", { 0, 0 }},
131
132 [HANA_STATUS_L4_OK] = { "L4 successful connection", { 2, 0 }},
133 [HANA_STATUS_L4_ERR] = { "L4 unsuccessful connection", { 1, 1 }},
134
135 [HANA_STATUS_HTTP_OK] = { "Correct http response", { 0, 2 }},
136 [HANA_STATUS_HTTP_STS] = { "Wrong http response", { 0, 1 }},
137 [HANA_STATUS_HTTP_HDRRSP] = { "Invalid http response (headers)", { 0, 1 }},
138 [HANA_STATUS_HTTP_RSP] = { "Invalid http response", { 0, 1 }},
139
140 [HANA_STATUS_HTTP_READ_ERROR] = { "Read error (http)", { 0, 1 }},
141 [HANA_STATUS_HTTP_READ_TIMEOUT] = { "Read timeout (http)", { 0, 1 }},
142 [HANA_STATUS_HTTP_BROKEN_PIPE] = { "Close from server (http)", { 0, 1 }},
143};
144
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100145/* checks if <err> is a real error for errno or one that can be ignored, and
146 * return 0 for these ones or <err> for real ones.
147 */
148static inline int unclean_errno(int err)
149{
150 if (err == EAGAIN || err == EINPROGRESS ||
151 err == EISCONN || err == EALREADY)
152 return 0;
153 return err;
154}
155
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200156/*
157 * Convert check_status code to description
158 */
159const char *get_check_status_description(short check_status) {
160
161 const char *desc;
162
163 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200164 desc = check_statuses[check_status].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200165 else
166 desc = NULL;
167
168 if (desc && *desc)
169 return desc;
170 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200171 return check_statuses[HCHK_STATUS_UNKNOWN].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200172}
173
174/*
175 * Convert check_status code to short info
176 */
177const char *get_check_status_info(short check_status) {
178
179 const char *info;
180
181 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200182 info = check_statuses[check_status].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200183 else
184 info = NULL;
185
186 if (info && *info)
187 return info;
188 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200189 return check_statuses[HCHK_STATUS_UNKNOWN].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200190}
191
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100192const char *get_analyze_status(short analyze_status) {
193
194 const char *desc;
195
196 if (analyze_status < HANA_STATUS_SIZE)
197 desc = analyze_statuses[analyze_status].desc;
198 else
199 desc = NULL;
200
201 if (desc && *desc)
202 return desc;
203 else
204 return analyze_statuses[HANA_STATUS_UNKNOWN].desc;
205}
206
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200207/*
Simon Horman4a741432013-02-23 15:35:38 +0900208 * Set check->status, update check->duration and fill check->result with
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200209 * an adequate CHK_RES_* value. The new check->health is computed based
210 * on the result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200211 *
212 * Show information in logs about failed health check if server is UP
213 * or succeeded health checks if server is DOWN.
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200214 */
Simon Horman4a741432013-02-23 15:35:38 +0900215static void set_server_check_status(struct check *check, short status, const char *desc)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100216{
Simon Horman4a741432013-02-23 15:35:38 +0900217 struct server *s = check->server;
Willy Tarreaubef1b322014-05-13 21:01:39 +0200218 short prev_status = check->status;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200219 int report = 0;
Simon Horman4a741432013-02-23 15:35:38 +0900220
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200221 if (status == HCHK_STATUS_START) {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100222 check->result = CHK_RES_UNKNOWN; /* no result yet */
Simon Horman4a741432013-02-23 15:35:38 +0900223 check->desc[0] = '\0';
224 check->start = now;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200225 return;
226 }
227
Simon Horman4a741432013-02-23 15:35:38 +0900228 if (!check->status)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200229 return;
230
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200231 if (desc && *desc) {
Simon Horman4a741432013-02-23 15:35:38 +0900232 strncpy(check->desc, desc, HCHK_DESC_LEN-1);
233 check->desc[HCHK_DESC_LEN-1] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200234 } else
Simon Horman4a741432013-02-23 15:35:38 +0900235 check->desc[0] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200236
Simon Horman4a741432013-02-23 15:35:38 +0900237 check->status = status;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200238 if (check_statuses[status].result)
Simon Horman4a741432013-02-23 15:35:38 +0900239 check->result = check_statuses[status].result;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200240
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100241 if (status == HCHK_STATUS_HANA)
Simon Horman4a741432013-02-23 15:35:38 +0900242 check->duration = -1;
243 else if (!tv_iszero(&check->start)) {
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200244 /* set_server_check_status() may be called more than once */
Simon Horman4a741432013-02-23 15:35:38 +0900245 check->duration = tv_ms_elapsed(&check->start, &now);
246 tv_zero(&check->start);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200247 }
248
Willy Tarreau23964182014-05-20 20:56:30 +0200249 /* no change is expected if no state change occurred */
250 if (check->result == CHK_RES_NEUTRAL)
251 return;
252
Olivier Houchard0923fa42019-01-11 18:43:04 +0100253 /* If the check was really just sending a mail, it won't have an
254 * associated server, so we're done now.
255 */
256 if (!s)
257 return;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200258 report = 0;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200259
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200260 switch (check->result) {
261 case CHK_RES_FAILED:
Willy Tarreau12634e12014-05-23 11:32:36 +0200262 /* Failure to connect to the agent as a secondary check should not
263 * cause the server to be marked down.
264 */
265 if ((!(check->state & CHK_ST_AGENT) ||
Simon Hormaneaabd522015-02-26 11:26:17 +0900266 (check->status >= HCHK_STATUS_L57DATA)) &&
Christopher Fauletb119a792018-05-02 12:12:45 +0200267 (check->health > 0)) {
Olivier Houchard7059c552019-03-08 18:49:32 +0100268 _HA_ATOMIC_ADD(&s->counters.failed_checks, 1);
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200269 report = 1;
270 check->health--;
271 if (check->health < check->rise)
272 check->health = 0;
273 }
274 break;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200275
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200276 case CHK_RES_PASSED:
277 case CHK_RES_CONDPASS: /* "condpass" cannot make the first step but it OK after a "passed" */
278 if ((check->health < check->rise + check->fall - 1) &&
279 (check->result == CHK_RES_PASSED || check->health > 0)) {
280 report = 1;
281 check->health++;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200282
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200283 if (check->health >= check->rise)
284 check->health = check->rise + check->fall - 1; /* OK now */
285 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200286
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200287 /* clear consecutive_errors if observing is enabled */
288 if (s->onerror)
289 s->consecutive_errors = 0;
290 break;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100291
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200292 default:
293 break;
294 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200295
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200296 if (s->proxy->options2 & PR_O2_LOGHCHKS &&
297 (status != prev_status || report)) {
298 chunk_printf(&trash,
Willy Tarreau12634e12014-05-23 11:32:36 +0200299 "%s check for %sserver %s/%s %s%s",
300 (check->state & CHK_ST_AGENT) ? "Agent" : "Health",
Willy Tarreauc93cd162014-05-13 15:54:22 +0200301 s->flags & SRV_F_BACKUP ? "backup " : "",
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100302 s->proxy->id, s->id,
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100303 (check->result == CHK_RES_CONDPASS) ? "conditionally ":"",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200304 (check->result >= CHK_RES_PASSED) ? "succeeded" : "failed");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200305
Emeric Brun5a133512017-10-19 14:42:30 +0200306 srv_append_status(&trash, s, check, -1, 0);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200307
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100308 chunk_appendf(&trash, ", status: %d/%d %s",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200309 (check->health >= check->rise) ? check->health - check->rise + 1 : check->health,
310 (check->health >= check->rise) ? check->fall : check->rise,
311 (check->health >= check->rise) ? (s->uweight ? "UP" : "DRAIN") : "DOWN");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200312
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200313 ha_warning("%s.\n", trash.area);
314 send_log(s->proxy, LOG_NOTICE, "%s.\n", trash.area);
315 send_email_alert(s, LOG_INFO, "%s", trash.area);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200316 }
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200317}
318
Willy Tarreau4eec5472014-05-20 22:32:27 +0200319/* Marks the check <check>'s server down if the current check is already failed
320 * and the server is not down yet nor in maintenance.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200321 */
Willy Tarreau4eec5472014-05-20 22:32:27 +0200322static void check_notify_failure(struct check *check)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200323{
Simon Horman4a741432013-02-23 15:35:38 +0900324 struct server *s = check->server;
Simon Hormane0d1bfb2011-06-21 14:34:58 +0900325
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200326 /* The agent secondary check should only cause a server to be marked
327 * as down if check->status is HCHK_STATUS_L7STS, which indicates
328 * that the agent returned "fail", "stopped" or "down".
329 * The implication here is that failure to connect to the agent
330 * as a secondary check should not cause the server to be marked
331 * down. */
332 if ((check->state & CHK_ST_AGENT) && check->status != HCHK_STATUS_L7STS)
333 return;
334
Willy Tarreau4eec5472014-05-20 22:32:27 +0200335 if (check->health > 0)
336 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100337
Willy Tarreau4eec5472014-05-20 22:32:27 +0200338 /* We only report a reason for the check if we did not do so previously */
Emeric Brun5a133512017-10-19 14:42:30 +0200339 srv_set_stopped(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200340}
341
Willy Tarreauaf549582014-05-16 17:37:50 +0200342/* Marks the check <check> as valid and tries to set its server up, provided
Willy Tarreau3e048382014-05-21 10:30:54 +0200343 * it isn't in maintenance, it is not tracking a down server and other checks
344 * comply. The rule is simple : by default, a server is up, unless any of the
345 * following conditions is true :
346 * - health check failed (check->health < rise)
347 * - agent check failed (agent->health < rise)
348 * - the server tracks a down server (track && track->state == STOPPED)
349 * Note that if the server has a slowstart, it will switch to STARTING instead
350 * of RUNNING. Also, only the health checks support the nolb mode, so the
351 * agent's success may not take the server out of this mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200352 */
Willy Tarreau3e048382014-05-21 10:30:54 +0200353static void check_notify_success(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200354{
Simon Horman4a741432013-02-23 15:35:38 +0900355 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100356
Emeric Brun52a91d32017-08-31 14:41:55 +0200357 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200358 return;
Cyril Bontécd19e512010-01-31 22:34:03 +0100359
Emeric Brun52a91d32017-08-31 14:41:55 +0200360 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreauaf549582014-05-16 17:37:50 +0200361 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100362
Willy Tarreau3e048382014-05-21 10:30:54 +0200363 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
364 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100365
Willy Tarreau3e048382014-05-21 10:30:54 +0200366 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
367 return;
Willy Tarreauaf549582014-05-16 17:37:50 +0200368
Emeric Brun52a91d32017-08-31 14:41:55 +0200369 if ((check->state & CHK_ST_AGENT) && s->next_state == SRV_ST_STOPPING)
Willy Tarreau3e048382014-05-21 10:30:54 +0200370 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100371
Emeric Brun5a133512017-10-19 14:42:30 +0200372 srv_set_running(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100373}
374
Willy Tarreaudb58b792014-05-21 13:57:23 +0200375/* Marks the check <check> as valid and tries to set its server into stopping mode
376 * if it was running or starting, and provided it isn't in maintenance and other
377 * checks comply. The conditions for the server to be marked in stopping mode are
378 * the same as for it to be turned up. Also, only the health checks support the
379 * nolb mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200380 */
Willy Tarreaudb58b792014-05-21 13:57:23 +0200381static void check_notify_stopping(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200382{
Simon Horman4a741432013-02-23 15:35:38 +0900383 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100384
Emeric Brun52a91d32017-08-31 14:41:55 +0200385 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200386 return;
387
Willy Tarreaudb58b792014-05-21 13:57:23 +0200388 if (check->state & CHK_ST_AGENT)
389 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100390
Emeric Brun52a91d32017-08-31 14:41:55 +0200391 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreaudb58b792014-05-21 13:57:23 +0200392 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100393
Willy Tarreaudb58b792014-05-21 13:57:23 +0200394 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
395 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100396
Willy Tarreaudb58b792014-05-21 13:57:23 +0200397 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
398 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100399
Willy Tarreaub26881a2017-12-23 11:16:49 +0100400 srv_set_stopping(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100401}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200402
Willy Tarreau9fe7aae2013-12-31 23:47:37 +0100403/* note: use health_adjust() only, which first checks that the observe mode is
404 * enabled.
405 */
406void __health_adjust(struct server *s, short status)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100407{
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100408 int failed;
409 int expire;
410
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100411 if (s->observe >= HANA_OBS_SIZE)
412 return;
413
Willy Tarreaubb956662013-01-24 00:37:39 +0100414 if (status >= HANA_STATUS_SIZE || !analyze_statuses[status].desc)
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100415 return;
416
417 switch (analyze_statuses[status].lr[s->observe - 1]) {
418 case 1:
419 failed = 1;
420 break;
421
422 case 2:
423 failed = 0;
424 break;
425
426 default:
427 return;
428 }
429
430 if (!failed) {
431 /* good: clear consecutive_errors */
432 s->consecutive_errors = 0;
433 return;
434 }
435
Olivier Houchard7059c552019-03-08 18:49:32 +0100436 _HA_ATOMIC_ADD(&s->consecutive_errors, 1);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100437
438 if (s->consecutive_errors < s->consecutive_errors_limit)
439 return;
440
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100441 chunk_printf(&trash, "Detected %d consecutive errors, last one was: %s",
442 s->consecutive_errors, get_analyze_status(status));
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100443
444 switch (s->onerror) {
445 case HANA_ONERR_FASTINTER:
446 /* force fastinter - nothing to do here as all modes force it */
447 break;
448
449 case HANA_ONERR_SUDDTH:
450 /* simulate a pre-fatal failed health check */
Simon Horman58c32972013-11-25 10:46:38 +0900451 if (s->check.health > s->check.rise)
452 s->check.health = s->check.rise + 1;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100453
454 /* no break - fall through */
455
456 case HANA_ONERR_FAILCHK:
457 /* simulate a failed health check */
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200458 set_server_check_status(&s->check, HCHK_STATUS_HANA,
459 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200460 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100461 break;
462
463 case HANA_ONERR_MARKDWN:
464 /* mark server down */
Simon Horman58c32972013-11-25 10:46:38 +0900465 s->check.health = s->check.rise;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200466 set_server_check_status(&s->check, HCHK_STATUS_HANA,
467 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200468 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100469 break;
470
471 default:
472 /* write a warning? */
473 break;
474 }
475
476 s->consecutive_errors = 0;
Olivier Houchard7059c552019-03-08 18:49:32 +0100477 _HA_ATOMIC_ADD(&s->counters.failed_hana, 1);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100478
Simon Horman66183002013-02-23 10:16:43 +0900479 if (s->check.fastinter) {
480 expire = tick_add(now_ms, MS_TO_TICKS(s->check.fastinter));
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300481 if (s->check.task->expire > expire) {
Willy Tarreau5b3a2022012-09-28 15:01:02 +0200482 s->check.task->expire = expire;
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300483 /* requeue check task with new expire */
484 task_queue(s->check.task);
485 }
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100486 }
487}
488
Willy Tarreaua1dab552014-04-14 15:04:54 +0200489static int httpchk_build_status_header(struct server *s, char *buffer, int size)
Willy Tarreauef781042010-01-27 11:53:01 +0100490{
491 int sv_state;
492 int ratio;
493 int hlen = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800494 char addr[46];
495 char port[6];
Willy Tarreauef781042010-01-27 11:53:01 +0100496 const char *srv_hlt_st[7] = { "DOWN", "DOWN %d/%d",
497 "UP %d/%d", "UP",
498 "NOLB %d/%d", "NOLB",
499 "no check" };
500
501 memcpy(buffer + hlen, "X-Haproxy-Server-State: ", 24);
502 hlen += 24;
503
Willy Tarreauff5ae352013-12-11 20:36:34 +0100504 if (!(s->check.state & CHK_ST_ENABLED))
505 sv_state = 6;
Emeric Brun52a91d32017-08-31 14:41:55 +0200506 else if (s->cur_state != SRV_ST_STOPPED) {
Simon Horman58c32972013-11-25 10:46:38 +0900507 if (s->check.health == s->check.rise + s->check.fall - 1)
Willy Tarreauef781042010-01-27 11:53:01 +0100508 sv_state = 3; /* UP */
509 else
510 sv_state = 2; /* going down */
511
Emeric Brun52a91d32017-08-31 14:41:55 +0200512 if (s->cur_state == SRV_ST_STOPPING)
Willy Tarreauef781042010-01-27 11:53:01 +0100513 sv_state += 2;
514 } else {
Simon Horman125d0992013-02-24 17:23:38 +0900515 if (s->check.health)
Willy Tarreauef781042010-01-27 11:53:01 +0100516 sv_state = 1; /* going up */
517 else
518 sv_state = 0; /* DOWN */
519 }
520
Willy Tarreaua1dab552014-04-14 15:04:54 +0200521 hlen += snprintf(buffer + hlen, size - hlen,
Willy Tarreauef781042010-01-27 11:53:01 +0100522 srv_hlt_st[sv_state],
Emeric Brun52a91d32017-08-31 14:41:55 +0200523 (s->cur_state != SRV_ST_STOPPED) ? (s->check.health - s->check.rise + 1) : (s->check.health),
524 (s->cur_state != SRV_ST_STOPPED) ? (s->check.fall) : (s->check.rise));
Willy Tarreauef781042010-01-27 11:53:01 +0100525
Joseph Lynch514061c2015-01-15 17:52:59 -0800526 addr_to_str(&s->addr, addr, sizeof(addr));
Willy Tarreau04276f32017-01-06 17:41:29 +0100527 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
528 snprintf(port, sizeof(port), "%u", s->svc_port);
529 else
530 *port = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800531
532 hlen += snprintf(buffer + hlen, size - hlen, "; address=%s; port=%s; name=%s/%s; node=%s; weight=%d/%d; scur=%d/%d; qcur=%d",
533 addr, port, s->proxy->id, s->id,
Willy Tarreauef781042010-01-27 11:53:01 +0100534 global.node,
Emeric Brun52a91d32017-08-31 14:41:55 +0200535 (s->cur_eweight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
Willy Tarreauef781042010-01-27 11:53:01 +0100536 (s->proxy->lbprm.tot_weight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
537 s->cur_sess, s->proxy->beconn - s->proxy->nbpend,
538 s->nbpend);
539
Emeric Brun52a91d32017-08-31 14:41:55 +0200540 if ((s->cur_state == SRV_ST_STARTING) &&
Willy Tarreauef781042010-01-27 11:53:01 +0100541 now.tv_sec < s->last_change + s->slowstart &&
542 now.tv_sec >= s->last_change) {
543 ratio = MAX(1, 100 * (now.tv_sec - s->last_change) / s->slowstart);
Willy Tarreaua1dab552014-04-14 15:04:54 +0200544 hlen += snprintf(buffer + hlen, size - hlen, "; throttle=%d%%", ratio);
Willy Tarreauef781042010-01-27 11:53:01 +0100545 }
546
547 buffer[hlen++] = '\r';
548 buffer[hlen++] = '\n';
549
550 return hlen;
551}
552
Willy Tarreau20a18342013-12-05 00:31:46 +0100553/* Check the connection. If an error has already been reported or the socket is
554 * closed, keep errno intact as it is supposed to contain the valid error code.
555 * If no error is reported, check the socket's error queue using getsockopt().
556 * Warning, this must be done only once when returning from poll, and never
557 * after an I/O error was attempted, otherwise the error queue might contain
558 * inconsistent errors. If an error is detected, the CO_FL_ERROR is set on the
559 * socket. Returns non-zero if an error was reported, zero if everything is
560 * clean (including a properly closed socket).
561 */
562static int retrieve_errno_from_socket(struct connection *conn)
563{
564 int skerr;
565 socklen_t lskerr = sizeof(skerr);
566
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100567 if (conn->flags & CO_FL_ERROR && (unclean_errno(errno) || !conn->ctrl))
Willy Tarreau20a18342013-12-05 00:31:46 +0100568 return 1;
569
Willy Tarreau3c728722014-01-23 13:50:42 +0100570 if (!conn_ctrl_ready(conn))
Willy Tarreau20a18342013-12-05 00:31:46 +0100571 return 0;
572
Willy Tarreau585744b2017-08-24 14:31:19 +0200573 if (getsockopt(conn->handle.fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr) == 0)
Willy Tarreau20a18342013-12-05 00:31:46 +0100574 errno = skerr;
575
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100576 errno = unclean_errno(errno);
Willy Tarreau20a18342013-12-05 00:31:46 +0100577
578 if (!errno) {
579 /* we could not retrieve an error, that does not mean there is
580 * none. Just don't change anything and only report the prior
581 * error if any.
582 */
583 if (conn->flags & CO_FL_ERROR)
584 return 1;
585 else
586 return 0;
587 }
588
589 conn->flags |= CO_FL_ERROR | CO_FL_SOCK_WR_SH | CO_FL_SOCK_RD_SH;
590 return 1;
591}
592
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100593/* Try to collect as much information as possible on the connection status,
594 * and adjust the server status accordingly. It may make use of <errno_bck>
595 * if non-null when the caller is absolutely certain of its validity (eg:
596 * checked just after a syscall). If the caller doesn't have a valid errno,
597 * it can pass zero, and retrieve_errno_from_socket() will be called to try
598 * to extract errno from the socket. If no error is reported, it will consider
599 * the <expired> flag. This is intended to be used when a connection error was
600 * reported in conn->flags or when a timeout was reported in <expired>. The
601 * function takes care of not updating a server status which was already set.
602 * All situations where at least one of <expired> or CO_FL_ERROR are set
603 * produce a status.
604 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200605static void chk_report_conn_err(struct check *check, int errno_bck, int expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100606{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200607 struct conn_stream *cs = check->cs;
608 struct connection *conn = cs_conn(cs);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100609 const char *err_msg;
Willy Tarreau83061a82018-07-13 11:56:34 +0200610 struct buffer *chk;
Willy Tarreau213c6782014-10-02 14:51:02 +0200611 int step;
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200612 char *comment;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100613
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100614 if (check->result != CHK_RES_UNKNOWN)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100615 return;
616
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100617 errno = unclean_errno(errno_bck);
618 if (conn && errno)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100619 retrieve_errno_from_socket(conn);
620
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200621 if (conn && !(conn->flags & CO_FL_ERROR) &&
622 !(cs->flags & CS_FL_ERROR) && !expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100623 return;
624
625 /* we'll try to build a meaningful error message depending on the
626 * context of the error possibly present in conn->err_code, and the
627 * socket error possibly collected above. This is useful to know the
628 * exact step of the L6 layer (eg: SSL handshake).
629 */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200630 chk = get_trash_chunk();
631
632 if (check->type == PR_O2_TCPCHK_CHK) {
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200633 step = tcpcheck_get_step_id(check, NULL);
Willy Tarreau213c6782014-10-02 14:51:02 +0200634 if (!step)
635 chunk_printf(chk, " at initial connection step of tcp-check");
636 else {
637 chunk_printf(chk, " at step %d of tcp-check", step);
638 /* we were looking for a string */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200639 if (check->current_step && check->current_step->action == TCPCHK_ACT_CONNECT) {
640 if (check->current_step->connect.port)
641 chunk_appendf(chk, " (connect port %d)" ,check->current_step->connect.port);
Willy Tarreau213c6782014-10-02 14:51:02 +0200642 else
643 chunk_appendf(chk, " (connect)");
644 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200645 else if (check->current_step && check->current_step->action == TCPCHK_ACT_EXPECT) {
646 struct tcpcheck_expect *expect = &check->current_step->expect;
Gaetan Rivetb616add2020-02-07 15:37:17 +0100647
648 switch (expect->type) {
649 case TCPCHK_EXPECT_STRING:
650 chunk_appendf(chk, " (expect string '%s')", expect->string);
651 break;
652 case TCPCHK_EXPECT_BINARY:
653 chunk_appendf(chk, " (expect binary '%s')", expect->string);
654 break;
655 case TCPCHK_EXPECT_REGEX:
Willy Tarreau213c6782014-10-02 14:51:02 +0200656 chunk_appendf(chk, " (expect regex)");
Gaetan Rivetb616add2020-02-07 15:37:17 +0100657 break;
Gaetan Rivetefab6c62020-02-07 15:37:17 +0100658 case TCPCHK_EXPECT_REGEX_BINARY:
659 chunk_appendf(chk, " (expect binary regex)");
660 break;
Gaetan Rivetb616add2020-02-07 15:37:17 +0100661 case TCPCHK_EXPECT_UNDEF:
662 chunk_appendf(chk, " (undefined expect!)");
663 break;
664 }
Willy Tarreau213c6782014-10-02 14:51:02 +0200665 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200666 else if (check->current_step && check->current_step->action == TCPCHK_ACT_SEND) {
Willy Tarreau213c6782014-10-02 14:51:02 +0200667 chunk_appendf(chk, " (send)");
668 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200669
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200670 comment = tcpcheck_get_step_comment(check, NULL);
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200671 if (comment)
672 chunk_appendf(chk, " comment: '%s'", comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200673 }
674 }
675
Willy Tarreau00149122017-10-04 18:05:01 +0200676 if (conn && conn->err_code) {
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100677 if (unclean_errno(errno))
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200678 chunk_printf(&trash, "%s (%s)%s", conn_err_code_str(conn), strerror(errno),
679 chk->area);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100680 else
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200681 chunk_printf(&trash, "%s%s", conn_err_code_str(conn),
682 chk->area);
683 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100684 }
685 else {
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100686 if (unclean_errno(errno)) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200687 chunk_printf(&trash, "%s%s", strerror(errno),
688 chk->area);
689 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100690 }
691 else {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200692 err_msg = chk->area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100693 }
694 }
695
Willy Tarreau00149122017-10-04 18:05:01 +0200696 if (check->state & CHK_ST_PORT_MISS) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +0200697 /* NOTE: this is reported after <fall> tries */
698 chunk_printf(chk, "No port available for the TCP connection");
699 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
700 }
701
Willy Tarreau00149122017-10-04 18:05:01 +0200702 if (!conn) {
703 /* connection allocation error before the connection was established */
704 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
705 }
Willy Tarreauc192b0a2020-01-23 09:11:58 +0100706 else if (conn->flags & CO_FL_WAIT_L4_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100707 /* L4 not established (yet) */
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200708 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100709 set_server_check_status(check, HCHK_STATUS_L4CON, err_msg);
710 else if (expired)
711 set_server_check_status(check, HCHK_STATUS_L4TOUT, err_msg);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200712
713 /*
714 * might be due to a server IP change.
715 * Let's trigger a DNS resolution if none are currently running.
716 */
Olivier Houchard0923fa42019-01-11 18:43:04 +0100717 if (check->server)
718 dns_trigger_resolution(check->server->dns_requester);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200719
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100720 }
Willy Tarreauc192b0a2020-01-23 09:11:58 +0100721 else if (conn->flags & CO_FL_WAIT_L6_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100722 /* L6 not established (yet) */
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200723 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100724 set_server_check_status(check, HCHK_STATUS_L6RSP, err_msg);
725 else if (expired)
726 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
727 }
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200728 else if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100729 /* I/O error after connection was established and before we could diagnose */
730 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
731 }
732 else if (expired) {
733 /* connection established but expired check */
734 if (check->type == PR_O2_SSL3_CHK)
735 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
736 else /* HTTP, SMTP, ... */
737 set_server_check_status(check, HCHK_STATUS_L7TOUT, err_msg);
738 }
739
740 return;
741}
742
Olivier Houchard5c110b92018-08-14 17:04:58 +0200743/* This function checks if any I/O is wanted, and if so, attempts to do so */
744static struct task *event_srv_chk_io(struct task *t, void *ctx, unsigned short state)
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200745{
Olivier Houchard26e1a8f2018-09-12 15:15:12 +0200746 struct check *check = ctx;
747 struct conn_stream *cs = check->cs;
Olivier Houchard0923fa42019-01-11 18:43:04 +0100748 struct email_alertq *q = container_of(check, typeof(*q), check);
Olivier Houchardbc89ad82019-07-09 17:28:51 +0200749 int ret = 0;
Olivier Houchard4501c3e2018-08-28 19:36:18 +0200750
Willy Tarreau4f6516d2018-12-19 13:59:17 +0100751 if (!(check->wait_list.events & SUB_RETRY_SEND))
Olivier Houchardbc89ad82019-07-09 17:28:51 +0200752 ret = wake_srv_chk(cs);
753 if (ret == 0 && !(check->wait_list.events & SUB_RETRY_RECV)) {
Olivier Houchard0923fa42019-01-11 18:43:04 +0100754 if (check->server)
755 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
756 else
757 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200758 __event_srv_chk_r(cs);
Olivier Houchard0923fa42019-01-11 18:43:04 +0100759 if (check->server)
760 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
761 else
762 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200763 }
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200764 return NULL;
765}
766
767/* same as above but protected by the server lock.
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100768 *
769 * Please do NOT place any return statement in this function and only leave
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200770 * via the out label. NOTE THAT THIS FUNCTION DOESN'T LOCK, YOU PROBABLY WANT
771 * TO USE event_srv_chk_w() instead.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200772 */
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200773static void __event_srv_chk_w(struct conn_stream *cs)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200774{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200775 struct connection *conn = cs->conn;
776 struct check *check = cs->data;
Simon Horman4a741432013-02-23 15:35:38 +0900777 struct server *s = check->server;
Simon Horman4a741432013-02-23 15:35:38 +0900778 struct task *t = check->task;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200779
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100780 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100781 goto out_wakeup;
782
Willy Tarreau20a18342013-12-05 00:31:46 +0100783 if (retrieve_errno_from_socket(conn)) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200784 chk_report_conn_err(check, errno, 0);
Willy Tarreau20a18342013-12-05 00:31:46 +0100785 goto out_wakeup;
786 }
Krzysztof Piotr Oledzki6492db52010-01-02 22:03:01 +0100787
Willy Tarreau06559ac2013-12-05 01:53:08 +0100788 /* here, we know that the connection is established. That's enough for
789 * a pure TCP check.
790 */
791 if (!check->type)
792 goto out_wakeup;
793
Willy Tarreauc09572f2017-10-04 11:58:22 +0200794 /* wake() will take care of calling tcpcheck_main() */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100795 if (check->type == PR_O2_TCPCHK_CHK)
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200796 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200797
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200798 if (b_data(&check->bo)) {
Olivier Houcharded0f2072018-08-16 15:41:52 +0200799 cs->conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0);
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200800 b_realign_if_empty(&check->bo);
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200801 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200802 chk_report_conn_err(check, errno, 0);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100803 goto out_wakeup;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200804 }
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200805 if (b_data(&check->bo)) {
Willy Tarreau4f6516d2018-12-19 13:59:17 +0100806 conn->mux->subscribe(cs, SUB_RETRY_SEND, &check->wait_list);
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200807 goto out;
808 }
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100809 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200810
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100811 /* full request sent, we allow up to <timeout.check> if nonzero for a response */
812 if (s->proxy->timeout.check) {
813 t->expire = tick_add_ifset(now_ms, s->proxy->timeout.check);
814 task_queue(t);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200815 }
Olivier Houchard53216e72018-10-10 15:46:36 +0200816 goto out;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100817
Willy Tarreau83749182007-04-15 20:56:27 +0200818 out_wakeup:
Willy Tarreaufdccded2008-08-29 18:19:04 +0200819 task_wakeup(t, TASK_WOKEN_IO);
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200820 out:
821 return;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200822}
823
Willy Tarreaubaaee002006-06-26 02:48:02 +0200824/*
Willy Tarreauf3c69202006-07-09 16:42:34 +0200825 * This function is used only for server health-checks. It handles the server's
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +0200826 * reply to an HTTP request, SSL HELLO or MySQL client Auth. It calls
Simon Horman4a741432013-02-23 15:35:38 +0900827 * set_server_check_status() to update check->status, check->duration
828 * and check->result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200829
830 * The set_server_check_status function is called with HCHK_STATUS_L7OKD if
831 * an HTTP server replies HTTP 2xx or 3xx (valid responses), if an SMTP server
832 * returns 2xx, HCHK_STATUS_L6OK if an SSL server returns at least 5 bytes in
833 * response to an SSL HELLO (the principle is that this is enough to
834 * distinguish between an SSL server and a pure TCP relay). All other cases will
835 * call it with a proper error status like HCHK_STATUS_L7STS, HCHK_STATUS_L6RSP,
836 * etc.
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100837 *
838 * Please do NOT place any return statement in this function and only leave
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200839 * via the out label.
840 *
841 * This must be called with the server lock held.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200842 */
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200843static void __event_srv_chk_r(struct conn_stream *cs)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200844{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200845 struct connection *conn = cs->conn;
846 struct check *check = cs->data;
Simon Horman4a741432013-02-23 15:35:38 +0900847 struct server *s = check->server;
848 struct task *t = check->task;
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200849 char *desc;
Willy Tarreau03938182010-03-17 21:52:07 +0100850 int done;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +0200851 unsigned short msglen;
Willy Tarreau83749182007-04-15 20:56:27 +0200852
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100853 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau83749182007-04-15 20:56:27 +0200854 goto out_wakeup;
Willy Tarreau83749182007-04-15 20:56:27 +0200855
Willy Tarreauc09572f2017-10-04 11:58:22 +0200856 /* wake() will take care of calling tcpcheck_main() */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100857 if (check->type == PR_O2_TCPCHK_CHK)
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200858 goto out;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200859
Willy Tarreau83749182007-04-15 20:56:27 +0200860 /* Warning! Linux returns EAGAIN on SO_ERROR if data are still available
861 * but the connection was closed on the remote end. Fortunately, recv still
862 * works correctly and we don't need to do the getsockopt() on linux.
863 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000864
865 /* Set buffer to point to the end of the data already read, and check
866 * that there is free space remaining. If the buffer is full, proceed
867 * with running the checks without attempting another socket read.
868 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000869
Willy Tarreau03938182010-03-17 21:52:07 +0100870 done = 0;
Nick Chalk57b1bf72010-03-16 15:50:46 +0000871
Olivier Houchard511efea2018-08-16 15:30:32 +0200872 cs->conn->mux->rcv_buf(cs, &check->bi, b_size(&check->bi), 0);
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200873 if (conn->flags & (CO_FL_ERROR | CO_FL_SOCK_RD_SH) || cs->flags & CS_FL_ERROR) {
Willy Tarreau03938182010-03-17 21:52:07 +0100874 done = 1;
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200875 if ((conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) && !b_data(&check->bi)) {
Willy Tarreauf1503172012-09-28 19:39:36 +0200876 /* Report network errors only if we got no other data. Otherwise
877 * we'll let the upper layers decide whether the response is OK
878 * or not. It is very common that an RST sent by the server is
879 * reported as an error just after the last data chunk.
880 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200881 chk_report_conn_err(check, errno, 0);
Willy Tarreauc1a07962010-03-16 20:55:43 +0100882 goto out_wakeup;
883 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200884 }
885
Willy Tarreau0f0393f2019-09-24 10:43:03 +0200886 /* the rest of the code below expects the connection to be ready! */
Willy Tarreau911db9b2020-01-23 16:27:54 +0100887 if (conn->flags & CO_FL_WAIT_XPRT && !done)
Willy Tarreau0f0393f2019-09-24 10:43:03 +0200888 goto wait_more_data;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100889
Willy Tarreau03938182010-03-17 21:52:07 +0100890 /* Intermediate or complete response received.
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200891 * Terminate string in b_head(&check->bi) buffer.
Willy Tarreau03938182010-03-17 21:52:07 +0100892 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200893 if (b_data(&check->bi) < b_size(&check->bi))
894 b_head(&check->bi)[b_data(&check->bi)] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100895 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200896 b_head(&check->bi)[b_data(&check->bi) - 1] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100897 done = 1; /* buffer full, don't wait for more data */
898 }
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200899
Nick Chalk57b1bf72010-03-16 15:50:46 +0000900 /* Run the checks... */
Simon Horman4a741432013-02-23 15:35:38 +0900901 switch (check->type) {
Willy Tarreau1620ec32011-08-06 17:05:02 +0200902 case PR_O2_HTTP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200903 if (!done && b_data(&check->bi) < strlen("HTTP/1.0 000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100904 goto wait_more_data;
905
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100906 /* Check if the server speaks HTTP 1.X */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200907 if ((b_data(&check->bi) < strlen("HTTP/1.0 000\r")) ||
908 (memcmp(b_head(&check->bi), "HTTP/1.", 7) != 0 ||
909 (*(b_head(&check->bi) + 12) != ' ' && *(b_head(&check->bi) + 12) != '\r')) ||
910 !isdigit((unsigned char) *(b_head(&check->bi) + 9)) || !isdigit((unsigned char) *(b_head(&check->bi) + 10)) ||
911 !isdigit((unsigned char) *(b_head(&check->bi) + 11))) {
912 cut_crlf(b_head(&check->bi));
913 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200914
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100915 goto out_wakeup;
916 }
917
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200918 check->code = str2uic(b_head(&check->bi) + 9);
919 desc = ltrim(b_head(&check->bi) + 12, ' ');
Christopher Fauletc2a89a62017-10-23 15:54:24 +0200920
Willy Tarreaubd741542010-03-16 18:46:54 +0100921 if ((s->proxy->options & PR_O_DISABLE404) &&
Emeric Brun52a91d32017-08-31 14:41:55 +0200922 (s->next_state != SRV_ST_STOPPED) && (check->code == 404)) {
Nick Chalk57b1bf72010-03-16 15:50:46 +0000923 /* 404 may be accepted as "stopping" only if the server was up */
924 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900925 set_server_check_status(check, HCHK_STATUS_L7OKCD, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000926 }
Willy Tarreaubd741542010-03-16 18:46:54 +0100927 else if (s->proxy->options2 & PR_O2_EXP_TYPE) {
928 /* Run content verification check... We know we have at least 13 chars */
929 if (!httpchk_expect(s, done))
930 goto wait_more_data;
931 }
932 /* check the reply : HTTP/1.X 2xx and 3xx are OK */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200933 else if (*(b_head(&check->bi) + 9) == '2' || *(b_head(&check->bi) + 9) == '3') {
Willy Tarreaubd741542010-03-16 18:46:54 +0100934 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900935 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Willy Tarreaubd741542010-03-16 18:46:54 +0100936 }
Nick Chalk57b1bf72010-03-16 15:50:46 +0000937 else {
938 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900939 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000940 }
Willy Tarreau1620ec32011-08-06 17:05:02 +0200941 break;
942
943 case PR_O2_SSL3_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200944 if (!done && b_data(&check->bi) < 5)
Willy Tarreau03938182010-03-17 21:52:07 +0100945 goto wait_more_data;
946
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100947 /* Check for SSLv3 alert or handshake */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200948 if ((b_data(&check->bi) >= 5) && (*b_head(&check->bi) == 0x15 || *b_head(&check->bi) == 0x16))
Simon Horman4a741432013-02-23 15:35:38 +0900949 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200950 else
Simon Horman4a741432013-02-23 15:35:38 +0900951 set_server_check_status(check, HCHK_STATUS_L6RSP, NULL);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200952 break;
953
954 case PR_O2_SMTP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200955 if (!done && b_data(&check->bi) < strlen("000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100956 goto wait_more_data;
957
Willy Tarreau5488a622019-08-06 16:26:31 +0200958 /* do not reset when closing, servers don't like this */
959 if (conn_ctrl_ready(cs->conn))
960 fdtab[cs->conn->handle.fd].linger_risk = 0;
961
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200962 /* Check if the server speaks SMTP */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200963 if ((b_data(&check->bi) < strlen("000\r")) ||
964 (*(b_head(&check->bi) + 3) != ' ' && *(b_head(&check->bi) + 3) != '\r') ||
965 !isdigit((unsigned char) *b_head(&check->bi)) || !isdigit((unsigned char) *(b_head(&check->bi) + 1)) ||
966 !isdigit((unsigned char) *(b_head(&check->bi) + 2))) {
967 cut_crlf(b_head(&check->bi));
968 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200969 goto out_wakeup;
970 }
971
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200972 check->code = str2uic(b_head(&check->bi));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200973
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200974 desc = ltrim(b_head(&check->bi) + 3, ' ');
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200975 cut_crlf(desc);
976
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100977 /* Check for SMTP code 2xx (should be 250) */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200978 if (*b_head(&check->bi) == '2')
Simon Horman4a741432013-02-23 15:35:38 +0900979 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200980 else
Simon Horman4a741432013-02-23 15:35:38 +0900981 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200982 break;
983
Simon Hormana2b9dad2013-02-12 10:45:54 +0900984 case PR_O2_LB_AGENT_CHK: {
Willy Tarreau81f5d942013-12-09 20:51:51 +0100985 int status = HCHK_STATUS_CHECKED;
986 const char *hs = NULL; /* health status */
987 const char *as = NULL; /* admin status */
988 const char *ps = NULL; /* performance status */
Nenad Merdanovic174dd372016-04-24 23:10:06 +0200989 const char *cs = NULL; /* maxconn */
Willy Tarreau81f5d942013-12-09 20:51:51 +0100990 const char *err = NULL; /* first error to report */
991 const char *wrn = NULL; /* first warning to report */
992 char *cmd, *p;
Simon Hormana2b9dad2013-02-12 10:45:54 +0900993
Willy Tarreau81f5d942013-12-09 20:51:51 +0100994 /* We're getting an agent check response. The agent could
995 * have been disabled in the mean time with a long check
996 * still pending. It is important that we ignore the whole
997 * response.
998 */
999 if (!(check->server->agent.state & CHK_ST_ENABLED))
1000 break;
1001
1002 /* The agent supports strings made of a single line ended by the
1003 * first CR ('\r') or LF ('\n'). This line is composed of words
1004 * delimited by spaces (' '), tabs ('\t'), or commas (','). The
1005 * line may optionally contained a description of a state change
1006 * after a sharp ('#'), which is only considered if a health state
1007 * is announced.
1008 *
1009 * Words may be composed of :
1010 * - a numeric weight suffixed by the percent character ('%').
1011 * - a health status among "up", "down", "stopped", and "fail".
1012 * - an admin status among "ready", "drain", "maint".
1013 *
1014 * These words may appear in any order. If multiple words of the
1015 * same category appear, the last one wins.
1016 */
1017
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001018 p = b_head(&check->bi);
Willy Tarreau9809b782013-12-11 21:40:11 +01001019 while (*p && *p != '\n' && *p != '\r')
1020 p++;
1021
1022 if (!*p) {
1023 if (!done)
1024 goto wait_more_data;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001025
Willy Tarreau9809b782013-12-11 21:40:11 +01001026 /* at least inform the admin that the agent is mis-behaving */
1027 set_server_check_status(check, check->status, "Ignoring incomplete line from agent");
1028 break;
1029 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001030
Willy Tarreau9809b782013-12-11 21:40:11 +01001031 *p = 0;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001032 cmd = b_head(&check->bi);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001033
Willy Tarreau81f5d942013-12-09 20:51:51 +01001034 while (*cmd) {
1035 /* look for next word */
1036 if (*cmd == ' ' || *cmd == '\t' || *cmd == ',') {
1037 cmd++;
1038 continue;
1039 }
Simon Horman671b6f02013-11-25 10:46:39 +09001040
Willy Tarreau81f5d942013-12-09 20:51:51 +01001041 if (*cmd == '#') {
1042 /* this is the beginning of a health status description,
1043 * skip the sharp and blanks.
1044 */
1045 cmd++;
1046 while (*cmd == '\t' || *cmd == ' ')
1047 cmd++;
Simon Horman671b6f02013-11-25 10:46:39 +09001048 break;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001049 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001050
1051 /* find the end of the word so that we have a null-terminated
1052 * word between <cmd> and <p>.
1053 */
1054 p = cmd + 1;
1055 while (*p && *p != '\t' && *p != ' ' && *p != '\n' && *p != ',')
1056 p++;
1057 if (*p)
1058 *p++ = 0;
1059
1060 /* first, health statuses */
1061 if (strcasecmp(cmd, "up") == 0) {
1062 check->health = check->rise + check->fall - 1;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001063 status = HCHK_STATUS_L7OKD;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001064 hs = cmd;
1065 }
1066 else if (strcasecmp(cmd, "down") == 0) {
1067 check->health = 0;
1068 status = HCHK_STATUS_L7STS;
1069 hs = cmd;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001070 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001071 else if (strcasecmp(cmd, "stopped") == 0) {
1072 check->health = 0;
1073 status = HCHK_STATUS_L7STS;
1074 hs = cmd;
1075 }
1076 else if (strcasecmp(cmd, "fail") == 0) {
1077 check->health = 0;
1078 status = HCHK_STATUS_L7STS;
1079 hs = cmd;
1080 }
1081 /* admin statuses */
1082 else if (strcasecmp(cmd, "ready") == 0) {
1083 as = cmd;
1084 }
1085 else if (strcasecmp(cmd, "drain") == 0) {
1086 as = cmd;
1087 }
1088 else if (strcasecmp(cmd, "maint") == 0) {
1089 as = cmd;
1090 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001091 /* try to parse a weight here and keep the last one */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001092 else if (isdigit((unsigned char)*cmd) && strchr(cmd, '%') != NULL) {
1093 ps = cmd;
1094 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001095 /* try to parse a maxconn here */
1096 else if (strncasecmp(cmd, "maxconn:", strlen("maxconn:")) == 0) {
1097 cs = cmd;
1098 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001099 else {
1100 /* keep a copy of the first error */
1101 if (!err)
1102 err = cmd;
1103 }
1104 /* skip to next word */
1105 cmd = p;
1106 }
1107 /* here, cmd points either to \0 or to the beginning of a
1108 * description. Skip possible leading spaces.
1109 */
1110 while (*cmd == ' ' || *cmd == '\n')
1111 cmd++;
1112
1113 /* First, update the admin status so that we avoid sending other
1114 * possibly useless warnings and can also update the health if
1115 * present after going back up.
1116 */
1117 if (as) {
1118 if (strcasecmp(as, "drain") == 0)
1119 srv_adm_set_drain(check->server);
1120 else if (strcasecmp(as, "maint") == 0)
1121 srv_adm_set_maint(check->server);
1122 else
1123 srv_adm_set_ready(check->server);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001124 }
1125
Willy Tarreau81f5d942013-12-09 20:51:51 +01001126 /* now change weights */
1127 if (ps) {
1128 const char *msg;
1129
1130 msg = server_parse_weight_change_request(s, ps);
1131 if (!wrn || !*wrn)
1132 wrn = msg;
1133 }
1134
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001135 if (cs) {
1136 const char *msg;
1137
1138 cs += strlen("maxconn:");
1139
1140 msg = server_parse_maxconn_change_request(s, cs);
1141 if (!wrn || !*wrn)
1142 wrn = msg;
1143 }
1144
Willy Tarreau81f5d942013-12-09 20:51:51 +01001145 /* and finally health status */
1146 if (hs) {
1147 /* We'll report some of the warnings and errors we have
1148 * here. Down reports are critical, we leave them untouched.
1149 * Lack of report, or report of 'UP' leaves the room for
1150 * ERR first, then WARN.
Simon Hormana2b9dad2013-02-12 10:45:54 +09001151 */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001152 const char *msg = cmd;
Willy Tarreau83061a82018-07-13 11:56:34 +02001153 struct buffer *t;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001154
1155 if (!*msg || status == HCHK_STATUS_L7OKD) {
1156 if (err && *err)
1157 msg = err;
1158 else if (wrn && *wrn)
1159 msg = wrn;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001160 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001161
1162 t = get_trash_chunk();
1163 chunk_printf(t, "via agent : %s%s%s%s",
1164 hs, *msg ? " (" : "",
1165 msg, *msg ? ")" : "");
1166
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001167 set_server_check_status(check, status, t->area);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001168 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001169 else if (err && *err) {
1170 /* No status change but we'd like to report something odd.
1171 * Just report the current state and copy the message.
1172 */
1173 chunk_printf(&trash, "agent reports an error : %s", err);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001174 set_server_check_status(check, status/*check->status*/,
1175 trash.area);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001176
Willy Tarreau81f5d942013-12-09 20:51:51 +01001177 }
1178 else if (wrn && *wrn) {
1179 /* No status change but we'd like to report something odd.
1180 * Just report the current state and copy the message.
1181 */
1182 chunk_printf(&trash, "agent warns : %s", wrn);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001183 set_server_check_status(check, status/*check->status*/,
1184 trash.area);
Willy Tarreau81f5d942013-12-09 20:51:51 +01001185 }
1186 else
1187 set_server_check_status(check, status, NULL);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001188 break;
1189 }
1190
Willy Tarreau1620ec32011-08-06 17:05:02 +02001191 case PR_O2_PGSQL_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001192 if (!done && b_data(&check->bi) < 9)
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001193 goto wait_more_data;
1194
Willy Tarreau5488a622019-08-06 16:26:31 +02001195 /* do not reset when closing, servers don't like this */
1196 if (conn_ctrl_ready(cs->conn))
1197 fdtab[cs->conn->handle.fd].linger_risk = 0;
1198
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001199 if (b_head(&check->bi)[0] == 'R') {
Simon Horman4a741432013-02-23 15:35:38 +09001200 set_server_check_status(check, HCHK_STATUS_L7OKD, "PostgreSQL server is ok");
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001201 }
1202 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001203 if ((b_head(&check->bi)[0] == 'E') && (b_head(&check->bi)[5]!=0) && (b_head(&check->bi)[6]!=0))
1204 desc = &b_head(&check->bi)[6];
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001205 else
1206 desc = "PostgreSQL unknown error";
1207
Simon Horman4a741432013-02-23 15:35:38 +09001208 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001209 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001210 break;
1211
1212 case PR_O2_REDIS_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001213 if (!done && b_data(&check->bi) < 7)
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001214 goto wait_more_data;
1215
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001216 if (strcmp(b_head(&check->bi), "+PONG\r\n") == 0) {
Simon Horman4a741432013-02-23 15:35:38 +09001217 set_server_check_status(check, HCHK_STATUS_L7OKD, "Redis server is ok");
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001218 }
1219 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001220 set_server_check_status(check, HCHK_STATUS_L7STS, b_head(&check->bi));
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001221 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001222 break;
1223
1224 case PR_O2_MYSQL_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001225 if (!done && b_data(&check->bi) < 5)
Willy Tarreau03938182010-03-17 21:52:07 +01001226 goto wait_more_data;
1227
Willy Tarreau5488a622019-08-06 16:26:31 +02001228 /* do not reset when closing, servers don't like this */
1229 if (conn_ctrl_ready(cs->conn))
1230 fdtab[cs->conn->handle.fd].linger_risk = 0;
1231
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001232 if (s->proxy->check_len == 0) { // old mode
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001233 if (*(b_head(&check->bi) + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001234 /* We set the MySQL Version in description for information purpose
1235 * FIXME : it can be cool to use MySQL Version for other purpose,
1236 * like mark as down old MySQL server.
1237 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001238 if (b_data(&check->bi) > 51) {
1239 desc = ltrim(b_head(&check->bi) + 5, ' ');
Simon Horman4a741432013-02-23 15:35:38 +09001240 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001241 }
1242 else {
1243 if (!done)
1244 goto wait_more_data;
Emeric Brun9f0b4582017-10-23 14:39:51 +02001245
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001246 /* it seems we have a OK packet but without a valid length,
1247 * it must be a protocol error
1248 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001249 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001250 }
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001251 }
1252 else {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001253 /* An error message is attached in the Error packet */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001254 desc = ltrim(b_head(&check->bi) + 7, ' ');
Simon Horman4a741432013-02-23 15:35:38 +09001255 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001256 }
1257 } else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001258 unsigned int first_packet_len = ((unsigned int) *b_head(&check->bi)) +
1259 (((unsigned int) *(b_head(&check->bi) + 1)) << 8) +
1260 (((unsigned int) *(b_head(&check->bi) + 2)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001261
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001262 if (b_data(&check->bi) == first_packet_len + 4) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001263 /* MySQL Error packet always begin with field_count = 0xff */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001264 if (*(b_head(&check->bi) + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001265 /* We have only one MySQL packet and it is a Handshake Initialization packet
1266 * but we need to have a second packet to know if it is alright
1267 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001268 if (!done && b_data(&check->bi) < first_packet_len + 5)
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001269 goto wait_more_data;
1270 }
1271 else {
1272 /* We have only one packet and it is an Error packet,
1273 * an error message is attached, so we can display it
1274 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001275 desc = &b_head(&check->bi)[7];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001276 //ha_warning("onlyoneERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001277 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001278 }
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001279 } else if (b_data(&check->bi) > first_packet_len + 4) {
1280 unsigned int second_packet_len = ((unsigned int) *(b_head(&check->bi) + first_packet_len + 4)) +
1281 (((unsigned int) *(b_head(&check->bi) + first_packet_len + 5)) << 8) +
1282 (((unsigned int) *(b_head(&check->bi) + first_packet_len + 6)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001283
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001284 if (b_data(&check->bi) == first_packet_len + 4 + second_packet_len + 4 ) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001285 /* We have 2 packets and that's good */
1286 /* Check if the second packet is a MySQL Error packet or not */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001287 if (*(b_head(&check->bi) + first_packet_len + 8) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001288 /* No error packet */
1289 /* We set the MySQL Version in description for information purpose */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001290 desc = &b_head(&check->bi)[5];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001291 //ha_warning("2packetOK: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001292 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001293 }
1294 else {
1295 /* An error message is attached in the Error packet
1296 * so we can display it ! :)
1297 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001298 desc = &b_head(&check->bi)[first_packet_len+11];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001299 //ha_warning("2packetERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001300 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001301 }
1302 }
1303 }
1304 else {
Willy Tarreau03938182010-03-17 21:52:07 +01001305 if (!done)
1306 goto wait_more_data;
Emeric Brun9f0b4582017-10-23 14:39:51 +02001307
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001308 /* it seems we have a Handshake Initialization packet but without a valid length,
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001309 * it must be a protocol error
1310 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001311 desc = &b_head(&check->bi)[5];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001312 //ha_warning("protoerr: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001313 set_server_check_status(check, HCHK_STATUS_L7RSP, desc);
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001314 }
1315 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001316 break;
1317
1318 case PR_O2_LDAP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001319 if (!done && b_data(&check->bi) < 14)
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001320 goto wait_more_data;
1321
1322 /* Check if the server speaks LDAP (ASN.1/BER)
1323 * http://en.wikipedia.org/wiki/Basic_Encoding_Rules
1324 * http://tools.ietf.org/html/rfc4511
1325 */
1326
1327 /* http://tools.ietf.org/html/rfc4511#section-4.1.1
1328 * LDAPMessage: 0x30: SEQUENCE
1329 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001330 if ((b_data(&check->bi) < 14) || (*(b_head(&check->bi)) != '\x30')) {
Simon Horman4a741432013-02-23 15:35:38 +09001331 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001332 }
1333 else {
1334 /* size of LDAPMessage */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001335 msglen = (*(b_head(&check->bi) + 1) & 0x80) ? (*(b_head(&check->bi) + 1) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001336
1337 /* http://tools.ietf.org/html/rfc4511#section-4.2.2
1338 * messageID: 0x02 0x01 0x01: INTEGER 1
1339 * protocolOp: 0x61: bindResponse
1340 */
1341 if ((msglen > 2) ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001342 (memcmp(b_head(&check->bi) + 2 + msglen, "\x02\x01\x01\x61", 4) != 0)) {
Simon Horman4a741432013-02-23 15:35:38 +09001343 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001344 goto out_wakeup;
1345 }
1346
1347 /* size of bindResponse */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001348 msglen += (*(b_head(&check->bi) + msglen + 6) & 0x80) ? (*(b_head(&check->bi) + msglen + 6) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001349
1350 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1351 * ldapResult: 0x0a 0x01: ENUMERATION
1352 */
1353 if ((msglen > 4) ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001354 (memcmp(b_head(&check->bi) + 7 + msglen, "\x0a\x01", 2) != 0)) {
Simon Horman4a741432013-02-23 15:35:38 +09001355 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001356 goto out_wakeup;
1357 }
1358
1359 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1360 * resultCode
1361 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001362 check->code = *(b_head(&check->bi) + msglen + 9);
Simon Horman4a741432013-02-23 15:35:38 +09001363 if (check->code) {
1364 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 +02001365 } else {
Simon Horman4a741432013-02-23 15:35:38 +09001366 set_server_check_status(check, HCHK_STATUS_L7OKD, "Success");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001367 }
1368 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001369 break;
1370
Christopher Fauletba7bc162016-11-07 21:07:38 +01001371 case PR_O2_SPOP_CHK: {
1372 unsigned int framesz;
1373 char err[HCHK_DESC_LEN];
1374
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001375 if (!done && b_data(&check->bi) < 4)
Christopher Fauletba7bc162016-11-07 21:07:38 +01001376 goto wait_more_data;
1377
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001378 memcpy(&framesz, b_head(&check->bi), 4);
Christopher Fauletba7bc162016-11-07 21:07:38 +01001379 framesz = ntohl(framesz);
1380
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001381 if (!done && b_data(&check->bi) < (4+framesz))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001382 goto wait_more_data;
1383
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001384 if (!spoe_handle_healthcheck_response(b_head(&check->bi)+4, framesz, err, HCHK_DESC_LEN-1))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001385 set_server_check_status(check, HCHK_STATUS_L7OKD, "SPOA server is ok");
1386 else
1387 set_server_check_status(check, HCHK_STATUS_L7STS, err);
1388 break;
1389 }
1390
Willy Tarreau1620ec32011-08-06 17:05:02 +02001391 default:
Willy Tarreau4c1a2b32019-09-05 18:43:22 +02001392 /* good connection is enough for pure TCP check */
Willy Tarreau911db9b2020-01-23 16:27:54 +01001393 if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Christopher Fauletf61f33a2020-03-27 18:55:49 +01001394 if (check->use_ssl == 1)
Willy Tarreau4c1a2b32019-09-05 18:43:22 +02001395 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
1396 else
1397 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
1398 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001399 break;
1400 } /* switch */
Willy Tarreau83749182007-04-15 20:56:27 +02001401
Willy Tarreauc7dd71a2007-11-30 08:33:21 +01001402 out_wakeup:
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001403 /* collect possible new errors */
Willy Tarreau4ff3b892017-10-16 15:17:17 +02001404 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001405 chk_report_conn_err(check, 0, 0);
Willy Tarreaubaaee002006-06-26 02:48:02 +02001406
Nick Chalk57b1bf72010-03-16 15:50:46 +00001407 /* Reset the check buffer... */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001408 *b_head(&check->bi) = '\0';
1409 b_reset(&check->bi);
Nick Chalk57b1bf72010-03-16 15:50:46 +00001410
Steven Davidovitz544d4812017-03-08 11:06:20 -08001411 /* Close the connection... We still attempt to nicely close if,
1412 * for instance, SSL needs to send a "close notify." Later, we perform
1413 * a hard close and reset the connection if some data are pending,
1414 * otherwise we end up with many TIME_WAITs and eat all the source port
1415 * range quickly. To avoid sending RSTs all the time, we first try to
1416 * drain pending data.
Willy Tarreaufd29cc52012-11-23 09:18:20 +01001417 */
Olivier Houchard6c7e96a2019-07-02 16:35:18 +02001418 /* Call cs_shutr() first, to add the CO_FL_SOCK_RD_SH flag on the
1419 * connection, to make sure cs_shutw() will not lead to a shutdown()
1420 * that would provoke TIME_WAITs.
1421 */
1422 cs_shutr(cs, CS_SHR_DRAIN);
Willy Tarreauecdb3fe2017-10-05 15:25:48 +02001423 cs_shutw(cs, CS_SHW_NORMAL);
Willy Tarreau2b57cb82013-06-10 19:56:38 +02001424
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001425 /* OK, let's not stay here forever */
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001426 if (check->result == CHK_RES_FAILED)
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001427 conn->flags |= CO_FL_ERROR;
1428
Willy Tarreaufdccded2008-08-29 18:19:04 +02001429 task_wakeup(t, TASK_WOKEN_IO);
Olivier Houchardaf4021e2018-08-09 13:06:55 +02001430out:
Willy Tarreau3267d362012-08-17 23:53:56 +02001431 return;
Willy Tarreau03938182010-03-17 21:52:07 +01001432
1433 wait_more_data:
Willy Tarreau4f6516d2018-12-19 13:59:17 +01001434 cs->conn->mux->subscribe(cs, SUB_RETRY_RECV, &check->wait_list);
Olivier Houchardaf4021e2018-08-09 13:06:55 +02001435 goto out;
Willy Tarreaubaaee002006-06-26 02:48:02 +02001436}
1437
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001438/*
1439 * This function is used only for server health-checks. It handles connection
1440 * status updates including errors. If necessary, it wakes the check task up.
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001441 * It returns 0 on normal cases, <0 if at least one close() has happened on the
1442 * connection (eg: reconnect).
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001443 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001444static int wake_srv_chk(struct conn_stream *cs)
Willy Tarreau20bea422012-07-06 12:00:49 +02001445{
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001446 struct connection *conn = cs->conn;
1447 struct check *check = cs->data;
Olivier Houchard0923fa42019-01-11 18:43:04 +01001448 struct email_alertq *q = container_of(check, typeof(*q), check);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001449 int ret = 0;
Willy Tarreau20bea422012-07-06 12:00:49 +02001450
Olivier Houchard0923fa42019-01-11 18:43:04 +01001451 if (check->server)
1452 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
1453 else
1454 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Emeric Brunf6ba17d2017-11-02 14:35:27 +01001455
Willy Tarreauc09572f2017-10-04 11:58:22 +02001456 /* we may have to make progress on the TCP checks */
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001457 if (check->type == PR_O2_TCPCHK_CHK) {
1458 ret = tcpcheck_main(check);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001459 cs = check->cs;
Willy Tarreau543abd42018-09-20 11:25:12 +02001460 conn = cs->conn;
Willy Tarreauc5940392019-09-05 17:38:40 +02001461 } else {
1462 if (!(check->wait_list.events & SUB_RETRY_SEND))
1463 __event_srv_chk_w(cs);
1464 if (!(check->wait_list.events & SUB_RETRY_RECV))
1465 __event_srv_chk_r(cs);
1466 }
Willy Tarreauc09572f2017-10-04 11:58:22 +02001467
Willy Tarreau4ff3b892017-10-16 15:17:17 +02001468 if (unlikely(conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)) {
Willy Tarreau02b0f582013-12-03 15:42:33 +01001469 /* We may get error reports bypassing the I/O handlers, typically
1470 * the case when sending a pure TCP check which fails, then the I/O
1471 * handlers above are not called. This is completely handled by the
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001472 * main processing task so let's simply wake it up. If we get here,
1473 * we expect errno to still be valid.
1474 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001475 chk_report_conn_err(check, errno, 0);
Willy Tarreau2d351b62013-12-05 02:36:25 +01001476 task_wakeup(check->task, TASK_WOKEN_IO);
1477 }
Willy Tarreau911db9b2020-01-23 16:27:54 +01001478 else if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Willy Tarreau3be293f2014-02-05 18:31:24 +01001479 /* we may get here if only a connection probe was required : we
1480 * don't have any data to send nor anything expected in response,
1481 * so the completion of the connection establishment is enough.
1482 */
1483 task_wakeup(check->task, TASK_WOKEN_IO);
1484 }
Willy Tarreau2d351b62013-12-05 02:36:25 +01001485
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001486 if (check->result != CHK_RES_UNKNOWN) {
Christopher Faulet774c4862019-01-21 14:15:50 +01001487 /* Check complete or aborted. If connection not yet closed do it
1488 * now and wake the check task up to be sure the result is
1489 * handled ASAP. */
Willy Tarreaud85c4852015-03-13 00:40:28 +01001490 conn_sock_drain(conn);
Willy Tarreaua553ae92017-10-05 18:52:17 +02001491 cs_close(cs);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001492 ret = -1;
Olivier Houchardf4949572019-07-02 17:42:22 +02001493 /* We may have been scheduled to run, and the
1494 * I/O handler expects to have a cs, so remove
1495 * the tasklet
1496 */
1497 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Christopher Faulet774c4862019-01-21 14:15:50 +01001498 task_wakeup(check->task, TASK_WOKEN_IO);
Willy Tarreau2d351b62013-12-05 02:36:25 +01001499 }
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001500
Olivier Houchard0923fa42019-01-11 18:43:04 +01001501 if (check->server)
1502 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
1503 else
1504 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Emeric Brunf6ba17d2017-11-02 14:35:27 +01001505
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001506 /* if a connection got replaced, we must absolutely prevent the connection
1507 * handler from touching its fd, and perform the FD polling updates ourselves
1508 */
1509 if (ret < 0)
1510 conn_cond_update_polling(conn);
1511
1512 return ret;
Willy Tarreau20bea422012-07-06 12:00:49 +02001513}
1514
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001515struct data_cb check_conn_cb = {
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001516 .wake = wake_srv_chk,
Willy Tarreau8e0bb0a2016-11-24 16:58:12 +01001517 .name = "CHCK",
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001518};
1519
Willy Tarreaubaaee002006-06-26 02:48:02 +02001520/*
Willy Tarreau2e993902011-10-31 11:53:20 +01001521 * updates the server's weight during a warmup stage. Once the final weight is
1522 * reached, the task automatically stops. Note that any server status change
1523 * must have updated s->last_change accordingly.
1524 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02001525static struct task *server_warmup(struct task *t, void *context, unsigned short state)
Willy Tarreau2e993902011-10-31 11:53:20 +01001526{
Olivier Houchard9f6af332018-05-25 14:04:04 +02001527 struct server *s = context;
Willy Tarreau2e993902011-10-31 11:53:20 +01001528
1529 /* by default, plan on stopping the task */
1530 t->expire = TICK_ETERNITY;
Emeric Brun52a91d32017-08-31 14:41:55 +02001531 if ((s->next_admin & SRV_ADMF_MAINT) ||
1532 (s->next_state != SRV_ST_STARTING))
Willy Tarreau2e993902011-10-31 11:53:20 +01001533 return t;
1534
Willy Tarreau4fc49a92019-05-05 06:54:22 +02001535 HA_SPIN_LOCK(SERVER_LOCK, &s->lock);
1536
Willy Tarreau892337c2014-05-13 23:41:20 +02001537 /* recalculate the weights and update the state */
Willy Tarreau3ff577e2018-08-02 11:48:52 +02001538 server_recalc_eweight(s, 1);
Willy Tarreau2e993902011-10-31 11:53:20 +01001539
1540 /* probably that we can refill this server with a bit more connections */
Willy Tarreau4aac7db2014-05-16 11:48:10 +02001541 pendconn_grab_from_px(s);
Willy Tarreau2e993902011-10-31 11:53:20 +01001542
Willy Tarreau4fc49a92019-05-05 06:54:22 +02001543 HA_SPIN_UNLOCK(SERVER_LOCK, &s->lock);
1544
Willy Tarreau2e993902011-10-31 11:53:20 +01001545 /* get back there in 1 second or 1/20th of the slowstart interval,
1546 * whichever is greater, resulting in small 5% steps.
1547 */
Emeric Brun52a91d32017-08-31 14:41:55 +02001548 if (s->next_state == SRV_ST_STARTING)
Willy Tarreau2e993902011-10-31 11:53:20 +01001549 t->expire = tick_add(now_ms, MS_TO_TICKS(MAX(1000, s->slowstart / 20)));
1550 return t;
1551}
1552
Willy Tarreau894c6422017-10-04 15:58:52 +02001553/* returns the first NON-COMMENT tcp-check rule from list <list> or NULL if
1554 * none was found.
1555 */
1556static struct tcpcheck_rule *get_first_tcpcheck_rule(struct list *list)
1557{
1558 struct tcpcheck_rule *r;
1559
1560 list_for_each_entry(r, list, list) {
1561 if (r->action != TCPCHK_ACT_COMMENT)
1562 return r;
1563 }
1564 return NULL;
1565}
1566
Gaetan Rivet1d22d7e2020-02-14 17:47:08 +01001567/* returns the NON-COMMENT tcp-check rule from list <list> following <start> or
1568 * NULL if non was found. If <start> is NULL, it relies on
1569 * get_first_tcpcheck_rule().
1570 */
1571static struct tcpcheck_rule *get_next_tcpcheck_rule(struct list *list, struct tcpcheck_rule *start)
1572{
1573 struct tcpcheck_rule *r;
1574
1575 if (!start)
1576 return get_first_tcpcheck_rule(list);
1577
1578 r = LIST_NEXT(&start->list, typeof(r), list);
1579 list_for_each_entry_from(r, list, list) {
1580 if (r->action != TCPCHK_ACT_COMMENT)
1581 return r;
1582 }
1583 return NULL;
1584}
1585
Willy Tarreau2e993902011-10-31 11:53:20 +01001586/*
Simon Horman98637e52014-06-20 12:30:16 +09001587 * establish a server health-check that makes use of a connection.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001588 *
1589 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02001590 * - SF_ERR_NONE if everything's OK and tcpcheck_main() was not called
1591 * - SF_ERR_UP if if everything's OK and tcpcheck_main() was called
1592 * - SF_ERR_SRVTO if there are no more servers
1593 * - SF_ERR_SRVCL if the connection was refused by the server
1594 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
1595 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
1596 * - SF_ERR_INTERNAL for any other purely internal errors
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001597 * - 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 +01001598 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001599 * Note that we try to prevent the network stack from sending the ACK during the
1600 * connect() when a pure TCP check is used (without PROXY protocol).
1601 */
Simon Horman98637e52014-06-20 12:30:16 +09001602static int connect_conn_chk(struct task *t)
Simon Hormanb00d17a2014-06-13 16:18:16 +09001603{
1604 struct check *check = t->context;
1605 struct server *s = check->server;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001606 struct conn_stream *cs = check->cs;
1607 struct connection *conn = cs_conn(cs);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001608 struct protocol *proto;
1609 int ret;
Olivier Houchardfdcb0072019-05-06 18:32:29 +02001610 int connflags = 0;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001611
Willy Tarreau00149122017-10-04 18:05:01 +02001612 /* we cannot have a connection here */
1613 if (conn)
1614 return SF_ERR_INTERNAL;
1615
Simon Hormanb00d17a2014-06-13 16:18:16 +09001616 /* prepare the check buffer.
1617 * This should not be used if check is the secondary agent check
1618 * of a server as s->proxy->check_req will relate to the
1619 * configuration of the primary check. Similarly, tcp-check uses
1620 * its own strings.
1621 */
1622 if (check->type && check->type != PR_O2_TCPCHK_CHK && !(check->state & CHK_ST_AGENT)) {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001623 b_putblk(&check->bo, s->proxy->check_req, s->proxy->check_len);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001624
1625 /* we want to check if this host replies to HTTP or SSLv3 requests
1626 * so we'll send the request, and won't wake the checker up now.
1627 */
1628 if ((check->type) == PR_O2_SSL3_CHK) {
1629 /* SSL requires that we put Unix time in the request */
1630 int gmt_time = htonl(date.tv_sec);
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001631 memcpy(b_head(&check->bo) + 11, &gmt_time, 4);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001632 }
1633 else if ((check->type) == PR_O2_HTTP_CHK) {
Cyril Bonté32602d22015-01-30 00:07:07 +01001634 /* prevent HTTP keep-alive when "http-check expect" is used */
1635 if (s->proxy->options2 & PR_O2_EXP_TYPE)
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001636 b_putist(&check->bo, ist("Connection: close\r\n"));
Christopher Faulet8acb1282020-04-09 08:44:06 +02001637
1638 /* If there is a body, add its content-length */
1639 if (s->proxy->check_body_len)
1640 chunk_appendf(&check->bo, "Content-Length: %s\r\n", ultoa(s->proxy->check_body_len));
1641
1642 /* Add configured headers */
1643 if (s->proxy->check_hdrs)
1644 b_putblk(&check->bo, s->proxy->check_hdrs, s->proxy->check_hdrs_len);
1645
1646 /* Add send-state header */
1647 if (s->proxy->options2 & PR_O2_CHK_SNDST)
1648 b_putblk(&check->bo, trash.area,
1649 httpchk_build_status_header(s, trash.area, trash.size));
1650
1651 /* end-of-header */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001652 b_putist(&check->bo, ist("\r\n"));
Christopher Faulet8acb1282020-04-09 08:44:06 +02001653
1654 /* Add the body */
1655 if (s->proxy->check_body)
1656 b_putblk(&check->bo, s->proxy->check_body, s->proxy->check_body_len);
1657
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001658 *b_tail(&check->bo) = '\0'; /* to make gdb output easier to read */
Simon Hormanb00d17a2014-06-13 16:18:16 +09001659 }
1660 }
1661
James Brown55f9ff12015-10-21 18:19:05 -07001662 if ((check->type & PR_O2_LB_AGENT_CHK) && check->send_string_len) {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001663 b_putblk(&check->bo, check->send_string, check->send_string_len);
James Brown55f9ff12015-10-21 18:19:05 -07001664 }
1665
Willy Tarreauf411cce2017-10-04 16:21:19 +02001666 /* for tcp-checks, the initial connection setup is handled separately as
1667 * it may be sent to a specific port and not to the server's.
1668 */
Christopher Fauleta202d1d2020-03-26 17:38:49 +01001669 if (check->type == PR_O2_TCPCHK_CHK) {
1670 /* tcpcheck initialisation */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02001671 check->current_step = NULL;
Willy Tarreauf411cce2017-10-04 16:21:19 +02001672 tcpcheck_main(check);
1673 return SF_ERR_UP;
1674 }
1675
Simon Hormanb00d17a2014-06-13 16:18:16 +09001676 /* prepare a new connection */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001677 cs = check->cs = cs_new(NULL);
1678 if (!check->cs)
Willy Tarreau00149122017-10-04 18:05:01 +02001679 return SF_ERR_RESOURCE;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001680 conn = cs->conn;
Olivier Houchard26e1a8f2018-09-12 15:15:12 +02001681 /* Maybe there were an older connection we were waiting on */
Willy Tarreau4f6516d2018-12-19 13:59:17 +01001682 check->wait_list.events = 0;
Olivier Houchardff1e9f32019-09-20 17:18:35 +02001683 tasklet_set_tid(check->wait_list.tasklet, tid);
1684
Simon Hormanb00d17a2014-06-13 16:18:16 +09001685
Willy Tarreauca79f592019-07-17 19:04:47 +02001686 if (!sockaddr_alloc(&conn->dst))
1687 return SF_ERR_RESOURCE;
1688
Simon Horman41f58762015-01-30 11:22:56 +09001689 if (is_addr(&check->addr)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001690 /* we'll connect to the check addr specified on the server */
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001691 *conn->dst = check->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001692 }
1693 else {
1694 /* we'll connect to the addr on the server */
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001695 *conn->dst = s->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001696 }
1697
Alexander Liu2a54bb72019-05-22 19:44:48 +08001698 if (s->check.via_socks4 && (s->flags & SRV_F_SOCKS4_PROXY)) {
1699 conn->send_proxy_ofs = 1;
1700 conn->flags |= CO_FL_SOCKS4;
1701 }
1702
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001703 proto = protocol_by_family(conn->dst->ss_family);
Olivier Houchard6377a002017-12-01 22:04:05 +01001704 conn->target = &s->obj_type;
1705
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001706 if ((conn->dst->ss_family == AF_INET) || (conn->dst->ss_family == AF_INET6)) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001707 int i = 0;
1708
1709 i = srv_check_healthcheck_port(check);
Olivier Houchard6377a002017-12-01 22:04:05 +01001710 if (i == 0)
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001711 return SF_ERR_CHK_PORT;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001712
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001713 set_host_port(conn->dst, i);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001714 }
1715
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01001716 /* no client address */
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01001717
Willy Tarreaube373152018-09-06 11:45:30 +02001718 conn_prepare(conn, proto, check->xprt);
Olivier Houchardf67be932019-01-29 15:47:43 +01001719 if (conn_install_mux(conn, &mux_pt_ops, cs, s->proxy, NULL) < 0)
1720 return SF_ERR_RESOURCE;
Willy Tarreaube373152018-09-06 11:45:30 +02001721 cs_attach(cs, check, &check_conn_cb);
1722
Christopher Fauleta202d1d2020-03-26 17:38:49 +01001723 /* only plain tcp check supports quick ACK */
1724 connflags |= (check->type ? CONNECT_HAS_DATA : CONNECT_DELACK_ALWAYS);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001725
Willy Tarreaue7dff022015-04-03 01:14:29 +02001726 ret = SF_ERR_INTERNAL;
Olivier Houchardb68fda42017-08-04 18:39:01 +02001727 if (proto && proto->connect)
Olivier Houchardfdcb0072019-05-06 18:32:29 +02001728 ret = proto->connect(conn, connflags);
Willy Tarreau16257f62017-11-02 15:45:00 +01001729
Willy Tarreau16257f62017-11-02 15:45:00 +01001730
Olivier Houchard9130a962017-10-17 17:33:43 +02001731#ifdef USE_OPENSSL
Olivier Houcharda48437b2019-01-29 16:37:52 +01001732 if (ret == SF_ERR_NONE) {
1733 if (s->check.sni)
1734 ssl_sock_set_servername(conn, s->check.sni);
1735 if (s->check.alpn_str)
1736 ssl_sock_set_alpn(conn, (unsigned char *)s->check.alpn_str,
1737 s->check.alpn_len);
1738 }
Olivier Houchard9130a962017-10-17 17:33:43 +02001739#endif
Willy Tarreauf4949772017-05-06 08:45:28 +02001740 if (s->check.send_proxy && !(check->state & CHK_ST_AGENT)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001741 conn->send_proxy_ofs = 1;
1742 conn->flags |= CO_FL_SEND_PROXY;
Olivier Houchard37d78972019-12-30 15:13:42 +01001743 }
1744 if (conn->flags & (CO_FL_SEND_PROXY | CO_FL_SOCKS4) &&
1745 conn_ctrl_ready(conn)) {
Olivier Houchardfe50bfb2019-05-27 12:09:19 +02001746 if (xprt_add_hs(conn) < 0)
1747 ret = SF_ERR_RESOURCE;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001748 }
1749
1750 return ret;
1751}
1752
Simon Horman98637e52014-06-20 12:30:16 +09001753static struct list pid_list = LIST_HEAD_INIT(pid_list);
Willy Tarreaubafbe012017-11-24 17:34:44 +01001754static struct pool_head *pool_head_pid_list;
Willy Tarreau86abe442018-11-25 20:12:18 +01001755__decl_spinlock(pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001756
1757void block_sigchld(void)
1758{
1759 sigset_t set;
1760 sigemptyset(&set);
1761 sigaddset(&set, SIGCHLD);
William Lallemand6e1796e2018-06-07 11:23:40 +02001762 assert(ha_sigmask(SIG_BLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001763}
1764
1765void unblock_sigchld(void)
1766{
1767 sigset_t set;
1768 sigemptyset(&set);
Willy Tarreauebc92442016-06-21 17:29:46 +02001769 sigaddset(&set, SIGCHLD);
William Lallemand6e1796e2018-06-07 11:23:40 +02001770 assert(ha_sigmask(SIG_UNBLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001771}
1772
Simon Horman98637e52014-06-20 12:30:16 +09001773static struct pid_list *pid_list_add(pid_t pid, struct task *t)
1774{
1775 struct pid_list *elem;
1776 struct check *check = t->context;
1777
Willy Tarreaubafbe012017-11-24 17:34:44 +01001778 elem = pool_alloc(pool_head_pid_list);
Simon Horman98637e52014-06-20 12:30:16 +09001779 if (!elem)
1780 return NULL;
1781 elem->pid = pid;
1782 elem->t = t;
1783 elem->exited = 0;
1784 check->curpid = elem;
1785 LIST_INIT(&elem->list);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001786
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001787 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001788 LIST_ADD(&pid_list, &elem->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001789 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001790
Simon Horman98637e52014-06-20 12:30:16 +09001791 return elem;
1792}
1793
Simon Horman98637e52014-06-20 12:30:16 +09001794static void pid_list_del(struct pid_list *elem)
1795{
1796 struct check *check;
1797
1798 if (!elem)
1799 return;
1800
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001801 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001802 LIST_DEL(&elem->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001803 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001804
Simon Horman98637e52014-06-20 12:30:16 +09001805 if (!elem->exited)
1806 kill(elem->pid, SIGTERM);
1807
1808 check = elem->t->context;
1809 check->curpid = NULL;
Willy Tarreaubafbe012017-11-24 17:34:44 +01001810 pool_free(pool_head_pid_list, elem);
Simon Horman98637e52014-06-20 12:30:16 +09001811}
1812
1813/* Called from inside SIGCHLD handler, SIGCHLD is blocked */
1814static void pid_list_expire(pid_t pid, int status)
1815{
1816 struct pid_list *elem;
1817
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001818 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001819 list_for_each_entry(elem, &pid_list, list) {
1820 if (elem->pid == pid) {
1821 elem->t->expire = now_ms;
1822 elem->status = status;
1823 elem->exited = 1;
Cyril Bonté9dbcfab2014-08-07 01:55:39 +02001824 task_wakeup(elem->t, TASK_WOKEN_IO);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001825 break;
Simon Horman98637e52014-06-20 12:30:16 +09001826 }
1827 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001828 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001829}
1830
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001831static void sigchld_handler(struct sig_handler *sh)
Simon Horman98637e52014-06-20 12:30:16 +09001832{
1833 pid_t pid;
1834 int status;
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001835
Simon Horman98637e52014-06-20 12:30:16 +09001836 while ((pid = waitpid(0, &status, WNOHANG)) > 0)
1837 pid_list_expire(pid, status);
1838}
1839
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001840static int init_pid_list(void)
1841{
Willy Tarreaubafbe012017-11-24 17:34:44 +01001842 if (pool_head_pid_list != NULL)
Simon Horman98637e52014-06-20 12:30:16 +09001843 /* Nothing to do */
1844 return 0;
1845
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001846 if (!signal_register_fct(SIGCHLD, sigchld_handler, SIGCHLD)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001847 ha_alert("Failed to set signal handler for external health checks: %s. Aborting.\n",
1848 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001849 return 1;
1850 }
1851
Willy Tarreaubafbe012017-11-24 17:34:44 +01001852 pool_head_pid_list = create_pool("pid_list", sizeof(struct pid_list), MEM_F_SHARED);
1853 if (pool_head_pid_list == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001854 ha_alert("Failed to allocate memory pool for external health checks: %s. Aborting.\n",
1855 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001856 return 1;
1857 }
1858
1859 return 0;
1860}
1861
Cyril Bontéac92a062014-12-27 22:28:38 +01001862/* helper macro to set an environment variable and jump to a specific label on failure. */
1863#define EXTCHK_SETENV(check, envidx, value, fail) { if (extchk_setenv(check, envidx, value)) goto fail; }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001864
1865/*
Cyril Bontéac92a062014-12-27 22:28:38 +01001866 * helper function to allocate enough memory to store an environment variable.
1867 * It will also check that the environment variable is updatable, and silently
1868 * fail if not.
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001869 */
Cyril Bontéac92a062014-12-27 22:28:38 +01001870static int extchk_setenv(struct check *check, int idx, const char *value)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001871{
1872 int len, ret;
Cyril Bontéac92a062014-12-27 22:28:38 +01001873 char *envname;
1874 int vmaxlen;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001875
Cyril Bontéac92a062014-12-27 22:28:38 +01001876 if (idx < 0 || idx >= EXTCHK_SIZE) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001877 ha_alert("Illegal environment variable index %d. Aborting.\n", idx);
Cyril Bontéac92a062014-12-27 22:28:38 +01001878 return 1;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001879 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001880
1881 envname = extcheck_envs[idx].name;
1882 vmaxlen = extcheck_envs[idx].vmaxlen;
1883
1884 /* Check if the environment variable is already set, and silently reject
1885 * the update if this one is not updatable. */
1886 if ((vmaxlen == EXTCHK_SIZE_EVAL_INIT) && (check->envp[idx]))
1887 return 0;
1888
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001889 /* Instead of sending NOT_USED, sending an empty value is preferable */
1890 if (strcmp(value, "NOT_USED") == 0) {
1891 value = "";
1892 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001893
1894 len = strlen(envname) + 1;
1895 if (vmaxlen == EXTCHK_SIZE_EVAL_INIT)
1896 len += strlen(value);
1897 else
1898 len += vmaxlen;
1899
1900 if (!check->envp[idx])
1901 check->envp[idx] = malloc(len + 1);
1902
1903 if (!check->envp[idx]) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001904 ha_alert("Failed to allocate memory for the environment variable '%s'. Aborting.\n", envname);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001905 return 1;
1906 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001907 ret = snprintf(check->envp[idx], len + 1, "%s=%s", envname, value);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001908 if (ret < 0) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001909 ha_alert("Failed to store the environment variable '%s'. Reason : %s. Aborting.\n", envname, strerror(errno));
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001910 return 1;
1911 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001912 else if (ret > len) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001913 ha_alert("Environment variable '%s' was truncated. Aborting.\n", envname);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001914 return 1;
1915 }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001916 return 0;
1917}
Simon Horman98637e52014-06-20 12:30:16 +09001918
1919static int prepare_external_check(struct check *check)
1920{
1921 struct server *s = check->server;
1922 struct proxy *px = s->proxy;
1923 struct listener *listener = NULL, *l;
1924 int i;
Simon Horman98637e52014-06-20 12:30:16 +09001925 const char *path = px->check_path ? px->check_path : DEF_CHECK_PATH;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001926 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09001927
1928 list_for_each_entry(l, &px->conf.listeners, by_fe)
1929 /* Use the first INET, INET6 or UNIX listener */
1930 if (l->addr.ss_family == AF_INET ||
1931 l->addr.ss_family == AF_INET6 ||
1932 l->addr.ss_family == AF_UNIX) {
1933 listener = l;
1934 break;
1935 }
1936
Simon Horman98637e52014-06-20 12:30:16 +09001937 check->curpid = NULL;
Cyril Bontéac92a062014-12-27 22:28:38 +01001938 check->envp = calloc((EXTCHK_SIZE + 1), sizeof(char *));
1939 if (!check->envp) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001940 ha_alert("Failed to allocate memory for environment variables. Aborting\n");
Cyril Bontéac92a062014-12-27 22:28:38 +01001941 goto err;
1942 }
Simon Horman98637e52014-06-20 12:30:16 +09001943
Cyril Bontéac92a062014-12-27 22:28:38 +01001944 check->argv = calloc(6, sizeof(char *));
1945 if (!check->argv) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001946 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001947 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001948 }
Simon Horman98637e52014-06-20 12:30:16 +09001949
1950 check->argv[0] = px->check_command;
1951
Cyril Bonté777be862014-12-02 21:21:35 +01001952 if (!listener) {
1953 check->argv[1] = strdup("NOT_USED");
1954 check->argv[2] = strdup("NOT_USED");
1955 }
1956 else if (listener->addr.ss_family == AF_INET ||
Simon Horman98637e52014-06-20 12:30:16 +09001957 listener->addr.ss_family == AF_INET6) {
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001958 addr_to_str(&listener->addr, buf, sizeof(buf));
1959 check->argv[1] = strdup(buf);
1960 port_to_str(&listener->addr, buf, sizeof(buf));
1961 check->argv[2] = strdup(buf);
Cyril Bonté777be862014-12-02 21:21:35 +01001962 }
1963 else if (listener->addr.ss_family == AF_UNIX) {
Simon Horman98637e52014-06-20 12:30:16 +09001964 const struct sockaddr_un *un;
1965
1966 un = (struct sockaddr_un *)&listener->addr;
1967 check->argv[1] = strdup(un->sun_path);
1968 check->argv[2] = strdup("NOT_USED");
Cyril Bonté777be862014-12-02 21:21:35 +01001969 }
1970 else {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001971 ha_alert("Starting [%s:%s] check: unsupported address family.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001972 goto err;
1973 }
1974
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001975 if (!check->argv[1] || !check->argv[2]) {
1976 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
1977 goto err;
1978 }
1979
1980 check->argv[3] = calloc(EXTCHK_SIZE_ADDR, sizeof(*check->argv[3]));
1981 check->argv[4] = calloc(EXTCHK_SIZE_UINT, sizeof(*check->argv[4]));
1982 if (!check->argv[3] || !check->argv[4]) {
1983 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
1984 goto err;
1985 }
Willy Tarreau04276f32017-01-06 17:41:29 +01001986
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001987 addr_to_str(&s->addr, check->argv[3], EXTCHK_SIZE_ADDR);
Willy Tarreau04276f32017-01-06 17:41:29 +01001988 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001989 snprintf(check->argv[4], EXTCHK_SIZE_UINT, "%u", s->svc_port);
Simon Horman98637e52014-06-20 12:30:16 +09001990
Cyril Bontéac92a062014-12-27 22:28:38 +01001991 for (i = 0; i < 5; i++) {
1992 if (!check->argv[i]) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001993 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001994 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001995 }
1996 }
Simon Horman98637e52014-06-20 12:30:16 +09001997
Cyril Bontéac92a062014-12-27 22:28:38 +01001998 EXTCHK_SETENV(check, EXTCHK_PATH, path, err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001999 /* Add proxy environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01002000 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_NAME, px->id, err);
2001 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ID, ultoa_r(px->uuid, buf, sizeof(buf)), err);
2002 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ADDR, check->argv[1], err);
2003 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_PORT, check->argv[2], err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002004 /* Add server environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01002005 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_NAME, s->id, err);
2006 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ID, ultoa_r(s->puid, buf, sizeof(buf)), err);
2007 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ADDR, check->argv[3], err);
2008 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_PORT, check->argv[4], err);
2009 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_MAXCONN, ultoa_r(s->maxconn, buf, sizeof(buf)), err);
2010 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)), err);
2011
2012 /* Ensure that we don't leave any hole in check->envp */
2013 for (i = 0; i < EXTCHK_SIZE; i++)
2014 if (!check->envp[i])
2015 EXTCHK_SETENV(check, i, "", err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002016
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002017 return 1;
Simon Horman98637e52014-06-20 12:30:16 +09002018err:
2019 if (check->envp) {
Cyril Bontéac92a062014-12-27 22:28:38 +01002020 for (i = 0; i < EXTCHK_SIZE; i++)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002021 free(check->envp[i]);
Simon Horman98637e52014-06-20 12:30:16 +09002022 free(check->envp);
2023 check->envp = NULL;
2024 }
2025
2026 if (check->argv) {
2027 for (i = 1; i < 5; i++)
2028 free(check->argv[i]);
2029 free(check->argv);
2030 check->argv = NULL;
2031 }
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002032 return 0;
Simon Horman98637e52014-06-20 12:30:16 +09002033}
2034
Simon Hormanb00d17a2014-06-13 16:18:16 +09002035/*
Simon Horman98637e52014-06-20 12:30:16 +09002036 * establish a server health-check that makes use of a process.
2037 *
2038 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02002039 * - SF_ERR_NONE if everything's OK
Willy Tarreaue7dff022015-04-03 01:14:29 +02002040 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
Tim Düsterhus4896c442016-11-29 02:15:19 +01002041 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Horman98637e52014-06-20 12:30:16 +09002042 *
2043 * Blocks and then unblocks SIGCHLD
2044 */
2045static int connect_proc_chk(struct task *t)
2046{
Cyril Bontéac92a062014-12-27 22:28:38 +01002047 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09002048 struct check *check = t->context;
2049 struct server *s = check->server;
2050 struct proxy *px = s->proxy;
2051 int status;
2052 pid_t pid;
2053
Willy Tarreaue7dff022015-04-03 01:14:29 +02002054 status = SF_ERR_RESOURCE;
Simon Horman98637e52014-06-20 12:30:16 +09002055
2056 block_sigchld();
2057
2058 pid = fork();
2059 if (pid < 0) {
Willy Tarreaud96f1122019-12-03 07:07:36 +01002060 ha_alert("Failed to fork process for external health check%s: %s. Aborting.\n",
2061 (global.tune.options & GTUNE_INSECURE_FORK) ?
2062 "" : " (likely caused by missing 'insecure-fork-wanted')",
Christopher Faulet767a84b2017-11-24 16:50:31 +01002063 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09002064 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2065 goto out;
2066 }
2067 if (pid == 0) {
2068 /* Child */
2069 extern char **environ;
Willy Tarreau9f6dc722019-03-01 11:15:10 +01002070 struct rlimit limit;
Willy Tarreaub7b24782016-06-21 15:32:29 +02002071 int fd;
2072
2073 /* close all FDs. Keep stdin/stdout/stderr in verbose mode */
2074 fd = (global.mode & (MODE_QUIET|MODE_VERBOSE)) == MODE_QUIET ? 0 : 3;
2075
Willy Tarreau2555ccf2019-02-21 22:22:06 +01002076 my_closefrom(fd);
Willy Tarreaub7b24782016-06-21 15:32:29 +02002077
Willy Tarreau9f6dc722019-03-01 11:15:10 +01002078 /* restore the initial FD limits */
2079 limit.rlim_cur = rlim_fd_cur_at_boot;
2080 limit.rlim_max = rlim_fd_max_at_boot;
2081 if (setrlimit(RLIMIT_NOFILE, &limit) == -1) {
2082 getrlimit(RLIMIT_NOFILE, &limit);
2083 ha_warning("External check: failed to restore initial FD limits (cur=%u max=%u), using cur=%u max=%u\n",
2084 rlim_fd_cur_at_boot, rlim_fd_max_at_boot,
2085 (unsigned int)limit.rlim_cur, (unsigned int)limit.rlim_max);
2086 }
2087
Simon Horman98637e52014-06-20 12:30:16 +09002088 environ = check->envp;
Christopher Fauletaaae9a02020-04-26 09:50:31 +02002089
2090 /* Update some environment variables and command args: curconn, server addr and server port */
Cyril Bontéac92a062014-12-27 22:28:38 +01002091 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)));
Christopher Fauletaaae9a02020-04-26 09:50:31 +02002092
2093 addr_to_str(&s->addr, check->argv[3], EXTCHK_SIZE_ADDR);
2094 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_ADDR, check->argv[3]);
2095
2096 *check->argv[4] = 0;
2097 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
2098 snprintf(check->argv[4], EXTCHK_SIZE_UINT, "%u", s->svc_port);
2099 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_PORT, check->argv[4]);
2100
Willy Tarreau2df8cad2019-07-01 07:51:29 +02002101 haproxy_unblock_signals();
Simon Horman98637e52014-06-20 12:30:16 +09002102 execvp(px->check_command, check->argv);
Christopher Faulet767a84b2017-11-24 16:50:31 +01002103 ha_alert("Failed to exec process for external health check: %s. Aborting.\n",
2104 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09002105 exit(-1);
2106 }
2107
2108 /* Parent */
2109 if (check->result == CHK_RES_UNKNOWN) {
2110 if (pid_list_add(pid, t) != NULL) {
2111 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2112
2113 if (px->timeout.check && px->timeout.connect) {
2114 int t_con = tick_add(now_ms, px->timeout.connect);
2115 t->expire = tick_first(t->expire, t_con);
2116 }
Willy Tarreaue7dff022015-04-03 01:14:29 +02002117 status = SF_ERR_NONE;
Simon Horman98637e52014-06-20 12:30:16 +09002118 goto out;
2119 }
2120 else {
2121 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2122 }
2123 kill(pid, SIGTERM); /* process creation error */
2124 }
2125 else
2126 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2127
2128out:
2129 unblock_sigchld();
2130 return status;
2131}
2132
2133/*
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002134 * manages a server health-check that uses an external process. Returns
Willy Tarreaubaaee002006-06-26 02:48:02 +02002135 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002136 *
2137 * Please do NOT place any return statement in this function and only leave
2138 * via the out_unlock label.
Willy Tarreaubaaee002006-06-26 02:48:02 +02002139 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002140static struct task *process_chk_proc(struct task *t, void *context, unsigned short state)
Simon Horman98637e52014-06-20 12:30:16 +09002141{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002142 struct check *check = context;
Simon Horman98637e52014-06-20 12:30:16 +09002143 struct server *s = check->server;
Simon Horman98637e52014-06-20 12:30:16 +09002144 int rv;
2145 int ret;
2146 int expired = tick_is_expired(t->expire, now_ms);
2147
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002148 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Simon Horman98637e52014-06-20 12:30:16 +09002149 if (!(check->state & CHK_ST_INPROGRESS)) {
2150 /* no check currently running */
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002151 if (!expired) /* woke up too early */
2152 goto out_unlock;
Simon Horman98637e52014-06-20 12:30:16 +09002153
2154 /* we don't send any health-checks when the proxy is
2155 * stopped, the server should not be checked or the check
2156 * is disabled.
2157 */
2158 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
2159 s->proxy->state == PR_STSTOPPED)
2160 goto reschedule;
2161
2162 /* we'll initiate a new check */
2163 set_server_check_status(check, HCHK_STATUS_START, NULL);
2164
2165 check->state |= CHK_ST_INPROGRESS;
2166
Simon Hormandbf70192015-01-30 11:22:53 +09002167 ret = connect_proc_chk(t);
Willy Tarreaud7c3fbd2017-10-04 15:19:26 +02002168 if (ret == SF_ERR_NONE) {
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002169 /* the process was forked, we allow up to min(inter,
2170 * timeout.connect) for it to report its status, but
2171 * only when timeout.check is set as it may be to short
2172 * for a full check otherwise.
Simon Horman98637e52014-06-20 12:30:16 +09002173 */
2174 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2175
2176 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
2177 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
2178 t->expire = tick_first(t->expire, t_con);
2179 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002180 task_set_affinity(t, tid_bit);
Simon Horman98637e52014-06-20 12:30:16 +09002181 goto reschedule;
Simon Horman98637e52014-06-20 12:30:16 +09002182 }
2183
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002184 /* here, we failed to start the check */
Simon Horman98637e52014-06-20 12:30:16 +09002185
2186 check->state &= ~CHK_ST_INPROGRESS;
2187 check_notify_failure(check);
2188
2189 /* we allow up to min(inter, timeout.connect) for a connection
2190 * to establish but only when timeout.check is set
2191 * as it may be to short for a full check otherwise
2192 */
2193 while (tick_is_expired(t->expire, now_ms)) {
2194 int t_con;
2195
2196 t_con = tick_add(t->expire, s->proxy->timeout.connect);
2197 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2198
2199 if (s->proxy->timeout.check)
2200 t->expire = tick_first(t->expire, t_con);
2201 }
2202 }
2203 else {
2204 /* there was a test running.
2205 * First, let's check whether there was an uncaught error,
2206 * which can happen on connect timeout or error.
2207 */
2208 if (check->result == CHK_RES_UNKNOWN) {
2209 /* good connection is enough for pure TCP check */
2210 struct pid_list *elem = check->curpid;
2211 int status = HCHK_STATUS_UNKNOWN;
2212
2213 if (elem->exited) {
2214 status = elem->status; /* Save in case the process exits between use below */
2215 if (!WIFEXITED(status))
2216 check->code = -1;
2217 else
2218 check->code = WEXITSTATUS(status);
2219 if (!WIFEXITED(status) || WEXITSTATUS(status))
2220 status = HCHK_STATUS_PROCERR;
2221 else
2222 status = HCHK_STATUS_PROCOK;
2223 } else if (expired) {
2224 status = HCHK_STATUS_PROCTOUT;
Christopher Faulet767a84b2017-11-24 16:50:31 +01002225 ha_warning("kill %d\n", (int)elem->pid);
Simon Horman98637e52014-06-20 12:30:16 +09002226 kill(elem->pid, SIGTERM);
2227 }
2228 set_server_check_status(check, status, NULL);
2229 }
2230
2231 if (check->result == CHK_RES_FAILED) {
2232 /* a failure or timeout detected */
2233 check_notify_failure(check);
2234 }
2235 else if (check->result == CHK_RES_CONDPASS) {
2236 /* check is OK but asks for stopping mode */
2237 check_notify_stopping(check);
2238 }
2239 else if (check->result == CHK_RES_PASSED) {
2240 /* a success was detected */
2241 check_notify_success(check);
2242 }
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002243 task_set_affinity(t, 1);
Simon Horman98637e52014-06-20 12:30:16 +09002244 check->state &= ~CHK_ST_INPROGRESS;
2245
2246 pid_list_del(check->curpid);
2247
2248 rv = 0;
2249 if (global.spread_checks > 0) {
2250 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreau5a6d3e72020-03-08 17:53:53 +01002251 rv -= (int) (2 * rv * (ha_random32() / 4294967295.0));
Simon Horman98637e52014-06-20 12:30:16 +09002252 }
2253 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
2254 }
2255
2256 reschedule:
2257 while (tick_is_expired(t->expire, now_ms))
2258 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002259
2260 out_unlock:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002261 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Simon Horman98637e52014-06-20 12:30:16 +09002262 return t;
2263}
2264
2265/*
2266 * manages a server health-check that uses a connection. Returns
2267 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002268 *
2269 * Please do NOT place any return statement in this function and only leave
2270 * via the out_unlock label.
Simon Horman98637e52014-06-20 12:30:16 +09002271 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002272static struct task *process_chk_conn(struct task *t, void *context, unsigned short state)
Willy Tarreaubaaee002006-06-26 02:48:02 +02002273{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002274 struct check *check = context;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002275 struct proxy *proxy = check->proxy;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002276 struct conn_stream *cs = check->cs;
2277 struct connection *conn = cs_conn(cs);
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002278 int rv;
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002279 int ret;
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002280 int expired = tick_is_expired(t->expire, now_ms);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002281
Olivier Houchard0923fa42019-01-11 18:43:04 +01002282 if (check->server)
2283 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau2c115e52013-12-11 19:41:16 +01002284 if (!(check->state & CHK_ST_INPROGRESS)) {
Willy Tarreau5a78f362012-11-23 12:47:05 +01002285 /* no check currently running */
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002286 if (!expired) /* woke up too early */
2287 goto out_unlock;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002288
Simon Horman671b6f02013-11-25 10:46:39 +09002289 /* we don't send any health-checks when the proxy is
2290 * stopped, the server should not be checked or the check
2291 * is disabled.
Willy Tarreaubaaee002006-06-26 02:48:02 +02002292 */
Willy Tarreau0d924cc2013-12-11 21:26:24 +01002293 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002294 proxy->state == PR_STSTOPPED)
Willy Tarreau5a78f362012-11-23 12:47:05 +01002295 goto reschedule;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002296
2297 /* we'll initiate a new check */
Simon Horman4a741432013-02-23 15:35:38 +09002298 set_server_check_status(check, HCHK_STATUS_START, NULL);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002299
Willy Tarreau2c115e52013-12-11 19:41:16 +01002300 check->state |= CHK_ST_INPROGRESS;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002301 b_reset(&check->bi);
2302 b_reset(&check->bo);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002303
Olivier Houchardaebeff72019-11-29 16:18:51 +01002304 task_set_affinity(t, tid_bit);
Simon Hormandbf70192015-01-30 11:22:53 +09002305 ret = connect_conn_chk(t);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002306 cs = check->cs;
2307 conn = cs_conn(cs);
Willy Tarreau00149122017-10-04 18:05:01 +02002308
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002309 switch (ret) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002310 case SF_ERR_UP:
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002311 goto out_unlock;
2312
Willy Tarreaue7dff022015-04-03 01:14:29 +02002313 case SF_ERR_NONE:
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002314 /* we allow up to min(inter, timeout.connect) for a connection
2315 * to establish but only when timeout.check is set
2316 * as it may be to short for a full check otherwise
2317 */
Simon Horman4a741432013-02-23 15:35:38 +09002318 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002319 if (proxy->timeout.check && proxy->timeout.connect) {
2320 int t_con = tick_add(now_ms, proxy->timeout.connect);
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002321 t->expire = tick_first(t->expire, t_con);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002322 }
Willy Tarreau06559ac2013-12-05 01:53:08 +01002323
Willy Tarreaucc705a62019-09-05 17:51:30 +02002324 if (check->type) {
2325 /* send the request if we have one. We avoid receiving
2326 * if not connected, unless we didn't subscribe for
2327 * sending since otherwise we won't be woken up.
2328 */
2329 __event_srv_chk_w(cs);
Willy Tarreau911db9b2020-01-23 16:27:54 +01002330 if (!(conn->flags & CO_FL_WAIT_XPRT) ||
Willy Tarreauc5940392019-09-05 17:38:40 +02002331 !(check->wait_list.events & SUB_RETRY_SEND))
2332 __event_srv_chk_r(cs);
Willy Tarreaucc705a62019-09-05 17:51:30 +02002333 }
Willy Tarreau06559ac2013-12-05 01:53:08 +01002334
Willy Tarreau5a78f362012-11-23 12:47:05 +01002335 goto reschedule;
2336
Willy Tarreaue7dff022015-04-03 01:14:29 +02002337 case SF_ERR_SRVTO: /* ETIMEDOUT */
2338 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
Willy Tarreau00149122017-10-04 18:05:01 +02002339 if (conn)
2340 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002341 chk_report_conn_err(check, errno, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002342 break;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02002343 /* should share same code than cases below */
2344 case SF_ERR_CHK_PORT:
2345 check->state |= CHK_ST_PORT_MISS;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002346 case SF_ERR_PRXCOND:
2347 case SF_ERR_RESOURCE:
2348 case SF_ERR_INTERNAL:
Willy Tarreau00149122017-10-04 18:05:01 +02002349 if (conn)
2350 conn->flags |= CO_FL_ERROR;
2351 chk_report_conn_err(check, conn ? 0 : ENOMEM, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002352 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002353 }
2354
Willy Tarreau5a78f362012-11-23 12:47:05 +01002355 /* here, we have seen a synchronous error, no fd was allocated */
Olivier Houchardaebeff72019-11-29 16:18:51 +01002356 task_set_affinity(t, MAX_THREADS_MASK);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002357 if (cs) {
Olivier Houchard49065542019-05-31 19:20:36 +02002358 if (check->wait_list.events)
2359 cs->conn->xprt->unsubscribe(cs->conn,
2360 cs->conn->xprt_ctx,
2361 check->wait_list.events,
2362 &check->wait_list);
2363 /* We may have been scheduled to run, and the
2364 * I/O handler expects to have a cs, so remove
2365 * the tasklet
2366 */
Willy Tarreau86eded62019-06-14 14:47:49 +02002367 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002368 cs_destroy(cs);
2369 cs = check->cs = NULL;
2370 conn = NULL;
Olivier Houchard390485a2017-10-24 19:03:30 +02002371 }
Willy Tarreau6b0a8502012-11-23 08:51:32 +01002372
Willy Tarreau2c115e52013-12-11 19:41:16 +01002373 check->state &= ~CHK_ST_INPROGRESS;
Willy Tarreau4eec5472014-05-20 22:32:27 +02002374 check_notify_failure(check);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002375
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002376 /* we allow up to min(inter, timeout.connect) for a connection
2377 * to establish but only when timeout.check is set
2378 * as it may be to short for a full check otherwise
2379 */
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002380 while (tick_is_expired(t->expire, now_ms)) {
2381 int t_con;
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002382
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002383 t_con = tick_add(t->expire, proxy->timeout.connect);
Simon Horman4a741432013-02-23 15:35:38 +09002384 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002385 if (proxy->timeout.check)
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002386 t->expire = tick_first(t->expire, t_con);
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002387 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002388 }
2389 else {
Willy Tarreauf1503172012-09-28 19:39:36 +02002390 /* there was a test running.
2391 * First, let's check whether there was an uncaught error,
2392 * which can happen on connect timeout or error.
2393 */
Simon Hormanccaabcd2014-06-20 12:29:47 +09002394 if (check->result == CHK_RES_UNKNOWN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +01002395 /* good connection is enough for pure TCP check */
Willy Tarreau911db9b2020-01-23 16:27:54 +01002396 if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Christopher Fauletf61f33a2020-03-27 18:55:49 +01002397 if (check->use_ssl == 1)
Simon Horman4a741432013-02-23 15:35:38 +09002398 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Willy Tarreauf1503172012-09-28 19:39:36 +02002399 else
Simon Horman4a741432013-02-23 15:35:38 +09002400 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002401 }
Willy Tarreau4ff3b892017-10-16 15:17:17 +02002402 else if ((conn->flags & CO_FL_ERROR) || cs->flags & CS_FL_ERROR || expired) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002403 chk_report_conn_err(check, 0, expired);
Willy Tarreauf1503172012-09-28 19:39:36 +02002404 }
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002405 else
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002406 goto out_unlock; /* timeout not reached, wait again */
Willy Tarreauf1503172012-09-28 19:39:36 +02002407 }
2408
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002409 /* check complete or aborted */
Gaetan Rivet05d692d2020-02-14 17:42:54 +01002410
2411 check->current_step = NULL;
2412 if (check->sess != NULL) {
2413 session_free(check->sess);
2414 check->sess = NULL;
2415 }
2416
Willy Tarreau00149122017-10-04 18:05:01 +02002417 if (conn && conn->xprt) {
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002418 /* The check was aborted and the connection was not yet closed.
2419 * This can happen upon timeout, or when an external event such
2420 * as a failed response coupled with "observe layer7" caused the
2421 * server state to be suddenly changed.
2422 */
Willy Tarreaud85c4852015-03-13 00:40:28 +01002423 conn_sock_drain(conn);
Willy Tarreaua553ae92017-10-05 18:52:17 +02002424 cs_close(cs);
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002425 }
2426
Willy Tarreauac59f362017-10-08 11:10:19 +02002427 if (cs) {
Olivier Houchard49065542019-05-31 19:20:36 +02002428 if (check->wait_list.events)
2429 cs->conn->xprt->unsubscribe(cs->conn,
2430 cs->conn->xprt_ctx,
2431 check->wait_list.events,
2432 &check->wait_list);
2433 /* We may have been scheduled to run, and the
Willy Tarreau86eded62019-06-14 14:47:49 +02002434 * I/O handler expects to have a cs, so remove
2435 * the tasklet
2436 */
2437 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002438 cs_destroy(cs);
2439 cs = check->cs = NULL;
2440 conn = NULL;
Willy Tarreau00149122017-10-04 18:05:01 +02002441 }
2442
Olivier Houchard0923fa42019-01-11 18:43:04 +01002443 if (check->server) {
2444 if (check->result == CHK_RES_FAILED) {
2445 /* a failure or timeout detected */
2446 check_notify_failure(check);
2447 }
2448 else if (check->result == CHK_RES_CONDPASS) {
2449 /* check is OK but asks for stopping mode */
2450 check_notify_stopping(check);
2451 }
2452 else if (check->result == CHK_RES_PASSED) {
2453 /* a success was detected */
2454 check_notify_success(check);
2455 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002456 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002457 task_set_affinity(t, MAX_THREADS_MASK);
Willy Tarreau2c115e52013-12-11 19:41:16 +01002458 check->state &= ~CHK_ST_INPROGRESS;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002459
Olivier Houchard0923fa42019-01-11 18:43:04 +01002460 if (check->server) {
2461 rv = 0;
2462 if (global.spread_checks > 0) {
2463 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreau5a6d3e72020-03-08 17:53:53 +01002464 rv -= (int) (2 * rv * (ha_random32() / 4294967295.0));
Olivier Houchard0923fa42019-01-11 18:43:04 +01002465 }
2466 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
Willy Tarreaubaaee002006-06-26 02:48:02 +02002467 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002468 }
Willy Tarreau5a78f362012-11-23 12:47:05 +01002469
2470 reschedule:
2471 while (tick_is_expired(t->expire, now_ms))
Simon Horman4a741432013-02-23 15:35:38 +09002472 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002473 out_unlock:
Olivier Houchard0923fa42019-01-11 18:43:04 +01002474 if (check->server)
2475 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau26c25062009-03-08 09:38:41 +01002476 return t;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002477}
2478
Simon Horman98637e52014-06-20 12:30:16 +09002479/*
2480 * manages a server health-check. Returns
2481 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
2482 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002483static struct task *process_chk(struct task *t, void *context, unsigned short state)
Simon Horman98637e52014-06-20 12:30:16 +09002484{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002485 struct check *check = context;
Simon Horman98637e52014-06-20 12:30:16 +09002486
2487 if (check->type == PR_O2_EXT_CHK)
Olivier Houchard9f6af332018-05-25 14:04:04 +02002488 return process_chk_proc(t, context, state);
2489 return process_chk_conn(t, context, state);
Baptiste Assmanna68ca962015-04-14 01:15:08 +02002490
Simon Horman98637e52014-06-20 12:30:16 +09002491}
2492
Simon Horman5c942422013-11-25 10:46:32 +09002493static int start_check_task(struct check *check, int mininter,
2494 int nbcheck, int srvpos)
2495{
2496 struct task *t;
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002497 unsigned long thread_mask = MAX_THREADS_MASK;
2498
2499 if (check->type == PR_O2_EXT_CHK)
2500 thread_mask = 1;
2501
Simon Horman5c942422013-11-25 10:46:32 +09002502 /* task for the check */
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002503 if ((t = task_new(thread_mask)) == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002504 ha_alert("Starting [%s:%s] check: out of memory.\n",
2505 check->server->proxy->id, check->server->id);
Simon Horman5c942422013-11-25 10:46:32 +09002506 return 0;
2507 }
2508
2509 check->task = t;
2510 t->process = process_chk;
2511 t->context = check;
2512
Willy Tarreau1746eec2014-04-25 10:46:47 +02002513 if (mininter < srv_getinter(check))
2514 mininter = srv_getinter(check);
2515
2516 if (global.max_spread_checks && mininter > global.max_spread_checks)
2517 mininter = global.max_spread_checks;
2518
Simon Horman5c942422013-11-25 10:46:32 +09002519 /* check this every ms */
Willy Tarreau1746eec2014-04-25 10:46:47 +02002520 t->expire = tick_add(now_ms, MS_TO_TICKS(mininter * srvpos / nbcheck));
Simon Horman5c942422013-11-25 10:46:32 +09002521 check->start = now;
2522 task_queue(t);
2523
2524 return 1;
2525}
2526
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002527/*
2528 * Start health-check.
Willy Tarreau865c5142016-12-21 20:04:48 +01002529 * Returns 0 if OK, ERR_FATAL on error, and prints the error in this case.
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002530 */
Willy Tarreau865c5142016-12-21 20:04:48 +01002531static int start_checks()
2532{
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002533
2534 struct proxy *px;
2535 struct server *s;
2536 struct task *t;
Simon Horman4a741432013-02-23 15:35:38 +09002537 int nbcheck=0, mininter=0, srvpos=0;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002538
Gaetan Rivet05d692d2020-02-14 17:42:54 +01002539 /* 0- init the dummy frontend used to create all checks sessions */
2540 init_new_proxy(&checks_fe);
2541 checks_fe.cap = PR_CAP_FE | PR_CAP_BE;
2542 checks_fe.mode = PR_MODE_TCP;
2543 checks_fe.maxconn = 0;
2544 checks_fe.conn_retries = CONN_RETRIES;
2545 checks_fe.options2 |= PR_O2_INDEPSTR | PR_O2_SMARTCON | PR_O2_SMARTACC;
2546 checks_fe.timeout.client = TICK_ETERNITY;
2547
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002548 /* 1- count the checkers to run simultaneously.
2549 * We also determine the minimum interval among all of those which
2550 * have an interval larger than SRV_CHK_INTER_THRES. This interval
2551 * will be used to spread their start-up date. Those which have
Jamie Gloudon801a0a32012-08-25 00:18:33 -04002552 * a shorter interval will start independently and will not dictate
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002553 * too short an interval for all others.
2554 */
Olivier Houchardfbc74e82017-11-24 16:54:05 +01002555 for (px = proxies_list; px; px = px->next) {
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002556 for (s = px->srv; s; s = s->next) {
Willy Tarreaue7b73482013-11-21 11:50:50 +01002557 if (s->slowstart) {
Emeric Brunc60def82017-09-27 14:59:38 +02002558 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002559 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002560 return ERR_ALERT | ERR_FATAL;
Willy Tarreaue7b73482013-11-21 11:50:50 +01002561 }
2562 /* We need a warmup task that will be called when the server
2563 * state switches from down to up.
2564 */
2565 s->warmup = t;
2566 t->process = server_warmup;
2567 t->context = s;
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002568 /* server can be in this state only because of */
Emeric Brun52a91d32017-08-31 14:41:55 +02002569 if (s->next_state == SRV_ST_STARTING)
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002570 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 +01002571 }
2572
Willy Tarreaud8514a22013-12-11 21:10:14 +01002573 if (s->check.state & CHK_ST_CONFIGURED) {
2574 nbcheck++;
2575 if ((srv_getinter(&s->check) >= SRV_CHK_INTER_THRES) &&
2576 (!mininter || mininter > srv_getinter(&s->check)))
2577 mininter = srv_getinter(&s->check);
2578 }
Willy Tarreau15f39102013-12-11 20:41:18 +01002579
Willy Tarreaud8514a22013-12-11 21:10:14 +01002580 if (s->agent.state & CHK_ST_CONFIGURED) {
2581 nbcheck++;
2582 if ((srv_getinter(&s->agent) >= SRV_CHK_INTER_THRES) &&
2583 (!mininter || mininter > srv_getinter(&s->agent)))
2584 mininter = srv_getinter(&s->agent);
2585 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002586 }
2587 }
2588
Simon Horman4a741432013-02-23 15:35:38 +09002589 if (!nbcheck)
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002590 return 0;
2591
2592 srand((unsigned)time(NULL));
2593
2594 /*
2595 * 2- start them as far as possible from each others. For this, we will
2596 * start them after their interval set to the min interval divided by
2597 * the number of servers, weighted by the server's position in the list.
2598 */
Olivier Houchardfbc74e82017-11-24 16:54:05 +01002599 for (px = proxies_list; px; px = px->next) {
Simon Horman98637e52014-06-20 12:30:16 +09002600 if ((px->options2 & PR_O2_CHK_ANY) == PR_O2_EXT_CHK) {
2601 if (init_pid_list()) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002602 ha_alert("Starting [%s] check: out of memory.\n", px->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002603 return ERR_ALERT | ERR_FATAL;
Simon Horman98637e52014-06-20 12:30:16 +09002604 }
2605 }
2606
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002607 for (s = px->srv; s; s = s->next) {
Simon Hormand60d6912013-11-25 10:46:36 +09002608 /* A task for the main check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002609 if (s->check.state & CHK_ST_CONFIGURED) {
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002610 if (s->check.type == PR_O2_EXT_CHK) {
2611 if (!prepare_external_check(&s->check))
Willy Tarreau865c5142016-12-21 20:04:48 +01002612 return ERR_ALERT | ERR_FATAL;
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002613 }
Simon Hormand60d6912013-11-25 10:46:36 +09002614 if (!start_check_task(&s->check, mininter, nbcheck, srvpos))
Willy Tarreau865c5142016-12-21 20:04:48 +01002615 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002616 srvpos++;
2617 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002618
Simon Hormand60d6912013-11-25 10:46:36 +09002619 /* A task for a auxiliary agent check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002620 if (s->agent.state & CHK_ST_CONFIGURED) {
Simon Hormand60d6912013-11-25 10:46:36 +09002621 if (!start_check_task(&s->agent, mininter, nbcheck, srvpos)) {
Willy Tarreau865c5142016-12-21 20:04:48 +01002622 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002623 }
2624 srvpos++;
2625 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002626 }
2627 }
2628 return 0;
2629}
Willy Tarreaubaaee002006-06-26 02:48:02 +02002630
2631/*
Willy Tarreau5b3a2022012-09-28 15:01:02 +02002632 * Perform content verification check on data in s->check.buffer buffer.
Willy Tarreaubd741542010-03-16 18:46:54 +01002633 * The buffer MUST be terminated by a null byte before calling this function.
2634 * Sets server status appropriately. The caller is responsible for ensuring
2635 * that the buffer contains at least 13 characters. If <done> is zero, we may
2636 * return 0 to indicate that data is required to decide of a match.
2637 */
2638static int httpchk_expect(struct server *s, int done)
2639{
Christopher Faulet1bc04c72017-10-29 20:14:08 +01002640 static THREAD_LOCAL char status_msg[] = "HTTP status check returned code <000>";
Willy Tarreaubd741542010-03-16 18:46:54 +01002641 char status_code[] = "000";
2642 char *contentptr;
2643 int crlf;
2644 int ret;
2645
2646 switch (s->proxy->options2 & PR_O2_EXP_TYPE) {
2647 case PR_O2_EXP_STS:
2648 case PR_O2_EXP_RSTS:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002649 memcpy(status_code, b_head(&s->check.bi) + 9, 3);
2650 memcpy(status_msg + strlen(status_msg) - 4, b_head(&s->check.bi) + 9, 3);
Willy Tarreaubd741542010-03-16 18:46:54 +01002651
2652 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STS)
2653 ret = strncmp(s->proxy->expect_str, status_code, 3) == 0;
2654 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002655 ret = regex_exec(s->proxy->expect_regex, status_code);
Willy Tarreaubd741542010-03-16 18:46:54 +01002656
2657 /* we necessarily have the response, so there are no partial failures */
2658 if (s->proxy->options2 & PR_O2_EXP_INV)
2659 ret = !ret;
2660
Simon Horman4a741432013-02-23 15:35:38 +09002661 set_server_check_status(&s->check, ret ? HCHK_STATUS_L7OKD : HCHK_STATUS_L7STS, status_msg);
Willy Tarreaubd741542010-03-16 18:46:54 +01002662 break;
2663
2664 case PR_O2_EXP_STR:
2665 case PR_O2_EXP_RSTR:
2666 /* very simple response parser: ignore CR and only count consecutive LFs,
2667 * stop with contentptr pointing to first char after the double CRLF or
2668 * to '\0' if crlf < 2.
2669 */
2670 crlf = 0;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002671 for (contentptr = b_head(&s->check.bi); *contentptr; contentptr++) {
Willy Tarreaubd741542010-03-16 18:46:54 +01002672 if (crlf >= 2)
2673 break;
2674 if (*contentptr == '\r')
2675 continue;
2676 else if (*contentptr == '\n')
2677 crlf++;
2678 else
2679 crlf = 0;
2680 }
2681
2682 /* Check that response contains a body... */
2683 if (crlf < 2) {
2684 if (!done)
2685 return 0;
2686
Simon Horman4a741432013-02-23 15:35:38 +09002687 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002688 "HTTP content check could not find a response body");
2689 return 1;
2690 }
2691
2692 /* Check that response body is not empty... */
2693 if (*contentptr == '\0') {
Willy Tarreaua164fb52011-04-13 09:32:41 +02002694 if (!done)
2695 return 0;
2696
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 found empty response body");
2699 return 1;
2700 }
2701
2702 /* Check the response content against the supplied string
2703 * or regex... */
2704 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STR)
2705 ret = strstr(contentptr, s->proxy->expect_str) != NULL;
2706 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002707 ret = regex_exec(s->proxy->expect_regex, contentptr);
Willy Tarreaubd741542010-03-16 18:46:54 +01002708
2709 /* if we don't match, we may need to wait more */
2710 if (!ret && !done)
2711 return 0;
2712
2713 if (ret) {
2714 /* content matched */
2715 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002716 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002717 "HTTP check matched unwanted content");
2718 else
Simon Horman4a741432013-02-23 15:35:38 +09002719 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002720 "HTTP content check matched");
2721 }
2722 else {
2723 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002724 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002725 "HTTP check did not match unwanted content");
2726 else
Simon Horman4a741432013-02-23 15:35:38 +09002727 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002728 "HTTP content check did not match");
2729 }
2730 break;
2731 }
2732 return 1;
2733}
2734
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002735/*
2736 * return the id of a step in a send/expect session
2737 */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002738static int tcpcheck_get_step_id(struct check *check, struct tcpcheck_rule *rule)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002739{
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002740 if (!rule)
2741 rule = check->current_step;
Willy Tarreau213c6782014-10-02 14:51:02 +02002742
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002743 /* no last started step => first step */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002744 if (!rule)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002745 return 1;
2746
Christopher Fauleta202d1d2020-03-26 17:38:49 +01002747 /* last step is the first implicit connect */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002748 if (rule->index == 0 &&
2749 rule->action == TCPCHK_ACT_CONNECT &&
2750 (rule->connect.options & TCPCHK_OPT_DEFAULT_CONNECT))
Christopher Fauleta202d1d2020-03-26 17:38:49 +01002751 return 0;
2752
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002753 return rule->index + 1;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002754}
2755
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002756/*
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002757 * return the latest known comment for the current rule, the comment attached to
2758 * it or the COMMENT rule immediately preceedding the expect rule chain, if any.
2759 * returns NULL if no comment found.
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002760 */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002761static char *tcpcheck_get_step_comment(struct check *check, struct tcpcheck_rule *rule)
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002762{
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002763 struct tcpcheck_rule *cur;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002764 char *ret = NULL;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002765
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002766 if (!rule)
2767 rule = check->current_step;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002768
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002769 if (rule->comment) {
2770 ret = rule->comment;
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002771 goto return_comment;
2772 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002773
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002774 rule = LIST_PREV(&rule->list, typeof(cur), list);
2775 list_for_each_entry_from_rev(rule, check->tcpcheck_rules, list) {
2776 if (rule->action == TCPCHK_ACT_COMMENT) {
2777 ret = rule->comment;
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002778 break;
2779 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002780 else if (rule->action != TCPCHK_ACT_EXPECT)
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002781 break;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002782 }
2783
2784 return_comment:
2785 return ret;
2786}
2787
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002788enum tcpcheck_eval_ret {
2789 TCPCHK_EVAL_WAIT = 0,
2790 TCPCHK_EVAL_STOP,
2791 TCPCHK_EVAL_CONTINUE,
2792};
2793
2794/* Evaluate a TCPCHK_ACT_CONNECT rule. It returns 1 to evaluate the next rule, 0
2795 * to wait and -1 to stop the check. */
2796static enum tcpcheck_eval_ret tcpcheck_eval_connect(struct check *check, struct tcpcheck_rule *rule)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002797{
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002798 enum tcpcheck_eval_ret ret = TCPCHK_EVAL_CONTINUE;
2799 struct tcpcheck_connect *connect = &rule->connect;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002800 struct proxy *proxy = check->proxy;
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002801 struct server *s = check->server;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002802 struct task *t = check->task;
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002803 struct conn_stream *cs;
2804 struct connection *conn = NULL;
2805 struct protocol *proto;
2806 struct xprt_ops *xprt;
Gaetan Rivetefab6c62020-02-07 15:37:17 +01002807 char *comment;
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002808 int status;
Willy Tarreauef953952014-10-02 14:30:14 +02002809
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002810 /* For a connect action we'll create a new connection. We may also have
2811 * to kill a previous one. But we don't want to leave *without* a
2812 * connection if we came here from the connection layer, hence with a
2813 * connection. Thus we'll proceed in the following order :
2814 * 1: close but not release previous connection (handled by the caller)
2815 * 2: try to get a new connection
2816 * 3: release and replace the old one on success
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002817 */
Willy Tarreau449f9522015-05-13 15:39:48 +02002818
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002819 /* 2- prepare new connection */
2820 cs = cs_new(NULL);
2821 if (!cs) {
2822 chunk_printf(&trash, "TCPCHK error allocating connection at step %d",
2823 tcpcheck_get_step_id(check, rule));
2824 comment = tcpcheck_get_step_comment(check, rule);
2825 if (comment)
2826 chunk_appendf(&trash, " comment: '%s'", comment);
2827 set_server_check_status(check, HCHK_STATUS_SOCKERR, trash.area);
2828 ret = TCPCHK_EVAL_STOP;
Christopher Fauletb6102852017-11-28 10:06:29 +01002829 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002830 }
2831
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002832 /* 3- release and replace the old one on success */
2833 if (check->cs) {
2834 if (check->wait_list.events)
2835 cs->conn->xprt->unsubscribe(cs->conn, cs->conn->xprt_ctx,
2836 check->wait_list.events, &check->wait_list);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002837
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002838 /* We may have been scheduled to run, and the I/O handler
2839 * expects to have a cs, so remove the tasklet
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002840 */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002841 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
2842 cs_destroy(check->cs);
2843 }
Willy Tarreaudeccd112018-06-14 18:38:55 +02002844
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002845 tasklet_set_tid(check->wait_list.tasklet, tid);
Willy Tarreauabca5b62013-12-06 14:19:25 +01002846
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002847 check->cs = cs;
2848 conn = cs->conn;
Willy Tarreauabca5b62013-12-06 14:19:25 +01002849
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002850 /* Maybe there were an older connection we were waiting on */
2851 check->wait_list.events = 0;
2852 conn->target = s ? &s->obj_type : &proxy->obj_type;
Willy Tarreauf3d34822014-12-08 12:11:28 +01002853
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002854 /* no client address */
2855 if (!sockaddr_alloc(&conn->dst)) {
2856 status = SF_ERR_RESOURCE;
2857 goto fail_check;
2858 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002859
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002860 /* connect to the check addr if specified on the server. otherwise, use
2861 * the server addr
2862 */
2863 *conn->dst = (is_addr(&check->addr) ? check->addr : s->addr);
2864 proto = protocol_by_family(conn->dst->ss_family);
Willy Tarreau00149122017-10-04 18:05:01 +02002865
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002866 if (connect->port)
2867 set_host_port(conn->dst, connect->port);
2868 else if (check->port)
2869 set_host_port(conn->dst, check->port);
2870 else {
2871 int i = get_host_port(&check->addr);
2872 set_host_port(conn->dst, ((i > 0) ? i : s->svc_port));
2873 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002874
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002875 xprt = ((connect->options & TCPCHK_OPT_DEFAULT_CONNECT)
2876 ? check->xprt
2877 : ((connect->options & TCPCHK_OPT_SSL) ? xprt_get(XPRT_SSL) : xprt_get(XPRT_RAW)));
Willy Tarreau00149122017-10-04 18:05:01 +02002878
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002879 conn_prepare(conn, proto, xprt);
Gaetan Rivet05d692d2020-02-14 17:42:54 +01002880 if (conn_install_mux(conn, &mux_pt_ops, cs, proxy, check->sess) < 0) {
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002881 status = SF_ERR_RESOURCE;
2882 goto fail_check;
2883 }
2884 cs_attach(cs, check, &check_conn_cb);
Willy Tarreau00149122017-10-04 18:05:01 +02002885
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002886 status = SF_ERR_INTERNAL;
2887 if (proto && proto->connect) {
2888 struct tcpcheck_rule *next;
2889 int flags = CONNECT_HAS_DATA;
Olivier Houchardff1e9f32019-09-20 17:18:35 +02002890
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002891 next = get_next_tcpcheck_rule(check->tcpcheck_rules, rule);
2892 if (!next || next->action != TCPCHK_ACT_EXPECT)
2893 flags |= CONNECT_DELACK_ALWAYS;
2894 status = proto->connect(conn, flags);
2895 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002896
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002897 if (connect->options & TCPCHK_OPT_DEFAULT_CONNECT) {
2898#ifdef USE_OPENSSL
2899 if (status == SF_ERR_NONE) {
2900 if (s->check.sni)
2901 ssl_sock_set_servername(conn, s->check.sni);
2902 if (s->check.alpn_str)
2903 ssl_sock_set_alpn(conn, (unsigned char *)s->check.alpn_str,
2904 s->check.alpn_len);
2905 }
2906#endif
2907 if (s->check.via_socks4 && (s->flags & SRV_F_SOCKS4_PROXY)) {
2908 conn->send_proxy_ofs = 1;
2909 conn->flags |= CO_FL_SOCKS4;
2910 }
2911 if (s->check.send_proxy && !(check->state & CHK_ST_AGENT)) {
2912 conn->send_proxy_ofs = 1;
2913 conn->flags |= CO_FL_SEND_PROXY;
2914 }
2915 }
2916 else {
2917 /* TODO: add support for sock4 and sni option */
2918 if (connect->options & TCPCHK_OPT_SEND_PROXY) {
2919 conn->send_proxy_ofs = 1;
2920 conn->flags |= CO_FL_SEND_PROXY;
2921 }
2922 if (conn_ctrl_ready(conn) && (connect->options & TCPCHK_OPT_LINGER)) {
2923 /* Some servers don't like reset on close */
2924 fdtab[cs->conn->handle.fd].linger_risk = 0;
2925 }
2926 }
Willy Tarreauca79f592019-07-17 19:04:47 +02002927
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002928 if (conn_ctrl_ready(conn) && (conn->flags & (CO_FL_SEND_PROXY | CO_FL_SOCKS4))) {
2929 if (xprt_add_hs(conn) < 0)
2930 status = SF_ERR_RESOURCE;
2931 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002932
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002933 fail_check:
2934 /* It can return one of :
2935 * - SF_ERR_NONE if everything's OK
2936 * - SF_ERR_SRVTO if there are no more servers
2937 * - SF_ERR_SRVCL if the connection was refused by the server
2938 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
2939 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
2940 * - SF_ERR_INTERNAL for any other purely internal errors
2941 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
2942 * Note that we try to prevent the network stack from sending the ACK during the
2943 * connect() when a pure TCP check is used (without PROXY protocol).
2944 */
2945 switch (status) {
2946 case SF_ERR_NONE:
2947 /* we allow up to min(inter, timeout.connect) for a connection
2948 * to establish but only when timeout.check is set as it may be
2949 * to short for a full check otherwise
2950 */
2951 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002952
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002953 if (proxy->timeout.check && proxy->timeout.connect) {
2954 int t_con = tick_add(now_ms, proxy->timeout.connect);
2955 t->expire = tick_first(t->expire, t_con);
2956 }
2957 break;
2958 case SF_ERR_SRVTO: /* ETIMEDOUT */
2959 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
2960 chunk_printf(&trash, "TCPCHK error establishing connection at step %d: %s",
2961 tcpcheck_get_step_id(check, rule), strerror(errno));
2962 comment = tcpcheck_get_step_comment(check, rule);
2963 if (comment)
2964 chunk_appendf(&trash, " comment: '%s'", comment);
2965 set_server_check_status(check, HCHK_STATUS_L4CON, trash.area);
2966 ret = TCPCHK_EVAL_STOP;
2967 goto out;
2968 case SF_ERR_PRXCOND:
2969 case SF_ERR_RESOURCE:
2970 case SF_ERR_INTERNAL:
2971 chunk_printf(&trash, "TCPCHK error establishing connection at step %d",
2972 tcpcheck_get_step_id(check, rule));
2973 comment = tcpcheck_get_step_comment(check, rule);
2974 if (comment)
2975 chunk_appendf(&trash, " comment: '%s'", comment);
2976 set_server_check_status(check, HCHK_STATUS_SOCKERR, trash.area);
2977 ret = TCPCHK_EVAL_STOP;
2978 goto out;
2979 }
Christopher Fauleta202d1d2020-03-26 17:38:49 +01002980
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002981 /* don't do anything until the connection is established */
2982 if (conn->flags & CO_FL_WAIT_XPRT) {
2983 ret = TCPCHK_EVAL_WAIT;
2984 goto out;
2985 }
Willy Tarreaube373152018-09-06 11:45:30 +02002986
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002987 out:
2988 if (conn && check->result == CHK_RES_FAILED)
2989 conn->flags |= CO_FL_ERROR;
2990 return ret;
2991}
Willy Tarreau2ab5c382019-07-17 18:48:07 +02002992
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002993/* Evaluate a TCPCHK_ACT_SEND rule. It returns 1 to evaluate the next rule, 0
2994 * to wait and -1 to stop the check. */
2995static enum tcpcheck_eval_ret tcpcheck_eval_send(struct check *check, struct tcpcheck_rule *rule)
2996{
2997 enum tcpcheck_eval_ret ret = TCPCHK_EVAL_CONTINUE;
2998 struct tcpcheck_send *send = &rule->send;
2999 struct conn_stream *cs = check->cs;
3000 struct connection *conn = cs_conn(cs);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003001
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003002 /* reset the read & write buffer */
3003 b_reset(&check->bi);
3004 b_reset(&check->bo);
Gaetan Rivet08fdcb32020-02-28 11:04:21 +01003005
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003006 if (send->length >= b_size(&check->bo)) {
3007 chunk_printf(&trash, "tcp-check send : string too large (%d) for buffer size (%u) at step %d",
3008 send->length, (unsigned int)b_size(&check->bo),
3009 tcpcheck_get_step_id(check, rule));
3010 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.area);
3011 ret = TCPCHK_EVAL_STOP;
3012 goto out;
3013 }
Christopher Fauleta202d1d2020-03-26 17:38:49 +01003014
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003015 switch (send->type) {
3016 case TCPCHK_SEND_STRING:
3017 case TCPCHK_SEND_BINARY:
3018 b_putblk(&check->bo, send->string, send->length);
3019 break;
3020 case TCPCHK_SEND_UNDEF:
3021 /* Should never happen. */
3022 ret = TCPCHK_EVAL_STOP;
3023 goto out;
3024 };
Christopher Fauleta202d1d2020-03-26 17:38:49 +01003025
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003026 if (conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0) <= 0) {
3027 ret = TCPCHK_EVAL_WAIT;
3028 if ((conn->flags & CO_FL_ERROR) || (cs->flags & CS_FL_ERROR))
3029 ret = TCPCHK_EVAL_STOP;
3030 goto out;
3031 }
3032 if (b_data(&check->bo)) {
3033 cs->conn->mux->subscribe(cs, SUB_RETRY_SEND, &check->wait_list);
3034 ret = TCPCHK_EVAL_WAIT;
3035 goto out;
3036 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003037
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003038 out:
3039 return ret;
3040}
Gaetan Rivetf8ba6772020-02-07 15:37:17 +01003041
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003042/* Evaluate a TCPCHK_ACT_EXPECT rule. It returns 1 to evaluate the next rule, 0
3043 * to wait and -1 to stop the check. <rule> is updated to point on the last
3044 * evaluated TCPCHK_ACT_EXPECT rule.
3045 */
3046static enum tcpcheck_eval_ret tcpcheck_eval_expect(struct check *check, struct tcpcheck_rule *rule, int last_read)
3047{
3048 enum tcpcheck_eval_ret ret = TCPCHK_EVAL_CONTINUE;
3049 struct tcpcheck_expect *expect = &check->current_step->expect;
3050 char *comment, *diag;
3051 int match;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003052
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003053 /* The current expect might need more data than the previous one, check again
3054 * that the minimum amount data required to match is respected.
3055 */
3056 if (!last_read) {
3057 if ((expect->type == TCPCHK_EXPECT_STRING || expect->type == TCPCHK_EXPECT_BINARY) &&
3058 (b_data(&check->bi) < expect->length)) {
3059 ret = TCPCHK_EVAL_WAIT;
3060 goto out;
3061 }
3062 if (expect->min_recv > 0 && (b_data(&check->bi) < expect->min_recv)) {
3063 ret = TCPCHK_EVAL_WAIT;
3064 goto out;
3065 }
3066 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003067
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003068 /* Make GCC happy ; initialize match to a failure state. */
3069 match = expect->inverse;
Willy Tarreauf2c87352015-05-13 12:08:21 +02003070
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003071 switch (expect->type) {
3072 case TCPCHK_EXPECT_STRING:
3073 case TCPCHK_EXPECT_BINARY:
3074 match = my_memmem(b_head(&check->bi), b_data(&check->bi), expect->string, expect->length) != NULL;
3075 break;
3076 case TCPCHK_EXPECT_REGEX:
3077 if (expect->with_capture)
3078 match = regex_exec_match2(expect->regex, b_head(&check->bi), MIN(b_data(&check->bi), b_size(&check->bi)-1),
3079 MAX_MATCH, pmatch, 0);
3080 else
3081 match = regex_exec2(expect->regex, b_head(&check->bi), MIN(b_data(&check->bi), b_size(&check->bi)-1));
3082 break;
Willy Tarreau7df8ca62019-07-15 10:57:51 +02003083
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003084 case TCPCHK_EXPECT_REGEX_BINARY:
3085 chunk_reset(&trash);
3086 dump_binary(&trash, b_head(&check->bi), b_data(&check->bi));
3087 if (expect->with_capture)
3088 match = regex_exec_match2(expect->regex, b_head(&trash), MIN(b_data(&trash), b_size(&trash)-1),
3089 MAX_MATCH, pmatch, 0);
3090 else
3091 match = regex_exec2(expect->regex, b_head(&trash), MIN(b_data(&trash), b_size(&trash)-1));
3092 break;
3093 case TCPCHK_EXPECT_UNDEF:
3094 /* Should never happen. */
3095 ret = TCPCHK_EVAL_STOP;
3096 goto out;
3097 }
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003098
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003099
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003100 /* Wait for more data on mismatch only if no minimum is defined (-1),
3101 * otherwise the absence of match is already conclusive.
3102 */
3103 if (!match && !last_read && (expect->min_recv == -1)) {
3104 ret = TCPCHK_EVAL_WAIT;
3105 goto out;
3106 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003107
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003108 /* Result as expected, next rule. */
3109 if (match ^ expect->inverse)
3110 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003111
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003112
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003113 /* From this point on, we matched something we did not want, this is an error state. */
3114 ret = TCPCHK_EVAL_STOP;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003115
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003116 diag = match ? "matched unwanted content" : "did not match content";
3117 switch (expect->type) {
3118 case TCPCHK_EXPECT_STRING:
3119 chunk_printf(&trash, "TCPCHK %s '%s' at step %d",
3120 diag, expect->string, tcpcheck_get_step_id(check, rule));
3121 break;
3122 case TCPCHK_EXPECT_BINARY:
3123 chunk_printf(&trash, "TCPCHK %s (binary) at step %d",
3124 diag, tcpcheck_get_step_id(check, rule));
3125 break;
3126 case TCPCHK_EXPECT_REGEX:
3127 chunk_printf(&trash, "TCPCHK %s (regex) at step %d",
3128 diag, tcpcheck_get_step_id(check, rule));
3129 break;
3130 case TCPCHK_EXPECT_REGEX_BINARY:
3131 chunk_printf(&trash, "TCPCHK %s (binary regex) at step %d",
3132 diag, tcpcheck_get_step_id(check, rule));
Gaetan Rivetb616add2020-02-07 15:37:17 +01003133
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003134 /* If references to the matched text were made, divide the
3135 * offsets by 2 to match offset of the original response buffer.
3136 */
3137 if (expect->with_capture) {
3138 int i;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003139
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003140 for (i = 1; i < MAX_MATCH && pmatch[i].rm_so != -1; i++) {
3141 pmatch[i].rm_so /= 2; /* at first matched char. */
3142 pmatch[i].rm_eo /= 2; /* at last matched char. */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003143 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003144 }
3145 break;
3146 case TCPCHK_EXPECT_UNDEF:
3147 /* Should never happen. */
3148 goto out;
3149 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003150
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003151 comment = tcpcheck_get_step_comment(check, rule);
3152 if (comment) {
3153 if (expect->with_capture) {
3154 ret = exp_replace(b_tail(&trash), b_room(&trash), b_head(&check->bi), comment, pmatch);
3155 if (ret > 0) /* ignore comment if too large */
3156 trash.data += ret;
3157 }
3158 else
3159 chunk_appendf(&trash, " comment: '%s'", comment);
3160 }
3161 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.area);
3162 ret = TCPCHK_EVAL_STOP;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003163
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003164 out:
3165 return ret;
3166}
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003167
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003168/* proceed with next steps for the TCP checks <check>. Note that this is called
3169 * both from the connection's wake() callback and from the check scheduling task.
3170 * It returns 0 on normal cases, or <0 if a close() has happened on an existing
3171 * connection, presenting the risk of an fd replacement.
3172 *
3173 * Please do NOT place any return statement in this function and only leave
3174 * via the out_end_tcpcheck label after setting retcode.
3175 */
3176static int tcpcheck_main(struct check *check)
3177{
3178 struct tcpcheck_rule *rule;
3179 struct conn_stream *cs = check->cs;
3180 struct connection *conn = cs_conn(cs);
3181 int must_read = 1, last_read = 0;
3182 int ret, retcode = 0;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003183
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003184 /* here, we know that the check is complete or that it failed */
3185 if (check->result != CHK_RES_UNKNOWN)
3186 goto out_end_tcpcheck;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003187
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003188 /* 1- check for connection error, if any */
3189 if ((conn && conn->flags & CO_FL_ERROR) || (cs && cs->flags & CS_FL_ERROR))
3190 goto out_end_tcpcheck;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003191
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003192 /* 2- check if we are waiting for the connection establishment. It only
3193 * happens during TCPCHK_ACT_CONNECT. */
3194 if (conn && (conn->flags & CO_FL_WAIT_XPRT))
3195 goto out;
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003196
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003197 /* 3- check for pending outgoing data. It only happens during TCPCHK_ACT_SEND. */
3198 if (conn && b_data(&check->bo)) {
3199 ret = conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0);
3200 if (ret <= 0) {
3201 if ((conn && conn->flags & CO_FL_ERROR) || (cs && cs->flags & CS_FL_ERROR))
3202 goto out_end_tcpcheck;
3203 goto out;
3204 }
3205 if (b_data(&check->bo)) {
3206 cs->conn->mux->subscribe(cs, SUB_RETRY_SEND, &check->wait_list);
3207 goto out;
3208 }
3209 }
Gaetan Rivetefab6c62020-02-07 15:37:17 +01003210
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003211 /* Now evaluate the tcp-check rules */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003212
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003213 /* If check->current_step is defined, we are in resume condition. For
3214 * TCPCHK_ACT_CONNECT and TCPCHK_ACT_SEND rules, we must go to the next
3215 * rule before resuming the evaluation. For TCPCHK_ACT_EXPECT, we
3216 * re-evaluate the current rule. Others cannot yield.
3217 */
3218 if (check->current_step) {
3219 if (check->current_step->action == TCPCHK_ACT_CONNECT ||
3220 check->current_step->action == TCPCHK_ACT_SEND)
3221 rule = LIST_NEXT(&check->current_step->list, typeof(rule), list);
3222 else
3223 rule = check->current_step;
3224 }
Gaetan Rivet05d692d2020-02-14 17:42:54 +01003225 else {
3226 /* First evaluation, create a session */
3227 check->sess = session_new(&checks_fe, NULL, NULL);
3228 if (!check->sess) {
3229 chunk_printf(&trash, "TCPCHK error allocating check session");
3230 set_server_check_status(check, HCHK_STATUS_SOCKERR, trash.area);
3231 goto out_end_tcpcheck;
3232 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003233 rule = LIST_NEXT(check->tcpcheck_rules, typeof(rule), list);
Gaetan Rivet05d692d2020-02-14 17:42:54 +01003234 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003235
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003236 list_for_each_entry_from(rule, check->tcpcheck_rules, list) {
3237 enum tcpcheck_eval_ret eval_ret;
Willy Tarreauf2c87352015-05-13 12:08:21 +02003238
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003239 switch (rule->action) {
3240 case TCPCHK_ACT_CONNECT:
3241 check->current_step = rule;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003242
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003243 /* close but not release yet previous connection */
3244 if (check->cs) {
3245 cs_close(check->cs);
3246 retcode = -1; /* do not reuse the fd in the caller! */
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003247 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003248 eval_ret = tcpcheck_eval_connect(check, rule);
3249 must_read = 1; last_read = 0;
3250 break;
3251 case TCPCHK_ACT_SEND:
3252 check->current_step = rule;
3253 eval_ret = tcpcheck_eval_send(check, rule);
3254 must_read = 1;
3255 break;
3256 case TCPCHK_ACT_EXPECT:
3257 check->current_step = rule;
3258 if (must_read) {
3259 if (check->proxy->timeout.check)
3260 check->task->expire = tick_add_ifset(now_ms, check->proxy->timeout.check);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003261
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003262 /* If we already subscribed, then we tried to received and
3263 * failed, so there's no point trying again.
3264 */
3265 if (check->wait_list.events & SUB_RETRY_RECV)
3266 goto out;
3267 if (conn->mux->rcv_buf(cs, &check->bi, b_size(&check->bi), 0) <= 0) {
3268 if (conn->flags & (CO_FL_ERROR|CO_FL_SOCK_RD_SH) || cs->flags & CS_FL_ERROR) {
3269 last_read = 1;
3270 if ((conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) && !b_data(&check->bi)) {
3271 /* Report network errors only if we got no other data. Otherwise
3272 * we'll let the upper layers decide whether the response is OK
3273 * or not. It is very common that an RST sent by the server is
3274 * reported as an error just after the last data chunk.
3275 */
3276 goto out_end_tcpcheck;
3277 }
3278 }
3279 else {
3280 conn->mux->subscribe(cs, SUB_RETRY_RECV, &check->wait_list);
3281 goto out;
3282 }
3283 }
Willy Tarreauf2c87352015-05-13 12:08:21 +02003284
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003285 /* buffer full, don't wait for more data */
3286 if (b_full(&check->bi))
3287 last_read = 1;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003288
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003289 /* Check that response body is not empty... */
3290 if (!b_data(&check->bi)) {
3291 char *comment;
Gaetan Rivet9dcb09f2020-02-07 15:37:17 +01003292
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003293 if (!last_read)
3294 goto out;
Gaetan Rivet9dcb09f2020-02-07 15:37:17 +01003295
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003296 /* empty response */
3297 chunk_printf(&trash, "TCPCHK got an empty response at step %d",
3298 tcpcheck_get_step_id(check, rule));
3299 comment = tcpcheck_get_step_comment(check, rule);
3300 if (comment)
3301 chunk_appendf(&trash, " comment: '%s'", comment);
3302 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.area);
3303 ret = -1;
3304 goto out_end_tcpcheck;
Gaetan Rivet9dcb09f2020-02-07 15:37:17 +01003305 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003306 must_read = 0;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003307 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003308 eval_ret = tcpcheck_eval_expect(check, rule, last_read);
3309 if (eval_ret == TCPCHK_EVAL_WAIT) {
3310 check->current_step = rule->expect.head;
3311 conn->mux->subscribe(cs, SUB_RETRY_RECV, &check->wait_list);
Gaetan Rivet9dcb09f2020-02-07 15:37:17 +01003312 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003313 break;
3314 default:
3315 /* Otherwise, just go to the next one and don't update
3316 * the current step
3317 */
3318 eval_ret = TCPCHK_EVAL_CONTINUE;
3319 break;
3320 }
Baptiste Assmann248f1172018-03-01 21:49:01 +01003321
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003322 switch (eval_ret) {
3323 case TCPCHK_EVAL_CONTINUE:
3324 break;
3325 case TCPCHK_EVAL_WAIT:
3326 goto out;
3327 case TCPCHK_EVAL_STOP:
3328 goto out_end_tcpcheck;
Baptiste Assmann248f1172018-03-01 21:49:01 +01003329 }
Baptiste Assmann248f1172018-03-01 21:49:01 +01003330 }
3331
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003332 /* All rules was evaluated */
3333 set_server_check_status(check, HCHK_STATUS_L7OKD, "(tcp-check)");
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003334
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003335 out_end_tcpcheck:
Willy Tarreauef91c932019-07-23 14:37:47 +02003336 if ((conn && conn->flags & CO_FL_ERROR) || (cs && cs->flags & CS_FL_ERROR))
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003337 chk_report_conn_err(check, errno, 0);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003338
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003339 /* cleanup before leaving */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003340 check->current_step = NULL;
Gaetan Rivet05d692d2020-02-14 17:42:54 +01003341 if (check->sess != NULL) {
3342 session_free(check->sess);
3343 check->sess = NULL;
3344 }
3345 out:
3346 return retcode;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003347
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003348}
3349
Christopher Faulet31c30fd2020-03-26 21:10:03 +01003350static const char *init_check(struct check *check, int type)
Simon Hormanb1900d52015-01-30 11:22:54 +09003351{
3352 check->type = type;
3353
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003354 b_reset(&check->bi); check->bi.size = global.tune.chksize;
3355 b_reset(&check->bo); check->bo.size = global.tune.chksize;
Simon Hormanb1900d52015-01-30 11:22:54 +09003356
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003357 check->bi.area = calloc(check->bi.size, sizeof(char));
3358 check->bo.area = calloc(check->bo.size, sizeof(char));
3359
3360 if (!check->bi.area || !check->bo.area)
Simon Hormanb1900d52015-01-30 11:22:54 +09003361 return "out of memory while allocating check buffer";
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003362
Willy Tarreau3c39a7d2019-06-14 14:42:29 +02003363 check->wait_list.tasklet = tasklet_new();
3364 if (!check->wait_list.tasklet)
Ilya Shipitsind4259502020-04-08 01:07:56 +05003365 return "out of memory while allocating check tasklet";
Willy Tarreau4f6516d2018-12-19 13:59:17 +01003366 check->wait_list.events = 0;
Willy Tarreau3c39a7d2019-06-14 14:42:29 +02003367 check->wait_list.tasklet->process = event_srv_chk_io;
3368 check->wait_list.tasklet->context = check;
Simon Hormanb1900d52015-01-30 11:22:54 +09003369 return NULL;
3370}
3371
Simon Hormanbfb5d332015-01-30 11:22:55 +09003372void free_check(struct check *check)
3373{
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003374 task_destroy(check->task);
3375 if (check->wait_list.tasklet)
3376 tasklet_free(check->wait_list.tasklet);
3377
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003378 free(check->bi.area);
3379 free(check->bo.area);
Christopher Faulet23d86d12018-01-25 11:36:35 +01003380 if (check->cs) {
3381 free(check->cs->conn);
3382 check->cs->conn = NULL;
3383 cs_free(check->cs);
3384 check->cs = NULL;
3385 }
Simon Hormanbfb5d332015-01-30 11:22:55 +09003386}
3387
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003388static void free_tcpcheck(struct tcpcheck_rule *rule, int in_pool)
3389{
3390 if (!rule)
3391 return;
3392
3393 free(rule->comment);
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003394 switch (rule->action) {
3395 case TCPCHK_ACT_SEND:
3396 switch (rule->send.type) {
3397 case TCPCHK_SEND_STRING:
3398 case TCPCHK_SEND_BINARY:
3399 free(rule->send.string);
3400 break;
3401 case TCPCHK_SEND_UNDEF:
3402 break;
3403 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003404 break;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003405 case TCPCHK_ACT_EXPECT:
3406 switch (rule->expect.type) {
3407 case TCPCHK_EXPECT_STRING:
3408 case TCPCHK_EXPECT_BINARY:
3409 free(rule->expect.string);
3410 break;
3411 case TCPCHK_EXPECT_REGEX:
3412 case TCPCHK_EXPECT_REGEX_BINARY:
3413 regex_free(rule->expect.regex);
3414 break;
3415 case TCPCHK_EXPECT_UNDEF:
3416 break;
3417 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003418 break;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003419 case TCPCHK_ACT_CONNECT:
3420 case TCPCHK_ACT_COMMENT:
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003421 break;
3422 }
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003423
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003424 if (in_pool)
3425 pool_free(pool_head_tcpcheck_rule, rule);
3426 else
3427 free(rule);
3428}
3429
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003430void email_alert_free(struct email_alert *alert)
3431{
3432 struct tcpcheck_rule *rule, *back;
3433
3434 if (!alert)
3435 return;
3436
Christopher Fauletde1a75b2017-10-23 15:38:19 +02003437 list_for_each_entry_safe(rule, back, &alert->tcpcheck_rules, list) {
3438 LIST_DEL(&rule->list);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003439 free_tcpcheck(rule, 1);
Christopher Fauletde1a75b2017-10-23 15:38:19 +02003440 }
Willy Tarreaubafbe012017-11-24 17:34:44 +01003441 pool_free(pool_head_email_alert, alert);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003442}
3443
Olivier Houchard9f6af332018-05-25 14:04:04 +02003444static struct task *process_email_alert(struct task *t, void *context, unsigned short state)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003445{
Olivier Houchard9f6af332018-05-25 14:04:04 +02003446 struct check *check = context;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003447 struct email_alertq *q;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003448 struct email_alert *alert;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003449
3450 q = container_of(check, typeof(*q), check);
3451
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003452 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003453 while (1) {
3454 if (!(check->state & CHK_ST_ENABLED)) {
3455 if (LIST_ISEMPTY(&q->email_alerts)) {
3456 /* All alerts processed, queue the task */
3457 t->expire = TICK_ETERNITY;
3458 task_queue(t);
Christopher Fauletc2a89a62017-10-23 15:54:24 +02003459 goto end;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003460 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003461
3462 alert = LIST_NEXT(&q->email_alerts, typeof(alert), list);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003463 LIST_DEL(&alert->list);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003464 t->expire = now_ms;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003465 check->tcpcheck_rules = &alert->tcpcheck_rules;
Olivier Houchard0923fa42019-01-11 18:43:04 +01003466 check->status = HCHK_STATUS_INI;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003467 check->state |= CHK_ST_ENABLED;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003468 }
3469
Olivier Houchard9f6af332018-05-25 14:04:04 +02003470 process_chk(t, context, state);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003471 if (check->state & CHK_ST_INPROGRESS)
3472 break;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003473
3474 alert = container_of(check->tcpcheck_rules, typeof(*alert), tcpcheck_rules);
3475 email_alert_free(alert);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003476 check->tcpcheck_rules = NULL;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003477 check->server = NULL;
3478 check->state &= ~CHK_ST_ENABLED;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003479 }
Christopher Fauletc2a89a62017-10-23 15:54:24 +02003480 end:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003481 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003482 return t;
3483}
3484
Christopher Faulet0108bb32017-10-20 21:34:32 +02003485/* Initializes mailer alerts for the proxy <p> using <mls> parameters.
3486 *
3487 * The function returns 1 in success case, otherwise, it returns 0 and err is
3488 * filled.
3489 */
3490int init_email_alert(struct mailers *mls, struct proxy *p, char **err)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003491{
Christopher Faulet0108bb32017-10-20 21:34:32 +02003492 struct mailer *mailer;
3493 struct email_alertq *queues;
3494 const char *err_str;
3495 int i = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003496
Christopher Faulet0108bb32017-10-20 21:34:32 +02003497 if ((queues = calloc(mls->count, sizeof(*queues))) == NULL) {
3498 memprintf(err, "out of memory while allocating mailer alerts queues");
mildis5ab01cb2018-10-02 16:46:34 +02003499 goto fail_no_queue;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003500 }
3501
Christopher Faulet0108bb32017-10-20 21:34:32 +02003502 for (mailer = mls->mailer_list; mailer; i++, mailer = mailer->next) {
3503 struct email_alertq *q = &queues[i];
3504 struct check *check = &q->check;
3505 struct task *t;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003506
3507 LIST_INIT(&q->email_alerts);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003508 HA_SPIN_INIT(&q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003509 check->inter = mls->timeout.mail;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003510 check->rise = DEF_AGENT_RISETIME;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01003511 check->proxy = p;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003512 check->fall = DEF_AGENT_FALLTIME;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003513 if ((err_str = init_check(check, PR_O2_TCPCHK_CHK))) {
3514 memprintf(err, "%s", err_str);
3515 goto error;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003516 }
3517
3518 check->xprt = mailer->xprt;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003519 check->addr = mailer->addr;
Christopher Fauletb797ae12018-03-27 15:35:35 +02003520 check->port = get_host_port(&mailer->addr);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003521
Emeric Brunc60def82017-09-27 14:59:38 +02003522 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet0108bb32017-10-20 21:34:32 +02003523 memprintf(err, "out of memory while allocating mailer alerts task");
3524 goto error;
3525 }
3526
3527 check->task = t;
3528 t->process = process_email_alert;
3529 t->context = check;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003530
Christopher Faulet0108bb32017-10-20 21:34:32 +02003531 /* check this in one ms */
3532 t->expire = TICK_ETERNITY;
3533 check->start = now;
3534 task_queue(t);
3535 }
3536
3537 mls->users++;
3538 free(p->email_alert.mailers.name);
3539 p->email_alert.mailers.m = mls;
3540 p->email_alert.queues = queues;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003541 return 0;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003542
3543 error:
3544 for (i = 0; i < mls->count; i++) {
3545 struct email_alertq *q = &queues[i];
3546 struct check *check = &q->check;
3547
Christopher Faulet0108bb32017-10-20 21:34:32 +02003548 free_check(check);
3549 }
3550 free(queues);
mildis5ab01cb2018-10-02 16:46:34 +02003551 fail_no_queue:
Christopher Faulet0108bb32017-10-20 21:34:32 +02003552 return 1;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003553}
3554
3555
3556static int add_tcpcheck_expect_str(struct list *list, const char *str)
3557{
Gaetan Rivet4038b942020-02-26 16:19:40 +01003558 struct tcpcheck_rule *tcpcheck, *prev_check;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003559 struct tcpcheck_expect *expect;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003560
Willy Tarreaubafbe012017-11-24 17:34:44 +01003561 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003562 return 0;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003563 memset(tcpcheck, 0, sizeof(*tcpcheck));
Gaetan Rivetb616add2020-02-07 15:37:17 +01003564 tcpcheck->action = TCPCHK_ACT_EXPECT;
3565
3566 expect = &tcpcheck->expect;
3567 expect->type = TCPCHK_EXPECT_STRING;
3568 expect->string = strdup(str);
3569 if (!expect->string) {
Willy Tarreaubafbe012017-11-24 17:34:44 +01003570 pool_free(pool_head_tcpcheck_rule, tcpcheck);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003571 return 0;
3572 }
Gaetan Rivetb616add2020-02-07 15:37:17 +01003573 expect->length = strlen(expect->string);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003574
Gaetan Rivet4038b942020-02-26 16:19:40 +01003575 /* All tcp-check expect points back to the first inverse expect rule
3576 * in a chain of one or more expect rule, potentially itself.
3577 */
Gaetan Rivetb616add2020-02-07 15:37:17 +01003578 tcpcheck->expect.head = tcpcheck;
Gaetan Rivet4038b942020-02-26 16:19:40 +01003579 list_for_each_entry_rev(prev_check, list, list) {
3580 if (prev_check->action == TCPCHK_ACT_EXPECT) {
Gaetan Rivetb616add2020-02-07 15:37:17 +01003581 if (prev_check->expect.inverse)
3582 tcpcheck->expect.head = prev_check;
Gaetan Rivet4038b942020-02-26 16:19:40 +01003583 continue;
3584 }
3585 if (prev_check->action != TCPCHK_ACT_COMMENT)
3586 break;
3587 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003588 LIST_ADDQ(list, &tcpcheck->list);
3589 return 1;
3590}
3591
3592static int add_tcpcheck_send_strs(struct list *list, const char * const *strs)
3593{
3594 struct tcpcheck_rule *tcpcheck;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003595 struct tcpcheck_send *send;
Willy Tarreau64345aa2016-08-10 19:29:09 +02003596 const char *in;
3597 char *dst;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003598 int i;
3599
Willy Tarreaubafbe012017-11-24 17:34:44 +01003600 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003601 return 0;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003602 memset(tcpcheck, 0, sizeof(*tcpcheck));
3603 tcpcheck->action = TCPCHK_ACT_SEND;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003604
3605 send = &tcpcheck->send;
3606 send->type = TCPCHK_SEND_STRING;
3607
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003608 for (i = 0; strs[i]; i++)
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003609 send->length += strlen(strs[i]);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003610
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003611 send->string = malloc(send->length + 1);
3612 if (!send->string) {
Willy Tarreaubafbe012017-11-24 17:34:44 +01003613 pool_free(pool_head_tcpcheck_rule, tcpcheck);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003614 return 0;
3615 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003616
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003617 dst = send->string;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003618 for (i = 0; strs[i]; i++)
Willy Tarreau64345aa2016-08-10 19:29:09 +02003619 for (in = strs[i]; (*dst = *in++); dst++);
3620 *dst = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003621
3622 LIST_ADDQ(list, &tcpcheck->list);
3623 return 1;
3624}
3625
Christopher Faulet0108bb32017-10-20 21:34:32 +02003626static int enqueue_one_email_alert(struct proxy *p, struct server *s,
3627 struct email_alertq *q, const char *msg)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003628{
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003629 struct email_alert *alert;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003630 struct tcpcheck_rule *tcpcheck;
3631 struct check *check = &q->check;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003632
Willy Tarreaubafbe012017-11-24 17:34:44 +01003633 if ((alert = pool_alloc(pool_head_email_alert)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003634 goto error;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003635 LIST_INIT(&alert->list);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003636 LIST_INIT(&alert->tcpcheck_rules);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003637 alert->srv = s;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003638
Willy Tarreaubafbe012017-11-24 17:34:44 +01003639 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003640 goto error;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003641 memset(tcpcheck, 0, sizeof(*tcpcheck));
3642 tcpcheck->action = TCPCHK_ACT_CONNECT;
3643 tcpcheck->comment = NULL;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003644
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003645 LIST_ADDQ(&alert->tcpcheck_rules, &tcpcheck->list);
3646
3647 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "220 "))
3648 goto error;
3649
3650 {
3651 const char * const strs[4] = { "EHLO ", p->email_alert.myhostname, "\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, "250 "))
3657 goto error;
3658
3659 {
3660 const char * const strs[4] = { "MAIL FROM:<", p->email_alert.from, ">\r\n" };
3661 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3662 goto error;
3663 }
3664
3665 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3666 goto error;
3667
3668 {
3669 const char * const strs[4] = { "RCPT TO:<", p->email_alert.to, ">\r\n" };
3670 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3671 goto error;
3672 }
3673
3674 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3675 goto error;
3676
3677 {
3678 const char * const strs[2] = { "DATA\r\n" };
3679 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3680 goto error;
3681 }
3682
3683 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "354 "))
3684 goto error;
3685
3686 {
3687 struct tm tm;
3688 char datestr[48];
3689 const char * const strs[18] = {
Pieter Baauw5e0964e2016-02-13 16:27:35 +01003690 "From: ", p->email_alert.from, "\r\n",
3691 "To: ", p->email_alert.to, "\r\n",
3692 "Date: ", datestr, "\r\n",
3693 "Subject: [HAproxy Alert] ", msg, "\r\n",
3694 "\r\n",
3695 msg, "\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003696 "\r\n",
Pieter Baauwed35c372015-07-22 19:51:54 +02003697 ".\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003698 NULL
3699 };
3700
3701 get_localtime(date.tv_sec, &tm);
3702
3703 if (strftime(datestr, sizeof(datestr), "%a, %d %b %Y %T %z (%Z)", &tm) == 0) {
3704 goto error;
3705 }
3706
3707 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3708 goto error;
3709 }
3710
3711 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3712 goto error;
3713
3714 {
3715 const char * const strs[2] = { "QUIT\r\n" };
3716 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3717 goto error;
3718 }
3719
3720 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "221 "))
3721 goto error;
3722
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003723 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003724 task_wakeup(check->task, TASK_WOKEN_MSG);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003725 LIST_ADDQ(&q->email_alerts, &alert->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003726 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003727 return 1;
3728
3729error:
3730 email_alert_free(alert);
3731 return 0;
3732}
3733
Christopher Faulet0108bb32017-10-20 21:34:32 +02003734static void enqueue_email_alert(struct proxy *p, struct server *s, const char *msg)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003735{
3736 int i;
3737 struct mailer *mailer;
3738
3739 for (i = 0, mailer = p->email_alert.mailers.m->mailer_list;
3740 i < p->email_alert.mailers.m->count; i++, mailer = mailer->next) {
Christopher Faulet0108bb32017-10-20 21:34:32 +02003741 if (!enqueue_one_email_alert(p, s, &p->email_alert.queues[i], msg)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01003742 ha_alert("Email alert [%s] could not be enqueued: out of memory\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003743 return;
3744 }
3745 }
3746
3747 return;
3748}
3749
3750/*
3751 * Send email alert if configured.
3752 */
Simon Horman64e34162015-02-06 11:11:57 +09003753void send_email_alert(struct server *s, int level, const char *format, ...)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003754{
3755 va_list argp;
3756 char buf[1024];
3757 int len;
3758 struct proxy *p = s->proxy;
3759
Christopher Faulet0108bb32017-10-20 21:34:32 +02003760 if (!p->email_alert.mailers.m || level > p->email_alert.level || format == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003761 return;
3762
3763 va_start(argp, format);
3764 len = vsnprintf(buf, sizeof(buf), format, argp);
3765 va_end(argp);
3766
Thierry FOURNIER62c8a212017-02-09 12:19:27 +01003767 if (len < 0 || len >= sizeof(buf)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01003768 ha_alert("Email alert [%s] could not format message\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003769 return;
3770 }
3771
Christopher Faulet0108bb32017-10-20 21:34:32 +02003772 enqueue_email_alert(p, s, buf);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003773}
3774
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003775/*
3776 * Return value:
3777 * the port to be used for the health check
3778 * 0 in case no port could be found for the check
3779 */
Christopher Faulet31c30fd2020-03-26 21:10:03 +01003780static int srv_check_healthcheck_port(struct check *chk)
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003781{
3782 int i = 0;
3783 struct server *srv = NULL;
3784
3785 srv = chk->server;
3786
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003787 /* by default, we use the health check port ocnfigured */
3788 if (chk->port > 0)
3789 return chk->port;
3790
3791 /* try to get the port from check_core.addr if check.port not set */
3792 i = get_host_port(&chk->addr);
3793 if (i > 0)
3794 return i;
3795
3796 /* try to get the port from server address */
3797 /* prevent MAPPORTS from working at this point, since checks could
3798 * not be performed in such case (MAPPORTS impose a relative ports
3799 * based on live traffic)
3800 */
3801 if (srv->flags & SRV_F_MAPPORTS)
3802 return 0;
Willy Tarreau04276f32017-01-06 17:41:29 +01003803
3804 i = srv->svc_port; /* by default */
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003805 if (i > 0)
3806 return i;
3807
3808 return 0;
3809}
3810
Willy Tarreau172f5ce2018-11-26 11:21:50 +01003811REGISTER_POST_CHECK(start_checks);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003812
Christopher Fauleta202d1d2020-03-26 17:38:49 +01003813static int check_proxy_tcpcheck(struct proxy *px)
3814{
3815 struct tcpcheck_rule *chk;
3816 int ret = 0;
3817
3818 if (!px->tcpcheck_rules)
3819 goto out;
3820
3821 /* If there is no connect rule preceeding all send / expect rules, an
3822 * implicit one is inserted before all others
3823 */
3824 chk = get_first_tcpcheck_rule(px->tcpcheck_rules);
3825 if (!chk || chk->action != TCPCHK_ACT_CONNECT) {
3826 chk = calloc(1, sizeof(*chk));
3827 if (!chk) {
3828 ha_alert("config : proxy '%s': unable to add implicit tcp-check connect rule "
3829 "(out of memory).\n", px->id);
3830 ret |= ERR_ALERT | ERR_FATAL;
3831 goto out;
3832 }
3833 chk->action = TCPCHK_ACT_CONNECT;
3834 chk->connect.options = TCPCHK_OPT_DEFAULT_CONNECT;
3835 LIST_ADD(px->tcpcheck_rules, &chk->list);
3836 }
3837
3838 out:
3839 return ret;
3840}
3841
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003842static int init_srv_check(struct server *srv)
3843{
3844 const char *err;
3845 struct tcpcheck_rule *r;
3846 int ret = 0;
3847
3848 if (!srv->do_check)
3849 goto out;
3850
3851
3852 /* If neither a port nor an addr was specified and no check transport
3853 * layer is forced, then the transport layer used by the checks is the
3854 * same as for the production traffic. Otherwise we use raw_sock by
3855 * default, unless one is specified.
3856 */
3857 if (!srv->check.port && !is_addr(&srv->check.addr)) {
3858 if (!srv->check.use_ssl && srv->use_ssl != -1) {
3859 srv->check.use_ssl = srv->use_ssl;
3860 srv->check.xprt = srv->xprt;
3861 }
3862 else if (srv->check.use_ssl == 1)
3863 srv->check.xprt = xprt_get(XPRT_SSL);
3864
3865 srv->check.send_proxy |= (srv->pp_opts);
3866 }
3867
3868 /* validate <srv> server health-check settings */
3869
3870 /* We need at least a service port, a check port or the first tcp-check
3871 * rule must be a 'connect' one when checking an IPv4/IPv6 server.
3872 */
3873 if ((srv_check_healthcheck_port(&srv->check) != 0) ||
3874 (!is_inet_addr(&srv->check.addr) && (is_addr(&srv->check.addr) || !is_inet_addr(&srv->addr))))
3875 goto init;
3876
Gaetan Rivet04578db2020-02-07 15:37:17 +01003877 if (!srv->proxy->tcpcheck_rules || LIST_ISEMPTY(srv->proxy->tcpcheck_rules)) {
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003878 ha_alert("config: %s '%s': server '%s' has neither service port nor check port.\n",
3879 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3880 ret |= ERR_ALERT | ERR_ABORT;
3881 goto out;
3882 }
3883
3884 /* search the first action (connect / send / expect) in the list */
Gaetan Rivet04578db2020-02-07 15:37:17 +01003885 r = get_first_tcpcheck_rule(srv->proxy->tcpcheck_rules);
Gaetan Rivet06d963a2020-02-21 18:49:05 +01003886 if (!r || (r->action != TCPCHK_ACT_CONNECT) || !r->connect.port) {
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003887 ha_alert("config: %s '%s': server '%s' has neither service port nor check port "
3888 "nor tcp_check rule 'connect' with port information.\n",
3889 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3890 ret |= ERR_ALERT | ERR_ABORT;
3891 goto out;
3892 }
3893
3894 /* scan the tcp-check ruleset to ensure a port has been configured */
Gaetan Rivet04578db2020-02-07 15:37:17 +01003895 list_for_each_entry(r, srv->proxy->tcpcheck_rules, list) {
Gaetan Rivet06d963a2020-02-21 18:49:05 +01003896 if ((r->action == TCPCHK_ACT_CONNECT) && (!r->connect.port)) {
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003897 ha_alert("config: %s '%s': server '%s' has neither service port nor check port, "
3898 "and a tcp_check rule 'connect' with no port information.\n",
3899 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3900 ret |= ERR_ALERT | ERR_ABORT;
3901 goto out;
3902 }
3903 }
3904
3905 init:
3906 err = init_check(&srv->check, srv->proxy->options2 & PR_O2_CHK_ANY);
3907 if (err) {
3908 ha_alert("config: %s '%s': unable to init check for server '%s' (%s).\n",
3909 proxy_type_str(srv->proxy), srv->proxy->id, srv->id, err);
3910 ret |= ERR_ALERT | ERR_ABORT;
3911 goto out;
3912 }
3913 srv->check.state |= CHK_ST_CONFIGURED | CHK_ST_ENABLED;
3914 global.maxsock++;
3915
3916 out:
3917 return ret;
3918}
3919
3920static int init_srv_agent_check(struct server *srv)
3921{
3922 const char *err;
3923 int ret = 0;
3924
3925 if (!srv->do_agent)
3926 goto out;
3927
3928 err = init_check(&srv->agent, PR_O2_LB_AGENT_CHK);
3929 if (err) {
3930 ha_alert("config: %s '%s': unable to init agent-check for server '%s' (%s).\n",
3931 proxy_type_str(srv->proxy), srv->proxy->id, srv->id, err);
3932 ret |= ERR_ALERT | ERR_ABORT;
3933 goto out;
3934 }
3935
3936 if (!srv->agent.inter)
3937 srv->agent.inter = srv->check.inter;
3938
3939 srv->agent.state |= CHK_ST_CONFIGURED | CHK_ST_ENABLED | CHK_ST_AGENT;
3940 global.maxsock++;
3941
3942 out:
3943 return ret;
3944}
3945
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003946static void deinit_proxy_tcpcheck(struct proxy *px)
3947{
3948 struct tcpcheck_rule *chk, *back;
3949
3950 if (!px->tcpcheck_rules)
3951 return;
3952
3953 list_for_each_entry_safe(chk, back, px->tcpcheck_rules, list) {
3954 LIST_DEL(&chk->list);
3955 free_tcpcheck(chk, 0);
3956 }
3957 free(px->tcpcheck_rules);
3958 px->tcpcheck_rules = NULL;
3959}
3960
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003961static void deinit_srv_check(struct server *srv)
3962{
3963 if (srv->do_check)
3964 free_check(&srv->check);
3965}
3966
3967
3968static void deinit_srv_agent_check(struct server *srv)
3969{
3970 if (srv->do_agent)
3971 free_check(&srv->agent);
3972 free(srv->agent.send_string);
3973}
3974
Christopher Fauleta202d1d2020-03-26 17:38:49 +01003975
3976REGISTER_POST_PROXY_CHECK(check_proxy_tcpcheck);
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003977REGISTER_POST_SERVER_CHECK(init_srv_check);
3978REGISTER_POST_SERVER_CHECK(init_srv_agent_check);
3979
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003980REGISTER_PROXY_DEINIT(deinit_proxy_tcpcheck);
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003981REGISTER_SERVER_DEINIT(deinit_srv_check);
3982REGISTER_SERVER_DEINIT(deinit_srv_agent_check);
3983
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003984static struct tcpcheck_rule *parse_tcpcheck_connect(char **args, int cur_arg, struct proxy *px, struct list *rules,
3985 char **errmsg)
3986{
3987 struct tcpcheck_rule *chk = NULL;
3988 char *comment = NULL;
3989 unsigned short conn_opts = 0;
3990 long port = 0;
3991
3992 list_for_each_entry(chk, rules, list) {
3993 if (chk->action != TCPCHK_ACT_COMMENT)
3994 break;
3995 }
3996 if (&chk->list != rules && chk->action != TCPCHK_ACT_CONNECT) {
3997 memprintf(errmsg, "first step MUST also be a 'connect' when there is a 'connect' step in the tcp-check ruleset");
3998 goto error;
3999 }
4000
4001 cur_arg++;
4002 while (*(args[cur_arg])) {
4003 if (strcmp(args[cur_arg], "port") == 0) {
4004 if (!*(args[cur_arg+1])) {
4005 memprintf(errmsg, "'%s' expects a port number as argument.", args[cur_arg]);
4006 goto error;
4007 }
4008 cur_arg++;
4009 port = atol(args[cur_arg]);
4010 if (port > 65535 || port < 1) {
4011 memprintf(errmsg, "expects a valid TCP port (from range 1 to 65535), got %s.", args[cur_arg]);
4012 goto error;
4013 }
4014 }
4015 else if (strcmp(args[cur_arg], "comment") == 0) {
4016 if (!*(args[cur_arg+1])) {
4017 memprintf(errmsg, "'%s' expects a string as argument.", args[cur_arg]);
4018 goto error;
4019 }
4020 cur_arg++;
4021 free(comment);
4022 comment = strdup(args[cur_arg]);
4023 if (!comment) {
4024 memprintf(errmsg, "out of memory");
4025 goto error;
4026 }
4027 }
4028 else if (strcmp(args[cur_arg], "send-proxy") == 0)
4029 conn_opts |= TCPCHK_OPT_SEND_PROXY;
4030 else if (strcmp(args[cur_arg], "linger") == 0)
4031 conn_opts |= TCPCHK_OPT_LINGER;
4032#ifdef USE_OPENSSL
4033 else if (strcmp(args[cur_arg], "ssl") == 0) {
4034 px->options |= PR_O_TCPCHK_SSL;
4035 conn_opts |= TCPCHK_OPT_SSL;
4036 }
4037#endif /* USE_OPENSSL */
4038
4039 else {
4040 memprintf(errmsg, "expects 'comment', 'port', 'send-proxy'"
4041#ifdef USE_OPENSSL
4042 ", 'ssl'"
4043#endif /* USE_OPENSSL */
4044 " or 'linger' but got '%s' as argument.",
4045 args[cur_arg]);
4046 goto error;
4047 }
4048 cur_arg++;
4049 }
4050
4051 chk = calloc(1, sizeof(*chk));
4052 if (!chk) {
4053 memprintf(errmsg, "out of memory");
4054 goto error;
4055 }
Gaetan Rivet06d963a2020-02-21 18:49:05 +01004056 chk->action = TCPCHK_ACT_CONNECT;
4057 chk->comment = comment;
4058 chk->connect.port = port;
4059 chk->connect.options = conn_opts;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004060 return chk;
4061
4062 error:
4063 free(comment);
4064 return NULL;
4065}
4066
4067static struct tcpcheck_rule *parse_tcpcheck_send(char **args, int cur_arg, struct list *rules, char **errmsg)
4068{
4069 struct tcpcheck_rule *chk = NULL;
4070 char *str = NULL, *comment = NULL;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004071 enum tcpcheck_send_type type = TCPCHK_SEND_UNDEF;
4072 int len;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004073
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004074 type = ((strcmp(args[cur_arg], "send-binary") == 0) ? TCPCHK_SEND_BINARY : TCPCHK_SEND_STRING);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004075 if (!*(args[cur_arg+1])) {
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004076 memprintf(errmsg, "'%s' expects a %s as argument",
4077 (type == TCPCHK_SEND_BINARY ? "binary string": "string"), args[cur_arg]);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004078 goto error;
4079 }
4080
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004081 if (type == TCPCHK_SEND_BINARY) {
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004082 if (parse_binary(args[cur_arg+1], &str, &len, errmsg) == 0) {
4083 memprintf(errmsg, "'%s' invalid binary string (%s).\n", args[cur_arg], *errmsg);
4084 goto error;
4085 }
4086 }
4087 else {
4088 str = strdup(args[cur_arg+1]);
4089 len = strlen(args[cur_arg+1]);
4090 if (!str) {
4091 memprintf(errmsg, "out of memory");
4092 goto error;
4093 }
4094 }
4095 cur_arg++;
4096
4097 if (strcmp(args[cur_arg], "comment") == 0) {
4098 if (!*(args[cur_arg+1])) {
4099 memprintf(errmsg, "'%s' expects a string as argument.", args[cur_arg]);
4100 goto error;
4101 }
4102 cur_arg++;
4103 comment = strdup(args[cur_arg]);
4104 if (!comment) {
4105 memprintf(errmsg, "out of memory");
4106 goto error;
4107 }
4108 }
4109
4110 chk = calloc(1, sizeof(*chk));
4111 if (!chk) {
4112 memprintf(errmsg, "out of memory");
4113 goto error;
4114 }
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004115 chk->action = TCPCHK_ACT_SEND;
4116 chk->comment = comment;
4117 chk->send.type = type;
4118 chk->send.string = str;
4119 chk->send.length = len;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004120 return chk;
4121
4122 error:
4123 free(str);
4124 free(comment);
4125 return NULL;
4126}
4127
4128static struct tcpcheck_rule *parse_tcpcheck_comment(char **args, int cur_arg, struct list *rules, char **errmsg)
4129{
4130 struct tcpcheck_rule *chk = NULL;
4131 char *comment = NULL;
4132
4133 if (!*(args[cur_arg+1])) {
4134 memprintf(errmsg, "expects a string as argument");
4135 goto error;
4136 }
4137 cur_arg++;
4138 comment = strdup(args[cur_arg]);
4139 if (!comment) {
4140 memprintf(errmsg, "out of memory");
4141 goto error;
4142 }
4143
4144 chk = calloc(1, sizeof(*chk));
4145 if (!chk) {
4146 memprintf(errmsg, "out of memory");
4147 goto error;
4148 }
4149 chk->action = TCPCHK_ACT_COMMENT;
4150 chk->comment = comment;
4151 return chk;
4152
4153 error:
4154 free(comment);
4155 return NULL;
4156}
4157
4158static struct tcpcheck_rule *parse_tcpcheck_expect(char **args, int cur_arg, struct list *rules, char **errmsg)
4159{
4160 struct tcpcheck_rule *prev_check, *chk = NULL;
4161 char *str = NULL, *comment = NULL, *pattern = NULL;
4162 enum tcpcheck_expect_type type = TCPCHK_EXPECT_UNDEF;
4163 long min_recv = -1;
4164 int inverse = 0, with_capture = 0;
4165
4166 if (!*(args[cur_arg+1]) || !*(args[cur_arg+2])) {
4167 memprintf(errmsg, "expects a pattern (type+string) as arguments");
4168 goto error;
4169 }
4170
4171 cur_arg++;
4172 while (*(args[cur_arg])) {
4173 int in_pattern = 0;
4174
4175 rescan:
4176 if (strcmp(args[cur_arg], "min-recv") == 0) {
4177 if (in_pattern) {
4178 memprintf(errmsg, "[!] not supported with '%s'", args[cur_arg]);
4179 goto error;
4180 }
4181 if (!*(args[cur_arg+1])) {
4182 memprintf(errmsg, "'%s' expects a integer as argument", args[cur_arg]);
4183 goto error;
4184 }
4185 /* Use an signed integer here because of chksize */
4186 cur_arg++;
4187 min_recv = atol(args[cur_arg]);
4188 if (min_recv < -1 || min_recv > INT_MAX) {
4189 memprintf(errmsg, "'%s' expects -1 or an integer from 0 to INT_MAX" , args[cur_arg-1]);
4190 goto error;
4191 }
4192 }
4193 else if (*(args[cur_arg]) == '!') {
4194 in_pattern = 1;
4195 while (*(args[cur_arg]) == '!') {
4196 inverse = !inverse;
4197 args[cur_arg]++;
4198 }
4199 if (!*(args[cur_arg]))
4200 cur_arg++;
4201 goto rescan;
4202 }
4203 else if (strcmp(args[cur_arg], "string") == 0 || strcmp(args[cur_arg], "binary") == 0 ||
4204 strcmp(args[cur_arg], "rstring") == 0 || strcmp(args[cur_arg], "rbinary") == 0) {
4205 if (type != TCPCHK_EXPECT_UNDEF) {
4206 memprintf(errmsg, "only on pattern expected");
4207 goto error;
4208 }
4209 type = ((*(args[cur_arg]) == 's') ? TCPCHK_EXPECT_STRING :
4210 ((*(args[cur_arg]) == 'b') ? TCPCHK_EXPECT_BINARY :
4211 ((*(args[cur_arg]+1) == 's') ? TCPCHK_EXPECT_REGEX : TCPCHK_EXPECT_REGEX_BINARY)));
4212
4213 if (!*(args[cur_arg+1])) {
4214 memprintf(errmsg, "'%s' expects a <pattern> as argument", args[cur_arg]);
4215 goto error;
4216 }
4217 cur_arg++;
4218 pattern = args[cur_arg];
4219 }
4220 else if (strcmp(args[cur_arg], "comment") == 0) {
4221 if (in_pattern) {
4222 memprintf(errmsg, "[!] not supported with '%s'", args[cur_arg]);
4223 goto error;
4224 }
4225 if (!*(args[cur_arg+1])) {
4226 memprintf(errmsg, "'%s' expects a string as argument", args[cur_arg]);
4227 goto error;
4228 }
4229 cur_arg++;
4230 free(comment);
4231 comment = strdup(args[cur_arg]);
4232 if (!comment) {
4233 memprintf(errmsg, "out of memory");
4234 goto error;
4235 }
4236 }
4237 else {
4238 memprintf(errmsg, "'only supports min-recv, '[!]binary', '[!]string', '[!]rstring', '[!]rbinary'"
4239 " or comment but got '%s' as argument.", args[cur_arg]);
4240 goto error;
4241 }
4242
4243 cur_arg++;
4244 }
4245
4246 if (comment) {
4247 char *p = comment;
4248
4249 while (*p) {
4250 if (*p == '\\') {
4251 p++;
4252 if (!*p || !isdigit((unsigned char)*p) ||
4253 (*p == 'x' && (!*(p+1) || !*(p+2) || !ishex(*(p+1)) || !ishex(*(p+2))))) {
4254 memprintf(errmsg, "invalid backreference in 'comment' argument");
4255 goto error;
4256 }
4257 with_capture = 1;
4258 }
4259 p++;
4260 }
4261 if (with_capture && !inverse)
4262 memprintf(errmsg, "using backreference in a positive expect comment is useless");
4263 }
4264
4265 chk = calloc(1, sizeof(*chk));
4266 if (!chk) {
4267 memprintf(errmsg, "out of memory");
4268 goto error;
4269 }
4270 chk->action = TCPCHK_ACT_EXPECT;
4271 chk->comment = comment;
4272 chk->expect.type = type;
4273 chk->expect.min_recv = min_recv;
4274 chk->expect.inverse = inverse;
4275 chk->expect.with_capture = with_capture;
4276
4277 switch (chk->expect.type) {
4278 case TCPCHK_EXPECT_STRING:
4279 chk->expect.string = strdup(pattern);
4280 chk->expect.length = strlen(pattern);
4281 if (!chk->expect.string) {
4282 memprintf(errmsg, "out of memory");
4283 goto error;
4284 }
4285 break;
4286 case TCPCHK_EXPECT_BINARY:
4287 if (parse_binary(pattern, &chk->expect.string, &chk->expect.length, errmsg) == 0) {
4288 memprintf(errmsg, "invalid binary string (%s)", *errmsg);
4289 goto error;
4290 }
4291 case TCPCHK_EXPECT_REGEX:
4292 case TCPCHK_EXPECT_REGEX_BINARY:
4293 chk->expect.regex = regex_comp(pattern, 1, with_capture, errmsg);
4294 if (!chk->expect.regex)
4295 goto error;
4296 break;
4297 case TCPCHK_EXPECT_UNDEF:
4298 free(chk);
4299 memprintf(errmsg, "pattern not found");
4300 goto error;
4301 }
4302
4303 /* All tcp-check expect points back to the first inverse expect rule in
4304 * a chain of one or more expect rule, potentially itself.
4305 */
4306 chk->expect.head = chk;
4307 list_for_each_entry_rev(prev_check, rules, list) {
4308 if (prev_check->action == TCPCHK_ACT_EXPECT) {
4309 if (prev_check->expect.inverse)
4310 chk->expect.head = prev_check;
4311 continue;
4312 }
4313 if (prev_check->action != TCPCHK_ACT_COMMENT)
4314 break;
4315 }
4316 return chk;
4317
4318 error:
4319 free(chk);
4320 free(str);
4321 free(comment);
4322 return NULL;
4323}
4324
4325/* Parses the "tcp-check" proxy keyword */
4326static int proxy_parse_tcpcheck(char **args, int section, struct proxy *curpx,
4327 struct proxy *defpx, const char *file, int line,
4328 char **errmsg)
4329{
4330 struct list *rules = curpx->tcpcheck_rules;
4331 struct tcpcheck_rule *chk = NULL;
Gaetan Rivet5301b012020-02-25 17:19:17 +01004332 int index, cur_arg, ret = 0;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004333
4334 if (warnifnotcap(curpx, PR_CAP_BE, file, line, args[0], NULL))
4335 ret = 1;
4336
4337 if (curpx == defpx) {
4338 memprintf(errmsg, "'%s' not allowed in 'defaults' section.", args[0]);
4339 goto error;
4340 }
4341
4342 if (!rules) {
4343 rules = calloc(1, sizeof(*rules));
4344 if (!rules) {
4345 memprintf(errmsg, "%s : out of memory.", args[0]);
4346 goto error;
4347 }
4348 LIST_INIT(rules);
4349 curpx->tcpcheck_rules = rules;
4350 }
4351
Gaetan Rivet5301b012020-02-25 17:19:17 +01004352 index = 0;
4353 if (!LIST_ISEMPTY(rules)) {
4354 chk = LIST_PREV(rules, typeof(chk), list);
4355 index = chk->index + 1;
4356 }
4357
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004358 cur_arg = 1;
4359 if (strcmp(args[cur_arg], "connect") == 0)
4360 chk = parse_tcpcheck_connect(args, cur_arg, curpx, rules, errmsg);
4361 else if (strcmp(args[cur_arg], "send") == 0 || strcmp(args[cur_arg], "send-binary") == 0)
4362 chk = parse_tcpcheck_send(args, cur_arg, rules, errmsg);
4363 else if (strcmp(args[cur_arg], "expect") == 0)
4364 chk = parse_tcpcheck_expect(args, cur_arg, rules, errmsg);
4365 else if (strcmp(args[cur_arg], "comment") == 0)
4366 chk = parse_tcpcheck_comment(args, cur_arg, rules, errmsg);
4367 else {
4368 memprintf(errmsg, "'%s %s' only supports 'comment', 'connect', 'send', 'send-binary' or 'expect'.",
4369 args[0], args[1]);
4370 goto error;
4371 }
4372
4373 if (!chk) {
4374 memprintf(errmsg, "'%s %s' : %s.", args[0], args[1], *errmsg);
4375 goto error;
4376 }
4377 ret = (*errmsg != NULL); /* Handle warning */
4378
4379 /* No error: add the tcp-check rule in the list */
Gaetan Rivet5301b012020-02-25 17:19:17 +01004380 chk->index = index;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004381 LIST_ADDQ(rules, &chk->list);
4382 return ret;
4383
4384 error:
4385 if (rules)
4386 deinit_proxy_tcpcheck(curpx);
4387 return -1;
4388}
4389
4390static struct cfg_kw_list cfg_kws = {ILH, {
4391 { CFG_LISTEN, "tcp-check", proxy_parse_tcpcheck },
4392 { 0, NULL, NULL },
4393}};
4394
4395INITCALL1(STG_REGISTER, cfg_register_keywords, &cfg_kws);
4396
Willy Tarreaubd741542010-03-16 18:46:54 +01004397/*
Willy Tarreaubaaee002006-06-26 02:48:02 +02004398 * Local variables:
4399 * c-indent-level: 8
4400 * c-basic-offset: 8
4401 * End:
4402 */