blob: c7b5c30a9289bef7a185cbd679b253fb9b0aee11 [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>
Christopher Fauletcfda8472017-10-20 15:40:23 +020038#include <common/hathreads.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020039
40#include <types/global.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>
Willy Tarreau53a47662017-08-28 10:53:00 +020049#include <proto/mux_pt.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020050#include <proto/queue.h>
Willy Tarreauc6f4ce82009-06-10 11:09:37 +020051#include <proto/port_range.h>
Willy Tarreau3d300592007-03-18 18:34:41 +010052#include <proto/proto_http.h>
Willy Tarreaue8c66af2008-01-13 18:40:14 +010053#include <proto/proto_tcp.h>
Baptiste Assmann69e273f2013-12-11 00:52:19 +010054#include <proto/protocol.h>
Willy Tarreau2b5652f2006-12-31 17:46:05 +010055#include <proto/proxy.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020056#include <proto/server.h>
Willy Tarreau48d6bf22016-06-21 16:27:34 +020057#include <proto/signal.h>
Willy Tarreau9e000c62011-03-10 14:03:36 +010058#include <proto/stream_interface.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020059#include <proto/task.h>
Baptiste Assmanna68ca962015-04-14 01:15:08 +020060#include <proto/log.h>
61#include <proto/dns.h>
62#include <proto/proto_udp.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020063
Olivier Houchard9130a962017-10-17 17:33:43 +020064#ifdef USE_OPENSSL
65#include <proto/ssl_sock.h>
66#endif /* USE_OPENSSL */
67
Willy Tarreaubd741542010-03-16 18:46:54 +010068static int httpchk_expect(struct server *s, int done);
Simon Hormane16c1b32015-01-30 11:22:57 +090069static int tcpcheck_get_step_id(struct check *);
Baptiste Assmann22b09d22015-05-01 08:03:04 +020070static char * tcpcheck_get_step_comment(struct check *, int);
Willy Tarreau6bdcab02017-10-04 18:41:00 +020071static int tcpcheck_main(struct check *);
Willy Tarreaubd741542010-03-16 18:46:54 +010072
Willy Tarreaubafbe012017-11-24 17:34:44 +010073static struct pool_head *pool_head_email_alert = NULL;
74static struct pool_head *pool_head_tcpcheck_rule = NULL;
Christopher Faulet31dff9b2017-10-23 15:45:20 +020075
76
Simon Horman63a4a822012-03-19 07:24:41 +090077static const struct check_status check_statuses[HCHK_STATUS_SIZE] = {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010078 [HCHK_STATUS_UNKNOWN] = { CHK_RES_UNKNOWN, "UNK", "Unknown" },
79 [HCHK_STATUS_INI] = { CHK_RES_UNKNOWN, "INI", "Initializing" },
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +020080 [HCHK_STATUS_START] = { /* SPECIAL STATUS*/ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020081
Willy Tarreau23964182014-05-20 20:56:30 +020082 /* Below we have finished checks */
83 [HCHK_STATUS_CHECKED] = { CHK_RES_NEUTRAL, "CHECKED", "No status change" },
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010084 [HCHK_STATUS_HANA] = { CHK_RES_FAILED, "HANA", "Health analyze" },
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +010085
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010086 [HCHK_STATUS_SOCKERR] = { CHK_RES_FAILED, "SOCKERR", "Socket error" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020087
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010088 [HCHK_STATUS_L4OK] = { CHK_RES_PASSED, "L4OK", "Layer4 check passed" },
89 [HCHK_STATUS_L4TOUT] = { CHK_RES_FAILED, "L4TOUT", "Layer4 timeout" },
90 [HCHK_STATUS_L4CON] = { CHK_RES_FAILED, "L4CON", "Layer4 connection problem" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020091
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010092 [HCHK_STATUS_L6OK] = { CHK_RES_PASSED, "L6OK", "Layer6 check passed" },
93 [HCHK_STATUS_L6TOUT] = { CHK_RES_FAILED, "L6TOUT", "Layer6 timeout" },
94 [HCHK_STATUS_L6RSP] = { CHK_RES_FAILED, "L6RSP", "Layer6 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020095
Willy Tarreau6aaa1b82013-12-11 17:09:34 +010096 [HCHK_STATUS_L7TOUT] = { CHK_RES_FAILED, "L7TOUT", "Layer7 timeout" },
97 [HCHK_STATUS_L7RSP] = { CHK_RES_FAILED, "L7RSP", "Layer7 invalid response" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +020098
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +020099 [HCHK_STATUS_L57DATA] = { /* DUMMY STATUS */ },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200100
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100101 [HCHK_STATUS_L7OKD] = { CHK_RES_PASSED, "L7OK", "Layer7 check passed" },
102 [HCHK_STATUS_L7OKCD] = { CHK_RES_CONDPASS, "L7OKC", "Layer7 check conditionally passed" },
103 [HCHK_STATUS_L7STS] = { CHK_RES_FAILED, "L7STS", "Layer7 wrong status" },
Simon Horman98637e52014-06-20 12:30:16 +0900104
105 [HCHK_STATUS_PROCERR] = { CHK_RES_FAILED, "PROCERR", "External check error" },
106 [HCHK_STATUS_PROCTOUT] = { CHK_RES_FAILED, "PROCTOUT", "External check timeout" },
Cyril Bonté77010d82014-08-07 01:55:37 +0200107 [HCHK_STATUS_PROCOK] = { CHK_RES_PASSED, "PROCOK", "External check passed" },
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200108};
109
Cyril Bontéac92a062014-12-27 22:28:38 +0100110const struct extcheck_env extcheck_envs[EXTCHK_SIZE] = {
111 [EXTCHK_PATH] = { "PATH", EXTCHK_SIZE_EVAL_INIT },
112 [EXTCHK_HAPROXY_PROXY_NAME] = { "HAPROXY_PROXY_NAME", EXTCHK_SIZE_EVAL_INIT },
113 [EXTCHK_HAPROXY_PROXY_ID] = { "HAPROXY_PROXY_ID", EXTCHK_SIZE_EVAL_INIT },
114 [EXTCHK_HAPROXY_PROXY_ADDR] = { "HAPROXY_PROXY_ADDR", EXTCHK_SIZE_EVAL_INIT },
115 [EXTCHK_HAPROXY_PROXY_PORT] = { "HAPROXY_PROXY_PORT", EXTCHK_SIZE_EVAL_INIT },
116 [EXTCHK_HAPROXY_SERVER_NAME] = { "HAPROXY_SERVER_NAME", EXTCHK_SIZE_EVAL_INIT },
117 [EXTCHK_HAPROXY_SERVER_ID] = { "HAPROXY_SERVER_ID", EXTCHK_SIZE_EVAL_INIT },
118 [EXTCHK_HAPROXY_SERVER_ADDR] = { "HAPROXY_SERVER_ADDR", EXTCHK_SIZE_EVAL_INIT },
119 [EXTCHK_HAPROXY_SERVER_PORT] = { "HAPROXY_SERVER_PORT", EXTCHK_SIZE_EVAL_INIT },
120 [EXTCHK_HAPROXY_SERVER_MAXCONN] = { "HAPROXY_SERVER_MAXCONN", EXTCHK_SIZE_EVAL_INIT },
121 [EXTCHK_HAPROXY_SERVER_CURCONN] = { "HAPROXY_SERVER_CURCONN", EXTCHK_SIZE_ULONG },
122};
123
Simon Horman63a4a822012-03-19 07:24:41 +0900124static const struct analyze_status analyze_statuses[HANA_STATUS_SIZE] = { /* 0: ignore, 1: error, 2: OK */
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100125 [HANA_STATUS_UNKNOWN] = { "Unknown", { 0, 0 }},
126
127 [HANA_STATUS_L4_OK] = { "L4 successful connection", { 2, 0 }},
128 [HANA_STATUS_L4_ERR] = { "L4 unsuccessful connection", { 1, 1 }},
129
130 [HANA_STATUS_HTTP_OK] = { "Correct http response", { 0, 2 }},
131 [HANA_STATUS_HTTP_STS] = { "Wrong http response", { 0, 1 }},
132 [HANA_STATUS_HTTP_HDRRSP] = { "Invalid http response (headers)", { 0, 1 }},
133 [HANA_STATUS_HTTP_RSP] = { "Invalid http response", { 0, 1 }},
134
135 [HANA_STATUS_HTTP_READ_ERROR] = { "Read error (http)", { 0, 1 }},
136 [HANA_STATUS_HTTP_READ_TIMEOUT] = { "Read timeout (http)", { 0, 1 }},
137 [HANA_STATUS_HTTP_BROKEN_PIPE] = { "Close from server (http)", { 0, 1 }},
138};
139
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200140/*
141 * Convert check_status code to description
142 */
143const char *get_check_status_description(short check_status) {
144
145 const char *desc;
146
147 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200148 desc = check_statuses[check_status].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200149 else
150 desc = NULL;
151
152 if (desc && *desc)
153 return desc;
154 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200155 return check_statuses[HCHK_STATUS_UNKNOWN].desc;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200156}
157
158/*
159 * Convert check_status code to short info
160 */
161const char *get_check_status_info(short check_status) {
162
163 const char *info;
164
165 if (check_status < HCHK_STATUS_SIZE)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200166 info = check_statuses[check_status].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200167 else
168 info = NULL;
169
170 if (info && *info)
171 return info;
172 else
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200173 return check_statuses[HCHK_STATUS_UNKNOWN].info;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200174}
175
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100176const char *get_analyze_status(short analyze_status) {
177
178 const char *desc;
179
180 if (analyze_status < HANA_STATUS_SIZE)
181 desc = analyze_statuses[analyze_status].desc;
182 else
183 desc = NULL;
184
185 if (desc && *desc)
186 return desc;
187 else
188 return analyze_statuses[HANA_STATUS_UNKNOWN].desc;
189}
190
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200191/*
Simon Horman4a741432013-02-23 15:35:38 +0900192 * Set check->status, update check->duration and fill check->result with
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200193 * an adequate CHK_RES_* value. The new check->health is computed based
194 * on the result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200195 *
196 * Show information in logs about failed health check if server is UP
197 * or succeeded health checks if server is DOWN.
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200198 */
Simon Horman4a741432013-02-23 15:35:38 +0900199static void set_server_check_status(struct check *check, short status, const char *desc)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100200{
Simon Horman4a741432013-02-23 15:35:38 +0900201 struct server *s = check->server;
Willy Tarreaubef1b322014-05-13 21:01:39 +0200202 short prev_status = check->status;
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200203 int report = 0;
Simon Horman4a741432013-02-23 15:35:38 +0900204
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200205 if (status == HCHK_STATUS_START) {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100206 check->result = CHK_RES_UNKNOWN; /* no result yet */
Simon Horman4a741432013-02-23 15:35:38 +0900207 check->desc[0] = '\0';
208 check->start = now;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200209 return;
210 }
211
Simon Horman4a741432013-02-23 15:35:38 +0900212 if (!check->status)
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200213 return;
214
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200215 if (desc && *desc) {
Simon Horman4a741432013-02-23 15:35:38 +0900216 strncpy(check->desc, desc, HCHK_DESC_LEN-1);
217 check->desc[HCHK_DESC_LEN-1] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200218 } else
Simon Horman4a741432013-02-23 15:35:38 +0900219 check->desc[0] = '\0';
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200220
Simon Horman4a741432013-02-23 15:35:38 +0900221 check->status = status;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200222 if (check_statuses[status].result)
Simon Horman4a741432013-02-23 15:35:38 +0900223 check->result = check_statuses[status].result;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200224
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100225 if (status == HCHK_STATUS_HANA)
Simon Horman4a741432013-02-23 15:35:38 +0900226 check->duration = -1;
227 else if (!tv_iszero(&check->start)) {
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200228 /* set_server_check_status() may be called more than once */
Simon Horman4a741432013-02-23 15:35:38 +0900229 check->duration = tv_ms_elapsed(&check->start, &now);
230 tv_zero(&check->start);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200231 }
232
Willy Tarreau23964182014-05-20 20:56:30 +0200233 /* no change is expected if no state change occurred */
234 if (check->result == CHK_RES_NEUTRAL)
235 return;
236
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200237 report = 0;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200238
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200239 switch (check->result) {
240 case CHK_RES_FAILED:
Willy Tarreau12634e12014-05-23 11:32:36 +0200241 /* Failure to connect to the agent as a secondary check should not
242 * cause the server to be marked down.
243 */
244 if ((!(check->state & CHK_ST_AGENT) ||
Simon Hormaneaabd522015-02-26 11:26:17 +0900245 (check->status >= HCHK_STATUS_L57DATA)) &&
Christopher Fauletb119a792018-05-02 12:12:45 +0200246 (check->health > 0)) {
Christopher Faulet29f77e82017-06-08 14:04:45 +0200247 HA_ATOMIC_ADD(&s->counters.failed_checks, 1);
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200248 report = 1;
249 check->health--;
250 if (check->health < check->rise)
251 check->health = 0;
252 }
253 break;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200254
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200255 case CHK_RES_PASSED:
256 case CHK_RES_CONDPASS: /* "condpass" cannot make the first step but it OK after a "passed" */
257 if ((check->health < check->rise + check->fall - 1) &&
258 (check->result == CHK_RES_PASSED || check->health > 0)) {
259 report = 1;
260 check->health++;
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200261
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200262 if (check->health >= check->rise)
263 check->health = check->rise + check->fall - 1; /* OK now */
264 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200265
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200266 /* clear consecutive_errors if observing is enabled */
267 if (s->onerror)
268 s->consecutive_errors = 0;
269 break;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100270
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200271 default:
272 break;
273 }
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200274
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200275 if (s->proxy->options2 & PR_O2_LOGHCHKS &&
276 (status != prev_status || report)) {
277 chunk_printf(&trash,
Willy Tarreau12634e12014-05-23 11:32:36 +0200278 "%s check for %sserver %s/%s %s%s",
279 (check->state & CHK_ST_AGENT) ? "Agent" : "Health",
Willy Tarreauc93cd162014-05-13 15:54:22 +0200280 s->flags & SRV_F_BACKUP ? "backup " : "",
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100281 s->proxy->id, s->id,
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100282 (check->result == CHK_RES_CONDPASS) ? "conditionally ":"",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200283 (check->result >= CHK_RES_PASSED) ? "succeeded" : "failed");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200284
Emeric Brun5a133512017-10-19 14:42:30 +0200285 srv_append_status(&trash, s, check, -1, 0);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200286
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100287 chunk_appendf(&trash, ", status: %d/%d %s",
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200288 (check->health >= check->rise) ? check->health - check->rise + 1 : check->health,
289 (check->health >= check->rise) ? check->fall : check->rise,
290 (check->health >= check->rise) ? (s->uweight ? "UP" : "DRAIN") : "DOWN");
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200291
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200292 ha_warning("%s.\n", trash.area);
293 send_log(s->proxy, LOG_NOTICE, "%s.\n", trash.area);
294 send_email_alert(s, LOG_INFO, "%s", trash.area);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200295 }
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200296}
297
Willy Tarreau4eec5472014-05-20 22:32:27 +0200298/* Marks the check <check>'s server down if the current check is already failed
299 * and the server is not down yet nor in maintenance.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200300 */
Willy Tarreau4eec5472014-05-20 22:32:27 +0200301static void check_notify_failure(struct check *check)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200302{
Simon Horman4a741432013-02-23 15:35:38 +0900303 struct server *s = check->server;
Simon Hormane0d1bfb2011-06-21 14:34:58 +0900304
Willy Tarreau7b1d47c2014-05-20 14:55:13 +0200305 /* The agent secondary check should only cause a server to be marked
306 * as down if check->status is HCHK_STATUS_L7STS, which indicates
307 * that the agent returned "fail", "stopped" or "down".
308 * The implication here is that failure to connect to the agent
309 * as a secondary check should not cause the server to be marked
310 * down. */
311 if ((check->state & CHK_ST_AGENT) && check->status != HCHK_STATUS_L7STS)
312 return;
313
Willy Tarreau4eec5472014-05-20 22:32:27 +0200314 if (check->health > 0)
315 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100316
Willy Tarreau4eec5472014-05-20 22:32:27 +0200317 /* We only report a reason for the check if we did not do so previously */
Emeric Brun5a133512017-10-19 14:42:30 +0200318 srv_set_stopped(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200319}
320
Willy Tarreauaf549582014-05-16 17:37:50 +0200321/* Marks the check <check> as valid and tries to set its server up, provided
Willy Tarreau3e048382014-05-21 10:30:54 +0200322 * it isn't in maintenance, it is not tracking a down server and other checks
323 * comply. The rule is simple : by default, a server is up, unless any of the
324 * following conditions is true :
325 * - health check failed (check->health < rise)
326 * - agent check failed (agent->health < rise)
327 * - the server tracks a down server (track && track->state == STOPPED)
328 * Note that if the server has a slowstart, it will switch to STARTING instead
329 * of RUNNING. Also, only the health checks support the nolb mode, so the
330 * agent's success may not take the server out of this mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200331 */
Willy Tarreau3e048382014-05-21 10:30:54 +0200332static void check_notify_success(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200333{
Simon Horman4a741432013-02-23 15:35:38 +0900334 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100335
Emeric Brun52a91d32017-08-31 14:41:55 +0200336 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200337 return;
Cyril Bontécd19e512010-01-31 22:34:03 +0100338
Emeric Brun52a91d32017-08-31 14:41:55 +0200339 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreauaf549582014-05-16 17:37:50 +0200340 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100341
Willy Tarreau3e048382014-05-21 10:30:54 +0200342 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
343 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100344
Willy Tarreau3e048382014-05-21 10:30:54 +0200345 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
346 return;
Willy Tarreauaf549582014-05-16 17:37:50 +0200347
Emeric Brun52a91d32017-08-31 14:41:55 +0200348 if ((check->state & CHK_ST_AGENT) && s->next_state == SRV_ST_STOPPING)
Willy Tarreau3e048382014-05-21 10:30:54 +0200349 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100350
Emeric Brun5a133512017-10-19 14:42:30 +0200351 srv_set_running(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100352}
353
Willy Tarreaudb58b792014-05-21 13:57:23 +0200354/* Marks the check <check> as valid and tries to set its server into stopping mode
355 * if it was running or starting, and provided it isn't in maintenance and other
356 * checks comply. The conditions for the server to be marked in stopping mode are
357 * the same as for it to be turned up. Also, only the health checks support the
358 * nolb mode.
Willy Tarreauaf549582014-05-16 17:37:50 +0200359 */
Willy Tarreaudb58b792014-05-21 13:57:23 +0200360static void check_notify_stopping(struct check *check)
Willy Tarreauaf549582014-05-16 17:37:50 +0200361{
Simon Horman4a741432013-02-23 15:35:38 +0900362 struct server *s = check->server;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100363
Emeric Brun52a91d32017-08-31 14:41:55 +0200364 if (s->next_admin & SRV_ADMF_MAINT)
Willy Tarreauaf549582014-05-16 17:37:50 +0200365 return;
366
Willy Tarreaudb58b792014-05-21 13:57:23 +0200367 if (check->state & CHK_ST_AGENT)
368 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100369
Emeric Brun52a91d32017-08-31 14:41:55 +0200370 if (s->track && s->track->next_state == SRV_ST_STOPPED)
Willy Tarreaudb58b792014-05-21 13:57:23 +0200371 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100372
Willy Tarreaudb58b792014-05-21 13:57:23 +0200373 if ((s->check.state & CHK_ST_ENABLED) && (s->check.health < s->check.rise))
374 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100375
Willy Tarreaudb58b792014-05-21 13:57:23 +0200376 if ((s->agent.state & CHK_ST_ENABLED) && (s->agent.health < s->agent.rise))
377 return;
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100378
Willy Tarreaub26881a2017-12-23 11:16:49 +0100379 srv_set_stopping(s, NULL, (!s->track && !(s->proxy->options2 & PR_O2_LOGHCHKS)) ? check : NULL);
Krzysztof Piotr Oledzkic8b16fc2008-02-18 01:26:35 +0100380}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200381
Willy Tarreau9fe7aae2013-12-31 23:47:37 +0100382/* note: use health_adjust() only, which first checks that the observe mode is
383 * enabled.
384 */
385void __health_adjust(struct server *s, short status)
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100386{
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100387 int failed;
388 int expire;
389
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100390 if (s->observe >= HANA_OBS_SIZE)
391 return;
392
Willy Tarreaubb956662013-01-24 00:37:39 +0100393 if (status >= HANA_STATUS_SIZE || !analyze_statuses[status].desc)
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100394 return;
395
396 switch (analyze_statuses[status].lr[s->observe - 1]) {
397 case 1:
398 failed = 1;
399 break;
400
401 case 2:
402 failed = 0;
403 break;
404
405 default:
406 return;
407 }
408
409 if (!failed) {
410 /* good: clear consecutive_errors */
411 s->consecutive_errors = 0;
412 return;
413 }
414
Christopher Faulet29f77e82017-06-08 14:04:45 +0200415 HA_ATOMIC_ADD(&s->consecutive_errors, 1);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100416
417 if (s->consecutive_errors < s->consecutive_errors_limit)
418 return;
419
Willy Tarreau19d14ef2012-10-29 16:51:55 +0100420 chunk_printf(&trash, "Detected %d consecutive errors, last one was: %s",
421 s->consecutive_errors, get_analyze_status(status));
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100422
423 switch (s->onerror) {
424 case HANA_ONERR_FASTINTER:
425 /* force fastinter - nothing to do here as all modes force it */
426 break;
427
428 case HANA_ONERR_SUDDTH:
429 /* simulate a pre-fatal failed health check */
Simon Horman58c32972013-11-25 10:46:38 +0900430 if (s->check.health > s->check.rise)
431 s->check.health = s->check.rise + 1;
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100432
433 /* no break - fall through */
434
435 case HANA_ONERR_FAILCHK:
436 /* simulate a failed health check */
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200437 set_server_check_status(&s->check, HCHK_STATUS_HANA,
438 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200439 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100440 break;
441
442 case HANA_ONERR_MARKDWN:
443 /* mark server down */
Simon Horman58c32972013-11-25 10:46:38 +0900444 s->check.health = s->check.rise;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200445 set_server_check_status(&s->check, HCHK_STATUS_HANA,
446 trash.area);
Willy Tarreau4eec5472014-05-20 22:32:27 +0200447 check_notify_failure(&s->check);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100448 break;
449
450 default:
451 /* write a warning? */
452 break;
453 }
454
455 s->consecutive_errors = 0;
Christopher Faulet29f77e82017-06-08 14:04:45 +0200456 HA_ATOMIC_ADD(&s->counters.failed_hana, 1);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100457
Simon Horman66183002013-02-23 10:16:43 +0900458 if (s->check.fastinter) {
459 expire = tick_add(now_ms, MS_TO_TICKS(s->check.fastinter));
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300460 if (s->check.task->expire > expire) {
Willy Tarreau5b3a2022012-09-28 15:01:02 +0200461 s->check.task->expire = expire;
Sergiy Prykhodko1d57e502013-09-21 12:05:00 +0300462 /* requeue check task with new expire */
463 task_queue(s->check.task);
464 }
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100465 }
466}
467
Willy Tarreaua1dab552014-04-14 15:04:54 +0200468static int httpchk_build_status_header(struct server *s, char *buffer, int size)
Willy Tarreauef781042010-01-27 11:53:01 +0100469{
470 int sv_state;
471 int ratio;
472 int hlen = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800473 char addr[46];
474 char port[6];
Willy Tarreauef781042010-01-27 11:53:01 +0100475 const char *srv_hlt_st[7] = { "DOWN", "DOWN %d/%d",
476 "UP %d/%d", "UP",
477 "NOLB %d/%d", "NOLB",
478 "no check" };
479
480 memcpy(buffer + hlen, "X-Haproxy-Server-State: ", 24);
481 hlen += 24;
482
Willy Tarreauff5ae352013-12-11 20:36:34 +0100483 if (!(s->check.state & CHK_ST_ENABLED))
484 sv_state = 6;
Emeric Brun52a91d32017-08-31 14:41:55 +0200485 else if (s->cur_state != SRV_ST_STOPPED) {
Simon Horman58c32972013-11-25 10:46:38 +0900486 if (s->check.health == s->check.rise + s->check.fall - 1)
Willy Tarreauef781042010-01-27 11:53:01 +0100487 sv_state = 3; /* UP */
488 else
489 sv_state = 2; /* going down */
490
Emeric Brun52a91d32017-08-31 14:41:55 +0200491 if (s->cur_state == SRV_ST_STOPPING)
Willy Tarreauef781042010-01-27 11:53:01 +0100492 sv_state += 2;
493 } else {
Simon Horman125d0992013-02-24 17:23:38 +0900494 if (s->check.health)
Willy Tarreauef781042010-01-27 11:53:01 +0100495 sv_state = 1; /* going up */
496 else
497 sv_state = 0; /* DOWN */
498 }
499
Willy Tarreaua1dab552014-04-14 15:04:54 +0200500 hlen += snprintf(buffer + hlen, size - hlen,
Willy Tarreauef781042010-01-27 11:53:01 +0100501 srv_hlt_st[sv_state],
Emeric Brun52a91d32017-08-31 14:41:55 +0200502 (s->cur_state != SRV_ST_STOPPED) ? (s->check.health - s->check.rise + 1) : (s->check.health),
503 (s->cur_state != SRV_ST_STOPPED) ? (s->check.fall) : (s->check.rise));
Willy Tarreauef781042010-01-27 11:53:01 +0100504
Joseph Lynch514061c2015-01-15 17:52:59 -0800505 addr_to_str(&s->addr, addr, sizeof(addr));
Willy Tarreau04276f32017-01-06 17:41:29 +0100506 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
507 snprintf(port, sizeof(port), "%u", s->svc_port);
508 else
509 *port = 0;
Joseph Lynch514061c2015-01-15 17:52:59 -0800510
511 hlen += snprintf(buffer + hlen, size - hlen, "; address=%s; port=%s; name=%s/%s; node=%s; weight=%d/%d; scur=%d/%d; qcur=%d",
512 addr, port, s->proxy->id, s->id,
Willy Tarreauef781042010-01-27 11:53:01 +0100513 global.node,
Emeric Brun52a91d32017-08-31 14:41:55 +0200514 (s->cur_eweight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
Willy Tarreauef781042010-01-27 11:53:01 +0100515 (s->proxy->lbprm.tot_weight * s->proxy->lbprm.wmult + s->proxy->lbprm.wdiv - 1) / s->proxy->lbprm.wdiv,
516 s->cur_sess, s->proxy->beconn - s->proxy->nbpend,
517 s->nbpend);
518
Emeric Brun52a91d32017-08-31 14:41:55 +0200519 if ((s->cur_state == SRV_ST_STARTING) &&
Willy Tarreauef781042010-01-27 11:53:01 +0100520 now.tv_sec < s->last_change + s->slowstart &&
521 now.tv_sec >= s->last_change) {
522 ratio = MAX(1, 100 * (now.tv_sec - s->last_change) / s->slowstart);
Willy Tarreaua1dab552014-04-14 15:04:54 +0200523 hlen += snprintf(buffer + hlen, size - hlen, "; throttle=%d%%", ratio);
Willy Tarreauef781042010-01-27 11:53:01 +0100524 }
525
526 buffer[hlen++] = '\r';
527 buffer[hlen++] = '\n';
528
529 return hlen;
530}
531
Willy Tarreau20a18342013-12-05 00:31:46 +0100532/* Check the connection. If an error has already been reported or the socket is
533 * closed, keep errno intact as it is supposed to contain the valid error code.
534 * If no error is reported, check the socket's error queue using getsockopt().
535 * Warning, this must be done only once when returning from poll, and never
536 * after an I/O error was attempted, otherwise the error queue might contain
537 * inconsistent errors. If an error is detected, the CO_FL_ERROR is set on the
538 * socket. Returns non-zero if an error was reported, zero if everything is
539 * clean (including a properly closed socket).
540 */
541static int retrieve_errno_from_socket(struct connection *conn)
542{
543 int skerr;
544 socklen_t lskerr = sizeof(skerr);
545
546 if (conn->flags & CO_FL_ERROR && ((errno && errno != EAGAIN) || !conn->ctrl))
547 return 1;
548
Willy Tarreau3c728722014-01-23 13:50:42 +0100549 if (!conn_ctrl_ready(conn))
Willy Tarreau20a18342013-12-05 00:31:46 +0100550 return 0;
551
Willy Tarreau585744b2017-08-24 14:31:19 +0200552 if (getsockopt(conn->handle.fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr) == 0)
Willy Tarreau20a18342013-12-05 00:31:46 +0100553 errno = skerr;
554
555 if (errno == EAGAIN)
556 errno = 0;
557
558 if (!errno) {
559 /* we could not retrieve an error, that does not mean there is
560 * none. Just don't change anything and only report the prior
561 * error if any.
562 */
563 if (conn->flags & CO_FL_ERROR)
564 return 1;
565 else
566 return 0;
567 }
568
569 conn->flags |= CO_FL_ERROR | CO_FL_SOCK_WR_SH | CO_FL_SOCK_RD_SH;
570 return 1;
571}
572
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100573/* Try to collect as much information as possible on the connection status,
574 * and adjust the server status accordingly. It may make use of <errno_bck>
575 * if non-null when the caller is absolutely certain of its validity (eg:
576 * checked just after a syscall). If the caller doesn't have a valid errno,
577 * it can pass zero, and retrieve_errno_from_socket() will be called to try
578 * to extract errno from the socket. If no error is reported, it will consider
579 * the <expired> flag. This is intended to be used when a connection error was
580 * reported in conn->flags or when a timeout was reported in <expired>. The
581 * function takes care of not updating a server status which was already set.
582 * All situations where at least one of <expired> or CO_FL_ERROR are set
583 * produce a status.
584 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200585static void chk_report_conn_err(struct check *check, int errno_bck, int expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100586{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200587 struct conn_stream *cs = check->cs;
588 struct connection *conn = cs_conn(cs);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100589 const char *err_msg;
Willy Tarreau83061a82018-07-13 11:56:34 +0200590 struct buffer *chk;
Willy Tarreau213c6782014-10-02 14:51:02 +0200591 int step;
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200592 char *comment;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100593
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100594 if (check->result != CHK_RES_UNKNOWN)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100595 return;
596
597 errno = errno_bck;
Willy Tarreau00149122017-10-04 18:05:01 +0200598 if (conn && (!errno || errno == EAGAIN))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100599 retrieve_errno_from_socket(conn);
600
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200601 if (conn && !(conn->flags & CO_FL_ERROR) &&
602 !(cs->flags & CS_FL_ERROR) && !expired)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100603 return;
604
605 /* we'll try to build a meaningful error message depending on the
606 * context of the error possibly present in conn->err_code, and the
607 * socket error possibly collected above. This is useful to know the
608 * exact step of the L6 layer (eg: SSL handshake).
609 */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200610 chk = get_trash_chunk();
611
612 if (check->type == PR_O2_TCPCHK_CHK) {
Simon Hormane16c1b32015-01-30 11:22:57 +0900613 step = tcpcheck_get_step_id(check);
Willy Tarreau213c6782014-10-02 14:51:02 +0200614 if (!step)
615 chunk_printf(chk, " at initial connection step of tcp-check");
616 else {
617 chunk_printf(chk, " at step %d of tcp-check", step);
618 /* we were looking for a string */
619 if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_CONNECT) {
620 if (check->last_started_step->port)
621 chunk_appendf(chk, " (connect port %d)" ,check->last_started_step->port);
622 else
623 chunk_appendf(chk, " (connect)");
624 }
625 else if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_EXPECT) {
626 if (check->last_started_step->string)
Baptiste Assmann96a5c9b2015-05-01 08:09:29 +0200627 chunk_appendf(chk, " (expect string '%s')", check->last_started_step->string);
Willy Tarreau213c6782014-10-02 14:51:02 +0200628 else if (check->last_started_step->expect_regex)
629 chunk_appendf(chk, " (expect regex)");
630 }
631 else if (check->last_started_step && check->last_started_step->action == TCPCHK_ACT_SEND) {
632 chunk_appendf(chk, " (send)");
633 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +0200634
635 comment = tcpcheck_get_step_comment(check, step);
636 if (comment)
637 chunk_appendf(chk, " comment: '%s'", comment);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200638 }
639 }
640
Willy Tarreau00149122017-10-04 18:05:01 +0200641 if (conn && conn->err_code) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100642 if (errno && errno != EAGAIN)
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200643 chunk_printf(&trash, "%s (%s)%s", conn_err_code_str(conn), strerror(errno),
644 chk->area);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100645 else
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200646 chunk_printf(&trash, "%s%s", conn_err_code_str(conn),
647 chk->area);
648 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100649 }
650 else {
651 if (errno && errno != EAGAIN) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200652 chunk_printf(&trash, "%s%s", strerror(errno),
653 chk->area);
654 err_msg = trash.area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100655 }
656 else {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200657 err_msg = chk->area;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100658 }
659 }
660
Willy Tarreau00149122017-10-04 18:05:01 +0200661 if (check->state & CHK_ST_PORT_MISS) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +0200662 /* NOTE: this is reported after <fall> tries */
663 chunk_printf(chk, "No port available for the TCP connection");
664 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
665 }
666
Willy Tarreau00149122017-10-04 18:05:01 +0200667 if (!conn) {
668 /* connection allocation error before the connection was established */
669 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
670 }
671 else if ((conn->flags & (CO_FL_CONNECTED|CO_FL_WAIT_L4_CONN)) == CO_FL_WAIT_L4_CONN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100672 /* L4 not established (yet) */
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200673 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100674 set_server_check_status(check, HCHK_STATUS_L4CON, err_msg);
675 else if (expired)
676 set_server_check_status(check, HCHK_STATUS_L4TOUT, err_msg);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200677
678 /*
679 * might be due to a server IP change.
680 * Let's trigger a DNS resolution if none are currently running.
681 */
Christopher Faulet67957bd2017-09-27 11:00:59 +0200682 dns_trigger_resolution(check->server->dns_requester);
Baptiste Assmanna68ca962015-04-14 01:15:08 +0200683
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100684 }
685 else if ((conn->flags & (CO_FL_CONNECTED|CO_FL_WAIT_L6_CONN)) == CO_FL_WAIT_L6_CONN) {
686 /* L6 not established (yet) */
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200687 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100688 set_server_check_status(check, HCHK_STATUS_L6RSP, err_msg);
689 else if (expired)
690 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
691 }
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200692 else if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100693 /* I/O error after connection was established and before we could diagnose */
694 set_server_check_status(check, HCHK_STATUS_SOCKERR, err_msg);
695 }
696 else if (expired) {
697 /* connection established but expired check */
698 if (check->type == PR_O2_SSL3_CHK)
699 set_server_check_status(check, HCHK_STATUS_L6TOUT, err_msg);
700 else /* HTTP, SMTP, ... */
701 set_server_check_status(check, HCHK_STATUS_L7TOUT, err_msg);
702 }
703
704 return;
705}
706
Willy Tarreaubaaee002006-06-26 02:48:02 +0200707/*
708 * This function is used only for server health-checks. It handles
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200709 * the connection acknowledgement. If the proxy requires L7 health-checks,
710 * it sends the request. In other cases, it calls set_server_check_status()
Simon Horman4a741432013-02-23 15:35:38 +0900711 * to set check->status, check->duration and check->result.
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100712 *
713 * Please do NOT place any return statement in this function and only leave
714 * via the out_unlock label.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200715 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200716static void event_srv_chk_w(struct conn_stream *cs)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200717{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200718 struct connection *conn = cs->conn;
719 struct check *check = cs->data;
Simon Horman4a741432013-02-23 15:35:38 +0900720 struct server *s = check->server;
Simon Horman4a741432013-02-23 15:35:38 +0900721 struct task *t = check->task;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200722
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100723 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100724 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100725 goto out_wakeup;
726
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100727 if (conn->flags & CO_FL_HANDSHAKE)
728 goto out_unlock;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100729
Willy Tarreau20a18342013-12-05 00:31:46 +0100730 if (retrieve_errno_from_socket(conn)) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200731 chk_report_conn_err(check, errno, 0);
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200732 __cs_stop_both(cs);
Willy Tarreau20a18342013-12-05 00:31:46 +0100733 goto out_wakeup;
734 }
Krzysztof Piotr Oledzki6492db52010-01-02 22:03:01 +0100735
Willy Tarreaubbae3f02017-08-30 09:59:52 +0200736 if (conn->flags & CO_FL_SOCK_WR_SH) {
Willy Tarreau20a18342013-12-05 00:31:46 +0100737 /* if the output is closed, we can't do anything */
738 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200739 chk_report_conn_err(check, 0, 0);
Willy Tarreau20a18342013-12-05 00:31:46 +0100740 goto out_wakeup;
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200741 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200742
Willy Tarreau06559ac2013-12-05 01:53:08 +0100743 /* here, we know that the connection is established. That's enough for
744 * a pure TCP check.
745 */
746 if (!check->type)
747 goto out_wakeup;
748
Willy Tarreauc09572f2017-10-04 11:58:22 +0200749 /* wake() will take care of calling tcpcheck_main() */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100750 if (check->type == PR_O2_TCPCHK_CHK)
751 goto out_unlock;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200752
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200753 if (b_data(&check->bo)) {
754 b_del(&check->bo, conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0));
755 b_realign_if_empty(&check->bo);
Willy Tarreaudeccd112018-06-14 18:38:55 +0200756
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200757 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200758 chk_report_conn_err(check, errno, 0);
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200759 __cs_stop_both(cs);
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100760 goto out_wakeup;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200761 }
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200762 if (b_data(&check->bo))
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100763 goto out_unlock;
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100764 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200765
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100766 /* full request sent, we allow up to <timeout.check> if nonzero for a response */
767 if (s->proxy->timeout.check) {
768 t->expire = tick_add_ifset(now_ms, s->proxy->timeout.check);
769 task_queue(t);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200770 }
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100771 goto out_nowake;
772
Willy Tarreau83749182007-04-15 20:56:27 +0200773 out_wakeup:
Willy Tarreaufdccded2008-08-29 18:19:04 +0200774 task_wakeup(t, TASK_WOKEN_IO);
Willy Tarreau83749182007-04-15 20:56:27 +0200775 out_nowake:
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200776 __cs_stop_send(cs); /* nothing more to write */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100777 out_unlock:
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100778 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200779}
780
Willy Tarreaubaaee002006-06-26 02:48:02 +0200781/*
Willy Tarreauf3c69202006-07-09 16:42:34 +0200782 * This function is used only for server health-checks. It handles the server's
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +0200783 * reply to an HTTP request, SSL HELLO or MySQL client Auth. It calls
Simon Horman4a741432013-02-23 15:35:38 +0900784 * set_server_check_status() to update check->status, check->duration
785 * and check->result.
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200786
787 * The set_server_check_status function is called with HCHK_STATUS_L7OKD if
788 * an HTTP server replies HTTP 2xx or 3xx (valid responses), if an SMTP server
789 * returns 2xx, HCHK_STATUS_L6OK if an SSL server returns at least 5 bytes in
790 * response to an SSL HELLO (the principle is that this is enough to
791 * distinguish between an SSL server and a pure TCP relay). All other cases will
792 * call it with a proper error status like HCHK_STATUS_L7STS, HCHK_STATUS_L6RSP,
793 * etc.
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100794 *
795 * Please do NOT place any return statement in this function and only leave
796 * via the out_unlock label.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200797 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200798static void event_srv_chk_r(struct conn_stream *cs)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200799{
Olivier Houchard9aaf7782017-09-13 18:30:23 +0200800 struct connection *conn = cs->conn;
801 struct check *check = cs->data;
Simon Horman4a741432013-02-23 15:35:38 +0900802 struct server *s = check->server;
803 struct task *t = check->task;
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200804 char *desc;
Willy Tarreau03938182010-03-17 21:52:07 +0100805 int done;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +0200806 unsigned short msglen;
Willy Tarreau83749182007-04-15 20:56:27 +0200807
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100808 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Emeric Brun9f0b4582017-10-23 14:39:51 +0200809
Willy Tarreau6aaa1b82013-12-11 17:09:34 +0100810 if (unlikely(check->result == CHK_RES_FAILED))
Willy Tarreau83749182007-04-15 20:56:27 +0200811 goto out_wakeup;
Willy Tarreau83749182007-04-15 20:56:27 +0200812
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100813 if (conn->flags & CO_FL_HANDSHAKE)
814 goto out_unlock;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +0200815
Willy Tarreauc09572f2017-10-04 11:58:22 +0200816 /* wake() will take care of calling tcpcheck_main() */
Willy Tarreau62ac84f2017-11-05 10:11:13 +0100817 if (check->type == PR_O2_TCPCHK_CHK)
818 goto out_unlock;
Willy Tarreaufb56aab2012-09-28 14:40:02 +0200819
Willy Tarreau83749182007-04-15 20:56:27 +0200820 /* Warning! Linux returns EAGAIN on SO_ERROR if data are still available
821 * but the connection was closed on the remote end. Fortunately, recv still
822 * works correctly and we don't need to do the getsockopt() on linux.
823 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000824
825 /* Set buffer to point to the end of the data already read, and check
826 * that there is free space remaining. If the buffer is full, proceed
827 * with running the checks without attempting another socket read.
828 */
Nick Chalk57b1bf72010-03-16 15:50:46 +0000829
Willy Tarreau03938182010-03-17 21:52:07 +0100830 done = 0;
Nick Chalk57b1bf72010-03-16 15:50:46 +0000831
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200832 conn->mux->rcv_buf(cs, &check->bi, b_size(&check->bi), 0);
Willy Tarreau4ff3b892017-10-16 15:17:17 +0200833 if (conn->flags & (CO_FL_ERROR | CO_FL_SOCK_RD_SH) || cs->flags & CS_FL_ERROR) {
Willy Tarreau03938182010-03-17 21:52:07 +0100834 done = 1;
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200835 if ((conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) && !b_data(&check->bi)) {
Willy Tarreauf1503172012-09-28 19:39:36 +0200836 /* Report network errors only if we got no other data. Otherwise
837 * we'll let the upper layers decide whether the response is OK
838 * or not. It is very common that an RST sent by the server is
839 * reported as an error just after the last data chunk.
840 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +0200841 chk_report_conn_err(check, errno, 0);
Willy Tarreauc1a07962010-03-16 20:55:43 +0100842 goto out_wakeup;
843 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200844 }
845
Willy Tarreau25e2ab52013-12-04 11:17:05 +0100846
Willy Tarreau03938182010-03-17 21:52:07 +0100847 /* Intermediate or complete response received.
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200848 * Terminate string in b_head(&check->bi) buffer.
Willy Tarreau03938182010-03-17 21:52:07 +0100849 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200850 if (b_data(&check->bi) < b_size(&check->bi))
851 b_head(&check->bi)[b_data(&check->bi)] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100852 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200853 b_head(&check->bi)[b_data(&check->bi) - 1] = '\0';
Willy Tarreau03938182010-03-17 21:52:07 +0100854 done = 1; /* buffer full, don't wait for more data */
855 }
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200856
Nick Chalk57b1bf72010-03-16 15:50:46 +0000857 /* Run the checks... */
Simon Horman4a741432013-02-23 15:35:38 +0900858 switch (check->type) {
Willy Tarreau1620ec32011-08-06 17:05:02 +0200859 case PR_O2_HTTP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200860 if (!done && b_data(&check->bi) < strlen("HTTP/1.0 000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100861 goto wait_more_data;
862
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100863 /* Check if the server speaks HTTP 1.X */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200864 if ((b_data(&check->bi) < strlen("HTTP/1.0 000\r")) ||
865 (memcmp(b_head(&check->bi), "HTTP/1.", 7) != 0 ||
866 (*(b_head(&check->bi) + 12) != ' ' && *(b_head(&check->bi) + 12) != '\r')) ||
867 !isdigit((unsigned char) *(b_head(&check->bi) + 9)) || !isdigit((unsigned char) *(b_head(&check->bi) + 10)) ||
868 !isdigit((unsigned char) *(b_head(&check->bi) + 11))) {
869 cut_crlf(b_head(&check->bi));
870 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200871
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100872 goto out_wakeup;
873 }
874
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200875 check->code = str2uic(b_head(&check->bi) + 9);
876 desc = ltrim(b_head(&check->bi) + 12, ' ');
Christopher Fauletc2a89a62017-10-23 15:54:24 +0200877
Willy Tarreaubd741542010-03-16 18:46:54 +0100878 if ((s->proxy->options & PR_O_DISABLE404) &&
Emeric Brun52a91d32017-08-31 14:41:55 +0200879 (s->next_state != SRV_ST_STOPPED) && (check->code == 404)) {
Nick Chalk57b1bf72010-03-16 15:50:46 +0000880 /* 404 may be accepted as "stopping" only if the server was up */
881 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900882 set_server_check_status(check, HCHK_STATUS_L7OKCD, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000883 }
Willy Tarreaubd741542010-03-16 18:46:54 +0100884 else if (s->proxy->options2 & PR_O2_EXP_TYPE) {
885 /* Run content verification check... We know we have at least 13 chars */
886 if (!httpchk_expect(s, done))
887 goto wait_more_data;
888 }
889 /* check the reply : HTTP/1.X 2xx and 3xx are OK */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200890 else if (*(b_head(&check->bi) + 9) == '2' || *(b_head(&check->bi) + 9) == '3') {
Willy Tarreaubd741542010-03-16 18:46:54 +0100891 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900892 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Willy Tarreaubd741542010-03-16 18:46:54 +0100893 }
Nick Chalk57b1bf72010-03-16 15:50:46 +0000894 else {
895 cut_crlf(desc);
Simon Horman4a741432013-02-23 15:35:38 +0900896 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Nick Chalk57b1bf72010-03-16 15:50:46 +0000897 }
Willy Tarreau1620ec32011-08-06 17:05:02 +0200898 break;
899
900 case PR_O2_SSL3_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200901 if (!done && b_data(&check->bi) < 5)
Willy Tarreau03938182010-03-17 21:52:07 +0100902 goto wait_more_data;
903
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100904 /* Check for SSLv3 alert or handshake */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200905 if ((b_data(&check->bi) >= 5) && (*b_head(&check->bi) == 0x15 || *b_head(&check->bi) == 0x16))
Simon Horman4a741432013-02-23 15:35:38 +0900906 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200907 else
Simon Horman4a741432013-02-23 15:35:38 +0900908 set_server_check_status(check, HCHK_STATUS_L6RSP, NULL);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200909 break;
910
911 case PR_O2_SMTP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200912 if (!done && b_data(&check->bi) < strlen("000\r"))
Willy Tarreau03938182010-03-17 21:52:07 +0100913 goto wait_more_data;
914
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200915 /* Check if the server speaks SMTP */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200916 if ((b_data(&check->bi) < strlen("000\r")) ||
917 (*(b_head(&check->bi) + 3) != ' ' && *(b_head(&check->bi) + 3) != '\r') ||
918 !isdigit((unsigned char) *b_head(&check->bi)) || !isdigit((unsigned char) *(b_head(&check->bi) + 1)) ||
919 !isdigit((unsigned char) *(b_head(&check->bi) + 2))) {
920 cut_crlf(b_head(&check->bi));
921 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200922 goto out_wakeup;
923 }
924
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200925 check->code = str2uic(b_head(&check->bi));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +0200926
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200927 desc = ltrim(b_head(&check->bi) + 3, ' ');
Krzysztof Piotr Oledzkif7089f52009-10-10 21:06:49 +0200928 cut_crlf(desc);
929
Willy Tarreauc7dd71a2007-11-30 08:33:21 +0100930 /* Check for SMTP code 2xx (should be 250) */
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200931 if (*b_head(&check->bi) == '2')
Simon Horman4a741432013-02-23 15:35:38 +0900932 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Krzysztof Piotr Oledzki213014e2009-09-27 15:50:02 +0200933 else
Simon Horman4a741432013-02-23 15:35:38 +0900934 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Willy Tarreau1620ec32011-08-06 17:05:02 +0200935 break;
936
Simon Hormana2b9dad2013-02-12 10:45:54 +0900937 case PR_O2_LB_AGENT_CHK: {
Willy Tarreau81f5d942013-12-09 20:51:51 +0100938 int status = HCHK_STATUS_CHECKED;
939 const char *hs = NULL; /* health status */
940 const char *as = NULL; /* admin status */
941 const char *ps = NULL; /* performance status */
Nenad Merdanovic174dd372016-04-24 23:10:06 +0200942 const char *cs = NULL; /* maxconn */
Willy Tarreau81f5d942013-12-09 20:51:51 +0100943 const char *err = NULL; /* first error to report */
944 const char *wrn = NULL; /* first warning to report */
945 char *cmd, *p;
Simon Hormana2b9dad2013-02-12 10:45:54 +0900946
Willy Tarreau81f5d942013-12-09 20:51:51 +0100947 /* We're getting an agent check response. The agent could
948 * have been disabled in the mean time with a long check
949 * still pending. It is important that we ignore the whole
950 * response.
951 */
952 if (!(check->server->agent.state & CHK_ST_ENABLED))
953 break;
954
955 /* The agent supports strings made of a single line ended by the
956 * first CR ('\r') or LF ('\n'). This line is composed of words
957 * delimited by spaces (' '), tabs ('\t'), or commas (','). The
958 * line may optionally contained a description of a state change
959 * after a sharp ('#'), which is only considered if a health state
960 * is announced.
961 *
962 * Words may be composed of :
963 * - a numeric weight suffixed by the percent character ('%').
964 * - a health status among "up", "down", "stopped", and "fail".
965 * - an admin status among "ready", "drain", "maint".
966 *
967 * These words may appear in any order. If multiple words of the
968 * same category appear, the last one wins.
969 */
970
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200971 p = b_head(&check->bi);
Willy Tarreau9809b782013-12-11 21:40:11 +0100972 while (*p && *p != '\n' && *p != '\r')
973 p++;
974
975 if (!*p) {
976 if (!done)
977 goto wait_more_data;
Simon Hormana2b9dad2013-02-12 10:45:54 +0900978
Willy Tarreau9809b782013-12-11 21:40:11 +0100979 /* at least inform the admin that the agent is mis-behaving */
980 set_server_check_status(check, check->status, "Ignoring incomplete line from agent");
981 break;
982 }
Willy Tarreau81f5d942013-12-09 20:51:51 +0100983
Willy Tarreau9809b782013-12-11 21:40:11 +0100984 *p = 0;
Willy Tarreauc9fa0482018-07-10 17:43:27 +0200985 cmd = b_head(&check->bi);
Simon Hormana2b9dad2013-02-12 10:45:54 +0900986
Willy Tarreau81f5d942013-12-09 20:51:51 +0100987 while (*cmd) {
988 /* look for next word */
989 if (*cmd == ' ' || *cmd == '\t' || *cmd == ',') {
990 cmd++;
991 continue;
992 }
Simon Horman671b6f02013-11-25 10:46:39 +0900993
Willy Tarreau81f5d942013-12-09 20:51:51 +0100994 if (*cmd == '#') {
995 /* this is the beginning of a health status description,
996 * skip the sharp and blanks.
997 */
998 cmd++;
999 while (*cmd == '\t' || *cmd == ' ')
1000 cmd++;
Simon Horman671b6f02013-11-25 10:46:39 +09001001 break;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001002 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001003
1004 /* find the end of the word so that we have a null-terminated
1005 * word between <cmd> and <p>.
1006 */
1007 p = cmd + 1;
1008 while (*p && *p != '\t' && *p != ' ' && *p != '\n' && *p != ',')
1009 p++;
1010 if (*p)
1011 *p++ = 0;
1012
1013 /* first, health statuses */
1014 if (strcasecmp(cmd, "up") == 0) {
1015 check->health = check->rise + check->fall - 1;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001016 status = HCHK_STATUS_L7OKD;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001017 hs = cmd;
1018 }
1019 else if (strcasecmp(cmd, "down") == 0) {
1020 check->health = 0;
1021 status = HCHK_STATUS_L7STS;
1022 hs = cmd;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001023 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001024 else if (strcasecmp(cmd, "stopped") == 0) {
1025 check->health = 0;
1026 status = HCHK_STATUS_L7STS;
1027 hs = cmd;
1028 }
1029 else if (strcasecmp(cmd, "fail") == 0) {
1030 check->health = 0;
1031 status = HCHK_STATUS_L7STS;
1032 hs = cmd;
1033 }
1034 /* admin statuses */
1035 else if (strcasecmp(cmd, "ready") == 0) {
1036 as = cmd;
1037 }
1038 else if (strcasecmp(cmd, "drain") == 0) {
1039 as = cmd;
1040 }
1041 else if (strcasecmp(cmd, "maint") == 0) {
1042 as = cmd;
1043 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001044 /* try to parse a weight here and keep the last one */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001045 else if (isdigit((unsigned char)*cmd) && strchr(cmd, '%') != NULL) {
1046 ps = cmd;
1047 }
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001048 /* try to parse a maxconn here */
1049 else if (strncasecmp(cmd, "maxconn:", strlen("maxconn:")) == 0) {
1050 cs = cmd;
1051 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001052 else {
1053 /* keep a copy of the first error */
1054 if (!err)
1055 err = cmd;
1056 }
1057 /* skip to next word */
1058 cmd = p;
1059 }
1060 /* here, cmd points either to \0 or to the beginning of a
1061 * description. Skip possible leading spaces.
1062 */
1063 while (*cmd == ' ' || *cmd == '\n')
1064 cmd++;
1065
1066 /* First, update the admin status so that we avoid sending other
1067 * possibly useless warnings and can also update the health if
1068 * present after going back up.
1069 */
1070 if (as) {
1071 if (strcasecmp(as, "drain") == 0)
1072 srv_adm_set_drain(check->server);
1073 else if (strcasecmp(as, "maint") == 0)
1074 srv_adm_set_maint(check->server);
1075 else
1076 srv_adm_set_ready(check->server);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001077 }
1078
Willy Tarreau81f5d942013-12-09 20:51:51 +01001079 /* now change weights */
1080 if (ps) {
1081 const char *msg;
1082
1083 msg = server_parse_weight_change_request(s, ps);
1084 if (!wrn || !*wrn)
1085 wrn = msg;
1086 }
1087
Nenad Merdanovic174dd372016-04-24 23:10:06 +02001088 if (cs) {
1089 const char *msg;
1090
1091 cs += strlen("maxconn:");
1092
1093 msg = server_parse_maxconn_change_request(s, cs);
1094 if (!wrn || !*wrn)
1095 wrn = msg;
1096 }
1097
Willy Tarreau81f5d942013-12-09 20:51:51 +01001098 /* and finally health status */
1099 if (hs) {
1100 /* We'll report some of the warnings and errors we have
1101 * here. Down reports are critical, we leave them untouched.
1102 * Lack of report, or report of 'UP' leaves the room for
1103 * ERR first, then WARN.
Simon Hormana2b9dad2013-02-12 10:45:54 +09001104 */
Willy Tarreau81f5d942013-12-09 20:51:51 +01001105 const char *msg = cmd;
Willy Tarreau83061a82018-07-13 11:56:34 +02001106 struct buffer *t;
Willy Tarreau81f5d942013-12-09 20:51:51 +01001107
1108 if (!*msg || status == HCHK_STATUS_L7OKD) {
1109 if (err && *err)
1110 msg = err;
1111 else if (wrn && *wrn)
1112 msg = wrn;
Simon Hormana2b9dad2013-02-12 10:45:54 +09001113 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001114
1115 t = get_trash_chunk();
1116 chunk_printf(t, "via agent : %s%s%s%s",
1117 hs, *msg ? " (" : "",
1118 msg, *msg ? ")" : "");
1119
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001120 set_server_check_status(check, status, t->area);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001121 }
Willy Tarreau81f5d942013-12-09 20:51:51 +01001122 else if (err && *err) {
1123 /* No status change but we'd like to report something odd.
1124 * Just report the current state and copy the message.
1125 */
1126 chunk_printf(&trash, "agent reports an error : %s", err);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001127 set_server_check_status(check, status/*check->status*/,
1128 trash.area);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001129
Willy Tarreau81f5d942013-12-09 20:51:51 +01001130 }
1131 else if (wrn && *wrn) {
1132 /* No status change but we'd like to report something odd.
1133 * Just report the current state and copy the message.
1134 */
1135 chunk_printf(&trash, "agent warns : %s", wrn);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001136 set_server_check_status(check, status/*check->status*/,
1137 trash.area);
Willy Tarreau81f5d942013-12-09 20:51:51 +01001138 }
1139 else
1140 set_server_check_status(check, status, NULL);
Simon Hormana2b9dad2013-02-12 10:45:54 +09001141 break;
1142 }
1143
Willy Tarreau1620ec32011-08-06 17:05:02 +02001144 case PR_O2_PGSQL_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001145 if (!done && b_data(&check->bi) < 9)
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001146 goto wait_more_data;
1147
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001148 if (b_head(&check->bi)[0] == 'R') {
Simon Horman4a741432013-02-23 15:35:38 +09001149 set_server_check_status(check, HCHK_STATUS_L7OKD, "PostgreSQL server is ok");
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001150 }
1151 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001152 if ((b_head(&check->bi)[0] == 'E') && (b_head(&check->bi)[5]!=0) && (b_head(&check->bi)[6]!=0))
1153 desc = &b_head(&check->bi)[6];
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001154 else
1155 desc = "PostgreSQL unknown error";
1156
Simon Horman4a741432013-02-23 15:35:38 +09001157 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Rauf Kuliyev38b41562011-01-04 15:14:13 +01001158 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001159 break;
1160
1161 case PR_O2_REDIS_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001162 if (!done && b_data(&check->bi) < 7)
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001163 goto wait_more_data;
1164
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001165 if (strcmp(b_head(&check->bi), "+PONG\r\n") == 0) {
Simon Horman4a741432013-02-23 15:35:38 +09001166 set_server_check_status(check, HCHK_STATUS_L7OKD, "Redis server is ok");
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001167 }
1168 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001169 set_server_check_status(check, HCHK_STATUS_L7STS, b_head(&check->bi));
Hervé COMMOWICKec032d62011-08-05 16:23:48 +02001170 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001171 break;
1172
1173 case PR_O2_MYSQL_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001174 if (!done && b_data(&check->bi) < 5)
Willy Tarreau03938182010-03-17 21:52:07 +01001175 goto wait_more_data;
1176
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001177 if (s->proxy->check_len == 0) { // old mode
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001178 if (*(b_head(&check->bi) + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001179 /* We set the MySQL Version in description for information purpose
1180 * FIXME : it can be cool to use MySQL Version for other purpose,
1181 * like mark as down old MySQL server.
1182 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001183 if (b_data(&check->bi) > 51) {
1184 desc = ltrim(b_head(&check->bi) + 5, ' ');
Simon Horman4a741432013-02-23 15:35:38 +09001185 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001186 }
1187 else {
1188 if (!done)
1189 goto wait_more_data;
Emeric Brun9f0b4582017-10-23 14:39:51 +02001190
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001191 /* it seems we have a OK packet but without a valid length,
1192 * it must be a protocol error
1193 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001194 set_server_check_status(check, HCHK_STATUS_L7RSP, b_head(&check->bi));
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001195 }
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001196 }
1197 else {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001198 /* An error message is attached in the Error packet */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001199 desc = ltrim(b_head(&check->bi) + 7, ' ');
Simon Horman4a741432013-02-23 15:35:38 +09001200 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001201 }
1202 } else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001203 unsigned int first_packet_len = ((unsigned int) *b_head(&check->bi)) +
1204 (((unsigned int) *(b_head(&check->bi) + 1)) << 8) +
1205 (((unsigned int) *(b_head(&check->bi) + 2)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001206
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001207 if (b_data(&check->bi) == first_packet_len + 4) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001208 /* MySQL Error packet always begin with field_count = 0xff */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001209 if (*(b_head(&check->bi) + 4) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001210 /* We have only one MySQL packet and it is a Handshake Initialization packet
1211 * but we need to have a second packet to know if it is alright
1212 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001213 if (!done && b_data(&check->bi) < first_packet_len + 5)
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001214 goto wait_more_data;
1215 }
1216 else {
1217 /* We have only one packet and it is an Error packet,
1218 * an error message is attached, so we can display it
1219 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001220 desc = &b_head(&check->bi)[7];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001221 //ha_warning("onlyoneERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001222 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001223 }
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001224 } else if (b_data(&check->bi) > first_packet_len + 4) {
1225 unsigned int second_packet_len = ((unsigned int) *(b_head(&check->bi) + first_packet_len + 4)) +
1226 (((unsigned int) *(b_head(&check->bi) + first_packet_len + 5)) << 8) +
1227 (((unsigned int) *(b_head(&check->bi) + first_packet_len + 6)) << 16);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001228
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001229 if (b_data(&check->bi) == first_packet_len + 4 + second_packet_len + 4 ) {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001230 /* We have 2 packets and that's good */
1231 /* Check if the second packet is a MySQL Error packet or not */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001232 if (*(b_head(&check->bi) + first_packet_len + 8) != '\xff') {
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001233 /* No error packet */
1234 /* We set the MySQL Version in description for information purpose */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001235 desc = &b_head(&check->bi)[5];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001236 //ha_warning("2packetOK: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001237 set_server_check_status(check, HCHK_STATUS_L7OKD, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001238 }
1239 else {
1240 /* An error message is attached in the Error packet
1241 * so we can display it ! :)
1242 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001243 desc = &b_head(&check->bi)[first_packet_len+11];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001244 //ha_warning("2packetERR: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001245 set_server_check_status(check, HCHK_STATUS_L7STS, desc);
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001246 }
1247 }
1248 }
1249 else {
Willy Tarreau03938182010-03-17 21:52:07 +01001250 if (!done)
1251 goto wait_more_data;
Emeric Brun9f0b4582017-10-23 14:39:51 +02001252
Hervé COMMOWICK8776f1b2010-10-18 15:58:36 +02001253 /* it seems we have a Handshake Initialization packet but without a valid length,
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001254 * it must be a protocol error
1255 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001256 desc = &b_head(&check->bi)[5];
Christopher Faulet767a84b2017-11-24 16:50:31 +01001257 //ha_warning("protoerr: %s\n", desc);
Simon Horman4a741432013-02-23 15:35:38 +09001258 set_server_check_status(check, HCHK_STATUS_L7RSP, desc);
Hervé COMMOWICK698ae002010-01-12 09:25:13 +01001259 }
1260 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001261 break;
1262
1263 case PR_O2_LDAP_CHK:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001264 if (!done && b_data(&check->bi) < 14)
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001265 goto wait_more_data;
1266
1267 /* Check if the server speaks LDAP (ASN.1/BER)
1268 * http://en.wikipedia.org/wiki/Basic_Encoding_Rules
1269 * http://tools.ietf.org/html/rfc4511
1270 */
1271
1272 /* http://tools.ietf.org/html/rfc4511#section-4.1.1
1273 * LDAPMessage: 0x30: SEQUENCE
1274 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001275 if ((b_data(&check->bi) < 14) || (*(b_head(&check->bi)) != '\x30')) {
Simon Horman4a741432013-02-23 15:35:38 +09001276 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001277 }
1278 else {
1279 /* size of LDAPMessage */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001280 msglen = (*(b_head(&check->bi) + 1) & 0x80) ? (*(b_head(&check->bi) + 1) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001281
1282 /* http://tools.ietf.org/html/rfc4511#section-4.2.2
1283 * messageID: 0x02 0x01 0x01: INTEGER 1
1284 * protocolOp: 0x61: bindResponse
1285 */
1286 if ((msglen > 2) ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001287 (memcmp(b_head(&check->bi) + 2 + msglen, "\x02\x01\x01\x61", 4) != 0)) {
Simon Horman4a741432013-02-23 15:35:38 +09001288 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001289 goto out_wakeup;
1290 }
1291
1292 /* size of bindResponse */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001293 msglen += (*(b_head(&check->bi) + msglen + 6) & 0x80) ? (*(b_head(&check->bi) + msglen + 6) & 0x7f) : 0;
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001294
1295 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1296 * ldapResult: 0x0a 0x01: ENUMERATION
1297 */
1298 if ((msglen > 4) ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001299 (memcmp(b_head(&check->bi) + 7 + msglen, "\x0a\x01", 2) != 0)) {
Simon Horman4a741432013-02-23 15:35:38 +09001300 set_server_check_status(check, HCHK_STATUS_L7RSP, "Not LDAPv3 protocol");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001301 goto out_wakeup;
1302 }
1303
1304 /* http://tools.ietf.org/html/rfc4511#section-4.1.9
1305 * resultCode
1306 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001307 check->code = *(b_head(&check->bi) + msglen + 9);
Simon Horman4a741432013-02-23 15:35:38 +09001308 if (check->code) {
1309 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 +02001310 } else {
Simon Horman4a741432013-02-23 15:35:38 +09001311 set_server_check_status(check, HCHK_STATUS_L7OKD, "Success");
Gabor Lekenyb4c81e42010-09-29 18:17:05 +02001312 }
1313 }
Willy Tarreau1620ec32011-08-06 17:05:02 +02001314 break;
1315
Christopher Fauletba7bc162016-11-07 21:07:38 +01001316 case PR_O2_SPOP_CHK: {
1317 unsigned int framesz;
1318 char err[HCHK_DESC_LEN];
1319
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001320 if (!done && b_data(&check->bi) < 4)
Christopher Fauletba7bc162016-11-07 21:07:38 +01001321 goto wait_more_data;
1322
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001323 memcpy(&framesz, b_head(&check->bi), 4);
Christopher Fauletba7bc162016-11-07 21:07:38 +01001324 framesz = ntohl(framesz);
1325
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001326 if (!done && b_data(&check->bi) < (4+framesz))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001327 goto wait_more_data;
1328
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001329 if (!spoe_handle_healthcheck_response(b_head(&check->bi)+4, framesz, err, HCHK_DESC_LEN-1))
Christopher Fauletba7bc162016-11-07 21:07:38 +01001330 set_server_check_status(check, HCHK_STATUS_L7OKD, "SPOA server is ok");
1331 else
1332 set_server_check_status(check, HCHK_STATUS_L7STS, err);
1333 break;
1334 }
1335
Willy Tarreau1620ec32011-08-06 17:05:02 +02001336 default:
Willy Tarreau06559ac2013-12-05 01:53:08 +01001337 /* for other checks (eg: pure TCP), delegate to the main task */
Willy Tarreau1620ec32011-08-06 17:05:02 +02001338 break;
1339 } /* switch */
Willy Tarreau83749182007-04-15 20:56:27 +02001340
Willy Tarreauc7dd71a2007-11-30 08:33:21 +01001341 out_wakeup:
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001342 /* collect possible new errors */
Willy Tarreau4ff3b892017-10-16 15:17:17 +02001343 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001344 chk_report_conn_err(check, 0, 0);
Willy Tarreaubaaee002006-06-26 02:48:02 +02001345
Nick Chalk57b1bf72010-03-16 15:50:46 +00001346 /* Reset the check buffer... */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001347 *b_head(&check->bi) = '\0';
1348 b_reset(&check->bi);
Nick Chalk57b1bf72010-03-16 15:50:46 +00001349
Steven Davidovitz544d4812017-03-08 11:06:20 -08001350 /* Close the connection... We still attempt to nicely close if,
1351 * for instance, SSL needs to send a "close notify." Later, we perform
1352 * a hard close and reset the connection if some data are pending,
1353 * otherwise we end up with many TIME_WAITs and eat all the source port
1354 * range quickly. To avoid sending RSTs all the time, we first try to
1355 * drain pending data.
Willy Tarreaufd29cc52012-11-23 09:18:20 +01001356 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001357 __cs_stop_both(cs);
Willy Tarreauecdb3fe2017-10-05 15:25:48 +02001358 cs_shutw(cs, CS_SHW_NORMAL);
Willy Tarreau2b57cb82013-06-10 19:56:38 +02001359
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001360 /* OK, let's not stay here forever */
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001361 if (check->result == CHK_RES_FAILED)
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001362 conn->flags |= CO_FL_ERROR;
1363
Willy Tarreaufdccded2008-08-29 18:19:04 +02001364 task_wakeup(t, TASK_WOKEN_IO);
Willy Tarreau62ac84f2017-11-05 10:11:13 +01001365 out_unlock:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001366 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau3267d362012-08-17 23:53:56 +02001367 return;
Willy Tarreau03938182010-03-17 21:52:07 +01001368
1369 wait_more_data:
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001370 __cs_want_recv(cs);
Willy Tarreau62ac84f2017-11-05 10:11:13 +01001371 goto out_unlock;
Willy Tarreaubaaee002006-06-26 02:48:02 +02001372}
1373
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001374/*
1375 * This function is used only for server health-checks. It handles connection
1376 * status updates including errors. If necessary, it wakes the check task up.
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001377 * It returns 0 on normal cases, <0 if at least one close() has happened on the
1378 * connection (eg: reconnect).
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001379 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001380static int wake_srv_chk(struct conn_stream *cs)
Willy Tarreau20bea422012-07-06 12:00:49 +02001381{
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001382 struct connection *conn = cs->conn;
1383 struct check *check = cs->data;
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001384 int ret = 0;
Willy Tarreau20bea422012-07-06 12:00:49 +02001385
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001386 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Emeric Brunf6ba17d2017-11-02 14:35:27 +01001387
Willy Tarreauc09572f2017-10-04 11:58:22 +02001388 /* we may have to make progress on the TCP checks */
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001389 if (check->type == PR_O2_TCPCHK_CHK) {
1390 ret = tcpcheck_main(check);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001391 cs = check->cs;
1392 conn = cs_conn(cs);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001393 }
Willy Tarreauc09572f2017-10-04 11:58:22 +02001394
Willy Tarreau4ff3b892017-10-16 15:17:17 +02001395 if (unlikely(conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)) {
Willy Tarreau02b0f582013-12-03 15:42:33 +01001396 /* We may get error reports bypassing the I/O handlers, typically
1397 * the case when sending a pure TCP check which fails, then the I/O
1398 * handlers above are not called. This is completely handled by the
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001399 * main processing task so let's simply wake it up. If we get here,
1400 * we expect errno to still be valid.
1401 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +02001402 chk_report_conn_err(check, errno, 0);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001403 __cs_stop_both(cs);
Willy Tarreau2d351b62013-12-05 02:36:25 +01001404 task_wakeup(check->task, TASK_WOKEN_IO);
1405 }
Willy Tarreau2500fc22018-04-03 19:31:38 +02001406 else if (!(conn->flags & CO_FL_HANDSHAKE) && !(cs->flags & (CS_FL_DATA_RD_ENA|CS_FL_DATA_WR_ENA))) {
Willy Tarreau3be293f2014-02-05 18:31:24 +01001407 /* we may get here if only a connection probe was required : we
1408 * don't have any data to send nor anything expected in response,
1409 * so the completion of the connection establishment is enough.
1410 */
1411 task_wakeup(check->task, TASK_WOKEN_IO);
1412 }
Willy Tarreau2d351b62013-12-05 02:36:25 +01001413
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01001414 if (check->result != CHK_RES_UNKNOWN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +01001415 /* We're here because nobody wants to handle the error, so we
1416 * sure want to abort the hard way.
Willy Tarreau02b0f582013-12-03 15:42:33 +01001417 */
Willy Tarreaud85c4852015-03-13 00:40:28 +01001418 conn_sock_drain(conn);
Willy Tarreaua553ae92017-10-05 18:52:17 +02001419 cs_close(cs);
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001420 ret = -1;
Willy Tarreau2d351b62013-12-05 02:36:25 +01001421 }
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001422
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001423 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Emeric Brunf6ba17d2017-11-02 14:35:27 +01001424
Willy Tarreau6bdcab02017-10-04 18:41:00 +02001425 /* if a connection got replaced, we must absolutely prevent the connection
1426 * handler from touching its fd, and perform the FD polling updates ourselves
1427 */
1428 if (ret < 0)
1429 conn_cond_update_polling(conn);
1430
1431 return ret;
Willy Tarreau20bea422012-07-06 12:00:49 +02001432}
1433
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001434struct data_cb check_conn_cb = {
1435 .recv = event_srv_chk_r,
1436 .send = event_srv_chk_w,
1437 .wake = wake_srv_chk,
Willy Tarreau8e0bb0a2016-11-24 16:58:12 +01001438 .name = "CHCK",
Willy Tarreaufb56aab2012-09-28 14:40:02 +02001439};
1440
Willy Tarreaubaaee002006-06-26 02:48:02 +02001441/*
Willy Tarreau2e993902011-10-31 11:53:20 +01001442 * updates the server's weight during a warmup stage. Once the final weight is
1443 * reached, the task automatically stops. Note that any server status change
1444 * must have updated s->last_change accordingly.
1445 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02001446static struct task *server_warmup(struct task *t, void *context, unsigned short state)
Willy Tarreau2e993902011-10-31 11:53:20 +01001447{
Olivier Houchard9f6af332018-05-25 14:04:04 +02001448 struct server *s = context;
Willy Tarreau2e993902011-10-31 11:53:20 +01001449
1450 /* by default, plan on stopping the task */
1451 t->expire = TICK_ETERNITY;
Emeric Brun52a91d32017-08-31 14:41:55 +02001452 if ((s->next_admin & SRV_ADMF_MAINT) ||
1453 (s->next_state != SRV_ST_STARTING))
Willy Tarreau2e993902011-10-31 11:53:20 +01001454 return t;
1455
Willy Tarreau892337c2014-05-13 23:41:20 +02001456 /* recalculate the weights and update the state */
Willy Tarreau004e0452013-11-21 11:22:01 +01001457 server_recalc_eweight(s);
Willy Tarreau2e993902011-10-31 11:53:20 +01001458
1459 /* probably that we can refill this server with a bit more connections */
Willy Tarreau4aac7db2014-05-16 11:48:10 +02001460 pendconn_grab_from_px(s);
Willy Tarreau2e993902011-10-31 11:53:20 +01001461
1462 /* get back there in 1 second or 1/20th of the slowstart interval,
1463 * whichever is greater, resulting in small 5% steps.
1464 */
Emeric Brun52a91d32017-08-31 14:41:55 +02001465 if (s->next_state == SRV_ST_STARTING)
Willy Tarreau2e993902011-10-31 11:53:20 +01001466 t->expire = tick_add(now_ms, MS_TO_TICKS(MAX(1000, s->slowstart / 20)));
1467 return t;
1468}
1469
Willy Tarreau894c6422017-10-04 15:58:52 +02001470/* returns the first NON-COMMENT tcp-check rule from list <list> or NULL if
1471 * none was found.
1472 */
1473static struct tcpcheck_rule *get_first_tcpcheck_rule(struct list *list)
1474{
1475 struct tcpcheck_rule *r;
1476
1477 list_for_each_entry(r, list, list) {
1478 if (r->action != TCPCHK_ACT_COMMENT)
1479 return r;
1480 }
1481 return NULL;
1482}
1483
Willy Tarreau2e993902011-10-31 11:53:20 +01001484/*
Simon Horman98637e52014-06-20 12:30:16 +09001485 * establish a server health-check that makes use of a connection.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001486 *
1487 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02001488 * - SF_ERR_NONE if everything's OK and tcpcheck_main() was not called
1489 * - SF_ERR_UP if if everything's OK and tcpcheck_main() was called
1490 * - SF_ERR_SRVTO if there are no more servers
1491 * - SF_ERR_SRVCL if the connection was refused by the server
1492 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
1493 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
1494 * - SF_ERR_INTERNAL for any other purely internal errors
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001495 * - 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 +01001496 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Hormanb00d17a2014-06-13 16:18:16 +09001497 * Note that we try to prevent the network stack from sending the ACK during the
1498 * connect() when a pure TCP check is used (without PROXY protocol).
1499 */
Simon Horman98637e52014-06-20 12:30:16 +09001500static int connect_conn_chk(struct task *t)
Simon Hormanb00d17a2014-06-13 16:18:16 +09001501{
1502 struct check *check = t->context;
1503 struct server *s = check->server;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001504 struct conn_stream *cs = check->cs;
1505 struct connection *conn = cs_conn(cs);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001506 struct protocol *proto;
Willy Tarreauf411cce2017-10-04 16:21:19 +02001507 struct tcpcheck_rule *tcp_rule = NULL;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001508 int ret;
Willy Tarreauf3d34822014-12-08 12:11:28 +01001509 int quickack;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001510
Willy Tarreau00149122017-10-04 18:05:01 +02001511 /* we cannot have a connection here */
1512 if (conn)
1513 return SF_ERR_INTERNAL;
1514
Simon Hormanb00d17a2014-06-13 16:18:16 +09001515 /* tcpcheck send/expect initialisation */
Willy Tarreauf411cce2017-10-04 16:21:19 +02001516 if (check->type == PR_O2_TCPCHK_CHK) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001517 check->current_step = NULL;
Willy Tarreauf411cce2017-10-04 16:21:19 +02001518 tcp_rule = get_first_tcpcheck_rule(check->tcpcheck_rules);
1519 }
Simon Hormanb00d17a2014-06-13 16:18:16 +09001520
1521 /* prepare the check buffer.
1522 * This should not be used if check is the secondary agent check
1523 * of a server as s->proxy->check_req will relate to the
1524 * configuration of the primary check. Similarly, tcp-check uses
1525 * its own strings.
1526 */
1527 if (check->type && check->type != PR_O2_TCPCHK_CHK && !(check->state & CHK_ST_AGENT)) {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001528 b_putblk(&check->bo, s->proxy->check_req, s->proxy->check_len);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001529
1530 /* we want to check if this host replies to HTTP or SSLv3 requests
1531 * so we'll send the request, and won't wake the checker up now.
1532 */
1533 if ((check->type) == PR_O2_SSL3_CHK) {
1534 /* SSL requires that we put Unix time in the request */
1535 int gmt_time = htonl(date.tv_sec);
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001536 memcpy(b_head(&check->bo) + 11, &gmt_time, 4);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001537 }
1538 else if ((check->type) == PR_O2_HTTP_CHK) {
1539 if (s->proxy->options2 & PR_O2_CHK_SNDST)
Willy Tarreau843b7cb2018-07-13 10:54:26 +02001540 b_putblk(&check->bo, trash.area,
1541 httpchk_build_status_header(s, trash.area, trash.size));
Cyril Bonté32602d22015-01-30 00:07:07 +01001542 /* prevent HTTP keep-alive when "http-check expect" is used */
1543 if (s->proxy->options2 & PR_O2_EXP_TYPE)
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001544 b_putist(&check->bo, ist("Connection: close\r\n"));
1545 b_putist(&check->bo, ist("\r\n"));
1546 *b_tail(&check->bo) = '\0'; /* to make gdb output easier to read */
Simon Hormanb00d17a2014-06-13 16:18:16 +09001547 }
1548 }
1549
James Brown55f9ff12015-10-21 18:19:05 -07001550 if ((check->type & PR_O2_LB_AGENT_CHK) && check->send_string_len) {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02001551 b_putblk(&check->bo, check->send_string, check->send_string_len);
James Brown55f9ff12015-10-21 18:19:05 -07001552 }
1553
Willy Tarreauf411cce2017-10-04 16:21:19 +02001554 /* for tcp-checks, the initial connection setup is handled separately as
1555 * it may be sent to a specific port and not to the server's.
1556 */
1557 if (tcp_rule && tcp_rule->action == TCPCHK_ACT_CONNECT) {
1558 tcpcheck_main(check);
1559 return SF_ERR_UP;
1560 }
1561
Simon Hormanb00d17a2014-06-13 16:18:16 +09001562 /* prepare a new connection */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001563 cs = check->cs = cs_new(NULL);
1564 if (!check->cs)
Willy Tarreau00149122017-10-04 18:05:01 +02001565 return SF_ERR_RESOURCE;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02001566 conn = cs->conn;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001567
Simon Horman41f58762015-01-30 11:22:56 +09001568 if (is_addr(&check->addr)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001569 /* we'll connect to the check addr specified on the server */
Simon Horman41f58762015-01-30 11:22:56 +09001570 conn->addr.to = check->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001571 }
1572 else {
1573 /* we'll connect to the addr on the server */
1574 conn->addr.to = s->addr;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001575 }
1576
Olivier Houchard6377a002017-12-01 22:04:05 +01001577 proto = protocol_by_family(conn->addr.to.ss_family);
1578
1579 conn_prepare(conn, proto, check->xprt);
1580 conn_install_mux(conn, &mux_pt_ops, cs);
1581 cs_attach(cs, check, &check_conn_cb);
1582 conn->target = &s->obj_type;
1583
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001584 if ((conn->addr.to.ss_family == AF_INET) || (conn->addr.to.ss_family == AF_INET6)) {
1585 int i = 0;
1586
1587 i = srv_check_healthcheck_port(check);
Olivier Houchard6377a002017-12-01 22:04:05 +01001588 if (i == 0)
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001589 return SF_ERR_CHK_PORT;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02001590
1591 set_host_port(&conn->addr.to, i);
Simon Hormanb00d17a2014-06-13 16:18:16 +09001592 }
1593
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01001594 /* no client address */
1595 clear_addr(&conn->addr.from);
1596
Willy Tarreauf3d34822014-12-08 12:11:28 +01001597 /* only plain tcp-check supports quick ACK */
1598 quickack = check->type == 0 || check->type == PR_O2_TCPCHK_CHK;
1599
Willy Tarreauf411cce2017-10-04 16:21:19 +02001600 if (tcp_rule && tcp_rule->action == TCPCHK_ACT_EXPECT)
1601 quickack = 0;
Simon Hormanb00d17a2014-06-13 16:18:16 +09001602
Willy Tarreaue7dff022015-04-03 01:14:29 +02001603 ret = SF_ERR_INTERNAL;
Olivier Houchardb68fda42017-08-04 18:39:01 +02001604 if (proto && proto->connect)
Willy Tarreauf3d34822014-12-08 12:11:28 +01001605 ret = proto->connect(conn, check->type, quickack ? 2 : 0);
Willy Tarreau16257f62017-11-02 15:45:00 +01001606
1607 if (check->type)
1608 cs_want_send(cs);
1609
Olivier Houchard9130a962017-10-17 17:33:43 +02001610#ifdef USE_OPENSSL
1611 if (s->check.sni)
1612 ssl_sock_set_servername(conn, s->check.sni);
1613#endif
Willy Tarreauf4949772017-05-06 08:45:28 +02001614 if (s->check.send_proxy && !(check->state & CHK_ST_AGENT)) {
Simon Hormanb00d17a2014-06-13 16:18:16 +09001615 conn->send_proxy_ofs = 1;
1616 conn->flags |= CO_FL_SEND_PROXY;
1617 }
1618
1619 return ret;
1620}
1621
Simon Horman98637e52014-06-20 12:30:16 +09001622static struct list pid_list = LIST_HEAD_INIT(pid_list);
Willy Tarreaubafbe012017-11-24 17:34:44 +01001623static struct pool_head *pool_head_pid_list;
Christopher Faulet9dcf9b62017-11-13 10:34:01 +01001624__decl_hathreads(HA_SPINLOCK_T pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001625
1626void block_sigchld(void)
1627{
1628 sigset_t set;
1629 sigemptyset(&set);
1630 sigaddset(&set, SIGCHLD);
William Lallemand6e1796e2018-06-07 11:23:40 +02001631 assert(ha_sigmask(SIG_BLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001632}
1633
1634void unblock_sigchld(void)
1635{
1636 sigset_t set;
1637 sigemptyset(&set);
Willy Tarreauebc92442016-06-21 17:29:46 +02001638 sigaddset(&set, SIGCHLD);
William Lallemand6e1796e2018-06-07 11:23:40 +02001639 assert(ha_sigmask(SIG_UNBLOCK, &set, NULL) == 0);
Simon Horman98637e52014-06-20 12:30:16 +09001640}
1641
Simon Horman98637e52014-06-20 12:30:16 +09001642static struct pid_list *pid_list_add(pid_t pid, struct task *t)
1643{
1644 struct pid_list *elem;
1645 struct check *check = t->context;
1646
Willy Tarreaubafbe012017-11-24 17:34:44 +01001647 elem = pool_alloc(pool_head_pid_list);
Simon Horman98637e52014-06-20 12:30:16 +09001648 if (!elem)
1649 return NULL;
1650 elem->pid = pid;
1651 elem->t = t;
1652 elem->exited = 0;
1653 check->curpid = elem;
1654 LIST_INIT(&elem->list);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001655
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001656 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001657 LIST_ADD(&pid_list, &elem->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001658 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001659
Simon Horman98637e52014-06-20 12:30:16 +09001660 return elem;
1661}
1662
Simon Horman98637e52014-06-20 12:30:16 +09001663static void pid_list_del(struct pid_list *elem)
1664{
1665 struct check *check;
1666
1667 if (!elem)
1668 return;
1669
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001670 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001671 LIST_DEL(&elem->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001672 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001673
Simon Horman98637e52014-06-20 12:30:16 +09001674 if (!elem->exited)
1675 kill(elem->pid, SIGTERM);
1676
1677 check = elem->t->context;
1678 check->curpid = NULL;
Willy Tarreaubafbe012017-11-24 17:34:44 +01001679 pool_free(pool_head_pid_list, elem);
Simon Horman98637e52014-06-20 12:30:16 +09001680}
1681
1682/* Called from inside SIGCHLD handler, SIGCHLD is blocked */
1683static void pid_list_expire(pid_t pid, int status)
1684{
1685 struct pid_list *elem;
1686
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001687 HA_SPIN_LOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001688 list_for_each_entry(elem, &pid_list, list) {
1689 if (elem->pid == pid) {
1690 elem->t->expire = now_ms;
1691 elem->status = status;
1692 elem->exited = 1;
Cyril Bonté9dbcfab2014-08-07 01:55:39 +02001693 task_wakeup(elem->t, TASK_WOKEN_IO);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001694 break;
Simon Horman98637e52014-06-20 12:30:16 +09001695 }
1696 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001697 HA_SPIN_UNLOCK(PID_LIST_LOCK, &pid_list_lock);
Simon Horman98637e52014-06-20 12:30:16 +09001698}
1699
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001700static void sigchld_handler(struct sig_handler *sh)
Simon Horman98637e52014-06-20 12:30:16 +09001701{
1702 pid_t pid;
1703 int status;
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001704
Simon Horman98637e52014-06-20 12:30:16 +09001705 while ((pid = waitpid(0, &status, WNOHANG)) > 0)
1706 pid_list_expire(pid, status);
1707}
1708
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001709static int init_pid_list(void)
1710{
Willy Tarreaubafbe012017-11-24 17:34:44 +01001711 if (pool_head_pid_list != NULL)
Simon Horman98637e52014-06-20 12:30:16 +09001712 /* Nothing to do */
1713 return 0;
1714
Willy Tarreau48d6bf22016-06-21 16:27:34 +02001715 if (!signal_register_fct(SIGCHLD, sigchld_handler, SIGCHLD)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001716 ha_alert("Failed to set signal handler for external health checks: %s. Aborting.\n",
1717 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001718 return 1;
1719 }
1720
Willy Tarreaubafbe012017-11-24 17:34:44 +01001721 pool_head_pid_list = create_pool("pid_list", sizeof(struct pid_list), MEM_F_SHARED);
1722 if (pool_head_pid_list == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001723 ha_alert("Failed to allocate memory pool for external health checks: %s. Aborting.\n",
1724 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001725 return 1;
1726 }
1727
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001728 HA_SPIN_INIT(&pid_list_lock);
Christopher Fauletcfda8472017-10-20 15:40:23 +02001729
Simon Horman98637e52014-06-20 12:30:16 +09001730 return 0;
1731}
1732
Cyril Bontéac92a062014-12-27 22:28:38 +01001733/* helper macro to set an environment variable and jump to a specific label on failure. */
1734#define EXTCHK_SETENV(check, envidx, value, fail) { if (extchk_setenv(check, envidx, value)) goto fail; }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001735
1736/*
Cyril Bontéac92a062014-12-27 22:28:38 +01001737 * helper function to allocate enough memory to store an environment variable.
1738 * It will also check that the environment variable is updatable, and silently
1739 * fail if not.
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001740 */
Cyril Bontéac92a062014-12-27 22:28:38 +01001741static int extchk_setenv(struct check *check, int idx, const char *value)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001742{
1743 int len, ret;
Cyril Bontéac92a062014-12-27 22:28:38 +01001744 char *envname;
1745 int vmaxlen;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001746
Cyril Bontéac92a062014-12-27 22:28:38 +01001747 if (idx < 0 || idx >= EXTCHK_SIZE) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001748 ha_alert("Illegal environment variable index %d. Aborting.\n", idx);
Cyril Bontéac92a062014-12-27 22:28:38 +01001749 return 1;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001750 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001751
1752 envname = extcheck_envs[idx].name;
1753 vmaxlen = extcheck_envs[idx].vmaxlen;
1754
1755 /* Check if the environment variable is already set, and silently reject
1756 * the update if this one is not updatable. */
1757 if ((vmaxlen == EXTCHK_SIZE_EVAL_INIT) && (check->envp[idx]))
1758 return 0;
1759
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001760 /* Instead of sending NOT_USED, sending an empty value is preferable */
1761 if (strcmp(value, "NOT_USED") == 0) {
1762 value = "";
1763 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001764
1765 len = strlen(envname) + 1;
1766 if (vmaxlen == EXTCHK_SIZE_EVAL_INIT)
1767 len += strlen(value);
1768 else
1769 len += vmaxlen;
1770
1771 if (!check->envp[idx])
1772 check->envp[idx] = malloc(len + 1);
1773
1774 if (!check->envp[idx]) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001775 ha_alert("Failed to allocate memory for the environment variable '%s'. Aborting.\n", envname);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001776 return 1;
1777 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001778 ret = snprintf(check->envp[idx], len + 1, "%s=%s", envname, value);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001779 if (ret < 0) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001780 ha_alert("Failed to store the environment variable '%s'. Reason : %s. Aborting.\n", envname, strerror(errno));
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001781 return 1;
1782 }
Cyril Bontéac92a062014-12-27 22:28:38 +01001783 else if (ret > len) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001784 ha_alert("Environment variable '%s' was truncated. Aborting.\n", envname);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001785 return 1;
1786 }
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001787 return 0;
1788}
Simon Horman98637e52014-06-20 12:30:16 +09001789
1790static int prepare_external_check(struct check *check)
1791{
1792 struct server *s = check->server;
1793 struct proxy *px = s->proxy;
1794 struct listener *listener = NULL, *l;
1795 int i;
Simon Horman98637e52014-06-20 12:30:16 +09001796 const char *path = px->check_path ? px->check_path : DEF_CHECK_PATH;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001797 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09001798
1799 list_for_each_entry(l, &px->conf.listeners, by_fe)
1800 /* Use the first INET, INET6 or UNIX listener */
1801 if (l->addr.ss_family == AF_INET ||
1802 l->addr.ss_family == AF_INET6 ||
1803 l->addr.ss_family == AF_UNIX) {
1804 listener = l;
1805 break;
1806 }
1807
Simon Horman98637e52014-06-20 12:30:16 +09001808 check->curpid = NULL;
Cyril Bontéac92a062014-12-27 22:28:38 +01001809 check->envp = calloc((EXTCHK_SIZE + 1), sizeof(char *));
1810 if (!check->envp) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001811 ha_alert("Failed to allocate memory for environment variables. Aborting\n");
Cyril Bontéac92a062014-12-27 22:28:38 +01001812 goto err;
1813 }
Simon Horman98637e52014-06-20 12:30:16 +09001814
Cyril Bontéac92a062014-12-27 22:28:38 +01001815 check->argv = calloc(6, sizeof(char *));
1816 if (!check->argv) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001817 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001818 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001819 }
Simon Horman98637e52014-06-20 12:30:16 +09001820
1821 check->argv[0] = px->check_command;
1822
Cyril Bonté777be862014-12-02 21:21:35 +01001823 if (!listener) {
1824 check->argv[1] = strdup("NOT_USED");
1825 check->argv[2] = strdup("NOT_USED");
1826 }
1827 else if (listener->addr.ss_family == AF_INET ||
Simon Horman98637e52014-06-20 12:30:16 +09001828 listener->addr.ss_family == AF_INET6) {
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001829 addr_to_str(&listener->addr, buf, sizeof(buf));
1830 check->argv[1] = strdup(buf);
1831 port_to_str(&listener->addr, buf, sizeof(buf));
1832 check->argv[2] = strdup(buf);
Cyril Bonté777be862014-12-02 21:21:35 +01001833 }
1834 else if (listener->addr.ss_family == AF_UNIX) {
Simon Horman98637e52014-06-20 12:30:16 +09001835 const struct sockaddr_un *un;
1836
1837 un = (struct sockaddr_un *)&listener->addr;
1838 check->argv[1] = strdup(un->sun_path);
1839 check->argv[2] = strdup("NOT_USED");
Cyril Bonté777be862014-12-02 21:21:35 +01001840 }
1841 else {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001842 ha_alert("Starting [%s:%s] check: unsupported address family.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001843 goto err;
1844 }
1845
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001846 addr_to_str(&s->addr, buf, sizeof(buf));
1847 check->argv[3] = strdup(buf);
Willy Tarreau04276f32017-01-06 17:41:29 +01001848
1849 if (s->addr.ss_family == AF_INET || s->addr.ss_family == AF_INET6)
1850 snprintf(buf, sizeof(buf), "%u", s->svc_port);
1851 else
1852 *buf = 0;
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001853 check->argv[4] = strdup(buf);
Simon Horman98637e52014-06-20 12:30:16 +09001854
Cyril Bontéac92a062014-12-27 22:28:38 +01001855 for (i = 0; i < 5; i++) {
1856 if (!check->argv[i]) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001857 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Simon Horman98637e52014-06-20 12:30:16 +09001858 goto err;
Cyril Bontéac92a062014-12-27 22:28:38 +01001859 }
1860 }
Simon Horman98637e52014-06-20 12:30:16 +09001861
Cyril Bontéac92a062014-12-27 22:28:38 +01001862 EXTCHK_SETENV(check, EXTCHK_PATH, path, err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001863 /* Add proxy environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01001864 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_NAME, px->id, err);
1865 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ID, ultoa_r(px->uuid, buf, sizeof(buf)), err);
1866 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_ADDR, check->argv[1], err);
1867 EXTCHK_SETENV(check, EXTCHK_HAPROXY_PROXY_PORT, check->argv[2], err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001868 /* Add server environment variables */
Cyril Bontéac92a062014-12-27 22:28:38 +01001869 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_NAME, s->id, err);
1870 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ID, ultoa_r(s->puid, buf, sizeof(buf)), err);
1871 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_ADDR, check->argv[3], err);
1872 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_PORT, check->argv[4], err);
1873 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_MAXCONN, ultoa_r(s->maxconn, buf, sizeof(buf)), err);
1874 EXTCHK_SETENV(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)), err);
1875
1876 /* Ensure that we don't leave any hole in check->envp */
1877 for (i = 0; i < EXTCHK_SIZE; i++)
1878 if (!check->envp[i])
1879 EXTCHK_SETENV(check, i, "", err);
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001880
Cyril Bonté99c5bf52014-08-07 01:55:38 +02001881 return 1;
Simon Horman98637e52014-06-20 12:30:16 +09001882err:
1883 if (check->envp) {
Cyril Bontéac92a062014-12-27 22:28:38 +01001884 for (i = 0; i < EXTCHK_SIZE; i++)
Cyril Bonté9ede66b2014-12-02 21:21:36 +01001885 free(check->envp[i]);
Simon Horman98637e52014-06-20 12:30:16 +09001886 free(check->envp);
1887 check->envp = NULL;
1888 }
1889
1890 if (check->argv) {
1891 for (i = 1; i < 5; i++)
1892 free(check->argv[i]);
1893 free(check->argv);
1894 check->argv = NULL;
1895 }
Cyril Bonté99c5bf52014-08-07 01:55:38 +02001896 return 0;
Simon Horman98637e52014-06-20 12:30:16 +09001897}
1898
Simon Hormanb00d17a2014-06-13 16:18:16 +09001899/*
Simon Horman98637e52014-06-20 12:30:16 +09001900 * establish a server health-check that makes use of a process.
1901 *
1902 * It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02001903 * - SF_ERR_NONE if everything's OK
Willy Tarreaue7dff022015-04-03 01:14:29 +02001904 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
Tim Düsterhus4896c442016-11-29 02:15:19 +01001905 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Simon Horman98637e52014-06-20 12:30:16 +09001906 *
1907 * Blocks and then unblocks SIGCHLD
1908 */
1909static int connect_proc_chk(struct task *t)
1910{
Cyril Bontéac92a062014-12-27 22:28:38 +01001911 char buf[256];
Simon Horman98637e52014-06-20 12:30:16 +09001912 struct check *check = t->context;
1913 struct server *s = check->server;
1914 struct proxy *px = s->proxy;
1915 int status;
1916 pid_t pid;
1917
Willy Tarreaue7dff022015-04-03 01:14:29 +02001918 status = SF_ERR_RESOURCE;
Simon Horman98637e52014-06-20 12:30:16 +09001919
1920 block_sigchld();
1921
1922 pid = fork();
1923 if (pid < 0) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01001924 ha_alert("Failed to fork process for external health check: %s. Aborting.\n",
1925 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001926 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
1927 goto out;
1928 }
1929 if (pid == 0) {
1930 /* Child */
1931 extern char **environ;
Willy Tarreaub7b24782016-06-21 15:32:29 +02001932 int fd;
1933
1934 /* close all FDs. Keep stdin/stdout/stderr in verbose mode */
1935 fd = (global.mode & (MODE_QUIET|MODE_VERBOSE)) == MODE_QUIET ? 0 : 3;
1936
1937 while (fd < global.rlimit_nofile)
1938 close(fd++);
1939
Simon Horman98637e52014-06-20 12:30:16 +09001940 environ = check->envp;
Cyril Bontéac92a062014-12-27 22:28:38 +01001941 extchk_setenv(check, EXTCHK_HAPROXY_SERVER_CURCONN, ultoa_r(s->cur_sess, buf, sizeof(buf)));
Simon Horman98637e52014-06-20 12:30:16 +09001942 execvp(px->check_command, check->argv);
Christopher Faulet767a84b2017-11-24 16:50:31 +01001943 ha_alert("Failed to exec process for external health check: %s. Aborting.\n",
1944 strerror(errno));
Simon Horman98637e52014-06-20 12:30:16 +09001945 exit(-1);
1946 }
1947
1948 /* Parent */
1949 if (check->result == CHK_RES_UNKNOWN) {
1950 if (pid_list_add(pid, t) != NULL) {
1951 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
1952
1953 if (px->timeout.check && px->timeout.connect) {
1954 int t_con = tick_add(now_ms, px->timeout.connect);
1955 t->expire = tick_first(t->expire, t_con);
1956 }
Willy Tarreaue7dff022015-04-03 01:14:29 +02001957 status = SF_ERR_NONE;
Simon Horman98637e52014-06-20 12:30:16 +09001958 goto out;
1959 }
1960 else {
1961 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
1962 }
1963 kill(pid, SIGTERM); /* process creation error */
1964 }
1965 else
1966 set_server_check_status(check, HCHK_STATUS_SOCKERR, strerror(errno));
1967
1968out:
1969 unblock_sigchld();
1970 return status;
1971}
1972
1973/*
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02001974 * manages a server health-check that uses an external process. Returns
Willy Tarreaubaaee002006-06-26 02:48:02 +02001975 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01001976 *
1977 * Please do NOT place any return statement in this function and only leave
1978 * via the out_unlock label.
Willy Tarreaubaaee002006-06-26 02:48:02 +02001979 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02001980static struct task *process_chk_proc(struct task *t, void *context, unsigned short state)
Simon Horman98637e52014-06-20 12:30:16 +09001981{
Olivier Houchard9f6af332018-05-25 14:04:04 +02001982 struct check *check = context;
Simon Horman98637e52014-06-20 12:30:16 +09001983 struct server *s = check->server;
Simon Horman98637e52014-06-20 12:30:16 +09001984 int rv;
1985 int ret;
1986 int expired = tick_is_expired(t->expire, now_ms);
1987
Christopher Faulet2a944ee2017-11-07 10:42:54 +01001988 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Simon Horman98637e52014-06-20 12:30:16 +09001989 if (!(check->state & CHK_ST_INPROGRESS)) {
1990 /* no check currently running */
Willy Tarreau62ac84f2017-11-05 10:11:13 +01001991 if (!expired) /* woke up too early */
1992 goto out_unlock;
Simon Horman98637e52014-06-20 12:30:16 +09001993
1994 /* we don't send any health-checks when the proxy is
1995 * stopped, the server should not be checked or the check
1996 * is disabled.
1997 */
1998 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
1999 s->proxy->state == PR_STSTOPPED)
2000 goto reschedule;
2001
2002 /* we'll initiate a new check */
2003 set_server_check_status(check, HCHK_STATUS_START, NULL);
2004
2005 check->state |= CHK_ST_INPROGRESS;
2006
Simon Hormandbf70192015-01-30 11:22:53 +09002007 ret = connect_proc_chk(t);
Willy Tarreaud7c3fbd2017-10-04 15:19:26 +02002008 if (ret == SF_ERR_NONE) {
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002009 /* the process was forked, we allow up to min(inter,
2010 * timeout.connect) for it to report its status, but
2011 * only when timeout.check is set as it may be to short
2012 * for a full check otherwise.
Simon Horman98637e52014-06-20 12:30:16 +09002013 */
2014 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2015
2016 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
2017 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
2018 t->expire = tick_first(t->expire, t_con);
2019 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002020 task_set_affinity(t, tid_bit);
Simon Horman98637e52014-06-20 12:30:16 +09002021 goto reschedule;
Simon Horman98637e52014-06-20 12:30:16 +09002022 }
2023
Willy Tarreau1e62e2a2017-10-04 15:07:02 +02002024 /* here, we failed to start the check */
Simon Horman98637e52014-06-20 12:30:16 +09002025
2026 check->state &= ~CHK_ST_INPROGRESS;
2027 check_notify_failure(check);
2028
2029 /* we allow up to min(inter, timeout.connect) for a connection
2030 * to establish but only when timeout.check is set
2031 * as it may be to short for a full check otherwise
2032 */
2033 while (tick_is_expired(t->expire, now_ms)) {
2034 int t_con;
2035
2036 t_con = tick_add(t->expire, s->proxy->timeout.connect);
2037 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2038
2039 if (s->proxy->timeout.check)
2040 t->expire = tick_first(t->expire, t_con);
2041 }
2042 }
2043 else {
2044 /* there was a test running.
2045 * First, let's check whether there was an uncaught error,
2046 * which can happen on connect timeout or error.
2047 */
2048 if (check->result == CHK_RES_UNKNOWN) {
2049 /* good connection is enough for pure TCP check */
2050 struct pid_list *elem = check->curpid;
2051 int status = HCHK_STATUS_UNKNOWN;
2052
2053 if (elem->exited) {
2054 status = elem->status; /* Save in case the process exits between use below */
2055 if (!WIFEXITED(status))
2056 check->code = -1;
2057 else
2058 check->code = WEXITSTATUS(status);
2059 if (!WIFEXITED(status) || WEXITSTATUS(status))
2060 status = HCHK_STATUS_PROCERR;
2061 else
2062 status = HCHK_STATUS_PROCOK;
2063 } else if (expired) {
2064 status = HCHK_STATUS_PROCTOUT;
Christopher Faulet767a84b2017-11-24 16:50:31 +01002065 ha_warning("kill %d\n", (int)elem->pid);
Simon Horman98637e52014-06-20 12:30:16 +09002066 kill(elem->pid, SIGTERM);
2067 }
2068 set_server_check_status(check, status, NULL);
2069 }
2070
2071 if (check->result == CHK_RES_FAILED) {
2072 /* a failure or timeout detected */
2073 check_notify_failure(check);
2074 }
2075 else if (check->result == CHK_RES_CONDPASS) {
2076 /* check is OK but asks for stopping mode */
2077 check_notify_stopping(check);
2078 }
2079 else if (check->result == CHK_RES_PASSED) {
2080 /* a success was detected */
2081 check_notify_success(check);
2082 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002083 task_set_affinity(t, MAX_THREADS_MASK);
Simon Horman98637e52014-06-20 12:30:16 +09002084 check->state &= ~CHK_ST_INPROGRESS;
2085
2086 pid_list_del(check->curpid);
2087
2088 rv = 0;
2089 if (global.spread_checks > 0) {
2090 rv = srv_getinter(check) * global.spread_checks / 100;
2091 rv -= (int) (2 * rv * (rand() / (RAND_MAX + 1.0)));
2092 }
2093 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
2094 }
2095
2096 reschedule:
2097 while (tick_is_expired(t->expire, now_ms))
2098 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002099
2100 out_unlock:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002101 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Simon Horman98637e52014-06-20 12:30:16 +09002102 return t;
2103}
2104
2105/*
2106 * manages a server health-check that uses a connection. Returns
2107 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002108 *
2109 * Please do NOT place any return statement in this function and only leave
2110 * via the out_unlock label.
Simon Horman98637e52014-06-20 12:30:16 +09002111 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002112static struct task *process_chk_conn(struct task *t, void *context, unsigned short state)
Willy Tarreaubaaee002006-06-26 02:48:02 +02002113{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002114 struct check *check = context;
Simon Horman4a741432013-02-23 15:35:38 +09002115 struct server *s = check->server;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002116 struct conn_stream *cs = check->cs;
2117 struct connection *conn = cs_conn(cs);
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002118 int rv;
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002119 int ret;
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002120 int expired = tick_is_expired(t->expire, now_ms);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002121
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002122 HA_SPIN_LOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau2c115e52013-12-11 19:41:16 +01002123 if (!(check->state & CHK_ST_INPROGRESS)) {
Willy Tarreau5a78f362012-11-23 12:47:05 +01002124 /* no check currently running */
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002125 if (!expired) /* woke up too early */
2126 goto out_unlock;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002127
Simon Horman671b6f02013-11-25 10:46:39 +09002128 /* we don't send any health-checks when the proxy is
2129 * stopped, the server should not be checked or the check
2130 * is disabled.
Willy Tarreaubaaee002006-06-26 02:48:02 +02002131 */
Willy Tarreau0d924cc2013-12-11 21:26:24 +01002132 if (((check->state & (CHK_ST_ENABLED | CHK_ST_PAUSED)) != CHK_ST_ENABLED) ||
Willy Tarreau33a08db2013-12-11 21:03:31 +01002133 s->proxy->state == PR_STSTOPPED)
Willy Tarreau5a78f362012-11-23 12:47:05 +01002134 goto reschedule;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002135
2136 /* we'll initiate a new check */
Simon Horman4a741432013-02-23 15:35:38 +09002137 set_server_check_status(check, HCHK_STATUS_START, NULL);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002138
Willy Tarreau2c115e52013-12-11 19:41:16 +01002139 check->state |= CHK_ST_INPROGRESS;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002140 b_reset(&check->bi);
2141 b_reset(&check->bo);
Willy Tarreau1ae1b7b2012-09-28 15:28:30 +02002142
Simon Hormandbf70192015-01-30 11:22:53 +09002143 ret = connect_conn_chk(t);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002144 cs = check->cs;
2145 conn = cs_conn(cs);
Willy Tarreau00149122017-10-04 18:05:01 +02002146
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002147 switch (ret) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002148 case SF_ERR_UP:
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002149 goto out_unlock;
2150
Willy Tarreaue7dff022015-04-03 01:14:29 +02002151 case SF_ERR_NONE:
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002152 /* 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 */
Simon Horman4a741432013-02-23 15:35:38 +09002156 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
Krzysztof Piotr Oledzki09605412009-09-23 22:09:24 +02002157
Willy Tarreaufb56aab2012-09-28 14:40:02 +02002158 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
2159 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
2160 t->expire = tick_first(t->expire, t_con);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002161 }
Willy Tarreau06559ac2013-12-05 01:53:08 +01002162
2163 if (check->type)
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002164 cs_want_recv(cs); /* prepare for reading a possible reply */
Willy Tarreau06559ac2013-12-05 01:53:08 +01002165
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002166 task_set_affinity(t, tid_bit);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002167 goto reschedule;
2168
Willy Tarreaue7dff022015-04-03 01:14:29 +02002169 case SF_ERR_SRVTO: /* ETIMEDOUT */
2170 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
Willy Tarreau00149122017-10-04 18:05:01 +02002171 if (conn)
2172 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002173 chk_report_conn_err(check, errno, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002174 break;
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02002175 /* should share same code than cases below */
2176 case SF_ERR_CHK_PORT:
2177 check->state |= CHK_ST_PORT_MISS;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002178 case SF_ERR_PRXCOND:
2179 case SF_ERR_RESOURCE:
2180 case SF_ERR_INTERNAL:
Willy Tarreau00149122017-10-04 18:05:01 +02002181 if (conn)
2182 conn->flags |= CO_FL_ERROR;
2183 chk_report_conn_err(check, conn ? 0 : ENOMEM, 0);
Willy Tarreau5a78f362012-11-23 12:47:05 +01002184 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002185 }
2186
Willy Tarreau5a78f362012-11-23 12:47:05 +01002187 /* here, we have seen a synchronous error, no fd was allocated */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002188 if (cs) {
2189 cs_destroy(cs);
2190 cs = check->cs = NULL;
2191 conn = NULL;
Olivier Houchard390485a2017-10-24 19:03:30 +02002192 }
Willy Tarreau6b0a8502012-11-23 08:51:32 +01002193
Willy Tarreau2c115e52013-12-11 19:41:16 +01002194 check->state &= ~CHK_ST_INPROGRESS;
Willy Tarreau4eec5472014-05-20 22:32:27 +02002195 check_notify_failure(check);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002196
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002197 /* we allow up to min(inter, timeout.connect) for a connection
2198 * to establish but only when timeout.check is set
2199 * as it may be to short for a full check otherwise
2200 */
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002201 while (tick_is_expired(t->expire, now_ms)) {
2202 int t_con;
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002203
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002204 t_con = tick_add(t->expire, s->proxy->timeout.connect);
Simon Horman4a741432013-02-23 15:35:38 +09002205 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002206
Willy Tarreau0c303ee2008-07-07 00:09:58 +02002207 if (s->proxy->timeout.check)
2208 t->expire = tick_first(t->expire, t_con);
Krzysztof Piotr Oledzki5259dfe2008-01-21 01:54:06 +01002209 }
Willy Tarreaubaaee002006-06-26 02:48:02 +02002210 }
2211 else {
Willy Tarreauf1503172012-09-28 19:39:36 +02002212 /* there was a test running.
2213 * First, let's check whether there was an uncaught error,
2214 * which can happen on connect timeout or error.
2215 */
Simon Hormanccaabcd2014-06-20 12:29:47 +09002216 if (check->result == CHK_RES_UNKNOWN) {
Willy Tarreau25e2ab52013-12-04 11:17:05 +01002217 /* good connection is enough for pure TCP check */
2218 if ((conn->flags & CO_FL_CONNECTED) && !check->type) {
Simon Horman4a741432013-02-23 15:35:38 +09002219 if (check->use_ssl)
2220 set_server_check_status(check, HCHK_STATUS_L6OK, NULL);
Willy Tarreauf1503172012-09-28 19:39:36 +02002221 else
Simon Horman4a741432013-02-23 15:35:38 +09002222 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
Willy Tarreauacbdc7a2012-11-23 14:02:10 +01002223 }
Willy Tarreau4ff3b892017-10-16 15:17:17 +02002224 else if ((conn->flags & CO_FL_ERROR) || cs->flags & CS_FL_ERROR || expired) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002225 chk_report_conn_err(check, 0, expired);
Willy Tarreauf1503172012-09-28 19:39:36 +02002226 }
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002227 else
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002228 goto out_unlock; /* timeout not reached, wait again */
Willy Tarreauf1503172012-09-28 19:39:36 +02002229 }
2230
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002231 /* check complete or aborted */
Willy Tarreau00149122017-10-04 18:05:01 +02002232 if (conn && conn->xprt) {
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002233 /* The check was aborted and the connection was not yet closed.
2234 * This can happen upon timeout, or when an external event such
2235 * as a failed response coupled with "observe layer7" caused the
2236 * server state to be suddenly changed.
2237 */
Willy Tarreaud85c4852015-03-13 00:40:28 +01002238 conn_sock_drain(conn);
Willy Tarreaua553ae92017-10-05 18:52:17 +02002239 cs_close(cs);
Willy Tarreau5ba04f62013-02-12 15:23:12 +01002240 }
2241
Willy Tarreauac59f362017-10-08 11:10:19 +02002242 if (cs) {
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002243 cs_destroy(cs);
2244 cs = check->cs = NULL;
2245 conn = NULL;
Willy Tarreau00149122017-10-04 18:05:01 +02002246 }
2247
Willy Tarreauaf549582014-05-16 17:37:50 +02002248 if (check->result == CHK_RES_FAILED) {
2249 /* a failure or timeout detected */
Willy Tarreau4eec5472014-05-20 22:32:27 +02002250 check_notify_failure(check);
Willy Tarreauaf549582014-05-16 17:37:50 +02002251 }
Willy Tarreaudb58b792014-05-21 13:57:23 +02002252 else if (check->result == CHK_RES_CONDPASS) {
2253 /* check is OK but asks for stopping mode */
2254 check_notify_stopping(check);
Willy Tarreauaf549582014-05-16 17:37:50 +02002255 }
Willy Tarreau3e048382014-05-21 10:30:54 +02002256 else if (check->result == CHK_RES_PASSED) {
2257 /* a success was detected */
2258 check_notify_success(check);
Willy Tarreaubaaee002006-06-26 02:48:02 +02002259 }
Christopher Faulet88ce5d12017-10-20 15:41:18 +02002260 task_set_affinity(t, MAX_THREADS_MASK);
Willy Tarreau2c115e52013-12-11 19:41:16 +01002261 check->state &= ~CHK_ST_INPROGRESS;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002262
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002263 rv = 0;
2264 if (global.spread_checks > 0) {
Simon Horman4a741432013-02-23 15:35:38 +09002265 rv = srv_getinter(check) * global.spread_checks / 100;
Willy Tarreau74fa7fb2012-11-23 14:43:49 +01002266 rv -= (int) (2 * rv * (rand() / (RAND_MAX + 1.0)));
Willy Tarreaubaaee002006-06-26 02:48:02 +02002267 }
Simon Horman4a741432013-02-23 15:35:38 +09002268 t->expire = tick_add(now_ms, MS_TO_TICKS(srv_getinter(check) + rv));
Willy Tarreaubaaee002006-06-26 02:48:02 +02002269 }
Willy Tarreau5a78f362012-11-23 12:47:05 +01002270
2271 reschedule:
2272 while (tick_is_expired(t->expire, now_ms))
Simon Horman4a741432013-02-23 15:35:38 +09002273 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002274 out_unlock:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01002275 HA_SPIN_UNLOCK(SERVER_LOCK, &check->server->lock);
Willy Tarreau26c25062009-03-08 09:38:41 +01002276 return t;
Willy Tarreaubaaee002006-06-26 02:48:02 +02002277}
2278
Simon Horman98637e52014-06-20 12:30:16 +09002279/*
2280 * manages a server health-check. Returns
2281 * the time the task accepts to wait, or TIME_ETERNITY for infinity.
2282 */
Olivier Houchard9f6af332018-05-25 14:04:04 +02002283static struct task *process_chk(struct task *t, void *context, unsigned short state)
Simon Horman98637e52014-06-20 12:30:16 +09002284{
Olivier Houchard9f6af332018-05-25 14:04:04 +02002285 struct check *check = context;
Simon Horman98637e52014-06-20 12:30:16 +09002286
2287 if (check->type == PR_O2_EXT_CHK)
Olivier Houchard9f6af332018-05-25 14:04:04 +02002288 return process_chk_proc(t, context, state);
2289 return process_chk_conn(t, context, state);
Baptiste Assmanna68ca962015-04-14 01:15:08 +02002290
Simon Horman98637e52014-06-20 12:30:16 +09002291}
2292
Simon Horman5c942422013-11-25 10:46:32 +09002293static int start_check_task(struct check *check, int mininter,
2294 int nbcheck, int srvpos)
2295{
2296 struct task *t;
2297 /* task for the check */
Emeric Brunc60def82017-09-27 14:59:38 +02002298 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002299 ha_alert("Starting [%s:%s] check: out of memory.\n",
2300 check->server->proxy->id, check->server->id);
Simon Horman5c942422013-11-25 10:46:32 +09002301 return 0;
2302 }
2303
2304 check->task = t;
2305 t->process = process_chk;
2306 t->context = check;
2307
Willy Tarreau1746eec2014-04-25 10:46:47 +02002308 if (mininter < srv_getinter(check))
2309 mininter = srv_getinter(check);
2310
2311 if (global.max_spread_checks && mininter > global.max_spread_checks)
2312 mininter = global.max_spread_checks;
2313
Simon Horman5c942422013-11-25 10:46:32 +09002314 /* check this every ms */
Willy Tarreau1746eec2014-04-25 10:46:47 +02002315 t->expire = tick_add(now_ms, MS_TO_TICKS(mininter * srvpos / nbcheck));
Simon Horman5c942422013-11-25 10:46:32 +09002316 check->start = now;
2317 task_queue(t);
2318
2319 return 1;
2320}
2321
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002322/*
2323 * Start health-check.
Willy Tarreau865c5142016-12-21 20:04:48 +01002324 * Returns 0 if OK, ERR_FATAL on error, and prints the error in this case.
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002325 */
Willy Tarreau865c5142016-12-21 20:04:48 +01002326static int start_checks()
2327{
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002328
2329 struct proxy *px;
2330 struct server *s;
2331 struct task *t;
Simon Horman4a741432013-02-23 15:35:38 +09002332 int nbcheck=0, mininter=0, srvpos=0;
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002333
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002334 /* 1- count the checkers to run simultaneously.
2335 * We also determine the minimum interval among all of those which
2336 * have an interval larger than SRV_CHK_INTER_THRES. This interval
2337 * will be used to spread their start-up date. Those which have
Jamie Gloudon801a0a32012-08-25 00:18:33 -04002338 * a shorter interval will start independently and will not dictate
Willy Tarreau2c43a1e2007-10-14 23:05:39 +02002339 * too short an interval for all others.
2340 */
Olivier Houchardfbc74e82017-11-24 16:54:05 +01002341 for (px = proxies_list; px; px = px->next) {
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002342 for (s = px->srv; s; s = s->next) {
Willy Tarreaue7b73482013-11-21 11:50:50 +01002343 if (s->slowstart) {
Emeric Brunc60def82017-09-27 14:59:38 +02002344 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002345 ha_alert("Starting [%s:%s] check: out of memory.\n", px->id, s->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002346 return ERR_ALERT | ERR_FATAL;
Willy Tarreaue7b73482013-11-21 11:50:50 +01002347 }
2348 /* We need a warmup task that will be called when the server
2349 * state switches from down to up.
2350 */
2351 s->warmup = t;
2352 t->process = server_warmup;
2353 t->context = s;
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002354 /* server can be in this state only because of */
Emeric Brun52a91d32017-08-31 14:41:55 +02002355 if (s->next_state == SRV_ST_STARTING)
Baptiste Assmann6076d1c2015-09-17 22:53:59 +02002356 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 +01002357 }
2358
Willy Tarreaud8514a22013-12-11 21:10:14 +01002359 if (s->check.state & CHK_ST_CONFIGURED) {
2360 nbcheck++;
2361 if ((srv_getinter(&s->check) >= SRV_CHK_INTER_THRES) &&
2362 (!mininter || mininter > srv_getinter(&s->check)))
2363 mininter = srv_getinter(&s->check);
2364 }
Willy Tarreau15f39102013-12-11 20:41:18 +01002365
Willy Tarreaud8514a22013-12-11 21:10:14 +01002366 if (s->agent.state & CHK_ST_CONFIGURED) {
2367 nbcheck++;
2368 if ((srv_getinter(&s->agent) >= SRV_CHK_INTER_THRES) &&
2369 (!mininter || mininter > srv_getinter(&s->agent)))
2370 mininter = srv_getinter(&s->agent);
2371 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002372 }
2373 }
2374
Simon Horman4a741432013-02-23 15:35:38 +09002375 if (!nbcheck)
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002376 return 0;
2377
2378 srand((unsigned)time(NULL));
2379
2380 /*
2381 * 2- start them as far as possible from each others. For this, we will
2382 * start them after their interval set to the min interval divided by
2383 * the number of servers, weighted by the server's position in the list.
2384 */
Olivier Houchardfbc74e82017-11-24 16:54:05 +01002385 for (px = proxies_list; px; px = px->next) {
Simon Horman98637e52014-06-20 12:30:16 +09002386 if ((px->options2 & PR_O2_CHK_ANY) == PR_O2_EXT_CHK) {
2387 if (init_pid_list()) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01002388 ha_alert("Starting [%s] check: out of memory.\n", px->id);
Willy Tarreau865c5142016-12-21 20:04:48 +01002389 return ERR_ALERT | ERR_FATAL;
Simon Horman98637e52014-06-20 12:30:16 +09002390 }
2391 }
2392
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002393 for (s = px->srv; s; s = s->next) {
Simon Hormand60d6912013-11-25 10:46:36 +09002394 /* A task for the main check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002395 if (s->check.state & CHK_ST_CONFIGURED) {
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002396 if (s->check.type == PR_O2_EXT_CHK) {
2397 if (!prepare_external_check(&s->check))
Willy Tarreau865c5142016-12-21 20:04:48 +01002398 return ERR_ALERT | ERR_FATAL;
Cyril Bonté99c5bf52014-08-07 01:55:38 +02002399 }
Simon Hormand60d6912013-11-25 10:46:36 +09002400 if (!start_check_task(&s->check, mininter, nbcheck, srvpos))
Willy Tarreau865c5142016-12-21 20:04:48 +01002401 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002402 srvpos++;
2403 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002404
Simon Hormand60d6912013-11-25 10:46:36 +09002405 /* A task for a auxiliary agent check */
Willy Tarreauff5ae352013-12-11 20:36:34 +01002406 if (s->agent.state & CHK_ST_CONFIGURED) {
Simon Hormand60d6912013-11-25 10:46:36 +09002407 if (!start_check_task(&s->agent, mininter, nbcheck, srvpos)) {
Willy Tarreau865c5142016-12-21 20:04:48 +01002408 return ERR_ALERT | ERR_FATAL;
Simon Hormand60d6912013-11-25 10:46:36 +09002409 }
2410 srvpos++;
2411 }
Krzysztof Oledzkib304dc72007-10-14 23:40:01 +02002412 }
2413 }
2414 return 0;
2415}
Willy Tarreaubaaee002006-06-26 02:48:02 +02002416
2417/*
Willy Tarreau5b3a2022012-09-28 15:01:02 +02002418 * Perform content verification check on data in s->check.buffer buffer.
Willy Tarreaubd741542010-03-16 18:46:54 +01002419 * The buffer MUST be terminated by a null byte before calling this function.
2420 * Sets server status appropriately. The caller is responsible for ensuring
2421 * that the buffer contains at least 13 characters. If <done> is zero, we may
2422 * return 0 to indicate that data is required to decide of a match.
2423 */
2424static int httpchk_expect(struct server *s, int done)
2425{
Christopher Faulet1bc04c72017-10-29 20:14:08 +01002426 static THREAD_LOCAL char status_msg[] = "HTTP status check returned code <000>";
Willy Tarreaubd741542010-03-16 18:46:54 +01002427 char status_code[] = "000";
2428 char *contentptr;
2429 int crlf;
2430 int ret;
2431
2432 switch (s->proxy->options2 & PR_O2_EXP_TYPE) {
2433 case PR_O2_EXP_STS:
2434 case PR_O2_EXP_RSTS:
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002435 memcpy(status_code, b_head(&s->check.bi) + 9, 3);
2436 memcpy(status_msg + strlen(status_msg) - 4, b_head(&s->check.bi) + 9, 3);
Willy Tarreaubd741542010-03-16 18:46:54 +01002437
2438 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STS)
2439 ret = strncmp(s->proxy->expect_str, status_code, 3) == 0;
2440 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002441 ret = regex_exec(s->proxy->expect_regex, status_code);
Willy Tarreaubd741542010-03-16 18:46:54 +01002442
2443 /* we necessarily have the response, so there are no partial failures */
2444 if (s->proxy->options2 & PR_O2_EXP_INV)
2445 ret = !ret;
2446
Simon Horman4a741432013-02-23 15:35:38 +09002447 set_server_check_status(&s->check, ret ? HCHK_STATUS_L7OKD : HCHK_STATUS_L7STS, status_msg);
Willy Tarreaubd741542010-03-16 18:46:54 +01002448 break;
2449
2450 case PR_O2_EXP_STR:
2451 case PR_O2_EXP_RSTR:
2452 /* very simple response parser: ignore CR and only count consecutive LFs,
2453 * stop with contentptr pointing to first char after the double CRLF or
2454 * to '\0' if crlf < 2.
2455 */
2456 crlf = 0;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002457 for (contentptr = b_head(&s->check.bi); *contentptr; contentptr++) {
Willy Tarreaubd741542010-03-16 18:46:54 +01002458 if (crlf >= 2)
2459 break;
2460 if (*contentptr == '\r')
2461 continue;
2462 else if (*contentptr == '\n')
2463 crlf++;
2464 else
2465 crlf = 0;
2466 }
2467
2468 /* Check that response contains a body... */
2469 if (crlf < 2) {
2470 if (!done)
2471 return 0;
2472
Simon Horman4a741432013-02-23 15:35:38 +09002473 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002474 "HTTP content check could not find a response body");
2475 return 1;
2476 }
2477
2478 /* Check that response body is not empty... */
2479 if (*contentptr == '\0') {
Willy Tarreaua164fb52011-04-13 09:32:41 +02002480 if (!done)
2481 return 0;
2482
Simon Horman4a741432013-02-23 15:35:38 +09002483 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002484 "HTTP content check found empty response body");
2485 return 1;
2486 }
2487
2488 /* Check the response content against the supplied string
2489 * or regex... */
2490 if ((s->proxy->options2 & PR_O2_EXP_TYPE) == PR_O2_EXP_STR)
2491 ret = strstr(contentptr, s->proxy->expect_str) != NULL;
2492 else
Thierry FOURNIER09af0d62014-06-18 11:35:54 +02002493 ret = regex_exec(s->proxy->expect_regex, contentptr);
Willy Tarreaubd741542010-03-16 18:46:54 +01002494
2495 /* if we don't match, we may need to wait more */
2496 if (!ret && !done)
2497 return 0;
2498
2499 if (ret) {
2500 /* content matched */
2501 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002502 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002503 "HTTP check matched unwanted content");
2504 else
Simon Horman4a741432013-02-23 15:35:38 +09002505 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002506 "HTTP content check matched");
2507 }
2508 else {
2509 if (s->proxy->options2 & PR_O2_EXP_INV)
Simon Horman4a741432013-02-23 15:35:38 +09002510 set_server_check_status(&s->check, HCHK_STATUS_L7OKD,
Willy Tarreaubd741542010-03-16 18:46:54 +01002511 "HTTP check did not match unwanted content");
2512 else
Simon Horman4a741432013-02-23 15:35:38 +09002513 set_server_check_status(&s->check, HCHK_STATUS_L7RSP,
Willy Tarreaubd741542010-03-16 18:46:54 +01002514 "HTTP content check did not match");
2515 }
2516 break;
2517 }
2518 return 1;
2519}
2520
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002521/*
2522 * return the id of a step in a send/expect session
2523 */
Simon Hormane16c1b32015-01-30 11:22:57 +09002524static int tcpcheck_get_step_id(struct check *check)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002525{
2526 struct tcpcheck_rule *cur = NULL, *next = NULL;
2527 int i = 0;
2528
Willy Tarreau213c6782014-10-02 14:51:02 +02002529 /* not even started anything yet => step 0 = initial connect */
Baptiste Assmannf95bc8e2015-04-25 16:03:06 +02002530 if (!check->current_step)
Willy Tarreau213c6782014-10-02 14:51:02 +02002531 return 0;
2532
Simon Hormane16c1b32015-01-30 11:22:57 +09002533 cur = check->last_started_step;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002534
2535 /* no step => first step */
2536 if (cur == NULL)
2537 return 1;
2538
2539 /* increment i until current step */
Simon Hormane16c1b32015-01-30 11:22:57 +09002540 list_for_each_entry(next, check->tcpcheck_rules, list) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002541 if (next->list.p == &cur->list)
2542 break;
2543 ++i;
2544 }
2545
2546 return i;
2547}
2548
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002549/*
2550 * return the latest known comment before (including) the given stepid
2551 * returns NULL if no comment found
2552 */
2553static char * tcpcheck_get_step_comment(struct check *check, int stepid)
2554{
2555 struct tcpcheck_rule *cur = NULL;
2556 char *ret = NULL;
2557 int i = 0;
2558
2559 /* not even started anything yet, return latest comment found before any action */
2560 if (!check->current_step) {
2561 list_for_each_entry(cur, check->tcpcheck_rules, list) {
2562 if (cur->action == TCPCHK_ACT_COMMENT)
2563 ret = cur->comment;
2564 else
2565 goto return_comment;
2566 }
2567 }
2568
2569 i = 1;
2570 list_for_each_entry(cur, check->tcpcheck_rules, list) {
2571 if (cur->comment)
2572 ret = cur->comment;
2573
2574 if (i >= stepid)
2575 goto return_comment;
2576
2577 ++i;
2578 }
2579
2580 return_comment:
2581 return ret;
2582}
2583
Willy Tarreaube74b882017-10-04 16:22:49 +02002584/* proceed with next steps for the TCP checks <check>. Note that this is called
2585 * both from the connection's wake() callback and from the check scheduling task.
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002586 * It returns 0 on normal cases, or <0 if a close() has happened on an existing
2587 * connection, presenting the risk of an fd replacement.
Willy Tarreau62ac84f2017-11-05 10:11:13 +01002588 *
2589 * Please do NOT place any return statement in this function and only leave
2590 * via the out_unlock label after setting retcode.
Willy Tarreaube74b882017-10-04 16:22:49 +02002591 */
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002592static int tcpcheck_main(struct check *check)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002593{
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002594 char *contentptr, *comment;
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002595 struct tcpcheck_rule *next;
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002596 int done = 0, ret = 0, step = 0;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002597 struct conn_stream *cs = check->cs;
2598 struct connection *conn = cs_conn(cs);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002599 struct server *s = check->server;
2600 struct task *t = check->task;
Simon Hormane16c1b32015-01-30 11:22:57 +09002601 struct list *head = check->tcpcheck_rules;
Willy Tarreau6bdcab02017-10-04 18:41:00 +02002602 int retcode = 0;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002603
Willy Tarreauef953952014-10-02 14:30:14 +02002604 /* here, we know that the check is complete or that it failed */
2605 if (check->result != CHK_RES_UNKNOWN)
2606 goto out_end_tcpcheck;
2607
2608 /* We have 4 possibilities here :
2609 * 1. we've not yet attempted step 1, and step 1 is a connect, so no
Willy Tarreau00149122017-10-04 18:05:01 +02002610 * connection attempt was made yet ; conn==NULL;current_step==NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002611 * 2. we've not yet attempted step 1, and step 1 is a not connect or
2612 * does not exist (no rule), so a connection attempt was made
Willy Tarreau00149122017-10-04 18:05:01 +02002613 * before coming here, conn!=NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002614 * 3. we're coming back after having started with step 1, so we may
Willy Tarreau00149122017-10-04 18:05:01 +02002615 * be waiting for a connection attempt to complete. conn!=NULL.
2616 * 4. the connection + handshake are complete. conn!=NULL.
Willy Tarreauef953952014-10-02 14:30:14 +02002617 *
2618 * #2 and #3 are quite similar, we want both the connection and the
2619 * handshake to complete before going any further. Thus we must always
2620 * wait for a connection to complete unless we're before and existing
2621 * step 1.
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002622 */
Willy Tarreau449f9522015-05-13 15:39:48 +02002623
2624 /* find first rule and skip comments */
2625 next = LIST_NEXT(head, struct tcpcheck_rule *, list);
2626 while (&next->list != head && next->action == TCPCHK_ACT_COMMENT)
2627 next = LIST_NEXT(&next->list, struct tcpcheck_rule *, list);
2628
Willy Tarreau00149122017-10-04 18:05:01 +02002629 if ((check->current_step || &next->list == head) &&
2630 (!(conn->flags & CO_FL_CONNECTED) || (conn->flags & CO_FL_HANDSHAKE))) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002631 /* we allow up to min(inter, timeout.connect) for a connection
2632 * to establish but only when timeout.check is set
2633 * as it may be to short for a full check otherwise
2634 */
2635 while (tick_is_expired(t->expire, now_ms)) {
2636 int t_con;
2637
2638 t_con = tick_add(t->expire, s->proxy->timeout.connect);
2639 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
2640
2641 if (s->proxy->timeout.check)
2642 t->expire = tick_first(t->expire, t_con);
2643 }
Christopher Fauletb6102852017-11-28 10:06:29 +01002644 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002645 }
2646
Willy Tarreauef953952014-10-02 14:30:14 +02002647 /* special case: option tcp-check with no rule, a connect is enough */
Willy Tarreau449f9522015-05-13 15:39:48 +02002648 if (&next->list == head) {
Willy Tarreauef953952014-10-02 14:30:14 +02002649 set_server_check_status(check, HCHK_STATUS_L4OK, NULL);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002650 goto out_end_tcpcheck;
Willy Tarreauef953952014-10-02 14:30:14 +02002651 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002652
Willy Tarreau213c6782014-10-02 14:51:02 +02002653 /* no step means first step initialisation */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002654 if (check->current_step == NULL) {
Willy Tarreau213c6782014-10-02 14:51:02 +02002655 check->last_started_step = NULL;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002656 b_reset(&check->bo);
2657 b_reset(&check->bi);
Willy Tarreau449f9522015-05-13 15:39:48 +02002658 check->current_step = next;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002659 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2660 if (s->proxy->timeout.check)
2661 t->expire = tick_add_ifset(now_ms, s->proxy->timeout.check);
2662 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002663
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002664 /* It's only the rules which will enable send/recv */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002665 if (cs)
2666 cs_stop_both(cs);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002667
Willy Tarreauabca5b62013-12-06 14:19:25 +01002668 while (1) {
Willy Tarreau263013d2015-05-13 11:59:14 +02002669 /* We have to try to flush the output buffer before reading, at
2670 * the end, or if we're about to send a string that does not fit
2671 * in the remaining space. That explains why we break out of the
Willy Tarreau00149122017-10-04 18:05:01 +02002672 * loop after this control. If we have data, conn is valid.
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002673 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002674 if (b_data(&check->bo) &&
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002675 (&check->current_step->list == head ||
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002676 check->current_step->action != TCPCHK_ACT_SEND ||
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002677 check->current_step->string_len >= b_room(&check->bo))) {
Willy Tarreaudeccd112018-06-14 18:38:55 +02002678 int ret;
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002679
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002680 __cs_want_send(cs);
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002681 ret = conn->mux->snd_buf(cs, &check->bo, b_data(&check->bo), 0);
2682 b_del(&check->bo, ret);
2683 b_realign_if_empty(&check->bo);
Willy Tarreaudeccd112018-06-14 18:38:55 +02002684
2685 if (ret <= 0) {
Willy Tarreau4ff3b892017-10-16 15:17:17 +02002686 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) {
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002687 chk_report_conn_err(check, errno, 0);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002688 __cs_stop_both(cs);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002689 goto out_end_tcpcheck;
2690 }
Willy Tarreau263013d2015-05-13 11:59:14 +02002691 break;
Willy Tarreauabca5b62013-12-06 14:19:25 +01002692 }
Willy Tarreauabca5b62013-12-06 14:19:25 +01002693 }
2694
Willy Tarreau263013d2015-05-13 11:59:14 +02002695 if (&check->current_step->list == head)
Willy Tarreauabca5b62013-12-06 14:19:25 +01002696 break;
2697
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002698 /* have 'next' point to the next rule or NULL if we're on the
2699 * last one, connect() needs this.
2700 */
Willy Tarreau5581c272015-05-13 12:24:53 +02002701 next = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002702
2703 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002704 while (&next->list != head && next->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002705 next = LIST_NEXT(&next->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002706
2707 /* NULL if we're on the last rule */
Willy Tarreauf3d34822014-12-08 12:11:28 +01002708 if (&next->list == head)
2709 next = NULL;
2710
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002711 if (check->current_step->action == TCPCHK_ACT_CONNECT) {
2712 struct protocol *proto;
2713 struct xprt_ops *xprt;
2714
Willy Tarreau00149122017-10-04 18:05:01 +02002715 /* For a connect action we'll create a new connection.
2716 * We may also have to kill a previous one. But we don't
2717 * want to leave *without* a connection if we came here
2718 * from the connection layer, hence with a connection.
2719 * Thus we'll proceed in the following order :
2720 * 1: close but not release previous connection
2721 * 2: try to get a new connection
2722 * 3: release and replace the old one on success
2723 */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002724 if (check->cs) {
Willy Tarreaua553ae92017-10-05 18:52:17 +02002725 cs_close(check->cs);
2726 retcode = -1; /* do not reuse the fd in the caller! */
Willy Tarreau00149122017-10-04 18:05:01 +02002727 }
2728
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002729 /* mark the step as started */
2730 check->last_started_step = check->current_step;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002731
2732 /* prepare new connection */
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002733 cs = cs_new(NULL);
2734 if (!cs) {
Willy Tarreau00149122017-10-04 18:05:01 +02002735 step = tcpcheck_get_step_id(check);
2736 chunk_printf(&trash, "TCPCHK error allocating connection at step %d", step);
2737 comment = tcpcheck_get_step_comment(check, step);
2738 if (comment)
2739 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002740 set_server_check_status(check, HCHK_STATUS_SOCKERR,
2741 trash.area);
Willy Tarreau00149122017-10-04 18:05:01 +02002742 check->current_step = NULL;
Christopher Fauletb6102852017-11-28 10:06:29 +01002743 goto out;
Willy Tarreau00149122017-10-04 18:05:01 +02002744 }
2745
Willy Tarreauac59f362017-10-08 11:10:19 +02002746 if (check->cs)
2747 cs_destroy(check->cs);
Willy Tarreau00149122017-10-04 18:05:01 +02002748
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002749 check->cs = cs;
2750 conn = cs->conn;
2751 cs_attach(cs, check, &check_conn_cb);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002752 conn->target = &s->obj_type;
2753
2754 /* no client address */
2755 clear_addr(&conn->addr.from);
2756
Simon Horman41f58762015-01-30 11:22:56 +09002757 if (is_addr(&check->addr)) {
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002758 /* we'll connect to the check addr specified on the server */
Simon Horman41f58762015-01-30 11:22:56 +09002759 conn->addr.to = check->addr;
Willy Tarreau640556c2014-05-09 23:38:15 +02002760 }
2761 else {
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002762 /* we'll connect to the addr on the server */
2763 conn->addr.to = s->addr;
Willy Tarreau640556c2014-05-09 23:38:15 +02002764 }
Thierry FOURNIERbb2ae642015-01-14 11:31:49 +01002765 proto = protocol_by_family(conn->addr.to.ss_family);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002766
2767 /* port */
2768 if (check->current_step->port)
2769 set_host_port(&conn->addr.to, check->current_step->port);
2770 else if (check->port)
2771 set_host_port(&conn->addr.to, check->port);
Baptiste Assmann2f3a56b2018-03-19 12:22:41 +01002772 else if (s->svc_port)
2773 set_host_port(&conn->addr.to, s->svc_port);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002774
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002775 if (check->current_step->conn_opts & TCPCHK_OPT_SSL) {
Willy Tarreaua261e9b2016-12-22 20:44:00 +01002776 xprt = xprt_get(XPRT_SSL);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002777 }
2778 else {
Willy Tarreaua261e9b2016-12-22 20:44:00 +01002779 xprt = xprt_get(XPRT_RAW);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002780 }
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002781 conn_prepare(conn, proto, xprt);
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002782 conn_install_mux(conn, &mux_pt_ops, cs);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002783
Willy Tarreaue7dff022015-04-03 01:14:29 +02002784 ret = SF_ERR_INTERNAL;
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002785 if (proto->connect)
Willy Tarreauf3d34822014-12-08 12:11:28 +01002786 ret = proto->connect(conn,
2787 1 /* I/O polling is always needed */,
2788 (next && next->action == TCPCHK_ACT_EXPECT) ? 0 : 2);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002789 if (check->current_step->conn_opts & TCPCHK_OPT_SEND_PROXY) {
2790 conn->send_proxy_ofs = 1;
2791 conn->flags |= CO_FL_SEND_PROXY;
2792 }
2793
2794 /* It can return one of :
Willy Tarreaue7dff022015-04-03 01:14:29 +02002795 * - SF_ERR_NONE if everything's OK
2796 * - SF_ERR_SRVTO if there are no more servers
2797 * - SF_ERR_SRVCL if the connection was refused by the server
2798 * - SF_ERR_PRXCOND if the connection has been limited by the proxy (maxconn)
2799 * - SF_ERR_RESOURCE if a system resource is lacking (eg: fd limits, ports, ...)
2800 * - SF_ERR_INTERNAL for any other purely internal errors
Tim Düsterhus4896c442016-11-29 02:15:19 +01002801 * Additionally, in the case of SF_ERR_RESOURCE, an emergency log will be emitted.
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002802 * Note that we try to prevent the network stack from sending the ACK during the
2803 * connect() when a pure TCP check is used (without PROXY protocol).
2804 */
2805 switch (ret) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002806 case SF_ERR_NONE:
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002807 /* we allow up to min(inter, timeout.connect) for a connection
2808 * to establish but only when timeout.check is set
2809 * as it may be to short for a full check otherwise
2810 */
2811 t->expire = tick_add(now_ms, MS_TO_TICKS(check->inter));
2812
2813 if (s->proxy->timeout.check && s->proxy->timeout.connect) {
2814 int t_con = tick_add(now_ms, s->proxy->timeout.connect);
2815 t->expire = tick_first(t->expire, t_con);
2816 }
2817 break;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002818 case SF_ERR_SRVTO: /* ETIMEDOUT */
2819 case SF_ERR_SRVCL: /* ECONNREFUSED, ENETUNREACH, ... */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002820 step = tcpcheck_get_step_id(check);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002821 chunk_printf(&trash, "TCPCHK error establishing connection at step %d: %s",
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002822 step, strerror(errno));
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002823 comment = tcpcheck_get_step_comment(check, step);
2824 if (comment)
2825 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002826 set_server_check_status(check, HCHK_STATUS_L4CON,
2827 trash.area);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002828 goto out_end_tcpcheck;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002829 case SF_ERR_PRXCOND:
2830 case SF_ERR_RESOURCE:
2831 case SF_ERR_INTERNAL:
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002832 step = tcpcheck_get_step_id(check);
2833 chunk_printf(&trash, "TCPCHK error establishing connection at step %d", step);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002834 comment = tcpcheck_get_step_comment(check, step);
2835 if (comment)
2836 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002837 set_server_check_status(check, HCHK_STATUS_SOCKERR,
2838 trash.area);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002839 goto out_end_tcpcheck;
2840 }
2841
2842 /* allow next rule */
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);
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002849
Willy Tarreauf2c87352015-05-13 12:08:21 +02002850 if (&check->current_step->list == head)
2851 break;
2852
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002853 } /* end 'connect' */
2854 else if (check->current_step->action == TCPCHK_ACT_SEND) {
2855 /* mark the step as started */
2856 check->last_started_step = check->current_step;
2857
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002858 /* reset the read buffer */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002859 if (*b_head(&check->bi) != '\0') {
2860 *b_head(&check->bi) = '\0';
2861 b_reset(&check->bi);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002862 }
2863
Willy Tarreaubbae3f02017-08-30 09:59:52 +02002864 if (conn->flags & CO_FL_SOCK_WR_SH) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002865 conn->flags |= CO_FL_ERROR;
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002866 chk_report_conn_err(check, 0, 0);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002867 goto out_end_tcpcheck;
2868 }
2869
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002870 if (check->current_step->string_len >= b_size(&check->bo)) {
Willy Tarreau506a29a2018-07-18 10:07:58 +02002871 chunk_printf(&trash, "tcp-check send : string too large (%d) for buffer size (%u) at step %d",
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002872 check->current_step->string_len, (unsigned int)b_size(&check->bo),
Simon Hormane16c1b32015-01-30 11:22:57 +09002873 tcpcheck_get_step_id(check));
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002874 set_server_check_status(check, HCHK_STATUS_L7RSP,
2875 trash.area);
Willy Tarreauabca5b62013-12-06 14:19:25 +01002876 goto out_end_tcpcheck;
2877 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002878
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002879 /* do not try to send if there is no space */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002880 if (check->current_step->string_len >= b_room(&check->bo))
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002881 continue;
2882
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002883 b_putblk(&check->bo, check->current_step->string, check->current_step->string_len);
2884 *b_tail(&check->bo) = '\0'; /* to make gdb output easier to read */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002885
Willy Tarreauabca5b62013-12-06 14:19:25 +01002886 /* go to next rule and try to send */
Willy Tarreau5581c272015-05-13 12:24:53 +02002887 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002888
2889 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002890 while (&check->current_step->list != head &&
2891 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002892 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Willy Tarreauf2c87352015-05-13 12:08:21 +02002893
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002894 } /* end 'send' */
Willy Tarreau98aec9f2013-12-06 16:16:41 +01002895 else if (check->current_step->action == TCPCHK_ACT_EXPECT) {
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01002896 if (unlikely(check->result == CHK_RES_FAILED))
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002897 goto out_end_tcpcheck;
2898
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002899 __cs_want_recv(cs);
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002900 if (conn->mux->rcv_buf(cs, &check->bi, b_size(&check->bi), 0) <= 0) {
Willy Tarreau4ff3b892017-10-16 15:17:17 +02002901 if (conn->flags & (CO_FL_ERROR | CO_FL_SOCK_RD_SH) || cs->flags & CS_FL_ERROR) {
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002902 done = 1;
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002903 if ((conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR) && !b_data(&check->bi)) {
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002904 /* Report network errors only if we got no other data. Otherwise
2905 * we'll let the upper layers decide whether the response is OK
2906 * or not. It is very common that an RST sent by the server is
2907 * reported as an error just after the last data chunk.
2908 */
Willy Tarreaub5259bf2017-10-04 14:47:29 +02002909 chk_report_conn_err(check, errno, 0);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002910 goto out_end_tcpcheck;
2911 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002912 }
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002913 else
Willy Tarreau263013d2015-05-13 11:59:14 +02002914 break;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002915 }
2916
Baptiste Assmann69e273f2013-12-11 00:52:19 +01002917 /* mark the step as started */
2918 check->last_started_step = check->current_step;
2919
2920
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002921 /* Intermediate or complete response received.
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002922 * Terminate string in b_head(&check->bi) buffer.
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002923 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002924 if (b_data(&check->bi) < b_size(&check->bi)) {
2925 b_head(&check->bi)[b_data(&check->bi)] = '\0';
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002926 }
2927 else {
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002928 b_head(&check->bi)[b_data(&check->bi) - 1] = '\0';
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002929 done = 1; /* buffer full, don't wait for more data */
2930 }
2931
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002932 contentptr = b_head(&check->bi);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002933
2934 /* Check that response body is not empty... */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002935 if (!b_data(&check->bi)) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002936 if (!done)
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01002937 continue;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002938
2939 /* empty response */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002940 step = tcpcheck_get_step_id(check);
2941 chunk_printf(&trash, "TCPCHK got an empty response at step %d", step);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002942 comment = tcpcheck_get_step_comment(check, step);
2943 if (comment)
2944 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002945 set_server_check_status(check, HCHK_STATUS_L7RSP,
2946 trash.area);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002947
2948 goto out_end_tcpcheck;
2949 }
2950
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002951 if (!done && (check->current_step->string != NULL) && (b_data(&check->bi) < check->current_step->string_len) )
Willy Tarreaua970c282013-12-06 12:47:19 +01002952 continue; /* try to read more */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002953
Willy Tarreaua970c282013-12-06 12:47:19 +01002954 tcpcheck_expect:
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002955 if (check->current_step->string != NULL)
Willy Tarreauc9fa0482018-07-10 17:43:27 +02002956 ret = my_memmem(contentptr, b_data(&check->bi), check->current_step->string, check->current_step->string_len) != NULL;
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002957 else if (check->current_step->expect_regex != NULL)
2958 ret = regex_exec(check->current_step->expect_regex, contentptr);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002959
2960 if (!ret && !done)
Willy Tarreaua970c282013-12-06 12:47:19 +01002961 continue; /* try to read more */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002962
2963 /* matched */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002964 step = tcpcheck_get_step_id(check);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002965 if (ret) {
2966 /* matched but we did not want to => ERROR */
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002967 if (check->current_step->inverse) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002968 /* we were looking for a string */
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002969 if (check->current_step->string != NULL) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002970 chunk_printf(&trash, "TCPCHK matched unwanted content '%s' at step %d",
Willy Tarreauce8c42a2015-05-13 11:23:01 +02002971 check->current_step->string, step);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002972 }
2973 else {
2974 /* we were looking for a regex */
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02002975 chunk_printf(&trash, "TCPCHK matched unwanted content (regex) at step %d", step);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002976 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002977 comment = tcpcheck_get_step_comment(check, step);
2978 if (comment)
2979 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02002980 set_server_check_status(check, HCHK_STATUS_L7RSP,
2981 trash.area);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002982 goto out_end_tcpcheck;
2983 }
2984 /* matched and was supposed to => OK, next step */
2985 else {
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002986 /* allow next rule */
Willy Tarreau5581c272015-05-13 12:24:53 +02002987 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002988
2989 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02002990 while (&check->current_step->list != head &&
2991 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02002992 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02002993
Willy Tarreauf2c87352015-05-13 12:08:21 +02002994 if (&check->current_step->list == head)
2995 break;
2996
Willy Tarreau98aec9f2013-12-06 16:16:41 +01002997 if (check->current_step->action == TCPCHK_ACT_EXPECT)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02002998 goto tcpcheck_expect;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02002999 __cs_stop_recv(cs);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003000 }
3001 }
3002 else {
3003 /* not matched */
3004 /* not matched and was not supposed to => OK, next step */
Willy Tarreauce8c42a2015-05-13 11:23:01 +02003005 if (check->current_step->inverse) {
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003006 /* allow next rule */
Willy Tarreau5581c272015-05-13 12:24:53 +02003007 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003008
3009 /* bypass all comment rules */
Willy Tarreauf2c87352015-05-13 12:08:21 +02003010 while (&check->current_step->list != head &&
3011 check->current_step->action == TCPCHK_ACT_COMMENT)
Willy Tarreau5581c272015-05-13 12:24:53 +02003012 check->current_step = LIST_NEXT(&check->current_step->list, struct tcpcheck_rule *, list);
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003013
Willy Tarreauf2c87352015-05-13 12:08:21 +02003014 if (&check->current_step->list == head)
3015 break;
3016
Willy Tarreau98aec9f2013-12-06 16:16:41 +01003017 if (check->current_step->action == TCPCHK_ACT_EXPECT)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003018 goto tcpcheck_expect;
Olivier Houchard9aaf7782017-09-13 18:30:23 +02003019 __cs_stop_recv(cs);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003020 }
3021 /* not matched but was supposed to => ERROR */
3022 else {
3023 /* we were looking for a string */
Willy Tarreauce8c42a2015-05-13 11:23:01 +02003024 if (check->current_step->string != NULL) {
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003025 chunk_printf(&trash, "TCPCHK did not match content '%s' at step %d",
Willy Tarreauce8c42a2015-05-13 11:23:01 +02003026 check->current_step->string, step);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003027 }
3028 else {
3029 /* we were looking for a regex */
3030 chunk_printf(&trash, "TCPCHK did not match content (regex) at step %d",
Baptiste Assmanncfbd1b82015-05-02 09:00:23 +02003031 step);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003032 }
Baptiste Assmann22b09d22015-05-01 08:03:04 +02003033 comment = tcpcheck_get_step_comment(check, step);
3034 if (comment)
3035 chunk_appendf(&trash, " comment: '%s'", comment);
Willy Tarreau843b7cb2018-07-13 10:54:26 +02003036 set_server_check_status(check, HCHK_STATUS_L7RSP,
3037 trash.area);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003038 goto out_end_tcpcheck;
3039 }
3040 }
3041 } /* end expect */
3042 } /* end loop over double chained step list */
3043
Baptiste Assmann248f1172018-03-01 21:49:01 +01003044 /* don't do anything until the connection is established */
3045 if (!(conn->flags & CO_FL_CONNECTED)) {
3046 /* update expire time, should be done by process_chk */
3047 /* we allow up to min(inter, timeout.connect) for a connection
3048 * to establish but only when timeout.check is set
3049 * as it may be to short for a full check otherwise
3050 */
3051 while (tick_is_expired(t->expire, now_ms)) {
3052 int t_con;
3053
3054 t_con = tick_add(t->expire, s->proxy->timeout.connect);
3055 t->expire = tick_add(t->expire, MS_TO_TICKS(check->inter));
3056
3057 if (s->proxy->timeout.check)
3058 t->expire = tick_first(t->expire, t_con);
3059 }
3060 goto out;
3061 }
3062
Willy Tarreau263013d2015-05-13 11:59:14 +02003063 /* We're waiting for some I/O to complete, we've reached the end of the
3064 * rules, or both. Do what we have to do, otherwise we're done.
3065 */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003066 if (&check->current_step->list == head && !b_data(&check->bo)) {
Willy Tarreau263013d2015-05-13 11:59:14 +02003067 set_server_check_status(check, HCHK_STATUS_L7OKD, "(tcp-check)");
3068 goto out_end_tcpcheck;
3069 }
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003070
Willy Tarreau53c5a042015-05-13 11:38:17 +02003071 /* warning, current_step may now point to the head */
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003072 if (b_data(&check->bo))
Olivier Houchard9aaf7782017-09-13 18:30:23 +02003073 __cs_want_send(cs);
Willy Tarreaufbe0edf2013-12-06 16:54:31 +01003074
Willy Tarreau53c5a042015-05-13 11:38:17 +02003075 if (&check->current_step->list != head &&
3076 check->current_step->action == TCPCHK_ACT_EXPECT)
Olivier Houchard9aaf7782017-09-13 18:30:23 +02003077 __cs_want_recv(cs);
Christopher Fauletb6102852017-11-28 10:06:29 +01003078 goto out;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003079
3080 out_end_tcpcheck:
3081 /* collect possible new errors */
Willy Tarreau4ff3b892017-10-16 15:17:17 +02003082 if (conn->flags & CO_FL_ERROR || cs->flags & CS_FL_ERROR)
Willy Tarreaub5259bf2017-10-04 14:47:29 +02003083 chk_report_conn_err(check, 0, 0);
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003084
Baptiste Assmann69e273f2013-12-11 00:52:19 +01003085 /* cleanup before leaving */
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003086 check->current_step = NULL;
3087
Willy Tarreau6aaa1b82013-12-11 17:09:34 +01003088 if (check->result == CHK_RES_FAILED)
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003089 conn->flags |= CO_FL_ERROR;
3090
Olivier Houchard9aaf7782017-09-13 18:30:23 +02003091 __cs_stop_both(cs);
Willy Tarreau62ac84f2017-11-05 10:11:13 +01003092
Christopher Fauletb6102852017-11-28 10:06:29 +01003093 out:
Willy Tarreau6bdcab02017-10-04 18:41:00 +02003094 return retcode;
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003095}
3096
Simon Hormanb1900d52015-01-30 11:22:54 +09003097const char *init_check(struct check *check, int type)
3098{
3099 check->type = type;
3100
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003101 b_reset(&check->bi); check->bi.size = global.tune.chksize;
3102 b_reset(&check->bo); check->bo.size = global.tune.chksize;
Simon Hormanb1900d52015-01-30 11:22:54 +09003103
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003104 check->bi.area = calloc(check->bi.size, sizeof(char));
3105 check->bo.area = calloc(check->bo.size, sizeof(char));
3106
3107 if (!check->bi.area || !check->bo.area)
Simon Hormanb1900d52015-01-30 11:22:54 +09003108 return "out of memory while allocating check buffer";
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003109
Simon Hormanb1900d52015-01-30 11:22:54 +09003110 return NULL;
3111}
3112
Simon Hormanbfb5d332015-01-30 11:22:55 +09003113void free_check(struct check *check)
3114{
Willy Tarreauc9fa0482018-07-10 17:43:27 +02003115 free(check->bi.area);
3116 free(check->bo.area);
Christopher Faulet23d86d12018-01-25 11:36:35 +01003117 if (check->cs) {
3118 free(check->cs->conn);
3119 check->cs->conn = NULL;
3120 cs_free(check->cs);
3121 check->cs = NULL;
3122 }
Simon Hormanbfb5d332015-01-30 11:22:55 +09003123}
3124
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003125void email_alert_free(struct email_alert *alert)
3126{
3127 struct tcpcheck_rule *rule, *back;
3128
3129 if (!alert)
3130 return;
3131
Christopher Fauletde1a75b2017-10-23 15:38:19 +02003132 list_for_each_entry_safe(rule, back, &alert->tcpcheck_rules, list) {
3133 LIST_DEL(&rule->list);
3134 free(rule->comment);
3135 free(rule->string);
3136 if (rule->expect_regex)
3137 regex_free(rule->expect_regex);
Willy Tarreaubafbe012017-11-24 17:34:44 +01003138 pool_free(pool_head_tcpcheck_rule, rule);
Christopher Fauletde1a75b2017-10-23 15:38:19 +02003139 }
Willy Tarreaubafbe012017-11-24 17:34:44 +01003140 pool_free(pool_head_email_alert, alert);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003141}
3142
Olivier Houchard9f6af332018-05-25 14:04:04 +02003143static struct task *process_email_alert(struct task *t, void *context, unsigned short state)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003144{
Olivier Houchard9f6af332018-05-25 14:04:04 +02003145 struct check *check = context;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003146 struct email_alertq *q;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003147 struct email_alert *alert;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003148
3149 q = container_of(check, typeof(*q), check);
3150
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003151 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003152 while (1) {
3153 if (!(check->state & CHK_ST_ENABLED)) {
3154 if (LIST_ISEMPTY(&q->email_alerts)) {
3155 /* All alerts processed, queue the task */
3156 t->expire = TICK_ETERNITY;
3157 task_queue(t);
Christopher Fauletc2a89a62017-10-23 15:54:24 +02003158 goto end;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003159 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003160
3161 alert = LIST_NEXT(&q->email_alerts, typeof(alert), list);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003162 LIST_DEL(&alert->list);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003163 t->expire = now_ms;
3164 check->server = alert->srv;
3165 check->tcpcheck_rules = &alert->tcpcheck_rules;
PiBa-NL1714b9f2017-12-06 01:35:43 +01003166 check->status = HCHK_STATUS_UNKNOWN; // the UNKNOWN status is used to exit set_server_check_status(.) early
Christopher Faulet0108bb32017-10-20 21:34:32 +02003167 check->state |= CHK_ST_ENABLED;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003168 }
3169
Olivier Houchard9f6af332018-05-25 14:04:04 +02003170 process_chk(t, context, state);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003171 if (check->state & CHK_ST_INPROGRESS)
3172 break;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003173
3174 alert = container_of(check->tcpcheck_rules, typeof(*alert), tcpcheck_rules);
3175 email_alert_free(alert);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003176 check->tcpcheck_rules = NULL;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003177 check->server = NULL;
3178 check->state &= ~CHK_ST_ENABLED;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003179 }
Christopher Fauletc2a89a62017-10-23 15:54:24 +02003180 end:
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003181 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003182 return t;
3183}
3184
Christopher Faulet0108bb32017-10-20 21:34:32 +02003185/* Initializes mailer alerts for the proxy <p> using <mls> parameters.
3186 *
3187 * The function returns 1 in success case, otherwise, it returns 0 and err is
3188 * filled.
3189 */
3190int init_email_alert(struct mailers *mls, struct proxy *p, char **err)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003191{
Christopher Faulet0108bb32017-10-20 21:34:32 +02003192 struct mailer *mailer;
3193 struct email_alertq *queues;
3194 const char *err_str;
3195 int i = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003196
Christopher Faulet0108bb32017-10-20 21:34:32 +02003197 if ((queues = calloc(mls->count, sizeof(*queues))) == NULL) {
3198 memprintf(err, "out of memory while allocating mailer alerts queues");
3199 goto error;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003200 }
3201
Christopher Faulet0108bb32017-10-20 21:34:32 +02003202 for (mailer = mls->mailer_list; mailer; i++, mailer = mailer->next) {
3203 struct email_alertq *q = &queues[i];
3204 struct check *check = &q->check;
3205 struct task *t;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003206
3207 LIST_INIT(&q->email_alerts);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003208 HA_SPIN_INIT(&q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003209 check->inter = mls->timeout.mail;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003210 check->rise = DEF_AGENT_RISETIME;
3211 check->fall = DEF_AGENT_FALLTIME;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003212 if ((err_str = init_check(check, PR_O2_TCPCHK_CHK))) {
3213 memprintf(err, "%s", err_str);
3214 goto error;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003215 }
3216
3217 check->xprt = mailer->xprt;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003218 check->addr = mailer->addr;
Christopher Fauletb797ae12018-03-27 15:35:35 +02003219 check->port = get_host_port(&mailer->addr);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003220 //check->server = s;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003221
Emeric Brunc60def82017-09-27 14:59:38 +02003222 if ((t = task_new(MAX_THREADS_MASK)) == NULL) {
Christopher Faulet0108bb32017-10-20 21:34:32 +02003223 memprintf(err, "out of memory while allocating mailer alerts task");
3224 goto error;
3225 }
3226
3227 check->task = t;
3228 t->process = process_email_alert;
3229 t->context = check;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003230
Christopher Faulet0108bb32017-10-20 21:34:32 +02003231 /* check this in one ms */
3232 t->expire = TICK_ETERNITY;
3233 check->start = now;
3234 task_queue(t);
3235 }
3236
3237 mls->users++;
3238 free(p->email_alert.mailers.name);
3239 p->email_alert.mailers.m = mls;
3240 p->email_alert.queues = queues;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003241 return 0;
Christopher Faulet0108bb32017-10-20 21:34:32 +02003242
3243 error:
3244 for (i = 0; i < mls->count; i++) {
3245 struct email_alertq *q = &queues[i];
3246 struct check *check = &q->check;
3247
3248 if (check->task) {
3249 task_delete(check->task);
3250 task_free(check->task);
3251 check->task = NULL;
3252 }
3253 free_check(check);
3254 }
3255 free(queues);
3256 return 1;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003257}
3258
3259
3260static int add_tcpcheck_expect_str(struct list *list, const char *str)
3261{
3262 struct tcpcheck_rule *tcpcheck;
3263
Willy Tarreaubafbe012017-11-24 17:34:44 +01003264 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003265 return 0;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003266 memset(tcpcheck, 0, sizeof(*tcpcheck));
3267 tcpcheck->action = TCPCHK_ACT_EXPECT;
3268 tcpcheck->string = strdup(str);
3269 tcpcheck->expect_regex = NULL;
3270 tcpcheck->comment = NULL;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003271 if (!tcpcheck->string) {
Willy Tarreaubafbe012017-11-24 17:34:44 +01003272 pool_free(pool_head_tcpcheck_rule, tcpcheck);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003273 return 0;
3274 }
3275
3276 LIST_ADDQ(list, &tcpcheck->list);
3277 return 1;
3278}
3279
3280static int add_tcpcheck_send_strs(struct list *list, const char * const *strs)
3281{
3282 struct tcpcheck_rule *tcpcheck;
Willy Tarreau64345aa2016-08-10 19:29:09 +02003283 const char *in;
3284 char *dst;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003285 int i;
3286
Willy Tarreaubafbe012017-11-24 17:34:44 +01003287 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003288 return 0;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003289 memset(tcpcheck, 0, sizeof(*tcpcheck));
3290 tcpcheck->action = TCPCHK_ACT_SEND;
3291 tcpcheck->expect_regex = NULL;
3292 tcpcheck->comment = NULL;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003293 tcpcheck->string_len = 0;
3294 for (i = 0; strs[i]; i++)
3295 tcpcheck->string_len += strlen(strs[i]);
3296
3297 tcpcheck->string = malloc(tcpcheck->string_len + 1);
3298 if (!tcpcheck->string) {
Willy Tarreaubafbe012017-11-24 17:34:44 +01003299 pool_free(pool_head_tcpcheck_rule, tcpcheck);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003300 return 0;
3301 }
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003302
Willy Tarreau64345aa2016-08-10 19:29:09 +02003303 dst = tcpcheck->string;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003304 for (i = 0; strs[i]; i++)
Willy Tarreau64345aa2016-08-10 19:29:09 +02003305 for (in = strs[i]; (*dst = *in++); dst++);
3306 *dst = 0;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003307
3308 LIST_ADDQ(list, &tcpcheck->list);
3309 return 1;
3310}
3311
Christopher Faulet0108bb32017-10-20 21:34:32 +02003312static int enqueue_one_email_alert(struct proxy *p, struct server *s,
3313 struct email_alertq *q, const char *msg)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003314{
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003315 struct email_alert *alert;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003316 struct tcpcheck_rule *tcpcheck;
3317 struct check *check = &q->check;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003318
Willy Tarreaubafbe012017-11-24 17:34:44 +01003319 if ((alert = pool_alloc(pool_head_email_alert)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003320 goto error;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003321 LIST_INIT(&alert->list);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003322 LIST_INIT(&alert->tcpcheck_rules);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003323 alert->srv = s;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003324
Willy Tarreaubafbe012017-11-24 17:34:44 +01003325 if ((tcpcheck = pool_alloc(pool_head_tcpcheck_rule)) == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003326 goto error;
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003327 memset(tcpcheck, 0, sizeof(*tcpcheck));
3328 tcpcheck->action = TCPCHK_ACT_CONNECT;
3329 tcpcheck->comment = NULL;
3330 tcpcheck->string = NULL;
3331 tcpcheck->expect_regex = NULL;
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003332 LIST_ADDQ(&alert->tcpcheck_rules, &tcpcheck->list);
3333
3334 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "220 "))
3335 goto error;
3336
3337 {
3338 const char * const strs[4] = { "EHLO ", p->email_alert.myhostname, "\r\n" };
3339 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3340 goto error;
3341 }
3342
3343 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3344 goto error;
3345
3346 {
3347 const char * const strs[4] = { "MAIL FROM:<", p->email_alert.from, ">\r\n" };
3348 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3349 goto error;
3350 }
3351
3352 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3353 goto error;
3354
3355 {
3356 const char * const strs[4] = { "RCPT TO:<", p->email_alert.to, ">\r\n" };
3357 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3358 goto error;
3359 }
3360
3361 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3362 goto error;
3363
3364 {
3365 const char * const strs[2] = { "DATA\r\n" };
3366 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3367 goto error;
3368 }
3369
3370 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "354 "))
3371 goto error;
3372
3373 {
3374 struct tm tm;
3375 char datestr[48];
3376 const char * const strs[18] = {
Pieter Baauw5e0964e2016-02-13 16:27:35 +01003377 "From: ", p->email_alert.from, "\r\n",
3378 "To: ", p->email_alert.to, "\r\n",
3379 "Date: ", datestr, "\r\n",
3380 "Subject: [HAproxy Alert] ", msg, "\r\n",
3381 "\r\n",
3382 msg, "\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003383 "\r\n",
Pieter Baauwed35c372015-07-22 19:51:54 +02003384 ".\r\n",
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003385 NULL
3386 };
3387
3388 get_localtime(date.tv_sec, &tm);
3389
3390 if (strftime(datestr, sizeof(datestr), "%a, %d %b %Y %T %z (%Z)", &tm) == 0) {
3391 goto error;
3392 }
3393
3394 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3395 goto error;
3396 }
3397
3398 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "250 "))
3399 goto error;
3400
3401 {
3402 const char * const strs[2] = { "QUIT\r\n" };
3403 if (!add_tcpcheck_send_strs(&alert->tcpcheck_rules, strs))
3404 goto error;
3405 }
3406
3407 if (!add_tcpcheck_expect_str(&alert->tcpcheck_rules, "221 "))
3408 goto error;
3409
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003410 HA_SPIN_LOCK(EMAIL_ALERTS_LOCK, &q->lock);
Christopher Faulet0108bb32017-10-20 21:34:32 +02003411 task_wakeup(check->task, TASK_WOKEN_MSG);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003412 LIST_ADDQ(&q->email_alerts, &alert->list);
Christopher Faulet2a944ee2017-11-07 10:42:54 +01003413 HA_SPIN_UNLOCK(EMAIL_ALERTS_LOCK, &q->lock);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003414 return 1;
3415
3416error:
3417 email_alert_free(alert);
3418 return 0;
3419}
3420
Christopher Faulet0108bb32017-10-20 21:34:32 +02003421static void enqueue_email_alert(struct proxy *p, struct server *s, const char *msg)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003422{
3423 int i;
3424 struct mailer *mailer;
3425
3426 for (i = 0, mailer = p->email_alert.mailers.m->mailer_list;
3427 i < p->email_alert.mailers.m->count; i++, mailer = mailer->next) {
Christopher Faulet0108bb32017-10-20 21:34:32 +02003428 if (!enqueue_one_email_alert(p, s, &p->email_alert.queues[i], msg)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01003429 ha_alert("Email alert [%s] could not be enqueued: out of memory\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003430 return;
3431 }
3432 }
3433
3434 return;
3435}
3436
3437/*
3438 * Send email alert if configured.
3439 */
Simon Horman64e34162015-02-06 11:11:57 +09003440void send_email_alert(struct server *s, int level, const char *format, ...)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003441{
3442 va_list argp;
3443 char buf[1024];
3444 int len;
3445 struct proxy *p = s->proxy;
3446
Christopher Faulet0108bb32017-10-20 21:34:32 +02003447 if (!p->email_alert.mailers.m || level > p->email_alert.level || format == NULL)
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003448 return;
3449
3450 va_start(argp, format);
3451 len = vsnprintf(buf, sizeof(buf), format, argp);
3452 va_end(argp);
3453
Thierry FOURNIER62c8a212017-02-09 12:19:27 +01003454 if (len < 0 || len >= sizeof(buf)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +01003455 ha_alert("Email alert [%s] could not format message\n", p->id);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003456 return;
3457 }
3458
Christopher Faulet0108bb32017-10-20 21:34:32 +02003459 enqueue_email_alert(p, s, buf);
Simon Horman0ba0e4a2015-01-30 11:23:00 +09003460}
3461
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003462/*
3463 * Return value:
3464 * the port to be used for the health check
3465 * 0 in case no port could be found for the check
3466 */
3467int srv_check_healthcheck_port(struct check *chk)
3468{
3469 int i = 0;
3470 struct server *srv = NULL;
3471
3472 srv = chk->server;
3473
3474 /* If neither a port nor an addr was specified and no check transport
3475 * layer is forced, then the transport layer used by the checks is the
3476 * same as for the production traffic. Otherwise we use raw_sock by
3477 * default, unless one is specified.
3478 */
3479 if (!chk->port && !is_addr(&chk->addr)) {
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003480 chk->use_ssl |= (srv->use_ssl || (srv->proxy->options & PR_O_TCPCHK_SSL));
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003481 chk->send_proxy |= (srv->pp_opts);
3482 }
3483
3484 /* by default, we use the health check port ocnfigured */
3485 if (chk->port > 0)
3486 return chk->port;
3487
3488 /* try to get the port from check_core.addr if check.port not set */
3489 i = get_host_port(&chk->addr);
3490 if (i > 0)
3491 return i;
3492
3493 /* try to get the port from server address */
3494 /* prevent MAPPORTS from working at this point, since checks could
3495 * not be performed in such case (MAPPORTS impose a relative ports
3496 * based on live traffic)
3497 */
3498 if (srv->flags & SRV_F_MAPPORTS)
3499 return 0;
Willy Tarreau04276f32017-01-06 17:41:29 +01003500
3501 i = srv->svc_port; /* by default */
Baptiste Assmann95db2bc2016-06-13 14:15:41 +02003502 if (i > 0)
3503 return i;
3504
3505 return 0;
3506}
3507
Willy Tarreau865c5142016-12-21 20:04:48 +01003508__attribute__((constructor))
3509static void __check_init(void)
3510{
3511 hap_register_post_check(start_checks);
Christopher Faulet31dff9b2017-10-23 15:45:20 +02003512
Willy Tarreaubafbe012017-11-24 17:34:44 +01003513 pool_head_email_alert = create_pool("email_alert", sizeof(struct email_alert), MEM_F_SHARED);
3514 pool_head_tcpcheck_rule = create_pool("tcpcheck_rule", sizeof(struct tcpcheck_rule), MEM_F_SHARED);
Willy Tarreau865c5142016-12-21 20:04:48 +01003515}
3516
Baptiste Assmann5ecb77f2013-10-06 23:24:13 +02003517
Willy Tarreaubd741542010-03-16 18:46:54 +01003518/*
Willy Tarreaubaaee002006-06-26 02:48:02 +02003519 * Local variables:
3520 * c-indent-level: 8
3521 * c-basic-offset: 8
3522 * End:
3523 */