blob: c02935cf082b56afbde7f91844c8cbe8c5c43f8c [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>
25#include <sys/socket.h>
Dmitry Sivachenkocaf58982009-08-24 15:11:06 +040026#include <sys/types.h>
Simon Horman98637e52014-06-20 12:30:16 +090027#include <sys/wait.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020028#include <netinet/in.h>
Willy Tarreau1274bc42009-07-15 07:16:31 +020029#include <netinet/tcp.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020030#include <arpa/inet.h>
31
Willy Tarreauc7e42382012-08-24 19:22:53 +020032#include <common/chunk.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020033#include <common/compat.h>
34#include <common/config.h>
35#include <common/mini-clist.h>
Willy Tarreau83749182007-04-15 20:56:27 +020036#include <common/standard.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020037#include <common/time.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020038
39#include <types/global.h>
Simon Horman0ba0e4a2015-01-30 11:23:00 +090040#include <types/mailers.h>
Baptiste Assmanna68ca962015-04-14 01:15:08 +020041#include <types/dns.h>
William Lallemand9ed62032016-11-21 17:49:11 +010042#include <types/stats.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020043
44#include <proto/backend.h>
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020045#include <proto/checks.h>
William Lallemand9ed62032016-11-21 17:49:11 +010046#include <proto/stats.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020047#include <proto/fd.h>
48#include <proto/log.h>
49#include <proto/queue.h>
Willy Tarreauc6f4ce82009-06-10 11:09:37 +020050#include <proto/port_range.h>
Willy Tarreau3d300592007-03-18 18:34:41 +010051#include <proto/proto_http.h>
Willy Tarreaue8c66af2008-01-13 18:40:14 +010052#include <proto/proto_tcp.h>
Baptiste Assmann69e273f2013-12-11 00:52:19 +010053#include <proto/protocol.h>
Willy Tarreau2b5652f2006-12-31 17:46:05 +010054#include <proto/proxy.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020055#include <proto/server.h>
Willy Tarreau48d6bf22016-06-21 16:27:34 +020056#include <proto/signal.h>
Willy Tarreau9e000c62011-03-10 14:03:36 +010057#include <proto/stream_interface.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020058#include <proto/task.h>
Baptiste Assmanna68ca962015-04-14 01:15:08 +020059#include <proto/log.h>
60#include <proto/dns.h>
61#include <proto/proto_udp.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020062
Willy Tarreaubd741542010-03-16 18:46:54 +010063static int httpchk_expect(struct server *s, int done);
Simon Hormane16c1b32015-01-30 11:22:57 +090064static int tcpcheck_get_step_id(struct check *);
Baptiste Assmann22b09d22015-05-01 08:03:04 +020065static char * tcpcheck_get_step_comment(struct check *, int);
Willy Tarreau6bdcab02017-10-04 18:41:00 +020066static int tcpcheck_main(struct check *);
Willy Tarreaubd741542010-03-16 18:46:54 +010067
Simon Horman63a4a822012-03-19 07:24:41 +090068static const struct check_status check_statuses[HCHK_STATUS_SIZE] = {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010069 [HCHK_STATUS_UNKNOWN] = { CHK_RES_UNKNOWN, "UNK", "Unknown" },
70 [HCHK_STATUS_INI] = { CHK_RES_UNKNOWN, "INI", "Initializing" },
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +020071 [HCHK_STATUS_START] = { /* SPECIAL STATUS*/ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020072
Willy Tarreau23964182014-05-20 20:56:30 +020073 /* Below we have finished checks */
74 [HCHK_STATUS_CHECKED] = { CHK_RES_NEUTRAL, "CHECKED", "No status change" },
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010075 [HCHK_STATUS_HANA] = { CHK_RES_FAILED, "HANA", "Health analyze" },
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +010076
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010077 [HCHK_STATUS_SOCKERR] = { CHK_RES_FAILED, "SOCKERR", "Socket error" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020078
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010079 [HCHK_STATUS_L4OK] = { CHK_RES_PASSED, "L4OK", "Layer4 check passed" },
80 [HCHK_STATUS_L4TOUT] = { CHK_RES_FAILED, "L4TOUT", "Layer4 timeout" },
81 [HCHK_STATUS_L4CON] = { CHK_RES_FAILED, "L4CON", "Layer4 connection problem" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020082
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010083 [HCHK_STATUS_L6OK] = { CHK_RES_PASSED, "L6OK", "Layer6 check passed" },
84 [HCHK_STATUS_L6TOUT] = { CHK_RES_FAILED, "L6TOUT", "Layer6 timeout" },
85 [HCHK_STATUS_L6RSP] = { CHK_RES_FAILED, "L6RSP", "Layer6 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020086
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010087 [HCHK_STATUS_L7TOUT] = { CHK_RES_FAILED, "L7TOUT", "Layer7 timeout" },
88 [HCHK_STATUS_L7RSP] = { CHK_RES_FAILED, "L7RSP", "Layer7 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020089
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +020090 [HCHK_STATUS_L57DATA] = { /* DUMMY STATUS */ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020091
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010092 [HCHK_STATUS_L7OKD] = { CHK_RES_PASSED, "L7OK", "Layer7 check passed" },
93 [HCHK_STATUS_L7OKCD] = { CHK_RES_CONDPASS, "L7OKC", "Layer7 check conditionally passed" },
94 [HCHK_STATUS_L7STS] = { CHK_RES_FAILED, "L7STS", "Layer7 wrong status" },
Simon Horman98637e52014-06-20 12:30:16 +090095
96 [HCHK_STATUS_PROCERR] = { CHK_RES_FAILED, "PROCERR", "External check error" },
97 [HCHK_STATUS_PROCTOUT] = { CHK_RES_FAILED, "PROCTOUT", "External check timeout" },
Cyril Bonté77010d82014-08-07 01:55:37 +020098 [HCHK_STATUS_PROCOK] = { CHK_RES_PASSED, "PROCOK", "External check passed" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020099};
100
Cyril Bontéac92a062014-12-27 22:28:38 +0100101const struct extcheck_env extcheck_envs[EXTCHK_SIZE] = {
102 [EXTCHK_PATH] = { "PATH", EXTCHK_SIZE_EVAL_INIT },
103 [EXTCHK_HAPROXY_PROXY_NAME] = { "HAPROXY_PROXY_NAME", EXTCHK_SIZE_EVAL_INIT },
104 [EXTCHK_HAPROXY_PROXY_ID] = { "HAPROXY_PROXY_ID", EXTCHK_SIZE_EVAL_INIT },
105 [EXTCHK_HAPROXY_PROXY_ADDR] = { "HAPROXY_PROXY_ADDR", EXTCHK_SIZE_EVAL_INIT },
106 [EXTCHK_HAPROXY_PROXY_PORT] = { "HAPROXY_PROXY_PORT", EXTCHK_SIZE_EVAL_INIT },
107 [EXTCHK_HAPROXY_SERVER_NAME] = { "HAPROXY_SERVER_NAME", EXTCHK_SIZE_EVAL_INIT },
108 [EXTCHK_HAPROXY_SERVER_ID] = { "HAPROXY_SERVER_ID", EXTCHK_SIZE_EVAL_INIT },
109 [EXTCHK_HAPROXY_SERVER_ADDR] = { "HAPROXY_SERVER_ADDR", EXTCHK_SIZE_EVAL_INIT },
110 [EXTCHK_HAPROXY_SERVER_PORT] = { "HAPROXY_SERVER_PORT", EXTCHK_SIZE_EVAL_INIT },
111 [EXTCHK_HAPROXY_SERVER_MAXCONN] = { "HAPROXY_SERVER_MAXCONN", EXTCHK_SIZE_EVAL_INIT },
112 [EXTCHK_HAPROXY_SERVER_CURCONN] = { "HAPROXY_SERVER_CURCONN", EXTCHK_SIZE_ULONG },
113};
114
Simon Horman63a4a822012-03-19 07:24:41 +0900115static const struct analyze_status analyze_statuses[HANA_STATUS_SIZE] = { /* 0: ignore, 1: error, 2: OK */
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100116 [HANA_STATUS_UNKNOWN] = { "Unknown", { 0, 0 }},
117
118 [HANA_STATUS_L4_OK] = { "L4 successful connection", { 2, 0 }},
119 [HANA_STATUS_L4_ERR] = { "L4 unsuccessful connection", { 1, 1 }},
120
121 [HANA_STATUS_HTTP_OK] = { "Correct http response", { 0, 2 }},
122 [HANA_STATUS_HTTP_STS] = { "Wrong http response", { 0, 1 }},
123 [HANA_STATUS_HTTP_HDRRSP] = { "Invalid http response (headers)", { 0, 1 }},
124 [HANA_STATUS_HTTP_RSP] = { "Invalid http response", { 0, 1 }},
125
126 [HANA_STATUS_HTTP_READ_ERROR] = { "Read error (http)", { 0, 1 }},
127 [HANA_STATUS_HTTP_READ_TIMEOUT] = { "Read timeout (http)", { 0, 1 }},
128 [HANA_STATUS_HTTP_BROKEN_PIPE] = { "Close from server (http)", { 0, 1 }},
129};
130
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200131/*
132 * Convert check_status code to description
133 */
134const char *get_check_status_description(short check_status) {
135
136 const char *desc;
137
138 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200139 desc = check_statuses[check_status].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200140 else
141 desc = NULL;
142
143 if (desc && *desc)
144 return desc;
145 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200146 return check_statuses[HCHK_STATUS_UNKNOWN].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200147}
148
149/*
150 * Convert check_status code to short info
151 */
152const char *get_check_status_info(short check_status) {
153
154 const char *info;
155
156 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200157 info = check_statuses[check_status].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200158 else
159 info = NULL;
160
161 if (info && *info)
162 return info;
163 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200164 return check_statuses[HCHK_STATUS_UNKNOWN].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200165}
166
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100167const char *get_analyze_status(short analyze_status) {
168
169 const char *desc;
170
171 if (analyze_status < HANA_STATUS_SIZE)
172 desc = analyze_statuses[analyze_status].desc;
173 else
174 desc = NULL;
175
176 if (desc && *desc)
177 return desc;
178 else
179 return analyze_statuses[HANA_STATUS_UNKNOWN].desc;
180}
181
Willy Tarreaua150cf12014-05-20 21:57:23 +0200182/* Builds a string containing some information about the health check's result.
183 * The output string is allocated from the trash chunks. If the check is NULL,
184 * NULL is returned. This is designed to be used when emitting logs about health
185 * checks.
Willy Tarreauddd329c2014-05-16 16:46:12 +0200186 */
Willy Tarreaua150cf12014-05-20 21:57:23 +0200187static const char *check_reason_string(struct check *check)
Willy Tarreauddd329c2014-05-16 16:46:12 +0200188{
Willy Tarreaua150cf12014-05-20 21:57:23 +0200189 struct chunk *msg;
Krzysztof Piotr Oledzki99ab5f82009-09-27 17:28:21 +0200190
Willy Tarreaua150cf12014-05-20 21:57:23 +0200191 if (!check)
192 return NULL;
Krzysztof Piotr Oledzki99ab5f82009-09-27 17:28:21 +0200193
Willy Tarreaua150cf12014-05-20 21:57:23 +0200194 msg = get_trash_chunk();
195 chunk_printf(msg, "reason: %s", get_check_status_description(check->status));
Krzysztof Piotr Oledzki99ab5f82009-09-27 17:28:21 +0200196
Willy Tarreaua150cf12014-05-20 21:57:23 +0200197 if (check->status >= HCHK_STATUS_L57DATA)
198 chunk_appendf(msg, ", code: %d", check->code);
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200199
Willy Tarreaua150cf12014-05-20 21:57:23 +0200200 if (*check->desc) {
201 struct chunk src;
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200202
Willy Tarreaua150cf12014-05-20 21:57:23 +0200203 chunk_appendf(msg, ", info: \"");
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200204
Willy Tarreaua150cf12014-05-20 21:57:23 +0200205 chunk_initlen(&src, check->desc, 0, strlen(check->desc));
206 chunk_asciiencode(msg, &src, '"');
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200207
Willy Tarreaua150cf12014-05-20 21:57:23 +0200208 chunk_appendf(msg, "\"");
Krzysztof Piotr Oledzki99ab5f82009-09-27 17:28:21 +0200209 }
210
Willy Tarreaua150cf12014-05-20 21:57:23 +0200211 if (check->duration >= 0)
212 chunk_appendf(msg, ", check duration: %ldms", check->duration);
213
214 return msg->str;
Krzysztof Piotr Oledzki99ab5f82009-09-27 17:28:21 +0200215}
216
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200217/*
Simon Horman4a741432013-02-23 15:35:38 +0900218 * Set check->status, update check->duration and fill check->result with
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200219 * an adequate CHK_RES_* value. The new check->health is computed based
220 * on the result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200221 *
222 * Show information in logs about failed health check if server is UP
223 * or succeeded health checks if server is DOWN.
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200224 */
Simon Horman4a741432013-02-23 15:35:38 +0900225static void set_server_check_status(struct check *check, short status, const char *desc)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100226{
Simon Horman4a741432013-02-23 15:35:38 +0900227 struct server *s = check->server;
Willy Tarreaubef1b322014-05-13 21:01:39 +0200228 short prev_status = check->status;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200229 int report = 0;
Simon Horman4a741432013-02-23 15:35:38 +0900230
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200231 if (status == HCHK_STATUS_START) {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100232 check->result = CHK_RES_UNKNOWN; /* no result yet */
Simon Horman4a741432013-02-23 15:35:38 +0900233 check->desc[0] = '\0';
234 check->start = now;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200235 return;
236 }
237
Simon Horman4a741432013-02-23 15:35:38 +0900238 if (!check->status)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200239 return;
240
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200241 if (desc && *desc) {
Simon Horman4a741432013-02-23 15:35:38 +0900242 strncpy(check->desc, desc, HCHK_DESC_LEN-1);
243 check->desc[HCHK_DESC_LEN-1] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200244 } else
Simon Horman4a741432013-02-23 15:35:38 +0900245 check->desc[0] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200246
Simon Horman4a741432013-02-23 15:35:38 +0900247 check->status = status;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200248 if (check_statuses[status].result)
Simon Horman4a741432013-02-23 15:35:38 +0900249 check->result = check_statuses[status].result;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200250
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100251 if (status == HCHK_STATUS_HANA)
Simon Horman4a741432013-02-23 15:35:38 +0900252 check->duration = -1;
253 else if (!tv_iszero(&check->start)) {
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200254 /* set_server_check_status() may be called more than once */
Simon Horman4a741432013-02-23 15:35:38 +0900255 check->duration = tv_ms_elapsed(&check->start, &now);
256 tv_zero(&check->start);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200257 }
258
Willy Tarreau23964182014-05-20 20:56:30 +0200259 /* no change is expected if no state change occurred */
260 if (check->result == CHK_RES_NEUTRAL)
261 return;
262
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200263 report = 0;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200264
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200265 switch (check->result) {
266 case CHK_RES_FAILED:
Willy Tarreau12634e12014-05-23 11:32:36 +0200267 /* Failure to connect to the agent as a secondary check should not
268 * cause the server to be marked down.
269 */
270 if ((!(check->state & CHK_ST_AGENT) ||
Simon Hormaneaabd522015-02-26 11:26:17 +0900271 (check->status >= HCHK_STATUS_L57DATA)) &&
Willy Tarreau12634e12014-05-23 11:32:36 +0200272 (check->health >= check->rise)) {
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200273 s->counters.failed_checks++;
274 report = 1;
275 check->health--;
276 if (check->health < check->rise)
277 check->health = 0;
278 }
279 break;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200280
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200281 case CHK_RES_PASSED:
282 case CHK_RES_CONDPASS: /* "condpass" cannot make the first step but it OK after a "passed" */
283 if ((check->health < check->rise + check->fall - 1) &&
284 (check->result == CHK_RES_PASSED || check->health > 0)) {
285 report = 1;
286 check->health++;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200287
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200288 if (check->health >= check->rise)
289 check->health = check->rise + check->fall - 1; /* OK now */
290 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200291
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200292 /* clear consecutive_errors if observing is enabled */
293 if (s->onerror)
294 s->consecutive_errors = 0;
295 break;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100296
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200297 default:
298 break;
299 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200300
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200301 if (s->proxy->options2 & PR_O2_LOGHCHKS &&
302 (status != prev_status || report)) {
303 chunk_printf(&trash,
Willy Tarreau12634e12014-05-23 11:32:36 +0200304 "%s check for %sserver %s/%s %s%s",
305 (check->state & CHK_ST_AGENT) ? "Agent" : "Health",
Willy Tarreauc93cd162014-05-13 15:54:22 +0200306 s->flags & SRV_F_BACKUP ? "backup " : "",
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100307 s->proxy->id, s->id,
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100308 (check->result == CHK_RES_CONDPASS) ? "conditionally ":"",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200309 (check->result >= CHK_RES_PASSED) ? "succeeded" : "failed");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200310
Willy Tarreaua150cf12014-05-20 21:57:23 +0200311 srv_append_status(&trash, s, check_reason_string(check), -1, 0);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200312
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100313 chunk_appendf(&trash, ", status: %d/%d %s",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200314 (check->health >= check->rise) ? check->health - check->rise + 1 : check->health,
315 (check->health >= check->rise) ? check->fall : check->rise,
316 (check->health >= check->rise) ? (s->uweight ? "UP" : "DRAIN") : "DOWN");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200317
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100318 Warning("%s.\n", trash.str);
319 send_log(s->proxy, LOG_NOTICE, "%s.\n", trash.str);
Simon Horman7ea9be02015-04-30 13:10:33 +0900320 send_email_alert(s, LOG_INFO, "%s", trash.str);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200321 }
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200322}
323
Willy Tarreau4eec5472014-05-20 22:32:27 +0200324/* Marks the check <check>'s server down if the current check is already failed
325 * and the server is not down yet nor in maintenance.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200326 */
Willy Tarreau4eec5472014-05-20 22:32:27 +0200327static void check_notify_failure(struct check *check)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200328{
Simon Horman4a741432013-02-23 15:35:38 +0900329 struct server *s = check->server;
Simon Hormane0d1bfb2011-06-21 14:34:58 +0900330
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200331 /* The agent secondary check should only cause a server to be marked
332 * as down if check->status is HCHK_STATUS_L7STS, which indicates
333 * that the agent returned "fail", "stopped" or "down".
334 * The implication here is that failure to connect to the agent
335 * as a secondary check should not cause the server to be marked
336 * down. */
337 if ((check->state & CHK_ST_AGENT) && check->status != HCHK_STATUS_L7STS)
338 return;
339
Willy Tarreau4eec5472014-05-20 22:32:27 +0200340 if (check->health > 0)
341 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100342
Willy Tarreau4eec5472014-05-20 22:32:27 +0200343 /* We only report a reason for the check if we did not do so previously */
344 srv_set_stopped(s, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check_reason_string(check) : NULL);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200345}
346
Willy Tarreauaf549582014-05-16 17:37:50 +0200347/* Marks the check <check> as valid and tries to set its server up, provided
Willy Tarreau3e048382014-05-21 10:30:54 +0200348 * it isn't in maintenance, it is not tracking a down server and other checks
349 * comply. The rule is simple : by default, a server is up, unless any of the
350 * following conditions is true :
351 * - health check failed (check->health < rise)
352 * - agent check failed (agent->health < rise)
353 * - the server tracks a down server (track && track->state == STOPPED)
354 * Note that if the server has a slowstart, it will switch to STARTING instead
355 * of RUNNING. Also, only the health checks support the nolb mode, so the
356 * agent's success may not take the server out of this mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200357 */
Willy Tarreau3e048382014-05-21 10:30:54 +0200358static void check_notify_success(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200359{
Simon Horman4a741432013-02-23 15:35:38 +0900360 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100361
Emeric Brun52a91d32017-08-31 14:41:55 +0200362 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200363 return;
Cyril Bontécd19e512010-01-31 22:34:03 +0100364
Emeric Brun52a91d32017-08-31 14:41:55 +0200365 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreauaf549582014-05-16 17:37:50 +0200366 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100367
Willy Tarreau3e048382014-05-21 10:30:54 +0200368 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
369 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100370
Willy Tarreau3e048382014-05-21 10:30:54 +0200371 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
372 return;
Willy Tarreauaf549582014-05-16 17:37:50 +0200373
Emeric Brun52a91d32017-08-31 14:41:55 +0200374 if ((check->state & CHK_ST_AGENT) && s->next_state == SRV_ST_STOPPING)
Willy Tarreau3e048382014-05-21 10:30:54 +0200375 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100376
Willy Tarreau3e048382014-05-21 10:30:54 +0200377 srv_set_running(s, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check_reason_string(check) : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100378}
379
Willy Tarreaudb58b792014-05-21 13:57:23 +0200380/* Marks the check <check> as valid and tries to set its server into stopping mode
381 * if it was running or starting, and provided it isn't in maintenance and other
382 * checks comply. The conditions for the server to be marked in stopping mode are
383 * the same as for it to be turned up. Also, only the health checks support the
384 * nolb mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200385 */
Willy Tarreaudb58b792014-05-21 13:57:23 +0200386static void check_notify_stopping(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200387{
Simon Horman4a741432013-02-23 15:35:38 +0900388 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100389
Emeric Brun52a91d32017-08-31 14:41:55 +0200390 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200391 return;
392
Willy Tarreaudb58b792014-05-21 13:57:23 +0200393 if (check->state & CHK_ST_AGENT)
394 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100395
Emeric Brun52a91d32017-08-31 14:41:55 +0200396 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreaudb58b792014-05-21 13:57:23 +0200397 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100398
Willy Tarreaudb58b792014-05-21 13:57:23 +0200399 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
400 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100401
Willy Tarreaudb58b792014-05-21 13:57:23 +0200402 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
403 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100404
Willy Tarreaudb58b792014-05-21 13:57:23 +0200405 srv_set_stopping(s, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check_reason_string(check) : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100406}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200407
Willy Tarreau9fe7aae2013-12-31 23:47:37 +0100408/* note: use health_adjust() only, which first checks that the observe mode is
409 * enabled.
410 */
411void __health_adjust(struct server *s, short status)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100412{
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100413 int failed;
414 int expire;
415
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100416 if (s->observe >= HANA_OBS_SIZE)
417 return;
418
Willy Tarreaubb956662013-01-24 00:37:39 +0100419 if (status >= HANA_STATUS_SIZE || !analyze_statuses[status].desc)
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100420 return;
421
422 switch (analyze_statuses[status].lr[s->observe - 1]) {
423 case 1:
424 failed = 1;
425 break;
426
427 case 2:
428 failed = 0;
429 break;
430
431 default:
432 return;
433 }
434
435 if (!failed) {
436 /* good: clear consecutive_errors */
437 s->consecutive_errors = 0;
438 return;
439 }
440
441 s->consecutive_errors++;
442
443 if (s->consecutive_errors < s->consecutive_errors_limit)
444 return;
445
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100446 chunk_printf(&trash, "Detected %d consecutive errors, last one was: %s",
447 s->consecutive_errors, get_analyze_status(status));
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100448
449 switch (s->onerror) {
450 case HANA_ONERR_FASTINTER:
451 /* force fastinter - nothing to do here as all modes force it */
452 break;
453
454 case HANA_ONERR_SUDDTH:
455 /* simulate a pre-fatal failed health check */
Simon Horman58c32972013-11-25 10:46:38 +0900456 if (s->check.health > s->check.rise)
457 s->check.health = s->check.rise + 1;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100458
459 /* no break - fall through */
460
461 case HANA_ONERR_FAILCHK:
462 /* simulate a failed health check */
Simon Horman4a741432013-02-23 15:35:38 +0900463 set_server_check_status(&s->check, HCHK_STATUS_HANA, trash.str);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200464 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100465 break;
466
467 case HANA_ONERR_MARKDWN:
468 /* mark server down */
Simon Horman58c32972013-11-25 10:46:38 +0900469 s->check.health = s->check.rise;
Simon Horman4a741432013-02-23 15:35:38 +0900470 set_server_check_status(&s->check, HCHK_STATUS_HANA, trash.str);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200471 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100472 break;
473
474 default:
475 /* write a warning? */
476 break;
477 }
478
479 s->consecutive_errors = 0;
480 s->counters.failed_hana++;
481
Simon Horman66183002013-02-23 10:16:43 +0900482 if (s->check.fastinter) {
483 expire = tick_add(now_ms, MS_TO_TICKS(s->check.fastinter));
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300484 if (s->check.task->expire > expire) {
Willy Tarreau5b3a2022012-09-28 15:01:02 +0200485 s->check.task->expire = expire;
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300486 /* requeue check task with new expire */
487 task_queue(s->check.task);
488 }
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100489 }
490}
491
Willy Tarreaua1dab552014-04-14 15:04:54 +0200492static int httpchk_build_status_header(struct server *s, char *buffer, int size)
Willy Tarreauef781042010-01-27 11:53:01 +0100493{
494 int sv_state;
495 int ratio;
496 int hlen = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800497 char addr[46];
498 char port[6];
Willy Tarreauef781042010-01-27 11:53:01 +0100499 const char *srv_hlt_st[7] = { "DOWN", "DOWN %d/%d",
500 "UP %d/%d", "UP",
501 "NOLB %d/%d", "NOLB",
502 "no check" };
503
504 memcpy(buffer + hlen, "X-Haproxy-Server-State: ", 24);
505 hlen += 24;
506
Willy Tarreauff5ae352013-12-11 20:36:34 +0100507 if (!(s->check.state & CHK_ST_ENABLED))
508 sv_state = 6;
Emeric Brun52a91d32017-08-31 14:41:55 +0200509 else if (s->cur_state != SRV_ST_STOPPED) {
Simon Horman58c32972013-11-25 10:46:38 +0900510 if (s->check.health == s->check.rise + s->check.fall - 1)
Willy Tarreauef781042010-01-27 11:53:01 +0100511 sv_state = 3; /* UP */
512 else
513 sv_state = 2; /* going down */
514
Emeric Brun52a91d32017-08-31 14:41:55 +0200515 if (s->cur_state == SRV_ST_STOPPING)
Willy Tarreauef781042010-01-27 11:53:01 +0100516 sv_state += 2;
517 } else {
Simon Horman125d0992013-02-24 17:23:38 +0900518 if (s->check.health)
Willy Tarreauef781042010-01-27 11:53:01 +0100519 sv_state = 1; /* going up */
520 else
521 sv_state = 0; /* DOWN */
522 }
523
Willy Tarreaua1dab552014-04-14 15:04:54 +0200524 hlen += snprintf(buffer + hlen, size - hlen,
Willy Tarreauef781042010-01-27 11:53:01 +0100525 srv_hlt_st[sv_state],
Emeric Brun52a91d32017-08-31 14:41:55 +0200526 (s->cur_state != SRV_ST_STOPPED) ? (s->check.health - s->check.rise + 1) : (s->check.health),
527 (s->cur_state != SRV_ST_STOPPED) ? (s->check.fall) : (s->check.rise));
Willy Tarreauef781042010-01-27 11:53:01 +0100528
Joseph Lynch514061c2015-01-15 17:52:59 -0800529 addr_to_str(&s->addr, addr, sizeof(addr));
Willy Tarreau04276f32017-01-06 17:41:29 +0100530 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
531 snprintf(port, sizeof(port), "%u", s->svc_port);
532 else
533 *port = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800534
535 hlen += snprintf(buffer + hlen, size - hlen, "; address=%s; port=%s; name=%s/%s; node=%s; weight=%d/%d; scur=%d/%d; qcur=%d",
536 addr, port, s->proxy->id, s->id,
Willy Tarreauef781042010-01-27 11:53:01 +0100537 global.node,
Emeric Brun52a91d32017-08-31 14:41:55 +0200538 (s->cur_eweight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
Willy Tarreauef781042010-01-27 11:53:01 +0100539 (s->proxy->lbprm.tot_weight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
540 s->cur_sess, s->proxy->beconn - s->proxy->nbpend,
541 s->nbpend);
542
Emeric Brun52a91d32017-08-31 14:41:55 +0200543 if ((s->cur_state == SRV_ST_STARTING) &&
Willy Tarreauef781042010-01-27 11:53:01 +0100544 now.tv_sec < s->last_change + s->slowstart &&
545 now.tv_sec >= s->last_change) {
546 ratio = MAX(1, 100 * (now.tv_sec - s->last_change) / s->slowstart);
Willy Tarreaua1dab552014-04-14 15:04:54 +0200547 hlen += snprintf(buffer + hlen, size - hlen, "; throttle=%d%%", ratio);
Willy Tarreauef781042010-01-27 11:53:01 +0100548 }
549
550 buffer[hlen++] = '\r';
551 buffer[hlen++] = '\n';
552
553 return hlen;
554}
555
Willy Tarreau20a18342013-12-05 00:31:46 +0100556/* Check the connection. If an error has already been reported or the socket is
557 * closed, keep errno intact as it is supposed to contain the valid error code.
558 * If no error is reported, check the socket's error queue using getsockopt().
559 * Warning, this must be done only once when returning from poll, and never
560 * after an I/O error was attempted, otherwise the error queue might contain
561 * inconsistent errors. If an error is detected, the CO_FL_ERROR is set on the
562 * socket. Returns non-zero if an error was reported, zero if everything is
563 * clean (including a properly closed socket).
564 */
565static int retrieve_errno_from_socket(struct connection *conn)
566{
567 int skerr;
568 socklen_t lskerr = sizeof(skerr);
569
570 if (conn->flags & CO_FL_ERROR && ((errno && errno != EAGAIN) || !conn->ctrl))
571 return 1;
572
Willy Tarreau3c728722014-01-23 13:50:42 +0100573 if (!conn_ctrl_ready(conn))
Willy Tarreau20a18342013-12-05 00:31:46 +0100574 return 0;
575
Willy Tarreau585744b2017-08-24 14:31:19 +0200576 if (getsockopt(conn->handle.fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr) == 0)
Willy Tarreau20a18342013-12-05 00:31:46 +0100577 errno = skerr;
578
579 if (errno == EAGAIN)
580 errno = 0;
581
582 if (!errno) {
583 /* we could not retrieve an error, that does not mean there is
584 * none. Just don't change anything and only report the prior
585 * error if any.
586 */
587 if (conn->flags & CO_FL_ERROR)
588 return 1;
589 else
590 return 0;
591 }
592
593 conn->flags |= CO_FL_ERROR | CO_FL_SOCK_WR_SH | CO_FL_SOCK_RD_SH;
594 return 1;
595}
596
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100597/* Try to collect as much information as possible on the connection status,
598 * and adjust the server status accordingly. It may make use of <errno_bck>
599 * if non-null when the caller is absolutely certain of its validity (eg:
600 * checked just after a syscall). If the caller doesn't have a valid errno,
601 * it can pass zero, and retrieve_errno_from_socket() will be called to try
602 * to extract errno from the socket. If no error is reported, it will consider
603 * the <expired> flag. This is intended to be used when a connection error was
604 * reported in conn->flags or when a timeout was reported in <expired>. The
605 * function takes care of not updating a server status which was already set.
606 * All situations where at least one of <expired> or CO_FL_ERROR are set
607 * produce a status.
608 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200609static void chk_report_conn_err(struct check *check, int errno_bck, int expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100610{
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200611 struct connection *conn = check->conn;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100612 const char *err_msg;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200613 struct chunk *chk;
Willy Tarreau213c6782014-10-02 14:51:02 +0200614 int step;
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200615 char *comment;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100616
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100617 if (check->result != CHK_RES_UNKNOWN)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100618 return;
619
620 errno = errno_bck;
Willy Tarreau00149122017-10-04 18:05:01 +0200621 if (conn && (!errno || errno == EAGAIN))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100622 retrieve_errno_from_socket(conn);
623
Willy Tarreau00149122017-10-04 18:05:01 +0200624 if (conn && !(conn->flags & CO_FL_ERROR) && !expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100625 return;
626
627 /* we'll try to build a meaningful error message depending on the
628 * context of the error possibly present in conn->err_code, and the
629 * socket error possibly collected above. This is useful to know the
630 * exact step of the L6 layer (eg: SSL handshake).
631 */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200632 chk = get_trash_chunk();
633
634 if (check->type == PR_O2_TCPCHK_CHK) {
Simon Hormane16c1b32015-01-30 11:22:57 +0900635 step = tcpcheck_get_step_id(check);
Willy Tarreau213c6782014-10-02 14:51:02 +0200636 if (!step)
637 chunk_printf(chk, " at initial connection step of tcp-check");
638 else {
639 chunk_printf(chk, " at step %d of tcp-check", step);
640 /* we were looking for a string */
641 if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_CONNECT) {
642 if (check->last_started_step->port)
643 chunk_appendf(chk, " (connect port %d)" ,check->last_started_step->port);
644 else
645 chunk_appendf(chk, " (connect)");
646 }
647 else if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_EXPECT) {
648 if (check->last_started_step->string)
Baptiste Assmann96a5c9b2015-05-01 08:09:29 +0200649 chunk_appendf(chk, " (expect string '%s')", check->last_started_step->string);
Willy Tarreau213c6782014-10-02 14:51:02 +0200650 else if (check->last_started_step->expect_regex)
651 chunk_appendf(chk, " (expect regex)");
652 }
653 else if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_SEND) {
654 chunk_appendf(chk, " (send)");
655 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200656
657 comment = tcpcheck_get_step_comment(check, step);
658 if (comment)
659 chunk_appendf(chk, " comment: '%s'", comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200660 }
661 }
662
Willy Tarreau00149122017-10-04 18:05:01 +0200663 if (conn && conn->err_code) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100664 if (errno && errno != EAGAIN)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200665 chunk_printf(&trash, "%s (%s)%s", conn_err_code_str(conn), strerror(errno), chk->str);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100666 else
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200667 chunk_printf(&trash, "%s%s", conn_err_code_str(conn), chk->str);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100668 err_msg = trash.str;
669 }
670 else {
671 if (errno && errno != EAGAIN) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200672 chunk_printf(&trash, "%s%s", strerror(errno), chk->str);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100673 err_msg = trash.str;
674 }
675 else {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200676 err_msg = chk->str;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100677 }
678 }
679
Willy Tarreau00149122017-10-04 18:05:01 +0200680 if (check->state & CHK_ST_PORT_MISS) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +0200681 /* NOTE: this is reported after <fall> tries */
682 chunk_printf(chk, "No port available for the TCP connection");
683 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
684 }
685
Willy Tarreau00149122017-10-04 18:05:01 +0200686 if (!conn) {
687 /* connection allocation error before the connection was established */
688 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
689 }
690 else if ((conn->flags & (CO_FL_CONNECTED|CO_FL_WAIT_L4_CONN)) == CO_FL_WAIT_L4_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100691 /* L4 not established (yet) */
692 if (conn->flags & CO_FL_ERROR)
693 set_server_check_status(check, HCHK_STATUS_L4CON, err_msg);
694 else if (expired)
695 set_server_check_status(check, HCHK_STATUS_L4TOUT, err_msg);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200696
697 /*
698 * might be due to a server IP change.
699 * Let's trigger a DNS resolution if none are currently running.
700 */
701 if ((check->server->resolution) && (check->server->resolution->step == RSLV_STEP_NONE))
Baptiste Assmann201c07f2017-05-22 15:17:15 +0200702 dns_trigger_resolution(check->server->resolution);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200703
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100704 }
705 else if ((conn->flags & (CO_FL_CONNECTED|CO_FL_WAIT_L6_CONN)) == CO_FL_WAIT_L6_CONN) {
706 /* L6 not established (yet) */
707 if (conn->flags & CO_FL_ERROR)
708 set_server_check_status(check, HCHK_STATUS_L6RSP, err_msg);
709 else if (expired)
710 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
711 }
712 else if (conn->flags & CO_FL_ERROR) {
713 /* I/O error after connection was established and before we could diagnose */
714 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
715 }
716 else if (expired) {
717 /* connection established but expired check */
718 if (check->type == PR_O2_SSL3_CHK)
719 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
720 else /* HTTP, SMTP, ... */
721 set_server_check_status(check, HCHK_STATUS_L7TOUT, err_msg);
722 }
723
724 return;
725}
726
Willy Tarreaubaaee002006-06-26 02:48:02 +0200727/*
728 * This function is used only for server health-checks. It handles
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200729 * the connection acknowledgement. If the proxy requires L7 health-checks,
730 * it sends the request. In other cases, it calls set_server_check_status()
Simon Horman4a741432013-02-23 15:35:38 +0900731 * to set check->status, check->duration and check->result.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200732 */
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200733static void event_srv_chk_w(struct connection *conn)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200734{
Simon Horman4a741432013-02-23 15:35:38 +0900735 struct check *check = conn->owner;
736 struct server *s = check->server;
Simon Horman4a741432013-02-23 15:35:38 +0900737 struct task *t = check->task;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200738
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100739 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100740 goto out_wakeup;
741
Willy Tarreau310987a2014-01-22 19:46:33 +0100742 if (conn->flags & CO_FL_HANDSHAKE)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100743 return;
744
Willy Tarreau20a18342013-12-05 00:31:46 +0100745 if (retrieve_errno_from_socket(conn)) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200746 chk_report_conn_err(check, errno, 0);
Willy Tarreau20a18342013-12-05 00:31:46 +0100747 __conn_data_stop_both(conn);
748 goto out_wakeup;
749 }
Krzysztof Piotr Oledzki6492db52010-01-02 22:03:01 +0100750
Willy Tarreaubbae3f02017-08-30 09:59:52 +0200751 if (conn->flags & CO_FL_SOCK_WR_SH) {
Willy Tarreau20a18342013-12-05 00:31:46 +0100752 /* if the output is closed, we can't do anything */
753 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200754 chk_report_conn_err(check, 0, 0);
Willy Tarreau20a18342013-12-05 00:31:46 +0100755 goto out_wakeup;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200756 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200757
Willy Tarreau06559ac2013-12-05 01:53:08 +0100758 /* here, we know that the connection is established. That's enough for
759 * a pure TCP check.
760 */
761 if (!check->type)
762 goto out_wakeup;
763
Willy Tarreauc09572f2017-10-04 11:58:22 +0200764 /* wake() will take care of calling tcpcheck_main() */
765 if (check->type == PR_O2_TCPCHK_CHK)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200766 return;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200767
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100768 if (check->bo->o) {
Willy Tarreau1049b1f2014-02-02 01:51:17 +0100769 conn->xprt->snd_buf(conn, check->bo, 0);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100770 if (conn->flags & CO_FL_ERROR) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200771 chk_report_conn_err(check, errno, 0);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100772 __conn_data_stop_both(conn);
773 goto out_wakeup;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200774 }
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100775 if (check->bo->o)
776 return;
777 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200778
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100779 /* full request sent, we allow up to <timeout.check> if nonzero for a response */
780 if (s->proxy->timeout.check) {
781 t->expire = tick_add_ifset(now_ms, s->proxy->timeout.check);
782 task_queue(t);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200783 }
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100784 goto out_nowake;
785
Willy Tarreau83749182007-04-15 20:56:27 +0200786 out_wakeup:
Willy Tarreaufdccded2008-08-29 18:19:04 +0200787 task_wakeup(t, TASK_WOKEN_IO);
Willy Tarreau83749182007-04-15 20:56:27 +0200788 out_nowake:
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200789 __conn_data_stop_send(conn); /* nothing more to write */
Willy Tarreaubaaee002006-06-26 02:48:02 +0200790}
791
Willy Tarreaubaaee002006-06-26 02:48:02 +0200792/*
Willy Tarreauf3c69202006-07-09 16:42:34 +0200793 * This function is used only for server health-checks. It handles the server's
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +0200794 * reply to an HTTP request, SSL HELLO or MySQL client Auth. It calls
Simon Horman4a741432013-02-23 15:35:38 +0900795 * set_server_check_status() to update check->status, check->duration
796 * and check->result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200797
798 * The set_server_check_status function is called with HCHK_STATUS_L7OKD if
799 * an HTTP server replies HTTP 2xx or 3xx (valid responses), if an SMTP server
800 * returns 2xx, HCHK_STATUS_L6OK if an SSL server returns at least 5 bytes in
801 * response to an SSL HELLO (the principle is that this is enough to
802 * distinguish between an SSL server and a pure TCP relay). All other cases will
803 * call it with a proper error status like HCHK_STATUS_L7STS, HCHK_STATUS_L6RSP,
804 * etc.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200805 */
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200806static void event_srv_chk_r(struct connection *conn)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200807{
Simon Horman4a741432013-02-23 15:35:38 +0900808 struct check *check = conn->owner;
809 struct server *s = check->server;
810 struct task *t = check->task;
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200811 char *desc;
Willy Tarreau03938182010-03-17 21:52:07 +0100812 int done;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +0200813 unsigned short msglen;
Willy Tarreau83749182007-04-15 20:56:27 +0200814
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100815 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau83749182007-04-15 20:56:27 +0200816 goto out_wakeup;
Willy Tarreau83749182007-04-15 20:56:27 +0200817
Willy Tarreau310987a2014-01-22 19:46:33 +0100818 if (conn->flags & CO_FL_HANDSHAKE)
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200819 return;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200820
Willy Tarreauc09572f2017-10-04 11:58:22 +0200821 /* wake() will take care of calling tcpcheck_main() */
822 if (check->type == PR_O2_TCPCHK_CHK)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200823 return;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200824
Willy Tarreau83749182007-04-15 20:56:27 +0200825 /* Warning! Linux returns EAGAIN on SO_ERROR if data are still available
826 * but the connection was closed on the remote end. Fortunately, recv still
827 * works correctly and we don't need to do the getsockopt() on linux.
828 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000829
830 /* Set buffer to point to the end of the data already read, and check
831 * that there is free space remaining. If the buffer is full, proceed
832 * with running the checks without attempting another socket read.
833 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000834
Willy Tarreau03938182010-03-17 21:52:07 +0100835 done = 0;
Nick Chalk57b1bf72010-03-16 15:50:46 +0000836
Simon Horman4a741432013-02-23 15:35:38 +0900837 conn->xprt->rcv_buf(conn, check->bi, check->bi->size);
Willy Tarreau54e917c2017-08-30 07:35:35 +0200838 if (conn->flags & (CO_FL_ERROR | CO_FL_SOCK_RD_SH)) {
Willy Tarreau03938182010-03-17 21:52:07 +0100839 done = 1;
Simon Horman4a741432013-02-23 15:35:38 +0900840 if ((conn->flags & CO_FL_ERROR) && !check->bi->i) {
Willy Tarreauf1503172012-09-28 19:39:36 +0200841 /* Report network errors only if we got no other data. Otherwise
842 * we'll let the upper layers decide whether the response is OK
843 * or not. It is very common that an RST sent by the server is
844 * reported as an error just after the last data chunk.
845 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200846 chk_report_conn_err(check, errno, 0);
Willy Tarreauc1a07962010-03-16 20:55:43 +0100847 goto out_wakeup;
848 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200849 }
850
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100851
Willy Tarreau03938182010-03-17 21:52:07 +0100852 /* Intermediate or complete response received.
Simon Horman4a741432013-02-23 15:35:38 +0900853 * Terminate string in check->bi->data buffer.
Willy Tarreau03938182010-03-17 21:52:07 +0100854 */
Simon Horman4a741432013-02-23 15:35:38 +0900855 if (check->bi->i < check->bi->size)
856 check->bi->data[check->bi->i] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100857 else {
Simon Horman4a741432013-02-23 15:35:38 +0900858 check->bi->data[check->bi->i - 1] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100859 done = 1; /* buffer full, don't wait for more data */
860 }
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200861
Nick Chalk57b1bf72010-03-16 15:50:46 +0000862 /* Run the checks... */
Simon Horman4a741432013-02-23 15:35:38 +0900863 switch (check->type) {
Willy Tarreau1620ec32011-08-06 17:05:02 +0200864 case PR_O2_HTTP_CHK:
Simon Horman4a741432013-02-23 15:35:38 +0900865 if (!done && check->bi->i < strlen("HTTP/1.0 000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100866 goto wait_more_data;
867
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100868 /* Check if the server speaks HTTP 1.X */
Simon Horman4a741432013-02-23 15:35:38 +0900869 if ((check->bi->i < strlen("HTTP/1.0 000\r")) ||
870 (memcmp(check->bi->data, "HTTP/1.", 7) != 0 ||
871 (*(check->bi->data + 12) != ' ' && *(check->bi->data + 12) != '\r')) ||
872 !isdigit((unsigned char) *(check->bi->data + 9)) || !isdigit((unsigned char) *(check->bi->data + 10)) ||
873 !isdigit((unsigned char) *(check->bi->data + 11))) {
874 cut_crlf(check->bi->data);
875 set_server_check_status(check, HCHK_STATUS_L7RSP, check->bi->data);
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200876
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100877 goto out_wakeup;
878 }
879
Simon Horman4a741432013-02-23 15:35:38 +0900880 check->code = str2uic(check->bi->data + 9);
881 desc = ltrim(check->bi->data + 12, ' ');
Nick Chalk57b1bf72010-03-16 15:50:46 +0000882
Willy Tarreaubd741542010-03-16 18:46:54 +0100883 if ((s->proxy->options & PR_O_DISABLE404) &&
Emeric Brun52a91d32017-08-31 14:41:55 +0200884 (s->next_state != SRV_ST_STOPPED) && (check->code == 404)) {
Nick Chalk57b1bf72010-03-16 15:50:46 +0000885 /* 404 may be accepted as "stopping" only if the server was up */
886 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900887 set_server_check_status(check, HCHK_STATUS_L7OKCD, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000888 }
Willy Tarreaubd741542010-03-16 18:46:54 +0100889 else if (s->proxy->options2 & PR_O2_EXP_TYPE) {
890 /* Run content verification check... We know we have at least 13 chars */
891 if (!httpchk_expect(s, done))
892 goto wait_more_data;
893 }
894 /* check the reply : HTTP/1.X 2xx and 3xx are OK */
Simon Horman4a741432013-02-23 15:35:38 +0900895 else if (*(check->bi->data + 9) == '2' || *(check->bi->data + 9) == '3') {
Willy Tarreaubd741542010-03-16 18:46:54 +0100896 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900897 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Willy Tarreaubd741542010-03-16 18:46:54 +0100898 }
Nick Chalk57b1bf72010-03-16 15:50:46 +0000899 else {
900 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900901 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000902 }
Willy Tarreau1620ec32011-08-06 17:05:02 +0200903 break;
904
905 case PR_O2_SSL3_CHK:
Simon Horman4a741432013-02-23 15:35:38 +0900906 if (!done && check->bi->i < 5)
Willy Tarreau03938182010-03-17 21:52:07 +0100907 goto wait_more_data;
908
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100909 /* Check for SSLv3 alert or handshake */
Simon Horman4a741432013-02-23 15:35:38 +0900910 if ((check->bi->i >= 5) && (*check->bi->data == 0x15 || *check->bi->data == 0x16))
911 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200912 else
Simon Horman4a741432013-02-23 15:35:38 +0900913 set_server_check_status(check, HCHK_STATUS_L6RSP, NULL);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200914 break;
915
916 case PR_O2_SMTP_CHK:
Simon Horman4a741432013-02-23 15:35:38 +0900917 if (!done && check->bi->i < strlen("000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100918 goto wait_more_data;
919
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200920 /* Check if the server speaks SMTP */
Simon Horman4a741432013-02-23 15:35:38 +0900921 if ((check->bi->i < strlen("000\r")) ||
922 (*(check->bi->data + 3) != ' ' && *(check->bi->data + 3) != '\r') ||
923 !isdigit((unsigned char) *check->bi->data) || !isdigit((unsigned char) *(check->bi->data + 1)) ||
924 !isdigit((unsigned char) *(check->bi->data + 2))) {
925 cut_crlf(check->bi->data);
926 set_server_check_status(check, HCHK_STATUS_L7RSP, check->bi->data);
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200927
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200928 goto out_wakeup;
929 }
930
Simon Horman4a741432013-02-23 15:35:38 +0900931 check->code = str2uic(check->bi->data);
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200932
Simon Horman4a741432013-02-23 15:35:38 +0900933 desc = ltrim(check->bi->data + 3, ' ');
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200934 cut_crlf(desc);
935
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100936 /* Check for SMTP code 2xx (should be 250) */
Simon Horman4a741432013-02-23 15:35:38 +0900937 if (*check->bi->data == '2')
938 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200939 else
Simon Horman4a741432013-02-23 15:35:38 +0900940 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200941 break;
942
Simon Hormana2b9dad2013-02-12 10:45:54 +0900943 case PR_O2_LB_AGENT_CHK: {
Willy Tarreau81f5d942013-12-09 20:51:51 +0100944 int status = HCHK_STATUS_CHECKED;
945 const char *hs = NULL; /* health status */
946 const char *as = NULL; /* admin status */
947 const char *ps = NULL; /* performance status */
Nenad Merdanovic174dd372016-04-24 23:10:06 +0200948 const char *cs = NULL; /* maxconn */
Willy Tarreau81f5d942013-12-09 20:51:51 +0100949 const char *err = NULL; /* first error to report */
950 const char *wrn = NULL; /* first warning to report */
951 char *cmd, *p;
Simon Hormana2b9dad2013-02-12 10:45:54 +0900952
Willy Tarreau81f5d942013-12-09 20:51:51 +0100953 /* We're getting an agent check response. The agent could
954 * have been disabled in the mean time with a long check
955 * still pending. It is important that we ignore the whole
956 * response.
957 */
958 if (!(check->server->agent.state & CHK_ST_ENABLED))
959 break;
960
961 /* The agent supports strings made of a single line ended by the
962 * first CR ('\r') or LF ('\n'). This line is composed of words
963 * delimited by spaces (' '), tabs ('\t'), or commas (','). The
964 * line may optionally contained a description of a state change
965 * after a sharp ('#'), which is only considered if a health state
966 * is announced.
967 *
968 * Words may be composed of :
969 * - a numeric weight suffixed by the percent character ('%').
970 * - a health status among "up", "down", "stopped", and "fail".
971 * - an admin status among "ready", "drain", "maint".
972 *
973 * These words may appear in any order. If multiple words of the
974 * same category appear, the last one wins.
975 */
976
Willy Tarreau9809b782013-12-11 21:40:11 +0100977 p = check->bi->data;
978 while (*p && *p != '\n' && *p != '\r')
979 p++;
980
981 if (!*p) {
982 if (!done)
983 goto wait_more_data;
Simon Hormana2b9dad2013-02-12 10:45:54 +0900984
Willy Tarreau9809b782013-12-11 21:40:11 +0100985 /* at least inform the admin that the agent is mis-behaving */
986 set_server_check_status(check, check->status, "Ignoring incomplete line from agent");
987 break;
988 }
Willy Tarreau81f5d942013-12-09 20:51:51 +0100989
Willy Tarreau9809b782013-12-11 21:40:11 +0100990 *p = 0;
Willy Tarreau81f5d942013-12-09 20:51:51 +0100991 cmd = check->bi->data;
Simon Hormana2b9dad2013-02-12 10:45:54 +0900992
Willy Tarreau81f5d942013-12-09 20:51:51 +0100993 while (*cmd) {
994 /* look for next word */
995 if (*cmd == ' ' || *cmd == '\t' || *cmd == ',') {
996 cmd++;
997 continue;
998 }
Simon Horman671b6f02013-11-25 10:46:39 +0900999
Willy Tarreau81f5d942013-12-09 20:51:51 +01001000 if (*cmd == '#') {
1001 /* this is the beginning of a health status description,
1002 * skip the sharp and blanks.
1003 */
1004 cmd++;
1005 while (*cmd == '\t' || *cmd == ' ')
1006 cmd++;
Simon Horman671b6f02013-11-25 10:46:39 +09001007 break;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001008 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001009
1010 /* find the end of the word so that we have a null-terminated
1011 * word between <cmd> and <p>.
1012 */
1013 p = cmd + 1;
1014 while (*p && *p != '\t' && *p != ' ' && *p != '\n' && *p != ',')
1015 p++;
1016 if (*p)
1017 *p++ = 0;
1018
1019 /* first, health statuses */
1020 if (strcasecmp(cmd, "up") == 0) {
1021 check->health = check->rise + check->fall - 1;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001022 status = HCHK_STATUS_L7OKD;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001023 hs = cmd;
1024 }
1025 else if (strcasecmp(cmd, "down") == 0) {
1026 check->health = 0;
1027 status = HCHK_STATUS_L7STS;
1028 hs = cmd;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001029 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001030 else if (strcasecmp(cmd, "stopped") == 0) {
1031 check->health = 0;
1032 status = HCHK_STATUS_L7STS;
1033 hs = cmd;
1034 }
1035 else if (strcasecmp(cmd, "fail") == 0) {
1036 check->health = 0;
1037 status = HCHK_STATUS_L7STS;
1038 hs = cmd;
1039 }
1040 /* admin statuses */
1041 else if (strcasecmp(cmd, "ready") == 0) {
1042 as = cmd;
1043 }
1044 else if (strcasecmp(cmd, "drain") == 0) {
1045 as = cmd;
1046 }
1047 else if (strcasecmp(cmd, "maint") == 0) {
1048 as = cmd;
1049 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001050 /* try to parse a weight here and keep the last one */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001051 else if (isdigit((unsigned char)*cmd) && strchr(cmd, '%') != NULL) {
1052 ps = cmd;
1053 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001054 /* try to parse a maxconn here */
1055 else if (strncasecmp(cmd, "maxconn:", strlen("maxconn:")) == 0) {
1056 cs = cmd;
1057 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001058 else {
1059 /* keep a copy of the first error */
1060 if (!err)
1061 err = cmd;
1062 }
1063 /* skip to next word */
1064 cmd = p;
1065 }
1066 /* here, cmd points either to \0 or to the beginning of a
1067 * description. Skip possible leading spaces.
1068 */
1069 while (*cmd == ' ' || *cmd == '\n')
1070 cmd++;
1071
1072 /* First, update the admin status so that we avoid sending other
1073 * possibly useless warnings and can also update the health if
1074 * present after going back up.
1075 */
1076 if (as) {
1077 if (strcasecmp(as, "drain") == 0)
1078 srv_adm_set_drain(check->server);
1079 else if (strcasecmp(as, "maint") == 0)
1080 srv_adm_set_maint(check->server);
1081 else
1082 srv_adm_set_ready(check->server);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001083 }
1084
Willy Tarreau81f5d942013-12-09 20:51:51 +01001085 /* now change weights */
1086 if (ps) {
1087 const char *msg;
1088
1089 msg = server_parse_weight_change_request(s, ps);
1090 if (!wrn || !*wrn)
1091 wrn = msg;
1092 }
1093
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001094 if (cs) {
1095 const char *msg;
1096
1097 cs += strlen("maxconn:");
1098
1099 msg = server_parse_maxconn_change_request(s, cs);
1100 if (!wrn || !*wrn)
1101 wrn = msg;
1102 }
1103
Willy Tarreau81f5d942013-12-09 20:51:51 +01001104 /* and finally health status */
1105 if (hs) {
1106 /* We'll report some of the warnings and errors we have
1107 * here. Down reports are critical, we leave them untouched.
1108 * Lack of report, or report of 'UP' leaves the room for
1109 * ERR first, then WARN.
Simon Hormana2b9dad2013-02-12 10:45:54 +09001110 */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001111 const char *msg = cmd;
1112 struct chunk *t;
1113
1114 if (!*msg || status == HCHK_STATUS_L7OKD) {
1115 if (err && *err)
1116 msg = err;
1117 else if (wrn && *wrn)
1118 msg = wrn;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001119 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001120
1121 t = get_trash_chunk();
1122 chunk_printf(t, "via agent : %s%s%s%s",
1123 hs, *msg ? " (" : "",
1124 msg, *msg ? ")" : "");
1125
1126 set_server_check_status(check, status, t->str);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001127 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001128 else if (err && *err) {
1129 /* No status change but we'd like to report something odd.
1130 * Just report the current state and copy the message.
1131 */
1132 chunk_printf(&trash, "agent reports an error : %s", err);
1133 set_server_check_status(check, status/*check->status*/, trash.str);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001134
Willy Tarreau81f5d942013-12-09 20:51:51 +01001135 }
1136 else if (wrn && *wrn) {
1137 /* No status change but we'd like to report something odd.
1138 * Just report the current state and copy the message.
1139 */
1140 chunk_printf(&trash, "agent warns : %s", wrn);
1141 set_server_check_status(check, status/*check->status*/, trash.str);
1142 }
1143 else
1144 set_server_check_status(check, status, NULL);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001145 break;
1146 }
1147
Willy Tarreau1620ec32011-08-06 17:05:02 +02001148 case PR_O2_PGSQL_CHK:
Simon Horman4a741432013-02-23 15:35:38 +09001149 if (!done && check->bi->i < 9)
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001150 goto wait_more_data;
1151
Simon Horman4a741432013-02-23 15:35:38 +09001152 if (check->bi->data[0] == 'R') {
1153 set_server_check_status(check, HCHK_STATUS_L7OKD, "PostgreSQL server is ok");
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001154 }
1155 else {
Simon Horman4a741432013-02-23 15:35:38 +09001156 if ((check->bi->data[0] == 'E') && (check->bi->data[5]!=0) && (check->bi->data[6]!=0))
1157 desc = &check->bi->data[6];
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001158 else
1159 desc = "PostgreSQL unknown error";
1160
Simon Horman4a741432013-02-23 15:35:38 +09001161 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001162 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001163 break;
1164
1165 case PR_O2_REDIS_CHK:
Simon Horman4a741432013-02-23 15:35:38 +09001166 if (!done && check->bi->i < 7)
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001167 goto wait_more_data;
1168
Simon Horman4a741432013-02-23 15:35:38 +09001169 if (strcmp(check->bi->data, "+PONG\r\n") == 0) {
1170 set_server_check_status(check, HCHK_STATUS_L7OKD, "Redis server is ok");
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001171 }
1172 else {
Simon Horman4a741432013-02-23 15:35:38 +09001173 set_server_check_status(check, HCHK_STATUS_L7STS, check->bi->data);
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001174 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001175 break;
1176
1177 case PR_O2_MYSQL_CHK:
Simon Horman4a741432013-02-23 15:35:38 +09001178 if (!done && check->bi->i < 5)
Willy Tarreau03938182010-03-17 21:52:07 +01001179 goto wait_more_data;
1180
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001181 if (s->proxy->check_len == 0) { // old mode
Simon Horman4a741432013-02-23 15:35:38 +09001182 if (*(check->bi->data + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001183 /* We set the MySQL Version in description for information purpose
1184 * FIXME : it can be cool to use MySQL Version for other purpose,
1185 * like mark as down old MySQL server.
1186 */
Simon Horman4a741432013-02-23 15:35:38 +09001187 if (check->bi->i > 51) {
1188 desc = ltrim(check->bi->data + 5, ' ');
1189 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001190 }
1191 else {
1192 if (!done)
1193 goto wait_more_data;
1194 /* it seems we have a OK packet but without a valid length,
1195 * it must be a protocol error
1196 */
Simon Horman4a741432013-02-23 15:35:38 +09001197 set_server_check_status(check, HCHK_STATUS_L7RSP, check->bi->data);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001198 }
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001199 }
1200 else {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001201 /* An error message is attached in the Error packet */
Simon Horman4a741432013-02-23 15:35:38 +09001202 desc = ltrim(check->bi->data + 7, ' ');
1203 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001204 }
1205 } else {
Simon Horman4a741432013-02-23 15:35:38 +09001206 unsigned int first_packet_len = ((unsigned int) *check->bi->data) +
1207 (((unsigned int) *(check->bi->data + 1)) << 8) +
1208 (((unsigned int) *(check->bi->data + 2)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001209
Simon Horman4a741432013-02-23 15:35:38 +09001210 if (check->bi->i == first_packet_len + 4) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001211 /* MySQL Error packet always begin with field_count = 0xff */
Simon Horman4a741432013-02-23 15:35:38 +09001212 if (*(check->bi->data + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001213 /* We have only one MySQL packet and it is a Handshake Initialization packet
1214 * but we need to have a second packet to know if it is alright
1215 */
Simon Horman4a741432013-02-23 15:35:38 +09001216 if (!done && check->bi->i < first_packet_len + 5)
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001217 goto wait_more_data;
1218 }
1219 else {
1220 /* We have only one packet and it is an Error packet,
1221 * an error message is attached, so we can display it
1222 */
Simon Horman4a741432013-02-23 15:35:38 +09001223 desc = &check->bi->data[7];
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001224 //Warning("onlyoneERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001225 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001226 }
Simon Horman4a741432013-02-23 15:35:38 +09001227 } else if (check->bi->i > first_packet_len + 4) {
1228 unsigned int second_packet_len = ((unsigned int) *(check->bi->data + first_packet_len + 4)) +
1229 (((unsigned int) *(check->bi->data + first_packet_len + 5)) << 8) +
1230 (((unsigned int) *(check->bi->data + first_packet_len + 6)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001231
Simon Horman4a741432013-02-23 15:35:38 +09001232 if (check->bi->i == first_packet_len + 4 + second_packet_len + 4 ) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001233 /* We have 2 packets and that's good */
1234 /* Check if the second packet is a MySQL Error packet or not */
Simon Horman4a741432013-02-23 15:35:38 +09001235 if (*(check->bi->data + first_packet_len + 8) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001236 /* No error packet */
1237 /* We set the MySQL Version in description for information purpose */
Simon Horman4a741432013-02-23 15:35:38 +09001238 desc = &check->bi->data[5];
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001239 //Warning("2packetOK: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001240 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001241 }
1242 else {
1243 /* An error message is attached in the Error packet
1244 * so we can display it ! :)
1245 */
Simon Horman4a741432013-02-23 15:35:38 +09001246 desc = &check->bi->data[first_packet_len+11];
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001247 //Warning("2packetERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001248 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001249 }
1250 }
1251 }
1252 else {
Willy Tarreau03938182010-03-17 21:52:07 +01001253 if (!done)
1254 goto wait_more_data;
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001255 /* it seems we have a Handshake Initialization packet but without a valid length,
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001256 * it must be a protocol error
1257 */
Simon Horman4a741432013-02-23 15:35:38 +09001258 desc = &check->bi->data[5];
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001259 //Warning("protoerr: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001260 set_server_check_status(check, HCHK_STATUS_L7RSP, desc);
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001261 }
1262 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001263 break;
1264
1265 case PR_O2_LDAP_CHK:
Simon Horman4a741432013-02-23 15:35:38 +09001266 if (!done && check->bi->i < 14)
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001267 goto wait_more_data;
1268
1269 /* Check if the server speaks LDAP (ASN.1/BER)
1270 * http://en.wikipedia.org/wiki/Basic_Encoding_Rules
1271 * http://tools.ietf.org/html/rfc4511
1272 */
1273
1274 /* http://tools.ietf.org/html/rfc4511#section-4.1.1
1275 * LDAPMessage: 0x30: SEQUENCE
1276 */
Simon Horman4a741432013-02-23 15:35:38 +09001277 if ((check->bi->i < 14) || (*(check->bi->data) != '\x30')) {
1278 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001279 }
1280 else {
1281 /* size of LDAPMessage */
Simon Horman4a741432013-02-23 15:35:38 +09001282 msglen = (*(check->bi->data + 1) & 0x80) ? (*(check->bi->data + 1) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001283
1284 /* http://tools.ietf.org/html/rfc4511#section-4.2.2
1285 * messageID: 0x02 0x01 0x01: INTEGER 1
1286 * protocolOp: 0x61: bindResponse
1287 */
1288 if ((msglen > 2) ||
Simon Horman4a741432013-02-23 15:35:38 +09001289 (memcmp(check->bi->data + 2 + msglen, "\x02\x01\x01\x61", 4) != 0)) {
1290 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001291
1292 goto out_wakeup;
1293 }
1294
1295 /* size of bindResponse */
Simon Horman4a741432013-02-23 15:35:38 +09001296 msglen += (*(check->bi->data + msglen + 6) & 0x80) ? (*(check->bi->data + msglen + 6) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001297
1298 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1299 * ldapResult: 0x0a 0x01: ENUMERATION
1300 */
1301 if ((msglen > 4) ||
Simon Horman4a741432013-02-23 15:35:38 +09001302 (memcmp(check->bi->data + 7 + msglen, "\x0a\x01", 2) != 0)) {
1303 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001304
1305 goto out_wakeup;
1306 }
1307
1308 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1309 * resultCode
1310 */
Simon Horman4a741432013-02-23 15:35:38 +09001311 check->code = *(check->bi->data + msglen + 9);
1312 if (check->code) {
1313 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 +02001314 } else {
Simon Horman4a741432013-02-23 15:35:38 +09001315 set_server_check_status(check, HCHK_STATUS_L7OKD, "Success");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001316 }
1317 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001318 break;
1319
Christopher Fauletba7bc162016-11-07 21:07:38 +01001320 case PR_O2_SPOP_CHK: {
1321 unsigned int framesz;
1322 char err[HCHK_DESC_LEN];
1323
1324 if (!done && check->bi->i < 4)
1325 goto wait_more_data;
1326
1327 memcpy(&framesz, check->bi->data, 4);
1328 framesz = ntohl(framesz);
1329
1330 if (!done && check->bi->i < (4+framesz))
1331 goto wait_more_data;
1332
Christopher Faulet8ef75252017-02-20 22:56:03 +01001333 if (!spoe_handle_healthcheck_response(check->bi->data+4, framesz, err, HCHK_DESC_LEN-1))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001334 set_server_check_status(check, HCHK_STATUS_L7OKD, "SPOA server is ok");
1335 else
1336 set_server_check_status(check, HCHK_STATUS_L7STS, err);
1337 break;
1338 }
1339
Willy Tarreau1620ec32011-08-06 17:05:02 +02001340 default:
Willy Tarreau06559ac2013-12-05 01:53:08 +01001341 /* for other checks (eg: pure TCP), delegate to the main task */
Willy Tarreau1620ec32011-08-06 17:05:02 +02001342 break;
1343 } /* switch */
Willy Tarreau83749182007-04-15 20:56:27 +02001344
Willy Tarreauc7dd71a2007-11-30 08:33:21 +01001345 out_wakeup:
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001346 /* collect possible new errors */
1347 if (conn->flags & CO_FL_ERROR)
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001348 chk_report_conn_err(check, 0, 0);
Willy Tarreaubaaee002006-06-26 02:48:02 +02001349
Nick Chalk57b1bf72010-03-16 15:50:46 +00001350 /* Reset the check buffer... */
Simon Horman4a741432013-02-23 15:35:38 +09001351 *check->bi->data = '\0';
1352 check->bi->i = 0;
Nick Chalk57b1bf72010-03-16 15:50:46 +00001353
Steven Davidovitz544d4812017-03-08 11:06:20 -08001354 /* Close the connection... We still attempt to nicely close if,
1355 * for instance, SSL needs to send a "close notify." Later, we perform
1356 * a hard close and reset the connection if some data are pending,
1357 * otherwise we end up with many TIME_WAITs and eat all the source port
1358 * range quickly. To avoid sending RSTs all the time, we first try to
1359 * drain pending data.
Willy Tarreaufd29cc52012-11-23 09:18:20 +01001360 */
Willy Tarreaub4017d02015-03-12 23:11:26 +01001361 __conn_data_stop_both(conn);
Steven Davidovitz544d4812017-03-08 11:06:20 -08001362 conn_data_shutw(conn);
Willy Tarreau2b57cb82013-06-10 19:56:38 +02001363
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001364 /* OK, let's not stay here forever */
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001365 if (check->result == CHK_RES_FAILED)
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001366 conn->flags |= CO_FL_ERROR;
1367
Willy Tarreaufdccded2008-08-29 18:19:04 +02001368 task_wakeup(t, TASK_WOKEN_IO);
Willy Tarreau3267d362012-08-17 23:53:56 +02001369 return;
Willy Tarreau03938182010-03-17 21:52:07 +01001370
1371 wait_more_data:
Willy Tarreauf817e9f2014-01-10 16:58:45 +01001372 __conn_data_want_recv(conn);
Willy Tarreaubaaee002006-06-26 02:48:02 +02001373}
1374
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001375/*
1376 * This function is used only for server health-checks. It handles connection
1377 * status updates including errors. If necessary, it wakes the check task up.
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001378 * It returns 0 on normal cases, <0 if at least one close() has happened on the
1379 * connection (eg: reconnect).
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001380 */
1381static int wake_srv_chk(struct connection *conn)
Willy Tarreau20bea422012-07-06 12:00:49 +02001382{
Simon Horman4a741432013-02-23 15:35:38 +09001383 struct check *check = conn->owner;
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001384 int ret = 0;
Willy Tarreau20bea422012-07-06 12:00:49 +02001385
Willy Tarreauc09572f2017-10-04 11:58:22 +02001386 /* we may have to make progress on the TCP checks */
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001387 if (check->type == PR_O2_TCPCHK_CHK) {
1388 ret = tcpcheck_main(check);
Willy Tarreau00149122017-10-04 18:05:01 +02001389 conn = check->conn;
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001390 }
Willy Tarreauc09572f2017-10-04 11:58:22 +02001391
Willy Tarreau6c560da2012-11-24 11:14:45 +01001392 if (unlikely(conn->flags & CO_FL_ERROR)) {
Willy Tarreau02b0f582013-12-03 15:42:33 +01001393 /* We may get error reports bypassing the I/O handlers, typically
1394 * the case when sending a pure TCP check which fails, then the I/O
1395 * handlers above are not called. This is completely handled by the
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001396 * main processing task so let's simply wake it up. If we get here,
1397 * we expect errno to still be valid.
1398 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001399 chk_report_conn_err(check, errno, 0);
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001400
Willy Tarreau2d351b62013-12-05 02:36:25 +01001401 __conn_data_stop_both(conn);
1402 task_wakeup(check->task, TASK_WOKEN_IO);
1403 }
Willy Tarreau3be293f2014-02-05 18:31:24 +01001404 else if (!(conn->flags & (CO_FL_DATA_RD_ENA|CO_FL_DATA_WR_ENA|CO_FL_HANDSHAKE))) {
1405 /* we may get here if only a connection probe was required : we
1406 * don't have any data to send nor anything expected in response,
1407 * so the completion of the connection establishment is enough.
1408 */
1409 task_wakeup(check->task, TASK_WOKEN_IO);
1410 }
Willy Tarreau2d351b62013-12-05 02:36:25 +01001411
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001412 if (check->result != CHK_RES_UNKNOWN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001413 /* We're here because nobody wants to handle the error, so we
1414 * sure want to abort the hard way.
Willy Tarreau02b0f582013-12-03 15:42:33 +01001415 */
Willy Tarreaud85c4852015-03-13 00:40:28 +01001416 conn_sock_drain(conn);
Willy Tarreauf79c8172013-10-21 16:30:56 +02001417 conn_force_close(conn);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001418 ret = -1;
Willy Tarreau2d351b62013-12-05 02:36:25 +01001419 }
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001420
1421 /* if a connection got replaced, we must absolutely prevent the connection
1422 * handler from touching its fd, and perform the FD polling updates ourselves
1423 */
1424 if (ret < 0)
1425 conn_cond_update_polling(conn);
1426
1427 return ret;
Willy Tarreau20bea422012-07-06 12:00:49 +02001428}
1429
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001430struct data_cb check_conn_cb = {
1431 .recv = event_srv_chk_r,
1432 .send = event_srv_chk_w,
1433 .wake = wake_srv_chk,
Willy Tarreau8e0bb0a2016-11-24 16:58:12 +01001434 .name = "CHCK",
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001435};
1436
Willy Tarreaubaaee002006-06-26 02:48:02 +02001437/*
Willy Tarreau2e993902011-10-31 11:53:20 +01001438 * updates the server's weight during a warmup stage. Once the final weight is
1439 * reached, the task automatically stops. Note that any server status change
1440 * must have updated s->last_change accordingly.
1441 */
1442static struct task *server_warmup(struct task *t)
1443{
1444 struct server *s = t->context;
1445
1446 /* by default, plan on stopping the task */
1447 t->expire = TICK_ETERNITY;
Emeric Brun52a91d32017-08-31 14:41:55 +02001448 if ((s->next_admin & SRV_ADMF_MAINT) ||
1449 (s->next_state != SRV_ST_STARTING))
Willy Tarreau2e993902011-10-31 11:53:20 +01001450 return t;
1451
Willy Tarreau892337c2014-05-13 23:41:20 +02001452 /* recalculate the weights and update the state */
Willy Tarreau004e0452013-11-21 11:22:01 +01001453 server_recalc_eweight(s);
Willy Tarreau2e993902011-10-31 11:53:20 +01001454
1455 /* probably that we can refill this server with a bit more connections */
Willy Tarreau4aac7db2014-05-16 11:48:10 +02001456 pendconn_grab_from_px(s);
Willy Tarreau2e993902011-10-31 11:53:20 +01001457
1458 /* get back there in 1 second or 1/20th of the slowstart interval,
1459 * whichever is greater, resulting in small 5% steps.
1460 */
Emeric Brun52a91d32017-08-31 14:41:55 +02001461 if (s->next_state == SRV_ST_STARTING)
Willy Tarreau2e993902011-10-31 11:53:20 +01001462 t->expire = tick_add(now_ms, MS_TO_TICKS(MAX(1000, s->slowstart / 20)));
1463 return t;
1464}
1465
Willy Tarreau894c6422017-10-04 15:58:52 +02001466/* returns the first NON-COMMENT tcp-check rule from list <list> or NULL if
1467 * none was found.
1468 */
1469static struct tcpcheck_rule *get_first_tcpcheck_rule(struct list *list)
1470{
1471 struct tcpcheck_rule *r;
1472
1473 list_for_each_entry(r, list, list) {
1474 if (r->action != TCPCHK_ACT_COMMENT)
1475 return r;
1476 }
1477 return NULL;
1478}
1479
Willy Tarreau2e993902011-10-31 11:53:20 +01001480/*
Simon Horman98637e52014-06-20 12:30:16 +09001481 * establish a server health-check that makes use of a connection.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001482 *
1483 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02001484 * - SF_ERR_NONE if everything's OK and tcpcheck_main() was not called
1485 * - SF_ERR_UP if if everything's OK and tcpcheck_main() was called
1486 * - SF_ERR_SRVTO if there are no more servers
1487 * - SF_ERR_SRVCL if the connection was refused by the server
1488 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
1489 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
1490 * - SF_ERR_INTERNAL for any other purely internal errors
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001491 * - 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 +01001492 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001493 * Note that we try to prevent the network stack from sending the ACK during the
1494 * connect() when a pure TCP check is used (without PROXY protocol).
1495 */
Simon Horman98637e52014-06-20 12:30:16 +09001496static int connect_conn_chk(struct task *t)
Simon Hormanb00d17a2014-06-13 16:18:16 +09001497{
1498 struct check *check = t->context;
1499 struct server *s = check->server;
1500 struct connection *conn = check->conn;
1501 struct protocol *proto;
Willy Tarreauf411cce2017-10-04 16:21:19 +02001502 struct tcpcheck_rule *tcp_rule = NULL;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001503 int ret;
Willy Tarreauf3d34822014-12-08 12:11:28 +01001504 int quickack;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001505
Willy Tarreau00149122017-10-04 18:05:01 +02001506 /* we cannot have a connection here */
1507 if (conn)
1508 return SF_ERR_INTERNAL;
1509
Simon Hormanb00d17a2014-06-13 16:18:16 +09001510 /* tcpcheck send/expect initialisation */
Willy Tarreauf411cce2017-10-04 16:21:19 +02001511 if (check->type == PR_O2_TCPCHK_CHK) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001512 check->current_step = NULL;
Willy Tarreauf411cce2017-10-04 16:21:19 +02001513 tcp_rule = get_first_tcpcheck_rule(check->tcpcheck_rules);
1514 }
Simon Hormanb00d17a2014-06-13 16:18:16 +09001515
1516 /* prepare the check buffer.
1517 * This should not be used if check is the secondary agent check
1518 * of a server as s->proxy->check_req will relate to the
1519 * configuration of the primary check. Similarly, tcp-check uses
1520 * its own strings.
1521 */
1522 if (check->type && check->type != PR_O2_TCPCHK_CHK && !(check->state & CHK_ST_AGENT)) {
1523 bo_putblk(check->bo, s->proxy->check_req, s->proxy->check_len);
1524
1525 /* we want to check if this host replies to HTTP or SSLv3 requests
1526 * so we'll send the request, and won't wake the checker up now.
1527 */
1528 if ((check->type) == PR_O2_SSL3_CHK) {
1529 /* SSL requires that we put Unix time in the request */
1530 int gmt_time = htonl(date.tv_sec);
1531 memcpy(check->bo->data + 11, &gmt_time, 4);
1532 }
1533 else if ((check->type) == PR_O2_HTTP_CHK) {
1534 if (s->proxy->options2 & PR_O2_CHK_SNDST)
1535 bo_putblk(check->bo, trash.str, httpchk_build_status_header(s, trash.str, trash.size));
Cyril Bonté32602d22015-01-30 00:07:07 +01001536 /* prevent HTTP keep-alive when "http-check expect" is used */
1537 if (s->proxy->options2 & PR_O2_EXP_TYPE)
1538 bo_putstr(check->bo, "Connection: close\r\n");
Simon Hormanb00d17a2014-06-13 16:18:16 +09001539 bo_putstr(check->bo, "\r\n");
1540 *check->bo->p = '\0'; /* to make gdb output easier to read */
1541 }
1542 }
1543
James Brown55f9ff12015-10-21 18:19:05 -07001544 if ((check->type & PR_O2_LB_AGENT_CHK) && check->send_string_len) {
1545 bo_putblk(check->bo, check->send_string, check->send_string_len);
1546 }
1547
Willy Tarreauf411cce2017-10-04 16:21:19 +02001548 /* for tcp-checks, the initial connection setup is handled separately as
1549 * it may be sent to a specific port and not to the server's.
1550 */
1551 if (tcp_rule && tcp_rule->action == TCPCHK_ACT_CONNECT) {
1552 tcpcheck_main(check);
1553 return SF_ERR_UP;
1554 }
1555
Simon Hormanb00d17a2014-06-13 16:18:16 +09001556 /* prepare a new connection */
Willy Tarreau00149122017-10-04 18:05:01 +02001557 conn = check->conn = conn_new();
1558 if (!check->conn)
1559 return SF_ERR_RESOURCE;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001560
Simon Horman41f58762015-01-30 11:22:56 +09001561 if (is_addr(&check->addr)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001562 /* we'll connect to the check addr specified on the server */
Simon Horman41f58762015-01-30 11:22:56 +09001563 conn->addr.to = check->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001564 }
1565 else {
1566 /* we'll connect to the addr on the server */
1567 conn->addr.to = s->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001568 }
1569
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001570 if ((conn->addr.to.ss_family == AF_INET) || (conn->addr.to.ss_family == AF_INET6)) {
1571 int i = 0;
1572
1573 i = srv_check_healthcheck_port(check);
1574 if (i == 0) {
1575 conn->owner = check;
1576 return SF_ERR_CHK_PORT;
1577 }
1578
1579 set_host_port(&conn->addr.to, i);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001580 }
1581
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01001582 proto = protocol_by_family(conn->addr.to.ss_family);
1583
1584 conn_prepare(conn, proto, check->xprt);
1585 conn_attach(conn, check, &check_conn_cb);
1586 conn->target = &s->obj_type;
1587
1588 /* no client address */
1589 clear_addr(&conn->addr.from);
1590
Willy Tarreauf3d34822014-12-08 12:11:28 +01001591 /* only plain tcp-check supports quick ACK */
1592 quickack = check->type == 0 || check->type == PR_O2_TCPCHK_CHK;
1593
Willy Tarreauf411cce2017-10-04 16:21:19 +02001594 if (tcp_rule && tcp_rule->action == TCPCHK_ACT_EXPECT)
1595 quickack = 0;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001596
Willy Tarreaue7dff022015-04-03 01:14:29 +02001597 ret = SF_ERR_INTERNAL;
Olivier Houchardb68fda42017-08-04 18:39:01 +02001598 if (proto && proto->connect)
Willy Tarreauf3d34822014-12-08 12:11:28 +01001599 ret = proto->connect(conn, check->type, quickack ? 2 : 0);
Willy Tarreauf4949772017-05-06 08:45:28 +02001600 if (s->check.send_proxy && !(check->state & CHK_ST_AGENT)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001601 conn->send_proxy_ofs = 1;
1602 conn->flags |= CO_FL_SEND_PROXY;
1603 }
1604
1605 return ret;
1606}
1607
Simon Horman98637e52014-06-20 12:30:16 +09001608static struct list pid_list = LIST_HEAD_INIT(pid_list);
1609static struct pool_head *pool2_pid_list;
1610
1611void block_sigchld(void)
1612{
1613 sigset_t set;
1614 sigemptyset(&set);
1615 sigaddset(&set, SIGCHLD);
Willy Tarreauebc92442016-06-21 17:29:46 +02001616 assert(sigprocmask(SIG_BLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001617}
1618
1619void unblock_sigchld(void)
1620{
1621 sigset_t set;
1622 sigemptyset(&set);
Willy Tarreauebc92442016-06-21 17:29:46 +02001623 sigaddset(&set, SIGCHLD);
1624 assert(sigprocmask(SIG_UNBLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001625}
1626
Simon Horman98637e52014-06-20 12:30:16 +09001627static struct pid_list *pid_list_add(pid_t pid, struct task *t)
1628{
1629 struct pid_list *elem;
1630 struct check *check = t->context;
1631
1632 elem = pool_alloc2(pool2_pid_list);
1633 if (!elem)
1634 return NULL;
1635 elem->pid = pid;
1636 elem->t = t;
1637 elem->exited = 0;
1638 check->curpid = elem;
1639 LIST_INIT(&elem->list);
1640 LIST_ADD(&pid_list, &elem->list);
1641 return elem;
1642}
1643
Simon Horman98637e52014-06-20 12:30:16 +09001644static void pid_list_del(struct pid_list *elem)
1645{
1646 struct check *check;
1647
1648 if (!elem)
1649 return;
1650
Simon Horman98637e52014-06-20 12:30:16 +09001651 LIST_DEL(&elem->list);
Simon Horman98637e52014-06-20 12:30:16 +09001652 if (!elem->exited)
1653 kill(elem->pid, SIGTERM);
1654
1655 check = elem->t->context;
1656 check->curpid = NULL;
1657 pool_free2(pool2_pid_list, elem);
1658}
1659
1660/* Called from inside SIGCHLD handler, SIGCHLD is blocked */
1661static void pid_list_expire(pid_t pid, int status)
1662{
1663 struct pid_list *elem;
1664
1665 list_for_each_entry(elem, &pid_list, list) {
1666 if (elem->pid == pid) {
1667 elem->t->expire = now_ms;
1668 elem->status = status;
1669 elem->exited = 1;
Cyril Bonté9dbcfab2014-08-07 01:55:39 +02001670 task_wakeup(elem->t, TASK_WOKEN_IO);
Simon Horman98637e52014-06-20 12:30:16 +09001671 return;
1672 }
1673 }
1674}
1675
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001676static void sigchld_handler(struct sig_handler *sh)
Simon Horman98637e52014-06-20 12:30:16 +09001677{
1678 pid_t pid;
1679 int status;
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001680
Simon Horman98637e52014-06-20 12:30:16 +09001681 while ((pid = waitpid(0, &status, WNOHANG)) > 0)
1682 pid_list_expire(pid, status);
1683}
1684
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001685static int init_pid_list(void)
1686{
Simon Horman98637e52014-06-20 12:30:16 +09001687 if (pool2_pid_list != NULL)
1688 /* Nothing to do */
1689 return 0;
1690
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001691 if (!signal_register_fct(SIGCHLD, sigchld_handler, SIGCHLD)) {
Simon Horman98637e52014-06-20 12:30:16 +09001692 Alert("Failed to set signal handler for external health checks: %s. Aborting.\n",
1693 strerror(errno));
1694 return 1;
1695 }
1696
1697 pool2_pid_list = create_pool("pid_list", sizeof(struct pid_list), MEM_F_SHARED);
1698 if (pool2_pid_list == NULL) {
1699 Alert("Failed to allocate memory pool for external health checks: %s. Aborting.\n",
1700 strerror(errno));
1701 return 1;
1702 }
1703
1704 return 0;
1705}
1706
Cyril Bontéac92a062014-12-27 22:28:38 +01001707/* helper macro to set an environment variable and jump to a specific label on failure. */
1708#define EXTCHK_SETENV(check, envidx, value, fail) { if (extchk_setenv(check, envidx, value)) goto fail; }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001709
1710/*
Cyril Bontéac92a062014-12-27 22:28:38 +01001711 * helper function to allocate enough memory to store an environment variable.
1712 * It will also check that the environment variable is updatable, and silently
1713 * fail if not.
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001714 */
Cyril Bontéac92a062014-12-27 22:28:38 +01001715static int extchk_setenv(struct check *check, int idx, const char *value)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001716{
1717 int len, ret;
Cyril Bontéac92a062014-12-27 22:28:38 +01001718 char *envname;
1719 int vmaxlen;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001720
Cyril Bontéac92a062014-12-27 22:28:38 +01001721 if (idx < 0 || idx >= EXTCHK_SIZE) {
1722 Alert("Illegal environment variable index %d. Aborting.\n", idx);
1723 return 1;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001724 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001725
1726 envname = extcheck_envs[idx].name;
1727 vmaxlen = extcheck_envs[idx].vmaxlen;
1728
1729 /* Check if the environment variable is already set, and silently reject
1730 * the update if this one is not updatable. */
1731 if ((vmaxlen == EXTCHK_SIZE_EVAL_INIT) && (check->envp[idx]))
1732 return 0;
1733
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001734 /* Instead of sending NOT_USED, sending an empty value is preferable */
1735 if (strcmp(value, "NOT_USED") == 0) {
1736 value = "";
1737 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001738
1739 len = strlen(envname) + 1;
1740 if (vmaxlen == EXTCHK_SIZE_EVAL_INIT)
1741 len += strlen(value);
1742 else
1743 len += vmaxlen;
1744
1745 if (!check->envp[idx])
1746 check->envp[idx] = malloc(len + 1);
1747
1748 if (!check->envp[idx]) {
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001749 Alert("Failed to allocate memory for the environment variable '%s'. Aborting.\n", envname);
1750 return 1;
1751 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001752 ret = snprintf(check->envp[idx], len + 1, "%s=%s", envname, value);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001753 if (ret < 0) {
1754 Alert("Failed to store the environment variable '%s'. Reason : %s. Aborting.\n", envname, strerror(errno));
1755 return 1;
1756 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001757 else if (ret > len) {
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001758 Alert("Environment variable '%s' was truncated. Aborting.\n", envname);
1759 return 1;
1760 }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001761 return 0;
1762}
Simon Horman98637e52014-06-20 12:30:16 +09001763
1764static int prepare_external_check(struct check *check)
1765{
1766 struct server *s = check->server;
1767 struct proxy *px = s->proxy;
1768 struct listener *listener = NULL, *l;
1769 int i;
Simon Horman98637e52014-06-20 12:30:16 +09001770 const char *path = px->check_path ? px->check_path : DEF_CHECK_PATH;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001771 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09001772
1773 list_for_each_entry(l, &px->conf.listeners, by_fe)
1774 /* Use the first INET, INET6 or UNIX listener */
1775 if (l->addr.ss_family == AF_INET ||
1776 l->addr.ss_family == AF_INET6 ||
1777 l->addr.ss_family == AF_UNIX) {
1778 listener = l;
1779 break;
1780 }
1781
Simon Horman98637e52014-06-20 12:30:16 +09001782 check->curpid = NULL;
Cyril Bontéac92a062014-12-27 22:28:38 +01001783 check->envp = calloc((EXTCHK_SIZE + 1), sizeof(char *));
1784 if (!check->envp) {
1785 Alert("Failed to allocate memory for environment variables. Aborting\n");
1786 goto err;
1787 }
Simon Horman98637e52014-06-20 12:30:16 +09001788
Cyril Bontéac92a062014-12-27 22:28:38 +01001789 check->argv = calloc(6, sizeof(char *));
1790 if (!check->argv) {
1791 Alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001792 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001793 }
Simon Horman98637e52014-06-20 12:30:16 +09001794
1795 check->argv[0] = px->check_command;
1796
Cyril Bonté777be862014-12-02 21:21:35 +01001797 if (!listener) {
1798 check->argv[1] = strdup("NOT_USED");
1799 check->argv[2] = strdup("NOT_USED");
1800 }
1801 else if (listener->addr.ss_family == AF_INET ||
Simon Horman98637e52014-06-20 12:30:16 +09001802 listener->addr.ss_family == AF_INET6) {
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001803 addr_to_str(&listener->addr, buf, sizeof(buf));
1804 check->argv[1] = strdup(buf);
1805 port_to_str(&listener->addr, buf, sizeof(buf));
1806 check->argv[2] = strdup(buf);
Cyril Bonté777be862014-12-02 21:21:35 +01001807 }
1808 else if (listener->addr.ss_family == AF_UNIX) {
Simon Horman98637e52014-06-20 12:30:16 +09001809 const struct sockaddr_un *un;
1810
1811 un = (struct sockaddr_un *)&listener->addr;
1812 check->argv[1] = strdup(un->sun_path);
1813 check->argv[2] = strdup("NOT_USED");
Cyril Bonté777be862014-12-02 21:21:35 +01001814 }
1815 else {
Cyril Bontéac92a062014-12-27 22:28:38 +01001816 Alert("Starting [%s:%s] check: unsupported address family.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001817 goto err;
1818 }
1819
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001820 addr_to_str(&s->addr, buf, sizeof(buf));
1821 check->argv[3] = strdup(buf);
Willy Tarreau04276f32017-01-06 17:41:29 +01001822
1823 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
1824 snprintf(buf, sizeof(buf), "%u", s->svc_port);
1825 else
1826 *buf = 0;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001827 check->argv[4] = strdup(buf);
Simon Horman98637e52014-06-20 12:30:16 +09001828
Cyril Bontéac92a062014-12-27 22:28:38 +01001829 for (i = 0; i < 5; i++) {
1830 if (!check->argv[i]) {
1831 Alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001832 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001833 }
1834 }
Simon Horman98637e52014-06-20 12:30:16 +09001835
Cyril Bontéac92a062014-12-27 22:28:38 +01001836 EXTCHK_SETENV(check, EXTCHK_PATH, path, err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001837 /* Add proxy environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01001838 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_NAME, px->id, err);
1839 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ID, ultoa_r(px->uuid, buf, sizeof(buf)), err);
1840 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ADDR, check->argv[1], err);
1841 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_PORT, check->argv[2], err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001842 /* Add server environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01001843 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_NAME, s->id, err);
1844 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ID, ultoa_r(s->puid, buf, sizeof(buf)), err);
1845 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ADDR, check->argv[3], err);
1846 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_PORT, check->argv[4], err);
1847 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_MAXCONN, ultoa_r(s->maxconn, buf, sizeof(buf)), err);
1848 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)), err);
1849
1850 /* Ensure that we don't leave any hole in check->envp */
1851 for (i = 0; i < EXTCHK_SIZE; i++)
1852 if (!check->envp[i])
1853 EXTCHK_SETENV(check, i, "", err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001854
Cyril Bonté99c5bf52014-08-07 01:55:38 +02001855 return 1;
Simon Horman98637e52014-06-20 12:30:16 +09001856err:
1857 if (check->envp) {
Cyril Bontéac92a062014-12-27 22:28:38 +01001858 for (i = 0; i < EXTCHK_SIZE; i++)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001859 free(check->envp[i]);
Simon Horman98637e52014-06-20 12:30:16 +09001860 free(check->envp);
1861 check->envp = NULL;
1862 }
1863
1864 if (check->argv) {
1865 for (i = 1; i < 5; i++)
1866 free(check->argv[i]);
1867 free(check->argv);
1868 check->argv = NULL;
1869 }
Cyril Bonté99c5bf52014-08-07 01:55:38 +02001870 return 0;
Simon Horman98637e52014-06-20 12:30:16 +09001871}
1872
Simon Hormanb00d17a2014-06-13 16:18:16 +09001873/*
Simon Horman98637e52014-06-20 12:30:16 +09001874 * establish a server health-check that makes use of a process.
1875 *
1876 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02001877 * - SF_ERR_NONE if everything's OK
Willy Tarreaue7dff022015-04-03 01:14:29 +02001878 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
Tim Düsterhus4896c442016-11-29 02:15:19 +01001879 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Horman98637e52014-06-20 12:30:16 +09001880 *
1881 * Blocks and then unblocks SIGCHLD
1882 */
1883static int connect_proc_chk(struct task *t)
1884{
Cyril Bontéac92a062014-12-27 22:28:38 +01001885 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09001886 struct check *check = t->context;
1887 struct server *s = check->server;
1888 struct proxy *px = s->proxy;
1889 int status;
1890 pid_t pid;
1891
Willy Tarreaue7dff022015-04-03 01:14:29 +02001892 status = SF_ERR_RESOURCE;
Simon Horman98637e52014-06-20 12:30:16 +09001893
1894 block_sigchld();
1895
1896 pid = fork();
1897 if (pid < 0) {
1898 Alert("Failed to fork process for external health check: %s. Aborting.\n",
1899 strerror(errno));
1900 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
1901 goto out;
1902 }
1903 if (pid == 0) {
1904 /* Child */
1905 extern char **environ;
Willy Tarreaub7b24782016-06-21 15:32:29 +02001906 int fd;
1907
1908 /* close all FDs. Keep stdin/stdout/stderr in verbose mode */
1909 fd = (global.mode & (MODE_QUIET|MODE_VERBOSE)) == MODE_QUIET ? 0 : 3;
1910
1911 while (fd < global.rlimit_nofile)
1912 close(fd++);
1913
Simon Horman98637e52014-06-20 12:30:16 +09001914 environ = check->envp;
Cyril Bontéac92a062014-12-27 22:28:38 +01001915 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)));
Simon Horman98637e52014-06-20 12:30:16 +09001916 execvp(px->check_command, check->argv);
1917 Alert("Failed to exec process for external health check: %s. Aborting.\n",
1918 strerror(errno));
1919 exit(-1);
1920 }
1921
1922 /* Parent */
1923 if (check->result == CHK_RES_UNKNOWN) {
1924 if (pid_list_add(pid, t) != NULL) {
1925 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
1926
1927 if (px->timeout.check && px->timeout.connect) {
1928 int t_con = tick_add(now_ms, px->timeout.connect);
1929 t->expire = tick_first(t->expire, t_con);
1930 }
Willy Tarreaue7dff022015-04-03 01:14:29 +02001931 status = SF_ERR_NONE;
Simon Horman98637e52014-06-20 12:30:16 +09001932 goto out;
1933 }
1934 else {
1935 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
1936 }
1937 kill(pid, SIGTERM); /* process creation error */
1938 }
1939 else
1940 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
1941
1942out:
1943 unblock_sigchld();
1944 return status;
1945}
1946
1947/*
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02001948 * manages a server health-check that uses an external process. Returns
Willy Tarreaubaaee002006-06-26 02:48:02 +02001949 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
1950 */
Simon Horman98637e52014-06-20 12:30:16 +09001951static struct task *process_chk_proc(struct task *t)
1952{
1953 struct check *check = t->context;
1954 struct server *s = check->server;
Simon Horman98637e52014-06-20 12:30:16 +09001955 int rv;
1956 int ret;
1957 int expired = tick_is_expired(t->expire, now_ms);
1958
1959 if (!(check->state & CHK_ST_INPROGRESS)) {
1960 /* no check currently running */
1961 if (!expired) /* woke up too early */
1962 return t;
1963
1964 /* we don't send any health-checks when the proxy is
1965 * stopped, the server should not be checked or the check
1966 * is disabled.
1967 */
1968 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
1969 s->proxy->state == PR_STSTOPPED)
1970 goto reschedule;
1971
1972 /* we'll initiate a new check */
1973 set_server_check_status(check, HCHK_STATUS_START, NULL);
1974
1975 check->state |= CHK_ST_INPROGRESS;
1976
Simon Hormandbf70192015-01-30 11:22:53 +09001977 ret = connect_proc_chk(t);
Willy Tarreaud7c3fbd2017-10-04 15:19:26 +02001978 if (ret == SF_ERR_NONE) {
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02001979 /* the process was forked, we allow up to min(inter,
1980 * timeout.connect) for it to report its status, but
1981 * only when timeout.check is set as it may be to short
1982 * for a full check otherwise.
Simon Horman98637e52014-06-20 12:30:16 +09001983 */
1984 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
1985
1986 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
1987 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
1988 t->expire = tick_first(t->expire, t_con);
1989 }
1990
1991 goto reschedule;
Simon Horman98637e52014-06-20 12:30:16 +09001992 }
1993
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02001994 /* here, we failed to start the check */
Simon Horman98637e52014-06-20 12:30:16 +09001995
1996 check->state &= ~CHK_ST_INPROGRESS;
1997 check_notify_failure(check);
1998
1999 /* we allow up to min(inter, timeout.connect) for a connection
2000 * to establish but only when timeout.check is set
2001 * as it may be to short for a full check otherwise
2002 */
2003 while (tick_is_expired(t->expire, now_ms)) {
2004 int t_con;
2005
2006 t_con = tick_add(t->expire, s->proxy->timeout.connect);
2007 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2008
2009 if (s->proxy->timeout.check)
2010 t->expire = tick_first(t->expire, t_con);
2011 }
2012 }
2013 else {
2014 /* there was a test running.
2015 * First, let's check whether there was an uncaught error,
2016 * which can happen on connect timeout or error.
2017 */
2018 if (check->result == CHK_RES_UNKNOWN) {
2019 /* good connection is enough for pure TCP check */
2020 struct pid_list *elem = check->curpid;
2021 int status = HCHK_STATUS_UNKNOWN;
2022
2023 if (elem->exited) {
2024 status = elem->status; /* Save in case the process exits between use below */
2025 if (!WIFEXITED(status))
2026 check->code = -1;
2027 else
2028 check->code = WEXITSTATUS(status);
2029 if (!WIFEXITED(status) || WEXITSTATUS(status))
2030 status = HCHK_STATUS_PROCERR;
2031 else
2032 status = HCHK_STATUS_PROCOK;
2033 } else if (expired) {
2034 status = HCHK_STATUS_PROCTOUT;
Willy Tarreaudc3d1902014-07-08 00:56:27 +02002035 Warning("kill %d\n", (int)elem->pid);
Simon Horman98637e52014-06-20 12:30:16 +09002036 kill(elem->pid, SIGTERM);
2037 }
2038 set_server_check_status(check, status, NULL);
2039 }
2040
2041 if (check->result == CHK_RES_FAILED) {
2042 /* a failure or timeout detected */
2043 check_notify_failure(check);
2044 }
2045 else if (check->result == CHK_RES_CONDPASS) {
2046 /* check is OK but asks for stopping mode */
2047 check_notify_stopping(check);
2048 }
2049 else if (check->result == CHK_RES_PASSED) {
2050 /* a success was detected */
2051 check_notify_success(check);
2052 }
2053 check->state &= ~CHK_ST_INPROGRESS;
2054
2055 pid_list_del(check->curpid);
2056
2057 rv = 0;
2058 if (global.spread_checks > 0) {
2059 rv = srv_getinter(check) * global.spread_checks / 100;
2060 rv -= (int) (2 * rv * (rand() / (RAND_MAX + 1.0)));
2061 }
2062 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
2063 }
2064
2065 reschedule:
2066 while (tick_is_expired(t->expire, now_ms))
2067 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2068 return t;
2069}
2070
2071/*
2072 * manages a server health-check that uses a connection. Returns
2073 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
2074 */
2075static struct task *process_chk_conn(struct task *t)
Willy Tarreaubaaee002006-06-26 02:48:02 +02002076{
Simon Horman4a741432013-02-23 15:35:38 +09002077 struct check *check = t->context;
2078 struct server *s = check->server;
2079 struct connection *conn = check->conn;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002080 int rv;
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002081 int ret;
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002082 int expired = tick_is_expired(t->expire, now_ms);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002083
Willy Tarreau2c115e52013-12-11 19:41:16 +01002084 if (!(check->state & CHK_ST_INPROGRESS)) {
Willy Tarreau5a78f362012-11-23 12:47:05 +01002085 /* no check currently running */
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002086 if (!expired) /* woke up too early */
Willy Tarreau26c25062009-03-08 09:38:41 +01002087 return t;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002088
Simon Horman671b6f02013-11-25 10:46:39 +09002089 /* we don't send any health-checks when the proxy is
2090 * stopped, the server should not be checked or the check
2091 * is disabled.
Willy Tarreaubaaee002006-06-26 02:48:02 +02002092 */
Willy Tarreau0d924cc2013-12-11 21:26:24 +01002093 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
Willy Tarreau33a08db2013-12-11 21:03:31 +01002094 s->proxy->state == PR_STSTOPPED)
Willy Tarreau5a78f362012-11-23 12:47:05 +01002095 goto reschedule;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002096
2097 /* we'll initiate a new check */
Simon Horman4a741432013-02-23 15:35:38 +09002098 set_server_check_status(check, HCHK_STATUS_START, NULL);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002099
Willy Tarreau2c115e52013-12-11 19:41:16 +01002100 check->state |= CHK_ST_INPROGRESS;
Simon Horman4a741432013-02-23 15:35:38 +09002101 check->bi->p = check->bi->data;
2102 check->bi->i = 0;
2103 check->bo->p = check->bo->data;
2104 check->bo->o = 0;
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002105
Simon Hormandbf70192015-01-30 11:22:53 +09002106 ret = connect_conn_chk(t);
Willy Tarreau00149122017-10-04 18:05:01 +02002107 conn = check->conn;
2108
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002109 switch (ret) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002110 case SF_ERR_UP:
Simon Hormanb00d17a2014-06-13 16:18:16 +09002111 return t;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002112 case SF_ERR_NONE:
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002113 /* we allow up to min(inter, timeout.connect) for a connection
2114 * to establish but only when timeout.check is set
2115 * as it may be to short for a full check otherwise
2116 */
Simon Horman4a741432013-02-23 15:35:38 +09002117 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +02002118
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002119 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
2120 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
2121 t->expire = tick_first(t->expire, t_con);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002122 }
Willy Tarreau06559ac2013-12-05 01:53:08 +01002123
2124 if (check->type)
2125 conn_data_want_recv(conn); /* prepare for reading a possible reply */
2126
Willy Tarreau5a78f362012-11-23 12:47:05 +01002127 goto reschedule;
2128
Willy Tarreaue7dff022015-04-03 01:14:29 +02002129 case SF_ERR_SRVTO: /* ETIMEDOUT */
2130 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
Willy Tarreau00149122017-10-04 18:05:01 +02002131 if (conn)
2132 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002133 chk_report_conn_err(check, errno, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002134 break;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02002135 /* should share same code than cases below */
2136 case SF_ERR_CHK_PORT:
2137 check->state |= CHK_ST_PORT_MISS;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002138 case SF_ERR_PRXCOND:
2139 case SF_ERR_RESOURCE:
2140 case SF_ERR_INTERNAL:
Willy Tarreau00149122017-10-04 18:05:01 +02002141 if (conn)
2142 conn->flags |= CO_FL_ERROR;
2143 chk_report_conn_err(check, conn ? 0 : ENOMEM, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002144 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002145 }
2146
Willy Tarreau5a78f362012-11-23 12:47:05 +01002147 /* here, we have seen a synchronous error, no fd was allocated */
Willy Tarreau6b0a8502012-11-23 08:51:32 +01002148
Willy Tarreau2c115e52013-12-11 19:41:16 +01002149 check->state &= ~CHK_ST_INPROGRESS;
Willy Tarreau4eec5472014-05-20 22:32:27 +02002150 check_notify_failure(check);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002151
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002152 /* we allow up to min(inter, timeout.connect) for a connection
2153 * to establish but only when timeout.check is set
2154 * as it may be to short for a full check otherwise
2155 */
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002156 while (tick_is_expired(t->expire, now_ms)) {
2157 int t_con;
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002158
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002159 t_con = tick_add(t->expire, s->proxy->timeout.connect);
Simon Horman4a741432013-02-23 15:35:38 +09002160 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002161
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002162 if (s->proxy->timeout.check)
2163 t->expire = tick_first(t->expire, t_con);
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002164 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002165 }
2166 else {
Willy Tarreauf1503172012-09-28 19:39:36 +02002167 /* there was a test running.
2168 * First, let's check whether there was an uncaught error,
2169 * which can happen on connect timeout or error.
2170 */
Simon Hormanccaabcd2014-06-20 12:29:47 +09002171 if (check->result == CHK_RES_UNKNOWN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +01002172 /* good connection is enough for pure TCP check */
2173 if ((conn->flags & CO_FL_CONNECTED) && !check->type) {
Simon Horman4a741432013-02-23 15:35:38 +09002174 if (check->use_ssl)
2175 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Willy Tarreauf1503172012-09-28 19:39:36 +02002176 else
Simon Horman4a741432013-02-23 15:35:38 +09002177 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002178 }
Willy Tarreau25e2ab52013-12-04 11:17:05 +01002179 else if ((conn->flags & CO_FL_ERROR) || expired) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002180 chk_report_conn_err(check, 0, expired);
Willy Tarreauf1503172012-09-28 19:39:36 +02002181 }
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002182 else
2183 goto out_wait; /* timeout not reached, wait again */
Willy Tarreauf1503172012-09-28 19:39:36 +02002184 }
2185
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002186 /* check complete or aborted */
Willy Tarreau00149122017-10-04 18:05:01 +02002187 if (conn && conn->xprt) {
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002188 /* The check was aborted and the connection was not yet closed.
2189 * This can happen upon timeout, or when an external event such
2190 * as a failed response coupled with "observe layer7" caused the
2191 * server state to be suddenly changed.
2192 */
Willy Tarreaud85c4852015-03-13 00:40:28 +01002193 conn_sock_drain(conn);
Willy Tarreauf79c8172013-10-21 16:30:56 +02002194 conn_force_close(conn);
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002195 }
2196
Willy Tarreau00149122017-10-04 18:05:01 +02002197 if (conn) {
2198 conn_free(conn);
2199 check->conn = conn = NULL;
2200 }
2201
Willy Tarreauaf549582014-05-16 17:37:50 +02002202 if (check->result == CHK_RES_FAILED) {
2203 /* a failure or timeout detected */
Willy Tarreau4eec5472014-05-20 22:32:27 +02002204 check_notify_failure(check);
Willy Tarreauaf549582014-05-16 17:37:50 +02002205 }
Willy Tarreaudb58b792014-05-21 13:57:23 +02002206 else if (check->result == CHK_RES_CONDPASS) {
2207 /* check is OK but asks for stopping mode */
2208 check_notify_stopping(check);
Willy Tarreauaf549582014-05-16 17:37:50 +02002209 }
Willy Tarreau3e048382014-05-21 10:30:54 +02002210 else if (check->result == CHK_RES_PASSED) {
2211 /* a success was detected */
2212 check_notify_success(check);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002213 }
Willy Tarreau2c115e52013-12-11 19:41:16 +01002214 check->state &= ~CHK_ST_INPROGRESS;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002215
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002216 rv = 0;
2217 if (global.spread_checks > 0) {
Simon Horman4a741432013-02-23 15:35:38 +09002218 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002219 rv -= (int) (2 * rv * (rand() / (RAND_MAX + 1.0)));
Willy Tarreaubaaee002006-06-26 02:48:02 +02002220 }
Simon Horman4a741432013-02-23 15:35:38 +09002221 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
Willy Tarreaubaaee002006-06-26 02:48:02 +02002222 }
Willy Tarreau5a78f362012-11-23 12:47:05 +01002223
2224 reschedule:
2225 while (tick_is_expired(t->expire, now_ms))
Simon Horman4a741432013-02-23 15:35:38 +09002226 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002227 out_wait:
Willy Tarreau26c25062009-03-08 09:38:41 +01002228 return t;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002229}
2230
Simon Horman98637e52014-06-20 12:30:16 +09002231/*
2232 * manages a server health-check. Returns
2233 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
2234 */
2235static struct task *process_chk(struct task *t)
2236{
2237 struct check *check = t->context;
2238
2239 if (check->type == PR_O2_EXT_CHK)
2240 return process_chk_proc(t);
2241 return process_chk_conn(t);
Baptiste Assmanna68ca962015-04-14 01:15:08 +02002242
Simon Horman98637e52014-06-20 12:30:16 +09002243}
2244
Simon Horman5c942422013-11-25 10:46:32 +09002245static int start_check_task(struct check *check, int mininter,
2246 int nbcheck, int srvpos)
2247{
2248 struct task *t;
2249 /* task for the check */
2250 if ((t = task_new()) == NULL) {
2251 Alert("Starting [%s:%s] check: out of memory.\n",
2252 check->server->proxy->id, check->server->id);
2253 return 0;
2254 }
2255
2256 check->task = t;
2257 t->process = process_chk;
2258 t->context = check;
2259
Willy Tarreau1746eec2014-04-25 10:46:47 +02002260 if (mininter < srv_getinter(check))
2261 mininter = srv_getinter(check);
2262
2263 if (global.max_spread_checks && mininter > global.max_spread_checks)
2264 mininter = global.max_spread_checks;
2265
Simon Horman5c942422013-11-25 10:46:32 +09002266 /* check this every ms */
Willy Tarreau1746eec2014-04-25 10:46:47 +02002267 t->expire = tick_add(now_ms, MS_TO_TICKS(mininter * srvpos / nbcheck));
Simon Horman5c942422013-11-25 10:46:32 +09002268 check->start = now;
2269 task_queue(t);
2270
2271 return 1;
2272}
2273
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002274/*
2275 * Start health-check.
Willy Tarreau865c5142016-12-21 20:04:48 +01002276 * Returns 0 if OK, ERR_FATAL on error, and prints the error in this case.
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002277 */
Willy Tarreau865c5142016-12-21 20:04:48 +01002278static int start_checks()
2279{
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002280
2281 struct proxy *px;
2282 struct server *s;
2283 struct task *t;
Simon Horman4a741432013-02-23 15:35:38 +09002284 int nbcheck=0, mininter=0, srvpos=0;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002285
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002286 /* 1- count the checkers to run simultaneously.
2287 * We also determine the minimum interval among all of those which
2288 * have an interval larger than SRV_CHK_INTER_THRES. This interval
2289 * will be used to spread their start-up date. Those which have
Jamie Gloudon801a0a32012-08-25 00:18:33 -04002290 * a shorter interval will start independently and will not dictate
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002291 * too short an interval for all others.
2292 */
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002293 for (px = proxy; px; px = px->next) {
2294 for (s = px->srv; s; s = s->next) {
Willy Tarreaue7b73482013-11-21 11:50:50 +01002295 if (s->slowstart) {
2296 if ((t = task_new()) == NULL) {
2297 Alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002298 return ERR_ALERT | ERR_FATAL;
Willy Tarreaue7b73482013-11-21 11:50:50 +01002299 }
2300 /* We need a warmup task that will be called when the server
2301 * state switches from down to up.
2302 */
2303 s->warmup = t;
2304 t->process = server_warmup;
2305 t->context = s;
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002306 /* server can be in this state only because of */
Emeric Brun52a91d32017-08-31 14:41:55 +02002307 if (s->next_state == SRV_ST_STARTING)
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002308 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 +01002309 }
2310
Willy Tarreaud8514a22013-12-11 21:10:14 +01002311 if (s->check.state & CHK_ST_CONFIGURED) {
2312 nbcheck++;
2313 if ((srv_getinter(&s->check) >= SRV_CHK_INTER_THRES) &&
2314 (!mininter || mininter > srv_getinter(&s->check)))
2315 mininter = srv_getinter(&s->check);
2316 }
Willy Tarreau15f39102013-12-11 20:41:18 +01002317
Willy Tarreaud8514a22013-12-11 21:10:14 +01002318 if (s->agent.state & CHK_ST_CONFIGURED) {
2319 nbcheck++;
2320 if ((srv_getinter(&s->agent) >= SRV_CHK_INTER_THRES) &&
2321 (!mininter || mininter > srv_getinter(&s->agent)))
2322 mininter = srv_getinter(&s->agent);
2323 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002324 }
2325 }
2326
Simon Horman4a741432013-02-23 15:35:38 +09002327 if (!nbcheck)
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002328 return 0;
2329
2330 srand((unsigned)time(NULL));
2331
2332 /*
2333 * 2- start them as far as possible from each others. For this, we will
2334 * start them after their interval set to the min interval divided by
2335 * the number of servers, weighted by the server's position in the list.
2336 */
2337 for (px = proxy; px; px = px->next) {
Simon Horman98637e52014-06-20 12:30:16 +09002338 if ((px->options2 & PR_O2_CHK_ANY) == PR_O2_EXT_CHK) {
2339 if (init_pid_list()) {
2340 Alert("Starting [%s] check: out of memory.\n", px->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002341 return ERR_ALERT | ERR_FATAL;
Simon Horman98637e52014-06-20 12:30:16 +09002342 }
2343 }
2344
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002345 for (s = px->srv; s; s = s->next) {
Simon Hormand60d6912013-11-25 10:46:36 +09002346 /* A task for the main check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002347 if (s->check.state & CHK_ST_CONFIGURED) {
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002348 if (s->check.type == PR_O2_EXT_CHK) {
2349 if (!prepare_external_check(&s->check))
Willy Tarreau865c5142016-12-21 20:04:48 +01002350 return ERR_ALERT | ERR_FATAL;
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002351 }
Simon Hormand60d6912013-11-25 10:46:36 +09002352 if (!start_check_task(&s->check, mininter, nbcheck, srvpos))
Willy Tarreau865c5142016-12-21 20:04:48 +01002353 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002354 srvpos++;
2355 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002356
Simon Hormand60d6912013-11-25 10:46:36 +09002357 /* A task for a auxiliary agent check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002358 if (s->agent.state & CHK_ST_CONFIGURED) {
Simon Hormand60d6912013-11-25 10:46:36 +09002359 if (!start_check_task(&s->agent, mininter, nbcheck, srvpos)) {
Willy Tarreau865c5142016-12-21 20:04:48 +01002360 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002361 }
2362 srvpos++;
2363 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002364 }
2365 }
2366 return 0;
2367}
Willy Tarreaubaaee002006-06-26 02:48:02 +02002368
2369/*
Willy Tarreau5b3a2022012-09-28 15:01:02 +02002370 * Perform content verification check on data in s->check.buffer buffer.
Willy Tarreaubd741542010-03-16 18:46:54 +01002371 * The buffer MUST be terminated by a null byte before calling this function.
2372 * Sets server status appropriately. The caller is responsible for ensuring
2373 * that the buffer contains at least 13 characters. If <done> is zero, we may
2374 * return 0 to indicate that data is required to decide of a match.
2375 */
2376static int httpchk_expect(struct server *s, int done)
2377{
2378 static char status_msg[] = "HTTP status check returned code <000>";
2379 char status_code[] = "000";
2380 char *contentptr;
2381 int crlf;
2382 int ret;
2383
2384 switch (s->proxy->options2 & PR_O2_EXP_TYPE) {
2385 case PR_O2_EXP_STS:
2386 case PR_O2_EXP_RSTS:
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002387 memcpy(status_code, s->check.bi->data + 9, 3);
2388 memcpy(status_msg + strlen(status_msg) - 4, s->check.bi->data + 9, 3);
Willy Tarreaubd741542010-03-16 18:46:54 +01002389
2390 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STS)
2391 ret = strncmp(s->proxy->expect_str, status_code, 3) == 0;
2392 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002393 ret = regex_exec(s->proxy->expect_regex, status_code);
Willy Tarreaubd741542010-03-16 18:46:54 +01002394
2395 /* we necessarily have the response, so there are no partial failures */
2396 if (s->proxy->options2 & PR_O2_EXP_INV)
2397 ret = !ret;
2398
Simon Horman4a741432013-02-23 15:35:38 +09002399 set_server_check_status(&s->check, ret ? HCHK_STATUS_L7OKD : HCHK_STATUS_L7STS, status_msg);
Willy Tarreaubd741542010-03-16 18:46:54 +01002400 break;
2401
2402 case PR_O2_EXP_STR:
2403 case PR_O2_EXP_RSTR:
2404 /* very simple response parser: ignore CR and only count consecutive LFs,
2405 * stop with contentptr pointing to first char after the double CRLF or
2406 * to '\0' if crlf < 2.
2407 */
2408 crlf = 0;
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002409 for (contentptr = s->check.bi->data; *contentptr; contentptr++) {
Willy Tarreaubd741542010-03-16 18:46:54 +01002410 if (crlf >= 2)
2411 break;
2412 if (*contentptr == '\r')
2413 continue;
2414 else if (*contentptr == '\n')
2415 crlf++;
2416 else
2417 crlf = 0;
2418 }
2419
2420 /* Check that response contains a body... */
2421 if (crlf < 2) {
2422 if (!done)
2423 return 0;
2424
Simon Horman4a741432013-02-23 15:35:38 +09002425 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002426 "HTTP content check could not find a response body");
2427 return 1;
2428 }
2429
2430 /* Check that response body is not empty... */
2431 if (*contentptr == '\0') {
Willy Tarreaua164fb52011-04-13 09:32:41 +02002432 if (!done)
2433 return 0;
2434
Simon Horman4a741432013-02-23 15:35:38 +09002435 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002436 "HTTP content check found empty response body");
2437 return 1;
2438 }
2439
2440 /* Check the response content against the supplied string
2441 * or regex... */
2442 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STR)
2443 ret = strstr(contentptr, s->proxy->expect_str) != NULL;
2444 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002445 ret = regex_exec(s->proxy->expect_regex, contentptr);
Willy Tarreaubd741542010-03-16 18:46:54 +01002446
2447 /* if we don't match, we may need to wait more */
2448 if (!ret && !done)
2449 return 0;
2450
2451 if (ret) {
2452 /* content matched */
2453 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002454 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002455 "HTTP check matched unwanted content");
2456 else
Simon Horman4a741432013-02-23 15:35:38 +09002457 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002458 "HTTP content check matched");
2459 }
2460 else {
2461 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002462 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002463 "HTTP check did not match unwanted content");
2464 else
Simon Horman4a741432013-02-23 15:35:38 +09002465 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002466 "HTTP content check did not match");
2467 }
2468 break;
2469 }
2470 return 1;
2471}
2472
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002473/*
2474 * return the id of a step in a send/expect session
2475 */
Simon Hormane16c1b32015-01-30 11:22:57 +09002476static int tcpcheck_get_step_id(struct check *check)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002477{
2478 struct tcpcheck_rule *cur = NULL, *next = NULL;
2479 int i = 0;
2480
Willy Tarreau213c6782014-10-02 14:51:02 +02002481 /* not even started anything yet => step 0 = initial connect */
Baptiste Assmannf95bc8e2015-04-25 16:03:06 +02002482 if (!check->current_step)
Willy Tarreau213c6782014-10-02 14:51:02 +02002483 return 0;
2484
Simon Hormane16c1b32015-01-30 11:22:57 +09002485 cur = check->last_started_step;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002486
2487 /* no step => first step */
2488 if (cur == NULL)
2489 return 1;
2490
2491 /* increment i until current step */
Simon Hormane16c1b32015-01-30 11:22:57 +09002492 list_for_each_entry(next, check->tcpcheck_rules, list) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002493 if (next->list.p == &cur->list)
2494 break;
2495 ++i;
2496 }
2497
2498 return i;
2499}
2500
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002501/*
2502 * return the latest known comment before (including) the given stepid
2503 * returns NULL if no comment found
2504 */
2505static char * tcpcheck_get_step_comment(struct check *check, int stepid)
2506{
2507 struct tcpcheck_rule *cur = NULL;
2508 char *ret = NULL;
2509 int i = 0;
2510
2511 /* not even started anything yet, return latest comment found before any action */
2512 if (!check->current_step) {
2513 list_for_each_entry(cur, check->tcpcheck_rules, list) {
2514 if (cur->action == TCPCHK_ACT_COMMENT)
2515 ret = cur->comment;
2516 else
2517 goto return_comment;
2518 }
2519 }
2520
2521 i = 1;
2522 list_for_each_entry(cur, check->tcpcheck_rules, list) {
2523 if (cur->comment)
2524 ret = cur->comment;
2525
2526 if (i >= stepid)
2527 goto return_comment;
2528
2529 ++i;
2530 }
2531
2532 return_comment:
2533 return ret;
2534}
2535
Willy Tarreaube74b882017-10-04 16:22:49 +02002536/* proceed with next steps for the TCP checks <check>. Note that this is called
2537 * both from the connection's wake() callback and from the check scheduling task.
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002538 * It returns 0 on normal cases, or <0 if a close() has happened on an existing
2539 * connection, presenting the risk of an fd replacement.
Willy Tarreaube74b882017-10-04 16:22:49 +02002540 */
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002541static int tcpcheck_main(struct check *check)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002542{
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002543 char *contentptr, *comment;
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002544 struct tcpcheck_rule *next;
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002545 int done = 0, ret = 0, step = 0;
Willy Tarreaube74b882017-10-04 16:22:49 +02002546 struct connection *conn = check->conn;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002547 struct server *s = check->server;
2548 struct task *t = check->task;
Simon Hormane16c1b32015-01-30 11:22:57 +09002549 struct list *head = check->tcpcheck_rules;
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002550 int retcode = 0;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002551
Willy Tarreauef953952014-10-02 14:30:14 +02002552 /* here, we know that the check is complete or that it failed */
2553 if (check->result != CHK_RES_UNKNOWN)
2554 goto out_end_tcpcheck;
2555
2556 /* We have 4 possibilities here :
2557 * 1. we've not yet attempted step 1, and step 1 is a connect, so no
Willy Tarreau00149122017-10-04 18:05:01 +02002558 * connection attempt was made yet ; conn==NULL;current_step==NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002559 * 2. we've not yet attempted step 1, and step 1 is a not connect or
2560 * does not exist (no rule), so a connection attempt was made
Willy Tarreau00149122017-10-04 18:05:01 +02002561 * before coming here, conn!=NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002562 * 3. we're coming back after having started with step 1, so we may
Willy Tarreau00149122017-10-04 18:05:01 +02002563 * be waiting for a connection attempt to complete. conn!=NULL.
2564 * 4. the connection + handshake are complete. conn!=NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002565 *
2566 * #2 and #3 are quite similar, we want both the connection and the
2567 * handshake to complete before going any further. Thus we must always
2568 * wait for a connection to complete unless we're before and existing
2569 * step 1.
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002570 */
Willy Tarreau449f9522015-05-13 15:39:48 +02002571
2572 /* find first rule and skip comments */
2573 next = LIST_NEXT(head, struct tcpcheck_rule *, list);
2574 while (&next->list != head && next->action == TCPCHK_ACT_COMMENT)
2575 next = LIST_NEXT(&next->list, struct tcpcheck_rule *, list);
2576
Willy Tarreau00149122017-10-04 18:05:01 +02002577 if ((check->current_step || &next->list == head) &&
2578 (!(conn->flags & CO_FL_CONNECTED) || (conn->flags & CO_FL_HANDSHAKE))) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002579 /* we allow up to min(inter, timeout.connect) for a connection
2580 * to establish but only when timeout.check is set
2581 * as it may be to short for a full check otherwise
2582 */
2583 while (tick_is_expired(t->expire, now_ms)) {
2584 int t_con;
2585
2586 t_con = tick_add(t->expire, s->proxy->timeout.connect);
2587 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2588
2589 if (s->proxy->timeout.check)
2590 t->expire = tick_first(t->expire, t_con);
2591 }
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002592 return retcode;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002593 }
2594
Willy Tarreauef953952014-10-02 14:30:14 +02002595 /* special case: option tcp-check with no rule, a connect is enough */
Willy Tarreau449f9522015-05-13 15:39:48 +02002596 if (&next->list == head) {
Willy Tarreauef953952014-10-02 14:30:14 +02002597 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002598 goto out_end_tcpcheck;
Willy Tarreauef953952014-10-02 14:30:14 +02002599 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002600
Willy Tarreau213c6782014-10-02 14:51:02 +02002601 /* no step means first step initialisation */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002602 if (check->current_step == NULL) {
Willy Tarreau213c6782014-10-02 14:51:02 +02002603 check->last_started_step = NULL;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002604 check->bo->p = check->bo->data;
2605 check->bo->o = 0;
2606 check->bi->p = check->bi->data;
2607 check->bi->i = 0;
Willy Tarreau449f9522015-05-13 15:39:48 +02002608 check->current_step = next;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002609 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2610 if (s->proxy->timeout.check)
2611 t->expire = tick_add_ifset(now_ms, s->proxy->timeout.check);
2612 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002613
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002614 /* It's only the rules which will enable send/recv */
Willy Tarreau00149122017-10-04 18:05:01 +02002615 if (conn)
2616 __conn_data_stop_both(conn);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002617
Willy Tarreauabca5b62013-12-06 14:19:25 +01002618 while (1) {
Willy Tarreau263013d2015-05-13 11:59:14 +02002619 /* We have to try to flush the output buffer before reading, at
2620 * the end, or if we're about to send a string that does not fit
2621 * in the remaining space. That explains why we break out of the
Willy Tarreau00149122017-10-04 18:05:01 +02002622 * loop after this control. If we have data, conn is valid.
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002623 */
2624 if (check->bo->o &&
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002625 (&check->current_step->list == head ||
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002626 check->current_step->action != TCPCHK_ACT_SEND ||
2627 check->current_step->string_len >= buffer_total_space(check->bo))) {
2628
Willy Tarreaua3782e72017-10-04 08:45:19 +02002629 __conn_data_want_send(conn);
Willy Tarreau1049b1f2014-02-02 01:51:17 +01002630 if (conn->xprt->snd_buf(conn, check->bo, 0) <= 0) {
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002631 if (conn->flags & CO_FL_ERROR) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002632 chk_report_conn_err(check, errno, 0);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002633 __conn_data_stop_both(conn);
2634 goto out_end_tcpcheck;
2635 }
Willy Tarreau263013d2015-05-13 11:59:14 +02002636 break;
Willy Tarreauabca5b62013-12-06 14:19:25 +01002637 }
Willy Tarreauabca5b62013-12-06 14:19:25 +01002638 }
2639
Willy Tarreau263013d2015-05-13 11:59:14 +02002640 if (&check->current_step->list == head)
Willy Tarreauabca5b62013-12-06 14:19:25 +01002641 break;
2642
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002643 /* have 'next' point to the next rule or NULL if we're on the
2644 * last one, connect() needs this.
2645 */
Willy Tarreau5581c272015-05-13 12:24:53 +02002646 next = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002647
2648 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002649 while (&next->list != head && next->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002650 next = LIST_NEXT(&next->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002651
2652 /* NULL if we're on the last rule */
Willy Tarreauf3d34822014-12-08 12:11:28 +01002653 if (&next->list == head)
2654 next = NULL;
2655
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002656 if (check->current_step->action == TCPCHK_ACT_CONNECT) {
2657 struct protocol *proto;
2658 struct xprt_ops *xprt;
2659
Willy Tarreau00149122017-10-04 18:05:01 +02002660 /* For a connect action we'll create a new connection.
2661 * We may also have to kill a previous one. But we don't
2662 * want to leave *without* a connection if we came here
2663 * from the connection layer, hence with a connection.
2664 * Thus we'll proceed in the following order :
2665 * 1: close but not release previous connection
2666 * 2: try to get a new connection
2667 * 3: release and replace the old one on success
2668 */
2669 if (check->conn) {
2670 conn_force_close(check->conn);
2671 retcode = -1; /* do not reuse the fd! */
2672 }
2673
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002674 /* mark the step as started */
2675 check->last_started_step = check->current_step;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002676
2677 /* prepare new connection */
Willy Tarreau00149122017-10-04 18:05:01 +02002678 conn = conn_new();
2679 if (!conn) {
2680 step = tcpcheck_get_step_id(check);
2681 chunk_printf(&trash, "TCPCHK error allocating connection at step %d", step);
2682 comment = tcpcheck_get_step_comment(check, step);
2683 if (comment)
2684 chunk_appendf(&trash, " comment: '%s'", comment);
2685 set_server_check_status(check, HCHK_STATUS_SOCKERR, trash.str);
2686 check->current_step = NULL;
2687 return retcode;
2688 }
2689
2690 if (check->conn)
2691 conn_free(check->conn);
2692 check->conn = conn;
2693
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002694 conn_attach(conn, check, &check_conn_cb);
2695 conn->target = &s->obj_type;
2696
2697 /* no client address */
2698 clear_addr(&conn->addr.from);
2699
Simon Horman41f58762015-01-30 11:22:56 +09002700 if (is_addr(&check->addr)) {
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002701 /* we'll connect to the check addr specified on the server */
Simon Horman41f58762015-01-30 11:22:56 +09002702 conn->addr.to = check->addr;
Willy Tarreau640556c2014-05-09 23:38:15 +02002703 }
2704 else {
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002705 /* we'll connect to the addr on the server */
2706 conn->addr.to = s->addr;
Willy Tarreau640556c2014-05-09 23:38:15 +02002707 }
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01002708 proto = protocol_by_family(conn->addr.to.ss_family);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002709
2710 /* port */
2711 if (check->current_step->port)
2712 set_host_port(&conn->addr.to, check->current_step->port);
2713 else if (check->port)
2714 set_host_port(&conn->addr.to, check->port);
2715
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002716 if (check->current_step->conn_opts & TCPCHK_OPT_SSL) {
Willy Tarreaua261e9b2016-12-22 20:44:00 +01002717 xprt = xprt_get(XPRT_SSL);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002718 }
2719 else {
Willy Tarreaua261e9b2016-12-22 20:44:00 +01002720 xprt = xprt_get(XPRT_RAW);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002721 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002722 conn_prepare(conn, proto, xprt);
2723
Willy Tarreaue7dff022015-04-03 01:14:29 +02002724 ret = SF_ERR_INTERNAL;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002725 if (proto->connect)
Willy Tarreauf3d34822014-12-08 12:11:28 +01002726 ret = proto->connect(conn,
2727 1 /* I/O polling is always needed */,
2728 (next && next->action == TCPCHK_ACT_EXPECT) ? 0 : 2);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002729 if (check->current_step->conn_opts & TCPCHK_OPT_SEND_PROXY) {
2730 conn->send_proxy_ofs = 1;
2731 conn->flags |= CO_FL_SEND_PROXY;
2732 }
2733
2734 /* It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02002735 * - SF_ERR_NONE if everything's OK
2736 * - SF_ERR_SRVTO if there are no more servers
2737 * - SF_ERR_SRVCL if the connection was refused by the server
2738 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
2739 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
2740 * - SF_ERR_INTERNAL for any other purely internal errors
Tim Düsterhus4896c442016-11-29 02:15:19 +01002741 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002742 * Note that we try to prevent the network stack from sending the ACK during the
2743 * connect() when a pure TCP check is used (without PROXY protocol).
2744 */
2745 switch (ret) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002746 case SF_ERR_NONE:
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002747 /* we allow up to min(inter, timeout.connect) for a connection
2748 * to establish but only when timeout.check is set
2749 * as it may be to short for a full check otherwise
2750 */
2751 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2752
2753 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
2754 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
2755 t->expire = tick_first(t->expire, t_con);
2756 }
2757 break;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002758 case SF_ERR_SRVTO: /* ETIMEDOUT */
2759 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002760 step = tcpcheck_get_step_id(check);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002761 chunk_printf(&trash, "TCPCHK error establishing connection at step %d: %s",
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002762 step, strerror(errno));
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002763 comment = tcpcheck_get_step_comment(check, step);
2764 if (comment)
2765 chunk_appendf(&trash, " comment: '%s'", comment);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002766 set_server_check_status(check, HCHK_STATUS_L4CON, trash.str);
2767 goto out_end_tcpcheck;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002768 case SF_ERR_PRXCOND:
2769 case SF_ERR_RESOURCE:
2770 case SF_ERR_INTERNAL:
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002771 step = tcpcheck_get_step_id(check);
2772 chunk_printf(&trash, "TCPCHK error establishing connection at step %d", step);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002773 comment = tcpcheck_get_step_comment(check, step);
2774 if (comment)
2775 chunk_appendf(&trash, " comment: '%s'", comment);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002776 set_server_check_status(check, HCHK_STATUS_SOCKERR, trash.str);
2777 goto out_end_tcpcheck;
2778 }
2779
2780 /* allow next rule */
Willy Tarreau5581c272015-05-13 12:24:53 +02002781 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002782
2783 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002784 while (&check->current_step->list != head &&
2785 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002786 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002787
Willy Tarreauf2c87352015-05-13 12:08:21 +02002788 if (&check->current_step->list == head)
2789 break;
2790
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002791 /* don't do anything until the connection is established */
2792 if (!(conn->flags & CO_FL_CONNECTED)) {
2793 /* update expire time, should be done by process_chk */
2794 /* we allow up to min(inter, timeout.connect) for a connection
2795 * to establish but only when timeout.check is set
2796 * as it may be to short for a full check otherwise
2797 */
2798 while (tick_is_expired(t->expire, now_ms)) {
2799 int t_con;
2800
2801 t_con = tick_add(t->expire, s->proxy->timeout.connect);
2802 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2803
2804 if (s->proxy->timeout.check)
2805 t->expire = tick_first(t->expire, t_con);
2806 }
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002807 return retcode;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002808 }
2809
2810 } /* end 'connect' */
2811 else if (check->current_step->action == TCPCHK_ACT_SEND) {
2812 /* mark the step as started */
2813 check->last_started_step = check->current_step;
2814
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002815 /* reset the read buffer */
2816 if (*check->bi->data != '\0') {
2817 *check->bi->data = '\0';
2818 check->bi->i = 0;
2819 }
2820
Willy Tarreaubbae3f02017-08-30 09:59:52 +02002821 if (conn->flags & CO_FL_SOCK_WR_SH) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002822 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002823 chk_report_conn_err(check, 0, 0);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002824 goto out_end_tcpcheck;
2825 }
2826
Willy Tarreauabca5b62013-12-06 14:19:25 +01002827 if (check->current_step->string_len >= check->bo->size) {
2828 chunk_printf(&trash, "tcp-check send : string too large (%d) for buffer size (%d) at step %d",
2829 check->current_step->string_len, check->bo->size,
Simon Hormane16c1b32015-01-30 11:22:57 +09002830 tcpcheck_get_step_id(check));
Willy Tarreauabca5b62013-12-06 14:19:25 +01002831 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.str);
2832 goto out_end_tcpcheck;
2833 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002834
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002835 /* do not try to send if there is no space */
2836 if (check->current_step->string_len >= buffer_total_space(check->bo))
2837 continue;
2838
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002839 bo_putblk(check->bo, check->current_step->string, check->current_step->string_len);
2840 *check->bo->p = '\0'; /* to make gdb output easier to read */
2841
Willy Tarreauabca5b62013-12-06 14:19:25 +01002842 /* go to next rule and try to send */
Willy Tarreau5581c272015-05-13 12:24:53 +02002843 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002844
2845 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002846 while (&check->current_step->list != head &&
2847 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002848 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Willy Tarreauf2c87352015-05-13 12:08:21 +02002849
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002850 } /* end 'send' */
Willy Tarreau98aec9f2013-12-06 16:16:41 +01002851 else if (check->current_step->action == TCPCHK_ACT_EXPECT) {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01002852 if (unlikely(check->result == CHK_RES_FAILED))
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002853 goto out_end_tcpcheck;
2854
Willy Tarreaua3782e72017-10-04 08:45:19 +02002855 __conn_data_want_recv(conn);
Willy Tarreau310987a2014-01-22 19:46:33 +01002856 if (conn->xprt->rcv_buf(conn, check->bi, check->bi->size) <= 0) {
Willy Tarreau54e917c2017-08-30 07:35:35 +02002857 if (conn->flags & (CO_FL_ERROR | CO_FL_SOCK_RD_SH)) {
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002858 done = 1;
2859 if ((conn->flags & CO_FL_ERROR) && !check->bi->i) {
2860 /* Report network errors only if we got no other data. Otherwise
2861 * we'll let the upper layers decide whether the response is OK
2862 * or not. It is very common that an RST sent by the server is
2863 * reported as an error just after the last data chunk.
2864 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002865 chk_report_conn_err(check, errno, 0);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002866 goto out_end_tcpcheck;
2867 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002868 }
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002869 else
Willy Tarreau263013d2015-05-13 11:59:14 +02002870 break;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002871 }
2872
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002873 /* mark the step as started */
2874 check->last_started_step = check->current_step;
2875
2876
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002877 /* Intermediate or complete response received.
2878 * Terminate string in check->bi->data buffer.
2879 */
2880 if (check->bi->i < check->bi->size) {
2881 check->bi->data[check->bi->i] = '\0';
2882 }
2883 else {
2884 check->bi->data[check->bi->i - 1] = '\0';
2885 done = 1; /* buffer full, don't wait for more data */
2886 }
2887
2888 contentptr = check->bi->data;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002889
2890 /* Check that response body is not empty... */
Willy Tarreauec6b0122014-05-13 17:57:29 +02002891 if (!check->bi->i) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002892 if (!done)
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002893 continue;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002894
2895 /* empty response */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002896 step = tcpcheck_get_step_id(check);
2897 chunk_printf(&trash, "TCPCHK got an empty response at step %d", step);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002898 comment = tcpcheck_get_step_comment(check, step);
2899 if (comment)
2900 chunk_appendf(&trash, " comment: '%s'", comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002901 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.str);
2902
2903 goto out_end_tcpcheck;
2904 }
2905
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002906 if (!done && (check->current_step->string != NULL) && (check->bi->i < check->current_step->string_len) )
Willy Tarreaua970c282013-12-06 12:47:19 +01002907 continue; /* try to read more */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002908
Willy Tarreaua970c282013-12-06 12:47:19 +01002909 tcpcheck_expect:
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002910 if (check->current_step->string != NULL)
2911 ret = my_memmem(contentptr, check->bi->i, check->current_step->string, check->current_step->string_len) != NULL;
2912 else if (check->current_step->expect_regex != NULL)
2913 ret = regex_exec(check->current_step->expect_regex, contentptr);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002914
2915 if (!ret && !done)
Willy Tarreaua970c282013-12-06 12:47:19 +01002916 continue; /* try to read more */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002917
2918 /* matched */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002919 step = tcpcheck_get_step_id(check);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002920 if (ret) {
2921 /* matched but we did not want to => ERROR */
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002922 if (check->current_step->inverse) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002923 /* we were looking for a string */
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002924 if (check->current_step->string != NULL) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002925 chunk_printf(&trash, "TCPCHK matched unwanted content '%s' at step %d",
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002926 check->current_step->string, step);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002927 }
2928 else {
2929 /* we were looking for a regex */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002930 chunk_printf(&trash, "TCPCHK matched unwanted content (regex) at step %d", step);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002931 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002932 comment = tcpcheck_get_step_comment(check, step);
2933 if (comment)
2934 chunk_appendf(&trash, " comment: '%s'", comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002935 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.str);
2936 goto out_end_tcpcheck;
2937 }
2938 /* matched and was supposed to => OK, next step */
2939 else {
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002940 /* allow next rule */
Willy Tarreau5581c272015-05-13 12:24:53 +02002941 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002942
2943 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002944 while (&check->current_step->list != head &&
2945 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002946 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002947
Willy Tarreauf2c87352015-05-13 12:08:21 +02002948 if (&check->current_step->list == head)
2949 break;
2950
Willy Tarreau98aec9f2013-12-06 16:16:41 +01002951 if (check->current_step->action == TCPCHK_ACT_EXPECT)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002952 goto tcpcheck_expect;
2953 __conn_data_stop_recv(conn);
2954 }
2955 }
2956 else {
2957 /* not matched */
2958 /* not matched and was not supposed to => OK, next step */
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002959 if (check->current_step->inverse) {
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002960 /* allow next rule */
Willy Tarreau5581c272015-05-13 12:24:53 +02002961 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002962
2963 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002964 while (&check->current_step->list != head &&
2965 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002966 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002967
Willy Tarreauf2c87352015-05-13 12:08:21 +02002968 if (&check->current_step->list == head)
2969 break;
2970
Willy Tarreau98aec9f2013-12-06 16:16:41 +01002971 if (check->current_step->action == TCPCHK_ACT_EXPECT)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002972 goto tcpcheck_expect;
2973 __conn_data_stop_recv(conn);
2974 }
2975 /* not matched but was supposed to => ERROR */
2976 else {
2977 /* we were looking for a string */
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002978 if (check->current_step->string != NULL) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002979 chunk_printf(&trash, "TCPCHK did not match content '%s' at step %d",
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002980 check->current_step->string, step);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002981 }
2982 else {
2983 /* we were looking for a regex */
2984 chunk_printf(&trash, "TCPCHK did not match content (regex) at step %d",
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002985 step);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002986 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002987 comment = tcpcheck_get_step_comment(check, step);
2988 if (comment)
2989 chunk_appendf(&trash, " comment: '%s'", comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002990 set_server_check_status(check, HCHK_STATUS_L7RSP, trash.str);
2991 goto out_end_tcpcheck;
2992 }
2993 }
2994 } /* end expect */
2995 } /* end loop over double chained step list */
2996
Willy Tarreau263013d2015-05-13 11:59:14 +02002997 /* We're waiting for some I/O to complete, we've reached the end of the
2998 * rules, or both. Do what we have to do, otherwise we're done.
2999 */
3000 if (&check->current_step->list == head && !check->bo->o) {
3001 set_server_check_status(check, HCHK_STATUS_L7OKD, "(tcp-check)");
3002 goto out_end_tcpcheck;
3003 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003004
Willy Tarreau53c5a042015-05-13 11:38:17 +02003005 /* warning, current_step may now point to the head */
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003006 if (check->bo->o)
3007 __conn_data_want_send(conn);
3008
Willy Tarreau53c5a042015-05-13 11:38:17 +02003009 if (&check->current_step->list != head &&
3010 check->current_step->action == TCPCHK_ACT_EXPECT)
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003011 __conn_data_want_recv(conn);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02003012 return retcode;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003013
3014 out_end_tcpcheck:
3015 /* collect possible new errors */
3016 if (conn->flags & CO_FL_ERROR)
Willy Tarreaub5259bf2017-10-04 14:47:29 +02003017 chk_report_conn_err(check, 0, 0);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003018
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003019 /* cleanup before leaving */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003020 check->current_step = NULL;
3021
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01003022 if (check->result == CHK_RES_FAILED)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003023 conn->flags |= CO_FL_ERROR;
3024
3025 __conn_data_stop_both(conn);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02003026 return retcode;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003027}
3028
Simon Hormanb1900d52015-01-30 11:22:54 +09003029const char *init_check(struct check *check, int type)
3030{
3031 check->type = type;
3032
3033 /* Allocate buffer for requests... */
3034 if ((check->bi = calloc(sizeof(struct buffer) + global.tune.chksize, sizeof(char))) == NULL) {
3035 return "out of memory while allocating check buffer";
3036 }
3037 check->bi->size = global.tune.chksize;
3038
3039 /* Allocate buffer for responses... */
3040 if ((check->bo = calloc(sizeof(struct buffer) + global.tune.chksize, sizeof(char))) == NULL) {
3041 return "out of memory while allocating check buffer";
3042 }
3043 check->bo->size = global.tune.chksize;
3044
Simon Hormanb1900d52015-01-30 11:22:54 +09003045 return NULL;
3046}
3047
Simon Hormanbfb5d332015-01-30 11:22:55 +09003048void free_check(struct check *check)
3049{
3050 free(check->bi);
Frédéric Lécaille6e0843c2017-03-21 16:39:15 +01003051 check->bi = NULL;
Simon Hormanbfb5d332015-01-30 11:22:55 +09003052 free(check->bo);
Frédéric Lécaille6e0843c2017-03-21 16:39:15 +01003053 check->bo = NULL;
Simon Hormanbfb5d332015-01-30 11:22:55 +09003054 free(check->conn);
Frédéric Lécaille6e0843c2017-03-21 16:39:15 +01003055 check->conn = NULL;
Simon Hormanbfb5d332015-01-30 11:22:55 +09003056}
3057
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003058void email_alert_free(struct email_alert *alert)
3059{
3060 struct tcpcheck_rule *rule, *back;
3061
3062 if (!alert)
3063 return;
3064
3065 list_for_each_entry_safe(rule, back, &alert->tcpcheck_rules, list)
3066 free(rule);
3067 free(alert);
3068}
3069
3070static struct task *process_email_alert(struct task *t)
3071{
3072 struct check *check = t->context;
3073 struct email_alertq *q;
3074
3075 q = container_of(check, typeof(*q), check);
3076
3077 if (!(check->state & CHK_ST_ENABLED)) {
3078 if (LIST_ISEMPTY(&q->email_alerts)) {
3079 /* All alerts processed, delete check */
3080 task_delete(t);
3081 task_free(t);
3082 check->task = NULL;
3083 return NULL;
3084 } else {
3085 struct email_alert *alert;
3086
3087 alert = LIST_NEXT(&q->email_alerts, typeof(alert), list);
3088 check->tcpcheck_rules = &alert->tcpcheck_rules;
3089 LIST_DEL(&alert->list);
3090
3091 check->state |= CHK_ST_ENABLED;
3092 }
3093
3094 }
3095
3096 process_chk(t);
3097
3098 if (!(check->state & CHK_ST_INPROGRESS) && check->tcpcheck_rules) {
3099 struct email_alert *alert;
3100
3101 alert = container_of(check->tcpcheck_rules, typeof(*alert), tcpcheck_rules);
3102 email_alert_free(alert);
3103
3104 check->tcpcheck_rules = NULL;
3105 check->state &= ~CHK_ST_ENABLED;
3106 }
3107 return t;
3108}
3109
3110static int init_email_alert_checks(struct server *s)
3111{
3112 int i;
3113 struct mailer *mailer;
3114 const char *err_str;
3115 struct proxy *p = s->proxy;
3116
3117 if (p->email_alert.queues)
3118 /* Already initialised, nothing to do */
3119 return 1;
3120
3121 p->email_alert.queues = calloc(p->email_alert.mailers.m->count, sizeof *p->email_alert.queues);
3122 if (!p->email_alert.queues) {
3123 err_str = "out of memory while allocating checks array";
3124 goto error_alert;
3125 }
3126
3127 for (i = 0, mailer = p->email_alert.mailers.m->mailer_list;
3128 i < p->email_alert.mailers.m->count; i++, mailer = mailer->next) {
3129 struct email_alertq *q = &p->email_alert.queues[i];
3130 struct check *check = &q->check;
3131
3132
3133 LIST_INIT(&q->email_alerts);
3134
Pieter Baauw235fcfc2016-02-13 15:33:40 +01003135 check->inter = p->email_alert.mailers.m->timeout.mail;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003136 check->rise = DEF_AGENT_RISETIME;
3137 check->fall = DEF_AGENT_FALLTIME;
3138 err_str = init_check(check, PR_O2_TCPCHK_CHK);
3139 if (err_str) {
3140 goto error_free;
3141 }
3142
3143 check->xprt = mailer->xprt;
3144 if (!get_host_port(&mailer->addr))
3145 /* Default to submission port */
3146 check->port = 587;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003147 check->addr = mailer->addr;
3148 check->server = s;
3149 }
3150
3151 return 1;
3152
3153error_free:
3154 while (i-- > 1)
3155 task_free(p->email_alert.queues[i].check.task);
3156 free(p->email_alert.queues);
3157 p->email_alert.queues = NULL;
3158error_alert:
3159 Alert("Email alert [%s] could not be initialised: %s\n", p->id, err_str);
3160 return 0;
3161}
3162
3163
3164static int add_tcpcheck_expect_str(struct list *list, const char *str)
3165{
3166 struct tcpcheck_rule *tcpcheck;
3167
3168 tcpcheck = calloc(1, sizeof *tcpcheck);
3169 if (!tcpcheck)
3170 return 0;
3171
3172 tcpcheck->action = TCPCHK_ACT_EXPECT;
3173 tcpcheck->string = strdup(str);
3174 if (!tcpcheck->string) {
3175 free(tcpcheck);
3176 return 0;
3177 }
3178
3179 LIST_ADDQ(list, &tcpcheck->list);
3180 return 1;
3181}
3182
3183static int add_tcpcheck_send_strs(struct list *list, const char * const *strs)
3184{
3185 struct tcpcheck_rule *tcpcheck;
Willy Tarreau64345aa2016-08-10 19:29:09 +02003186 const char *in;
3187 char *dst;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003188 int i;
3189
3190 tcpcheck = calloc(1, sizeof *tcpcheck);
3191 if (!tcpcheck)
3192 return 0;
3193
3194 tcpcheck->action = TCPCHK_ACT_SEND;
3195
3196 tcpcheck->string_len = 0;
3197 for (i = 0; strs[i]; i++)
3198 tcpcheck->string_len += strlen(strs[i]);
3199
3200 tcpcheck->string = malloc(tcpcheck->string_len + 1);
3201 if (!tcpcheck->string) {
3202 free(tcpcheck);
3203 return 0;
3204 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003205
Willy Tarreau64345aa2016-08-10 19:29:09 +02003206 dst = tcpcheck->string;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003207 for (i = 0; strs[i]; i++)
Willy Tarreau64345aa2016-08-10 19:29:09 +02003208 for (in = strs[i]; (*dst = *in++); dst++);
3209 *dst = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003210
3211 LIST_ADDQ(list, &tcpcheck->list);
3212 return 1;
3213}
3214
3215static int enqueue_one_email_alert(struct email_alertq *q, const char *msg)
3216{
3217 struct email_alert *alert = NULL;
3218 struct tcpcheck_rule *tcpcheck;
3219 struct check *check = &q->check;
3220 struct proxy *p = check->server->proxy;
3221
3222 alert = calloc(1, sizeof *alert);
3223 if (!alert) {
3224 goto error;
3225 }
3226 LIST_INIT(&alert->tcpcheck_rules);
3227
3228 tcpcheck = calloc(1, sizeof *tcpcheck);
3229 if (!tcpcheck)
3230 goto error;
3231 tcpcheck->action = TCPCHK_ACT_CONNECT;
3232 LIST_ADDQ(&alert->tcpcheck_rules, &tcpcheck->list);
3233
3234 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "220 "))
3235 goto error;
3236
3237 {
3238 const char * const strs[4] = { "EHLO ", p->email_alert.myhostname, "\r\n" };
3239 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3240 goto error;
3241 }
3242
3243 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3244 goto error;
3245
3246 {
3247 const char * const strs[4] = { "MAIL FROM:<", p->email_alert.from, ">\r\n" };
3248 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3249 goto error;
3250 }
3251
3252 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3253 goto error;
3254
3255 {
3256 const char * const strs[4] = { "RCPT TO:<", p->email_alert.to, ">\r\n" };
3257 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3258 goto error;
3259 }
3260
3261 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3262 goto error;
3263
3264 {
3265 const char * const strs[2] = { "DATA\r\n" };
3266 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3267 goto error;
3268 }
3269
3270 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "354 "))
3271 goto error;
3272
3273 {
3274 struct tm tm;
3275 char datestr[48];
3276 const char * const strs[18] = {
Pieter Baauw5e0964e2016-02-13 16:27:35 +01003277 "From: ", p->email_alert.from, "\r\n",
3278 "To: ", p->email_alert.to, "\r\n",
3279 "Date: ", datestr, "\r\n",
3280 "Subject: [HAproxy Alert] ", msg, "\r\n",
3281 "\r\n",
3282 msg, "\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003283 "\r\n",
Pieter Baauwed35c372015-07-22 19:51:54 +02003284 ".\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003285 NULL
3286 };
3287
3288 get_localtime(date.tv_sec, &tm);
3289
3290 if (strftime(datestr, sizeof(datestr), "%a, %d %b %Y %T %z (%Z)", &tm) == 0) {
3291 goto error;
3292 }
3293
3294 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3295 goto error;
3296 }
3297
3298 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3299 goto error;
3300
3301 {
3302 const char * const strs[2] = { "QUIT\r\n" };
3303 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3304 goto error;
3305 }
3306
3307 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "221 "))
3308 goto error;
3309
3310 if (!check->task) {
3311 struct task *t;
3312
3313 if ((t = task_new()) == NULL)
3314 goto error;
3315
3316 check->task = t;
3317 t->process = process_email_alert;
3318 t->context = check;
3319
3320 /* check this in one ms */
3321 t->expire = tick_add(now_ms, MS_TO_TICKS(1));
3322 check->start = now;
3323 task_queue(t);
3324 }
3325
3326 LIST_ADDQ(&q->email_alerts, &alert->list);
3327
3328 return 1;
3329
3330error:
3331 email_alert_free(alert);
3332 return 0;
3333}
3334
3335static void enqueue_email_alert(struct proxy *p, const char *msg)
3336{
3337 int i;
3338 struct mailer *mailer;
3339
3340 for (i = 0, mailer = p->email_alert.mailers.m->mailer_list;
3341 i < p->email_alert.mailers.m->count; i++, mailer = mailer->next) {
3342 if (!enqueue_one_email_alert(&p->email_alert.queues[i], msg)) {
3343 Alert("Email alert [%s] could not be enqueued: out of memory\n", p->id);
3344 return;
3345 }
3346 }
3347
3348 return;
3349}
3350
3351/*
3352 * Send email alert if configured.
3353 */
Simon Horman64e34162015-02-06 11:11:57 +09003354void send_email_alert(struct server *s, int level, const char *format, ...)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003355{
3356 va_list argp;
3357 char buf[1024];
3358 int len;
3359 struct proxy *p = s->proxy;
3360
Simon Horman64e34162015-02-06 11:11:57 +09003361 if (!p->email_alert.mailers.m || level > p->email_alert.level ||
3362 format == NULL || !init_email_alert_checks(s))
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003363 return;
3364
3365 va_start(argp, format);
3366 len = vsnprintf(buf, sizeof(buf), format, argp);
3367 va_end(argp);
3368
Thierry FOURNIER62c8a212017-02-09 12:19:27 +01003369 if (len < 0 || len >= sizeof(buf)) {
Cyril Bontéb65e0332015-12-04 03:07:08 +01003370 Alert("Email alert [%s] could not format message\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003371 return;
3372 }
3373
3374 enqueue_email_alert(p, buf);
3375}
3376
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003377/*
3378 * Return value:
3379 * the port to be used for the health check
3380 * 0 in case no port could be found for the check
3381 */
3382int srv_check_healthcheck_port(struct check *chk)
3383{
3384 int i = 0;
3385 struct server *srv = NULL;
3386
3387 srv = chk->server;
3388
3389 /* If neither a port nor an addr was specified and no check transport
3390 * layer is forced, then the transport layer used by the checks is the
3391 * same as for the production traffic. Otherwise we use raw_sock by
3392 * default, unless one is specified.
3393 */
3394 if (!chk->port && !is_addr(&chk->addr)) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003395 chk->use_ssl |= (srv->use_ssl || (srv->proxy->options & PR_O_TCPCHK_SSL));
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003396 chk->send_proxy |= (srv->pp_opts);
3397 }
3398
3399 /* by default, we use the health check port ocnfigured */
3400 if (chk->port > 0)
3401 return chk->port;
3402
3403 /* try to get the port from check_core.addr if check.port not set */
3404 i = get_host_port(&chk->addr);
3405 if (i > 0)
3406 return i;
3407
3408 /* try to get the port from server address */
3409 /* prevent MAPPORTS from working at this point, since checks could
3410 * not be performed in such case (MAPPORTS impose a relative ports
3411 * based on live traffic)
3412 */
3413 if (srv->flags & SRV_F_MAPPORTS)
3414 return 0;
Willy Tarreau04276f32017-01-06 17:41:29 +01003415
3416 i = srv->svc_port; /* by default */
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003417 if (i > 0)
3418 return i;
3419
3420 return 0;
3421}
3422
Willy Tarreau865c5142016-12-21 20:04:48 +01003423__attribute__((constructor))
3424static void __check_init(void)
3425{
3426 hap_register_post_check(start_checks);
3427}
3428
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003429
Willy Tarreaubd741542010-03-16 18:46:54 +01003430/*
Willy Tarreaubaaee002006-06-26 02:48:02 +02003431 * Local variables:
3432 * c-indent-level: 8
3433 * c-basic-offset: 8
3434 * End:
3435 */