blob: 9423e2d7dc1c0b7c4810c082788c413bde3aa34c [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>
Gaetan Rivet13a50432020-02-21 18:13:44 +010061#include <proto/vars.h>
Baptiste Assmanna68ca962015-04-14 01:15:08 +020062#include <proto/log.h>
63#include <proto/dns.h>
64#include <proto/proto_udp.h>
Olivier Houchard9130a962017-10-17 17:33:43 +020065#include <proto/ssl_sock.h>
Olivier Houchard9130a962017-10-17 17:33:43 +020066
Willy Tarreaubd741542010-03-16 18:46:54 +010067static int httpchk_expect(struct server *s, int done);
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +020068static int tcpcheck_get_step_id(struct check *, struct tcpcheck_rule *);
69static char *tcpcheck_get_step_comment(struct check *, struct tcpcheck_rule *);
Willy Tarreau6bdcab02017-10-04 18:41:00 +020070static int tcpcheck_main(struct check *);
Olivier Houchard910b2bc2018-07-17 18:49:38 +020071static void __event_srv_chk_w(struct conn_stream *cs);
Olivier Houchard4501c3e2018-08-28 19:36:18 +020072static int wake_srv_chk(struct conn_stream *cs);
Olivier Houchardaf4021e2018-08-09 13:06:55 +020073static void __event_srv_chk_r(struct conn_stream *cs);
Willy Tarreaubd741542010-03-16 18:46:54 +010074
Christopher Faulet31c30fd2020-03-26 21:10:03 +010075static int srv_check_healthcheck_port(struct check *chk);
76
Willy Tarreau8ceae722018-11-26 11:58:30 +010077DECLARE_STATIC_POOL(pool_head_email_alert, "email_alert", sizeof(struct email_alert));
78DECLARE_STATIC_POOL(pool_head_tcpcheck_rule, "tcpcheck_rule", sizeof(struct tcpcheck_rule));
Christopher Faulet31dff9b2017-10-23 15:45:20 +020079
Gaetan Rivet05d692d2020-02-14 17:42:54 +010080/* Dummy frontend used to create all checks sessions. */
81static struct proxy checks_fe;
Christopher Faulet31dff9b2017-10-23 15:45:20 +020082
Simon Horman63a4a822012-03-19 07:24:41 +090083static const struct check_status check_statuses[HCHK_STATUS_SIZE] = {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010084 [HCHK_STATUS_UNKNOWN] = { CHK_RES_UNKNOWN, "UNK", "Unknown" },
85 [HCHK_STATUS_INI] = { CHK_RES_UNKNOWN, "INI", "Initializing" },
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +020086 [HCHK_STATUS_START] = { /* SPECIAL STATUS*/ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020087
Willy Tarreau23964182014-05-20 20:56:30 +020088 /* Below we have finished checks */
89 [HCHK_STATUS_CHECKED] = { CHK_RES_NEUTRAL, "CHECKED", "No status change" },
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010090 [HCHK_STATUS_HANA] = { CHK_RES_FAILED, "HANA", "Health analyze" },
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +010091
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010092 [HCHK_STATUS_SOCKERR] = { CHK_RES_FAILED, "SOCKERR", "Socket error" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020093
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010094 [HCHK_STATUS_L4OK] = { CHK_RES_PASSED, "L4OK", "Layer4 check passed" },
95 [HCHK_STATUS_L4TOUT] = { CHK_RES_FAILED, "L4TOUT", "Layer4 timeout" },
96 [HCHK_STATUS_L4CON] = { CHK_RES_FAILED, "L4CON", "Layer4 connection problem" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020097
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010098 [HCHK_STATUS_L6OK] = { CHK_RES_PASSED, "L6OK", "Layer6 check passed" },
99 [HCHK_STATUS_L6TOUT] = { CHK_RES_FAILED, "L6TOUT", "Layer6 timeout" },
100 [HCHK_STATUS_L6RSP] = { CHK_RES_FAILED, "L6RSP", "Layer6 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200101
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100102 [HCHK_STATUS_L7TOUT] = { CHK_RES_FAILED, "L7TOUT", "Layer7 timeout" },
103 [HCHK_STATUS_L7RSP] = { CHK_RES_FAILED, "L7RSP", "Layer7 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200104
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200105 [HCHK_STATUS_L57DATA] = { /* DUMMY STATUS */ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200106
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100107 [HCHK_STATUS_L7OKD] = { CHK_RES_PASSED, "L7OK", "Layer7 check passed" },
108 [HCHK_STATUS_L7OKCD] = { CHK_RES_CONDPASS, "L7OKC", "Layer7 check conditionally passed" },
109 [HCHK_STATUS_L7STS] = { CHK_RES_FAILED, "L7STS", "Layer7 wrong status" },
Simon Horman98637e52014-06-20 12:30:16 +0900110
111 [HCHK_STATUS_PROCERR] = { CHK_RES_FAILED, "PROCERR", "External check error" },
112 [HCHK_STATUS_PROCTOUT] = { CHK_RES_FAILED, "PROCTOUT", "External check timeout" },
Cyril Bonté77010d82014-08-07 01:55:37 +0200113 [HCHK_STATUS_PROCOK] = { CHK_RES_PASSED, "PROCOK", "External check passed" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200114};
115
Cyril Bontéac92a062014-12-27 22:28:38 +0100116const struct extcheck_env extcheck_envs[EXTCHK_SIZE] = {
117 [EXTCHK_PATH] = { "PATH", EXTCHK_SIZE_EVAL_INIT },
118 [EXTCHK_HAPROXY_PROXY_NAME] = { "HAPROXY_PROXY_NAME", EXTCHK_SIZE_EVAL_INIT },
119 [EXTCHK_HAPROXY_PROXY_ID] = { "HAPROXY_PROXY_ID", EXTCHK_SIZE_EVAL_INIT },
120 [EXTCHK_HAPROXY_PROXY_ADDR] = { "HAPROXY_PROXY_ADDR", EXTCHK_SIZE_EVAL_INIT },
121 [EXTCHK_HAPROXY_PROXY_PORT] = { "HAPROXY_PROXY_PORT", EXTCHK_SIZE_EVAL_INIT },
122 [EXTCHK_HAPROXY_SERVER_NAME] = { "HAPROXY_SERVER_NAME", EXTCHK_SIZE_EVAL_INIT },
123 [EXTCHK_HAPROXY_SERVER_ID] = { "HAPROXY_SERVER_ID", EXTCHK_SIZE_EVAL_INIT },
Christopher Fauletaaae9a02020-04-26 09:50:31 +0200124 [EXTCHK_HAPROXY_SERVER_ADDR] = { "HAPROXY_SERVER_ADDR", EXTCHK_SIZE_ADDR },
125 [EXTCHK_HAPROXY_SERVER_PORT] = { "HAPROXY_SERVER_PORT", EXTCHK_SIZE_UINT },
Cyril Bontéac92a062014-12-27 22:28:38 +0100126 [EXTCHK_HAPROXY_SERVER_MAXCONN] = { "HAPROXY_SERVER_MAXCONN", EXTCHK_SIZE_EVAL_INIT },
127 [EXTCHK_HAPROXY_SERVER_CURCONN] = { "HAPROXY_SERVER_CURCONN", EXTCHK_SIZE_ULONG },
128};
129
Simon Horman63a4a822012-03-19 07:24:41 +0900130static const struct analyze_status analyze_statuses[HANA_STATUS_SIZE] = { /* 0: ignore, 1: error, 2: OK */
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100131 [HANA_STATUS_UNKNOWN] = { "Unknown", { 0, 0 }},
132
133 [HANA_STATUS_L4_OK] = { "L4 successful connection", { 2, 0 }},
134 [HANA_STATUS_L4_ERR] = { "L4 unsuccessful connection", { 1, 1 }},
135
136 [HANA_STATUS_HTTP_OK] = { "Correct http response", { 0, 2 }},
137 [HANA_STATUS_HTTP_STS] = { "Wrong http response", { 0, 1 }},
138 [HANA_STATUS_HTTP_HDRRSP] = { "Invalid http response (headers)", { 0, 1 }},
139 [HANA_STATUS_HTTP_RSP] = { "Invalid http response", { 0, 1 }},
140
141 [HANA_STATUS_HTTP_READ_ERROR] = { "Read error (http)", { 0, 1 }},
142 [HANA_STATUS_HTTP_READ_TIMEOUT] = { "Read timeout (http)", { 0, 1 }},
143 [HANA_STATUS_HTTP_BROKEN_PIPE] = { "Close from server (http)", { 0, 1 }},
144};
145
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100146/* checks if <err> is a real error for errno or one that can be ignored, and
147 * return 0 for these ones or <err> for real ones.
148 */
149static inline int unclean_errno(int err)
150{
151 if (err == EAGAIN || err == EINPROGRESS ||
152 err == EISCONN || err == EALREADY)
153 return 0;
154 return err;
155}
156
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200157/*
158 * Convert check_status code to description
159 */
160const char *get_check_status_description(short check_status) {
161
162 const char *desc;
163
164 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200165 desc = check_statuses[check_status].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200166 else
167 desc = NULL;
168
169 if (desc && *desc)
170 return desc;
171 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200172 return check_statuses[HCHK_STATUS_UNKNOWN].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200173}
174
175/*
176 * Convert check_status code to short info
177 */
178const char *get_check_status_info(short check_status) {
179
180 const char *info;
181
182 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200183 info = check_statuses[check_status].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200184 else
185 info = NULL;
186
187 if (info && *info)
188 return info;
189 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200190 return check_statuses[HCHK_STATUS_UNKNOWN].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200191}
192
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100193const char *get_analyze_status(short analyze_status) {
194
195 const char *desc;
196
197 if (analyze_status < HANA_STATUS_SIZE)
198 desc = analyze_statuses[analyze_status].desc;
199 else
200 desc = NULL;
201
202 if (desc && *desc)
203 return desc;
204 else
205 return analyze_statuses[HANA_STATUS_UNKNOWN].desc;
206}
207
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200208/*
Simon Horman4a741432013-02-23 15:35:38 +0900209 * Set check->status, update check->duration and fill check->result with
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200210 * an adequate CHK_RES_* value. The new check->health is computed based
211 * on the result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200212 *
213 * Show information in logs about failed health check if server is UP
214 * or succeeded health checks if server is DOWN.
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200215 */
Simon Horman4a741432013-02-23 15:35:38 +0900216static void set_server_check_status(struct check *check, short status, const char *desc)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100217{
Simon Horman4a741432013-02-23 15:35:38 +0900218 struct server *s = check->server;
Willy Tarreaubef1b322014-05-13 21:01:39 +0200219 short prev_status = check->status;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200220 int report = 0;
Simon Horman4a741432013-02-23 15:35:38 +0900221
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200222 if (status == HCHK_STATUS_START) {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100223 check->result = CHK_RES_UNKNOWN; /* no result yet */
Simon Horman4a741432013-02-23 15:35:38 +0900224 check->desc[0] = '\0';
225 check->start = now;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200226 return;
227 }
228
Simon Horman4a741432013-02-23 15:35:38 +0900229 if (!check->status)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200230 return;
231
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200232 if (desc && *desc) {
Simon Horman4a741432013-02-23 15:35:38 +0900233 strncpy(check->desc, desc, HCHK_DESC_LEN-1);
234 check->desc[HCHK_DESC_LEN-1] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200235 } else
Simon Horman4a741432013-02-23 15:35:38 +0900236 check->desc[0] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200237
Simon Horman4a741432013-02-23 15:35:38 +0900238 check->status = status;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200239 if (check_statuses[status].result)
Simon Horman4a741432013-02-23 15:35:38 +0900240 check->result = check_statuses[status].result;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200241
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100242 if (status == HCHK_STATUS_HANA)
Simon Horman4a741432013-02-23 15:35:38 +0900243 check->duration = -1;
244 else if (!tv_iszero(&check->start)) {
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200245 /* set_server_check_status() may be called more than once */
Simon Horman4a741432013-02-23 15:35:38 +0900246 check->duration = tv_ms_elapsed(&check->start, &now);
247 tv_zero(&check->start);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200248 }
249
Willy Tarreau23964182014-05-20 20:56:30 +0200250 /* no change is expected if no state change occurred */
251 if (check->result == CHK_RES_NEUTRAL)
252 return;
253
Olivier Houchard0923fa42019-01-11 18:43:04 +0100254 /* If the check was really just sending a mail, it won't have an
255 * associated server, so we're done now.
256 */
257 if (!s)
258 return;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200259 report = 0;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200260
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200261 switch (check->result) {
262 case CHK_RES_FAILED:
Willy Tarreau12634e12014-05-23 11:32:36 +0200263 /* Failure to connect to the agent as a secondary check should not
264 * cause the server to be marked down.
265 */
266 if ((!(check->state & CHK_ST_AGENT) ||
Simon Hormaneaabd522015-02-26 11:26:17 +0900267 (check->status >= HCHK_STATUS_L57DATA)) &&
Christopher Fauletb119a792018-05-02 12:12:45 +0200268 (check->health > 0)) {
Olivier Houchard7059c552019-03-08 18:49:32 +0100269 _HA_ATOMIC_ADD(&s->counters.failed_checks, 1);
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200270 report = 1;
271 check->health--;
272 if (check->health < check->rise)
273 check->health = 0;
274 }
275 break;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200276
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200277 case CHK_RES_PASSED:
278 case CHK_RES_CONDPASS: /* "condpass" cannot make the first step but it OK after a "passed" */
279 if ((check->health < check->rise + check->fall - 1) &&
280 (check->result == CHK_RES_PASSED || check->health > 0)) {
281 report = 1;
282 check->health++;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200283
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200284 if (check->health >= check->rise)
285 check->health = check->rise + check->fall - 1; /* OK now */
286 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200287
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200288 /* clear consecutive_errors if observing is enabled */
289 if (s->onerror)
290 s->consecutive_errors = 0;
291 break;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100292
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200293 default:
294 break;
295 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200296
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200297 if (s->proxy->options2 & PR_O2_LOGHCHKS &&
298 (status != prev_status || report)) {
299 chunk_printf(&trash,
Willy Tarreau12634e12014-05-23 11:32:36 +0200300 "%s check for %sserver %s/%s %s%s",
301 (check->state & CHK_ST_AGENT) ? "Agent" : "Health",
Willy Tarreauc93cd162014-05-13 15:54:22 +0200302 s->flags & SRV_F_BACKUP ? "backup " : "",
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100303 s->proxy->id, s->id,
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100304 (check->result == CHK_RES_CONDPASS) ? "conditionally ":"",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200305 (check->result >= CHK_RES_PASSED) ? "succeeded" : "failed");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200306
Emeric Brun5a133512017-10-19 14:42:30 +0200307 srv_append_status(&trash, s, check, -1, 0);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200308
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100309 chunk_appendf(&trash, ", status: %d/%d %s",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200310 (check->health >= check->rise) ? check->health - check->rise + 1 : check->health,
311 (check->health >= check->rise) ? check->fall : check->rise,
312 (check->health >= check->rise) ? (s->uweight ? "UP" : "DRAIN") : "DOWN");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200313
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200314 ha_warning("%s.\n", trash.area);
315 send_log(s->proxy, LOG_NOTICE, "%s.\n", trash.area);
316 send_email_alert(s, LOG_INFO, "%s", trash.area);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200317 }
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200318}
319
Willy Tarreau4eec5472014-05-20 22:32:27 +0200320/* Marks the check <check>'s server down if the current check is already failed
321 * and the server is not down yet nor in maintenance.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200322 */
Willy Tarreau4eec5472014-05-20 22:32:27 +0200323static void check_notify_failure(struct check *check)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200324{
Simon Horman4a741432013-02-23 15:35:38 +0900325 struct server *s = check->server;
Simon Hormane0d1bfb2011-06-21 14:34:58 +0900326
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200327 /* The agent secondary check should only cause a server to be marked
328 * as down if check->status is HCHK_STATUS_L7STS, which indicates
329 * that the agent returned "fail", "stopped" or "down".
330 * The implication here is that failure to connect to the agent
331 * as a secondary check should not cause the server to be marked
332 * down. */
333 if ((check->state & CHK_ST_AGENT) && check->status != HCHK_STATUS_L7STS)
334 return;
335
Willy Tarreau4eec5472014-05-20 22:32:27 +0200336 if (check->health > 0)
337 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100338
Willy Tarreau4eec5472014-05-20 22:32:27 +0200339 /* We only report a reason for the check if we did not do so previously */
Emeric Brun5a133512017-10-19 14:42:30 +0200340 srv_set_stopped(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200341}
342
Willy Tarreauaf549582014-05-16 17:37:50 +0200343/* Marks the check <check> as valid and tries to set its server up, provided
Willy Tarreau3e048382014-05-21 10:30:54 +0200344 * it isn't in maintenance, it is not tracking a down server and other checks
345 * comply. The rule is simple : by default, a server is up, unless any of the
346 * following conditions is true :
347 * - health check failed (check->health < rise)
348 * - agent check failed (agent->health < rise)
349 * - the server tracks a down server (track && track->state == STOPPED)
350 * Note that if the server has a slowstart, it will switch to STARTING instead
351 * of RUNNING. Also, only the health checks support the nolb mode, so the
352 * agent's success may not take the server out of this mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200353 */
Willy Tarreau3e048382014-05-21 10:30:54 +0200354static void check_notify_success(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200355{
Simon Horman4a741432013-02-23 15:35:38 +0900356 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100357
Emeric Brun52a91d32017-08-31 14:41:55 +0200358 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200359 return;
Cyril Bontécd19e512010-01-31 22:34:03 +0100360
Emeric Brun52a91d32017-08-31 14:41:55 +0200361 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreauaf549582014-05-16 17:37:50 +0200362 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100363
Willy Tarreau3e048382014-05-21 10:30:54 +0200364 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
365 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100366
Willy Tarreau3e048382014-05-21 10:30:54 +0200367 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
368 return;
Willy Tarreauaf549582014-05-16 17:37:50 +0200369
Emeric Brun52a91d32017-08-31 14:41:55 +0200370 if ((check->state & CHK_ST_AGENT) && s->next_state == SRV_ST_STOPPING)
Willy Tarreau3e048382014-05-21 10:30:54 +0200371 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100372
Emeric Brun5a133512017-10-19 14:42:30 +0200373 srv_set_running(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100374}
375
Willy Tarreaudb58b792014-05-21 13:57:23 +0200376/* Marks the check <check> as valid and tries to set its server into stopping mode
377 * if it was running or starting, and provided it isn't in maintenance and other
378 * checks comply. The conditions for the server to be marked in stopping mode are
379 * the same as for it to be turned up. Also, only the health checks support the
380 * nolb mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200381 */
Willy Tarreaudb58b792014-05-21 13:57:23 +0200382static void check_notify_stopping(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200383{
Simon Horman4a741432013-02-23 15:35:38 +0900384 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100385
Emeric Brun52a91d32017-08-31 14:41:55 +0200386 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200387 return;
388
Willy Tarreaudb58b792014-05-21 13:57:23 +0200389 if (check->state & CHK_ST_AGENT)
390 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100391
Emeric Brun52a91d32017-08-31 14:41:55 +0200392 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreaudb58b792014-05-21 13:57:23 +0200393 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100394
Willy Tarreaudb58b792014-05-21 13:57:23 +0200395 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
396 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100397
Willy Tarreaudb58b792014-05-21 13:57:23 +0200398 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
399 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100400
Willy Tarreaub26881a2017-12-23 11:16:49 +0100401 srv_set_stopping(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100402}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200403
Willy Tarreau9fe7aae2013-12-31 23:47:37 +0100404/* note: use health_adjust() only, which first checks that the observe mode is
405 * enabled.
406 */
407void __health_adjust(struct server *s, short status)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100408{
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100409 int failed;
410 int expire;
411
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100412 if (s->observe >= HANA_OBS_SIZE)
413 return;
414
Willy Tarreaubb956662013-01-24 00:37:39 +0100415 if (status >= HANA_STATUS_SIZE || !analyze_statuses[status].desc)
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100416 return;
417
418 switch (analyze_statuses[status].lr[s->observe - 1]) {
419 case 1:
420 failed = 1;
421 break;
422
423 case 2:
424 failed = 0;
425 break;
426
427 default:
428 return;
429 }
430
431 if (!failed) {
432 /* good: clear consecutive_errors */
433 s->consecutive_errors = 0;
434 return;
435 }
436
Olivier Houchard7059c552019-03-08 18:49:32 +0100437 _HA_ATOMIC_ADD(&s->consecutive_errors, 1);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100438
439 if (s->consecutive_errors < s->consecutive_errors_limit)
440 return;
441
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100442 chunk_printf(&trash, "Detected %d consecutive errors, last one was: %s",
443 s->consecutive_errors, get_analyze_status(status));
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100444
445 switch (s->onerror) {
446 case HANA_ONERR_FASTINTER:
447 /* force fastinter - nothing to do here as all modes force it */
448 break;
449
450 case HANA_ONERR_SUDDTH:
451 /* simulate a pre-fatal failed health check */
Simon Horman58c32972013-11-25 10:46:38 +0900452 if (s->check.health > s->check.rise)
453 s->check.health = s->check.rise + 1;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100454
455 /* no break - fall through */
456
457 case HANA_ONERR_FAILCHK:
458 /* simulate a failed health check */
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200459 set_server_check_status(&s->check, HCHK_STATUS_HANA,
460 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200461 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100462 break;
463
464 case HANA_ONERR_MARKDWN:
465 /* mark server down */
Simon Horman58c32972013-11-25 10:46:38 +0900466 s->check.health = s->check.rise;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200467 set_server_check_status(&s->check, HCHK_STATUS_HANA,
468 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200469 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100470 break;
471
472 default:
473 /* write a warning? */
474 break;
475 }
476
477 s->consecutive_errors = 0;
Olivier Houchard7059c552019-03-08 18:49:32 +0100478 _HA_ATOMIC_ADD(&s->counters.failed_hana, 1);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100479
Simon Horman66183002013-02-23 10:16:43 +0900480 if (s->check.fastinter) {
481 expire = tick_add(now_ms, MS_TO_TICKS(s->check.fastinter));
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300482 if (s->check.task->expire > expire) {
Willy Tarreau5b3a2022012-09-28 15:01:02 +0200483 s->check.task->expire = expire;
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300484 /* requeue check task with new expire */
485 task_queue(s->check.task);
486 }
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100487 }
488}
489
Willy Tarreaua1dab552014-04-14 15:04:54 +0200490static int httpchk_build_status_header(struct server *s, char *buffer, int size)
Willy Tarreauef781042010-01-27 11:53:01 +0100491{
492 int sv_state;
493 int ratio;
494 int hlen = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800495 char addr[46];
496 char port[6];
Willy Tarreauef781042010-01-27 11:53:01 +0100497 const char *srv_hlt_st[7] = { "DOWN", "DOWN %d/%d",
498 "UP %d/%d", "UP",
499 "NOLB %d/%d", "NOLB",
500 "no check" };
501
502 memcpy(buffer + hlen, "X-Haproxy-Server-State: ", 24);
503 hlen += 24;
504
Willy Tarreauff5ae352013-12-11 20:36:34 +0100505 if (!(s->check.state & CHK_ST_ENABLED))
506 sv_state = 6;
Emeric Brun52a91d32017-08-31 14:41:55 +0200507 else if (s->cur_state != SRV_ST_STOPPED) {
Simon Horman58c32972013-11-25 10:46:38 +0900508 if (s->check.health == s->check.rise + s->check.fall - 1)
Willy Tarreauef781042010-01-27 11:53:01 +0100509 sv_state = 3; /* UP */
510 else
511 sv_state = 2; /* going down */
512
Emeric Brun52a91d32017-08-31 14:41:55 +0200513 if (s->cur_state == SRV_ST_STOPPING)
Willy Tarreauef781042010-01-27 11:53:01 +0100514 sv_state += 2;
515 } else {
Simon Horman125d0992013-02-24 17:23:38 +0900516 if (s->check.health)
Willy Tarreauef781042010-01-27 11:53:01 +0100517 sv_state = 1; /* going up */
518 else
519 sv_state = 0; /* DOWN */
520 }
521
Willy Tarreaua1dab552014-04-14 15:04:54 +0200522 hlen += snprintf(buffer + hlen, size - hlen,
Willy Tarreauef781042010-01-27 11:53:01 +0100523 srv_hlt_st[sv_state],
Emeric Brun52a91d32017-08-31 14:41:55 +0200524 (s->cur_state != SRV_ST_STOPPED) ? (s->check.health - s->check.rise + 1) : (s->check.health),
525 (s->cur_state != SRV_ST_STOPPED) ? (s->check.fall) : (s->check.rise));
Willy Tarreauef781042010-01-27 11:53:01 +0100526
Joseph Lynch514061c2015-01-15 17:52:59 -0800527 addr_to_str(&s->addr, addr, sizeof(addr));
Willy Tarreau04276f32017-01-06 17:41:29 +0100528 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
529 snprintf(port, sizeof(port), "%u", s->svc_port);
530 else
531 *port = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800532
533 hlen += snprintf(buffer + hlen, size - hlen, "; address=%s; port=%s; name=%s/%s; node=%s; weight=%d/%d; scur=%d/%d; qcur=%d",
534 addr, port, s->proxy->id, s->id,
Willy Tarreauef781042010-01-27 11:53:01 +0100535 global.node,
Emeric Brun52a91d32017-08-31 14:41:55 +0200536 (s->cur_eweight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
Willy Tarreauef781042010-01-27 11:53:01 +0100537 (s->proxy->lbprm.tot_weight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
538 s->cur_sess, s->proxy->beconn - s->proxy->nbpend,
539 s->nbpend);
540
Emeric Brun52a91d32017-08-31 14:41:55 +0200541 if ((s->cur_state == SRV_ST_STARTING) &&
Willy Tarreauef781042010-01-27 11:53:01 +0100542 now.tv_sec < s->last_change + s->slowstart &&
543 now.tv_sec >= s->last_change) {
544 ratio = MAX(1, 100 * (now.tv_sec - s->last_change) / s->slowstart);
Willy Tarreaua1dab552014-04-14 15:04:54 +0200545 hlen += snprintf(buffer + hlen, size - hlen, "; throttle=%d%%", ratio);
Willy Tarreauef781042010-01-27 11:53:01 +0100546 }
547
548 buffer[hlen++] = '\r';
549 buffer[hlen++] = '\n';
550
551 return hlen;
552}
553
Willy Tarreau20a18342013-12-05 00:31:46 +0100554/* Check the connection. If an error has already been reported or the socket is
555 * closed, keep errno intact as it is supposed to contain the valid error code.
556 * If no error is reported, check the socket's error queue using getsockopt().
557 * Warning, this must be done only once when returning from poll, and never
558 * after an I/O error was attempted, otherwise the error queue might contain
559 * inconsistent errors. If an error is detected, the CO_FL_ERROR is set on the
560 * socket. Returns non-zero if an error was reported, zero if everything is
561 * clean (including a properly closed socket).
562 */
563static int retrieve_errno_from_socket(struct connection *conn)
564{
565 int skerr;
566 socklen_t lskerr = sizeof(skerr);
567
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100568 if (conn->flags & CO_FL_ERROR && (unclean_errno(errno) || !conn->ctrl))
Willy Tarreau20a18342013-12-05 00:31:46 +0100569 return 1;
570
Willy Tarreau3c728722014-01-23 13:50:42 +0100571 if (!conn_ctrl_ready(conn))
Willy Tarreau20a18342013-12-05 00:31:46 +0100572 return 0;
573
Willy Tarreau585744b2017-08-24 14:31:19 +0200574 if (getsockopt(conn->handle.fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr) == 0)
Willy Tarreau20a18342013-12-05 00:31:46 +0100575 errno = skerr;
576
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100577 errno = unclean_errno(errno);
Willy Tarreau20a18342013-12-05 00:31:46 +0100578
579 if (!errno) {
580 /* we could not retrieve an error, that does not mean there is
581 * none. Just don't change anything and only report the prior
582 * error if any.
583 */
584 if (conn->flags & CO_FL_ERROR)
585 return 1;
586 else
587 return 0;
588 }
589
590 conn->flags |= CO_FL_ERROR | CO_FL_SOCK_WR_SH | CO_FL_SOCK_RD_SH;
591 return 1;
592}
593
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100594/* Try to collect as much information as possible on the connection status,
595 * and adjust the server status accordingly. It may make use of <errno_bck>
596 * if non-null when the caller is absolutely certain of its validity (eg:
597 * checked just after a syscall). If the caller doesn't have a valid errno,
598 * it can pass zero, and retrieve_errno_from_socket() will be called to try
599 * to extract errno from the socket. If no error is reported, it will consider
600 * the <expired> flag. This is intended to be used when a connection error was
601 * reported in conn->flags or when a timeout was reported in <expired>. The
602 * function takes care of not updating a server status which was already set.
603 * All situations where at least one of <expired> or CO_FL_ERROR are set
604 * produce a status.
605 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200606static void chk_report_conn_err(struct check *check, int errno_bck, int expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100607{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200608 struct conn_stream *cs = check->cs;
609 struct connection *conn = cs_conn(cs);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100610 const char *err_msg;
Willy Tarreau83061a82018-07-13 11:56:34 +0200611 struct buffer *chk;
Willy Tarreau213c6782014-10-02 14:51:02 +0200612 int step;
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200613 char *comment;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100614
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100615 if (check->result != CHK_RES_UNKNOWN)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100616 return;
617
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100618 errno = unclean_errno(errno_bck);
619 if (conn && errno)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100620 retrieve_errno_from_socket(conn);
621
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200622 if (conn && !(conn->flags & CO_FL_ERROR) &&
623 !(cs->flags & CS_FL_ERROR) && !expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100624 return;
625
626 /* we'll try to build a meaningful error message depending on the
627 * context of the error possibly present in conn->err_code, and the
628 * socket error possibly collected above. This is useful to know the
629 * exact step of the L6 layer (eg: SSL handshake).
630 */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200631 chk = get_trash_chunk();
632
633 if (check->type == PR_O2_TCPCHK_CHK) {
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200634 step = tcpcheck_get_step_id(check, NULL);
Willy Tarreau213c6782014-10-02 14:51:02 +0200635 if (!step)
636 chunk_printf(chk, " at initial connection step of tcp-check");
637 else {
638 chunk_printf(chk, " at step %d of tcp-check", step);
639 /* we were looking for a string */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200640 if (check->current_step && check->current_step->action == TCPCHK_ACT_CONNECT) {
641 if (check->current_step->connect.port)
642 chunk_appendf(chk, " (connect port %d)" ,check->current_step->connect.port);
Willy Tarreau213c6782014-10-02 14:51:02 +0200643 else
644 chunk_appendf(chk, " (connect)");
645 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200646 else if (check->current_step && check->current_step->action == TCPCHK_ACT_EXPECT) {
647 struct tcpcheck_expect *expect = &check->current_step->expect;
Gaetan Rivetb616add2020-02-07 15:37:17 +0100648
649 switch (expect->type) {
650 case TCPCHK_EXPECT_STRING:
651 chunk_appendf(chk, " (expect string '%s')", expect->string);
652 break;
653 case TCPCHK_EXPECT_BINARY:
654 chunk_appendf(chk, " (expect binary '%s')", expect->string);
655 break;
656 case TCPCHK_EXPECT_REGEX:
Willy Tarreau213c6782014-10-02 14:51:02 +0200657 chunk_appendf(chk, " (expect regex)");
Gaetan Rivetb616add2020-02-07 15:37:17 +0100658 break;
Gaetan Rivetefab6c62020-02-07 15:37:17 +0100659 case TCPCHK_EXPECT_REGEX_BINARY:
660 chunk_appendf(chk, " (expect binary regex)");
661 break;
Gaetan Rivetb616add2020-02-07 15:37:17 +0100662 case TCPCHK_EXPECT_UNDEF:
663 chunk_appendf(chk, " (undefined expect!)");
664 break;
665 }
Willy Tarreau213c6782014-10-02 14:51:02 +0200666 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200667 else if (check->current_step && check->current_step->action == TCPCHK_ACT_SEND) {
Willy Tarreau213c6782014-10-02 14:51:02 +0200668 chunk_appendf(chk, " (send)");
669 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200670
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +0200671 comment = tcpcheck_get_step_comment(check, NULL);
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200672 if (comment)
673 chunk_appendf(chk, " comment: '%s'", comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200674 }
675 }
676
Willy Tarreau00149122017-10-04 18:05:01 +0200677 if (conn && conn->err_code) {
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100678 if (unclean_errno(errno))
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200679 chunk_printf(&trash, "%s (%s)%s", conn_err_code_str(conn), strerror(errno),
680 chk->area);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100681 else
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200682 chunk_printf(&trash, "%s%s", conn_err_code_str(conn),
683 chk->area);
684 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100685 }
686 else {
Willy Tarreauc8dc20a2019-12-27 12:03:27 +0100687 if (unclean_errno(errno)) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200688 chunk_printf(&trash, "%s%s", strerror(errno),
689 chk->area);
690 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100691 }
692 else {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200693 err_msg = chk->area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100694 }
695 }
696
Willy Tarreau00149122017-10-04 18:05:01 +0200697 if (check->state & CHK_ST_PORT_MISS) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +0200698 /* NOTE: this is reported after <fall> tries */
699 chunk_printf(chk, "No port available for the TCP connection");
700 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
701 }
702
Willy Tarreau00149122017-10-04 18:05:01 +0200703 if (!conn) {
704 /* connection allocation error before the connection was established */
705 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
706 }
Willy Tarreauc192b0a2020-01-23 09:11:58 +0100707 else if (conn->flags & CO_FL_WAIT_L4_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100708 /* L4 not established (yet) */
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200709 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100710 set_server_check_status(check, HCHK_STATUS_L4CON, err_msg);
711 else if (expired)
712 set_server_check_status(check, HCHK_STATUS_L4TOUT, err_msg);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200713
714 /*
715 * might be due to a server IP change.
716 * Let's trigger a DNS resolution if none are currently running.
717 */
Olivier Houchard0923fa42019-01-11 18:43:04 +0100718 if (check->server)
719 dns_trigger_resolution(check->server->dns_requester);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200720
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100721 }
Willy Tarreauc192b0a2020-01-23 09:11:58 +0100722 else if (conn->flags & CO_FL_WAIT_L6_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100723 /* L6 not established (yet) */
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200724 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100725 set_server_check_status(check, HCHK_STATUS_L6RSP, err_msg);
726 else if (expired)
727 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
728 }
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200729 else if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100730 /* I/O error after connection was established and before we could diagnose */
731 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
732 }
733 else if (expired) {
734 /* connection established but expired check */
735 if (check->type == PR_O2_SSL3_CHK)
736 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
737 else /* HTTP, SMTP, ... */
738 set_server_check_status(check, HCHK_STATUS_L7TOUT, err_msg);
739 }
740
741 return;
742}
743
Olivier Houchard5c110b92018-08-14 17:04:58 +0200744/* This function checks if any I/O is wanted, and if so, attempts to do so */
745static struct task *event_srv_chk_io(struct task *t, void *ctx, unsigned short state)
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200746{
Olivier Houchard26e1a8f2018-09-12 15:15:12 +0200747 struct check *check = ctx;
748 struct conn_stream *cs = check->cs;
Olivier Houchard0923fa42019-01-11 18:43:04 +0100749 struct email_alertq *q = container_of(check, typeof(*q), check);
Olivier Houchardbc89ad82019-07-09 17:28:51 +0200750 int ret = 0;
Olivier Houchard4501c3e2018-08-28 19:36:18 +0200751
Willy Tarreau4f6516d2018-12-19 13:59:17 +0100752 if (!(check->wait_list.events & SUB_RETRY_SEND))
Olivier Houchardbc89ad82019-07-09 17:28:51 +0200753 ret = wake_srv_chk(cs);
754 if (ret == 0 && !(check->wait_list.events & SUB_RETRY_RECV)) {
Olivier Houchard0923fa42019-01-11 18:43:04 +0100755 if (check->server)
756 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
757 else
758 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200759 __event_srv_chk_r(cs);
Olivier Houchard0923fa42019-01-11 18:43:04 +0100760 if (check->server)
761 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
762 else
763 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200764 }
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200765 return NULL;
766}
767
768/* same as above but protected by the server lock.
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100769 *
770 * Please do NOT place any return statement in this function and only leave
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200771 * via the out label. NOTE THAT THIS FUNCTION DOESN'T LOCK, YOU PROBABLY WANT
772 * TO USE event_srv_chk_w() instead.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200773 */
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200774static void __event_srv_chk_w(struct conn_stream *cs)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200775{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200776 struct connection *conn = cs->conn;
777 struct check *check = cs->data;
Simon Horman4a741432013-02-23 15:35:38 +0900778 struct server *s = check->server;
Simon Horman4a741432013-02-23 15:35:38 +0900779 struct task *t = check->task;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200780
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100781 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100782 goto out_wakeup;
783
Willy Tarreau20a18342013-12-05 00:31:46 +0100784 if (retrieve_errno_from_socket(conn)) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200785 chk_report_conn_err(check, errno, 0);
Willy Tarreau20a18342013-12-05 00:31:46 +0100786 goto out_wakeup;
787 }
Krzysztof Piotr Oledzki6492db52010-01-02 22:03:01 +0100788
Willy Tarreau06559ac2013-12-05 01:53:08 +0100789 /* here, we know that the connection is established. That's enough for
790 * a pure TCP check.
791 */
792 if (!check->type)
793 goto out_wakeup;
794
Willy Tarreauc09572f2017-10-04 11:58:22 +0200795 /* wake() will take care of calling tcpcheck_main() */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100796 if (check->type == PR_O2_TCPCHK_CHK)
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200797 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200798
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200799 if (b_data(&check->bo)) {
Olivier Houcharded0f2072018-08-16 15:41:52 +0200800 cs->conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0);
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200801 b_realign_if_empty(&check->bo);
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200802 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200803 chk_report_conn_err(check, errno, 0);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100804 goto out_wakeup;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200805 }
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200806 if (b_data(&check->bo)) {
Willy Tarreau4f6516d2018-12-19 13:59:17 +0100807 conn->mux->subscribe(cs, SUB_RETRY_SEND, &check->wait_list);
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200808 goto out;
809 }
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100810 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200811
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100812 /* full request sent, we allow up to <timeout.check> if nonzero for a response */
813 if (s->proxy->timeout.check) {
814 t->expire = tick_add_ifset(now_ms, s->proxy->timeout.check);
815 task_queue(t);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200816 }
Olivier Houchard53216e72018-10-10 15:46:36 +0200817 goto out;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100818
Willy Tarreau83749182007-04-15 20:56:27 +0200819 out_wakeup:
Willy Tarreaufdccded2008-08-29 18:19:04 +0200820 task_wakeup(t, TASK_WOKEN_IO);
Olivier Houchard910b2bc2018-07-17 18:49:38 +0200821 out:
822 return;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200823}
824
Willy Tarreaubaaee002006-06-26 02:48:02 +0200825/*
Willy Tarreauf3c69202006-07-09 16:42:34 +0200826 * This function is used only for server health-checks. It handles the server's
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +0200827 * reply to an HTTP request, SSL HELLO or MySQL client Auth. It calls
Simon Horman4a741432013-02-23 15:35:38 +0900828 * set_server_check_status() to update check->status, check->duration
829 * and check->result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200830
831 * The set_server_check_status function is called with HCHK_STATUS_L7OKD if
832 * an HTTP server replies HTTP 2xx or 3xx (valid responses), if an SMTP server
833 * returns 2xx, HCHK_STATUS_L6OK if an SSL server returns at least 5 bytes in
834 * response to an SSL HELLO (the principle is that this is enough to
835 * distinguish between an SSL server and a pure TCP relay). All other cases will
836 * call it with a proper error status like HCHK_STATUS_L7STS, HCHK_STATUS_L6RSP,
837 * etc.
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100838 *
839 * Please do NOT place any return statement in this function and only leave
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200840 * via the out label.
841 *
842 * This must be called with the server lock held.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200843 */
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200844static void __event_srv_chk_r(struct conn_stream *cs)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200845{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200846 struct connection *conn = cs->conn;
847 struct check *check = cs->data;
Simon Horman4a741432013-02-23 15:35:38 +0900848 struct server *s = check->server;
849 struct task *t = check->task;
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200850 char *desc;
Willy Tarreau03938182010-03-17 21:52:07 +0100851 int done;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +0200852 unsigned short msglen;
Willy Tarreau83749182007-04-15 20:56:27 +0200853
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100854 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau83749182007-04-15 20:56:27 +0200855 goto out_wakeup;
Willy Tarreau83749182007-04-15 20:56:27 +0200856
Willy Tarreauc09572f2017-10-04 11:58:22 +0200857 /* wake() will take care of calling tcpcheck_main() */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100858 if (check->type == PR_O2_TCPCHK_CHK)
Olivier Houchardaf4021e2018-08-09 13:06:55 +0200859 goto out;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200860
Willy Tarreau83749182007-04-15 20:56:27 +0200861 /* Warning! Linux returns EAGAIN on SO_ERROR if data are still available
862 * but the connection was closed on the remote end. Fortunately, recv still
863 * works correctly and we don't need to do the getsockopt() on linux.
864 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000865
866 /* Set buffer to point to the end of the data already read, and check
867 * that there is free space remaining. If the buffer is full, proceed
868 * with running the checks without attempting another socket read.
869 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000870
Willy Tarreau03938182010-03-17 21:52:07 +0100871 done = 0;
Nick Chalk57b1bf72010-03-16 15:50:46 +0000872
Olivier Houchard511efea2018-08-16 15:30:32 +0200873 cs->conn->mux->rcv_buf(cs, &check->bi, b_size(&check->bi), 0);
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200874 if (conn->flags & (CO_FL_ERROR | CO_FL_SOCK_RD_SH) || cs->flags & CS_FL_ERROR) {
Willy Tarreau03938182010-03-17 21:52:07 +0100875 done = 1;
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200876 if ((conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) && !b_data(&check->bi)) {
Willy Tarreauf1503172012-09-28 19:39:36 +0200877 /* Report network errors only if we got no other data. Otherwise
878 * we'll let the upper layers decide whether the response is OK
879 * or not. It is very common that an RST sent by the server is
880 * reported as an error just after the last data chunk.
881 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200882 chk_report_conn_err(check, errno, 0);
Willy Tarreauc1a07962010-03-16 20:55:43 +0100883 goto out_wakeup;
884 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200885 }
886
Willy Tarreau0f0393f2019-09-24 10:43:03 +0200887 /* the rest of the code below expects the connection to be ready! */
Willy Tarreau911db9b2020-01-23 16:27:54 +0100888 if (conn->flags & CO_FL_WAIT_XPRT && !done)
Willy Tarreau0f0393f2019-09-24 10:43:03 +0200889 goto wait_more_data;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100890
Willy Tarreau03938182010-03-17 21:52:07 +0100891 /* Intermediate or complete response received.
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200892 * Terminate string in b_head(&check->bi) buffer.
Willy Tarreau03938182010-03-17 21:52:07 +0100893 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200894 if (b_data(&check->bi) < b_size(&check->bi))
895 b_head(&check->bi)[b_data(&check->bi)] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100896 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200897 b_head(&check->bi)[b_data(&check->bi) - 1] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100898 done = 1; /* buffer full, don't wait for more data */
899 }
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200900
Nick Chalk57b1bf72010-03-16 15:50:46 +0000901 /* Run the checks... */
Simon Horman4a741432013-02-23 15:35:38 +0900902 switch (check->type) {
Willy Tarreau1620ec32011-08-06 17:05:02 +0200903 case PR_O2_HTTP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200904 if (!done && b_data(&check->bi) < strlen("HTTP/1.0 000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100905 goto wait_more_data;
906
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100907 /* Check if the server speaks HTTP 1.X */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200908 if ((b_data(&check->bi) < strlen("HTTP/1.0 000\r")) ||
909 (memcmp(b_head(&check->bi), "HTTP/1.", 7) != 0 ||
910 (*(b_head(&check->bi) + 12) != ' ' && *(b_head(&check->bi) + 12) != '\r')) ||
911 !isdigit((unsigned char) *(b_head(&check->bi) + 9)) || !isdigit((unsigned char) *(b_head(&check->bi) + 10)) ||
912 !isdigit((unsigned char) *(b_head(&check->bi) + 11))) {
913 cut_crlf(b_head(&check->bi));
914 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200915
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100916 goto out_wakeup;
917 }
918
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200919 check->code = str2uic(b_head(&check->bi) + 9);
920 desc = ltrim(b_head(&check->bi) + 12, ' ');
Christopher Fauletc2a89a62017-10-23 15:54:24 +0200921
Willy Tarreaubd741542010-03-16 18:46:54 +0100922 if ((s->proxy->options & PR_O_DISABLE404) &&
Emeric Brun52a91d32017-08-31 14:41:55 +0200923 (s->next_state != SRV_ST_STOPPED) && (check->code == 404)) {
Nick Chalk57b1bf72010-03-16 15:50:46 +0000924 /* 404 may be accepted as "stopping" only if the server was up */
925 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900926 set_server_check_status(check, HCHK_STATUS_L7OKCD, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000927 }
Willy Tarreaubd741542010-03-16 18:46:54 +0100928 else if (s->proxy->options2 & PR_O2_EXP_TYPE) {
929 /* Run content verification check... We know we have at least 13 chars */
930 if (!httpchk_expect(s, done))
931 goto wait_more_data;
932 }
933 /* check the reply : HTTP/1.X 2xx and 3xx are OK */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200934 else if (*(b_head(&check->bi) + 9) == '2' || *(b_head(&check->bi) + 9) == '3') {
Willy Tarreaubd741542010-03-16 18:46:54 +0100935 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900936 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Willy Tarreaubd741542010-03-16 18:46:54 +0100937 }
Nick Chalk57b1bf72010-03-16 15:50:46 +0000938 else {
939 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900940 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000941 }
Willy Tarreau1620ec32011-08-06 17:05:02 +0200942 break;
943
944 case PR_O2_SSL3_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200945 if (!done && b_data(&check->bi) < 5)
Willy Tarreau03938182010-03-17 21:52:07 +0100946 goto wait_more_data;
947
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100948 /* Check for SSLv3 alert or handshake */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200949 if ((b_data(&check->bi) >= 5) && (*b_head(&check->bi) == 0x15 || *b_head(&check->bi) == 0x16))
Simon Horman4a741432013-02-23 15:35:38 +0900950 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200951 else
Simon Horman4a741432013-02-23 15:35:38 +0900952 set_server_check_status(check, HCHK_STATUS_L6RSP, NULL);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200953 break;
954
955 case PR_O2_SMTP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200956 if (!done && b_data(&check->bi) < strlen("000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100957 goto wait_more_data;
958
Willy Tarreau5488a622019-08-06 16:26:31 +0200959 /* do not reset when closing, servers don't like this */
960 if (conn_ctrl_ready(cs->conn))
961 fdtab[cs->conn->handle.fd].linger_risk = 0;
962
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200963 /* Check if the server speaks SMTP */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200964 if ((b_data(&check->bi) < strlen("000\r")) ||
965 (*(b_head(&check->bi) + 3) != ' ' && *(b_head(&check->bi) + 3) != '\r') ||
966 !isdigit((unsigned char) *b_head(&check->bi)) || !isdigit((unsigned char) *(b_head(&check->bi) + 1)) ||
967 !isdigit((unsigned char) *(b_head(&check->bi) + 2))) {
968 cut_crlf(b_head(&check->bi));
969 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200970 goto out_wakeup;
971 }
972
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200973 check->code = str2uic(b_head(&check->bi));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200974
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200975 desc = ltrim(b_head(&check->bi) + 3, ' ');
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200976 cut_crlf(desc);
977
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100978 /* Check for SMTP code 2xx (should be 250) */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200979 if (*b_head(&check->bi) == '2')
Simon Horman4a741432013-02-23 15:35:38 +0900980 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200981 else
Simon Horman4a741432013-02-23 15:35:38 +0900982 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200983 break;
984
Simon Hormana2b9dad2013-02-12 10:45:54 +0900985 case PR_O2_LB_AGENT_CHK: {
Willy Tarreau81f5d942013-12-09 20:51:51 +0100986 int status = HCHK_STATUS_CHECKED;
987 const char *hs = NULL; /* health status */
988 const char *as = NULL; /* admin status */
989 const char *ps = NULL; /* performance status */
Nenad Merdanovic174dd372016-04-24 23:10:06 +0200990 const char *cs = NULL; /* maxconn */
Willy Tarreau81f5d942013-12-09 20:51:51 +0100991 const char *err = NULL; /* first error to report */
992 const char *wrn = NULL; /* first warning to report */
993 char *cmd, *p;
Simon Hormana2b9dad2013-02-12 10:45:54 +0900994
Willy Tarreau81f5d942013-12-09 20:51:51 +0100995 /* We're getting an agent check response. The agent could
996 * have been disabled in the mean time with a long check
997 * still pending. It is important that we ignore the whole
998 * response.
999 */
1000 if (!(check->server->agent.state & CHK_ST_ENABLED))
1001 break;
1002
1003 /* The agent supports strings made of a single line ended by the
1004 * first CR ('\r') or LF ('\n'). This line is composed of words
1005 * delimited by spaces (' '), tabs ('\t'), or commas (','). The
1006 * line may optionally contained a description of a state change
1007 * after a sharp ('#'), which is only considered if a health state
1008 * is announced.
1009 *
1010 * Words may be composed of :
1011 * - a numeric weight suffixed by the percent character ('%').
1012 * - a health status among "up", "down", "stopped", and "fail".
1013 * - an admin status among "ready", "drain", "maint".
1014 *
1015 * These words may appear in any order. If multiple words of the
1016 * same category appear, the last one wins.
1017 */
1018
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001019 p = b_head(&check->bi);
Willy Tarreau9809b782013-12-11 21:40:11 +01001020 while (*p && *p != '\n' && *p != '\r')
1021 p++;
1022
1023 if (!*p) {
1024 if (!done)
1025 goto wait_more_data;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001026
Willy Tarreau9809b782013-12-11 21:40:11 +01001027 /* at least inform the admin that the agent is mis-behaving */
1028 set_server_check_status(check, check->status, "Ignoring incomplete line from agent");
1029 break;
1030 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001031
Willy Tarreau9809b782013-12-11 21:40:11 +01001032 *p = 0;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001033 cmd = b_head(&check->bi);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001034
Willy Tarreau81f5d942013-12-09 20:51:51 +01001035 while (*cmd) {
1036 /* look for next word */
1037 if (*cmd == ' ' || *cmd == '\t' || *cmd == ',') {
1038 cmd++;
1039 continue;
1040 }
Simon Horman671b6f02013-11-25 10:46:39 +09001041
Willy Tarreau81f5d942013-12-09 20:51:51 +01001042 if (*cmd == '#') {
1043 /* this is the beginning of a health status description,
1044 * skip the sharp and blanks.
1045 */
1046 cmd++;
1047 while (*cmd == '\t' || *cmd == ' ')
1048 cmd++;
Simon Horman671b6f02013-11-25 10:46:39 +09001049 break;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001050 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001051
1052 /* find the end of the word so that we have a null-terminated
1053 * word between <cmd> and <p>.
1054 */
1055 p = cmd + 1;
1056 while (*p && *p != '\t' && *p != ' ' && *p != '\n' && *p != ',')
1057 p++;
1058 if (*p)
1059 *p++ = 0;
1060
1061 /* first, health statuses */
1062 if (strcasecmp(cmd, "up") == 0) {
1063 check->health = check->rise + check->fall - 1;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001064 status = HCHK_STATUS_L7OKD;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001065 hs = cmd;
1066 }
1067 else if (strcasecmp(cmd, "down") == 0) {
1068 check->health = 0;
1069 status = HCHK_STATUS_L7STS;
1070 hs = cmd;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001071 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001072 else if (strcasecmp(cmd, "stopped") == 0) {
1073 check->health = 0;
1074 status = HCHK_STATUS_L7STS;
1075 hs = cmd;
1076 }
1077 else if (strcasecmp(cmd, "fail") == 0) {
1078 check->health = 0;
1079 status = HCHK_STATUS_L7STS;
1080 hs = cmd;
1081 }
1082 /* admin statuses */
1083 else if (strcasecmp(cmd, "ready") == 0) {
1084 as = cmd;
1085 }
1086 else if (strcasecmp(cmd, "drain") == 0) {
1087 as = cmd;
1088 }
1089 else if (strcasecmp(cmd, "maint") == 0) {
1090 as = cmd;
1091 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001092 /* try to parse a weight here and keep the last one */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001093 else if (isdigit((unsigned char)*cmd) && strchr(cmd, '%') != NULL) {
1094 ps = cmd;
1095 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001096 /* try to parse a maxconn here */
1097 else if (strncasecmp(cmd, "maxconn:", strlen("maxconn:")) == 0) {
1098 cs = cmd;
1099 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001100 else {
1101 /* keep a copy of the first error */
1102 if (!err)
1103 err = cmd;
1104 }
1105 /* skip to next word */
1106 cmd = p;
1107 }
1108 /* here, cmd points either to \0 or to the beginning of a
1109 * description. Skip possible leading spaces.
1110 */
1111 while (*cmd == ' ' || *cmd == '\n')
1112 cmd++;
1113
1114 /* First, update the admin status so that we avoid sending other
1115 * possibly useless warnings and can also update the health if
1116 * present after going back up.
1117 */
1118 if (as) {
1119 if (strcasecmp(as, "drain") == 0)
1120 srv_adm_set_drain(check->server);
1121 else if (strcasecmp(as, "maint") == 0)
1122 srv_adm_set_maint(check->server);
1123 else
1124 srv_adm_set_ready(check->server);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001125 }
1126
Willy Tarreau81f5d942013-12-09 20:51:51 +01001127 /* now change weights */
1128 if (ps) {
1129 const char *msg;
1130
1131 msg = server_parse_weight_change_request(s, ps);
1132 if (!wrn || !*wrn)
1133 wrn = msg;
1134 }
1135
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001136 if (cs) {
1137 const char *msg;
1138
1139 cs += strlen("maxconn:");
1140
1141 msg = server_parse_maxconn_change_request(s, cs);
1142 if (!wrn || !*wrn)
1143 wrn = msg;
1144 }
1145
Willy Tarreau81f5d942013-12-09 20:51:51 +01001146 /* and finally health status */
1147 if (hs) {
1148 /* We'll report some of the warnings and errors we have
1149 * here. Down reports are critical, we leave them untouched.
1150 * Lack of report, or report of 'UP' leaves the room for
1151 * ERR first, then WARN.
Simon Hormana2b9dad2013-02-12 10:45:54 +09001152 */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001153 const char *msg = cmd;
Willy Tarreau83061a82018-07-13 11:56:34 +02001154 struct buffer *t;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001155
1156 if (!*msg || status == HCHK_STATUS_L7OKD) {
1157 if (err && *err)
1158 msg = err;
1159 else if (wrn && *wrn)
1160 msg = wrn;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001161 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001162
1163 t = get_trash_chunk();
1164 chunk_printf(t, "via agent : %s%s%s%s",
1165 hs, *msg ? " (" : "",
1166 msg, *msg ? ")" : "");
1167
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001168 set_server_check_status(check, status, t->area);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001169 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001170 else if (err && *err) {
1171 /* No status change but we'd like to report something odd.
1172 * Just report the current state and copy the message.
1173 */
1174 chunk_printf(&trash, "agent reports an error : %s", err);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001175 set_server_check_status(check, status/*check->status*/,
1176 trash.area);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001177
Willy Tarreau81f5d942013-12-09 20:51:51 +01001178 }
1179 else if (wrn && *wrn) {
1180 /* No status change but we'd like to report something odd.
1181 * Just report the current state and copy the message.
1182 */
1183 chunk_printf(&trash, "agent warns : %s", wrn);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001184 set_server_check_status(check, status/*check->status*/,
1185 trash.area);
Willy Tarreau81f5d942013-12-09 20:51:51 +01001186 }
1187 else
1188 set_server_check_status(check, status, NULL);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001189 break;
1190 }
1191
Willy Tarreau1620ec32011-08-06 17:05:02 +02001192 case PR_O2_PGSQL_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001193 if (!done && b_data(&check->bi) < 9)
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001194 goto wait_more_data;
1195
Willy Tarreau5488a622019-08-06 16:26:31 +02001196 /* do not reset when closing, servers don't like this */
1197 if (conn_ctrl_ready(cs->conn))
1198 fdtab[cs->conn->handle.fd].linger_risk = 0;
1199
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001200 if (b_head(&check->bi)[0] == 'R') {
Simon Horman4a741432013-02-23 15:35:38 +09001201 set_server_check_status(check, HCHK_STATUS_L7OKD, "PostgreSQL server is ok");
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001202 }
1203 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001204 if ((b_head(&check->bi)[0] == 'E') && (b_head(&check->bi)[5]!=0) && (b_head(&check->bi)[6]!=0))
1205 desc = &b_head(&check->bi)[6];
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001206 else
1207 desc = "PostgreSQL unknown error";
1208
Simon Horman4a741432013-02-23 15:35:38 +09001209 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001210 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001211 break;
1212
1213 case PR_O2_REDIS_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001214 if (!done && b_data(&check->bi) < 7)
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001215 goto wait_more_data;
1216
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001217 if (strcmp(b_head(&check->bi), "+PONG\r\n") == 0) {
Simon Horman4a741432013-02-23 15:35:38 +09001218 set_server_check_status(check, HCHK_STATUS_L7OKD, "Redis server is ok");
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001219 }
1220 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001221 set_server_check_status(check, HCHK_STATUS_L7STS, b_head(&check->bi));
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001222 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001223 break;
1224
1225 case PR_O2_MYSQL_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001226 if (!done && b_data(&check->bi) < 5)
Willy Tarreau03938182010-03-17 21:52:07 +01001227 goto wait_more_data;
1228
Willy Tarreau5488a622019-08-06 16:26:31 +02001229 /* do not reset when closing, servers don't like this */
1230 if (conn_ctrl_ready(cs->conn))
1231 fdtab[cs->conn->handle.fd].linger_risk = 0;
1232
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001233 if (s->proxy->check_len == 0) { // old mode
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001234 if (*(b_head(&check->bi) + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001235 /* We set the MySQL Version in description for information purpose
1236 * FIXME : it can be cool to use MySQL Version for other purpose,
1237 * like mark as down old MySQL server.
1238 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001239 if (b_data(&check->bi) > 51) {
1240 desc = ltrim(b_head(&check->bi) + 5, ' ');
Simon Horman4a741432013-02-23 15:35:38 +09001241 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001242 }
1243 else {
1244 if (!done)
1245 goto wait_more_data;
Emeric Brun9f0b4582017-10-23 14:39:51 +02001246
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001247 /* it seems we have a OK packet but without a valid length,
1248 * it must be a protocol error
1249 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001250 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001251 }
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001252 }
1253 else {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001254 /* An error message is attached in the Error packet */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001255 desc = ltrim(b_head(&check->bi) + 7, ' ');
Simon Horman4a741432013-02-23 15:35:38 +09001256 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001257 }
1258 } else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001259 unsigned int first_packet_len = ((unsigned int) *b_head(&check->bi)) +
1260 (((unsigned int) *(b_head(&check->bi) + 1)) << 8) +
1261 (((unsigned int) *(b_head(&check->bi) + 2)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001262
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001263 if (b_data(&check->bi) == first_packet_len + 4) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001264 /* MySQL Error packet always begin with field_count = 0xff */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001265 if (*(b_head(&check->bi) + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001266 /* We have only one MySQL packet and it is a Handshake Initialization packet
1267 * but we need to have a second packet to know if it is alright
1268 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001269 if (!done && b_data(&check->bi) < first_packet_len + 5)
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001270 goto wait_more_data;
1271 }
1272 else {
1273 /* We have only one packet and it is an Error packet,
1274 * an error message is attached, so we can display it
1275 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001276 desc = &b_head(&check->bi)[7];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001277 //ha_warning("onlyoneERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001278 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001279 }
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001280 } else if (b_data(&check->bi) > first_packet_len + 4) {
1281 unsigned int second_packet_len = ((unsigned int) *(b_head(&check->bi) + first_packet_len + 4)) +
1282 (((unsigned int) *(b_head(&check->bi) + first_packet_len + 5)) << 8) +
1283 (((unsigned int) *(b_head(&check->bi) + first_packet_len + 6)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001284
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001285 if (b_data(&check->bi) == first_packet_len + 4 + second_packet_len + 4 ) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001286 /* We have 2 packets and that's good */
1287 /* Check if the second packet is a MySQL Error packet or not */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001288 if (*(b_head(&check->bi) + first_packet_len + 8) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001289 /* No error packet */
1290 /* We set the MySQL Version in description for information purpose */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001291 desc = &b_head(&check->bi)[5];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001292 //ha_warning("2packetOK: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001293 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001294 }
1295 else {
1296 /* An error message is attached in the Error packet
1297 * so we can display it ! :)
1298 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001299 desc = &b_head(&check->bi)[first_packet_len+11];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001300 //ha_warning("2packetERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001301 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001302 }
1303 }
1304 }
1305 else {
Willy Tarreau03938182010-03-17 21:52:07 +01001306 if (!done)
1307 goto wait_more_data;
Emeric Brun9f0b4582017-10-23 14:39:51 +02001308
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001309 /* it seems we have a Handshake Initialization packet but without a valid length,
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001310 * it must be a protocol error
1311 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001312 desc = &b_head(&check->bi)[5];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001313 //ha_warning("protoerr: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001314 set_server_check_status(check, HCHK_STATUS_L7RSP, desc);
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001315 }
1316 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001317 break;
1318
1319 case PR_O2_LDAP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001320 if (!done && b_data(&check->bi) < 14)
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001321 goto wait_more_data;
1322
1323 /* Check if the server speaks LDAP (ASN.1/BER)
1324 * http://en.wikipedia.org/wiki/Basic_Encoding_Rules
1325 * http://tools.ietf.org/html/rfc4511
1326 */
1327
1328 /* http://tools.ietf.org/html/rfc4511#section-4.1.1
1329 * LDAPMessage: 0x30: SEQUENCE
1330 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001331 if ((b_data(&check->bi) < 14) || (*(b_head(&check->bi)) != '\x30')) {
Simon Horman4a741432013-02-23 15:35:38 +09001332 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001333 }
1334 else {
1335 /* size of LDAPMessage */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001336 msglen = (*(b_head(&check->bi) + 1) & 0x80) ? (*(b_head(&check->bi) + 1) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001337
1338 /* http://tools.ietf.org/html/rfc4511#section-4.2.2
1339 * messageID: 0x02 0x01 0x01: INTEGER 1
1340 * protocolOp: 0x61: bindResponse
1341 */
1342 if ((msglen > 2) ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001343 (memcmp(b_head(&check->bi) + 2 + msglen, "\x02\x01\x01\x61", 4) != 0)) {
Simon Horman4a741432013-02-23 15:35:38 +09001344 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001345 goto out_wakeup;
1346 }
1347
1348 /* size of bindResponse */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001349 msglen += (*(b_head(&check->bi) + msglen + 6) & 0x80) ? (*(b_head(&check->bi) + msglen + 6) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001350
1351 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1352 * ldapResult: 0x0a 0x01: ENUMERATION
1353 */
1354 if ((msglen > 4) ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001355 (memcmp(b_head(&check->bi) + 7 + msglen, "\x0a\x01", 2) != 0)) {
Simon Horman4a741432013-02-23 15:35:38 +09001356 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001357 goto out_wakeup;
1358 }
1359
1360 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1361 * resultCode
1362 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001363 check->code = *(b_head(&check->bi) + msglen + 9);
Simon Horman4a741432013-02-23 15:35:38 +09001364 if (check->code) {
1365 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 +02001366 } else {
Simon Horman4a741432013-02-23 15:35:38 +09001367 set_server_check_status(check, HCHK_STATUS_L7OKD, "Success");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001368 }
1369 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001370 break;
1371
Christopher Fauletba7bc162016-11-07 21:07:38 +01001372 case PR_O2_SPOP_CHK: {
1373 unsigned int framesz;
1374 char err[HCHK_DESC_LEN];
1375
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001376 if (!done && b_data(&check->bi) < 4)
Christopher Fauletba7bc162016-11-07 21:07:38 +01001377 goto wait_more_data;
1378
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001379 memcpy(&framesz, b_head(&check->bi), 4);
Christopher Fauletba7bc162016-11-07 21:07:38 +01001380 framesz = ntohl(framesz);
1381
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001382 if (!done && b_data(&check->bi) < (4+framesz))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001383 goto wait_more_data;
1384
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001385 if (!spoe_handle_healthcheck_response(b_head(&check->bi)+4, framesz, err, HCHK_DESC_LEN-1))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001386 set_server_check_status(check, HCHK_STATUS_L7OKD, "SPOA server is ok");
1387 else
1388 set_server_check_status(check, HCHK_STATUS_L7STS, err);
1389 break;
1390 }
1391
Willy Tarreau1620ec32011-08-06 17:05:02 +02001392 default:
Willy Tarreau4c1a2b32019-09-05 18:43:22 +02001393 /* good connection is enough for pure TCP check */
Willy Tarreau911db9b2020-01-23 16:27:54 +01001394 if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Christopher Fauletf61f33a2020-03-27 18:55:49 +01001395 if (check->use_ssl == 1)
Willy Tarreau4c1a2b32019-09-05 18:43:22 +02001396 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
1397 else
1398 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
1399 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001400 break;
1401 } /* switch */
Willy Tarreau83749182007-04-15 20:56:27 +02001402
Willy Tarreauc7dd71a2007-11-30 08:33:21 +01001403 out_wakeup:
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001404 /* collect possible new errors */
Willy Tarreau4ff3b892017-10-16 15:17:17 +02001405 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001406 chk_report_conn_err(check, 0, 0);
Willy Tarreaubaaee002006-06-26 02:48:02 +02001407
Nick Chalk57b1bf72010-03-16 15:50:46 +00001408 /* Reset the check buffer... */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001409 *b_head(&check->bi) = '\0';
1410 b_reset(&check->bi);
Nick Chalk57b1bf72010-03-16 15:50:46 +00001411
Steven Davidovitz544d4812017-03-08 11:06:20 -08001412 /* Close the connection... We still attempt to nicely close if,
1413 * for instance, SSL needs to send a "close notify." Later, we perform
1414 * a hard close and reset the connection if some data are pending,
1415 * otherwise we end up with many TIME_WAITs and eat all the source port
1416 * range quickly. To avoid sending RSTs all the time, we first try to
1417 * drain pending data.
Willy Tarreaufd29cc52012-11-23 09:18:20 +01001418 */
Olivier Houchard6c7e96a2019-07-02 16:35:18 +02001419 /* Call cs_shutr() first, to add the CO_FL_SOCK_RD_SH flag on the
1420 * connection, to make sure cs_shutw() will not lead to a shutdown()
1421 * that would provoke TIME_WAITs.
1422 */
1423 cs_shutr(cs, CS_SHR_DRAIN);
Willy Tarreauecdb3fe2017-10-05 15:25:48 +02001424 cs_shutw(cs, CS_SHW_NORMAL);
Willy Tarreau2b57cb82013-06-10 19:56:38 +02001425
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001426 /* OK, let's not stay here forever */
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001427 if (check->result == CHK_RES_FAILED)
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001428 conn->flags |= CO_FL_ERROR;
1429
Willy Tarreaufdccded2008-08-29 18:19:04 +02001430 task_wakeup(t, TASK_WOKEN_IO);
Olivier Houchardaf4021e2018-08-09 13:06:55 +02001431out:
Willy Tarreau3267d362012-08-17 23:53:56 +02001432 return;
Willy Tarreau03938182010-03-17 21:52:07 +01001433
1434 wait_more_data:
Willy Tarreau4f6516d2018-12-19 13:59:17 +01001435 cs->conn->mux->subscribe(cs, SUB_RETRY_RECV, &check->wait_list);
Olivier Houchardaf4021e2018-08-09 13:06:55 +02001436 goto out;
Willy Tarreaubaaee002006-06-26 02:48:02 +02001437}
1438
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001439/*
1440 * This function is used only for server health-checks. It handles connection
1441 * status updates including errors. If necessary, it wakes the check task up.
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001442 * It returns 0 on normal cases, <0 if at least one close() has happened on the
1443 * connection (eg: reconnect).
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001444 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001445static int wake_srv_chk(struct conn_stream *cs)
Willy Tarreau20bea422012-07-06 12:00:49 +02001446{
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001447 struct connection *conn = cs->conn;
1448 struct check *check = cs->data;
Olivier Houchard0923fa42019-01-11 18:43:04 +01001449 struct email_alertq *q = container_of(check, typeof(*q), check);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001450 int ret = 0;
Willy Tarreau20bea422012-07-06 12:00:49 +02001451
Olivier Houchard0923fa42019-01-11 18:43:04 +01001452 if (check->server)
1453 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
1454 else
1455 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Emeric Brunf6ba17d2017-11-02 14:35:27 +01001456
Willy Tarreauc09572f2017-10-04 11:58:22 +02001457 /* we may have to make progress on the TCP checks */
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001458 if (check->type == PR_O2_TCPCHK_CHK) {
1459 ret = tcpcheck_main(check);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001460 cs = check->cs;
Willy Tarreau543abd42018-09-20 11:25:12 +02001461 conn = cs->conn;
Willy Tarreauc5940392019-09-05 17:38:40 +02001462 } else {
1463 if (!(check->wait_list.events & SUB_RETRY_SEND))
1464 __event_srv_chk_w(cs);
1465 if (!(check->wait_list.events & SUB_RETRY_RECV))
1466 __event_srv_chk_r(cs);
1467 }
Willy Tarreauc09572f2017-10-04 11:58:22 +02001468
Willy Tarreau4ff3b892017-10-16 15:17:17 +02001469 if (unlikely(conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)) {
Willy Tarreau02b0f582013-12-03 15:42:33 +01001470 /* We may get error reports bypassing the I/O handlers, typically
1471 * the case when sending a pure TCP check which fails, then the I/O
1472 * handlers above are not called. This is completely handled by the
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001473 * main processing task so let's simply wake it up. If we get here,
1474 * we expect errno to still be valid.
1475 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001476 chk_report_conn_err(check, errno, 0);
Willy Tarreau2d351b62013-12-05 02:36:25 +01001477 task_wakeup(check->task, TASK_WOKEN_IO);
1478 }
Willy Tarreau911db9b2020-01-23 16:27:54 +01001479 else if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Willy Tarreau3be293f2014-02-05 18:31:24 +01001480 /* we may get here if only a connection probe was required : we
1481 * don't have any data to send nor anything expected in response,
1482 * so the completion of the connection establishment is enough.
1483 */
1484 task_wakeup(check->task, TASK_WOKEN_IO);
1485 }
Willy Tarreau2d351b62013-12-05 02:36:25 +01001486
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001487 if (check->result != CHK_RES_UNKNOWN) {
Christopher Faulet774c4862019-01-21 14:15:50 +01001488 /* Check complete or aborted. If connection not yet closed do it
1489 * now and wake the check task up to be sure the result is
1490 * handled ASAP. */
Willy Tarreaud85c4852015-03-13 00:40:28 +01001491 conn_sock_drain(conn);
Willy Tarreaua553ae92017-10-05 18:52:17 +02001492 cs_close(cs);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001493 ret = -1;
Olivier Houchardf4949572019-07-02 17:42:22 +02001494 /* We may have been scheduled to run, and the
1495 * I/O handler expects to have a cs, so remove
1496 * the tasklet
1497 */
1498 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Christopher Faulet774c4862019-01-21 14:15:50 +01001499 task_wakeup(check->task, TASK_WOKEN_IO);
Willy Tarreau2d351b62013-12-05 02:36:25 +01001500 }
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001501
Olivier Houchard0923fa42019-01-11 18:43:04 +01001502 if (check->server)
1503 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
1504 else
1505 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Emeric Brunf6ba17d2017-11-02 14:35:27 +01001506
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001507 /* if a connection got replaced, we must absolutely prevent the connection
1508 * handler from touching its fd, and perform the FD polling updates ourselves
1509 */
1510 if (ret < 0)
1511 conn_cond_update_polling(conn);
1512
1513 return ret;
Willy Tarreau20bea422012-07-06 12:00:49 +02001514}
1515
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001516struct data_cb check_conn_cb = {
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001517 .wake = wake_srv_chk,
Willy Tarreau8e0bb0a2016-11-24 16:58:12 +01001518 .name = "CHCK",
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001519};
1520
Willy Tarreaubaaee002006-06-26 02:48:02 +02001521/*
Willy Tarreau2e993902011-10-31 11:53:20 +01001522 * updates the server's weight during a warmup stage. Once the final weight is
1523 * reached, the task automatically stops. Note that any server status change
1524 * must have updated s->last_change accordingly.
1525 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02001526static struct task *server_warmup(struct task *t, void *context, unsigned short state)
Willy Tarreau2e993902011-10-31 11:53:20 +01001527{
Olivier Houchard9f6af332018-05-25 14:04:04 +02001528 struct server *s = context;
Willy Tarreau2e993902011-10-31 11:53:20 +01001529
1530 /* by default, plan on stopping the task */
1531 t->expire = TICK_ETERNITY;
Emeric Brun52a91d32017-08-31 14:41:55 +02001532 if ((s->next_admin & SRV_ADMF_MAINT) ||
1533 (s->next_state != SRV_ST_STARTING))
Willy Tarreau2e993902011-10-31 11:53:20 +01001534 return t;
1535
Willy Tarreau4fc49a92019-05-05 06:54:22 +02001536 HA_SPIN_LOCK(SERVER_LOCK, &s->lock);
1537
Willy Tarreau892337c2014-05-13 23:41:20 +02001538 /* recalculate the weights and update the state */
Willy Tarreau3ff577e2018-08-02 11:48:52 +02001539 server_recalc_eweight(s, 1);
Willy Tarreau2e993902011-10-31 11:53:20 +01001540
1541 /* probably that we can refill this server with a bit more connections */
Willy Tarreau4aac7db2014-05-16 11:48:10 +02001542 pendconn_grab_from_px(s);
Willy Tarreau2e993902011-10-31 11:53:20 +01001543
Willy Tarreau4fc49a92019-05-05 06:54:22 +02001544 HA_SPIN_UNLOCK(SERVER_LOCK, &s->lock);
1545
Willy Tarreau2e993902011-10-31 11:53:20 +01001546 /* get back there in 1 second or 1/20th of the slowstart interval,
1547 * whichever is greater, resulting in small 5% steps.
1548 */
Emeric Brun52a91d32017-08-31 14:41:55 +02001549 if (s->next_state == SRV_ST_STARTING)
Willy Tarreau2e993902011-10-31 11:53:20 +01001550 t->expire = tick_add(now_ms, MS_TO_TICKS(MAX(1000, s->slowstart / 20)));
1551 return t;
1552}
1553
Willy Tarreau894c6422017-10-04 15:58:52 +02001554/* returns the first NON-COMMENT tcp-check rule from list <list> or NULL if
1555 * none was found.
1556 */
1557static struct tcpcheck_rule *get_first_tcpcheck_rule(struct list *list)
1558{
1559 struct tcpcheck_rule *r;
1560
1561 list_for_each_entry(r, list, list) {
1562 if (r->action != TCPCHK_ACT_COMMENT)
1563 return r;
1564 }
1565 return NULL;
1566}
1567
Gaetan Rivet1d22d7e2020-02-14 17:47:08 +01001568/* returns the NON-COMMENT tcp-check rule from list <list> following <start> or
1569 * NULL if non was found. If <start> is NULL, it relies on
1570 * get_first_tcpcheck_rule().
1571 */
1572static struct tcpcheck_rule *get_next_tcpcheck_rule(struct list *list, struct tcpcheck_rule *start)
1573{
1574 struct tcpcheck_rule *r;
1575
1576 if (!start)
1577 return get_first_tcpcheck_rule(list);
1578
1579 r = LIST_NEXT(&start->list, typeof(r), list);
1580 list_for_each_entry_from(r, list, list) {
1581 if (r->action != TCPCHK_ACT_COMMENT)
1582 return r;
1583 }
1584 return NULL;
1585}
1586
Willy Tarreau2e993902011-10-31 11:53:20 +01001587/*
Simon Horman98637e52014-06-20 12:30:16 +09001588 * establish a server health-check that makes use of a connection.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001589 *
1590 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02001591 * - SF_ERR_NONE if everything's OK and tcpcheck_main() was not called
1592 * - SF_ERR_UP if if everything's OK and tcpcheck_main() was called
1593 * - SF_ERR_SRVTO if there are no more servers
1594 * - SF_ERR_SRVCL if the connection was refused by the server
1595 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
1596 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
1597 * - SF_ERR_INTERNAL for any other purely internal errors
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001598 * - 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 +01001599 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001600 * Note that we try to prevent the network stack from sending the ACK during the
1601 * connect() when a pure TCP check is used (without PROXY protocol).
1602 */
Simon Horman98637e52014-06-20 12:30:16 +09001603static int connect_conn_chk(struct task *t)
Simon Hormanb00d17a2014-06-13 16:18:16 +09001604{
1605 struct check *check = t->context;
1606 struct server *s = check->server;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001607 struct conn_stream *cs = check->cs;
1608 struct connection *conn = cs_conn(cs);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001609 struct protocol *proto;
1610 int ret;
Olivier Houchardfdcb0072019-05-06 18:32:29 +02001611 int connflags = 0;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001612
Willy Tarreau00149122017-10-04 18:05:01 +02001613 /* we cannot have a connection here */
1614 if (conn)
1615 return SF_ERR_INTERNAL;
1616
Simon Hormanb00d17a2014-06-13 16:18:16 +09001617 /* prepare the check buffer.
1618 * This should not be used if check is the secondary agent check
1619 * of a server as s->proxy->check_req will relate to the
1620 * configuration of the primary check. Similarly, tcp-check uses
1621 * its own strings.
1622 */
1623 if (check->type && check->type != PR_O2_TCPCHK_CHK && !(check->state & CHK_ST_AGENT)) {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001624 b_putblk(&check->bo, s->proxy->check_req, s->proxy->check_len);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001625
1626 /* we want to check if this host replies to HTTP or SSLv3 requests
1627 * so we'll send the request, and won't wake the checker up now.
1628 */
1629 if ((check->type) == PR_O2_SSL3_CHK) {
1630 /* SSL requires that we put Unix time in the request */
1631 int gmt_time = htonl(date.tv_sec);
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001632 memcpy(b_head(&check->bo) + 11, &gmt_time, 4);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001633 }
1634 else if ((check->type) == PR_O2_HTTP_CHK) {
Cyril Bonté32602d22015-01-30 00:07:07 +01001635 /* prevent HTTP keep-alive when "http-check expect" is used */
1636 if (s->proxy->options2 & PR_O2_EXP_TYPE)
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001637 b_putist(&check->bo, ist("Connection: close\r\n"));
Christopher Faulet8acb1282020-04-09 08:44:06 +02001638
1639 /* If there is a body, add its content-length */
1640 if (s->proxy->check_body_len)
1641 chunk_appendf(&check->bo, "Content-Length: %s\r\n", ultoa(s->proxy->check_body_len));
1642
1643 /* Add configured headers */
1644 if (s->proxy->check_hdrs)
1645 b_putblk(&check->bo, s->proxy->check_hdrs, s->proxy->check_hdrs_len);
1646
1647 /* Add send-state header */
1648 if (s->proxy->options2 & PR_O2_CHK_SNDST)
1649 b_putblk(&check->bo, trash.area,
1650 httpchk_build_status_header(s, trash.area, trash.size));
1651
1652 /* end-of-header */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001653 b_putist(&check->bo, ist("\r\n"));
Christopher Faulet8acb1282020-04-09 08:44:06 +02001654
1655 /* Add the body */
1656 if (s->proxy->check_body)
1657 b_putblk(&check->bo, s->proxy->check_body, s->proxy->check_body_len);
1658
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001659 *b_tail(&check->bo) = '\0'; /* to make gdb output easier to read */
Simon Hormanb00d17a2014-06-13 16:18:16 +09001660 }
1661 }
1662
James Brown55f9ff12015-10-21 18:19:05 -07001663 if ((check->type & PR_O2_LB_AGENT_CHK) && check->send_string_len) {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001664 b_putblk(&check->bo, check->send_string, check->send_string_len);
James Brown55f9ff12015-10-21 18:19:05 -07001665 }
1666
Willy Tarreauf411cce2017-10-04 16:21:19 +02001667 /* for tcp-checks, the initial connection setup is handled separately as
1668 * it may be sent to a specific port and not to the server's.
1669 */
Christopher Fauleta202d1d2020-03-26 17:38:49 +01001670 if (check->type == PR_O2_TCPCHK_CHK) {
1671 /* tcpcheck initialisation */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02001672 check->current_step = NULL;
Willy Tarreauf411cce2017-10-04 16:21:19 +02001673 tcpcheck_main(check);
1674 return SF_ERR_UP;
1675 }
1676
Simon Hormanb00d17a2014-06-13 16:18:16 +09001677 /* prepare a new connection */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001678 cs = check->cs = cs_new(NULL);
1679 if (!check->cs)
Willy Tarreau00149122017-10-04 18:05:01 +02001680 return SF_ERR_RESOURCE;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001681 conn = cs->conn;
Olivier Houchard26e1a8f2018-09-12 15:15:12 +02001682 /* Maybe there were an older connection we were waiting on */
Willy Tarreau4f6516d2018-12-19 13:59:17 +01001683 check->wait_list.events = 0;
Olivier Houchardff1e9f32019-09-20 17:18:35 +02001684 tasklet_set_tid(check->wait_list.tasklet, tid);
1685
Simon Hormanb00d17a2014-06-13 16:18:16 +09001686
Willy Tarreauca79f592019-07-17 19:04:47 +02001687 if (!sockaddr_alloc(&conn->dst))
1688 return SF_ERR_RESOURCE;
1689
Simon Horman41f58762015-01-30 11:22:56 +09001690 if (is_addr(&check->addr)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001691 /* we'll connect to the check addr specified on the server */
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001692 *conn->dst = check->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001693 }
1694 else {
1695 /* we'll connect to the addr on the server */
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001696 *conn->dst = s->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001697 }
1698
Alexander Liu2a54bb72019-05-22 19:44:48 +08001699 if (s->check.via_socks4 && (s->flags & SRV_F_SOCKS4_PROXY)) {
1700 conn->send_proxy_ofs = 1;
1701 conn->flags |= CO_FL_SOCKS4;
1702 }
1703
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001704 proto = protocol_by_family(conn->dst->ss_family);
Olivier Houchard6377a002017-12-01 22:04:05 +01001705 conn->target = &s->obj_type;
1706
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001707 if ((conn->dst->ss_family == AF_INET) || (conn->dst->ss_family == AF_INET6)) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001708 int i = 0;
1709
1710 i = srv_check_healthcheck_port(check);
Olivier Houchard6377a002017-12-01 22:04:05 +01001711 if (i == 0)
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001712 return SF_ERR_CHK_PORT;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001713
Willy Tarreaub3c81cb2019-07-17 16:54:52 +02001714 set_host_port(conn->dst, i);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001715 }
1716
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01001717 /* no client address */
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01001718
Willy Tarreaube373152018-09-06 11:45:30 +02001719 conn_prepare(conn, proto, check->xprt);
Olivier Houchardf67be932019-01-29 15:47:43 +01001720 if (conn_install_mux(conn, &mux_pt_ops, cs, s->proxy, NULL) < 0)
1721 return SF_ERR_RESOURCE;
Willy Tarreaube373152018-09-06 11:45:30 +02001722 cs_attach(cs, check, &check_conn_cb);
1723
Christopher Fauleta202d1d2020-03-26 17:38:49 +01001724 /* only plain tcp check supports quick ACK */
1725 connflags |= (check->type ? CONNECT_HAS_DATA : CONNECT_DELACK_ALWAYS);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001726
Willy Tarreaue7dff022015-04-03 01:14:29 +02001727 ret = SF_ERR_INTERNAL;
Olivier Houchardb68fda42017-08-04 18:39:01 +02001728 if (proto && proto->connect)
Olivier Houchardfdcb0072019-05-06 18:32:29 +02001729 ret = proto->connect(conn, connflags);
Willy Tarreau16257f62017-11-02 15:45:00 +01001730
Willy Tarreau16257f62017-11-02 15:45:00 +01001731
Olivier Houchard9130a962017-10-17 17:33:43 +02001732#ifdef USE_OPENSSL
Olivier Houcharda48437b2019-01-29 16:37:52 +01001733 if (ret == SF_ERR_NONE) {
1734 if (s->check.sni)
1735 ssl_sock_set_servername(conn, s->check.sni);
1736 if (s->check.alpn_str)
1737 ssl_sock_set_alpn(conn, (unsigned char *)s->check.alpn_str,
1738 s->check.alpn_len);
1739 }
Olivier Houchard9130a962017-10-17 17:33:43 +02001740#endif
Willy Tarreauf4949772017-05-06 08:45:28 +02001741 if (s->check.send_proxy && !(check->state & CHK_ST_AGENT)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001742 conn->send_proxy_ofs = 1;
1743 conn->flags |= CO_FL_SEND_PROXY;
Olivier Houchard37d78972019-12-30 15:13:42 +01001744 }
1745 if (conn->flags & (CO_FL_SEND_PROXY | CO_FL_SOCKS4) &&
1746 conn_ctrl_ready(conn)) {
Olivier Houchardfe50bfb2019-05-27 12:09:19 +02001747 if (xprt_add_hs(conn) < 0)
1748 ret = SF_ERR_RESOURCE;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001749 }
1750
1751 return ret;
1752}
1753
Simon Horman98637e52014-06-20 12:30:16 +09001754static struct list pid_list = LIST_HEAD_INIT(pid_list);
Willy Tarreaubafbe012017-11-24 17:34:44 +01001755static struct pool_head *pool_head_pid_list;
Willy Tarreau86abe442018-11-25 20:12:18 +01001756__decl_spinlock(pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001757
1758void block_sigchld(void)
1759{
1760 sigset_t set;
1761 sigemptyset(&set);
1762 sigaddset(&set, SIGCHLD);
William Lallemand6e1796e2018-06-07 11:23:40 +02001763 assert(ha_sigmask(SIG_BLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001764}
1765
1766void unblock_sigchld(void)
1767{
1768 sigset_t set;
1769 sigemptyset(&set);
Willy Tarreauebc92442016-06-21 17:29:46 +02001770 sigaddset(&set, SIGCHLD);
William Lallemand6e1796e2018-06-07 11:23:40 +02001771 assert(ha_sigmask(SIG_UNBLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001772}
1773
Simon Horman98637e52014-06-20 12:30:16 +09001774static struct pid_list *pid_list_add(pid_t pid, struct task *t)
1775{
1776 struct pid_list *elem;
1777 struct check *check = t->context;
1778
Willy Tarreaubafbe012017-11-24 17:34:44 +01001779 elem = pool_alloc(pool_head_pid_list);
Simon Horman98637e52014-06-20 12:30:16 +09001780 if (!elem)
1781 return NULL;
1782 elem->pid = pid;
1783 elem->t = t;
1784 elem->exited = 0;
1785 check->curpid = elem;
1786 LIST_INIT(&elem->list);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001787
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001788 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001789 LIST_ADD(&pid_list, &elem->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001790 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001791
Simon Horman98637e52014-06-20 12:30:16 +09001792 return elem;
1793}
1794
Simon Horman98637e52014-06-20 12:30:16 +09001795static void pid_list_del(struct pid_list *elem)
1796{
1797 struct check *check;
1798
1799 if (!elem)
1800 return;
1801
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001802 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001803 LIST_DEL(&elem->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001804 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001805
Simon Horman98637e52014-06-20 12:30:16 +09001806 if (!elem->exited)
1807 kill(elem->pid, SIGTERM);
1808
1809 check = elem->t->context;
1810 check->curpid = NULL;
Willy Tarreaubafbe012017-11-24 17:34:44 +01001811 pool_free(pool_head_pid_list, elem);
Simon Horman98637e52014-06-20 12:30:16 +09001812}
1813
1814/* Called from inside SIGCHLD handler, SIGCHLD is blocked */
1815static void pid_list_expire(pid_t pid, int status)
1816{
1817 struct pid_list *elem;
1818
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001819 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001820 list_for_each_entry(elem, &pid_list, list) {
1821 if (elem->pid == pid) {
1822 elem->t->expire = now_ms;
1823 elem->status = status;
1824 elem->exited = 1;
Cyril Bonté9dbcfab2014-08-07 01:55:39 +02001825 task_wakeup(elem->t, TASK_WOKEN_IO);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001826 break;
Simon Horman98637e52014-06-20 12:30:16 +09001827 }
1828 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001829 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001830}
1831
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001832static void sigchld_handler(struct sig_handler *sh)
Simon Horman98637e52014-06-20 12:30:16 +09001833{
1834 pid_t pid;
1835 int status;
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001836
Simon Horman98637e52014-06-20 12:30:16 +09001837 while ((pid = waitpid(0, &status, WNOHANG)) > 0)
1838 pid_list_expire(pid, status);
1839}
1840
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001841static int init_pid_list(void)
1842{
Willy Tarreaubafbe012017-11-24 17:34:44 +01001843 if (pool_head_pid_list != NULL)
Simon Horman98637e52014-06-20 12:30:16 +09001844 /* Nothing to do */
1845 return 0;
1846
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001847 if (!signal_register_fct(SIGCHLD, sigchld_handler, SIGCHLD)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001848 ha_alert("Failed to set signal handler for external health checks: %s. Aborting.\n",
1849 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001850 return 1;
1851 }
1852
Willy Tarreaubafbe012017-11-24 17:34:44 +01001853 pool_head_pid_list = create_pool("pid_list", sizeof(struct pid_list), MEM_F_SHARED);
1854 if (pool_head_pid_list == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001855 ha_alert("Failed to allocate memory pool for external health checks: %s. Aborting.\n",
1856 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001857 return 1;
1858 }
1859
1860 return 0;
1861}
1862
Cyril Bontéac92a062014-12-27 22:28:38 +01001863/* helper macro to set an environment variable and jump to a specific label on failure. */
1864#define EXTCHK_SETENV(check, envidx, value, fail) { if (extchk_setenv(check, envidx, value)) goto fail; }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001865
1866/*
Cyril Bontéac92a062014-12-27 22:28:38 +01001867 * helper function to allocate enough memory to store an environment variable.
1868 * It will also check that the environment variable is updatable, and silently
1869 * fail if not.
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001870 */
Cyril Bontéac92a062014-12-27 22:28:38 +01001871static int extchk_setenv(struct check *check, int idx, const char *value)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001872{
1873 int len, ret;
Cyril Bontéac92a062014-12-27 22:28:38 +01001874 char *envname;
1875 int vmaxlen;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001876
Cyril Bontéac92a062014-12-27 22:28:38 +01001877 if (idx < 0 || idx >= EXTCHK_SIZE) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001878 ha_alert("Illegal environment variable index %d. Aborting.\n", idx);
Cyril Bontéac92a062014-12-27 22:28:38 +01001879 return 1;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001880 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001881
1882 envname = extcheck_envs[idx].name;
1883 vmaxlen = extcheck_envs[idx].vmaxlen;
1884
1885 /* Check if the environment variable is already set, and silently reject
1886 * the update if this one is not updatable. */
1887 if ((vmaxlen == EXTCHK_SIZE_EVAL_INIT) && (check->envp[idx]))
1888 return 0;
1889
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001890 /* Instead of sending NOT_USED, sending an empty value is preferable */
1891 if (strcmp(value, "NOT_USED") == 0) {
1892 value = "";
1893 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001894
1895 len = strlen(envname) + 1;
1896 if (vmaxlen == EXTCHK_SIZE_EVAL_INIT)
1897 len += strlen(value);
1898 else
1899 len += vmaxlen;
1900
1901 if (!check->envp[idx])
1902 check->envp[idx] = malloc(len + 1);
1903
1904 if (!check->envp[idx]) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001905 ha_alert("Failed to allocate memory for the environment variable '%s'. Aborting.\n", envname);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001906 return 1;
1907 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001908 ret = snprintf(check->envp[idx], len + 1, "%s=%s", envname, value);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001909 if (ret < 0) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001910 ha_alert("Failed to store the environment variable '%s'. Reason : %s. Aborting.\n", envname, strerror(errno));
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001911 return 1;
1912 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001913 else if (ret > len) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001914 ha_alert("Environment variable '%s' was truncated. Aborting.\n", envname);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001915 return 1;
1916 }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001917 return 0;
1918}
Simon Horman98637e52014-06-20 12:30:16 +09001919
1920static int prepare_external_check(struct check *check)
1921{
1922 struct server *s = check->server;
1923 struct proxy *px = s->proxy;
1924 struct listener *listener = NULL, *l;
1925 int i;
Simon Horman98637e52014-06-20 12:30:16 +09001926 const char *path = px->check_path ? px->check_path : DEF_CHECK_PATH;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001927 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09001928
1929 list_for_each_entry(l, &px->conf.listeners, by_fe)
1930 /* Use the first INET, INET6 or UNIX listener */
1931 if (l->addr.ss_family == AF_INET ||
1932 l->addr.ss_family == AF_INET6 ||
1933 l->addr.ss_family == AF_UNIX) {
1934 listener = l;
1935 break;
1936 }
1937
Simon Horman98637e52014-06-20 12:30:16 +09001938 check->curpid = NULL;
Cyril Bontéac92a062014-12-27 22:28:38 +01001939 check->envp = calloc((EXTCHK_SIZE + 1), sizeof(char *));
1940 if (!check->envp) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001941 ha_alert("Failed to allocate memory for environment variables. Aborting\n");
Cyril Bontéac92a062014-12-27 22:28:38 +01001942 goto err;
1943 }
Simon Horman98637e52014-06-20 12:30:16 +09001944
Cyril Bontéac92a062014-12-27 22:28:38 +01001945 check->argv = calloc(6, sizeof(char *));
1946 if (!check->argv) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001947 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001948 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001949 }
Simon Horman98637e52014-06-20 12:30:16 +09001950
1951 check->argv[0] = px->check_command;
1952
Cyril Bonté777be862014-12-02 21:21:35 +01001953 if (!listener) {
1954 check->argv[1] = strdup("NOT_USED");
1955 check->argv[2] = strdup("NOT_USED");
1956 }
1957 else if (listener->addr.ss_family == AF_INET ||
Simon Horman98637e52014-06-20 12:30:16 +09001958 listener->addr.ss_family == AF_INET6) {
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001959 addr_to_str(&listener->addr, buf, sizeof(buf));
1960 check->argv[1] = strdup(buf);
1961 port_to_str(&listener->addr, buf, sizeof(buf));
1962 check->argv[2] = strdup(buf);
Cyril Bonté777be862014-12-02 21:21:35 +01001963 }
1964 else if (listener->addr.ss_family == AF_UNIX) {
Simon Horman98637e52014-06-20 12:30:16 +09001965 const struct sockaddr_un *un;
1966
1967 un = (struct sockaddr_un *)&listener->addr;
1968 check->argv[1] = strdup(un->sun_path);
1969 check->argv[2] = strdup("NOT_USED");
Cyril Bonté777be862014-12-02 21:21:35 +01001970 }
1971 else {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001972 ha_alert("Starting [%s:%s] check: unsupported address family.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001973 goto err;
1974 }
1975
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001976 if (!check->argv[1] || !check->argv[2]) {
1977 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
1978 goto err;
1979 }
1980
1981 check->argv[3] = calloc(EXTCHK_SIZE_ADDR, sizeof(*check->argv[3]));
1982 check->argv[4] = calloc(EXTCHK_SIZE_UINT, sizeof(*check->argv[4]));
1983 if (!check->argv[3] || !check->argv[4]) {
1984 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
1985 goto err;
1986 }
Willy Tarreau04276f32017-01-06 17:41:29 +01001987
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001988 addr_to_str(&s->addr, check->argv[3], EXTCHK_SIZE_ADDR);
Willy Tarreau04276f32017-01-06 17:41:29 +01001989 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
Christopher Fauletaaae9a02020-04-26 09:50:31 +02001990 snprintf(check->argv[4], EXTCHK_SIZE_UINT, "%u", s->svc_port);
Simon Horman98637e52014-06-20 12:30:16 +09001991
Cyril Bontéac92a062014-12-27 22:28:38 +01001992 for (i = 0; i < 5; i++) {
1993 if (!check->argv[i]) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001994 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001995 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001996 }
1997 }
Simon Horman98637e52014-06-20 12:30:16 +09001998
Cyril Bontéac92a062014-12-27 22:28:38 +01001999 EXTCHK_SETENV(check, EXTCHK_PATH, path, err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002000 /* Add proxy environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01002001 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_NAME, px->id, err);
2002 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ID, ultoa_r(px->uuid, buf, sizeof(buf)), err);
2003 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ADDR, check->argv[1], err);
2004 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_PORT, check->argv[2], err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002005 /* Add server environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01002006 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_NAME, s->id, err);
2007 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ID, ultoa_r(s->puid, buf, sizeof(buf)), err);
2008 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ADDR, check->argv[3], err);
2009 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_PORT, check->argv[4], err);
2010 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_MAXCONN, ultoa_r(s->maxconn, buf, sizeof(buf)), err);
2011 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)), err);
2012
2013 /* Ensure that we don't leave any hole in check->envp */
2014 for (i = 0; i < EXTCHK_SIZE; i++)
2015 if (!check->envp[i])
2016 EXTCHK_SETENV(check, i, "", err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002017
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002018 return 1;
Simon Horman98637e52014-06-20 12:30:16 +09002019err:
2020 if (check->envp) {
Cyril Bontéac92a062014-12-27 22:28:38 +01002021 for (i = 0; i < EXTCHK_SIZE; i++)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01002022 free(check->envp[i]);
Simon Horman98637e52014-06-20 12:30:16 +09002023 free(check->envp);
2024 check->envp = NULL;
2025 }
2026
2027 if (check->argv) {
2028 for (i = 1; i < 5; i++)
2029 free(check->argv[i]);
2030 free(check->argv);
2031 check->argv = NULL;
2032 }
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002033 return 0;
Simon Horman98637e52014-06-20 12:30:16 +09002034}
2035
Simon Hormanb00d17a2014-06-13 16:18:16 +09002036/*
Simon Horman98637e52014-06-20 12:30:16 +09002037 * establish a server health-check that makes use of a process.
2038 *
2039 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02002040 * - SF_ERR_NONE if everything's OK
Willy Tarreaue7dff022015-04-03 01:14:29 +02002041 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
Tim Düsterhus4896c442016-11-29 02:15:19 +01002042 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Horman98637e52014-06-20 12:30:16 +09002043 *
2044 * Blocks and then unblocks SIGCHLD
2045 */
2046static int connect_proc_chk(struct task *t)
2047{
Cyril Bontéac92a062014-12-27 22:28:38 +01002048 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09002049 struct check *check = t->context;
2050 struct server *s = check->server;
2051 struct proxy *px = s->proxy;
2052 int status;
2053 pid_t pid;
2054
Willy Tarreaue7dff022015-04-03 01:14:29 +02002055 status = SF_ERR_RESOURCE;
Simon Horman98637e52014-06-20 12:30:16 +09002056
2057 block_sigchld();
2058
2059 pid = fork();
2060 if (pid < 0) {
Willy Tarreaud96f1122019-12-03 07:07:36 +01002061 ha_alert("Failed to fork process for external health check%s: %s. Aborting.\n",
2062 (global.tune.options & GTUNE_INSECURE_FORK) ?
2063 "" : " (likely caused by missing 'insecure-fork-wanted')",
Christopher Faulet767a84b2017-11-24 16:50:31 +01002064 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09002065 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2066 goto out;
2067 }
2068 if (pid == 0) {
2069 /* Child */
2070 extern char **environ;
Willy Tarreau9f6dc722019-03-01 11:15:10 +01002071 struct rlimit limit;
Willy Tarreaub7b24782016-06-21 15:32:29 +02002072 int fd;
2073
2074 /* close all FDs. Keep stdin/stdout/stderr in verbose mode */
2075 fd = (global.mode & (MODE_QUIET|MODE_VERBOSE)) == MODE_QUIET ? 0 : 3;
2076
Willy Tarreau2555ccf2019-02-21 22:22:06 +01002077 my_closefrom(fd);
Willy Tarreaub7b24782016-06-21 15:32:29 +02002078
Willy Tarreau9f6dc722019-03-01 11:15:10 +01002079 /* restore the initial FD limits */
2080 limit.rlim_cur = rlim_fd_cur_at_boot;
2081 limit.rlim_max = rlim_fd_max_at_boot;
2082 if (setrlimit(RLIMIT_NOFILE, &limit) == -1) {
2083 getrlimit(RLIMIT_NOFILE, &limit);
2084 ha_warning("External check: failed to restore initial FD limits (cur=%u max=%u), using cur=%u max=%u\n",
2085 rlim_fd_cur_at_boot, rlim_fd_max_at_boot,
2086 (unsigned int)limit.rlim_cur, (unsigned int)limit.rlim_max);
2087 }
2088
Simon Horman98637e52014-06-20 12:30:16 +09002089 environ = check->envp;
Christopher Fauletaaae9a02020-04-26 09:50:31 +02002090
2091 /* Update some environment variables and command args: curconn, server addr and server port */
Cyril Bontéac92a062014-12-27 22:28:38 +01002092 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)));
Christopher Fauletaaae9a02020-04-26 09:50:31 +02002093
2094 addr_to_str(&s->addr, check->argv[3], EXTCHK_SIZE_ADDR);
2095 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_ADDR, check->argv[3]);
2096
2097 *check->argv[4] = 0;
2098 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
2099 snprintf(check->argv[4], EXTCHK_SIZE_UINT, "%u", s->svc_port);
2100 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_PORT, check->argv[4]);
2101
Willy Tarreau2df8cad2019-07-01 07:51:29 +02002102 haproxy_unblock_signals();
Simon Horman98637e52014-06-20 12:30:16 +09002103 execvp(px->check_command, check->argv);
Christopher Faulet767a84b2017-11-24 16:50:31 +01002104 ha_alert("Failed to exec process for external health check: %s. Aborting.\n",
2105 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09002106 exit(-1);
2107 }
2108
2109 /* Parent */
2110 if (check->result == CHK_RES_UNKNOWN) {
2111 if (pid_list_add(pid, t) != NULL) {
2112 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2113
2114 if (px->timeout.check && px->timeout.connect) {
2115 int t_con = tick_add(now_ms, px->timeout.connect);
2116 t->expire = tick_first(t->expire, t_con);
2117 }
Willy Tarreaue7dff022015-04-03 01:14:29 +02002118 status = SF_ERR_NONE;
Simon Horman98637e52014-06-20 12:30:16 +09002119 goto out;
2120 }
2121 else {
2122 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2123 }
2124 kill(pid, SIGTERM); /* process creation error */
2125 }
2126 else
2127 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
2128
2129out:
2130 unblock_sigchld();
2131 return status;
2132}
2133
2134/*
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002135 * manages a server health-check that uses an external process. Returns
Willy Tarreaubaaee002006-06-26 02:48:02 +02002136 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002137 *
2138 * Please do NOT place any return statement in this function and only leave
2139 * via the out_unlock label.
Willy Tarreaubaaee002006-06-26 02:48:02 +02002140 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002141static struct task *process_chk_proc(struct task *t, void *context, unsigned short state)
Simon Horman98637e52014-06-20 12:30:16 +09002142{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002143 struct check *check = context;
Simon Horman98637e52014-06-20 12:30:16 +09002144 struct server *s = check->server;
Simon Horman98637e52014-06-20 12:30:16 +09002145 int rv;
2146 int ret;
2147 int expired = tick_is_expired(t->expire, now_ms);
2148
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002149 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Simon Horman98637e52014-06-20 12:30:16 +09002150 if (!(check->state & CHK_ST_INPROGRESS)) {
2151 /* no check currently running */
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002152 if (!expired) /* woke up too early */
2153 goto out_unlock;
Simon Horman98637e52014-06-20 12:30:16 +09002154
2155 /* we don't send any health-checks when the proxy is
2156 * stopped, the server should not be checked or the check
2157 * is disabled.
2158 */
2159 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
2160 s->proxy->state == PR_STSTOPPED)
2161 goto reschedule;
2162
2163 /* we'll initiate a new check */
2164 set_server_check_status(check, HCHK_STATUS_START, NULL);
2165
2166 check->state |= CHK_ST_INPROGRESS;
2167
Simon Hormandbf70192015-01-30 11:22:53 +09002168 ret = connect_proc_chk(t);
Willy Tarreaud7c3fbd2017-10-04 15:19:26 +02002169 if (ret == SF_ERR_NONE) {
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002170 /* the process was forked, we allow up to min(inter,
2171 * timeout.connect) for it to report its status, but
2172 * only when timeout.check is set as it may be to short
2173 * for a full check otherwise.
Simon Horman98637e52014-06-20 12:30:16 +09002174 */
2175 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2176
2177 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
2178 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
2179 t->expire = tick_first(t->expire, t_con);
2180 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002181 task_set_affinity(t, tid_bit);
Simon Horman98637e52014-06-20 12:30:16 +09002182 goto reschedule;
Simon Horman98637e52014-06-20 12:30:16 +09002183 }
2184
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002185 /* here, we failed to start the check */
Simon Horman98637e52014-06-20 12:30:16 +09002186
2187 check->state &= ~CHK_ST_INPROGRESS;
2188 check_notify_failure(check);
2189
2190 /* we allow up to min(inter, timeout.connect) for a connection
2191 * to establish but only when timeout.check is set
2192 * as it may be to short for a full check otherwise
2193 */
2194 while (tick_is_expired(t->expire, now_ms)) {
2195 int t_con;
2196
2197 t_con = tick_add(t->expire, s->proxy->timeout.connect);
2198 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2199
2200 if (s->proxy->timeout.check)
2201 t->expire = tick_first(t->expire, t_con);
2202 }
2203 }
2204 else {
2205 /* there was a test running.
2206 * First, let's check whether there was an uncaught error,
2207 * which can happen on connect timeout or error.
2208 */
2209 if (check->result == CHK_RES_UNKNOWN) {
2210 /* good connection is enough for pure TCP check */
2211 struct pid_list *elem = check->curpid;
2212 int status = HCHK_STATUS_UNKNOWN;
2213
2214 if (elem->exited) {
2215 status = elem->status; /* Save in case the process exits between use below */
2216 if (!WIFEXITED(status))
2217 check->code = -1;
2218 else
2219 check->code = WEXITSTATUS(status);
2220 if (!WIFEXITED(status) || WEXITSTATUS(status))
2221 status = HCHK_STATUS_PROCERR;
2222 else
2223 status = HCHK_STATUS_PROCOK;
2224 } else if (expired) {
2225 status = HCHK_STATUS_PROCTOUT;
Christopher Faulet767a84b2017-11-24 16:50:31 +01002226 ha_warning("kill %d\n", (int)elem->pid);
Simon Horman98637e52014-06-20 12:30:16 +09002227 kill(elem->pid, SIGTERM);
2228 }
2229 set_server_check_status(check, status, NULL);
2230 }
2231
2232 if (check->result == CHK_RES_FAILED) {
2233 /* a failure or timeout detected */
2234 check_notify_failure(check);
2235 }
2236 else if (check->result == CHK_RES_CONDPASS) {
2237 /* check is OK but asks for stopping mode */
2238 check_notify_stopping(check);
2239 }
2240 else if (check->result == CHK_RES_PASSED) {
2241 /* a success was detected */
2242 check_notify_success(check);
2243 }
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002244 task_set_affinity(t, 1);
Simon Horman98637e52014-06-20 12:30:16 +09002245 check->state &= ~CHK_ST_INPROGRESS;
2246
2247 pid_list_del(check->curpid);
2248
2249 rv = 0;
2250 if (global.spread_checks > 0) {
2251 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreau5a6d3e72020-03-08 17:53:53 +01002252 rv -= (int) (2 * rv * (ha_random32() / 4294967295.0));
Simon Horman98637e52014-06-20 12:30:16 +09002253 }
2254 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
2255 }
2256
2257 reschedule:
2258 while (tick_is_expired(t->expire, now_ms))
2259 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002260
2261 out_unlock:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002262 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Simon Horman98637e52014-06-20 12:30:16 +09002263 return t;
2264}
2265
2266/*
2267 * manages a server health-check that uses a connection. Returns
2268 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002269 *
2270 * Please do NOT place any return statement in this function and only leave
2271 * via the out_unlock label.
Simon Horman98637e52014-06-20 12:30:16 +09002272 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002273static struct task *process_chk_conn(struct task *t, void *context, unsigned short state)
Willy Tarreaubaaee002006-06-26 02:48:02 +02002274{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002275 struct check *check = context;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002276 struct proxy *proxy = check->proxy;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002277 struct conn_stream *cs = check->cs;
2278 struct connection *conn = cs_conn(cs);
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002279 int rv;
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002280 int ret;
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002281 int expired = tick_is_expired(t->expire, now_ms);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002282
Olivier Houchard0923fa42019-01-11 18:43:04 +01002283 if (check->server)
2284 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau2c115e52013-12-11 19:41:16 +01002285 if (!(check->state & CHK_ST_INPROGRESS)) {
Willy Tarreau5a78f362012-11-23 12:47:05 +01002286 /* no check currently running */
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002287 if (!expired) /* woke up too early */
2288 goto out_unlock;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002289
Simon Horman671b6f02013-11-25 10:46:39 +09002290 /* we don't send any health-checks when the proxy is
2291 * stopped, the server should not be checked or the check
2292 * is disabled.
Willy Tarreaubaaee002006-06-26 02:48:02 +02002293 */
Willy Tarreau0d924cc2013-12-11 21:26:24 +01002294 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002295 proxy->state == PR_STSTOPPED)
Willy Tarreau5a78f362012-11-23 12:47:05 +01002296 goto reschedule;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002297
2298 /* we'll initiate a new check */
Simon Horman4a741432013-02-23 15:35:38 +09002299 set_server_check_status(check, HCHK_STATUS_START, NULL);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002300
Willy Tarreau2c115e52013-12-11 19:41:16 +01002301 check->state |= CHK_ST_INPROGRESS;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002302 b_reset(&check->bi);
2303 b_reset(&check->bo);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002304
Olivier Houchardaebeff72019-11-29 16:18:51 +01002305 task_set_affinity(t, tid_bit);
Simon Hormandbf70192015-01-30 11:22:53 +09002306 ret = connect_conn_chk(t);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002307 cs = check->cs;
2308 conn = cs_conn(cs);
Willy Tarreau00149122017-10-04 18:05:01 +02002309
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002310 switch (ret) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002311 case SF_ERR_UP:
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002312 goto out_unlock;
2313
Willy Tarreaue7dff022015-04-03 01:14:29 +02002314 case SF_ERR_NONE:
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002315 /* we allow up to min(inter, timeout.connect) for a connection
2316 * to establish but only when timeout.check is set
2317 * as it may be to short for a full check otherwise
2318 */
Simon Horman4a741432013-02-23 15:35:38 +09002319 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002320 if (proxy->timeout.check && proxy->timeout.connect) {
2321 int t_con = tick_add(now_ms, proxy->timeout.connect);
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002322 t->expire = tick_first(t->expire, t_con);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002323 }
Willy Tarreau06559ac2013-12-05 01:53:08 +01002324
Willy Tarreaucc705a62019-09-05 17:51:30 +02002325 if (check->type) {
2326 /* send the request if we have one. We avoid receiving
2327 * if not connected, unless we didn't subscribe for
2328 * sending since otherwise we won't be woken up.
2329 */
2330 __event_srv_chk_w(cs);
Willy Tarreau911db9b2020-01-23 16:27:54 +01002331 if (!(conn->flags & CO_FL_WAIT_XPRT) ||
Willy Tarreauc5940392019-09-05 17:38:40 +02002332 !(check->wait_list.events & SUB_RETRY_SEND))
2333 __event_srv_chk_r(cs);
Willy Tarreaucc705a62019-09-05 17:51:30 +02002334 }
Willy Tarreau06559ac2013-12-05 01:53:08 +01002335
Willy Tarreau5a78f362012-11-23 12:47:05 +01002336 goto reschedule;
2337
Willy Tarreaue7dff022015-04-03 01:14:29 +02002338 case SF_ERR_SRVTO: /* ETIMEDOUT */
2339 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
Willy Tarreau00149122017-10-04 18:05:01 +02002340 if (conn)
2341 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002342 chk_report_conn_err(check, errno, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002343 break;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02002344 /* should share same code than cases below */
2345 case SF_ERR_CHK_PORT:
2346 check->state |= CHK_ST_PORT_MISS;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002347 case SF_ERR_PRXCOND:
2348 case SF_ERR_RESOURCE:
2349 case SF_ERR_INTERNAL:
Willy Tarreau00149122017-10-04 18:05:01 +02002350 if (conn)
2351 conn->flags |= CO_FL_ERROR;
2352 chk_report_conn_err(check, conn ? 0 : ENOMEM, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002353 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002354 }
2355
Willy Tarreau5a78f362012-11-23 12:47:05 +01002356 /* here, we have seen a synchronous error, no fd was allocated */
Olivier Houchardaebeff72019-11-29 16:18:51 +01002357 task_set_affinity(t, MAX_THREADS_MASK);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002358 if (cs) {
Olivier Houchard49065542019-05-31 19:20:36 +02002359 if (check->wait_list.events)
2360 cs->conn->xprt->unsubscribe(cs->conn,
2361 cs->conn->xprt_ctx,
2362 check->wait_list.events,
2363 &check->wait_list);
2364 /* We may have been scheduled to run, and the
2365 * I/O handler expects to have a cs, so remove
2366 * the tasklet
2367 */
Willy Tarreau86eded62019-06-14 14:47:49 +02002368 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002369 cs_destroy(cs);
2370 cs = check->cs = NULL;
2371 conn = NULL;
Olivier Houchard390485a2017-10-24 19:03:30 +02002372 }
Willy Tarreau6b0a8502012-11-23 08:51:32 +01002373
Willy Tarreau2c115e52013-12-11 19:41:16 +01002374 check->state &= ~CHK_ST_INPROGRESS;
Willy Tarreau4eec5472014-05-20 22:32:27 +02002375 check_notify_failure(check);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002376
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002377 /* we allow up to min(inter, timeout.connect) for a connection
2378 * to establish but only when timeout.check is set
2379 * as it may be to short for a full check otherwise
2380 */
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002381 while (tick_is_expired(t->expire, now_ms)) {
2382 int t_con;
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002383
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002384 t_con = tick_add(t->expire, proxy->timeout.connect);
Simon Horman4a741432013-02-23 15:35:38 +09002385 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002386 if (proxy->timeout.check)
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002387 t->expire = tick_first(t->expire, t_con);
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002388 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002389 }
2390 else {
Willy Tarreauf1503172012-09-28 19:39:36 +02002391 /* there was a test running.
2392 * First, let's check whether there was an uncaught error,
2393 * which can happen on connect timeout or error.
2394 */
Simon Hormanccaabcd2014-06-20 12:29:47 +09002395 if (check->result == CHK_RES_UNKNOWN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +01002396 /* good connection is enough for pure TCP check */
Willy Tarreau911db9b2020-01-23 16:27:54 +01002397 if (!(conn->flags & CO_FL_WAIT_XPRT) && !check->type) {
Christopher Fauletf61f33a2020-03-27 18:55:49 +01002398 if (check->use_ssl == 1)
Simon Horman4a741432013-02-23 15:35:38 +09002399 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Willy Tarreauf1503172012-09-28 19:39:36 +02002400 else
Simon Horman4a741432013-02-23 15:35:38 +09002401 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002402 }
Willy Tarreau4ff3b892017-10-16 15:17:17 +02002403 else if ((conn->flags & CO_FL_ERROR) || cs->flags & CS_FL_ERROR || expired) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002404 chk_report_conn_err(check, 0, expired);
Willy Tarreauf1503172012-09-28 19:39:36 +02002405 }
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002406 else
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002407 goto out_unlock; /* timeout not reached, wait again */
Willy Tarreauf1503172012-09-28 19:39:36 +02002408 }
2409
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002410 /* check complete or aborted */
Gaetan Rivet05d692d2020-02-14 17:42:54 +01002411
2412 check->current_step = NULL;
2413 if (check->sess != NULL) {
2414 session_free(check->sess);
2415 check->sess = NULL;
2416 }
2417
Willy Tarreau00149122017-10-04 18:05:01 +02002418 if (conn && conn->xprt) {
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002419 /* The check was aborted and the connection was not yet closed.
2420 * This can happen upon timeout, or when an external event such
2421 * as a failed response coupled with "observe layer7" caused the
2422 * server state to be suddenly changed.
2423 */
Willy Tarreaud85c4852015-03-13 00:40:28 +01002424 conn_sock_drain(conn);
Willy Tarreaua553ae92017-10-05 18:52:17 +02002425 cs_close(cs);
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002426 }
2427
Willy Tarreauac59f362017-10-08 11:10:19 +02002428 if (cs) {
Olivier Houchard49065542019-05-31 19:20:36 +02002429 if (check->wait_list.events)
2430 cs->conn->xprt->unsubscribe(cs->conn,
2431 cs->conn->xprt_ctx,
2432 check->wait_list.events,
2433 &check->wait_list);
2434 /* We may have been scheduled to run, and the
Willy Tarreau86eded62019-06-14 14:47:49 +02002435 * I/O handler expects to have a cs, so remove
2436 * the tasklet
2437 */
2438 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002439 cs_destroy(cs);
2440 cs = check->cs = NULL;
2441 conn = NULL;
Willy Tarreau00149122017-10-04 18:05:01 +02002442 }
2443
Olivier Houchard0923fa42019-01-11 18:43:04 +01002444 if (check->server) {
2445 if (check->result == CHK_RES_FAILED) {
2446 /* a failure or timeout detected */
2447 check_notify_failure(check);
2448 }
2449 else if (check->result == CHK_RES_CONDPASS) {
2450 /* check is OK but asks for stopping mode */
2451 check_notify_stopping(check);
2452 }
2453 else if (check->result == CHK_RES_PASSED) {
2454 /* a success was detected */
2455 check_notify_success(check);
2456 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002457 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002458 task_set_affinity(t, MAX_THREADS_MASK);
Willy Tarreau2c115e52013-12-11 19:41:16 +01002459 check->state &= ~CHK_ST_INPROGRESS;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002460
Olivier Houchard0923fa42019-01-11 18:43:04 +01002461 if (check->server) {
2462 rv = 0;
2463 if (global.spread_checks > 0) {
2464 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreau5a6d3e72020-03-08 17:53:53 +01002465 rv -= (int) (2 * rv * (ha_random32() / 4294967295.0));
Olivier Houchard0923fa42019-01-11 18:43:04 +01002466 }
2467 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
Willy Tarreaubaaee002006-06-26 02:48:02 +02002468 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002469 }
Willy Tarreau5a78f362012-11-23 12:47:05 +01002470
2471 reschedule:
2472 while (tick_is_expired(t->expire, now_ms))
Simon Horman4a741432013-02-23 15:35:38 +09002473 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002474 out_unlock:
Olivier Houchard0923fa42019-01-11 18:43:04 +01002475 if (check->server)
2476 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau26c25062009-03-08 09:38:41 +01002477 return t;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002478}
2479
Simon Horman98637e52014-06-20 12:30:16 +09002480/*
2481 * manages a server health-check. Returns
2482 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
2483 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002484static struct task *process_chk(struct task *t, void *context, unsigned short state)
Simon Horman98637e52014-06-20 12:30:16 +09002485{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002486 struct check *check = context;
Simon Horman98637e52014-06-20 12:30:16 +09002487
2488 if (check->type == PR_O2_EXT_CHK)
Olivier Houchard9f6af332018-05-25 14:04:04 +02002489 return process_chk_proc(t, context, state);
2490 return process_chk_conn(t, context, state);
Baptiste Assmanna68ca962015-04-14 01:15:08 +02002491
Simon Horman98637e52014-06-20 12:30:16 +09002492}
2493
Simon Horman5c942422013-11-25 10:46:32 +09002494static int start_check_task(struct check *check, int mininter,
2495 int nbcheck, int srvpos)
2496{
2497 struct task *t;
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002498 unsigned long thread_mask = MAX_THREADS_MASK;
2499
2500 if (check->type == PR_O2_EXT_CHK)
2501 thread_mask = 1;
2502
Simon Horman5c942422013-11-25 10:46:32 +09002503 /* task for the check */
Willy Tarreau6dd4ac82019-09-03 18:55:02 +02002504 if ((t = task_new(thread_mask)) == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002505 ha_alert("Starting [%s:%s] check: out of memory.\n",
2506 check->server->proxy->id, check->server->id);
Simon Horman5c942422013-11-25 10:46:32 +09002507 return 0;
2508 }
2509
2510 check->task = t;
2511 t->process = process_chk;
2512 t->context = check;
2513
Willy Tarreau1746eec2014-04-25 10:46:47 +02002514 if (mininter < srv_getinter(check))
2515 mininter = srv_getinter(check);
2516
2517 if (global.max_spread_checks && mininter > global.max_spread_checks)
2518 mininter = global.max_spread_checks;
2519
Simon Horman5c942422013-11-25 10:46:32 +09002520 /* check this every ms */
Willy Tarreau1746eec2014-04-25 10:46:47 +02002521 t->expire = tick_add(now_ms, MS_TO_TICKS(mininter * srvpos / nbcheck));
Simon Horman5c942422013-11-25 10:46:32 +09002522 check->start = now;
2523 task_queue(t);
2524
2525 return 1;
2526}
2527
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002528/*
2529 * Start health-check.
Willy Tarreau865c5142016-12-21 20:04:48 +01002530 * Returns 0 if OK, ERR_FATAL on error, and prints the error in this case.
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002531 */
Willy Tarreau865c5142016-12-21 20:04:48 +01002532static int start_checks()
2533{
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002534
2535 struct proxy *px;
2536 struct server *s;
2537 struct task *t;
Simon Horman4a741432013-02-23 15:35:38 +09002538 int nbcheck=0, mininter=0, srvpos=0;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002539
Gaetan Rivet05d692d2020-02-14 17:42:54 +01002540 /* 0- init the dummy frontend used to create all checks sessions */
2541 init_new_proxy(&checks_fe);
2542 checks_fe.cap = PR_CAP_FE | PR_CAP_BE;
2543 checks_fe.mode = PR_MODE_TCP;
2544 checks_fe.maxconn = 0;
2545 checks_fe.conn_retries = CONN_RETRIES;
2546 checks_fe.options2 |= PR_O2_INDEPSTR | PR_O2_SMARTCON | PR_O2_SMARTACC;
2547 checks_fe.timeout.client = TICK_ETERNITY;
2548
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002549 /* 1- count the checkers to run simultaneously.
2550 * We also determine the minimum interval among all of those which
2551 * have an interval larger than SRV_CHK_INTER_THRES. This interval
2552 * will be used to spread their start-up date. Those which have
Jamie Gloudon801a0a32012-08-25 00:18:33 -04002553 * a shorter interval will start independently and will not dictate
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002554 * too short an interval for all others.
2555 */
Olivier Houchardfbc74e82017-11-24 16:54:05 +01002556 for (px = proxies_list; px; px = px->next) {
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002557 for (s = px->srv; s; s = s->next) {
Willy Tarreaue7b73482013-11-21 11:50:50 +01002558 if (s->slowstart) {
Emeric Brunc60def82017-09-27 14:59:38 +02002559 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002560 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002561 return ERR_ALERT | ERR_FATAL;
Willy Tarreaue7b73482013-11-21 11:50:50 +01002562 }
2563 /* We need a warmup task that will be called when the server
2564 * state switches from down to up.
2565 */
2566 s->warmup = t;
2567 t->process = server_warmup;
2568 t->context = s;
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002569 /* server can be in this state only because of */
Emeric Brun52a91d32017-08-31 14:41:55 +02002570 if (s->next_state == SRV_ST_STARTING)
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002571 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 +01002572 }
2573
Willy Tarreaud8514a22013-12-11 21:10:14 +01002574 if (s->check.state & CHK_ST_CONFIGURED) {
2575 nbcheck++;
2576 if ((srv_getinter(&s->check) >= SRV_CHK_INTER_THRES) &&
2577 (!mininter || mininter > srv_getinter(&s->check)))
2578 mininter = srv_getinter(&s->check);
2579 }
Willy Tarreau15f39102013-12-11 20:41:18 +01002580
Willy Tarreaud8514a22013-12-11 21:10:14 +01002581 if (s->agent.state & CHK_ST_CONFIGURED) {
2582 nbcheck++;
2583 if ((srv_getinter(&s->agent) >= SRV_CHK_INTER_THRES) &&
2584 (!mininter || mininter > srv_getinter(&s->agent)))
2585 mininter = srv_getinter(&s->agent);
2586 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002587 }
2588 }
2589
Simon Horman4a741432013-02-23 15:35:38 +09002590 if (!nbcheck)
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002591 return 0;
2592
2593 srand((unsigned)time(NULL));
2594
2595 /*
2596 * 2- start them as far as possible from each others. For this, we will
2597 * start them after their interval set to the min interval divided by
2598 * the number of servers, weighted by the server's position in the list.
2599 */
Olivier Houchardfbc74e82017-11-24 16:54:05 +01002600 for (px = proxies_list; px; px = px->next) {
Simon Horman98637e52014-06-20 12:30:16 +09002601 if ((px->options2 & PR_O2_CHK_ANY) == PR_O2_EXT_CHK) {
2602 if (init_pid_list()) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002603 ha_alert("Starting [%s] check: out of memory.\n", px->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002604 return ERR_ALERT | ERR_FATAL;
Simon Horman98637e52014-06-20 12:30:16 +09002605 }
2606 }
2607
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002608 for (s = px->srv; s; s = s->next) {
Simon Hormand60d6912013-11-25 10:46:36 +09002609 /* A task for the main check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002610 if (s->check.state & CHK_ST_CONFIGURED) {
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002611 if (s->check.type == PR_O2_EXT_CHK) {
2612 if (!prepare_external_check(&s->check))
Willy Tarreau865c5142016-12-21 20:04:48 +01002613 return ERR_ALERT | ERR_FATAL;
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002614 }
Simon Hormand60d6912013-11-25 10:46:36 +09002615 if (!start_check_task(&s->check, mininter, nbcheck, srvpos))
Willy Tarreau865c5142016-12-21 20:04:48 +01002616 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002617 srvpos++;
2618 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002619
Simon Hormand60d6912013-11-25 10:46:36 +09002620 /* A task for a auxiliary agent check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002621 if (s->agent.state & CHK_ST_CONFIGURED) {
Simon Hormand60d6912013-11-25 10:46:36 +09002622 if (!start_check_task(&s->agent, mininter, nbcheck, srvpos)) {
Willy Tarreau865c5142016-12-21 20:04:48 +01002623 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002624 }
2625 srvpos++;
2626 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002627 }
2628 }
2629 return 0;
2630}
Willy Tarreaubaaee002006-06-26 02:48:02 +02002631
2632/*
Willy Tarreau5b3a2022012-09-28 15:01:02 +02002633 * Perform content verification check on data in s->check.buffer buffer.
Willy Tarreaubd741542010-03-16 18:46:54 +01002634 * The buffer MUST be terminated by a null byte before calling this function.
2635 * Sets server status appropriately. The caller is responsible for ensuring
2636 * that the buffer contains at least 13 characters. If <done> is zero, we may
2637 * return 0 to indicate that data is required to decide of a match.
2638 */
2639static int httpchk_expect(struct server *s, int done)
2640{
Christopher Faulet1bc04c72017-10-29 20:14:08 +01002641 static THREAD_LOCAL char status_msg[] = "HTTP status check returned code <000>";
Willy Tarreaubd741542010-03-16 18:46:54 +01002642 char status_code[] = "000";
2643 char *contentptr;
2644 int crlf;
2645 int ret;
2646
2647 switch (s->proxy->options2 & PR_O2_EXP_TYPE) {
2648 case PR_O2_EXP_STS:
2649 case PR_O2_EXP_RSTS:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002650 memcpy(status_code, b_head(&s->check.bi) + 9, 3);
2651 memcpy(status_msg + strlen(status_msg) - 4, b_head(&s->check.bi) + 9, 3);
Willy Tarreaubd741542010-03-16 18:46:54 +01002652
2653 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STS)
2654 ret = strncmp(s->proxy->expect_str, status_code, 3) == 0;
2655 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002656 ret = regex_exec(s->proxy->expect_regex, status_code);
Willy Tarreaubd741542010-03-16 18:46:54 +01002657
2658 /* we necessarily have the response, so there are no partial failures */
2659 if (s->proxy->options2 & PR_O2_EXP_INV)
2660 ret = !ret;
2661
Simon Horman4a741432013-02-23 15:35:38 +09002662 set_server_check_status(&s->check, ret ? HCHK_STATUS_L7OKD : HCHK_STATUS_L7STS, status_msg);
Willy Tarreaubd741542010-03-16 18:46:54 +01002663 break;
2664
2665 case PR_O2_EXP_STR:
2666 case PR_O2_EXP_RSTR:
2667 /* very simple response parser: ignore CR and only count consecutive LFs,
2668 * stop with contentptr pointing to first char after the double CRLF or
2669 * to '\0' if crlf < 2.
2670 */
2671 crlf = 0;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002672 for (contentptr = b_head(&s->check.bi); *contentptr; contentptr++) {
Willy Tarreaubd741542010-03-16 18:46:54 +01002673 if (crlf >= 2)
2674 break;
2675 if (*contentptr == '\r')
2676 continue;
2677 else if (*contentptr == '\n')
2678 crlf++;
2679 else
2680 crlf = 0;
2681 }
2682
2683 /* Check that response contains a body... */
2684 if (crlf < 2) {
2685 if (!done)
2686 return 0;
2687
Simon Horman4a741432013-02-23 15:35:38 +09002688 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002689 "HTTP content check could not find a response body");
2690 return 1;
2691 }
2692
2693 /* Check that response body is not empty... */
2694 if (*contentptr == '\0') {
Willy Tarreaua164fb52011-04-13 09:32:41 +02002695 if (!done)
2696 return 0;
2697
Simon Horman4a741432013-02-23 15:35:38 +09002698 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002699 "HTTP content check found empty response body");
2700 return 1;
2701 }
2702
2703 /* Check the response content against the supplied string
2704 * or regex... */
2705 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STR)
2706 ret = strstr(contentptr, s->proxy->expect_str) != NULL;
2707 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002708 ret = regex_exec(s->proxy->expect_regex, contentptr);
Willy Tarreaubd741542010-03-16 18:46:54 +01002709
2710 /* if we don't match, we may need to wait more */
2711 if (!ret && !done)
2712 return 0;
2713
2714 if (ret) {
2715 /* content matched */
2716 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002717 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002718 "HTTP check matched unwanted content");
2719 else
Simon Horman4a741432013-02-23 15:35:38 +09002720 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002721 "HTTP content check matched");
2722 }
2723 else {
2724 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002725 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002726 "HTTP check did not match unwanted content");
2727 else
Simon Horman4a741432013-02-23 15:35:38 +09002728 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002729 "HTTP content check did not match");
2730 }
2731 break;
2732 }
2733 return 1;
2734}
2735
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002736/*
2737 * return the id of a step in a send/expect session
2738 */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002739static int tcpcheck_get_step_id(struct check *check, struct tcpcheck_rule *rule)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002740{
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002741 if (!rule)
2742 rule = check->current_step;
Willy Tarreau213c6782014-10-02 14:51:02 +02002743
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002744 /* no last started step => first step */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002745 if (!rule)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002746 return 1;
2747
Christopher Fauleta202d1d2020-03-26 17:38:49 +01002748 /* last step is the first implicit connect */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002749 if (rule->index == 0 &&
2750 rule->action == TCPCHK_ACT_CONNECT &&
2751 (rule->connect.options & TCPCHK_OPT_DEFAULT_CONNECT))
Christopher Fauleta202d1d2020-03-26 17:38:49 +01002752 return 0;
2753
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002754 return rule->index + 1;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002755}
2756
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002757/*
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002758 * return the latest known comment for the current rule, the comment attached to
2759 * it or the COMMENT rule immediately preceedding the expect rule chain, if any.
2760 * returns NULL if no comment found.
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002761 */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002762static char *tcpcheck_get_step_comment(struct check *check, struct tcpcheck_rule *rule)
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002763{
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002764 struct tcpcheck_rule *cur;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002765 char *ret = NULL;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002766
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002767 if (!rule)
2768 rule = check->current_step;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002769
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002770 if (rule->comment) {
2771 ret = rule->comment;
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002772 goto return_comment;
2773 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002774
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002775 rule = LIST_PREV(&rule->list, typeof(cur), list);
2776 list_for_each_entry_from_rev(rule, check->tcpcheck_rules, list) {
2777 if (rule->action == TCPCHK_ACT_COMMENT) {
2778 ret = rule->comment;
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002779 break;
2780 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002781 else if (rule->action != TCPCHK_ACT_EXPECT)
Christopher Faulet3c29aa62020-03-24 13:31:19 +01002782 break;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002783 }
2784
2785 return_comment:
2786 return ret;
2787}
2788
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002789enum tcpcheck_eval_ret {
2790 TCPCHK_EVAL_WAIT = 0,
2791 TCPCHK_EVAL_STOP,
2792 TCPCHK_EVAL_CONTINUE,
2793};
2794
2795/* Evaluate a TCPCHK_ACT_CONNECT rule. It returns 1 to evaluate the next rule, 0
2796 * to wait and -1 to stop the check. */
2797static enum tcpcheck_eval_ret tcpcheck_eval_connect(struct check *check, struct tcpcheck_rule *rule)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002798{
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002799 enum tcpcheck_eval_ret ret = TCPCHK_EVAL_CONTINUE;
2800 struct tcpcheck_connect *connect = &rule->connect;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01002801 struct proxy *proxy = check->proxy;
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002802 struct server *s = check->server;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002803 struct task *t = check->task;
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002804 struct conn_stream *cs;
2805 struct connection *conn = NULL;
2806 struct protocol *proto;
2807 struct xprt_ops *xprt;
Gaetan Rivetefab6c62020-02-07 15:37:17 +01002808 char *comment;
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002809 int status;
Willy Tarreauef953952014-10-02 14:30:14 +02002810
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002811 /* For a connect action we'll create a new connection. We may also have
2812 * to kill a previous one. But we don't want to leave *without* a
2813 * connection if we came here from the connection layer, hence with a
2814 * connection. Thus we'll proceed in the following order :
2815 * 1: close but not release previous connection (handled by the caller)
2816 * 2: try to get a new connection
2817 * 3: release and replace the old one on success
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002818 */
Willy Tarreau449f9522015-05-13 15:39:48 +02002819
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002820 /* 2- prepare new connection */
2821 cs = cs_new(NULL);
2822 if (!cs) {
2823 chunk_printf(&trash, "TCPCHK error allocating connection at step %d",
2824 tcpcheck_get_step_id(check, rule));
2825 comment = tcpcheck_get_step_comment(check, rule);
2826 if (comment)
2827 chunk_appendf(&trash, " comment: '%s'", comment);
2828 set_server_check_status(check, HCHK_STATUS_SOCKERR, trash.area);
2829 ret = TCPCHK_EVAL_STOP;
Christopher Fauletb6102852017-11-28 10:06:29 +01002830 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002831 }
2832
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002833 /* 3- release and replace the old one on success */
2834 if (check->cs) {
2835 if (check->wait_list.events)
2836 cs->conn->xprt->unsubscribe(cs->conn, cs->conn->xprt_ctx,
2837 check->wait_list.events, &check->wait_list);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002838
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002839 /* We may have been scheduled to run, and the I/O handler
2840 * expects to have a cs, so remove the tasklet
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002841 */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002842 tasklet_remove_from_tasklet_list(check->wait_list.tasklet);
2843 cs_destroy(check->cs);
2844 }
Willy Tarreaudeccd112018-06-14 18:38:55 +02002845
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002846 tasklet_set_tid(check->wait_list.tasklet, tid);
Willy Tarreauabca5b62013-12-06 14:19:25 +01002847
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002848 check->cs = cs;
2849 conn = cs->conn;
Willy Tarreauabca5b62013-12-06 14:19:25 +01002850
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002851 /* Maybe there were an older connection we were waiting on */
2852 check->wait_list.events = 0;
2853 conn->target = s ? &s->obj_type : &proxy->obj_type;
Willy Tarreauf3d34822014-12-08 12:11:28 +01002854
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002855 /* no client address */
2856 if (!sockaddr_alloc(&conn->dst)) {
2857 status = SF_ERR_RESOURCE;
2858 goto fail_check;
2859 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002860
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002861 /* connect to the check addr if specified on the server. otherwise, use
2862 * the server addr
2863 */
2864 *conn->dst = (is_addr(&check->addr) ? check->addr : s->addr);
2865 proto = protocol_by_family(conn->dst->ss_family);
Willy Tarreau00149122017-10-04 18:05:01 +02002866
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002867 if (connect->port)
2868 set_host_port(conn->dst, connect->port);
2869 else if (check->port)
2870 set_host_port(conn->dst, check->port);
2871 else {
2872 int i = get_host_port(&check->addr);
2873 set_host_port(conn->dst, ((i > 0) ? i : s->svc_port));
2874 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002875
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002876 xprt = ((connect->options & TCPCHK_OPT_DEFAULT_CONNECT)
2877 ? check->xprt
2878 : ((connect->options & TCPCHK_OPT_SSL) ? xprt_get(XPRT_SSL) : xprt_get(XPRT_RAW)));
Willy Tarreau00149122017-10-04 18:05:01 +02002879
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002880 conn_prepare(conn, proto, xprt);
Gaetan Rivet05d692d2020-02-14 17:42:54 +01002881 if (conn_install_mux(conn, &mux_pt_ops, cs, proxy, check->sess) < 0) {
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002882 status = SF_ERR_RESOURCE;
2883 goto fail_check;
2884 }
2885 cs_attach(cs, check, &check_conn_cb);
Willy Tarreau00149122017-10-04 18:05:01 +02002886
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002887 status = SF_ERR_INTERNAL;
2888 if (proto && proto->connect) {
2889 struct tcpcheck_rule *next;
2890 int flags = CONNECT_HAS_DATA;
Olivier Houchardff1e9f32019-09-20 17:18:35 +02002891
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002892 next = get_next_tcpcheck_rule(check->tcpcheck_rules, rule);
2893 if (!next || next->action != TCPCHK_ACT_EXPECT)
2894 flags |= CONNECT_DELACK_ALWAYS;
2895 status = proto->connect(conn, flags);
2896 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002897
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002898 if (connect->options & TCPCHK_OPT_DEFAULT_CONNECT) {
2899#ifdef USE_OPENSSL
2900 if (status == SF_ERR_NONE) {
2901 if (s->check.sni)
2902 ssl_sock_set_servername(conn, s->check.sni);
2903 if (s->check.alpn_str)
2904 ssl_sock_set_alpn(conn, (unsigned char *)s->check.alpn_str,
2905 s->check.alpn_len);
2906 }
2907#endif
2908 if (s->check.via_socks4 && (s->flags & SRV_F_SOCKS4_PROXY)) {
2909 conn->send_proxy_ofs = 1;
2910 conn->flags |= CO_FL_SOCKS4;
2911 }
2912 if (s->check.send_proxy && !(check->state & CHK_ST_AGENT)) {
2913 conn->send_proxy_ofs = 1;
2914 conn->flags |= CO_FL_SEND_PROXY;
2915 }
2916 }
2917 else {
2918 /* TODO: add support for sock4 and sni option */
2919 if (connect->options & TCPCHK_OPT_SEND_PROXY) {
2920 conn->send_proxy_ofs = 1;
2921 conn->flags |= CO_FL_SEND_PROXY;
2922 }
2923 if (conn_ctrl_ready(conn) && (connect->options & TCPCHK_OPT_LINGER)) {
2924 /* Some servers don't like reset on close */
2925 fdtab[cs->conn->handle.fd].linger_risk = 0;
2926 }
2927 }
Willy Tarreauca79f592019-07-17 19:04:47 +02002928
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002929 if (conn_ctrl_ready(conn) && (conn->flags & (CO_FL_SEND_PROXY | CO_FL_SOCKS4))) {
2930 if (xprt_add_hs(conn) < 0)
2931 status = SF_ERR_RESOURCE;
2932 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002933
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002934 fail_check:
2935 /* It can return one of :
2936 * - SF_ERR_NONE if everything's OK
2937 * - SF_ERR_SRVTO if there are no more servers
2938 * - SF_ERR_SRVCL if the connection was refused by the server
2939 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
2940 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
2941 * - SF_ERR_INTERNAL for any other purely internal errors
2942 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
2943 * Note that we try to prevent the network stack from sending the ACK during the
2944 * connect() when a pure TCP check is used (without PROXY protocol).
2945 */
2946 switch (status) {
2947 case SF_ERR_NONE:
2948 /* we allow up to min(inter, timeout.connect) for a connection
2949 * to establish but only when timeout.check is set as it may be
2950 * to short for a full check otherwise
2951 */
2952 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002953
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002954 if (proxy->timeout.check && proxy->timeout.connect) {
2955 int t_con = tick_add(now_ms, proxy->timeout.connect);
2956 t->expire = tick_first(t->expire, t_con);
2957 }
2958 break;
2959 case SF_ERR_SRVTO: /* ETIMEDOUT */
2960 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
2961 chunk_printf(&trash, "TCPCHK error establishing connection at step %d: %s",
2962 tcpcheck_get_step_id(check, rule), strerror(errno));
2963 comment = tcpcheck_get_step_comment(check, rule);
2964 if (comment)
2965 chunk_appendf(&trash, " comment: '%s'", comment);
2966 set_server_check_status(check, HCHK_STATUS_L4CON, trash.area);
2967 ret = TCPCHK_EVAL_STOP;
2968 goto out;
2969 case SF_ERR_PRXCOND:
2970 case SF_ERR_RESOURCE:
2971 case SF_ERR_INTERNAL:
2972 chunk_printf(&trash, "TCPCHK error establishing connection at step %d",
2973 tcpcheck_get_step_id(check, rule));
2974 comment = tcpcheck_get_step_comment(check, rule);
2975 if (comment)
2976 chunk_appendf(&trash, " comment: '%s'", comment);
2977 set_server_check_status(check, HCHK_STATUS_SOCKERR, trash.area);
2978 ret = TCPCHK_EVAL_STOP;
2979 goto out;
2980 }
Christopher Fauleta202d1d2020-03-26 17:38:49 +01002981
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002982 /* don't do anything until the connection is established */
2983 if (conn->flags & CO_FL_WAIT_XPRT) {
2984 ret = TCPCHK_EVAL_WAIT;
2985 goto out;
2986 }
Willy Tarreaube373152018-09-06 11:45:30 +02002987
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002988 out:
2989 if (conn && check->result == CHK_RES_FAILED)
2990 conn->flags |= CO_FL_ERROR;
2991 return ret;
2992}
Willy Tarreau2ab5c382019-07-17 18:48:07 +02002993
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02002994/* Evaluate a TCPCHK_ACT_SEND rule. It returns 1 to evaluate the next rule, 0
2995 * to wait and -1 to stop the check. */
2996static enum tcpcheck_eval_ret tcpcheck_eval_send(struct check *check, struct tcpcheck_rule *rule)
2997{
2998 enum tcpcheck_eval_ret ret = TCPCHK_EVAL_CONTINUE;
2999 struct tcpcheck_send *send = &rule->send;
3000 struct conn_stream *cs = check->cs;
3001 struct connection *conn = cs_conn(cs);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003002
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003003 /* reset the read & write buffer */
3004 b_reset(&check->bi);
3005 b_reset(&check->bo);
Gaetan Rivet08fdcb32020-02-28 11:04:21 +01003006
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003007 if (send->length >= b_size(&check->bo)) {
3008 chunk_printf(&trash, "tcp-check send : string too large (%d) for buffer size (%u) at step %d",
3009 send->length, (unsigned int)b_size(&check->bo),
3010 tcpcheck_get_step_id(check, rule));
3011 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.area);
3012 ret = TCPCHK_EVAL_STOP;
3013 goto out;
3014 }
Christopher Fauleta202d1d2020-03-26 17:38:49 +01003015
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003016 switch (send->type) {
3017 case TCPCHK_SEND_STRING:
3018 case TCPCHK_SEND_BINARY:
3019 b_putblk(&check->bo, send->string, send->length);
3020 break;
3021 case TCPCHK_SEND_UNDEF:
3022 /* Should never happen. */
3023 ret = TCPCHK_EVAL_STOP;
3024 goto out;
3025 };
Christopher Fauleta202d1d2020-03-26 17:38:49 +01003026
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003027 if (conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0) <= 0) {
3028 ret = TCPCHK_EVAL_WAIT;
3029 if ((conn->flags & CO_FL_ERROR) || (cs->flags & CS_FL_ERROR))
3030 ret = TCPCHK_EVAL_STOP;
3031 goto out;
3032 }
3033 if (b_data(&check->bo)) {
3034 cs->conn->mux->subscribe(cs, SUB_RETRY_SEND, &check->wait_list);
3035 ret = TCPCHK_EVAL_WAIT;
3036 goto out;
3037 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003038
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003039 out:
3040 return ret;
3041}
Gaetan Rivetf8ba6772020-02-07 15:37:17 +01003042
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003043/* Evaluate a TCPCHK_ACT_EXPECT rule. It returns 1 to evaluate the next rule, 0
3044 * to wait and -1 to stop the check. <rule> is updated to point on the last
3045 * evaluated TCPCHK_ACT_EXPECT rule.
3046 */
3047static enum tcpcheck_eval_ret tcpcheck_eval_expect(struct check *check, struct tcpcheck_rule *rule, int last_read)
3048{
3049 enum tcpcheck_eval_ret ret = TCPCHK_EVAL_CONTINUE;
3050 struct tcpcheck_expect *expect = &check->current_step->expect;
3051 char *comment, *diag;
3052 int match;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003053
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003054 /* The current expect might need more data than the previous one, check again
3055 * that the minimum amount data required to match is respected.
3056 */
3057 if (!last_read) {
3058 if ((expect->type == TCPCHK_EXPECT_STRING || expect->type == TCPCHK_EXPECT_BINARY) &&
3059 (b_data(&check->bi) < expect->length)) {
3060 ret = TCPCHK_EVAL_WAIT;
3061 goto out;
3062 }
3063 if (expect->min_recv > 0 && (b_data(&check->bi) < expect->min_recv)) {
3064 ret = TCPCHK_EVAL_WAIT;
3065 goto out;
3066 }
3067 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003068
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003069 /* Make GCC happy ; initialize match to a failure state. */
3070 match = expect->inverse;
Willy Tarreauf2c87352015-05-13 12:08:21 +02003071
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003072 switch (expect->type) {
3073 case TCPCHK_EXPECT_STRING:
3074 case TCPCHK_EXPECT_BINARY:
3075 match = my_memmem(b_head(&check->bi), b_data(&check->bi), expect->string, expect->length) != NULL;
3076 break;
3077 case TCPCHK_EXPECT_REGEX:
3078 if (expect->with_capture)
3079 match = regex_exec_match2(expect->regex, b_head(&check->bi), MIN(b_data(&check->bi), b_size(&check->bi)-1),
3080 MAX_MATCH, pmatch, 0);
3081 else
3082 match = regex_exec2(expect->regex, b_head(&check->bi), MIN(b_data(&check->bi), b_size(&check->bi)-1));
3083 break;
Willy Tarreau7df8ca62019-07-15 10:57:51 +02003084
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003085 case TCPCHK_EXPECT_REGEX_BINARY:
3086 chunk_reset(&trash);
3087 dump_binary(&trash, b_head(&check->bi), b_data(&check->bi));
3088 if (expect->with_capture)
3089 match = regex_exec_match2(expect->regex, b_head(&trash), MIN(b_data(&trash), b_size(&trash)-1),
3090 MAX_MATCH, pmatch, 0);
3091 else
3092 match = regex_exec2(expect->regex, b_head(&trash), MIN(b_data(&trash), b_size(&trash)-1));
3093 break;
3094 case TCPCHK_EXPECT_UNDEF:
3095 /* Should never happen. */
3096 ret = TCPCHK_EVAL_STOP;
3097 goto out;
3098 }
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003099
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003100
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003101 /* Wait for more data on mismatch only if no minimum is defined (-1),
3102 * otherwise the absence of match is already conclusive.
3103 */
3104 if (!match && !last_read && (expect->min_recv == -1)) {
3105 ret = TCPCHK_EVAL_WAIT;
3106 goto out;
3107 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003108
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003109 /* Result as expected, next rule. */
3110 if (match ^ expect->inverse)
3111 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003112
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003113
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003114 /* From this point on, we matched something we did not want, this is an error state. */
3115 ret = TCPCHK_EVAL_STOP;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003116
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003117 diag = match ? "matched unwanted content" : "did not match content";
3118 switch (expect->type) {
3119 case TCPCHK_EXPECT_STRING:
3120 chunk_printf(&trash, "TCPCHK %s '%s' at step %d",
3121 diag, expect->string, tcpcheck_get_step_id(check, rule));
3122 break;
3123 case TCPCHK_EXPECT_BINARY:
3124 chunk_printf(&trash, "TCPCHK %s (binary) at step %d",
3125 diag, tcpcheck_get_step_id(check, rule));
3126 break;
3127 case TCPCHK_EXPECT_REGEX:
3128 chunk_printf(&trash, "TCPCHK %s (regex) at step %d",
3129 diag, tcpcheck_get_step_id(check, rule));
3130 break;
3131 case TCPCHK_EXPECT_REGEX_BINARY:
3132 chunk_printf(&trash, "TCPCHK %s (binary regex) at step %d",
3133 diag, tcpcheck_get_step_id(check, rule));
Gaetan Rivetb616add2020-02-07 15:37:17 +01003134
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003135 /* If references to the matched text were made, divide the
3136 * offsets by 2 to match offset of the original response buffer.
3137 */
3138 if (expect->with_capture) {
3139 int i;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003140
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003141 for (i = 1; i < MAX_MATCH && pmatch[i].rm_so != -1; i++) {
3142 pmatch[i].rm_so /= 2; /* at first matched char. */
3143 pmatch[i].rm_eo /= 2; /* at last matched char. */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003144 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003145 }
3146 break;
3147 case TCPCHK_EXPECT_UNDEF:
3148 /* Should never happen. */
3149 goto out;
3150 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003151
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003152 comment = tcpcheck_get_step_comment(check, rule);
3153 if (comment) {
3154 if (expect->with_capture) {
3155 ret = exp_replace(b_tail(&trash), b_room(&trash), b_head(&check->bi), comment, pmatch);
3156 if (ret > 0) /* ignore comment if too large */
3157 trash.data += ret;
3158 }
3159 else
3160 chunk_appendf(&trash, " comment: '%s'", comment);
3161 }
3162 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.area);
3163 ret = TCPCHK_EVAL_STOP;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003164
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003165 out:
3166 return ret;
3167}
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003168
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003169/* proceed with next steps for the TCP checks <check>. Note that this is called
3170 * both from the connection's wake() callback and from the check scheduling task.
3171 * It returns 0 on normal cases, or <0 if a close() has happened on an existing
3172 * connection, presenting the risk of an fd replacement.
3173 *
3174 * Please do NOT place any return statement in this function and only leave
3175 * via the out_end_tcpcheck label after setting retcode.
3176 */
3177static int tcpcheck_main(struct check *check)
3178{
3179 struct tcpcheck_rule *rule;
3180 struct conn_stream *cs = check->cs;
3181 struct connection *conn = cs_conn(cs);
3182 int must_read = 1, last_read = 0;
3183 int ret, retcode = 0;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003184
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003185 /* here, we know that the check is complete or that it failed */
3186 if (check->result != CHK_RES_UNKNOWN)
3187 goto out_end_tcpcheck;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003188
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003189 /* 1- check for connection error, if any */
3190 if ((conn && conn->flags & CO_FL_ERROR) || (cs && cs->flags & CS_FL_ERROR))
3191 goto out_end_tcpcheck;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003192
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003193 /* 2- check if we are waiting for the connection establishment. It only
3194 * happens during TCPCHK_ACT_CONNECT. */
3195 if (conn && (conn->flags & CO_FL_WAIT_XPRT))
3196 goto out;
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003197
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003198 /* 3- check for pending outgoing data. It only happens during TCPCHK_ACT_SEND. */
3199 if (conn && b_data(&check->bo)) {
3200 ret = conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0);
3201 if (ret <= 0) {
3202 if ((conn && conn->flags & CO_FL_ERROR) || (cs && cs->flags & CS_FL_ERROR))
3203 goto out_end_tcpcheck;
3204 goto out;
3205 }
3206 if (b_data(&check->bo)) {
3207 cs->conn->mux->subscribe(cs, SUB_RETRY_SEND, &check->wait_list);
3208 goto out;
3209 }
3210 }
Gaetan Rivetefab6c62020-02-07 15:37:17 +01003211
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003212 /* Now evaluate the tcp-check rules */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003213
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003214 /* If check->current_step is defined, we are in resume condition. For
3215 * TCPCHK_ACT_CONNECT and TCPCHK_ACT_SEND rules, we must go to the next
3216 * rule before resuming the evaluation. For TCPCHK_ACT_EXPECT, we
3217 * re-evaluate the current rule. Others cannot yield.
3218 */
3219 if (check->current_step) {
3220 if (check->current_step->action == TCPCHK_ACT_CONNECT ||
3221 check->current_step->action == TCPCHK_ACT_SEND)
3222 rule = LIST_NEXT(&check->current_step->list, typeof(rule), list);
3223 else
3224 rule = check->current_step;
3225 }
Gaetan Rivet05d692d2020-02-14 17:42:54 +01003226 else {
3227 /* First evaluation, create a session */
Gaetan Rivet13a50432020-02-21 18:13:44 +01003228 check->sess = session_new(&checks_fe, NULL, (check->server ? &check->server->obj_type : NULL));
Gaetan Rivet05d692d2020-02-14 17:42:54 +01003229 if (!check->sess) {
3230 chunk_printf(&trash, "TCPCHK error allocating check session");
3231 set_server_check_status(check, HCHK_STATUS_SOCKERR, trash.area);
3232 goto out_end_tcpcheck;
3233 }
Gaetan Rivet13a50432020-02-21 18:13:44 +01003234 vars_init(&check->vars, SCOPE_CHECK);
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003235 rule = LIST_NEXT(check->tcpcheck_rules, typeof(rule), list);
Gaetan Rivet05d692d2020-02-14 17:42:54 +01003236 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003237
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003238 list_for_each_entry_from(rule, check->tcpcheck_rules, list) {
3239 enum tcpcheck_eval_ret eval_ret;
Willy Tarreauf2c87352015-05-13 12:08:21 +02003240
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003241 switch (rule->action) {
3242 case TCPCHK_ACT_CONNECT:
3243 check->current_step = rule;
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003244
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003245 /* close but not release yet previous connection */
3246 if (check->cs) {
3247 cs_close(check->cs);
3248 retcode = -1; /* do not reuse the fd in the caller! */
Gaetan Rivet9e47fa42020-02-26 15:59:22 +01003249 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003250 eval_ret = tcpcheck_eval_connect(check, rule);
3251 must_read = 1; last_read = 0;
3252 break;
3253 case TCPCHK_ACT_SEND:
3254 check->current_step = rule;
3255 eval_ret = tcpcheck_eval_send(check, rule);
3256 must_read = 1;
3257 break;
3258 case TCPCHK_ACT_EXPECT:
3259 check->current_step = rule;
3260 if (must_read) {
3261 if (check->proxy->timeout.check)
3262 check->task->expire = tick_add_ifset(now_ms, check->proxy->timeout.check);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003263
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003264 /* If we already subscribed, then we tried to received and
3265 * failed, so there's no point trying again.
3266 */
3267 if (check->wait_list.events & SUB_RETRY_RECV)
3268 goto out;
3269 if (conn->mux->rcv_buf(cs, &check->bi, b_size(&check->bi), 0) <= 0) {
3270 if (conn->flags & (CO_FL_ERROR|CO_FL_SOCK_RD_SH) || cs->flags & CS_FL_ERROR) {
3271 last_read = 1;
3272 if ((conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) && !b_data(&check->bi)) {
3273 /* Report network errors only if we got no other data. Otherwise
3274 * we'll let the upper layers decide whether the response is OK
3275 * or not. It is very common that an RST sent by the server is
3276 * reported as an error just after the last data chunk.
3277 */
3278 goto out_end_tcpcheck;
3279 }
3280 }
3281 else {
3282 conn->mux->subscribe(cs, SUB_RETRY_RECV, &check->wait_list);
3283 goto out;
3284 }
3285 }
Willy Tarreauf2c87352015-05-13 12:08:21 +02003286
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003287 /* buffer full, don't wait for more data */
3288 if (b_full(&check->bi))
3289 last_read = 1;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003290
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003291 /* Check that response body is not empty... */
3292 if (!b_data(&check->bi)) {
3293 char *comment;
Gaetan Rivet9dcb09f2020-02-07 15:37:17 +01003294
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003295 if (!last_read)
3296 goto out;
Gaetan Rivet9dcb09f2020-02-07 15:37:17 +01003297
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003298 /* empty response */
3299 chunk_printf(&trash, "TCPCHK got an empty response at step %d",
3300 tcpcheck_get_step_id(check, rule));
3301 comment = tcpcheck_get_step_comment(check, rule);
3302 if (comment)
3303 chunk_appendf(&trash, " comment: '%s'", comment);
3304 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.area);
3305 ret = -1;
3306 goto out_end_tcpcheck;
Gaetan Rivet9dcb09f2020-02-07 15:37:17 +01003307 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003308 must_read = 0;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003309 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003310 eval_ret = tcpcheck_eval_expect(check, rule, last_read);
3311 if (eval_ret == TCPCHK_EVAL_WAIT) {
3312 check->current_step = rule->expect.head;
3313 conn->mux->subscribe(cs, SUB_RETRY_RECV, &check->wait_list);
Gaetan Rivet9dcb09f2020-02-07 15:37:17 +01003314 }
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003315 break;
3316 default:
3317 /* Otherwise, just go to the next one and don't update
3318 * the current step
3319 */
3320 eval_ret = TCPCHK_EVAL_CONTINUE;
3321 break;
3322 }
Baptiste Assmann248f1172018-03-01 21:49:01 +01003323
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003324 switch (eval_ret) {
3325 case TCPCHK_EVAL_CONTINUE:
3326 break;
3327 case TCPCHK_EVAL_WAIT:
3328 goto out;
3329 case TCPCHK_EVAL_STOP:
3330 goto out_end_tcpcheck;
Baptiste Assmann248f1172018-03-01 21:49:01 +01003331 }
Baptiste Assmann248f1172018-03-01 21:49:01 +01003332 }
3333
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003334 /* All rules was evaluated */
3335 set_server_check_status(check, HCHK_STATUS_L7OKD, "(tcp-check)");
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003336
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003337 out_end_tcpcheck:
Willy Tarreauef91c932019-07-23 14:37:47 +02003338 if ((conn && conn->flags & CO_FL_ERROR) || (cs && cs->flags & CS_FL_ERROR))
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003339 chk_report_conn_err(check, errno, 0);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003340
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003341 /* cleanup before leaving */
Christopher Fauletb2c2e0f2020-03-30 11:05:10 +02003342 check->current_step = NULL;
Gaetan Rivet05d692d2020-02-14 17:42:54 +01003343 if (check->sess != NULL) {
Gaetan Rivet13a50432020-02-21 18:13:44 +01003344 vars_prune(&check->vars, check->sess, NULL);
Gaetan Rivet05d692d2020-02-14 17:42:54 +01003345 session_free(check->sess);
3346 check->sess = NULL;
3347 }
3348 out:
3349 return retcode;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003350}
3351
Christopher Faulet31c30fd2020-03-26 21:10:03 +01003352static const char *init_check(struct check *check, int type)
Simon Hormanb1900d52015-01-30 11:22:54 +09003353{
3354 check->type = type;
3355
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003356 b_reset(&check->bi); check->bi.size = global.tune.chksize;
3357 b_reset(&check->bo); check->bo.size = global.tune.chksize;
Simon Hormanb1900d52015-01-30 11:22:54 +09003358
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003359 check->bi.area = calloc(check->bi.size, sizeof(char));
3360 check->bo.area = calloc(check->bo.size, sizeof(char));
3361
3362 if (!check->bi.area || !check->bo.area)
Simon Hormanb1900d52015-01-30 11:22:54 +09003363 return "out of memory while allocating check buffer";
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003364
Willy Tarreau3c39a7d2019-06-14 14:42:29 +02003365 check->wait_list.tasklet = tasklet_new();
3366 if (!check->wait_list.tasklet)
Ilya Shipitsind4259502020-04-08 01:07:56 +05003367 return "out of memory while allocating check tasklet";
Willy Tarreau4f6516d2018-12-19 13:59:17 +01003368 check->wait_list.events = 0;
Willy Tarreau3c39a7d2019-06-14 14:42:29 +02003369 check->wait_list.tasklet->process = event_srv_chk_io;
3370 check->wait_list.tasklet->context = check;
Simon Hormanb1900d52015-01-30 11:22:54 +09003371 return NULL;
3372}
3373
Simon Hormanbfb5d332015-01-30 11:22:55 +09003374void free_check(struct check *check)
3375{
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003376 task_destroy(check->task);
3377 if (check->wait_list.tasklet)
3378 tasklet_free(check->wait_list.tasklet);
3379
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003380 free(check->bi.area);
3381 free(check->bo.area);
Christopher Faulet23d86d12018-01-25 11:36:35 +01003382 if (check->cs) {
3383 free(check->cs->conn);
3384 check->cs->conn = NULL;
3385 cs_free(check->cs);
3386 check->cs = NULL;
3387 }
Simon Hormanbfb5d332015-01-30 11:22:55 +09003388}
3389
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003390static void free_tcpcheck(struct tcpcheck_rule *rule, int in_pool)
3391{
3392 if (!rule)
3393 return;
3394
3395 free(rule->comment);
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003396 switch (rule->action) {
3397 case TCPCHK_ACT_SEND:
3398 switch (rule->send.type) {
3399 case TCPCHK_SEND_STRING:
3400 case TCPCHK_SEND_BINARY:
3401 free(rule->send.string);
3402 break;
3403 case TCPCHK_SEND_UNDEF:
3404 break;
3405 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003406 break;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003407 case TCPCHK_ACT_EXPECT:
3408 switch (rule->expect.type) {
3409 case TCPCHK_EXPECT_STRING:
3410 case TCPCHK_EXPECT_BINARY:
3411 free(rule->expect.string);
3412 break;
3413 case TCPCHK_EXPECT_REGEX:
3414 case TCPCHK_EXPECT_REGEX_BINARY:
3415 regex_free(rule->expect.regex);
3416 break;
3417 case TCPCHK_EXPECT_UNDEF:
3418 break;
3419 }
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003420 break;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003421 case TCPCHK_ACT_CONNECT:
3422 case TCPCHK_ACT_COMMENT:
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003423 break;
3424 }
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003425
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003426 if (in_pool)
3427 pool_free(pool_head_tcpcheck_rule, rule);
3428 else
3429 free(rule);
3430}
3431
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003432void email_alert_free(struct email_alert *alert)
3433{
3434 struct tcpcheck_rule *rule, *back;
3435
3436 if (!alert)
3437 return;
3438
Christopher Fauletde1a75b2017-10-23 15:38:19 +02003439 list_for_each_entry_safe(rule, back, &alert->tcpcheck_rules, list) {
3440 LIST_DEL(&rule->list);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003441 free_tcpcheck(rule, 1);
Christopher Fauletde1a75b2017-10-23 15:38:19 +02003442 }
Willy Tarreaubafbe012017-11-24 17:34:44 +01003443 pool_free(pool_head_email_alert, alert);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003444}
3445
Olivier Houchard9f6af332018-05-25 14:04:04 +02003446static struct task *process_email_alert(struct task *t, void *context, unsigned short state)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003447{
Olivier Houchard9f6af332018-05-25 14:04:04 +02003448 struct check *check = context;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003449 struct email_alertq *q;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003450 struct email_alert *alert;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003451
3452 q = container_of(check, typeof(*q), check);
3453
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003454 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003455 while (1) {
3456 if (!(check->state & CHK_ST_ENABLED)) {
3457 if (LIST_ISEMPTY(&q->email_alerts)) {
3458 /* All alerts processed, queue the task */
3459 t->expire = TICK_ETERNITY;
3460 task_queue(t);
Christopher Fauletc2a89a62017-10-23 15:54:24 +02003461 goto end;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003462 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003463
3464 alert = LIST_NEXT(&q->email_alerts, typeof(alert), list);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003465 LIST_DEL(&alert->list);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003466 t->expire = now_ms;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003467 check->tcpcheck_rules = &alert->tcpcheck_rules;
Olivier Houchard0923fa42019-01-11 18:43:04 +01003468 check->status = HCHK_STATUS_INI;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003469 check->state |= CHK_ST_ENABLED;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003470 }
3471
Olivier Houchard9f6af332018-05-25 14:04:04 +02003472 process_chk(t, context, state);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003473 if (check->state & CHK_ST_INPROGRESS)
3474 break;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003475
3476 alert = container_of(check->tcpcheck_rules, typeof(*alert), tcpcheck_rules);
3477 email_alert_free(alert);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003478 check->tcpcheck_rules = NULL;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003479 check->server = NULL;
3480 check->state &= ~CHK_ST_ENABLED;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003481 }
Christopher Fauletc2a89a62017-10-23 15:54:24 +02003482 end:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003483 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003484 return t;
3485}
3486
Christopher Faulet0108bb32017-10-20 21:34:32 +02003487/* Initializes mailer alerts for the proxy <p> using <mls> parameters.
3488 *
3489 * The function returns 1 in success case, otherwise, it returns 0 and err is
3490 * filled.
3491 */
3492int init_email_alert(struct mailers *mls, struct proxy *p, char **err)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003493{
Christopher Faulet0108bb32017-10-20 21:34:32 +02003494 struct mailer *mailer;
3495 struct email_alertq *queues;
3496 const char *err_str;
3497 int i = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003498
Christopher Faulet0108bb32017-10-20 21:34:32 +02003499 if ((queues = calloc(mls->count, sizeof(*queues))) == NULL) {
3500 memprintf(err, "out of memory while allocating mailer alerts queues");
mildis5ab01cb2018-10-02 16:46:34 +02003501 goto fail_no_queue;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003502 }
3503
Christopher Faulet0108bb32017-10-20 21:34:32 +02003504 for (mailer = mls->mailer_list; mailer; i++, mailer = mailer->next) {
3505 struct email_alertq *q = &queues[i];
3506 struct check *check = &q->check;
3507 struct task *t;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003508
3509 LIST_INIT(&q->email_alerts);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003510 HA_SPIN_INIT(&q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003511 check->inter = mls->timeout.mail;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003512 check->rise = DEF_AGENT_RISETIME;
Olivier Houchardc98aa1f2019-01-11 18:17:17 +01003513 check->proxy = p;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003514 check->fall = DEF_AGENT_FALLTIME;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003515 if ((err_str = init_check(check, PR_O2_TCPCHK_CHK))) {
3516 memprintf(err, "%s", err_str);
3517 goto error;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003518 }
3519
3520 check->xprt = mailer->xprt;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003521 check->addr = mailer->addr;
Christopher Fauletb797ae12018-03-27 15:35:35 +02003522 check->port = get_host_port(&mailer->addr);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003523
Emeric Brunc60def82017-09-27 14:59:38 +02003524 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet0108bb32017-10-20 21:34:32 +02003525 memprintf(err, "out of memory while allocating mailer alerts task");
3526 goto error;
3527 }
3528
3529 check->task = t;
3530 t->process = process_email_alert;
3531 t->context = check;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003532
Christopher Faulet0108bb32017-10-20 21:34:32 +02003533 /* check this in one ms */
3534 t->expire = TICK_ETERNITY;
3535 check->start = now;
3536 task_queue(t);
3537 }
3538
3539 mls->users++;
3540 free(p->email_alert.mailers.name);
3541 p->email_alert.mailers.m = mls;
3542 p->email_alert.queues = queues;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003543 return 0;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003544
3545 error:
3546 for (i = 0; i < mls->count; i++) {
3547 struct email_alertq *q = &queues[i];
3548 struct check *check = &q->check;
3549
Christopher Faulet0108bb32017-10-20 21:34:32 +02003550 free_check(check);
3551 }
3552 free(queues);
mildis5ab01cb2018-10-02 16:46:34 +02003553 fail_no_queue:
Christopher Faulet0108bb32017-10-20 21:34:32 +02003554 return 1;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003555}
3556
3557
3558static int add_tcpcheck_expect_str(struct list *list, const char *str)
3559{
Gaetan Rivet4038b942020-02-26 16:19:40 +01003560 struct tcpcheck_rule *tcpcheck, *prev_check;
Gaetan Rivetb616add2020-02-07 15:37:17 +01003561 struct tcpcheck_expect *expect;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003562
Willy Tarreaubafbe012017-11-24 17:34:44 +01003563 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003564 return 0;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003565 memset(tcpcheck, 0, sizeof(*tcpcheck));
Gaetan Rivetb616add2020-02-07 15:37:17 +01003566 tcpcheck->action = TCPCHK_ACT_EXPECT;
3567
3568 expect = &tcpcheck->expect;
3569 expect->type = TCPCHK_EXPECT_STRING;
3570 expect->string = strdup(str);
3571 if (!expect->string) {
Willy Tarreaubafbe012017-11-24 17:34:44 +01003572 pool_free(pool_head_tcpcheck_rule, tcpcheck);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003573 return 0;
3574 }
Gaetan Rivetb616add2020-02-07 15:37:17 +01003575 expect->length = strlen(expect->string);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003576
Gaetan Rivet4038b942020-02-26 16:19:40 +01003577 /* All tcp-check expect points back to the first inverse expect rule
3578 * in a chain of one or more expect rule, potentially itself.
3579 */
Gaetan Rivetb616add2020-02-07 15:37:17 +01003580 tcpcheck->expect.head = tcpcheck;
Gaetan Rivet4038b942020-02-26 16:19:40 +01003581 list_for_each_entry_rev(prev_check, list, list) {
3582 if (prev_check->action == TCPCHK_ACT_EXPECT) {
Gaetan Rivetb616add2020-02-07 15:37:17 +01003583 if (prev_check->expect.inverse)
3584 tcpcheck->expect.head = prev_check;
Gaetan Rivet4038b942020-02-26 16:19:40 +01003585 continue;
3586 }
3587 if (prev_check->action != TCPCHK_ACT_COMMENT)
3588 break;
3589 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003590 LIST_ADDQ(list, &tcpcheck->list);
3591 return 1;
3592}
3593
3594static int add_tcpcheck_send_strs(struct list *list, const char * const *strs)
3595{
3596 struct tcpcheck_rule *tcpcheck;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003597 struct tcpcheck_send *send;
Willy Tarreau64345aa2016-08-10 19:29:09 +02003598 const char *in;
3599 char *dst;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003600 int i;
3601
Willy Tarreaubafbe012017-11-24 17:34:44 +01003602 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003603 return 0;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003604 memset(tcpcheck, 0, sizeof(*tcpcheck));
3605 tcpcheck->action = TCPCHK_ACT_SEND;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003606
3607 send = &tcpcheck->send;
3608 send->type = TCPCHK_SEND_STRING;
3609
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003610 for (i = 0; strs[i]; i++)
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003611 send->length += strlen(strs[i]);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003612
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003613 send->string = malloc(send->length + 1);
3614 if (!send->string) {
Willy Tarreaubafbe012017-11-24 17:34:44 +01003615 pool_free(pool_head_tcpcheck_rule, tcpcheck);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003616 return 0;
3617 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003618
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003619 dst = send->string;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003620 for (i = 0; strs[i]; i++)
Willy Tarreau64345aa2016-08-10 19:29:09 +02003621 for (in = strs[i]; (*dst = *in++); dst++);
3622 *dst = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003623
3624 LIST_ADDQ(list, &tcpcheck->list);
3625 return 1;
3626}
3627
Christopher Faulet0108bb32017-10-20 21:34:32 +02003628static int enqueue_one_email_alert(struct proxy *p, struct server *s,
3629 struct email_alertq *q, const char *msg)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003630{
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003631 struct email_alert *alert;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003632 struct tcpcheck_rule *tcpcheck;
3633 struct check *check = &q->check;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003634
Willy Tarreaubafbe012017-11-24 17:34:44 +01003635 if ((alert = pool_alloc(pool_head_email_alert)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003636 goto error;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003637 LIST_INIT(&alert->list);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003638 LIST_INIT(&alert->tcpcheck_rules);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003639 alert->srv = s;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003640
Willy Tarreaubafbe012017-11-24 17:34:44 +01003641 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003642 goto error;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003643 memset(tcpcheck, 0, sizeof(*tcpcheck));
3644 tcpcheck->action = TCPCHK_ACT_CONNECT;
3645 tcpcheck->comment = NULL;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01003646
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003647 LIST_ADDQ(&alert->tcpcheck_rules, &tcpcheck->list);
3648
3649 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "220 "))
3650 goto error;
3651
3652 {
3653 const char * const strs[4] = { "EHLO ", p->email_alert.myhostname, "\r\n" };
3654 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3655 goto error;
3656 }
3657
3658 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3659 goto error;
3660
3661 {
3662 const char * const strs[4] = { "MAIL FROM:<", p->email_alert.from, ">\r\n" };
3663 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3664 goto error;
3665 }
3666
3667 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3668 goto error;
3669
3670 {
3671 const char * const strs[4] = { "RCPT TO:<", p->email_alert.to, ">\r\n" };
3672 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3673 goto error;
3674 }
3675
3676 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3677 goto error;
3678
3679 {
3680 const char * const strs[2] = { "DATA\r\n" };
3681 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3682 goto error;
3683 }
3684
3685 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "354 "))
3686 goto error;
3687
3688 {
3689 struct tm tm;
3690 char datestr[48];
3691 const char * const strs[18] = {
Pieter Baauw5e0964e2016-02-13 16:27:35 +01003692 "From: ", p->email_alert.from, "\r\n",
3693 "To: ", p->email_alert.to, "\r\n",
3694 "Date: ", datestr, "\r\n",
3695 "Subject: [HAproxy Alert] ", msg, "\r\n",
3696 "\r\n",
3697 msg, "\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003698 "\r\n",
Pieter Baauwed35c372015-07-22 19:51:54 +02003699 ".\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003700 NULL
3701 };
3702
3703 get_localtime(date.tv_sec, &tm);
3704
3705 if (strftime(datestr, sizeof(datestr), "%a, %d %b %Y %T %z (%Z)", &tm) == 0) {
3706 goto error;
3707 }
3708
3709 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3710 goto error;
3711 }
3712
3713 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3714 goto error;
3715
3716 {
3717 const char * const strs[2] = { "QUIT\r\n" };
3718 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3719 goto error;
3720 }
3721
3722 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "221 "))
3723 goto error;
3724
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003725 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003726 task_wakeup(check->task, TASK_WOKEN_MSG);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003727 LIST_ADDQ(&q->email_alerts, &alert->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003728 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003729 return 1;
3730
3731error:
3732 email_alert_free(alert);
3733 return 0;
3734}
3735
Christopher Faulet0108bb32017-10-20 21:34:32 +02003736static void enqueue_email_alert(struct proxy *p, struct server *s, const char *msg)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003737{
3738 int i;
3739 struct mailer *mailer;
3740
3741 for (i = 0, mailer = p->email_alert.mailers.m->mailer_list;
3742 i < p->email_alert.mailers.m->count; i++, mailer = mailer->next) {
Christopher Faulet0108bb32017-10-20 21:34:32 +02003743 if (!enqueue_one_email_alert(p, s, &p->email_alert.queues[i], msg)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01003744 ha_alert("Email alert [%s] could not be enqueued: out of memory\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003745 return;
3746 }
3747 }
3748
3749 return;
3750}
3751
3752/*
3753 * Send email alert if configured.
3754 */
Simon Horman64e34162015-02-06 11:11:57 +09003755void send_email_alert(struct server *s, int level, const char *format, ...)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003756{
3757 va_list argp;
3758 char buf[1024];
3759 int len;
3760 struct proxy *p = s->proxy;
3761
Christopher Faulet0108bb32017-10-20 21:34:32 +02003762 if (!p->email_alert.mailers.m || level > p->email_alert.level || format == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003763 return;
3764
3765 va_start(argp, format);
3766 len = vsnprintf(buf, sizeof(buf), format, argp);
3767 va_end(argp);
3768
Thierry FOURNIER62c8a212017-02-09 12:19:27 +01003769 if (len < 0 || len >= sizeof(buf)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01003770 ha_alert("Email alert [%s] could not format message\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003771 return;
3772 }
3773
Christopher Faulet0108bb32017-10-20 21:34:32 +02003774 enqueue_email_alert(p, s, buf);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003775}
3776
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003777/*
3778 * Return value:
3779 * the port to be used for the health check
3780 * 0 in case no port could be found for the check
3781 */
Christopher Faulet31c30fd2020-03-26 21:10:03 +01003782static int srv_check_healthcheck_port(struct check *chk)
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003783{
3784 int i = 0;
3785 struct server *srv = NULL;
3786
3787 srv = chk->server;
3788
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003789 /* by default, we use the health check port ocnfigured */
3790 if (chk->port > 0)
3791 return chk->port;
3792
3793 /* try to get the port from check_core.addr if check.port not set */
3794 i = get_host_port(&chk->addr);
3795 if (i > 0)
3796 return i;
3797
3798 /* try to get the port from server address */
3799 /* prevent MAPPORTS from working at this point, since checks could
3800 * not be performed in such case (MAPPORTS impose a relative ports
3801 * based on live traffic)
3802 */
3803 if (srv->flags & SRV_F_MAPPORTS)
3804 return 0;
Willy Tarreau04276f32017-01-06 17:41:29 +01003805
3806 i = srv->svc_port; /* by default */
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003807 if (i > 0)
3808 return i;
3809
3810 return 0;
3811}
3812
Willy Tarreau172f5ce2018-11-26 11:21:50 +01003813REGISTER_POST_CHECK(start_checks);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003814
Christopher Fauleta202d1d2020-03-26 17:38:49 +01003815static int check_proxy_tcpcheck(struct proxy *px)
3816{
3817 struct tcpcheck_rule *chk;
3818 int ret = 0;
3819
3820 if (!px->tcpcheck_rules)
3821 goto out;
3822
3823 /* If there is no connect rule preceeding all send / expect rules, an
3824 * implicit one is inserted before all others
3825 */
3826 chk = get_first_tcpcheck_rule(px->tcpcheck_rules);
3827 if (!chk || chk->action != TCPCHK_ACT_CONNECT) {
3828 chk = calloc(1, sizeof(*chk));
3829 if (!chk) {
3830 ha_alert("config : proxy '%s': unable to add implicit tcp-check connect rule "
3831 "(out of memory).\n", px->id);
3832 ret |= ERR_ALERT | ERR_FATAL;
3833 goto out;
3834 }
3835 chk->action = TCPCHK_ACT_CONNECT;
3836 chk->connect.options = TCPCHK_OPT_DEFAULT_CONNECT;
3837 LIST_ADD(px->tcpcheck_rules, &chk->list);
3838 }
3839
3840 out:
3841 return ret;
3842}
3843
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003844static int init_srv_check(struct server *srv)
3845{
3846 const char *err;
3847 struct tcpcheck_rule *r;
3848 int ret = 0;
3849
3850 if (!srv->do_check)
3851 goto out;
3852
3853
3854 /* If neither a port nor an addr was specified and no check transport
3855 * layer is forced, then the transport layer used by the checks is the
3856 * same as for the production traffic. Otherwise we use raw_sock by
3857 * default, unless one is specified.
3858 */
3859 if (!srv->check.port && !is_addr(&srv->check.addr)) {
3860 if (!srv->check.use_ssl && srv->use_ssl != -1) {
3861 srv->check.use_ssl = srv->use_ssl;
3862 srv->check.xprt = srv->xprt;
3863 }
3864 else if (srv->check.use_ssl == 1)
3865 srv->check.xprt = xprt_get(XPRT_SSL);
3866
3867 srv->check.send_proxy |= (srv->pp_opts);
3868 }
3869
3870 /* validate <srv> server health-check settings */
3871
3872 /* We need at least a service port, a check port or the first tcp-check
3873 * rule must be a 'connect' one when checking an IPv4/IPv6 server.
3874 */
3875 if ((srv_check_healthcheck_port(&srv->check) != 0) ||
3876 (!is_inet_addr(&srv->check.addr) && (is_addr(&srv->check.addr) || !is_inet_addr(&srv->addr))))
3877 goto init;
3878
Gaetan Rivet04578db2020-02-07 15:37:17 +01003879 if (!srv->proxy->tcpcheck_rules || LIST_ISEMPTY(srv->proxy->tcpcheck_rules)) {
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003880 ha_alert("config: %s '%s': server '%s' has neither service port nor check port.\n",
3881 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3882 ret |= ERR_ALERT | ERR_ABORT;
3883 goto out;
3884 }
3885
3886 /* search the first action (connect / send / expect) in the list */
Gaetan Rivet04578db2020-02-07 15:37:17 +01003887 r = get_first_tcpcheck_rule(srv->proxy->tcpcheck_rules);
Gaetan Rivet06d963a2020-02-21 18:49:05 +01003888 if (!r || (r->action != TCPCHK_ACT_CONNECT) || !r->connect.port) {
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003889 ha_alert("config: %s '%s': server '%s' has neither service port nor check port "
3890 "nor tcp_check rule 'connect' with port information.\n",
3891 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3892 ret |= ERR_ALERT | ERR_ABORT;
3893 goto out;
3894 }
3895
3896 /* scan the tcp-check ruleset to ensure a port has been configured */
Gaetan Rivet04578db2020-02-07 15:37:17 +01003897 list_for_each_entry(r, srv->proxy->tcpcheck_rules, list) {
Gaetan Rivet06d963a2020-02-21 18:49:05 +01003898 if ((r->action == TCPCHK_ACT_CONNECT) && (!r->connect.port)) {
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003899 ha_alert("config: %s '%s': server '%s' has neither service port nor check port, "
3900 "and a tcp_check rule 'connect' with no port information.\n",
3901 proxy_type_str(srv->proxy), srv->proxy->id, srv->id);
3902 ret |= ERR_ALERT | ERR_ABORT;
3903 goto out;
3904 }
3905 }
3906
3907 init:
3908 err = init_check(&srv->check, srv->proxy->options2 & PR_O2_CHK_ANY);
3909 if (err) {
3910 ha_alert("config: %s '%s': unable to init check for server '%s' (%s).\n",
3911 proxy_type_str(srv->proxy), srv->proxy->id, srv->id, err);
3912 ret |= ERR_ALERT | ERR_ABORT;
3913 goto out;
3914 }
3915 srv->check.state |= CHK_ST_CONFIGURED | CHK_ST_ENABLED;
3916 global.maxsock++;
3917
3918 out:
3919 return ret;
3920}
3921
3922static int init_srv_agent_check(struct server *srv)
3923{
3924 const char *err;
3925 int ret = 0;
3926
3927 if (!srv->do_agent)
3928 goto out;
3929
3930 err = init_check(&srv->agent, PR_O2_LB_AGENT_CHK);
3931 if (err) {
3932 ha_alert("config: %s '%s': unable to init agent-check for server '%s' (%s).\n",
3933 proxy_type_str(srv->proxy), srv->proxy->id, srv->id, err);
3934 ret |= ERR_ALERT | ERR_ABORT;
3935 goto out;
3936 }
3937
3938 if (!srv->agent.inter)
3939 srv->agent.inter = srv->check.inter;
3940
3941 srv->agent.state |= CHK_ST_CONFIGURED | CHK_ST_ENABLED | CHK_ST_AGENT;
3942 global.maxsock++;
3943
3944 out:
3945 return ret;
3946}
3947
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003948static void deinit_proxy_tcpcheck(struct proxy *px)
3949{
3950 struct tcpcheck_rule *chk, *back;
3951
3952 if (!px->tcpcheck_rules)
3953 return;
3954
3955 list_for_each_entry_safe(chk, back, px->tcpcheck_rules, list) {
3956 LIST_DEL(&chk->list);
3957 free_tcpcheck(chk, 0);
3958 }
3959 free(px->tcpcheck_rules);
3960 px->tcpcheck_rules = NULL;
3961}
3962
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003963static void deinit_srv_check(struct server *srv)
3964{
3965 if (srv->do_check)
3966 free_check(&srv->check);
3967}
3968
3969
3970static void deinit_srv_agent_check(struct server *srv)
3971{
3972 if (srv->do_agent)
3973 free_check(&srv->agent);
3974 free(srv->agent.send_string);
3975}
3976
Christopher Fauleta202d1d2020-03-26 17:38:49 +01003977
3978REGISTER_POST_PROXY_CHECK(check_proxy_tcpcheck);
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003979REGISTER_POST_SERVER_CHECK(init_srv_check);
3980REGISTER_POST_SERVER_CHECK(init_srv_agent_check);
3981
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003982REGISTER_PROXY_DEINIT(deinit_proxy_tcpcheck);
Christopher Faulet8892e5d2020-03-26 19:48:20 +01003983REGISTER_SERVER_DEINIT(deinit_srv_check);
3984REGISTER_SERVER_DEINIT(deinit_srv_agent_check);
3985
Christopher Fauletfd6c2292020-03-25 18:20:15 +01003986static struct tcpcheck_rule *parse_tcpcheck_connect(char **args, int cur_arg, struct proxy *px, struct list *rules,
3987 char **errmsg)
3988{
3989 struct tcpcheck_rule *chk = NULL;
3990 char *comment = NULL;
3991 unsigned short conn_opts = 0;
3992 long port = 0;
3993
3994 list_for_each_entry(chk, rules, list) {
3995 if (chk->action != TCPCHK_ACT_COMMENT)
3996 break;
3997 }
3998 if (&chk->list != rules && chk->action != TCPCHK_ACT_CONNECT) {
3999 memprintf(errmsg, "first step MUST also be a 'connect' when there is a 'connect' step in the tcp-check ruleset");
4000 goto error;
4001 }
4002
4003 cur_arg++;
4004 while (*(args[cur_arg])) {
4005 if (strcmp(args[cur_arg], "port") == 0) {
4006 if (!*(args[cur_arg+1])) {
4007 memprintf(errmsg, "'%s' expects a port number as argument.", args[cur_arg]);
4008 goto error;
4009 }
4010 cur_arg++;
4011 port = atol(args[cur_arg]);
4012 if (port > 65535 || port < 1) {
4013 memprintf(errmsg, "expects a valid TCP port (from range 1 to 65535), got %s.", args[cur_arg]);
4014 goto error;
4015 }
4016 }
4017 else if (strcmp(args[cur_arg], "comment") == 0) {
4018 if (!*(args[cur_arg+1])) {
4019 memprintf(errmsg, "'%s' expects a string as argument.", args[cur_arg]);
4020 goto error;
4021 }
4022 cur_arg++;
4023 free(comment);
4024 comment = strdup(args[cur_arg]);
4025 if (!comment) {
4026 memprintf(errmsg, "out of memory");
4027 goto error;
4028 }
4029 }
4030 else if (strcmp(args[cur_arg], "send-proxy") == 0)
4031 conn_opts |= TCPCHK_OPT_SEND_PROXY;
4032 else if (strcmp(args[cur_arg], "linger") == 0)
4033 conn_opts |= TCPCHK_OPT_LINGER;
4034#ifdef USE_OPENSSL
4035 else if (strcmp(args[cur_arg], "ssl") == 0) {
4036 px->options |= PR_O_TCPCHK_SSL;
4037 conn_opts |= TCPCHK_OPT_SSL;
4038 }
4039#endif /* USE_OPENSSL */
4040
4041 else {
4042 memprintf(errmsg, "expects 'comment', 'port', 'send-proxy'"
4043#ifdef USE_OPENSSL
4044 ", 'ssl'"
4045#endif /* USE_OPENSSL */
4046 " or 'linger' but got '%s' as argument.",
4047 args[cur_arg]);
4048 goto error;
4049 }
4050 cur_arg++;
4051 }
4052
4053 chk = calloc(1, sizeof(*chk));
4054 if (!chk) {
4055 memprintf(errmsg, "out of memory");
4056 goto error;
4057 }
Gaetan Rivet06d963a2020-02-21 18:49:05 +01004058 chk->action = TCPCHK_ACT_CONNECT;
4059 chk->comment = comment;
4060 chk->connect.port = port;
4061 chk->connect.options = conn_opts;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004062 return chk;
4063
4064 error:
4065 free(comment);
4066 return NULL;
4067}
4068
4069static struct tcpcheck_rule *parse_tcpcheck_send(char **args, int cur_arg, struct list *rules, char **errmsg)
4070{
4071 struct tcpcheck_rule *chk = NULL;
4072 char *str = NULL, *comment = NULL;
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004073 enum tcpcheck_send_type type = TCPCHK_SEND_UNDEF;
4074 int len;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004075
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004076 type = ((strcmp(args[cur_arg], "send-binary") == 0) ? TCPCHK_SEND_BINARY : TCPCHK_SEND_STRING);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004077 if (!*(args[cur_arg+1])) {
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004078 memprintf(errmsg, "'%s' expects a %s as argument",
4079 (type == TCPCHK_SEND_BINARY ? "binary string": "string"), args[cur_arg]);
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004080 goto error;
4081 }
4082
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004083 if (type == TCPCHK_SEND_BINARY) {
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004084 if (parse_binary(args[cur_arg+1], &str, &len, errmsg) == 0) {
4085 memprintf(errmsg, "'%s' invalid binary string (%s).\n", args[cur_arg], *errmsg);
4086 goto error;
4087 }
4088 }
4089 else {
4090 str = strdup(args[cur_arg+1]);
4091 len = strlen(args[cur_arg+1]);
4092 if (!str) {
4093 memprintf(errmsg, "out of memory");
4094 goto error;
4095 }
4096 }
4097 cur_arg++;
4098
4099 if (strcmp(args[cur_arg], "comment") == 0) {
4100 if (!*(args[cur_arg+1])) {
4101 memprintf(errmsg, "'%s' expects a string as argument.", args[cur_arg]);
4102 goto error;
4103 }
4104 cur_arg++;
4105 comment = strdup(args[cur_arg]);
4106 if (!comment) {
4107 memprintf(errmsg, "out of memory");
4108 goto error;
4109 }
4110 }
4111
4112 chk = calloc(1, sizeof(*chk));
4113 if (!chk) {
4114 memprintf(errmsg, "out of memory");
4115 goto error;
4116 }
Gaetan Rivet48219dc2020-02-21 18:41:28 +01004117 chk->action = TCPCHK_ACT_SEND;
4118 chk->comment = comment;
4119 chk->send.type = type;
4120 chk->send.string = str;
4121 chk->send.length = len;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004122 return chk;
4123
4124 error:
4125 free(str);
4126 free(comment);
4127 return NULL;
4128}
4129
4130static struct tcpcheck_rule *parse_tcpcheck_comment(char **args, int cur_arg, struct list *rules, char **errmsg)
4131{
4132 struct tcpcheck_rule *chk = NULL;
4133 char *comment = NULL;
4134
4135 if (!*(args[cur_arg+1])) {
4136 memprintf(errmsg, "expects a string as argument");
4137 goto error;
4138 }
4139 cur_arg++;
4140 comment = strdup(args[cur_arg]);
4141 if (!comment) {
4142 memprintf(errmsg, "out of memory");
4143 goto error;
4144 }
4145
4146 chk = calloc(1, sizeof(*chk));
4147 if (!chk) {
4148 memprintf(errmsg, "out of memory");
4149 goto error;
4150 }
4151 chk->action = TCPCHK_ACT_COMMENT;
4152 chk->comment = comment;
4153 return chk;
4154
4155 error:
4156 free(comment);
4157 return NULL;
4158}
4159
4160static struct tcpcheck_rule *parse_tcpcheck_expect(char **args, int cur_arg, struct list *rules, char **errmsg)
4161{
4162 struct tcpcheck_rule *prev_check, *chk = NULL;
4163 char *str = NULL, *comment = NULL, *pattern = NULL;
4164 enum tcpcheck_expect_type type = TCPCHK_EXPECT_UNDEF;
4165 long min_recv = -1;
4166 int inverse = 0, with_capture = 0;
4167
4168 if (!*(args[cur_arg+1]) || !*(args[cur_arg+2])) {
4169 memprintf(errmsg, "expects a pattern (type+string) as arguments");
4170 goto error;
4171 }
4172
4173 cur_arg++;
4174 while (*(args[cur_arg])) {
4175 int in_pattern = 0;
4176
4177 rescan:
4178 if (strcmp(args[cur_arg], "min-recv") == 0) {
4179 if (in_pattern) {
4180 memprintf(errmsg, "[!] not supported with '%s'", args[cur_arg]);
4181 goto error;
4182 }
4183 if (!*(args[cur_arg+1])) {
4184 memprintf(errmsg, "'%s' expects a integer as argument", args[cur_arg]);
4185 goto error;
4186 }
4187 /* Use an signed integer here because of chksize */
4188 cur_arg++;
4189 min_recv = atol(args[cur_arg]);
4190 if (min_recv < -1 || min_recv > INT_MAX) {
4191 memprintf(errmsg, "'%s' expects -1 or an integer from 0 to INT_MAX" , args[cur_arg-1]);
4192 goto error;
4193 }
4194 }
4195 else if (*(args[cur_arg]) == '!') {
4196 in_pattern = 1;
4197 while (*(args[cur_arg]) == '!') {
4198 inverse = !inverse;
4199 args[cur_arg]++;
4200 }
4201 if (!*(args[cur_arg]))
4202 cur_arg++;
4203 goto rescan;
4204 }
4205 else if (strcmp(args[cur_arg], "string") == 0 || strcmp(args[cur_arg], "binary") == 0 ||
4206 strcmp(args[cur_arg], "rstring") == 0 || strcmp(args[cur_arg], "rbinary") == 0) {
4207 if (type != TCPCHK_EXPECT_UNDEF) {
4208 memprintf(errmsg, "only on pattern expected");
4209 goto error;
4210 }
4211 type = ((*(args[cur_arg]) == 's') ? TCPCHK_EXPECT_STRING :
4212 ((*(args[cur_arg]) == 'b') ? TCPCHK_EXPECT_BINARY :
4213 ((*(args[cur_arg]+1) == 's') ? TCPCHK_EXPECT_REGEX : TCPCHK_EXPECT_REGEX_BINARY)));
4214
4215 if (!*(args[cur_arg+1])) {
4216 memprintf(errmsg, "'%s' expects a <pattern> as argument", args[cur_arg]);
4217 goto error;
4218 }
4219 cur_arg++;
4220 pattern = args[cur_arg];
4221 }
4222 else if (strcmp(args[cur_arg], "comment") == 0) {
4223 if (in_pattern) {
4224 memprintf(errmsg, "[!] not supported with '%s'", args[cur_arg]);
4225 goto error;
4226 }
4227 if (!*(args[cur_arg+1])) {
4228 memprintf(errmsg, "'%s' expects a string as argument", args[cur_arg]);
4229 goto error;
4230 }
4231 cur_arg++;
4232 free(comment);
4233 comment = strdup(args[cur_arg]);
4234 if (!comment) {
4235 memprintf(errmsg, "out of memory");
4236 goto error;
4237 }
4238 }
4239 else {
4240 memprintf(errmsg, "'only supports min-recv, '[!]binary', '[!]string', '[!]rstring', '[!]rbinary'"
4241 " or comment but got '%s' as argument.", args[cur_arg]);
4242 goto error;
4243 }
4244
4245 cur_arg++;
4246 }
4247
4248 if (comment) {
4249 char *p = comment;
4250
4251 while (*p) {
4252 if (*p == '\\') {
4253 p++;
4254 if (!*p || !isdigit((unsigned char)*p) ||
4255 (*p == 'x' && (!*(p+1) || !*(p+2) || !ishex(*(p+1)) || !ishex(*(p+2))))) {
4256 memprintf(errmsg, "invalid backreference in 'comment' argument");
4257 goto error;
4258 }
4259 with_capture = 1;
4260 }
4261 p++;
4262 }
4263 if (with_capture && !inverse)
4264 memprintf(errmsg, "using backreference in a positive expect comment is useless");
4265 }
4266
4267 chk = calloc(1, sizeof(*chk));
4268 if (!chk) {
4269 memprintf(errmsg, "out of memory");
4270 goto error;
4271 }
4272 chk->action = TCPCHK_ACT_EXPECT;
4273 chk->comment = comment;
4274 chk->expect.type = type;
4275 chk->expect.min_recv = min_recv;
4276 chk->expect.inverse = inverse;
4277 chk->expect.with_capture = with_capture;
4278
4279 switch (chk->expect.type) {
4280 case TCPCHK_EXPECT_STRING:
4281 chk->expect.string = strdup(pattern);
4282 chk->expect.length = strlen(pattern);
4283 if (!chk->expect.string) {
4284 memprintf(errmsg, "out of memory");
4285 goto error;
4286 }
4287 break;
4288 case TCPCHK_EXPECT_BINARY:
4289 if (parse_binary(pattern, &chk->expect.string, &chk->expect.length, errmsg) == 0) {
4290 memprintf(errmsg, "invalid binary string (%s)", *errmsg);
4291 goto error;
4292 }
4293 case TCPCHK_EXPECT_REGEX:
4294 case TCPCHK_EXPECT_REGEX_BINARY:
4295 chk->expect.regex = regex_comp(pattern, 1, with_capture, errmsg);
4296 if (!chk->expect.regex)
4297 goto error;
4298 break;
4299 case TCPCHK_EXPECT_UNDEF:
4300 free(chk);
4301 memprintf(errmsg, "pattern not found");
4302 goto error;
4303 }
4304
4305 /* All tcp-check expect points back to the first inverse expect rule in
4306 * a chain of one or more expect rule, potentially itself.
4307 */
4308 chk->expect.head = chk;
4309 list_for_each_entry_rev(prev_check, rules, list) {
4310 if (prev_check->action == TCPCHK_ACT_EXPECT) {
4311 if (prev_check->expect.inverse)
4312 chk->expect.head = prev_check;
4313 continue;
4314 }
4315 if (prev_check->action != TCPCHK_ACT_COMMENT)
4316 break;
4317 }
4318 return chk;
4319
4320 error:
4321 free(chk);
4322 free(str);
4323 free(comment);
4324 return NULL;
4325}
4326
4327/* Parses the "tcp-check" proxy keyword */
4328static int proxy_parse_tcpcheck(char **args, int section, struct proxy *curpx,
4329 struct proxy *defpx, const char *file, int line,
4330 char **errmsg)
4331{
4332 struct list *rules = curpx->tcpcheck_rules;
4333 struct tcpcheck_rule *chk = NULL;
Gaetan Rivet5301b012020-02-25 17:19:17 +01004334 int index, cur_arg, ret = 0;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004335
4336 if (warnifnotcap(curpx, PR_CAP_BE, file, line, args[0], NULL))
4337 ret = 1;
4338
4339 if (curpx == defpx) {
4340 memprintf(errmsg, "'%s' not allowed in 'defaults' section.", args[0]);
4341 goto error;
4342 }
4343
4344 if (!rules) {
4345 rules = calloc(1, sizeof(*rules));
4346 if (!rules) {
4347 memprintf(errmsg, "%s : out of memory.", args[0]);
4348 goto error;
4349 }
4350 LIST_INIT(rules);
4351 curpx->tcpcheck_rules = rules;
4352 }
4353
Gaetan Rivet5301b012020-02-25 17:19:17 +01004354 index = 0;
4355 if (!LIST_ISEMPTY(rules)) {
4356 chk = LIST_PREV(rules, typeof(chk), list);
4357 index = chk->index + 1;
4358 }
4359
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004360 cur_arg = 1;
4361 if (strcmp(args[cur_arg], "connect") == 0)
4362 chk = parse_tcpcheck_connect(args, cur_arg, curpx, rules, errmsg);
4363 else if (strcmp(args[cur_arg], "send") == 0 || strcmp(args[cur_arg], "send-binary") == 0)
4364 chk = parse_tcpcheck_send(args, cur_arg, rules, errmsg);
4365 else if (strcmp(args[cur_arg], "expect") == 0)
4366 chk = parse_tcpcheck_expect(args, cur_arg, rules, errmsg);
4367 else if (strcmp(args[cur_arg], "comment") == 0)
4368 chk = parse_tcpcheck_comment(args, cur_arg, rules, errmsg);
4369 else {
4370 memprintf(errmsg, "'%s %s' only supports 'comment', 'connect', 'send', 'send-binary' or 'expect'.",
4371 args[0], args[1]);
4372 goto error;
4373 }
4374
4375 if (!chk) {
4376 memprintf(errmsg, "'%s %s' : %s.", args[0], args[1], *errmsg);
4377 goto error;
4378 }
4379 ret = (*errmsg != NULL); /* Handle warning */
4380
4381 /* No error: add the tcp-check rule in the list */
Gaetan Rivet5301b012020-02-25 17:19:17 +01004382 chk->index = index;
Christopher Fauletfd6c2292020-03-25 18:20:15 +01004383 LIST_ADDQ(rules, &chk->list);
4384 return ret;
4385
4386 error:
4387 if (rules)
4388 deinit_proxy_tcpcheck(curpx);
4389 return -1;
4390}
4391
4392static struct cfg_kw_list cfg_kws = {ILH, {
4393 { CFG_LISTEN, "tcp-check", proxy_parse_tcpcheck },
4394 { 0, NULL, NULL },
4395}};
4396
4397INITCALL1(STG_REGISTER, cfg_register_keywords, &cfg_kws);
4398
Willy Tarreaubd741542010-03-16 18:46:54 +01004399/*
Willy Tarreaubaaee002006-06-26 02:48:02 +02004400 * Local variables:
4401 * c-indent-level: 8
4402 * c-basic-offset: 8
4403 * End:
4404 */