blob: 78748373f9e04460c67c6b6a79027f5626d2a7d8 [file] [log] [blame]
Willy Tarreaubaaee002006-06-26 02:48:02 +02001/*
Willy Tarreau87b09662015-04-03 00:22:06 +02002 * Stream management functions.
Willy Tarreaubaaee002006-06-26 02:48:02 +02003 *
Willy Tarreaud28c3532012-04-19 19:28:33 +02004 * Copyright 2000-2012 Willy Tarreau <w@1wt.eu>
Willy Tarreaubaaee002006-06-26 02:48:02 +02005 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version
9 * 2 of the License, or (at your option) any later version.
10 *
11 */
12
13#include <stdlib.h>
Willy Tarreau81f9aa32010-06-01 17:45:26 +020014#include <unistd.h>
15#include <fcntl.h>
Willy Tarreaue3ba5f02006-06-29 18:54:54 +020016
Thierry FOURNIER5a363e72015-09-27 19:29:33 +020017#include <common/cfgparse.h>
Willy Tarreaue3ba5f02006-06-29 18:54:54 +020018#include <common/config.h>
Willy Tarreau9b28e032012-10-12 23:49:43 +020019#include <common/buffer.h>
Willy Tarreau7c669d72008-06-20 15:04:11 +020020#include <common/debug.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020021#include <common/memory.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020022
Willy Tarreau8a8d83b2015-04-13 13:24:54 +020023#include <types/applet.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020024#include <types/capture.h>
William Lallemand4c5b4d52016-11-21 08:51:11 +010025#include <types/cli.h>
Christopher Fauletd7c91962015-04-30 11:48:27 +020026#include <types/filters.h>
Willy Tarreau55a8d0e2008-11-30 18:47:21 +010027#include <types/global.h>
William Lallemand9ed62032016-11-21 17:49:11 +010028#include <types/stats.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020029
Willy Tarreau1d0dfb12009-07-07 15:10:31 +020030#include <proto/acl.h>
Thierry FOURNIER5a363e72015-09-27 19:29:33 +020031#include <proto/action.h>
Willy Tarreau61612d42012-04-19 18:42:05 +020032#include <proto/arg.h>
Willy Tarreau55a8d0e2008-11-30 18:47:21 +010033#include <proto/backend.h>
Willy Tarreauc7e42382012-08-24 19:22:53 +020034#include <proto/channel.h>
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +010035#include <proto/checks.h>
William Lallemand4c5b4d52016-11-21 08:51:11 +010036#include <proto/cli.h>
Willy Tarreaud2274c62012-07-06 14:29:45 +020037#include <proto/connection.h>
William Lallemand9ed62032016-11-21 17:49:11 +010038#include <proto/stats.h>
Willy Tarreaudd2f85e2012-09-02 22:34:23 +020039#include <proto/fd.h>
Christopher Fauletd7c91962015-04-30 11:48:27 +020040#include <proto/filters.h>
Willy Tarreau91c43d72010-06-20 11:19:22 +020041#include <proto/freq_ctr.h>
Willy Tarreau3041b9f2010-10-15 23:25:20 +020042#include <proto/frontend.h>
Willy Tarreau8d5d7f22007-01-21 19:16:41 +010043#include <proto/hdr_idx.h>
Thierry FOURNIER65f34c62015-02-16 20:11:43 +010044#include <proto/hlua.h>
Willy Tarreaud1d54542012-09-12 22:58:11 +020045#include <proto/listener.h>
Willy Tarreau332f8bf2007-05-13 21:36:56 +020046#include <proto/log.h>
Willy Tarreaucbaaec42012-09-06 11:32:07 +020047#include <proto/raw_sock.h>
Willy Tarreaufeb76402015-04-03 14:10:06 +020048#include <proto/session.h>
Willy Tarreau87b09662015-04-03 00:22:06 +020049#include <proto/stream.h>
Willy Tarreau3eba98a2009-01-25 13:56:13 +010050#include <proto/pipe.h>
Willy Tarreau55a8d0e2008-11-30 18:47:21 +010051#include <proto/proto_http.h>
Willy Tarreau1d0dfb12009-07-07 15:10:31 +020052#include <proto/proxy.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020053#include <proto/queue.h>
Willy Tarreau7f062c42009-03-05 18:43:00 +010054#include <proto/server.h>
Willy Tarreaucd3b0942012-04-27 21:52:18 +020055#include <proto/sample.h>
Emeric Brun1d33b292010-01-04 15:47:17 +010056#include <proto/stick_table.h>
Willy Tarreau55a8d0e2008-11-30 18:47:21 +010057#include <proto/stream_interface.h>
Willy Tarreau55a8d0e2008-11-30 18:47:21 +010058#include <proto/task.h>
Willy Tarreau39713102016-11-25 15:49:32 +010059#include <proto/tcp_rules.h>
Thierry FOURNIER4834bc72015-06-06 19:29:07 +020060#include <proto/vars.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020061
Willy Tarreau87b09662015-04-03 00:22:06 +020062struct pool_head *pool2_stream;
63struct list streams;
Willy Tarreaubaaee002006-06-26 02:48:02 +020064
Thierry FOURNIER5a363e72015-09-27 19:29:33 +020065/* List of all use-service keywords. */
66static struct list service_keywords = LIST_HEAD_INIT(service_keywords);
67
Willy Tarreau9903f0e2015-04-04 18:50:31 +020068/* This function is called from the session handler which detects the end of
Willy Tarreau73b65ac2015-04-08 18:26:29 +020069 * handshake, in order to complete initialization of a valid stream. It must be
70 * called with a session (which may be embryonic). It returns the pointer to
71 * the newly created stream, or NULL in case of fatal error. The client-facing
72 * end point is assigned to <origin>, which must be valid. The task's context
73 * is set to the new stream, and its function is set to process_stream().
74 * Target and analysers are null.
Willy Tarreau2542b532012-08-31 16:01:23 +020075 */
Willy Tarreau73b65ac2015-04-08 18:26:29 +020076struct stream *stream_new(struct session *sess, struct task *t, enum obj_type *origin)
Willy Tarreau2542b532012-08-31 16:01:23 +020077{
Willy Tarreau02a0c0e2015-04-04 18:08:21 +020078 struct stream *s;
Willy Tarreau73b65ac2015-04-08 18:26:29 +020079 struct connection *conn = objt_conn(origin);
80 struct appctx *appctx = objt_appctx(origin);
Willy Tarreau2542b532012-08-31 16:01:23 +020081
Willy Tarreau02a0c0e2015-04-04 18:08:21 +020082 if (unlikely((s = pool_alloc2(pool2_stream)) == NULL))
Willy Tarreau02d86382015-04-05 12:00:52 +020083 return s;
Willy Tarreau02a0c0e2015-04-04 18:08:21 +020084
85 /* minimum stream initialization required for an embryonic stream is
86 * fairly low. We need very little to execute L4 ACLs, then we need a
87 * task to make the client-side connection live on its own.
88 * - flags
89 * - stick-entry tracking
90 */
91 s->flags = 0;
Willy Tarreaufb9f5842015-04-05 18:19:23 +020092 s->logs.logwait = sess->fe->to_log;
Willy Tarreau02a0c0e2015-04-04 18:08:21 +020093 s->logs.level = 0;
Willy Tarreau99eb0f12015-04-05 12:03:54 +020094 s->logs.accept_date = sess->accept_date; /* user-visible date for logging */
95 s->logs.tv_accept = sess->tv_accept; /* corrected date for internal use */
Thierry FOURNIER / OZON.IO4cac3592016-07-28 17:19:45 +020096 /* This function is called just after the handshake, so the handshake duration is
97 * between the accept time and now.
98 */
99 s->logs.t_handshake = tv_ms_elapsed(&sess->tv_accept, &now);
100 s->logs.t_idle = -1;
Willy Tarreau99eb0f12015-04-05 12:03:54 +0200101 tv_zero(&s->logs.tv_request);
102 s->logs.t_queue = -1;
103 s->logs.t_connect = -1;
104 s->logs.t_data = -1;
105 s->logs.t_close = 0;
106 s->logs.bytes_in = s->logs.bytes_out = 0;
107 s->logs.prx_queue_size = 0; /* we get the number of pending conns before us */
108 s->logs.srv_queue_size = 0; /* we will get this number soon */
109
110 /* default logging function */
111 s->do_log = strm_log;
112
113 /* default error reporting function, may be changed by analysers */
114 s->srv_error = default_srv_error;
Willy Tarreau02a0c0e2015-04-04 18:08:21 +0200115
116 /* Initialise the current rule list pointer to NULL. We are sure that
117 * any rulelist match the NULL pointer.
118 */
119 s->current_rule_list = NULL;
Remi Gacogne7fb9de22015-07-22 17:10:58 +0200120 s->current_rule = NULL;
Willy Tarreau02a0c0e2015-04-04 18:08:21 +0200121
Willy Tarreaua68f7622015-09-21 17:48:24 +0200122 /* Copy SC counters for the stream. We don't touch refcounts because
123 * any reference we have is inherited from the session. Since the stream
124 * doesn't exist without the session, the session's existence guarantees
125 * we don't lose the entry. During the store operation, the stream won't
126 * touch these ones.
Thierry FOURNIER827752e2015-08-18 11:34:18 +0200127 */
Thierry FOURNIERc8fdb982015-08-16 12:03:39 +0200128 memcpy(s->stkctr, sess->stkctr, sizeof(s->stkctr));
Willy Tarreau02a0c0e2015-04-04 18:08:21 +0200129
130 s->sess = sess;
131 s->si[0].flags = SI_FL_NONE;
132 s->si[1].flags = SI_FL_ISBACK;
133
Willy Tarreau02a0c0e2015-04-04 18:08:21 +0200134 s->uniq_id = global.req_count++;
135
Willy Tarreau87b09662015-04-03 00:22:06 +0200136 /* OK, we're keeping the stream, so let's properly initialize the stream */
137 LIST_ADDQ(&streams, &s->list);
Willy Tarreau2542b532012-08-31 16:01:23 +0200138 LIST_INIT(&s->back_refs);
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100139
140 LIST_INIT(&s->buffer_wait.list);
141 s->buffer_wait.target = s;
142 s->buffer_wait.wakeup_cb = (int (*)(void *))stream_res_wakeup;
Willy Tarreauf8a49ea2013-10-14 21:32:07 +0200143
Willy Tarreaue7dff022015-04-03 01:14:29 +0200144 s->flags |= SF_INITIALIZED;
Willy Tarreau2542b532012-08-31 16:01:23 +0200145 s->unique_id = NULL;
Willy Tarreau2542b532012-08-31 16:01:23 +0200146
Willy Tarreau02a0c0e2015-04-04 18:08:21 +0200147 s->task = t;
Christopher Faulet9d810ca2016-12-08 22:33:52 +0100148 s->pending_events = 0;
Willy Tarreaud1769b82015-04-06 00:25:48 +0200149 t->process = process_stream;
Willy Tarreau2542b532012-08-31 16:01:23 +0200150 t->context = s;
151 t->expire = TICK_ETERNITY;
152
Willy Tarreau87b09662015-04-03 00:22:06 +0200153 /* Note: initially, the stream's backend points to the frontend.
Willy Tarreau2542b532012-08-31 16:01:23 +0200154 * This changes later when switching rules are executed or
155 * when the default backend is assigned.
156 */
Willy Tarreaue36cbcb2015-04-03 15:40:56 +0200157 s->be = sess->fe;
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100158 s->req.buf = s->res.buf = NULL;
Willy Tarreaucb7dd012015-04-03 22:16:32 +0200159 s->req_cap = NULL;
160 s->res_cap = NULL;
Willy Tarreau2542b532012-08-31 16:01:23 +0200161
Willy Tarreauebcd4842015-06-19 11:59:02 +0200162 /* Initialise all the variables contexts even if not used.
163 * This permits to prune these contexts without errors.
Thierry FOURNIER4834bc72015-06-06 19:29:07 +0200164 */
Thierry FOURNIER4834bc72015-06-06 19:29:07 +0200165 vars_init(&s->vars_txn, SCOPE_TXN);
166 vars_init(&s->vars_reqres, SCOPE_REQ);
167
Willy Tarreau32e3c6a2013-10-11 19:34:20 +0200168 /* this part should be common with other protocols */
Willy Tarreau819d3322014-11-28 12:12:34 +0100169 si_reset(&s->si[0]);
Willy Tarreau32e3c6a2013-10-11 19:34:20 +0200170 si_set_state(&s->si[0], SI_ST_EST);
Hongbo Longe39683c2017-03-10 18:41:51 +0100171 s->si[0].hcto = sess->fe->timeout.clientfin;
Willy Tarreau32e3c6a2013-10-11 19:34:20 +0200172
Willy Tarreau1f52bb22015-04-04 14:28:46 +0200173 /* attach the incoming connection to the stream interface now. */
Willy Tarreauf2b98742015-04-05 01:30:42 +0200174 if (conn)
175 si_attach_conn(&s->si[0], conn);
Willy Tarreau470280e2015-04-05 01:33:13 +0200176 else if (appctx)
177 si_attach_appctx(&s->si[0], appctx);
Willy Tarreau32e3c6a2013-10-11 19:34:20 +0200178
Willy Tarreaue36cbcb2015-04-03 15:40:56 +0200179 if (likely(sess->fe->options2 & PR_O2_INDEPSTR))
Willy Tarreau32e3c6a2013-10-11 19:34:20 +0200180 s->si[0].flags |= SI_FL_INDEP_STR;
181
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200182 /* pre-initialize the other side's stream interface to an INIT state. The
183 * callbacks will be initialized before attempting to connect.
184 */
Willy Tarreau819d3322014-11-28 12:12:34 +0100185 si_reset(&s->si[1]);
Hongbo Longe39683c2017-03-10 18:41:51 +0100186 s->si[1].hcto = TICK_ETERNITY;
Willy Tarreaub363a1f2013-10-01 10:45:07 +0200187
Willy Tarreaue36cbcb2015-04-03 15:40:56 +0200188 if (likely(sess->fe->options2 & PR_O2_INDEPSTR))
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200189 s->si[1].flags |= SI_FL_INDEP_STR;
190
Willy Tarreau87b09662015-04-03 00:22:06 +0200191 stream_init_srv_conn(s);
Willy Tarreaud1769b82015-04-06 00:25:48 +0200192 s->target = NULL;
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200193 s->pend_pos = NULL;
194
195 /* init store persistence */
196 s->store_count = 0;
197
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100198 channel_init(&s->req);
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100199 s->req.flags |= CF_READ_ATTACHED; /* the producer is already connected */
Willy Tarreaud1769b82015-04-06 00:25:48 +0200200 s->req.analysers = 0;
201 channel_auto_connect(&s->req); /* don't wait to establish connection */
202 channel_auto_close(&s->req); /* let the producer forward close requests */
Willy Tarreauc8815ef2015-04-05 18:15:59 +0200203
204 s->req.rto = sess->fe->timeout.client;
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100205 s->req.wto = TICK_ETERNITY;
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100206 s->req.rex = TICK_ETERNITY;
207 s->req.wex = TICK_ETERNITY;
208 s->req.analyse_exp = TICK_ETERNITY;
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200209
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100210 channel_init(&s->res);
Willy Tarreauef573c02014-11-28 14:17:09 +0100211 s->res.flags |= CF_ISRESP;
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100212 s->res.analysers = 0;
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200213
Willy Tarreaue36cbcb2015-04-03 15:40:56 +0200214 if (sess->fe->options2 & PR_O2_NODELAY) {
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100215 s->req.flags |= CF_NEVER_WAIT;
216 s->res.flags |= CF_NEVER_WAIT;
Willy Tarreau96e31212011-05-30 18:10:30 +0200217 }
218
Willy Tarreauc8815ef2015-04-05 18:15:59 +0200219 s->res.wto = sess->fe->timeout.client;
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100220 s->res.rto = TICK_ETERNITY;
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100221 s->res.rex = TICK_ETERNITY;
222 s->res.wex = TICK_ETERNITY;
223 s->res.analyse_exp = TICK_ETERNITY;
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200224
Willy Tarreaueee5b512015-04-03 23:46:31 +0200225 s->txn = NULL;
Thierry FOURNIER2c8b54e2016-12-17 12:45:32 +0100226 s->hlua = NULL;
Thierry FOURNIER65f34c62015-02-16 20:11:43 +0100227
Christopher Faulet92d36382015-11-05 13:35:03 +0100228 if (flt_stream_init(s) < 0 || flt_stream_start(s) < 0)
Christopher Fauletd7c91962015-04-30 11:48:27 +0200229 goto out_fail_accept;
230
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200231 /* finish initialization of the accepted file descriptor */
Willy Tarreauf2b98742015-04-05 01:30:42 +0200232 if (conn)
233 conn_data_want_recv(conn);
Willy Tarreau470280e2015-04-05 01:33:13 +0200234 else if (appctx)
Willy Tarreaufe127932015-04-21 19:23:39 +0200235 si_applet_want_get(&s->si[0]);
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200236
Willy Tarreaufb9f5842015-04-05 18:19:23 +0200237 if (sess->fe->accept && sess->fe->accept(s) < 0)
Willy Tarreauc5a7ff42015-04-05 11:52:08 +0200238 goto out_fail_accept;
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200239
240 /* it is important not to call the wakeup function directly but to
241 * pass through task_wakeup(), because this one knows how to apply
Emeric Brun5f77fef2017-05-29 15:26:51 +0200242 * priorities to tasks. Using multi thread we must be sure that
243 * stream is fully initialized before calling task_wakeup. So
244 * the caller must handle the task_wakeup
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200245 */
Willy Tarreau02d86382015-04-05 12:00:52 +0200246 return s;
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200247
248 /* Error unrolling */
Willy Tarreauc5a7ff42015-04-05 11:52:08 +0200249 out_fail_accept:
Christopher Faulet92d36382015-11-05 13:35:03 +0100250 flt_stream_release(s, 0);
Willy Tarreau3b246412014-11-25 17:10:33 +0100251 LIST_DEL(&s->list);
Willy Tarreau02a0c0e2015-04-04 18:08:21 +0200252 pool_free2(pool2_stream, s);
Willy Tarreau02d86382015-04-05 12:00:52 +0200253 return NULL;
Willy Tarreau81f9aa32010-06-01 17:45:26 +0200254}
255
Willy Tarreaubaaee002006-06-26 02:48:02 +0200256/*
Willy Tarreau87b09662015-04-03 00:22:06 +0200257 * frees the context associated to a stream. It must have been removed first.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200258 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200259static void stream_free(struct stream *s)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200260{
Willy Tarreau9ad7bd42015-04-03 19:19:59 +0200261 struct session *sess = strm_sess(s);
262 struct proxy *fe = sess->fe;
Willy Tarreau62e4f1d2008-12-07 20:16:23 +0100263 struct bref *bref, *back;
Willy Tarreau9ad7bd42015-04-03 19:19:59 +0200264 struct connection *cli_conn = objt_conn(sess->origin);
Willy Tarreaua4cda672010-06-06 18:28:49 +0200265 int i;
Willy Tarreau0f7562b2007-01-07 15:46:13 +0100266
Willy Tarreaubaaee002006-06-26 02:48:02 +0200267 if (s->pend_pos)
268 pendconn_free(s->pend_pos);
Willy Tarreau922a8062008-12-04 09:33:58 +0100269
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100270 if (objt_server(s->target)) { /* there may be requests left pending in queue */
Willy Tarreaue7dff022015-04-03 01:14:29 +0200271 if (s->flags & SF_CURR_SESS) {
272 s->flags &= ~SF_CURR_SESS;
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100273 objt_server(s->target)->cur_sess--;
Willy Tarreau1e62de62008-11-11 20:20:02 +0100274 }
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100275 if (may_dequeue_tasks(objt_server(s->target), s->be))
276 process_srv_queue(objt_server(s->target));
Willy Tarreau1e62de62008-11-11 20:20:02 +0100277 }
Willy Tarreau922a8062008-12-04 09:33:58 +0100278
Willy Tarreau7c669d72008-06-20 15:04:11 +0200279 if (unlikely(s->srv_conn)) {
Willy Tarreau87b09662015-04-03 00:22:06 +0200280 /* the stream still has a reserved slot on a server, but
Willy Tarreau7c669d72008-06-20 15:04:11 +0200281 * it should normally be only the same as the one above,
282 * so this should not happen in fact.
283 */
284 sess_change_server(s, NULL);
285 }
286
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100287 if (s->req.pipe)
288 put_pipe(s->req.pipe);
Willy Tarreau259de1b2009-01-18 21:56:21 +0100289
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100290 if (s->res.pipe)
291 put_pipe(s->res.pipe);
Willy Tarreau259de1b2009-01-18 21:56:21 +0100292
Willy Tarreaubf883e02014-11-25 21:10:35 +0100293 /* We may still be present in the buffer wait queue */
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100294 if (!LIST_ISEMPTY(&s->buffer_wait.list)) {
295 LIST_DEL(&s->buffer_wait.list);
296 LIST_INIT(&s->buffer_wait.list);
Willy Tarreaubf883e02014-11-25 21:10:35 +0100297 }
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100298 if (s->req.buf->size || s->res.buf->size) {
299 b_drop(&s->req.buf);
300 b_drop(&s->res.buf);
301 offer_buffers(NULL, tasks_run_queue + applets_active_queue);
302 }
Willy Tarreau9b28e032012-10-12 23:49:43 +0200303
Thierry FOURNIER2c8b54e2016-12-17 12:45:32 +0100304 hlua_ctx_destroy(s->hlua);
305 s->hlua = NULL;
Willy Tarreaueee5b512015-04-03 23:46:31 +0200306 if (s->txn)
307 http_end_txn(s);
Willy Tarreau46023632010-01-07 22:51:47 +0100308
Willy Tarreau1e954912012-10-12 17:50:05 +0200309 /* ensure the client-side transport layer is destroyed */
Willy Tarreauf79c8172013-10-21 16:30:56 +0200310 if (cli_conn)
311 conn_force_close(cli_conn);
Willy Tarreau1e954912012-10-12 17:50:05 +0200312
Willy Tarreaua4cda672010-06-06 18:28:49 +0200313 for (i = 0; i < s->store_count; i++) {
314 if (!s->store[i].ts)
315 continue;
316 stksess_free(s->store[i].table, s->store[i].ts);
317 s->store[i].ts = NULL;
318 }
319
Willy Tarreaueee5b512015-04-03 23:46:31 +0200320 if (s->txn) {
321 pool_free2(pool2_hdr_idx, s->txn->hdr_idx.v);
322 pool_free2(pool2_http_txn, s->txn);
323 s->txn = NULL;
324 }
325
Christopher Fauletd7c91962015-04-30 11:48:27 +0200326 flt_stream_stop(s);
Christopher Faulet92d36382015-11-05 13:35:03 +0100327 flt_stream_release(s, 0);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200328
Willy Tarreau92fb9832007-10-16 17:34:28 +0200329 if (fe) {
Willy Tarreaucb7dd012015-04-03 22:16:32 +0200330 pool_free2(fe->rsp_cap_pool, s->res_cap);
331 pool_free2(fe->req_cap_pool, s->req_cap);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200332 }
Willy Tarreau0937bc42009-12-22 15:03:09 +0100333
Thierry FOURNIER4834bc72015-06-06 19:29:07 +0200334 /* Cleanup all variable contexts. */
Willy Tarreau6204cd92016-03-10 16:33:04 +0100335 vars_prune(&s->vars_txn, s->sess, s);
336 vars_prune(&s->vars_reqres, s->sess, s);
Thierry FOURNIER4834bc72015-06-06 19:29:07 +0200337
Willy Tarreau87b09662015-04-03 00:22:06 +0200338 stream_store_counters(s);
Willy Tarreau9ba2dcc2010-06-14 21:04:55 +0200339
Willy Tarreau62e4f1d2008-12-07 20:16:23 +0100340 list_for_each_entry_safe(bref, back, &s->back_refs, users) {
Willy Tarreaufd3828e2009-02-22 15:17:24 +0100341 /* we have to unlink all watchers. We must not relink them if
Willy Tarreau87b09662015-04-03 00:22:06 +0200342 * this stream was the last one in the list.
Willy Tarreaufd3828e2009-02-22 15:17:24 +0100343 */
Willy Tarreau62e4f1d2008-12-07 20:16:23 +0100344 LIST_DEL(&bref->users);
Willy Tarreaufd3828e2009-02-22 15:17:24 +0100345 LIST_INIT(&bref->users);
Willy Tarreau87b09662015-04-03 00:22:06 +0200346 if (s->list.n != &streams)
347 LIST_ADDQ(&LIST_ELEM(s->list.n, struct stream *, list)->back_refs, &bref->users);
Willy Tarreau62e4f1d2008-12-07 20:16:23 +0100348 bref->ref = s->list.n;
349 }
Willy Tarreauf54f8bd2008-11-23 19:53:55 +0100350 LIST_DEL(&s->list);
Willy Tarreau32e3c6a2013-10-11 19:34:20 +0200351 si_release_endpoint(&s->si[1]);
352 si_release_endpoint(&s->si[0]);
Willy Tarreaufeb76402015-04-03 14:10:06 +0200353
354 /* FIXME: for now we have a 1:1 relation between stream and session so
355 * the stream must free the session.
356 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200357 pool_free2(pool2_stream, s);
Willy Tarreau11c36242015-04-04 15:54:03 +0200358 session_free(sess);
Willy Tarreau632f5a72007-07-11 10:42:35 +0200359
360 /* We may want to free the maximum amount of pools if the proxy is stopping */
Willy Tarreau92fb9832007-10-16 17:34:28 +0200361 if (fe && unlikely(fe->state == PR_STSTOPPED)) {
Willy Tarreau9b28e032012-10-12 23:49:43 +0200362 pool_flush2(pool2_buffer);
Willy Tarreau63986c72015-04-03 22:55:33 +0200363 pool_flush2(pool2_http_txn);
Willy Tarreau34eb6712011-10-24 18:15:04 +0200364 pool_flush2(pool2_hdr_idx);
Willy Tarreau48d63db2008-08-03 17:41:33 +0200365 pool_flush2(pool2_requri);
366 pool_flush2(pool2_capture);
Willy Tarreau87b09662015-04-03 00:22:06 +0200367 pool_flush2(pool2_stream);
Willy Tarreaufeb76402015-04-03 14:10:06 +0200368 pool_flush2(pool2_session);
Willy Tarreau3a5e0602014-11-13 16:46:28 +0100369 pool_flush2(pool2_connection);
370 pool_flush2(pool2_pendconn);
Willy Tarreau48d63db2008-08-03 17:41:33 +0200371 pool_flush2(fe->req_cap_pool);
372 pool_flush2(fe->rsp_cap_pool);
Willy Tarreau632f5a72007-07-11 10:42:35 +0200373 }
Willy Tarreauc6ca1a02007-05-13 19:43:47 +0200374}
375
Willy Tarreau656859d2014-11-25 19:46:36 +0100376
Willy Tarreau87b09662015-04-03 00:22:06 +0200377/* Allocates a work buffer for stream <s>. It is meant to be called inside
378 * process_stream(). It will only allocate the side needed for the function
Willy Tarreaubc39a5d2015-04-20 15:52:18 +0200379 * to work fine, which is the response buffer so that an error message may be
380 * built and returned. Response buffers may be allocated from the reserve, this
381 * is critical to ensure that a response may always flow and will never block a
382 * server from releasing a connection. Returns 0 in case of failure, non-zero
383 * otherwise.
Willy Tarreau656859d2014-11-25 19:46:36 +0100384 */
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100385static int stream_alloc_work_buffer(struct stream *s)
Willy Tarreau656859d2014-11-25 19:46:36 +0100386{
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100387 if (!LIST_ISEMPTY(&s->buffer_wait.list)) {
388 LIST_DEL(&s->buffer_wait.list);
389 LIST_INIT(&s->buffer_wait.list);
Willy Tarreaubf883e02014-11-25 21:10:35 +0100390 }
Willy Tarreau656859d2014-11-25 19:46:36 +0100391
Willy Tarreaubc39a5d2015-04-20 15:52:18 +0200392 if (b_alloc_margin(&s->res.buf, 0))
Willy Tarreau656859d2014-11-25 19:46:36 +0100393 return 1;
394
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100395 LIST_ADDQ(&buffer_wq, &s->buffer_wait.list);
Willy Tarreau656859d2014-11-25 19:46:36 +0100396 return 0;
397}
398
399/* releases unused buffers after processing. Typically used at the end of the
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100400 * update() functions. It will try to wake up as many tasks/applets as the
401 * number of buffers that it releases. In practice, most often streams are
402 * blocked on a single buffer, so it makes sense to try to wake two up when two
403 * buffers are released at once.
Willy Tarreau656859d2014-11-25 19:46:36 +0100404 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200405void stream_release_buffers(struct stream *s)
Willy Tarreau656859d2014-11-25 19:46:36 +0100406{
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100407 int offer = 0;
Willy Tarreau656859d2014-11-25 19:46:36 +0100408
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100409 if (s->req.buf->size && buffer_empty(s->req.buf)) {
410 offer = 1;
411 b_free(&s->req.buf);
412 }
413 if (s->res.buf->size && buffer_empty(s->res.buf)) {
414 offer = 1;
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100415 b_free(&s->res.buf);
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100416 }
Willy Tarreau656859d2014-11-25 19:46:36 +0100417
Willy Tarreaubf883e02014-11-25 21:10:35 +0100418 /* if we're certain to have at least 1 buffer available, and there is
419 * someone waiting, we can wake up a waiter and offer them.
420 */
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100421 if (offer)
422 offer_buffers(s, tasks_run_queue + applets_active_queue);
Willy Tarreau656859d2014-11-25 19:46:36 +0100423}
Willy Tarreauc6ca1a02007-05-13 19:43:47 +0200424
425/* perform minimal intializations, report 0 in case of error, 1 if OK. */
Willy Tarreau87b09662015-04-03 00:22:06 +0200426int init_stream()
Willy Tarreauc6ca1a02007-05-13 19:43:47 +0200427{
Willy Tarreau87b09662015-04-03 00:22:06 +0200428 LIST_INIT(&streams);
429 pool2_stream = create_pool("stream", sizeof(struct stream), MEM_F_SHARED);
430 return pool2_stream != NULL;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200431}
432
Willy Tarreau87b09662015-04-03 00:22:06 +0200433void stream_process_counters(struct stream *s)
Willy Tarreau30e71012007-11-26 20:15:35 +0100434{
Willy Tarreaufb0afa72015-04-03 14:46:27 +0200435 struct session *sess = s->sess;
Krzysztof Piotr Oledzki583bc962007-11-24 22:12:47 +0100436 unsigned long long bytes;
Emeric Brun57056f02015-06-15 18:29:57 +0200437 void *ptr1,*ptr2;
Willy Tarreau20d46a52012-12-09 15:55:40 +0100438 int i;
Krzysztof Piotr Oledzki583bc962007-11-24 22:12:47 +0100439
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100440 bytes = s->req.total - s->logs.bytes_in;
441 s->logs.bytes_in = s->req.total;
442 if (bytes) {
Willy Tarreaue36cbcb2015-04-03 15:40:56 +0200443 sess->fe->fe_counters.bytes_in += bytes;
Krzysztof Piotr Oledzki583bc962007-11-24 22:12:47 +0100444
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100445 s->be->be_counters.bytes_in += bytes;
Krzysztof Piotr Oledzki583bc962007-11-24 22:12:47 +0100446
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100447 if (objt_server(s->target))
448 objt_server(s->target)->counters.bytes_in += bytes;
Krzysztof Piotr Oledzkiaeebf9b2009-10-04 15:43:17 +0200449
Willy Tarreaufb0afa72015-04-03 14:46:27 +0200450 if (sess->listener && sess->listener->counters)
451 sess->listener->counters->bytes_in += bytes;
Willy Tarreau855e4bb2010-06-18 18:33:32 +0200452
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100453 for (i = 0; i < MAX_SESS_STKCTR; i++) {
Willy Tarreau8b7f8682015-04-04 16:29:12 +0200454 struct stkctr *stkctr = &s->stkctr[i];
455
456 if (!stkctr_entry(stkctr)) {
457 stkctr = &sess->stkctr[i];
458 if (!stkctr_entry(stkctr))
459 continue;
460 }
Willy Tarreau6c59e0a2010-06-20 11:56:30 +0200461
Emeric Brun57056f02015-06-15 18:29:57 +0200462 ptr1 = stktable_data_ptr(stkctr->table, stkctr_entry(stkctr), STKTABLE_DT_BYTES_IN_CNT);
463 if (ptr1)
464 stktable_data_cast(ptr1, bytes_in_cnt) += bytes;
Willy Tarreau6c59e0a2010-06-20 11:56:30 +0200465
Emeric Brun57056f02015-06-15 18:29:57 +0200466 ptr2 = stktable_data_ptr(stkctr->table, stkctr_entry(stkctr), STKTABLE_DT_BYTES_IN_RATE);
467 if (ptr2)
468 update_freq_ctr_period(&stktable_data_cast(ptr2, bytes_in_rate),
Willy Tarreau8b7f8682015-04-04 16:29:12 +0200469 stkctr->table->data_arg[STKTABLE_DT_BYTES_IN_RATE].u, bytes);
Emeric Brun57056f02015-06-15 18:29:57 +0200470
471 /* If data was modified, we need to touch to re-schedule sync */
472 if (ptr1 || ptr2)
473 stktable_touch(stkctr->table, stkctr_entry(stkctr), 1);
Willy Tarreau30e71012007-11-26 20:15:35 +0100474 }
Krzysztof Piotr Oledzki583bc962007-11-24 22:12:47 +0100475 }
476
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100477 bytes = s->res.total - s->logs.bytes_out;
478 s->logs.bytes_out = s->res.total;
479 if (bytes) {
Willy Tarreaue36cbcb2015-04-03 15:40:56 +0200480 sess->fe->fe_counters.bytes_out += bytes;
Krzysztof Piotr Oledzki583bc962007-11-24 22:12:47 +0100481
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100482 s->be->be_counters.bytes_out += bytes;
Krzysztof Piotr Oledzki583bc962007-11-24 22:12:47 +0100483
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100484 if (objt_server(s->target))
485 objt_server(s->target)->counters.bytes_out += bytes;
Krzysztof Piotr Oledzkiaeebf9b2009-10-04 15:43:17 +0200486
Willy Tarreaufb0afa72015-04-03 14:46:27 +0200487 if (sess->listener && sess->listener->counters)
488 sess->listener->counters->bytes_out += bytes;
Willy Tarreauf059a0f2010-08-03 16:29:52 +0200489
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100490 for (i = 0; i < MAX_SESS_STKCTR; i++) {
Willy Tarreau8b7f8682015-04-04 16:29:12 +0200491 struct stkctr *stkctr = &s->stkctr[i];
492
493 if (!stkctr_entry(stkctr)) {
494 stkctr = &sess->stkctr[i];
495 if (!stkctr_entry(stkctr))
496 continue;
497 }
Willy Tarreau6c59e0a2010-06-20 11:56:30 +0200498
Emeric Brun57056f02015-06-15 18:29:57 +0200499 ptr1 = stktable_data_ptr(stkctr->table, stkctr_entry(stkctr), STKTABLE_DT_BYTES_OUT_CNT);
500 if (ptr1)
501 stktable_data_cast(ptr1, bytes_out_cnt) += bytes;
Willy Tarreau6c59e0a2010-06-20 11:56:30 +0200502
Emeric Brun57056f02015-06-15 18:29:57 +0200503 ptr2 = stktable_data_ptr(stkctr->table, stkctr_entry(stkctr), STKTABLE_DT_BYTES_OUT_RATE);
504 if (ptr2)
505 update_freq_ctr_period(&stktable_data_cast(ptr2, bytes_out_rate),
Willy Tarreau8b7f8682015-04-04 16:29:12 +0200506 stkctr->table->data_arg[STKTABLE_DT_BYTES_OUT_RATE].u, bytes);
Emeric Brun57056f02015-06-15 18:29:57 +0200507
508 /* If data was modified, we need to touch to re-schedule sync */
509 if (ptr1 || ptr2)
510 stktable_touch(stkctr->table, stkctr_entry(stkctr), 1);
Willy Tarreau30e71012007-11-26 20:15:35 +0100511 }
Krzysztof Piotr Oledzki583bc962007-11-24 22:12:47 +0100512 }
513}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200514
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100515/* This function is called with (si->state == SI_ST_CON) meaning that a
516 * connection was attempted and that the file descriptor is already allocated.
517 * We must check for establishment, error and abort. Possible output states
518 * are SI_ST_EST (established), SI_ST_CER (error), SI_ST_DIS (abort), and
519 * SI_ST_CON (no change). The function returns 0 if it switches to SI_ST_CER,
Willy Tarreau87b09662015-04-03 00:22:06 +0200520 * otherwise 1. This only works with connection-based streams.
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100521 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200522static int sess_update_st_con_tcp(struct stream *s)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100523{
Willy Tarreau7b8c4f92014-11-28 15:15:44 +0100524 struct stream_interface *si = &s->si[1];
525 struct channel *req = &s->req;
526 struct channel *rep = &s->res;
Willy Tarreau350135c2016-11-17 12:05:13 +0100527 struct connection *srv_conn = __objt_conn(si->end);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100528
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100529 /* If we got an error, or if nothing happened and the connection timed
530 * out, we must give up. The CER state handler will take care of retry
531 * attempts and error reports.
532 */
533 if (unlikely(si->flags & (SI_FL_EXP|SI_FL_ERR))) {
Willy Tarreau103197d2014-11-28 15:26:12 +0100534 if (unlikely(req->flags & CF_WRITE_PARTIAL)) {
Willy Tarreaue3224e82012-10-29 22:41:31 +0100535 /* Some data were sent past the connection establishment,
536 * so we need to pretend we're established to log correctly
537 * and let later states handle the failure.
538 */
Willy Tarreaue3224e82012-10-29 22:41:31 +0100539 si->state = SI_ST_EST;
540 si->err_type = SI_ET_DATA_ERR;
Willy Tarreau103197d2014-11-28 15:26:12 +0100541 rep->flags |= CF_READ_ERROR | CF_WRITE_ERROR;
Willy Tarreaue3224e82012-10-29 22:41:31 +0100542 return 1;
543 }
Willy Tarreau127334e2009-03-28 10:47:26 +0100544 si->exp = TICK_ETERNITY;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100545 si->state = SI_ST_CER;
Willy Tarreau0ede5a32012-12-08 08:44:02 +0100546
Willy Tarreau350135c2016-11-17 12:05:13 +0100547 conn_force_close(srv_conn);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100548
549 if (si->err_type)
550 return 0;
551
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100552 if (si->flags & SI_FL_ERR)
553 si->err_type = SI_ET_CONN_ERR;
554 else
555 si->err_type = SI_ET_CONN_TO;
556 return 0;
557 }
558
559 /* OK, maybe we want to abort */
Willy Tarreaua7a7ebc2012-12-30 00:50:35 +0100560 if (!(req->flags & CF_WRITE_PARTIAL) &&
561 unlikely((rep->flags & CF_SHUTW) ||
Willy Tarreau03cdb7c2012-08-27 23:14:58 +0200562 ((req->flags & CF_SHUTW_NOW) && /* FIXME: this should not prevent a connection from establishing */
563 ((!(req->flags & CF_WRITE_ACTIVITY) && channel_is_empty(req)) ||
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100564 s->be->options & PR_O_ABRT_CLOSE)))) {
565 /* give up */
Willy Tarreau73b013b2012-05-21 16:31:45 +0200566 si_shutw(si);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100567 si->err_type |= SI_ET_CONN_ABRT;
Willy Tarreau84455332009-03-15 22:34:05 +0100568 if (s->srv_error)
569 s->srv_error(s, si);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100570 return 1;
571 }
572
573 /* we need to wait a bit more if there was no activity either */
Willy Tarreau03cdb7c2012-08-27 23:14:58 +0200574 if (!(req->flags & CF_WRITE_ACTIVITY))
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100575 return 1;
576
577 /* OK, this means that a connection succeeded. The caller will be
578 * responsible for handling the transition from CON to EST.
579 */
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100580 si->state = SI_ST_EST;
581 si->err_type = SI_ET_NONE;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100582 return 1;
583}
584
585/* This function is called with (si->state == SI_ST_CER) meaning that a
586 * previous connection attempt has failed and that the file descriptor
587 * has already been released. Possible causes include asynchronous error
588 * notification and time out. Possible output states are SI_ST_CLO when
589 * retries are exhausted, SI_ST_TAR when a delay is wanted before a new
590 * connection attempt, SI_ST_ASS when it's wise to retry on the same server,
591 * and SI_ST_REQ when an immediate redispatch is wanted. The buffers are
592 * marked as in error state. It returns 0.
593 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200594static int sess_update_st_cer(struct stream *s)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100595{
Willy Tarreau7b8c4f92014-11-28 15:15:44 +0100596 struct stream_interface *si = &s->si[1];
597
Willy Tarreau87b09662015-04-03 00:22:06 +0200598 /* we probably have to release last stream from the server */
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100599 if (objt_server(s->target)) {
600 health_adjust(objt_server(s->target), HANA_STATUS_L4_ERR);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100601
Willy Tarreaue7dff022015-04-03 01:14:29 +0200602 if (s->flags & SF_CURR_SESS) {
603 s->flags &= ~SF_CURR_SESS;
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100604 objt_server(s->target)->cur_sess--;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100605 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100606 }
607
608 /* ensure that we have enough retries left */
Willy Tarreauee28de02010-06-01 09:51:00 +0200609 si->conn_retries--;
610 if (si->conn_retries < 0) {
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100611 if (!si->err_type) {
612 si->err_type = SI_ET_CONN_ERR;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100613 }
614
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100615 if (objt_server(s->target))
616 objt_server(s->target)->counters.failed_conns++;
Willy Tarreau7d0aaf32011-03-10 23:25:56 +0100617 s->be->be_counters.failed_conns++;
Willy Tarreaub89cfca2010-12-29 14:32:28 +0100618 sess_change_server(s, NULL);
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100619 if (may_dequeue_tasks(objt_server(s->target), s->be))
620 process_srv_queue(objt_server(s->target));
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100621
622 /* shutw is enough so stop a connecting socket */
Willy Tarreau73b013b2012-05-21 16:31:45 +0200623 si_shutw(si);
Willy Tarreau103197d2014-11-28 15:26:12 +0100624 s->req.flags |= CF_WRITE_ERROR;
625 s->res.flags |= CF_READ_ERROR;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100626
627 si->state = SI_ST_CLO;
Willy Tarreau0cac36f2008-11-30 20:44:17 +0100628 if (s->srv_error)
629 s->srv_error(s, si);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100630 return 0;
631 }
632
633 /* If the "redispatch" option is set on the backend, we are allowed to
Joseph Lynch726ab712015-05-11 23:25:34 -0700634 * retry on another server. By default this redispatch occurs on the
635 * last retry, but if configured we allow redispatches to occur on
636 * configurable intervals, e.g. on every retry. In order to achieve this,
Willy Tarreau87b09662015-04-03 00:22:06 +0200637 * we must mark the stream unassigned, and eventually clear the DIRECT
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100638 * bit to ignore any persistence cookie. We won't count a retry nor a
639 * redispatch yet, because this will depend on what server is selected.
Willy Tarreau33a14e52014-06-13 17:49:40 +0200640 * If the connection is not persistent, the balancing algorithm is not
641 * determinist (round robin) and there is more than one active server,
642 * we accept to perform an immediate redispatch without waiting since
643 * we don't care about this particular server.
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100644 */
Willy Tarreau33a14e52014-06-13 17:49:40 +0200645 if (objt_server(s->target) &&
Joseph Lynch726ab712015-05-11 23:25:34 -0700646 (s->be->options & PR_O_REDISP) && !(s->flags & SF_FORCE_PRST) &&
Willy Tarreau49008c12016-01-13 07:58:44 +0100647 ((__objt_server(s->target)->state < SRV_ST_RUNNING) ||
648 (((s->be->redispatch_after > 0) &&
Joseph Lynch726ab712015-05-11 23:25:34 -0700649 ((s->be->conn_retries - si->conn_retries) %
650 s->be->redispatch_after == 0)) ||
651 ((s->be->redispatch_after < 0) &&
652 ((s->be->conn_retries - si->conn_retries) %
653 (s->be->conn_retries + 1 + s->be->redispatch_after) == 0))) ||
Willy Tarreaue7dff022015-04-03 01:14:29 +0200654 (!(s->flags & SF_DIRECT) && s->be->srv_act > 1 &&
Joseph Lynch726ab712015-05-11 23:25:34 -0700655 ((s->be->lbprm.algo & BE_LB_KIND) == BE_LB_KIND_RR)))) {
Willy Tarreaub89cfca2010-12-29 14:32:28 +0100656 sess_change_server(s, NULL);
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100657 if (may_dequeue_tasks(objt_server(s->target), s->be))
658 process_srv_queue(objt_server(s->target));
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100659
Willy Tarreaue7dff022015-04-03 01:14:29 +0200660 s->flags &= ~(SF_DIRECT | SF_ASSIGNED | SF_ADDR_SET);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100661 si->state = SI_ST_REQ;
662 } else {
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100663 if (objt_server(s->target))
664 objt_server(s->target)->counters.retries++;
Willy Tarreau7d0aaf32011-03-10 23:25:56 +0100665 s->be->be_counters.retries++;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100666 si->state = SI_ST_ASS;
667 }
668
669 if (si->flags & SI_FL_ERR) {
670 /* The error was an asynchronous connection error, and we will
671 * likely have to retry connecting to the same server, most
672 * likely leading to the same result. To avoid this, we wait
Willy Tarreaub0290662014-06-13 17:04:44 +0200673 * MIN(one second, connect timeout) before retrying.
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100674 */
675
Willy Tarreaub0290662014-06-13 17:04:44 +0200676 int delay = 1000;
677
678 if (s->be->timeout.connect && s->be->timeout.connect < delay)
679 delay = s->be->timeout.connect;
680
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100681 if (!si->err_type)
682 si->err_type = SI_ET_CONN_ERR;
683
Willy Tarreaudb6d0122014-06-13 17:40:15 +0200684 /* only wait when we're retrying on the same server */
685 if (si->state == SI_ST_ASS ||
686 (s->be->lbprm.algo & BE_LB_KIND) != BE_LB_KIND_RR ||
687 (s->be->srv_act <= 1)) {
688 si->state = SI_ST_TAR;
689 si->exp = tick_add(now_ms, MS_TO_TICKS(delay));
690 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100691 return 0;
692 }
693 return 0;
694}
695
696/*
697 * This function handles the transition between the SI_ST_CON state and the
Willy Tarreau85e7d002010-05-31 11:57:51 +0200698 * SI_ST_EST state. It must only be called after switching from SI_ST_CON (or
Willy Tarreau26d8c592012-05-07 18:12:14 +0200699 * SI_ST_INI) to SI_ST_EST, but only when a ->proto is defined.
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100700 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200701static void sess_establish(struct stream *s)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100702{
Willy Tarreau7b8c4f92014-11-28 15:15:44 +0100703 struct stream_interface *si = &s->si[1];
704 struct channel *req = &s->req;
705 struct channel *rep = &s->res;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100706
Willy Tarreau0e37f1c2013-12-31 23:06:46 +0100707 /* First, centralize the timers information */
708 s->logs.t_connect = tv_ms_elapsed(&s->logs.tv_accept, &now);
709 si->exp = TICK_ETERNITY;
710
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100711 if (objt_server(s->target))
712 health_adjust(objt_server(s->target), HANA_STATUS_L4_OK);
Krzysztof Piotr Oledzki97f07b82009-12-15 22:31:24 +0100713
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100714 if (s->be->mode == PR_MODE_TCP) { /* let's allow immediate data connection in this case */
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100715 /* if the user wants to log as soon as possible, without counting
716 * bytes from the server, then this is the right moment. */
Willy Tarreaud0d8da92015-04-04 02:10:38 +0200717 if (!LIST_ISEMPTY(&strm_fe(s)->logformat) && !(s->logs.logwait & LW_BYTES)) {
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100718 s->logs.t_close = s->logs.t_connect; /* to get a valid end date */
Willy Tarreaua5555ec2008-11-30 19:02:32 +0100719 s->do_log(s);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100720 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100721 }
722 else {
Willy Tarreaud81ca042013-12-31 22:33:13 +0100723 rep->flags |= CF_READ_DONTWAIT; /* a single read is enough to get response headers */
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100724 }
725
Willy Tarreaud0d8da92015-04-04 02:10:38 +0200726 rep->analysers |= strm_fe(s)->fe_rsp_ana | s->be->be_rsp_ana;
Christopher Faulet309c6412015-12-02 09:57:32 +0100727
728 /* Be sure to filter response headers if the backend is an HTTP proxy
729 * and if there are filters attached to the stream. */
730 if (s->be->mode == PR_MODE_HTTP && HAS_FILTERS(s))
Christopher Faulet0184ea72017-01-05 14:06:34 +0100731 rep->analysers |= AN_RES_FLT_HTTP_HDRS;
Christopher Faulet309c6412015-12-02 09:57:32 +0100732
Willy Tarreau03cdb7c2012-08-27 23:14:58 +0200733 rep->flags |= CF_READ_ATTACHED; /* producer is now attached */
Willy Tarreau644c1012014-04-30 18:11:11 +0200734 if (req->flags & CF_WAKE_CONNECT) {
735 req->flags |= CF_WAKE_ONCE;
736 req->flags &= ~CF_WAKE_CONNECT;
737 }
Willy Tarreaub363a1f2013-10-01 10:45:07 +0200738 if (objt_conn(si->end)) {
Willy Tarreaud04e8582010-05-31 12:31:35 +0200739 /* real connections have timeouts */
740 req->wto = s->be->timeout.server;
741 rep->rto = s->be->timeout.server;
742 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100743 req->wex = TICK_ETERNITY;
744}
745
Frederik Deweerdt6cd8d132016-04-07 09:01:04 -0700746/* Check if the connection request is in such a state that it can be aborted. */
747static int check_req_may_abort(struct channel *req, struct stream *s)
748{
749 return ((req->flags & (CF_READ_ERROR)) ||
750 ((req->flags & CF_SHUTW_NOW) && /* empty and client aborted */
751 (channel_is_empty(req) || s->be->options & PR_O_ABRT_CLOSE)));
752}
753
Willy Tarreau7b8c4f92014-11-28 15:15:44 +0100754/* Update back stream interface status for input states SI_ST_ASS, SI_ST_QUE,
755 * SI_ST_TAR. Other input states are simply ignored.
Willy Tarreau9e5a3aa2013-12-31 23:32:12 +0100756 * Possible output states are SI_ST_CLO, SI_ST_TAR, SI_ST_ASS, SI_ST_REQ, SI_ST_CON
757 * and SI_ST_EST. Flags must have previously been updated for timeouts and other
758 * conditions.
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100759 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200760static void sess_update_stream_int(struct stream *s)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100761{
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100762 struct server *srv = objt_server(s->target);
Willy Tarreau7b8c4f92014-11-28 15:15:44 +0100763 struct stream_interface *si = &s->si[1];
Willy Tarreau103197d2014-11-28 15:26:12 +0100764 struct channel *req = &s->req;
Willy Tarreau827aee92011-03-10 16:55:02 +0100765
Willy Tarreau02d6cfc2012-03-01 18:19:58 +0100766 DPRINTF(stderr,"[%u] %s: sess=%p rq=%p, rp=%p, exp(r,w)=%u,%u rqf=%08x rpf=%08x rqh=%d rqt=%d rph=%d rpt=%d cs=%d ss=%d\n",
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100767 now_ms, __FUNCTION__,
768 s,
CJ Ess6eac32e2015-05-02 16:35:24 -0400769 req, &s->res,
Willy Tarreau103197d2014-11-28 15:26:12 +0100770 req->rex, s->res.wex,
771 req->flags, s->res.flags,
CJ Ess6eac32e2015-05-02 16:35:24 -0400772 req->buf->i, req->buf->o, s->res.buf->i, s->res.buf->o, s->si[0].state, s->si[1].state);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100773
774 if (si->state == SI_ST_ASS) {
775 /* Server assigned to connection request, we have to try to connect now */
776 int conn_err;
777
Frederik Deweerdt6cd8d132016-04-07 09:01:04 -0700778 /* Before we try to initiate the connection, see if the
779 * request may be aborted instead.
780 */
781 if (check_req_may_abort(req, s)) {
782 si->err_type |= SI_ET_CONN_ABRT;
783 goto abort_connection;
784 }
785
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100786 conn_err = connect_server(s);
Willy Tarreau3fdb3662012-11-12 00:42:33 +0100787 srv = objt_server(s->target);
Willy Tarreau827aee92011-03-10 16:55:02 +0100788
Willy Tarreaue7dff022015-04-03 01:14:29 +0200789 if (conn_err == SF_ERR_NONE) {
Willy Tarreau9e5a3aa2013-12-31 23:32:12 +0100790 /* state = SI_ST_CON or SI_ST_EST now */
Willy Tarreau827aee92011-03-10 16:55:02 +0100791 if (srv)
792 srv_inc_sess_ctr(srv);
Bhaskar Maddalaa20cb852014-02-03 16:26:46 -0500793 if (srv)
794 srv_set_sess_last(srv);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100795 return;
796 }
797
798 /* We have received a synchronous error. We might have to
799 * abort, retry immediately or redispatch.
800 */
Willy Tarreaue7dff022015-04-03 01:14:29 +0200801 if (conn_err == SF_ERR_INTERNAL) {
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100802 if (!si->err_type) {
803 si->err_type = SI_ET_CONN_OTHER;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100804 }
805
Willy Tarreau827aee92011-03-10 16:55:02 +0100806 if (srv)
807 srv_inc_sess_ctr(srv);
808 if (srv)
Bhaskar Maddalaa20cb852014-02-03 16:26:46 -0500809 srv_set_sess_last(srv);
810 if (srv)
Willy Tarreau827aee92011-03-10 16:55:02 +0100811 srv->counters.failed_conns++;
Willy Tarreau7d0aaf32011-03-10 23:25:56 +0100812 s->be->be_counters.failed_conns++;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100813
Willy Tarreau87b09662015-04-03 00:22:06 +0200814 /* release other streams waiting for this server */
Willy Tarreaub89cfca2010-12-29 14:32:28 +0100815 sess_change_server(s, NULL);
Willy Tarreau827aee92011-03-10 16:55:02 +0100816 if (may_dequeue_tasks(srv, s->be))
817 process_srv_queue(srv);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100818
819 /* Failed and not retryable. */
Willy Tarreau73b013b2012-05-21 16:31:45 +0200820 si_shutr(si);
821 si_shutw(si);
Willy Tarreau103197d2014-11-28 15:26:12 +0100822 req->flags |= CF_WRITE_ERROR;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100823
824 s->logs.t_queue = tv_ms_elapsed(&s->logs.tv_accept, &now);
825
Willy Tarreau87b09662015-04-03 00:22:06 +0200826 /* no stream was ever accounted for this server */
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100827 si->state = SI_ST_CLO;
Willy Tarreau0cac36f2008-11-30 20:44:17 +0100828 if (s->srv_error)
829 s->srv_error(s, si);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100830 return;
831 }
832
833 /* We are facing a retryable error, but we don't want to run a
834 * turn-around now, as the problem is likely a source port
835 * allocation problem, so we want to retry now.
836 */
837 si->state = SI_ST_CER;
838 si->flags &= ~SI_FL_ERR;
Willy Tarreau7b8c4f92014-11-28 15:15:44 +0100839 sess_update_st_cer(s);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100840 /* now si->state is one of SI_ST_CLO, SI_ST_TAR, SI_ST_ASS, SI_ST_REQ */
841 return;
842 }
843 else if (si->state == SI_ST_QUE) {
844 /* connection request was queued, check for any update */
845 if (!s->pend_pos) {
846 /* The connection is not in the queue anymore. Either
847 * we have a server connection slot available and we
848 * go directly to the assigned state, or we need to
849 * load-balance first and go to the INI state.
850 */
851 si->exp = TICK_ETERNITY;
Willy Tarreaue7dff022015-04-03 01:14:29 +0200852 if (unlikely(!(s->flags & SF_ASSIGNED)))
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100853 si->state = SI_ST_REQ;
854 else {
855 s->logs.t_queue = tv_ms_elapsed(&s->logs.tv_accept, &now);
856 si->state = SI_ST_ASS;
857 }
858 return;
859 }
860
861 /* Connection request still in queue... */
862 if (si->flags & SI_FL_EXP) {
863 /* ... and timeout expired */
864 si->exp = TICK_ETERNITY;
865 s->logs.t_queue = tv_ms_elapsed(&s->logs.tv_accept, &now);
Willy Tarreau827aee92011-03-10 16:55:02 +0100866 if (srv)
867 srv->counters.failed_conns++;
Willy Tarreau7d0aaf32011-03-10 23:25:56 +0100868 s->be->be_counters.failed_conns++;
Willy Tarreau73b013b2012-05-21 16:31:45 +0200869 si_shutr(si);
870 si_shutw(si);
Willy Tarreau103197d2014-11-28 15:26:12 +0100871 req->flags |= CF_WRITE_TIMEOUT;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100872 if (!si->err_type)
873 si->err_type = SI_ET_QUEUE_TO;
874 si->state = SI_ST_CLO;
Willy Tarreau0cac36f2008-11-30 20:44:17 +0100875 if (s->srv_error)
876 s->srv_error(s, si);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100877 return;
878 }
879
880 /* Connection remains in queue, check if we have to abort it */
Frederik Deweerdt6cd8d132016-04-07 09:01:04 -0700881 if (check_req_may_abort(req, s)) {
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100882 s->logs.t_queue = tv_ms_elapsed(&s->logs.tv_accept, &now);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100883 si->err_type |= SI_ET_QUEUE_ABRT;
Frederik Deweerdt6cd8d132016-04-07 09:01:04 -0700884 goto abort_connection;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100885 }
886
887 /* Nothing changed */
888 return;
889 }
890 else if (si->state == SI_ST_TAR) {
891 /* Connection request might be aborted */
Frederik Deweerdt6cd8d132016-04-07 09:01:04 -0700892 if (check_req_may_abort(req, s)) {
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100893 si->err_type |= SI_ET_CONN_ABRT;
Frederik Deweerdt6cd8d132016-04-07 09:01:04 -0700894 goto abort_connection;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100895 }
896
897 if (!(si->flags & SI_FL_EXP))
898 return; /* still in turn-around */
899
900 si->exp = TICK_ETERNITY;
901
Willy Tarreau87b09662015-04-03 00:22:06 +0200902 /* we keep trying on the same server as long as the stream is
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100903 * marked "assigned".
904 * FIXME: Should we force a redispatch attempt when the server is down ?
905 */
Willy Tarreaue7dff022015-04-03 01:14:29 +0200906 if (s->flags & SF_ASSIGNED)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100907 si->state = SI_ST_ASS;
908 else
909 si->state = SI_ST_REQ;
910 return;
911 }
Frederik Deweerdt6cd8d132016-04-07 09:01:04 -0700912 return;
913
914abort_connection:
915 /* give up */
916 si->exp = TICK_ETERNITY;
917 si_shutr(si);
918 si_shutw(si);
919 si->state = SI_ST_CLO;
920 if (s->srv_error)
921 s->srv_error(s, si);
922 return;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100923}
924
Willy Tarreau87b09662015-04-03 00:22:06 +0200925/* Set correct stream termination flags in case no analyser has done it. It
Simon Hormandec5be42011-06-08 09:19:07 +0900926 * also counts a failed request if the server state has not reached the request
927 * stage.
928 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200929static void sess_set_term_flags(struct stream *s)
Simon Hormandec5be42011-06-08 09:19:07 +0900930{
Willy Tarreaue7dff022015-04-03 01:14:29 +0200931 if (!(s->flags & SF_FINST_MASK)) {
Simon Hormandec5be42011-06-08 09:19:07 +0900932 if (s->si[1].state < SI_ST_REQ) {
933
Willy Tarreaud0d8da92015-04-04 02:10:38 +0200934 strm_fe(s)->fe_counters.failed_req++;
Willy Tarreau2c1068c2015-09-23 12:21:21 +0200935 if (strm_li(s) && strm_li(s)->counters)
Willy Tarreaud0d8da92015-04-04 02:10:38 +0200936 strm_li(s)->counters->failed_req++;
Simon Hormandec5be42011-06-08 09:19:07 +0900937
Willy Tarreaue7dff022015-04-03 01:14:29 +0200938 s->flags |= SF_FINST_R;
Simon Hormandec5be42011-06-08 09:19:07 +0900939 }
940 else if (s->si[1].state == SI_ST_QUE)
Willy Tarreaue7dff022015-04-03 01:14:29 +0200941 s->flags |= SF_FINST_Q;
Simon Hormandec5be42011-06-08 09:19:07 +0900942 else if (s->si[1].state < SI_ST_EST)
Willy Tarreaue7dff022015-04-03 01:14:29 +0200943 s->flags |= SF_FINST_C;
Simon Hormandec5be42011-06-08 09:19:07 +0900944 else if (s->si[1].state == SI_ST_EST || s->si[1].prev_state == SI_ST_EST)
Willy Tarreaue7dff022015-04-03 01:14:29 +0200945 s->flags |= SF_FINST_D;
Simon Hormandec5be42011-06-08 09:19:07 +0900946 else
Willy Tarreaue7dff022015-04-03 01:14:29 +0200947 s->flags |= SF_FINST_L;
Simon Hormandec5be42011-06-08 09:19:07 +0900948 }
949}
950
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100951/* This function initiates a server connection request on a stream interface
Willy Tarreaud84fb5e2013-11-30 09:06:53 +0100952 * already in SI_ST_REQ state. Upon success, the state goes to SI_ST_ASS for
953 * a real connection to a server, indicating that a server has been assigned,
954 * or SI_ST_EST for a successful connection to an applet. It may also return
955 * SI_ST_QUE, or SI_ST_CLO upon error.
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100956 */
Willy Tarreau87b09662015-04-03 00:22:06 +0200957static void sess_prepare_conn_req(struct stream *s)
Willy Tarreau02d6cfc2012-03-01 18:19:58 +0100958{
Willy Tarreau7b8c4f92014-11-28 15:15:44 +0100959 struct stream_interface *si = &s->si[1];
960
Willy Tarreau02d6cfc2012-03-01 18:19:58 +0100961 DPRINTF(stderr,"[%u] %s: sess=%p rq=%p, rp=%p, exp(r,w)=%u,%u rqf=%08x rpf=%08x rqh=%d rqt=%d rph=%d rpt=%d cs=%d ss=%d\n",
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100962 now_ms, __FUNCTION__,
963 s,
CJ Ess6eac32e2015-05-02 16:35:24 -0400964 &s->req, &s->res,
Willy Tarreau22ec1ea2014-11-27 20:45:39 +0100965 s->req.rex, s->res.wex,
966 s->req.flags, s->res.flags,
CJ Ess6eac32e2015-05-02 16:35:24 -0400967 s->req.buf->i, s->req.buf->o, s->res.buf->i, s->res.buf->o, s->si[0].state, s->si[1].state);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +0100968
969 if (si->state != SI_ST_REQ)
970 return;
971
Willy Tarreaud84fb5e2013-11-30 09:06:53 +0100972 if (unlikely(obj_type(s->target) == OBJ_TYPE_APPLET)) {
973 /* the applet directly goes to the EST state */
Willy Tarreau4384ddf2013-12-01 12:25:52 +0100974 struct appctx *appctx = objt_appctx(si->end);
975
976 if (!appctx || appctx->applet != __objt_applet(s->target))
977 appctx = stream_int_register_handler(si, objt_applet(s->target));
978
979 if (!appctx) {
980 /* No more memory, let's immediately abort. Force the
981 * error code to ignore the ERR_LOCAL which is not a
982 * real error.
983 */
Willy Tarreaue7dff022015-04-03 01:14:29 +0200984 s->flags &= ~(SF_ERR_MASK | SF_FINST_MASK);
Willy Tarreau4384ddf2013-12-01 12:25:52 +0100985
986 si_shutr(si);
987 si_shutw(si);
Willy Tarreau103197d2014-11-28 15:26:12 +0100988 s->req.flags |= CF_WRITE_ERROR;
Willy Tarreau6bbb2f62013-12-09 17:14:23 +0100989 si->err_type = SI_ET_CONN_RES;
Willy Tarreau4384ddf2013-12-01 12:25:52 +0100990 si->state = SI_ST_CLO;
991 if (s->srv_error)
992 s->srv_error(s, si);
993 return;
994 }
995
Willy Tarreaud84fb5e2013-11-30 09:06:53 +0100996 s->logs.t_queue = tv_ms_elapsed(&s->logs.tv_accept, &now);
Willy Tarreaud84fb5e2013-11-30 09:06:53 +0100997 si->state = SI_ST_EST;
998 si->err_type = SI_ET_NONE;
Willy Tarreaub9a551e2014-04-23 00:35:17 +0200999 be_set_sess_last(s->be);
Willy Tarreaufac4bd12013-11-30 09:21:49 +01001000 /* let sess_establish() finish the job */
Willy Tarreaud84fb5e2013-11-30 09:06:53 +01001001 return;
1002 }
1003
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001004 /* Try to assign a server */
1005 if (srv_redispatch_connect(s) != 0) {
1006 /* We did not get a server. Either we queued the
1007 * connection request, or we encountered an error.
1008 */
1009 if (si->state == SI_ST_QUE)
1010 return;
1011
1012 /* we did not get any server, let's check the cause */
Willy Tarreau73b013b2012-05-21 16:31:45 +02001013 si_shutr(si);
1014 si_shutw(si);
Willy Tarreau103197d2014-11-28 15:26:12 +01001015 s->req.flags |= CF_WRITE_ERROR;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001016 if (!si->err_type)
1017 si->err_type = SI_ET_CONN_OTHER;
1018 si->state = SI_ST_CLO;
Willy Tarreau0cac36f2008-11-30 20:44:17 +01001019 if (s->srv_error)
1020 s->srv_error(s, si);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001021 return;
1022 }
1023
1024 /* The server is assigned */
1025 s->logs.t_queue = tv_ms_elapsed(&s->logs.tv_accept, &now);
1026 si->state = SI_ST_ASS;
Willy Tarreaub9a551e2014-04-23 00:35:17 +02001027 be_set_sess_last(s->be);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001028}
1029
Thierry FOURNIER5a363e72015-09-27 19:29:33 +02001030/* This function parses the use-service action ruleset. It executes
1031 * the associated ACL and set an applet as a stream or txn final node.
1032 * it returns ACT_RET_ERR if an error occurs, the proxy left in
1033 * consistent state. It returns ACT_RET_STOP in succes case because
1034 * use-service must be a terminal action. Returns ACT_RET_YIELD
1035 * if the initialisation function require more data.
1036 */
1037enum act_return process_use_service(struct act_rule *rule, struct proxy *px,
1038 struct session *sess, struct stream *s, int flags)
1039
1040{
1041 struct appctx *appctx;
1042
1043 /* Initialises the applet if it is required. */
1044 if (flags & ACT_FLAG_FIRST) {
1045 /* Register applet. this function schedules the applet. */
1046 s->target = &rule->applet.obj_type;
1047 if (unlikely(!stream_int_register_handler(&s->si[1], objt_applet(s->target))))
1048 return ACT_RET_ERR;
1049
1050 /* Initialise the context. */
1051 appctx = si_appctx(&s->si[1]);
1052 memset(&appctx->ctx, 0, sizeof(appctx->ctx));
1053 appctx->rule = rule;
1054 }
1055 else
1056 appctx = si_appctx(&s->si[1]);
1057
1058 /* Stops the applet sheduling, in case of the init function miss
1059 * some data.
1060 */
1061 appctx_pause(appctx);
1062 si_applet_stop_get(&s->si[1]);
1063
1064 /* Call initialisation. */
1065 if (rule->applet.init)
1066 switch (rule->applet.init(appctx, px, s)) {
1067 case 0: return ACT_RET_ERR;
1068 case 1: break;
1069 default: return ACT_RET_YIELD;
1070 }
1071
1072 /* Now we can schedule the applet. */
1073 si_applet_cant_get(&s->si[1]);
1074 appctx_wakeup(appctx);
1075
1076 if (sess->fe == s->be) /* report it if the request was intercepted by the frontend */
1077 sess->fe->fe_counters.intercepted_req++;
1078
1079 /* The flag SF_ASSIGNED prevent from server assignment. */
1080 s->flags |= SF_ASSIGNED;
1081
1082 return ACT_RET_STOP;
1083}
1084
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001085/* This stream analyser checks the switching rules and changes the backend
Willy Tarreau4de91492010-01-22 19:10:05 +01001086 * if appropriate. The default_backend rule is also considered, then the
1087 * target backend's forced persistence rules are also evaluated last if any.
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001088 * It returns 1 if the processing can continue on next analysers, or zero if it
1089 * either needs more data or wants to immediately abort the request.
1090 */
Willy Tarreau87b09662015-04-03 00:22:06 +02001091static int process_switching_rules(struct stream *s, struct channel *req, int an_bit)
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001092{
Cyril Bonté47fdd8e2010-04-25 00:00:51 +02001093 struct persist_rule *prst_rule;
Willy Tarreau192252e2015-04-04 01:47:55 +02001094 struct session *sess = s->sess;
1095 struct proxy *fe = sess->fe;
Willy Tarreau4de91492010-01-22 19:10:05 +01001096
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001097 req->analysers &= ~an_bit;
1098 req->analyse_exp = TICK_ETERNITY;
1099
Willy Tarreau87b09662015-04-03 00:22:06 +02001100 DPRINTF(stderr,"[%u] %s: stream=%p b=%p, exp(r,w)=%u,%u bf=%08x bh=%d analysers=%02x\n",
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001101 now_ms, __FUNCTION__,
1102 s,
1103 req,
1104 req->rex, req->wex,
1105 req->flags,
Willy Tarreau9b28e032012-10-12 23:49:43 +02001106 req->buf->i,
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001107 req->analysers);
1108
1109 /* now check whether we have some switching rules for this request */
Willy Tarreaue7dff022015-04-03 01:14:29 +02001110 if (!(s->flags & SF_BE_ASSIGNED)) {
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001111 struct switching_rule *rule;
1112
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001113 list_for_each_entry(rule, &fe->switching_rules, list) {
Willy Tarreauf51658d2014-04-23 01:21:56 +02001114 int ret = 1;
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001115
Willy Tarreauf51658d2014-04-23 01:21:56 +02001116 if (rule->cond) {
Willy Tarreau192252e2015-04-04 01:47:55 +02001117 ret = acl_exec_cond(rule->cond, fe, sess, s, SMP_OPT_DIR_REQ|SMP_OPT_FINAL);
Willy Tarreauf51658d2014-04-23 01:21:56 +02001118 ret = acl_pass(ret);
1119 if (rule->cond->pol == ACL_COND_UNLESS)
1120 ret = !ret;
1121 }
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001122
1123 if (ret) {
Bertrand Jacquin702d44f2013-11-19 11:43:06 +01001124 /* If the backend name is dynamic, try to resolve the name.
1125 * If we can't resolve the name, or if any error occurs, break
1126 * the loop and fallback to the default backend.
1127 */
1128 struct proxy *backend;
1129
1130 if (rule->dynamic) {
1131 struct chunk *tmp = get_trash_chunk();
1132 if (!build_logline(s, tmp->str, tmp->size, &rule->be.expr))
1133 break;
Willy Tarreau9e0bb102015-05-26 11:24:42 +02001134 backend = proxy_be_by_name(tmp->str);
Bertrand Jacquin702d44f2013-11-19 11:43:06 +01001135 if (!backend)
1136 break;
1137 }
1138 else
1139 backend = rule->be.backend;
1140
Willy Tarreau87b09662015-04-03 00:22:06 +02001141 if (!stream_set_backend(s, backend))
Willy Tarreaubedb9ba2009-07-12 08:27:39 +02001142 goto sw_failed;
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001143 break;
1144 }
1145 }
1146
1147 /* To ensure correct connection accounting on the backend, we
1148 * have to assign one if it was not set (eg: a listen). This
1149 * measure also takes care of correctly setting the default
1150 * backend if any.
1151 */
Willy Tarreaue7dff022015-04-03 01:14:29 +02001152 if (!(s->flags & SF_BE_ASSIGNED))
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001153 if (!stream_set_backend(s, fe->defbe.be ? fe->defbe.be : s->be))
Willy Tarreaubedb9ba2009-07-12 08:27:39 +02001154 goto sw_failed;
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001155 }
1156
Willy Tarreaufb356202010-08-03 14:02:05 +02001157 /* we don't want to run the TCP or HTTP filters again if the backend has not changed */
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001158 if (fe == s->be) {
Willy Tarreau22ec1ea2014-11-27 20:45:39 +01001159 s->req.analysers &= ~AN_REQ_INSPECT_BE;
1160 s->req.analysers &= ~AN_REQ_HTTP_PROCESS_BE;
Christopher Faulet0184ea72017-01-05 14:06:34 +01001161 s->req.analysers &= ~AN_REQ_FLT_START_BE;
Willy Tarreaufb356202010-08-03 14:02:05 +02001162 }
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001163
Cyril Bonté47fdd8e2010-04-25 00:00:51 +02001164 /* as soon as we know the backend, we must check if we have a matching forced or ignored
Willy Tarreau87b09662015-04-03 00:22:06 +02001165 * persistence rule, and report that in the stream.
Willy Tarreau4de91492010-01-22 19:10:05 +01001166 */
Cyril Bonté47fdd8e2010-04-25 00:00:51 +02001167 list_for_each_entry(prst_rule, &s->be->persist_rules, list) {
Willy Tarreau4de91492010-01-22 19:10:05 +01001168 int ret = 1;
1169
1170 if (prst_rule->cond) {
Willy Tarreau192252e2015-04-04 01:47:55 +02001171 ret = acl_exec_cond(prst_rule->cond, s->be, sess, s, SMP_OPT_DIR_REQ|SMP_OPT_FINAL);
Willy Tarreau4de91492010-01-22 19:10:05 +01001172 ret = acl_pass(ret);
1173 if (prst_rule->cond->pol == ACL_COND_UNLESS)
1174 ret = !ret;
1175 }
1176
1177 if (ret) {
1178 /* no rule, or the rule matches */
Cyril Bonté47fdd8e2010-04-25 00:00:51 +02001179 if (prst_rule->type == PERSIST_TYPE_FORCE) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02001180 s->flags |= SF_FORCE_PRST;
Cyril Bonté47fdd8e2010-04-25 00:00:51 +02001181 } else {
Willy Tarreaue7dff022015-04-03 01:14:29 +02001182 s->flags |= SF_IGNORE_PRST;
Cyril Bonté47fdd8e2010-04-25 00:00:51 +02001183 }
Willy Tarreau4de91492010-01-22 19:10:05 +01001184 break;
1185 }
1186 }
1187
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001188 return 1;
Willy Tarreaubedb9ba2009-07-12 08:27:39 +02001189
1190 sw_failed:
1191 /* immediately abort this request in case of allocation failure */
Willy Tarreau22ec1ea2014-11-27 20:45:39 +01001192 channel_abort(&s->req);
1193 channel_abort(&s->res);
Willy Tarreaubedb9ba2009-07-12 08:27:39 +02001194
Willy Tarreaue7dff022015-04-03 01:14:29 +02001195 if (!(s->flags & SF_ERR_MASK))
1196 s->flags |= SF_ERR_RESOURCE;
1197 if (!(s->flags & SF_FINST_MASK))
1198 s->flags |= SF_FINST_R;
Willy Tarreaubedb9ba2009-07-12 08:27:39 +02001199
Willy Tarreaueee5b512015-04-03 23:46:31 +02001200 if (s->txn)
1201 s->txn->status = 500;
Christopher Faulet0184ea72017-01-05 14:06:34 +01001202 s->req.analysers &= AN_REQ_FLT_END;
Willy Tarreau22ec1ea2014-11-27 20:45:39 +01001203 s->req.analyse_exp = TICK_ETERNITY;
Willy Tarreaubedb9ba2009-07-12 08:27:39 +02001204 return 0;
Willy Tarreau1d0dfb12009-07-07 15:10:31 +02001205}
1206
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001207/* This stream analyser works on a request. It applies all use-server rules on
1208 * it then returns 1. The data must already be present in the buffer otherwise
1209 * they won't match. It always returns 1.
1210 */
Willy Tarreau87b09662015-04-03 00:22:06 +02001211static int process_server_rules(struct stream *s, struct channel *req, int an_bit)
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001212{
1213 struct proxy *px = s->be;
Willy Tarreau192252e2015-04-04 01:47:55 +02001214 struct session *sess = s->sess;
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001215 struct server_rule *rule;
1216
Willy Tarreau87b09662015-04-03 00:22:06 +02001217 DPRINTF(stderr,"[%u] %s: stream=%p b=%p, exp(r,w)=%u,%u bf=%08x bl=%d analysers=%02x\n",
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001218 now_ms, __FUNCTION__,
1219 s,
1220 req,
1221 req->rex, req->wex,
1222 req->flags,
Willy Tarreau9b28e032012-10-12 23:49:43 +02001223 req->buf->i + req->buf->o,
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001224 req->analysers);
1225
Willy Tarreaue7dff022015-04-03 01:14:29 +02001226 if (!(s->flags & SF_ASSIGNED)) {
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001227 list_for_each_entry(rule, &px->server_rules, list) {
1228 int ret;
1229
Willy Tarreau192252e2015-04-04 01:47:55 +02001230 ret = acl_exec_cond(rule->cond, s->be, sess, s, SMP_OPT_DIR_REQ|SMP_OPT_FINAL);
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001231 ret = acl_pass(ret);
1232 if (rule->cond->pol == ACL_COND_UNLESS)
1233 ret = !ret;
1234
1235 if (ret) {
1236 struct server *srv = rule->srv.ptr;
1237
Willy Tarreau892337c2014-05-13 23:41:20 +02001238 if ((srv->state != SRV_ST_STOPPED) ||
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001239 (px->options & PR_O_PERSIST) ||
Willy Tarreaue7dff022015-04-03 01:14:29 +02001240 (s->flags & SF_FORCE_PRST)) {
1241 s->flags |= SF_DIRECT | SF_ASSIGNED;
Willy Tarreau3fdb3662012-11-12 00:42:33 +01001242 s->target = &srv->obj_type;
Willy Tarreau4a5cade2012-04-05 21:09:48 +02001243 break;
1244 }
1245 /* if the server is not UP, let's go on with next rules
1246 * just in case another one is suited.
1247 */
1248 }
1249 }
1250 }
1251
1252 req->analysers &= ~an_bit;
1253 req->analyse_exp = TICK_ETERNITY;
1254 return 1;
1255}
1256
Emeric Brun1d33b292010-01-04 15:47:17 +01001257/* This stream analyser works on a request. It applies all sticking rules on
1258 * it then returns 1. The data must already be present in the buffer otherwise
1259 * they won't match. It always returns 1.
1260 */
Willy Tarreau87b09662015-04-03 00:22:06 +02001261static int process_sticking_rules(struct stream *s, struct channel *req, int an_bit)
Emeric Brun1d33b292010-01-04 15:47:17 +01001262{
1263 struct proxy *px = s->be;
Willy Tarreau192252e2015-04-04 01:47:55 +02001264 struct session *sess = s->sess;
Emeric Brun1d33b292010-01-04 15:47:17 +01001265 struct sticking_rule *rule;
1266
Willy Tarreau87b09662015-04-03 00:22:06 +02001267 DPRINTF(stderr,"[%u] %s: stream=%p b=%p, exp(r,w)=%u,%u bf=%08x bh=%d analysers=%02x\n",
Emeric Brun1d33b292010-01-04 15:47:17 +01001268 now_ms, __FUNCTION__,
1269 s,
1270 req,
1271 req->rex, req->wex,
1272 req->flags,
Willy Tarreau9b28e032012-10-12 23:49:43 +02001273 req->buf->i,
Emeric Brun1d33b292010-01-04 15:47:17 +01001274 req->analysers);
1275
1276 list_for_each_entry(rule, &px->sticking_rules, list) {
1277 int ret = 1 ;
1278 int i;
1279
Willy Tarreau9667a802013-12-09 12:52:13 +01001280 /* Only the first stick store-request of each table is applied
1281 * and other ones are ignored. The purpose is to allow complex
1282 * configurations which look for multiple entries by decreasing
1283 * order of precision and to stop at the first which matches.
1284 * An example could be a store of the IP address from an HTTP
1285 * header first, then from the source if not found.
1286 */
Emeric Brun1d33b292010-01-04 15:47:17 +01001287 for (i = 0; i < s->store_count; i++) {
1288 if (rule->table.t == s->store[i].table)
1289 break;
1290 }
1291
1292 if (i != s->store_count)
1293 continue;
1294
1295 if (rule->cond) {
Willy Tarreau192252e2015-04-04 01:47:55 +02001296 ret = acl_exec_cond(rule->cond, px, sess, s, SMP_OPT_DIR_REQ|SMP_OPT_FINAL);
Emeric Brun1d33b292010-01-04 15:47:17 +01001297 ret = acl_pass(ret);
1298 if (rule->cond->pol == ACL_COND_UNLESS)
1299 ret = !ret;
1300 }
1301
1302 if (ret) {
1303 struct stktable_key *key;
1304
Willy Tarreau192252e2015-04-04 01:47:55 +02001305 key = stktable_fetch_key(rule->table.t, px, sess, s, SMP_OPT_DIR_REQ|SMP_OPT_FINAL, rule->expr, NULL);
Emeric Brun1d33b292010-01-04 15:47:17 +01001306 if (!key)
1307 continue;
1308
1309 if (rule->flags & STK_IS_MATCH) {
1310 struct stksess *ts;
1311
Willy Tarreauf16d2b82010-06-06 15:38:59 +02001312 if ((ts = stktable_lookup_key(rule->table.t, key)) != NULL) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02001313 if (!(s->flags & SF_ASSIGNED)) {
Emeric Brun1d33b292010-01-04 15:47:17 +01001314 struct eb32_node *node;
Willy Tarreau13c29de2010-06-06 16:40:39 +02001315 void *ptr;
Emeric Brun1d33b292010-01-04 15:47:17 +01001316
1317 /* srv found in table */
Willy Tarreau13c29de2010-06-06 16:40:39 +02001318 ptr = stktable_data_ptr(rule->table.t, ts, STKTABLE_DT_SERVER_ID);
1319 node = eb32_lookup(&px->conf.used_server_id, stktable_data_cast(ptr, server_id));
Emeric Brun1d33b292010-01-04 15:47:17 +01001320 if (node) {
1321 struct server *srv;
1322
1323 srv = container_of(node, struct server, conf.id);
Willy Tarreau892337c2014-05-13 23:41:20 +02001324 if ((srv->state != SRV_ST_STOPPED) ||
Willy Tarreau4de91492010-01-22 19:10:05 +01001325 (px->options & PR_O_PERSIST) ||
Willy Tarreaue7dff022015-04-03 01:14:29 +02001326 (s->flags & SF_FORCE_PRST)) {
1327 s->flags |= SF_DIRECT | SF_ASSIGNED;
Willy Tarreau3fdb3662012-11-12 00:42:33 +01001328 s->target = &srv->obj_type;
Emeric Brun1d33b292010-01-04 15:47:17 +01001329 }
1330 }
1331 }
Emeric Brun85e77c72010-09-23 18:16:52 +02001332 stktable_touch(rule->table.t, ts, 1);
Emeric Brun1d33b292010-01-04 15:47:17 +01001333 }
1334 }
1335 if (rule->flags & STK_IS_STORE) {
1336 if (s->store_count < (sizeof(s->store) / sizeof(s->store[0]))) {
1337 struct stksess *ts;
1338
1339 ts = stksess_new(rule->table.t, key);
1340 if (ts) {
1341 s->store[s->store_count].table = rule->table.t;
1342 s->store[s->store_count++].ts = ts;
1343 }
1344 }
1345 }
1346 }
1347 }
1348
1349 req->analysers &= ~an_bit;
1350 req->analyse_exp = TICK_ETERNITY;
1351 return 1;
1352}
1353
1354/* This stream analyser works on a response. It applies all store rules on it
1355 * then returns 1. The data must already be present in the buffer otherwise
1356 * they won't match. It always returns 1.
1357 */
Willy Tarreau87b09662015-04-03 00:22:06 +02001358static int process_store_rules(struct stream *s, struct channel *rep, int an_bit)
Emeric Brun1d33b292010-01-04 15:47:17 +01001359{
1360 struct proxy *px = s->be;
Willy Tarreau192252e2015-04-04 01:47:55 +02001361 struct session *sess = s->sess;
Emeric Brun1d33b292010-01-04 15:47:17 +01001362 struct sticking_rule *rule;
1363 int i;
Willy Tarreau9667a802013-12-09 12:52:13 +01001364 int nbreq = s->store_count;
Emeric Brun1d33b292010-01-04 15:47:17 +01001365
Willy Tarreau87b09662015-04-03 00:22:06 +02001366 DPRINTF(stderr,"[%u] %s: stream=%p b=%p, exp(r,w)=%u,%u bf=%08x bh=%d analysers=%02x\n",
Emeric Brun1d33b292010-01-04 15:47:17 +01001367 now_ms, __FUNCTION__,
1368 s,
Willy Tarreau2e2b3eb2010-02-09 20:55:44 +01001369 rep,
1370 rep->rex, rep->wex,
1371 rep->flags,
Willy Tarreau9b28e032012-10-12 23:49:43 +02001372 rep->buf->i,
Willy Tarreau2e2b3eb2010-02-09 20:55:44 +01001373 rep->analysers);
Emeric Brun1d33b292010-01-04 15:47:17 +01001374
1375 list_for_each_entry(rule, &px->storersp_rules, list) {
1376 int ret = 1 ;
Emeric Brun1d33b292010-01-04 15:47:17 +01001377
Willy Tarreau9667a802013-12-09 12:52:13 +01001378 /* Only the first stick store-response of each table is applied
1379 * and other ones are ignored. The purpose is to allow complex
1380 * configurations which look for multiple entries by decreasing
1381 * order of precision and to stop at the first which matches.
1382 * An example could be a store of a set-cookie value, with a
1383 * fallback to a parameter found in a 302 redirect.
1384 *
1385 * The store-response rules are not allowed to override the
1386 * store-request rules for the same table, but they may coexist.
1387 * Thus we can have up to one store-request entry and one store-
1388 * response entry for the same table at any time.
1389 */
1390 for (i = nbreq; i < s->store_count; i++) {
1391 if (rule->table.t == s->store[i].table)
1392 break;
1393 }
1394
1395 /* skip existing entries for this table */
1396 if (i < s->store_count)
1397 continue;
1398
Emeric Brun1d33b292010-01-04 15:47:17 +01001399 if (rule->cond) {
Willy Tarreau192252e2015-04-04 01:47:55 +02001400 ret = acl_exec_cond(rule->cond, px, sess, s, SMP_OPT_DIR_RES|SMP_OPT_FINAL);
Emeric Brun1d33b292010-01-04 15:47:17 +01001401 ret = acl_pass(ret);
1402 if (rule->cond->pol == ACL_COND_UNLESS)
1403 ret = !ret;
1404 }
1405
1406 if (ret) {
1407 struct stktable_key *key;
1408
Willy Tarreau192252e2015-04-04 01:47:55 +02001409 key = stktable_fetch_key(rule->table.t, px, sess, s, SMP_OPT_DIR_RES|SMP_OPT_FINAL, rule->expr, NULL);
Emeric Brun1d33b292010-01-04 15:47:17 +01001410 if (!key)
1411 continue;
1412
Willy Tarreau37e340c2013-12-06 23:05:21 +01001413 if (s->store_count < (sizeof(s->store) / sizeof(s->store[0]))) {
Emeric Brun1d33b292010-01-04 15:47:17 +01001414 struct stksess *ts;
1415
1416 ts = stksess_new(rule->table.t, key);
1417 if (ts) {
1418 s->store[s->store_count].table = rule->table.t;
Emeric Brun1d33b292010-01-04 15:47:17 +01001419 s->store[s->store_count++].ts = ts;
1420 }
1421 }
1422 }
1423 }
1424
1425 /* process store request and store response */
1426 for (i = 0; i < s->store_count; i++) {
Willy Tarreauf16d2b82010-06-06 15:38:59 +02001427 struct stksess *ts;
Willy Tarreau13c29de2010-06-06 16:40:39 +02001428 void *ptr;
Willy Tarreauf16d2b82010-06-06 15:38:59 +02001429
Willy Tarreauc93cd162014-05-13 15:54:22 +02001430 if (objt_server(s->target) && objt_server(s->target)->flags & SRV_F_NON_STICK) {
Simon Hormanfa461682011-06-25 09:39:49 +09001431 stksess_free(s->store[i].table, s->store[i].ts);
1432 s->store[i].ts = NULL;
1433 continue;
1434 }
1435
Willy Tarreauf16d2b82010-06-06 15:38:59 +02001436 ts = stktable_lookup(s->store[i].table, s->store[i].ts);
1437 if (ts) {
1438 /* the entry already existed, we can free ours */
Emeric Brun85e77c72010-09-23 18:16:52 +02001439 stktable_touch(s->store[i].table, ts, 1);
Emeric Brun1d33b292010-01-04 15:47:17 +01001440 stksess_free(s->store[i].table, s->store[i].ts);
Emeric Brun1d33b292010-01-04 15:47:17 +01001441 }
Willy Tarreauf16d2b82010-06-06 15:38:59 +02001442 else
Emeric Brun85e77c72010-09-23 18:16:52 +02001443 ts = stktable_store(s->store[i].table, s->store[i].ts, 1);
Willy Tarreauf16d2b82010-06-06 15:38:59 +02001444
1445 s->store[i].ts = NULL;
Willy Tarreau13c29de2010-06-06 16:40:39 +02001446 ptr = stktable_data_ptr(s->store[i].table, ts, STKTABLE_DT_SERVER_ID);
Willy Tarreau3fdb3662012-11-12 00:42:33 +01001447 stktable_data_cast(ptr, server_id) = objt_server(s->target)->puid;
Emeric Brun1d33b292010-01-04 15:47:17 +01001448 }
Willy Tarreau2a164ee2010-06-18 09:57:45 +02001449 s->store_count = 0; /* everything is stored */
Emeric Brun1d33b292010-01-04 15:47:17 +01001450
1451 rep->analysers &= ~an_bit;
1452 rep->analyse_exp = TICK_ETERNITY;
1453 return 1;
1454}
1455
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001456/* This macro is very specific to the function below. See the comments in
Willy Tarreau87b09662015-04-03 00:22:06 +02001457 * process_stream() below to understand the logic and the tests.
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001458 */
1459#define UPDATE_ANALYSERS(real, list, back, flag) { \
1460 list = (((list) & ~(flag)) | ~(back)) & (real); \
1461 back = real; \
1462 if (!(list)) \
1463 break; \
1464 if (((list) ^ ((list) & ((list) - 1))) < (flag)) \
1465 continue; \
1466}
1467
Christopher Fauleta9215b72016-05-11 17:06:28 +02001468/* These 2 following macros call an analayzer for the specified channel if the
1469 * right flag is set. The first one is used for "filterable" analyzers. If a
Christopher Faulet3a394fa2016-05-11 17:13:39 +02001470 * stream has some registered filters, pre and post analyaze callbacks are
Christopher Faulet0184ea72017-01-05 14:06:34 +01001471 * called. The second are used for other analyzers (AN_REQ/RES_FLT_* and
Christopher Fauleta9215b72016-05-11 17:06:28 +02001472 * AN_REQ/RES_HTTP_XFER_BODY) */
1473#define FLT_ANALYZE(strm, chn, fun, list, back, flag, ...) \
1474 { \
1475 if ((list) & (flag)) { \
1476 if (HAS_FILTERS(strm)) { \
Christopher Faulet3a394fa2016-05-11 17:13:39 +02001477 if (!flt_pre_analyze((strm), (chn), (flag))) \
Christopher Fauleta9215b72016-05-11 17:06:28 +02001478 break; \
1479 if (!fun((strm), (chn), (flag), ##__VA_ARGS__)) \
1480 break; \
Christopher Faulet3a394fa2016-05-11 17:13:39 +02001481 if (!flt_post_analyze((strm), (chn), (flag))) \
1482 break; \
Christopher Fauleta9215b72016-05-11 17:06:28 +02001483 } \
1484 else { \
1485 if (!fun((strm), (chn), (flag), ##__VA_ARGS__)) \
1486 break; \
1487 } \
1488 UPDATE_ANALYSERS((chn)->analysers, (list), \
1489 (back), (flag)); \
1490 } \
1491 }
1492
1493#define ANALYZE(strm, chn, fun, list, back, flag, ...) \
1494 { \
1495 if ((list) & (flag)) { \
1496 if (!fun((strm), (chn), (flag), ##__VA_ARGS__)) \
1497 break; \
1498 UPDATE_ANALYSERS((chn)->analysers, (list), \
1499 (back), (flag)); \
1500 } \
1501 }
1502
Willy Tarreau87b09662015-04-03 00:22:06 +02001503/* Processes the client, server, request and response jobs of a stream task,
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001504 * then puts it back to the wait queue in a clean state, or cleans up its
1505 * resources if it must be deleted. Returns in <next> the date the task wants
1506 * to be woken up, or TICK_ETERNITY. In order not to call all functions for
1507 * nothing too many times, the request and response buffers flags are monitored
1508 * and each function is called only if at least another function has changed at
1509 * least one flag it is interested in.
1510 */
Willy Tarreau87b09662015-04-03 00:22:06 +02001511struct task *process_stream(struct task *t)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001512{
Willy Tarreau827aee92011-03-10 16:55:02 +01001513 struct server *srv;
Willy Tarreau87b09662015-04-03 00:22:06 +02001514 struct stream *s = t->context;
Willy Tarreaufb0afa72015-04-03 14:46:27 +02001515 struct session *sess = s->sess;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001516 unsigned int rqf_last, rpf_last;
Willy Tarreau815a9b22010-07-27 17:15:12 +02001517 unsigned int rq_prod_last, rq_cons_last;
1518 unsigned int rp_cons_last, rp_prod_last;
Willy Tarreau576507f2010-01-07 00:09:04 +01001519 unsigned int req_ana_back;
Willy Tarreau8f128b42014-11-28 15:07:47 +01001520 struct channel *req, *res;
1521 struct stream_interface *si_f, *si_b;
1522
1523 req = &s->req;
1524 res = &s->res;
1525
1526 si_f = &s->si[0];
1527 si_b = &s->si[1];
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001528
1529 //DPRINTF(stderr, "%s:%d: cs=%d ss=%d(%d) rqf=0x%08x rpf=0x%08x\n", __FUNCTION__, __LINE__,
Willy Tarreau8f128b42014-11-28 15:07:47 +01001530 // si_f->state, si_b->state, si_b->err_type, req->flags, res->flags);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001531
Krzysztof Piotr Oledzkif9423ae2010-01-29 19:26:18 +01001532 /* this data may be no longer valid, clear it */
Willy Tarreaueee5b512015-04-03 23:46:31 +02001533 if (s->txn)
1534 memset(&s->txn->auth, 0, sizeof(s->txn->auth));
Krzysztof Piotr Oledzkif9423ae2010-01-29 19:26:18 +01001535
Willy Tarreau6f0a7ba2014-06-23 15:22:31 +02001536 /* This flag must explicitly be set every time */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001537 req->flags &= ~(CF_READ_NOEXP|CF_WAKE_WRITE);
1538 res->flags &= ~(CF_READ_NOEXP|CF_WAKE_WRITE);
Willy Tarreaub67a9b82009-06-21 22:03:51 +02001539
1540 /* Keep a copy of req/rep flags so that we can detect shutdowns */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001541 rqf_last = req->flags & ~CF_MASK_ANALYSER;
1542 rpf_last = res->flags & ~CF_MASK_ANALYSER;
Willy Tarreaub67a9b82009-06-21 22:03:51 +02001543
Willy Tarreau89f7ef22009-09-05 20:57:35 +02001544 /* we don't want the stream interface functions to recursively wake us up */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001545 si_f->flags |= SI_FL_DONT_WAKE;
1546 si_b->flags |= SI_FL_DONT_WAKE;
Willy Tarreau89f7ef22009-09-05 20:57:35 +02001547
Christopher Faulet9d810ca2016-12-08 22:33:52 +01001548 /* update pending events */
1549 s->pending_events |= (t->state & TASK_WOKEN_ANY);
1550
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001551 /* 1a: Check for low level timeouts if needed. We just set a flag on
1552 * stream interfaces when their timeouts have expired.
1553 */
Christopher Faulet9d810ca2016-12-08 22:33:52 +01001554 if (unlikely(s->pending_events & TASK_WOKEN_TIMER)) {
Willy Tarreau8f128b42014-11-28 15:07:47 +01001555 stream_int_check_timeouts(si_f);
1556 stream_int_check_timeouts(si_b);
Willy Tarreaub67a9b82009-06-21 22:03:51 +02001557
Willy Tarreau8263d2b2012-08-28 00:06:31 +02001558 /* check channel timeouts, and close the corresponding stream interfaces
Willy Tarreaub67a9b82009-06-21 22:03:51 +02001559 * for future reads or writes. Note: this will also concern upper layers
1560 * but we do not touch any other flag. We must be careful and correctly
1561 * detect state changes when calling them.
1562 */
1563
Willy Tarreau8f128b42014-11-28 15:07:47 +01001564 channel_check_timeouts(req);
Willy Tarreaub67a9b82009-06-21 22:03:51 +02001565
Willy Tarreau8f128b42014-11-28 15:07:47 +01001566 if (unlikely((req->flags & (CF_SHUTW|CF_WRITE_TIMEOUT)) == CF_WRITE_TIMEOUT)) {
1567 si_b->flags |= SI_FL_NOLINGER;
1568 si_shutw(si_b);
Willy Tarreau14641402009-12-29 14:49:56 +01001569 }
1570
Willy Tarreau8f128b42014-11-28 15:07:47 +01001571 if (unlikely((req->flags & (CF_SHUTR|CF_READ_TIMEOUT)) == CF_READ_TIMEOUT)) {
1572 if (si_f->flags & SI_FL_NOHALF)
1573 si_f->flags |= SI_FL_NOLINGER;
1574 si_shutr(si_f);
Willy Tarreau7bb68ab2012-05-13 14:48:59 +02001575 }
Willy Tarreaub67a9b82009-06-21 22:03:51 +02001576
Willy Tarreau8f128b42014-11-28 15:07:47 +01001577 channel_check_timeouts(res);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001578
Willy Tarreau8f128b42014-11-28 15:07:47 +01001579 if (unlikely((res->flags & (CF_SHUTW|CF_WRITE_TIMEOUT)) == CF_WRITE_TIMEOUT)) {
1580 si_f->flags |= SI_FL_NOLINGER;
1581 si_shutw(si_f);
Willy Tarreau14641402009-12-29 14:49:56 +01001582 }
1583
Willy Tarreau8f128b42014-11-28 15:07:47 +01001584 if (unlikely((res->flags & (CF_SHUTR|CF_READ_TIMEOUT)) == CF_READ_TIMEOUT)) {
1585 if (si_b->flags & SI_FL_NOHALF)
1586 si_b->flags |= SI_FL_NOLINGER;
1587 si_shutr(si_b);
Willy Tarreau7bb68ab2012-05-13 14:48:59 +02001588 }
Willy Tarreau798f4322012-11-08 14:49:17 +01001589
Christopher Fauleta00d8172016-11-10 14:58:05 +01001590 if (HAS_FILTERS(s))
1591 flt_stream_check_timeouts(s);
1592
Willy Tarreau798f4322012-11-08 14:49:17 +01001593 /* Once in a while we're woken up because the task expires. But
1594 * this does not necessarily mean that a timeout has been reached.
Willy Tarreau87b09662015-04-03 00:22:06 +02001595 * So let's not run a whole stream processing if only an expiration
Willy Tarreau798f4322012-11-08 14:49:17 +01001596 * timeout needs to be refreshed.
1597 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001598 if (!((req->flags | res->flags) &
Willy Tarreau798f4322012-11-08 14:49:17 +01001599 (CF_SHUTR|CF_READ_ACTIVITY|CF_READ_TIMEOUT|CF_SHUTW|
1600 CF_WRITE_ACTIVITY|CF_WRITE_TIMEOUT|CF_ANA_TIMEOUT)) &&
Willy Tarreau8f128b42014-11-28 15:07:47 +01001601 !((si_f->flags | si_b->flags) & (SI_FL_EXP|SI_FL_ERR)) &&
Christopher Faulet9d810ca2016-12-08 22:33:52 +01001602 ((s->pending_events & TASK_WOKEN_ANY) == TASK_WOKEN_TIMER)) {
Willy Tarreau5fb04712016-05-04 10:18:37 +02001603 si_f->flags &= ~SI_FL_DONT_WAKE;
1604 si_b->flags &= ~SI_FL_DONT_WAKE;
Willy Tarreau798f4322012-11-08 14:49:17 +01001605 goto update_exp_and_leave;
Willy Tarreau5fb04712016-05-04 10:18:37 +02001606 }
Willy Tarreaub67a9b82009-06-21 22:03:51 +02001607 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001608
Willy Tarreau10fc09e2014-11-25 19:46:36 +01001609 /* below we may emit error messages so we have to ensure that we have
1610 * our buffers properly allocated.
1611 */
Willy Tarreau87b09662015-04-03 00:22:06 +02001612 if (!stream_alloc_work_buffer(s)) {
Willy Tarreau10fc09e2014-11-25 19:46:36 +01001613 /* No buffer available, we've been subscribed to the list of
1614 * buffer waiters, let's wait for our turn.
1615 */
Willy Tarreau5fb04712016-05-04 10:18:37 +02001616 si_f->flags &= ~SI_FL_DONT_WAKE;
1617 si_b->flags &= ~SI_FL_DONT_WAKE;
Willy Tarreau10fc09e2014-11-25 19:46:36 +01001618 goto update_exp_and_leave;
1619 }
1620
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001621 /* 1b: check for low-level errors reported at the stream interface.
1622 * First we check if it's a retryable error (in which case we don't
1623 * want to tell the buffer). Otherwise we report the error one level
1624 * upper by setting flags into the buffers. Note that the side towards
1625 * the client cannot have connect (hence retryable) errors. Also, the
1626 * connection setup code must be able to deal with any type of abort.
1627 */
Willy Tarreau3fdb3662012-11-12 00:42:33 +01001628 srv = objt_server(s->target);
Willy Tarreau8f128b42014-11-28 15:07:47 +01001629 if (unlikely(si_f->flags & SI_FL_ERR)) {
1630 if (si_f->state == SI_ST_EST || si_f->state == SI_ST_DIS) {
1631 si_shutr(si_f);
1632 si_shutw(si_f);
1633 stream_int_report_error(si_f);
1634 if (!(req->analysers) && !(res->analysers)) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001635 s->be->be_counters.cli_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001636 sess->fe->fe_counters.cli_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001637 if (srv)
1638 srv->counters.cli_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001639 if (!(s->flags & SF_ERR_MASK))
1640 s->flags |= SF_ERR_CLICL;
1641 if (!(s->flags & SF_FINST_MASK))
1642 s->flags |= SF_FINST_D;
Willy Tarreau05cb29b2008-12-14 11:44:04 +01001643 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001644 }
1645 }
1646
Willy Tarreau8f128b42014-11-28 15:07:47 +01001647 if (unlikely(si_b->flags & SI_FL_ERR)) {
1648 if (si_b->state == SI_ST_EST || si_b->state == SI_ST_DIS) {
1649 si_shutr(si_b);
1650 si_shutw(si_b);
1651 stream_int_report_error(si_b);
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001652 s->be->be_counters.failed_resp++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001653 if (srv)
1654 srv->counters.failed_resp++;
Willy Tarreau8f128b42014-11-28 15:07:47 +01001655 if (!(req->analysers) && !(res->analysers)) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001656 s->be->be_counters.srv_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001657 sess->fe->fe_counters.srv_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001658 if (srv)
1659 srv->counters.srv_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001660 if (!(s->flags & SF_ERR_MASK))
1661 s->flags |= SF_ERR_SRVCL;
1662 if (!(s->flags & SF_FINST_MASK))
1663 s->flags |= SF_FINST_D;
Willy Tarreau05cb29b2008-12-14 11:44:04 +01001664 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001665 }
1666 /* note: maybe we should process connection errors here ? */
1667 }
1668
Willy Tarreau8f128b42014-11-28 15:07:47 +01001669 if (si_b->state == SI_ST_CON) {
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001670 /* we were trying to establish a connection on the server side,
1671 * maybe it succeeded, maybe it failed, maybe we timed out, ...
1672 */
Willy Tarreau7b8c4f92014-11-28 15:15:44 +01001673 if (unlikely(!sess_update_st_con_tcp(s)))
1674 sess_update_st_cer(s);
Willy Tarreau8f128b42014-11-28 15:07:47 +01001675 else if (si_b->state == SI_ST_EST)
Willy Tarreau7b8c4f92014-11-28 15:15:44 +01001676 sess_establish(s);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001677
1678 /* state is now one of SI_ST_CON (still in progress), SI_ST_EST
1679 * (established), SI_ST_DIS (abort), SI_ST_CLO (last error),
1680 * SI_ST_ASS/SI_ST_TAR/SI_ST_REQ for retryable errors.
1681 */
1682 }
1683
Willy Tarreau8f128b42014-11-28 15:07:47 +01001684 rq_prod_last = si_f->state;
1685 rq_cons_last = si_b->state;
1686 rp_cons_last = si_f->state;
1687 rp_prod_last = si_b->state;
Willy Tarreau815a9b22010-07-27 17:15:12 +02001688
1689 resync_stream_interface:
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001690 /* Check for connection closure */
1691
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001692 DPRINTF(stderr,
Willy Tarreau02d6cfc2012-03-01 18:19:58 +01001693 "[%u] %s:%d: task=%p s=%p, sfl=0x%08x, rq=%p, rp=%p, exp(r,w)=%u,%u rqf=%08x rpf=%08x rqh=%d rqt=%d rph=%d rpt=%d cs=%d ss=%d, cet=0x%x set=0x%x retr=%d\n",
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001694 now_ms, __FUNCTION__, __LINE__,
1695 t,
1696 s, s->flags,
Willy Tarreau8f128b42014-11-28 15:07:47 +01001697 req, res,
1698 req->rex, res->wex,
1699 req->flags, res->flags,
1700 req->buf->i, req->buf->o, res->buf->i, res->buf->o, si_f->state, si_b->state,
1701 si_f->err_type, si_b->err_type,
1702 si_b->conn_retries);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001703
1704 /* nothing special to be done on client side */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001705 if (unlikely(si_f->state == SI_ST_DIS))
1706 si_f->state = SI_ST_CLO;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001707
1708 /* When a server-side connection is released, we have to count it and
1709 * check for pending connections on this server.
1710 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001711 if (unlikely(si_b->state == SI_ST_DIS)) {
1712 si_b->state = SI_ST_CLO;
Willy Tarreau3fdb3662012-11-12 00:42:33 +01001713 srv = objt_server(s->target);
Willy Tarreau827aee92011-03-10 16:55:02 +01001714 if (srv) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02001715 if (s->flags & SF_CURR_SESS) {
1716 s->flags &= ~SF_CURR_SESS;
Willy Tarreau827aee92011-03-10 16:55:02 +01001717 srv->cur_sess--;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001718 }
1719 sess_change_server(s, NULL);
Willy Tarreau827aee92011-03-10 16:55:02 +01001720 if (may_dequeue_tasks(srv, s->be))
1721 process_srv_queue(srv);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001722 }
1723 }
1724
1725 /*
1726 * Note: of the transient states (REQ, CER, DIS), only REQ may remain
1727 * at this point.
1728 */
1729
Willy Tarreau0be0ef92009-03-08 19:20:25 +01001730 resync_request:
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001731 /* Analyse request */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001732 if (((req->flags & ~rqf_last) & CF_MASK_ANALYSER) ||
1733 ((req->flags ^ rqf_last) & CF_MASK_STATIC) ||
1734 si_f->state != rq_prod_last ||
1735 si_b->state != rq_cons_last ||
Christopher Faulet9d810ca2016-12-08 22:33:52 +01001736 s->pending_events & TASK_WOKEN_MSG) {
Willy Tarreau8f128b42014-11-28 15:07:47 +01001737 unsigned int flags = req->flags;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001738
Willy Tarreau8f128b42014-11-28 15:07:47 +01001739 if (si_f->state >= SI_ST_EST) {
Willy Tarreaue34070e2010-01-08 00:32:27 +01001740 int max_loops = global.tune.maxpollevents;
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001741 unsigned int ana_list;
1742 unsigned int ana_back;
Willy Tarreau1a52dbd2009-06-28 19:37:53 +02001743
Willy Tarreau90deb182010-01-07 00:20:41 +01001744 /* it's up to the analysers to stop new connections,
1745 * disable reading or closing. Note: if an analyser
1746 * disables any of these bits, it is responsible for
1747 * enabling them again when it disables itself, so
1748 * that other analysers are called in similar conditions.
1749 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001750 channel_auto_read(req);
1751 channel_auto_connect(req);
1752 channel_auto_close(req);
Willy Tarreauedcf6682008-11-30 23:15:34 +01001753
1754 /* We will call all analysers for which a bit is set in
Willy Tarreau8f128b42014-11-28 15:07:47 +01001755 * req->analysers, following the bit order from LSB
Willy Tarreauedcf6682008-11-30 23:15:34 +01001756 * to MSB. The analysers must remove themselves from
Willy Tarreau1a52dbd2009-06-28 19:37:53 +02001757 * the list when not needed. Any analyser may return 0
1758 * to break out of the loop, either because of missing
1759 * data to take a decision, or because it decides to
Willy Tarreau87b09662015-04-03 00:22:06 +02001760 * kill the stream. We loop at least once through each
Willy Tarreau1a52dbd2009-06-28 19:37:53 +02001761 * analyser, and we may loop again if other analysers
1762 * are added in the middle.
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001763 *
1764 * We build a list of analysers to run. We evaluate all
1765 * of these analysers in the order of the lower bit to
1766 * the higher bit. This ordering is very important.
1767 * An analyser will often add/remove other analysers,
1768 * including itself. Any changes to itself have no effect
1769 * on the loop. If it removes any other analysers, we
1770 * want those analysers not to be called anymore during
1771 * this loop. If it adds an analyser that is located
1772 * after itself, we want it to be scheduled for being
1773 * processed during the loop. If it adds an analyser
1774 * which is located before it, we want it to switch to
1775 * it immediately, even if it has already been called
1776 * once but removed since.
1777 *
1778 * In order to achieve this, we compare the analyser
1779 * list after the call with a copy of it before the
1780 * call. The work list is fed with analyser bits that
1781 * appeared during the call. Then we compare previous
1782 * work list with the new one, and check the bits that
1783 * appeared. If the lowest of these bits is lower than
1784 * the current bit, it means we have enabled a previous
1785 * analyser and must immediately loop again.
Willy Tarreauedcf6682008-11-30 23:15:34 +01001786 */
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001787
Willy Tarreau8f128b42014-11-28 15:07:47 +01001788 ana_list = ana_back = req->analysers;
Willy Tarreaue34070e2010-01-08 00:32:27 +01001789 while (ana_list && max_loops--) {
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001790 /* Warning! ensure that analysers are always placed in ascending order! */
Christopher Faulet0184ea72017-01-05 14:06:34 +01001791 ANALYZE (s, req, flt_start_analyze, ana_list, ana_back, AN_REQ_FLT_START_FE);
Christopher Fauleta9215b72016-05-11 17:06:28 +02001792 FLT_ANALYZE(s, req, tcp_inspect_request, ana_list, ana_back, AN_REQ_INSPECT_FE);
1793 FLT_ANALYZE(s, req, http_wait_for_request, ana_list, ana_back, AN_REQ_WAIT_HTTP);
1794 FLT_ANALYZE(s, req, http_wait_for_request_body, ana_list, ana_back, AN_REQ_HTTP_BODY);
1795 FLT_ANALYZE(s, req, http_process_req_common, ana_list, ana_back, AN_REQ_HTTP_PROCESS_FE, sess->fe);
1796 FLT_ANALYZE(s, req, process_switching_rules, ana_list, ana_back, AN_REQ_SWITCHING_RULES);
Christopher Faulet0184ea72017-01-05 14:06:34 +01001797 ANALYZE (s, req, flt_start_analyze, ana_list, ana_back, AN_REQ_FLT_START_BE);
Christopher Fauleta9215b72016-05-11 17:06:28 +02001798 FLT_ANALYZE(s, req, tcp_inspect_request, ana_list, ana_back, AN_REQ_INSPECT_BE);
1799 FLT_ANALYZE(s, req, http_process_req_common, ana_list, ana_back, AN_REQ_HTTP_PROCESS_BE, s->be);
1800 FLT_ANALYZE(s, req, http_process_tarpit, ana_list, ana_back, AN_REQ_HTTP_TARPIT);
1801 FLT_ANALYZE(s, req, process_server_rules, ana_list, ana_back, AN_REQ_SRV_RULES);
1802 FLT_ANALYZE(s, req, http_process_request, ana_list, ana_back, AN_REQ_HTTP_INNER);
1803 FLT_ANALYZE(s, req, tcp_persist_rdp_cookie, ana_list, ana_back, AN_REQ_PRST_RDP_COOKIE);
1804 FLT_ANALYZE(s, req, process_sticking_rules, ana_list, ana_back, AN_REQ_STICKING_RULES);
Christopher Faulet0184ea72017-01-05 14:06:34 +01001805 ANALYZE (s, req, flt_analyze_http_headers, ana_list, ana_back, AN_REQ_FLT_HTTP_HDRS);
Christopher Fauleta9215b72016-05-11 17:06:28 +02001806 ANALYZE (s, req, http_request_forward_body, ana_list, ana_back, AN_REQ_HTTP_XFER_BODY);
Christopher Faulet0184ea72017-01-05 14:06:34 +01001807 ANALYZE (s, req, flt_xfer_data, ana_list, ana_back, AN_REQ_FLT_XFER_DATA);
1808 ANALYZE (s, req, flt_end_analyze, ana_list, ana_back, AN_REQ_FLT_END);
Willy Tarreaue34070e2010-01-08 00:32:27 +01001809 break;
1810 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01001811 }
Willy Tarreau84455332009-03-15 22:34:05 +01001812
Willy Tarreau8f128b42014-11-28 15:07:47 +01001813 rq_prod_last = si_f->state;
1814 rq_cons_last = si_b->state;
1815 req->flags &= ~CF_WAKE_ONCE;
1816 rqf_last = req->flags;
Willy Tarreau815a9b22010-07-27 17:15:12 +02001817
Willy Tarreau8f128b42014-11-28 15:07:47 +01001818 if ((req->flags ^ flags) & CF_MASK_STATIC)
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001819 goto resync_request;
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001820 }
1821
Willy Tarreau576507f2010-01-07 00:09:04 +01001822 /* we'll monitor the request analysers while parsing the response,
1823 * because some response analysers may indirectly enable new request
1824 * analysers (eg: HTTP keep-alive).
1825 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001826 req_ana_back = req->analysers;
Willy Tarreau576507f2010-01-07 00:09:04 +01001827
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001828 resync_response:
1829 /* Analyse response */
1830
Willy Tarreau8f128b42014-11-28 15:07:47 +01001831 if (((res->flags & ~rpf_last) & CF_MASK_ANALYSER) ||
1832 (res->flags ^ rpf_last) & CF_MASK_STATIC ||
1833 si_f->state != rp_cons_last ||
1834 si_b->state != rp_prod_last ||
Christopher Faulet9d810ca2016-12-08 22:33:52 +01001835 s->pending_events & TASK_WOKEN_MSG) {
Willy Tarreau8f128b42014-11-28 15:07:47 +01001836 unsigned int flags = res->flags;
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001837
Willy Tarreau8f128b42014-11-28 15:07:47 +01001838 if (si_b->state >= SI_ST_EST) {
Willy Tarreaue34070e2010-01-08 00:32:27 +01001839 int max_loops = global.tune.maxpollevents;
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001840 unsigned int ana_list;
1841 unsigned int ana_back;
Willy Tarreaub37c27e2009-10-18 22:53:08 +02001842
Willy Tarreau90deb182010-01-07 00:20:41 +01001843 /* it's up to the analysers to stop disable reading or
1844 * closing. Note: if an analyser disables any of these
1845 * bits, it is responsible for enabling them again when
1846 * it disables itself, so that other analysers are called
1847 * in similar conditions.
1848 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001849 channel_auto_read(res);
1850 channel_auto_close(res);
Willy Tarreaub37c27e2009-10-18 22:53:08 +02001851
1852 /* We will call all analysers for which a bit is set in
Willy Tarreau8f128b42014-11-28 15:07:47 +01001853 * res->analysers, following the bit order from LSB
Willy Tarreaub37c27e2009-10-18 22:53:08 +02001854 * to MSB. The analysers must remove themselves from
1855 * the list when not needed. Any analyser may return 0
1856 * to break out of the loop, either because of missing
1857 * data to take a decision, or because it decides to
Willy Tarreau87b09662015-04-03 00:22:06 +02001858 * kill the stream. We loop at least once through each
Willy Tarreaub37c27e2009-10-18 22:53:08 +02001859 * analyser, and we may loop again if other analysers
1860 * are added in the middle.
1861 */
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001862
Willy Tarreau8f128b42014-11-28 15:07:47 +01001863 ana_list = ana_back = res->analysers;
Willy Tarreaue34070e2010-01-08 00:32:27 +01001864 while (ana_list && max_loops--) {
Willy Tarreau1e0bbaf2010-01-06 23:53:24 +01001865 /* Warning! ensure that analysers are always placed in ascending order! */
Christopher Faulet0184ea72017-01-05 14:06:34 +01001866 ANALYZE (s, res, flt_start_analyze, ana_list, ana_back, AN_RES_FLT_START_FE);
1867 ANALYZE (s, res, flt_start_analyze, ana_list, ana_back, AN_RES_FLT_START_BE);
Christopher Fauleta9215b72016-05-11 17:06:28 +02001868 FLT_ANALYZE(s, res, tcp_inspect_response, ana_list, ana_back, AN_RES_INSPECT);
1869 FLT_ANALYZE(s, res, http_wait_for_response, ana_list, ana_back, AN_RES_WAIT_HTTP);
1870 FLT_ANALYZE(s, res, process_store_rules, ana_list, ana_back, AN_RES_STORE_RULES);
1871 FLT_ANALYZE(s, res, http_process_res_common, ana_list, ana_back, AN_RES_HTTP_PROCESS_BE, s->be);
Christopher Faulet0184ea72017-01-05 14:06:34 +01001872 ANALYZE (s, res, flt_analyze_http_headers, ana_list, ana_back, AN_RES_FLT_HTTP_HDRS);
Christopher Fauleta9215b72016-05-11 17:06:28 +02001873 ANALYZE (s, res, http_response_forward_body, ana_list, ana_back, AN_RES_HTTP_XFER_BODY);
Christopher Faulet0184ea72017-01-05 14:06:34 +01001874 ANALYZE (s, res, flt_xfer_data, ana_list, ana_back, AN_RES_FLT_XFER_DATA);
1875 ANALYZE (s, res, flt_end_analyze, ana_list, ana_back, AN_RES_FLT_END);
Willy Tarreaue34070e2010-01-08 00:32:27 +01001876 break;
1877 }
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001878 }
1879
Willy Tarreau8f128b42014-11-28 15:07:47 +01001880 rp_cons_last = si_f->state;
1881 rp_prod_last = si_b->state;
1882 rpf_last = res->flags;
Willy Tarreau815a9b22010-07-27 17:15:12 +02001883
Willy Tarreau8f128b42014-11-28 15:07:47 +01001884 if ((res->flags ^ flags) & CF_MASK_STATIC)
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001885 goto resync_response;
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001886 }
1887
Willy Tarreau576507f2010-01-07 00:09:04 +01001888 /* maybe someone has added some request analysers, so we must check and loop */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001889 if (req->analysers & ~req_ana_back)
Willy Tarreau576507f2010-01-07 00:09:04 +01001890 goto resync_request;
1891
Willy Tarreau8f128b42014-11-28 15:07:47 +01001892 if ((req->flags & ~rqf_last) & CF_MASK_ANALYSER)
Willy Tarreau0499e352010-12-17 07:13:42 +01001893 goto resync_request;
1894
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001895 /* FIXME: here we should call protocol handlers which rely on
1896 * both buffers.
1897 */
1898
1899
1900 /*
Willy Tarreau87b09662015-04-03 00:22:06 +02001901 * Now we propagate unhandled errors to the stream. Normally
Willy Tarreauae526782010-03-04 20:34:23 +01001902 * we're just in a data phase here since it means we have not
1903 * seen any analyser who could set an error status.
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001904 */
Willy Tarreau3fdb3662012-11-12 00:42:33 +01001905 srv = objt_server(s->target);
Willy Tarreaue7dff022015-04-03 01:14:29 +02001906 if (unlikely(!(s->flags & SF_ERR_MASK))) {
Willy Tarreau8f128b42014-11-28 15:07:47 +01001907 if (req->flags & (CF_READ_ERROR|CF_READ_TIMEOUT|CF_WRITE_ERROR|CF_WRITE_TIMEOUT)) {
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001908 /* Report it if the client got an error or a read timeout expired */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001909 req->analysers = 0;
1910 if (req->flags & CF_READ_ERROR) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001911 s->be->be_counters.cli_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001912 sess->fe->fe_counters.cli_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001913 if (srv)
1914 srv->counters.cli_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001915 s->flags |= SF_ERR_CLICL;
Willy Tarreauae526782010-03-04 20:34:23 +01001916 }
Willy Tarreau8f128b42014-11-28 15:07:47 +01001917 else if (req->flags & CF_READ_TIMEOUT) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001918 s->be->be_counters.cli_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001919 sess->fe->fe_counters.cli_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001920 if (srv)
1921 srv->counters.cli_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001922 s->flags |= SF_ERR_CLITO;
Willy Tarreauae526782010-03-04 20:34:23 +01001923 }
Willy Tarreau8f128b42014-11-28 15:07:47 +01001924 else if (req->flags & CF_WRITE_ERROR) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001925 s->be->be_counters.srv_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001926 sess->fe->fe_counters.srv_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001927 if (srv)
1928 srv->counters.srv_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001929 s->flags |= SF_ERR_SRVCL;
Willy Tarreauae526782010-03-04 20:34:23 +01001930 }
1931 else {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001932 s->be->be_counters.srv_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001933 sess->fe->fe_counters.srv_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001934 if (srv)
1935 srv->counters.srv_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001936 s->flags |= SF_ERR_SRVTO;
Willy Tarreauae526782010-03-04 20:34:23 +01001937 }
Willy Tarreau84455332009-03-15 22:34:05 +01001938 sess_set_term_flags(s);
1939 }
Willy Tarreau8f128b42014-11-28 15:07:47 +01001940 else if (res->flags & (CF_READ_ERROR|CF_READ_TIMEOUT|CF_WRITE_ERROR|CF_WRITE_TIMEOUT)) {
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001941 /* Report it if the server got an error or a read timeout expired */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001942 res->analysers = 0;
1943 if (res->flags & CF_READ_ERROR) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001944 s->be->be_counters.srv_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001945 sess->fe->fe_counters.srv_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001946 if (srv)
1947 srv->counters.srv_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001948 s->flags |= SF_ERR_SRVCL;
Willy Tarreauae526782010-03-04 20:34:23 +01001949 }
Willy Tarreau8f128b42014-11-28 15:07:47 +01001950 else if (res->flags & CF_READ_TIMEOUT) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001951 s->be->be_counters.srv_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001952 sess->fe->fe_counters.srv_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001953 if (srv)
1954 srv->counters.srv_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001955 s->flags |= SF_ERR_SRVTO;
Willy Tarreauae526782010-03-04 20:34:23 +01001956 }
Willy Tarreau8f128b42014-11-28 15:07:47 +01001957 else if (res->flags & CF_WRITE_ERROR) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001958 s->be->be_counters.cli_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001959 sess->fe->fe_counters.cli_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001960 if (srv)
1961 srv->counters.cli_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001962 s->flags |= SF_ERR_CLICL;
Willy Tarreauae526782010-03-04 20:34:23 +01001963 }
1964 else {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01001965 s->be->be_counters.cli_aborts++;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02001966 sess->fe->fe_counters.cli_aborts++;
Willy Tarreau827aee92011-03-10 16:55:02 +01001967 if (srv)
1968 srv->counters.cli_aborts++;
Willy Tarreaue7dff022015-04-03 01:14:29 +02001969 s->flags |= SF_ERR_CLITO;
Willy Tarreauae526782010-03-04 20:34:23 +01001970 }
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001971 sess_set_term_flags(s);
1972 }
Willy Tarreau84455332009-03-15 22:34:05 +01001973 }
1974
Willy Tarreau3deb3d02009-06-21 22:43:05 +02001975 /*
1976 * Here we take care of forwarding unhandled data. This also includes
1977 * connection establishments and shutdown requests.
1978 */
1979
1980
Willy Tarreau7c84bab2009-03-08 21:38:23 +01001981 /* If noone is interested in analysing data, it's time to forward
Willy Tarreau31971e52009-09-20 12:07:52 +02001982 * everything. We configure the buffer to forward indefinitely.
Willy Tarreau03cdb7c2012-08-27 23:14:58 +02001983 * Note that we're checking CF_SHUTR_NOW as an indication of a possible
Willy Tarreau8263d2b2012-08-28 00:06:31 +02001984 * recent call to channel_abort().
Willy Tarreau6b66f3e2008-12-14 17:31:54 +01001985 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001986 if (unlikely(!req->analysers &&
1987 !(req->flags & (CF_SHUTW|CF_SHUTR_NOW)) &&
1988 (si_f->state >= SI_ST_EST) &&
1989 (req->to_forward != CHN_INFINITE_FORWARD))) {
Willy Tarreaub31c9712012-11-11 23:05:39 +01001990 /* This buffer is freewheeling, there's no analyser
Willy Tarreau7c84bab2009-03-08 21:38:23 +01001991 * attached to it. If any data are left in, we'll permit them to
1992 * move.
1993 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01001994 channel_auto_read(req);
1995 channel_auto_connect(req);
1996 channel_auto_close(req);
1997 buffer_flush(req->buf);
Willy Tarreau5bd8c372009-01-19 00:32:22 +01001998
Willy Tarreauda4d9fe2010-11-07 20:26:56 +01001999 /* We'll let data flow between the producer (if still connected)
2000 * to the consumer (which might possibly not be connected yet).
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002001 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002002 if (!(req->flags & (CF_SHUTR|CF_SHUTW_NOW)))
Willy Tarreau8bf242b2016-05-04 14:05:58 +02002003 channel_forward_forever(req);
Willy Tarreau42529c32015-07-09 18:38:57 +02002004
2005 /* Just in order to support fetching HTTP contents after start
2006 * of forwarding when the HTTP forwarding analyser is not used,
2007 * we simply reset msg->sov so that HTTP rewinding points to the
2008 * headers.
2009 */
2010 if (s->txn)
2011 s->txn->req.sov = s->txn->req.eoh + s->txn->req.eol - req->buf->o;
Willy Tarreau6b66f3e2008-12-14 17:31:54 +01002012 }
Willy Tarreauf890dc92008-12-13 21:12:26 +01002013
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002014 /* check if it is wise to enable kernel splicing to forward request data */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002015 if (!(req->flags & (CF_KERN_SPLICING|CF_SHUTR)) &&
2016 req->to_forward &&
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002017 (global.tune.options & GTUNE_USE_SPLICE) &&
Willy Tarreau8f128b42014-11-28 15:07:47 +01002018 (objt_conn(si_f->end) && __objt_conn(si_f->end)->xprt && __objt_conn(si_f->end)->xprt->rcv_pipe) &&
2019 (objt_conn(si_b->end) && __objt_conn(si_b->end)->xprt && __objt_conn(si_b->end)->xprt->snd_pipe) &&
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002020 (pipes_used < global.maxpipes) &&
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002021 (((sess->fe->options2|s->be->options2) & PR_O2_SPLIC_REQ) ||
2022 (((sess->fe->options2|s->be->options2) & PR_O2_SPLIC_AUT) &&
Willy Tarreau8f128b42014-11-28 15:07:47 +01002023 (req->flags & CF_STREAMER_FAST)))) {
2024 req->flags |= CF_KERN_SPLICING;
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002025 }
2026
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002027 /* reflect what the L7 analysers have seen last */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002028 rqf_last = req->flags;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002029
2030 /*
2031 * Now forward all shutdown requests between both sides of the buffer
2032 */
2033
Willy Tarreau520d95e2009-09-19 21:04:57 +02002034 /* first, let's check if the request buffer needs to shutdown(write), which may
2035 * happen either because the input is closed or because we want to force a close
Willy Tarreau05cdd962014-05-10 14:30:07 +02002036 * once the server has begun to respond. If a half-closed timeout is set, we adjust
2037 * the other side's timeout as well.
Willy Tarreau520d95e2009-09-19 21:04:57 +02002038 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002039 if (unlikely((req->flags & (CF_SHUTW|CF_SHUTW_NOW|CF_AUTO_CLOSE|CF_SHUTR)) ==
Willy Tarreau05cdd962014-05-10 14:30:07 +02002040 (CF_AUTO_CLOSE|CF_SHUTR))) {
Willy Tarreau8f128b42014-11-28 15:07:47 +01002041 channel_shutw_now(req);
Willy Tarreau05cdd962014-05-10 14:30:07 +02002042 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002043
2044 /* shutdown(write) pending */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002045 if (unlikely((req->flags & (CF_SHUTW|CF_SHUTW_NOW)) == CF_SHUTW_NOW &&
2046 channel_is_empty(req))) {
2047 if (req->flags & CF_READ_ERROR)
2048 si_b->flags |= SI_FL_NOLINGER;
2049 si_shutw(si_b);
Willy Tarreau8615c2a2013-06-21 08:20:19 +02002050 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002051
2052 /* shutdown(write) done on server side, we must stop the client too */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002053 if (unlikely((req->flags & (CF_SHUTW|CF_SHUTR|CF_SHUTR_NOW)) == CF_SHUTW &&
2054 !req->analysers))
2055 channel_shutr_now(req);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002056
2057 /* shutdown(read) pending */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002058 if (unlikely((req->flags & (CF_SHUTR|CF_SHUTR_NOW)) == CF_SHUTR_NOW)) {
2059 if (si_f->flags & SI_FL_NOHALF)
2060 si_f->flags |= SI_FL_NOLINGER;
2061 si_shutr(si_f);
Willy Tarreau7bb68ab2012-05-13 14:48:59 +02002062 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002063
Willy Tarreau520d95e2009-09-19 21:04:57 +02002064 /* it's possible that an upper layer has requested a connection setup or abort.
2065 * There are 2 situations where we decide to establish a new connection :
2066 * - there are data scheduled for emission in the buffer
Willy Tarreau03cdb7c2012-08-27 23:14:58 +02002067 * - the CF_AUTO_CONNECT flag is set (active connection)
Willy Tarreau520d95e2009-09-19 21:04:57 +02002068 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002069 if (si_b->state == SI_ST_INI) {
2070 if (!(req->flags & CF_SHUTW)) {
2071 if ((req->flags & CF_AUTO_CONNECT) || !channel_is_empty(req)) {
Willy Tarreaucf644ed2013-09-29 17:19:56 +02002072 /* If we have an appctx, there is no connect method, so we
2073 * immediately switch to the connected state, otherwise we
2074 * perform a connection request.
Willy Tarreau520d95e2009-09-19 21:04:57 +02002075 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002076 si_b->state = SI_ST_REQ; /* new connection requested */
2077 si_b->conn_retries = s->be->conn_retries;
Willy Tarreau520d95e2009-09-19 21:04:57 +02002078 }
Willy Tarreau73201222009-08-16 18:27:24 +02002079 }
Willy Tarreauf41ffdc2009-09-20 08:19:25 +02002080 else {
Willy Tarreau8f128b42014-11-28 15:07:47 +01002081 si_b->state = SI_ST_CLO; /* shutw+ini = abort */
2082 channel_shutw_now(req); /* fix buffer flags upon abort */
2083 channel_shutr_now(res);
Willy Tarreauf41ffdc2009-09-20 08:19:25 +02002084 }
Willy Tarreau92795622009-03-06 12:51:23 +01002085 }
2086
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002087
2088 /* we may have a pending connection request, or a connection waiting
2089 * for completion.
2090 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002091 if (si_b->state >= SI_ST_REQ && si_b->state < SI_ST_CON) {
Thierry FOURNIER4834bc72015-06-06 19:29:07 +02002092
2093 /* prune the request variables and swap to the response variables. */
2094 if (s->vars_reqres.scope != SCOPE_RES) {
Willy Tarreau6204cd92016-03-10 16:33:04 +01002095 vars_prune(&s->vars_reqres, s->sess, s);
Thierry FOURNIER4834bc72015-06-06 19:29:07 +02002096 vars_init(&s->vars_reqres, SCOPE_RES);
2097 }
2098
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002099 do {
2100 /* nb: step 1 might switch from QUE to ASS, but we first want
2101 * to give a chance to step 2 to perform a redirect if needed.
2102 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002103 if (si_b->state != SI_ST_REQ)
Willy Tarreau7b8c4f92014-11-28 15:15:44 +01002104 sess_update_stream_int(s);
Willy Tarreau8f128b42014-11-28 15:07:47 +01002105 if (si_b->state == SI_ST_REQ)
Willy Tarreau7b8c4f92014-11-28 15:15:44 +01002106 sess_prepare_conn_req(s);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002107
Willy Tarreau9e5a3aa2013-12-31 23:32:12 +01002108 /* applets directly go to the ESTABLISHED state. Similarly,
2109 * servers experience the same fate when their connection
2110 * is reused.
2111 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002112 if (unlikely(si_b->state == SI_ST_EST))
Willy Tarreau7b8c4f92014-11-28 15:15:44 +01002113 sess_establish(s);
Willy Tarreaufac4bd12013-11-30 09:21:49 +01002114
Willy Tarreaub44c8732013-12-31 23:16:50 +01002115 /* Now we can add the server name to a header (if requested) */
2116 /* check for HTTP mode and proxy server_name_hdr_name != NULL */
Willy Tarreau9c03b332015-09-07 19:32:33 +02002117 if ((si_b->state >= SI_ST_CON) && (si_b->state < SI_ST_CLO) &&
Willy Tarreaub44c8732013-12-31 23:16:50 +01002118 (s->be->server_id_hdr_name != NULL) &&
2119 (s->be->mode == PR_MODE_HTTP) &&
2120 objt_server(s->target)) {
Willy Tarreaueee5b512015-04-03 23:46:31 +02002121 http_send_name_header(s->txn, s->be, objt_server(s->target)->id);
Willy Tarreau1e5dfda2013-04-07 18:19:16 +02002122 }
2123
Willy Tarreau3fdb3662012-11-12 00:42:33 +01002124 srv = objt_server(s->target);
Willy Tarreaue7dff022015-04-03 01:14:29 +02002125 if (si_b->state == SI_ST_ASS && srv && srv->rdr_len && (s->flags & SF_REDIRECTABLE))
Willy Tarreau8f128b42014-11-28 15:07:47 +01002126 http_perform_server_redirect(s, si_b);
2127 } while (si_b->state == SI_ST_ASS);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002128 }
2129
Willy Tarreau3deb3d02009-06-21 22:43:05 +02002130 /* Benchmarks have shown that it's optimal to do a full resync now */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002131 if (si_f->state == SI_ST_DIS || si_b->state == SI_ST_DIS)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002132 goto resync_stream_interface;
2133
Willy Tarreau815a9b22010-07-27 17:15:12 +02002134 /* otherwise we want to check if we need to resync the req buffer or not */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002135 if ((req->flags ^ rqf_last) & CF_MASK_STATIC)
Willy Tarreau0be0ef92009-03-08 19:20:25 +01002136 goto resync_request;
2137
Willy Tarreau3deb3d02009-06-21 22:43:05 +02002138 /* perform output updates to the response buffer */
Willy Tarreau84455332009-03-15 22:34:05 +01002139
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002140 /* If noone is interested in analysing data, it's time to forward
Willy Tarreau31971e52009-09-20 12:07:52 +02002141 * everything. We configure the buffer to forward indefinitely.
Willy Tarreau03cdb7c2012-08-27 23:14:58 +02002142 * Note that we're checking CF_SHUTR_NOW as an indication of a possible
Willy Tarreau8263d2b2012-08-28 00:06:31 +02002143 * recent call to channel_abort().
Willy Tarreau6b66f3e2008-12-14 17:31:54 +01002144 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002145 if (unlikely(!res->analysers &&
2146 !(res->flags & (CF_SHUTW|CF_SHUTR_NOW)) &&
2147 (si_b->state >= SI_ST_EST) &&
2148 (res->to_forward != CHN_INFINITE_FORWARD))) {
Willy Tarreaub31c9712012-11-11 23:05:39 +01002149 /* This buffer is freewheeling, there's no analyser
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002150 * attached to it. If any data are left in, we'll permit them to
2151 * move.
2152 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002153 channel_auto_read(res);
2154 channel_auto_close(res);
2155 buffer_flush(res->buf);
Willy Tarreauda4d9fe2010-11-07 20:26:56 +01002156
2157 /* We'll let data flow between the producer (if still connected)
2158 * to the consumer.
2159 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002160 if (!(res->flags & (CF_SHUTR|CF_SHUTW_NOW)))
Willy Tarreau8bf242b2016-05-04 14:05:58 +02002161 channel_forward_forever(res);
Willy Tarreauce887fd2012-05-12 12:50:00 +02002162
Willy Tarreau42529c32015-07-09 18:38:57 +02002163 /* Just in order to support fetching HTTP contents after start
2164 * of forwarding when the HTTP forwarding analyser is not used,
2165 * we simply reset msg->sov so that HTTP rewinding points to the
2166 * headers.
2167 */
2168 if (s->txn)
2169 s->txn->rsp.sov = s->txn->rsp.eoh + s->txn->rsp.eol - res->buf->o;
2170
Willy Tarreauce887fd2012-05-12 12:50:00 +02002171 /* if we have no analyser anymore in any direction and have a
Willy Tarreau05cdd962014-05-10 14:30:07 +02002172 * tunnel timeout set, use it now. Note that we must respect
2173 * the half-closed timeouts as well.
Willy Tarreauce887fd2012-05-12 12:50:00 +02002174 */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002175 if (!req->analysers && s->be->timeout.tunnel) {
2176 req->rto = req->wto = res->rto = res->wto =
Willy Tarreauce887fd2012-05-12 12:50:00 +02002177 s->be->timeout.tunnel;
Willy Tarreau05cdd962014-05-10 14:30:07 +02002178
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002179 if ((req->flags & CF_SHUTR) && tick_isset(sess->fe->timeout.clientfin))
2180 res->wto = sess->fe->timeout.clientfin;
Willy Tarreau8f128b42014-11-28 15:07:47 +01002181 if ((req->flags & CF_SHUTW) && tick_isset(s->be->timeout.serverfin))
2182 res->rto = s->be->timeout.serverfin;
2183 if ((res->flags & CF_SHUTR) && tick_isset(s->be->timeout.serverfin))
2184 req->wto = s->be->timeout.serverfin;
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002185 if ((res->flags & CF_SHUTW) && tick_isset(sess->fe->timeout.clientfin))
2186 req->rto = sess->fe->timeout.clientfin;
Willy Tarreau05cdd962014-05-10 14:30:07 +02002187
Willy Tarreau8f128b42014-11-28 15:07:47 +01002188 req->rex = tick_add(now_ms, req->rto);
2189 req->wex = tick_add(now_ms, req->wto);
2190 res->rex = tick_add(now_ms, res->rto);
2191 res->wex = tick_add(now_ms, res->wto);
Willy Tarreauce887fd2012-05-12 12:50:00 +02002192 }
Willy Tarreau6b66f3e2008-12-14 17:31:54 +01002193 }
Willy Tarreauf890dc92008-12-13 21:12:26 +01002194
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002195 /* check if it is wise to enable kernel splicing to forward response data */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002196 if (!(res->flags & (CF_KERN_SPLICING|CF_SHUTR)) &&
2197 res->to_forward &&
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002198 (global.tune.options & GTUNE_USE_SPLICE) &&
Willy Tarreau8f128b42014-11-28 15:07:47 +01002199 (objt_conn(si_f->end) && __objt_conn(si_f->end)->xprt && __objt_conn(si_f->end)->xprt->snd_pipe) &&
2200 (objt_conn(si_b->end) && __objt_conn(si_b->end)->xprt && __objt_conn(si_b->end)->xprt->rcv_pipe) &&
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002201 (pipes_used < global.maxpipes) &&
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002202 (((sess->fe->options2|s->be->options2) & PR_O2_SPLIC_RTR) ||
2203 (((sess->fe->options2|s->be->options2) & PR_O2_SPLIC_AUT) &&
Willy Tarreau8f128b42014-11-28 15:07:47 +01002204 (res->flags & CF_STREAMER_FAST)))) {
2205 res->flags |= CF_KERN_SPLICING;
Willy Tarreau7c84bab2009-03-08 21:38:23 +01002206 }
2207
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002208 /* reflect what the L7 analysers have seen last */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002209 rpf_last = res->flags;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002210
2211 /*
2212 * Now forward all shutdown requests between both sides of the buffer
2213 */
2214
2215 /*
2216 * FIXME: this is probably where we should produce error responses.
2217 */
2218
Willy Tarreau6b66f3e2008-12-14 17:31:54 +01002219 /* first, let's check if the response buffer needs to shutdown(write) */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002220 if (unlikely((res->flags & (CF_SHUTW|CF_SHUTW_NOW|CF_AUTO_CLOSE|CF_SHUTR)) ==
Willy Tarreau05cdd962014-05-10 14:30:07 +02002221 (CF_AUTO_CLOSE|CF_SHUTR))) {
Willy Tarreau8f128b42014-11-28 15:07:47 +01002222 channel_shutw_now(res);
Willy Tarreau05cdd962014-05-10 14:30:07 +02002223 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002224
2225 /* shutdown(write) pending */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002226 if (unlikely((res->flags & (CF_SHUTW|CF_SHUTW_NOW)) == CF_SHUTW_NOW &&
2227 channel_is_empty(res))) {
2228 si_shutw(si_f);
Willy Tarreau05cdd962014-05-10 14:30:07 +02002229 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002230
2231 /* shutdown(write) done on the client side, we must stop the server too */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002232 if (unlikely((res->flags & (CF_SHUTW|CF_SHUTR|CF_SHUTR_NOW)) == CF_SHUTW) &&
2233 !res->analysers)
2234 channel_shutr_now(res);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002235
2236 /* shutdown(read) pending */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002237 if (unlikely((res->flags & (CF_SHUTR|CF_SHUTR_NOW)) == CF_SHUTR_NOW)) {
2238 if (si_b->flags & SI_FL_NOHALF)
2239 si_b->flags |= SI_FL_NOLINGER;
2240 si_shutr(si_b);
Willy Tarreau7bb68ab2012-05-13 14:48:59 +02002241 }
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002242
Willy Tarreau8f128b42014-11-28 15:07:47 +01002243 if (si_f->state == SI_ST_DIS || si_b->state == SI_ST_DIS)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002244 goto resync_stream_interface;
2245
Willy Tarreau8f128b42014-11-28 15:07:47 +01002246 if (req->flags != rqf_last)
Willy Tarreau0be0ef92009-03-08 19:20:25 +01002247 goto resync_request;
2248
Willy Tarreau8f128b42014-11-28 15:07:47 +01002249 if ((res->flags ^ rpf_last) & CF_MASK_STATIC)
Willy Tarreau0be0ef92009-03-08 19:20:25 +01002250 goto resync_response;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002251
Willy Tarreau89f7ef22009-09-05 20:57:35 +02002252 /* we're interested in getting wakeups again */
Willy Tarreau8f128b42014-11-28 15:07:47 +01002253 si_f->flags &= ~SI_FL_DONT_WAKE;
2254 si_b->flags &= ~SI_FL_DONT_WAKE;
Willy Tarreau89f7ef22009-09-05 20:57:35 +02002255
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002256 /* This is needed only when debugging is enabled, to indicate
2257 * client-side or server-side close. Please note that in the unlikely
2258 * event where both sides would close at once, the sequence is reported
2259 * on the server side first.
2260 */
2261 if (unlikely((global.mode & MODE_DEBUG) &&
2262 (!(global.mode & MODE_QUIET) ||
2263 (global.mode & MODE_VERBOSE)))) {
Willy Tarreau8f128b42014-11-28 15:07:47 +01002264 if (si_b->state == SI_ST_CLO &&
2265 si_b->prev_state == SI_ST_EST) {
Willy Tarreau19d14ef2012-10-29 16:51:55 +01002266 chunk_printf(&trash, "%08x:%s.srvcls[%04x:%04x]\n",
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002267 s->uniq_id, s->be->id,
Willy Tarreau8f128b42014-11-28 15:07:47 +01002268 objt_conn(si_f->end) ? (unsigned short)objt_conn(si_f->end)->t.sock.fd : -1,
2269 objt_conn(si_b->end) ? (unsigned short)objt_conn(si_b->end)->t.sock.fd : -1);
Willy Tarreau89efaed2013-12-13 15:14:55 +01002270 shut_your_big_mouth_gcc(write(1, trash.str, trash.len));
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002271 }
2272
Willy Tarreau8f128b42014-11-28 15:07:47 +01002273 if (si_f->state == SI_ST_CLO &&
2274 si_f->prev_state == SI_ST_EST) {
Willy Tarreau19d14ef2012-10-29 16:51:55 +01002275 chunk_printf(&trash, "%08x:%s.clicls[%04x:%04x]\n",
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002276 s->uniq_id, s->be->id,
Willy Tarreau8f128b42014-11-28 15:07:47 +01002277 objt_conn(si_f->end) ? (unsigned short)objt_conn(si_f->end)->t.sock.fd : -1,
2278 objt_conn(si_b->end) ? (unsigned short)objt_conn(si_b->end)->t.sock.fd : -1);
Willy Tarreau89efaed2013-12-13 15:14:55 +01002279 shut_your_big_mouth_gcc(write(1, trash.str, trash.len));
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002280 }
2281 }
2282
Willy Tarreau8f128b42014-11-28 15:07:47 +01002283 if (likely((si_f->state != SI_ST_CLO) ||
2284 (si_b->state > SI_ST_INI && si_b->state < SI_ST_CLO))) {
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002285
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002286 if ((sess->fe->options & PR_O_CONTSTATS) && (s->flags & SF_BE_ASSIGNED))
Willy Tarreau87b09662015-04-03 00:22:06 +02002287 stream_process_counters(s);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002288
Willy Tarreau563cc372015-04-19 18:13:56 +02002289 if (si_f->state == SI_ST_EST)
Willy Tarreau8f128b42014-11-28 15:07:47 +01002290 si_update(si_f);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002291
Willy Tarreau563cc372015-04-19 18:13:56 +02002292 if (si_b->state == SI_ST_EST)
Willy Tarreau8f128b42014-11-28 15:07:47 +01002293 si_update(si_b);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002294
Willy Tarreau8f128b42014-11-28 15:07:47 +01002295 req->flags &= ~(CF_READ_NULL|CF_READ_PARTIAL|CF_WRITE_NULL|CF_WRITE_PARTIAL|CF_READ_ATTACHED);
2296 res->flags &= ~(CF_READ_NULL|CF_READ_PARTIAL|CF_WRITE_NULL|CF_WRITE_PARTIAL|CF_READ_ATTACHED);
2297 si_f->prev_state = si_f->state;
2298 si_b->prev_state = si_b->state;
2299 si_f->flags &= ~(SI_FL_ERR|SI_FL_EXP);
2300 si_b->flags &= ~(SI_FL_ERR|SI_FL_EXP);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002301
Willy Tarreau6f0a7ba2014-06-23 15:22:31 +02002302 /* Trick: if a request is being waiting for the server to respond,
2303 * and if we know the server can timeout, we don't want the timeout
2304 * to expire on the client side first, but we're still interested
2305 * in passing data from the client to the server (eg: POST). Thus,
2306 * we can cancel the client's request timeout if the server's
2307 * request timeout is set and the server has not yet sent a response.
2308 */
2309
Willy Tarreau8f128b42014-11-28 15:07:47 +01002310 if ((res->flags & (CF_AUTO_CLOSE|CF_SHUTR)) == 0 &&
2311 (tick_isset(req->wex) || tick_isset(res->rex))) {
2312 req->flags |= CF_READ_NOEXP;
2313 req->rex = TICK_ETERNITY;
Willy Tarreau6f0a7ba2014-06-23 15:22:31 +02002314 }
2315
Christopher Faulet9d810ca2016-12-08 22:33:52 +01002316 /* Reset pending events now */
2317 s->pending_events = 0;
2318
Willy Tarreau798f4322012-11-08 14:49:17 +01002319 update_exp_and_leave:
Willy Tarreau5fb04712016-05-04 10:18:37 +02002320 /* Note: please ensure that if you branch here you disable SI_FL_DONT_WAKE */
Christopher Fauleta00d8172016-11-10 14:58:05 +01002321 t->expire = tick_first((tick_is_expired(t->expire, now_ms) ? 0 : t->expire),
2322 tick_first(tick_first(req->rex, req->wex),
2323 tick_first(res->rex, res->wex)));
Willy Tarreaudef0d222016-11-08 22:03:00 +01002324 if (!req->analysers)
2325 req->analyse_exp = TICK_ETERNITY;
2326
2327 if ((sess->fe->options & PR_O_CONTSTATS) && (s->flags & SF_BE_ASSIGNED) &&
2328 (!tick_isset(req->analyse_exp) || tick_is_expired(req->analyse_exp, now_ms)))
2329 req->analyse_exp = tick_add(now_ms, 5000);
2330
2331 t->expire = tick_first(t->expire, req->analyse_exp);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002332
Willy Tarreau8f128b42014-11-28 15:07:47 +01002333 if (si_f->exp)
2334 t->expire = tick_first(t->expire, si_f->exp);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002335
Willy Tarreau8f128b42014-11-28 15:07:47 +01002336 if (si_b->exp)
2337 t->expire = tick_first(t->expire, si_b->exp);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002338
2339#ifdef DEBUG_FULL
Willy Tarreau127334e2009-03-28 10:47:26 +01002340 fprintf(stderr,
2341 "[%u] queuing with exp=%u req->rex=%u req->wex=%u req->ana_exp=%u"
2342 " rep->rex=%u rep->wex=%u, si[0].exp=%u, si[1].exp=%u, cs=%d, ss=%d\n",
Willy Tarreau8f128b42014-11-28 15:07:47 +01002343 now_ms, t->expire, req->rex, req->wex, req->analyse_exp,
2344 res->rex, res->wex, si_f->exp, si_b->exp, si_f->state, si_b->state);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002345#endif
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002346
2347#ifdef DEBUG_DEV
2348 /* this may only happen when no timeout is set or in case of an FSM bug */
Willy Tarreaud0a201b2009-03-08 15:53:06 +01002349 if (!tick_isset(t->expire))
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002350 ABORT_NOW();
2351#endif
Christopher Faulet9d810ca2016-12-08 22:33:52 +01002352 s->pending_events &= ~(TASK_WOKEN_TIMER | TASK_WOKEN_RES);
Willy Tarreau87b09662015-04-03 00:22:06 +02002353 stream_release_buffers(s);
Willy Tarreau26c25062009-03-08 09:38:41 +01002354 return t; /* nothing more to do */
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002355 }
2356
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002357 sess->fe->feconn--;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002358 if (s->flags & SF_BE_ASSIGNED)
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002359 s->be->beconn--;
Willy Tarreauaf7ad002010-08-31 15:39:26 +02002360 jobs--;
Willy Tarreaufb0afa72015-04-03 14:46:27 +02002361 if (sess->listener) {
2362 if (!(sess->listener->options & LI_O_UNLIMITED))
Thierry FOURNIERa47a94f2014-03-20 15:42:53 +01002363 actconn--;
Willy Tarreaufb0afa72015-04-03 14:46:27 +02002364 sess->listener->nbconn--;
2365 if (sess->listener->state == LI_FULL)
2366 resume_listener(sess->listener);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002367
Thierry FOURNIERa47a94f2014-03-20 15:42:53 +01002368 /* Dequeues all of the listeners waiting for a resource */
2369 if (!LIST_ISEMPTY(&global_listener_queue))
2370 dequeue_all_listeners(&global_listener_queue);
Willy Tarreau08ceb102011-07-24 22:58:00 +02002371
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002372 if (!LIST_ISEMPTY(&sess->fe->listener_queue) &&
2373 (!sess->fe->fe_sps_lim || freq_ctr_remain(&sess->fe->fe_sess_per_sec, sess->fe->fe_sps_lim, 0) > 0))
2374 dequeue_all_listeners(&sess->fe->listener_queue);
Thierry FOURNIERa47a94f2014-03-20 15:42:53 +01002375 }
Willy Tarreau07687c12011-07-24 23:55:06 +02002376
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002377 if (unlikely((global.mode & MODE_DEBUG) &&
2378 (!(global.mode & MODE_QUIET) || (global.mode & MODE_VERBOSE)))) {
Willy Tarreau19d14ef2012-10-29 16:51:55 +01002379 chunk_printf(&trash, "%08x:%s.closed[%04x:%04x]\n",
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002380 s->uniq_id, s->be->id,
Willy Tarreau8f128b42014-11-28 15:07:47 +01002381 objt_conn(si_f->end) ? (unsigned short)objt_conn(si_f->end)->t.sock.fd : -1,
2382 objt_conn(si_b->end) ? (unsigned short)objt_conn(si_b->end)->t.sock.fd : -1);
Willy Tarreau89efaed2013-12-13 15:14:55 +01002383 shut_your_big_mouth_gcc(write(1, trash.str, trash.len));
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002384 }
2385
2386 s->logs.t_close = tv_ms_elapsed(&s->logs.tv_accept, &now);
Willy Tarreau87b09662015-04-03 00:22:06 +02002387 stream_process_counters(s);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002388
Willy Tarreaueee5b512015-04-03 23:46:31 +02002389 if (s->txn && s->txn->status) {
Krzysztof Piotr Oledzkide71d162009-10-24 15:36:15 +02002390 int n;
2391
Willy Tarreaueee5b512015-04-03 23:46:31 +02002392 n = s->txn->status / 100;
Krzysztof Piotr Oledzkide71d162009-10-24 15:36:15 +02002393 if (n < 1 || n > 5)
2394 n = 0;
2395
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002396 if (sess->fe->mode == PR_MODE_HTTP) {
2397 sess->fe->fe_counters.p.http.rsp[n]++;
Willy Tarreau5e16cbc2012-11-24 14:54:13 +01002398 }
Willy Tarreaue7dff022015-04-03 01:14:29 +02002399 if ((s->flags & SF_BE_ASSIGNED) &&
Willy Tarreau5e16cbc2012-11-24 14:54:13 +01002400 (s->be->mode == PR_MODE_HTTP)) {
Willy Tarreau7d0aaf32011-03-10 23:25:56 +01002401 s->be->be_counters.p.http.rsp[n]++;
Willy Tarreau5e16cbc2012-11-24 14:54:13 +01002402 s->be->be_counters.p.http.cum_req++;
Willy Tarreau5e16cbc2012-11-24 14:54:13 +01002403 }
Krzysztof Piotr Oledzkide71d162009-10-24 15:36:15 +02002404 }
2405
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002406 /* let's do a final log if we need it */
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002407 if (!LIST_ISEMPTY(&sess->fe->logformat) && s->logs.logwait &&
Willy Tarreaue7dff022015-04-03 01:14:29 +02002408 !(s->flags & SF_MONITOR) &&
Willy Tarreaue36cbcb2015-04-03 15:40:56 +02002409 (!(sess->fe->options & PR_O_NULLNOLOG) || req->total)) {
Willy Tarreaua5555ec2008-11-30 19:02:32 +01002410 s->do_log(s);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002411 }
2412
Willy Tarreau87b09662015-04-03 00:22:06 +02002413 /* update time stats for this stream */
2414 stream_update_time_stats(s);
Willy Tarreau4bfc5802014-06-17 12:19:18 +02002415
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002416 /* the task MUST not be in the run queue anymore */
Willy Tarreau87b09662015-04-03 00:22:06 +02002417 stream_free(s);
Willy Tarreau26c25062009-03-08 09:38:41 +01002418 task_delete(t);
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002419 task_free(t);
Willy Tarreau26c25062009-03-08 09:38:41 +01002420 return NULL;
Willy Tarreau55a8d0e2008-11-30 18:47:21 +01002421}
2422
Willy Tarreau87b09662015-04-03 00:22:06 +02002423/* Update the stream's backend and server time stats */
2424void stream_update_time_stats(struct stream *s)
Willy Tarreau4bfc5802014-06-17 12:19:18 +02002425{
2426 int t_request;
2427 int t_queue;
2428 int t_connect;
2429 int t_data;
2430 int t_close;
2431 struct server *srv;
2432
2433 t_request = 0;
2434 t_queue = s->logs.t_queue;
2435 t_connect = s->logs.t_connect;
2436 t_close = s->logs.t_close;
2437 t_data = s->logs.t_data;
2438
2439 if (s->be->mode != PR_MODE_HTTP)
2440 t_data = t_connect;
2441
2442 if (t_connect < 0 || t_data < 0)
2443 return;
2444
2445 if (tv_isge(&s->logs.tv_request, &s->logs.tv_accept))
2446 t_request = tv_ms_elapsed(&s->logs.tv_accept, &s->logs.tv_request);
2447
2448 t_data -= t_connect;
2449 t_connect -= t_queue;
2450 t_queue -= t_request;
2451
2452 srv = objt_server(s->target);
2453 if (srv) {
2454 swrate_add(&srv->counters.q_time, TIME_STATS_SAMPLES, t_queue);
2455 swrate_add(&srv->counters.c_time, TIME_STATS_SAMPLES, t_connect);
2456 swrate_add(&srv->counters.d_time, TIME_STATS_SAMPLES, t_data);
2457 swrate_add(&srv->counters.t_time, TIME_STATS_SAMPLES, t_close);
2458 }
2459 swrate_add(&s->be->be_counters.q_time, TIME_STATS_SAMPLES, t_queue);
2460 swrate_add(&s->be->be_counters.c_time, TIME_STATS_SAMPLES, t_connect);
2461 swrate_add(&s->be->be_counters.d_time, TIME_STATS_SAMPLES, t_data);
2462 swrate_add(&s->be->be_counters.t_time, TIME_STATS_SAMPLES, t_close);
2463}
2464
Willy Tarreau7c669d72008-06-20 15:04:11 +02002465/*
2466 * This function adjusts sess->srv_conn and maintains the previous and new
Willy Tarreau87b09662015-04-03 00:22:06 +02002467 * server's served stream counts. Setting newsrv to NULL is enough to release
Willy Tarreau7c669d72008-06-20 15:04:11 +02002468 * current connection slot. This function also notifies any LB algo which might
Willy Tarreau87b09662015-04-03 00:22:06 +02002469 * expect to be informed about any change in the number of active streams on a
Willy Tarreau7c669d72008-06-20 15:04:11 +02002470 * server.
2471 */
Willy Tarreau87b09662015-04-03 00:22:06 +02002472void sess_change_server(struct stream *sess, struct server *newsrv)
Willy Tarreau7c669d72008-06-20 15:04:11 +02002473{
2474 if (sess->srv_conn == newsrv)
2475 return;
2476
2477 if (sess->srv_conn) {
2478 sess->srv_conn->served--;
Andrew Rodlande168feb2016-10-25 12:48:17 -04002479 sess->srv_conn->proxy->served--;
Willy Tarreau7c669d72008-06-20 15:04:11 +02002480 if (sess->srv_conn->proxy->lbprm.server_drop_conn)
2481 sess->srv_conn->proxy->lbprm.server_drop_conn(sess->srv_conn);
Willy Tarreau87b09662015-04-03 00:22:06 +02002482 stream_del_srv_conn(sess);
Willy Tarreau7c669d72008-06-20 15:04:11 +02002483 }
2484
2485 if (newsrv) {
2486 newsrv->served++;
Andrew Rodlande168feb2016-10-25 12:48:17 -04002487 newsrv->proxy->served++;
Willy Tarreau7c669d72008-06-20 15:04:11 +02002488 if (newsrv->proxy->lbprm.server_take_conn)
2489 newsrv->proxy->lbprm.server_take_conn(newsrv);
Willy Tarreau87b09662015-04-03 00:22:06 +02002490 stream_add_srv_conn(sess, newsrv);
Willy Tarreau7c669d72008-06-20 15:04:11 +02002491 }
2492}
2493
Willy Tarreau84455332009-03-15 22:34:05 +01002494/* Handle server-side errors for default protocols. It is called whenever a a
2495 * connection setup is aborted or a request is aborted in queue. It sets the
Willy Tarreau87b09662015-04-03 00:22:06 +02002496 * stream termination flags so that the caller does not have to worry about
Willy Tarreau84455332009-03-15 22:34:05 +01002497 * them. It's installed as ->srv_error for the server-side stream_interface.
2498 */
Willy Tarreau87b09662015-04-03 00:22:06 +02002499void default_srv_error(struct stream *s, struct stream_interface *si)
Willy Tarreau84455332009-03-15 22:34:05 +01002500{
2501 int err_type = si->err_type;
2502 int err = 0, fin = 0;
2503
2504 if (err_type & SI_ET_QUEUE_ABRT) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002505 err = SF_ERR_CLICL;
2506 fin = SF_FINST_Q;
Willy Tarreau84455332009-03-15 22:34:05 +01002507 }
2508 else if (err_type & SI_ET_CONN_ABRT) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002509 err = SF_ERR_CLICL;
2510 fin = SF_FINST_C;
Willy Tarreau84455332009-03-15 22:34:05 +01002511 }
2512 else if (err_type & SI_ET_QUEUE_TO) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002513 err = SF_ERR_SRVTO;
2514 fin = SF_FINST_Q;
Willy Tarreau84455332009-03-15 22:34:05 +01002515 }
2516 else if (err_type & SI_ET_QUEUE_ERR) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002517 err = SF_ERR_SRVCL;
2518 fin = SF_FINST_Q;
Willy Tarreau84455332009-03-15 22:34:05 +01002519 }
2520 else if (err_type & SI_ET_CONN_TO) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002521 err = SF_ERR_SRVTO;
2522 fin = SF_FINST_C;
Willy Tarreau84455332009-03-15 22:34:05 +01002523 }
2524 else if (err_type & SI_ET_CONN_ERR) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002525 err = SF_ERR_SRVCL;
2526 fin = SF_FINST_C;
Willy Tarreau84455332009-03-15 22:34:05 +01002527 }
Willy Tarreau2d400bb2012-05-14 12:11:47 +02002528 else if (err_type & SI_ET_CONN_RES) {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002529 err = SF_ERR_RESOURCE;
2530 fin = SF_FINST_C;
Willy Tarreau2d400bb2012-05-14 12:11:47 +02002531 }
Willy Tarreau84455332009-03-15 22:34:05 +01002532 else /* SI_ET_CONN_OTHER and others */ {
Willy Tarreaue7dff022015-04-03 01:14:29 +02002533 err = SF_ERR_INTERNAL;
2534 fin = SF_FINST_C;
Willy Tarreau84455332009-03-15 22:34:05 +01002535 }
2536
Willy Tarreaue7dff022015-04-03 01:14:29 +02002537 if (!(s->flags & SF_ERR_MASK))
Willy Tarreau84455332009-03-15 22:34:05 +01002538 s->flags |= err;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002539 if (!(s->flags & SF_FINST_MASK))
Willy Tarreau84455332009-03-15 22:34:05 +01002540 s->flags |= fin;
2541}
Willy Tarreau7c669d72008-06-20 15:04:11 +02002542
Willy Tarreaue7dff022015-04-03 01:14:29 +02002543/* kill a stream and set the termination flags to <why> (one of SF_ERR_*) */
Willy Tarreau87b09662015-04-03 00:22:06 +02002544void stream_shutdown(struct stream *stream, int why)
Willy Tarreaua2a64e92011-09-07 23:01:56 +02002545{
Willy Tarreau87b09662015-04-03 00:22:06 +02002546 if (stream->req.flags & (CF_SHUTW|CF_SHUTW_NOW))
Willy Tarreaua2a64e92011-09-07 23:01:56 +02002547 return;
2548
Willy Tarreau87b09662015-04-03 00:22:06 +02002549 channel_shutw_now(&stream->req);
2550 channel_shutr_now(&stream->res);
2551 stream->task->nice = 1024;
Willy Tarreaue7dff022015-04-03 01:14:29 +02002552 if (!(stream->flags & SF_ERR_MASK))
Willy Tarreau87b09662015-04-03 00:22:06 +02002553 stream->flags |= why;
2554 task_wakeup(stream->task, TASK_WOKEN_OTHER);
Willy Tarreaua2a64e92011-09-07 23:01:56 +02002555}
Willy Tarreau9ba2dcc2010-06-14 21:04:55 +02002556
Willy Tarreau8b22a712010-06-18 17:46:06 +02002557/************************************************************************/
2558/* All supported ACL keywords must be declared here. */
2559/************************************************************************/
2560
Thierry FOURNIER5a363e72015-09-27 19:29:33 +02002561/* 0=OK, <0=Alert, >0=Warning */
2562static enum act_parse_ret stream_parse_use_service(const char **args, int *cur_arg,
2563 struct proxy *px, struct act_rule *rule,
2564 char **err)
2565{
2566 struct action_kw *kw;
2567
2568 /* Check if the service name exists. */
2569 if (*(args[*cur_arg]) == 0) {
2570 memprintf(err, "'%s' expects a service name.", args[0]);
Thierry FOURNIER337eae12015-11-26 19:48:04 +01002571 return ACT_RET_PRS_ERR;
Thierry FOURNIER5a363e72015-09-27 19:29:33 +02002572 }
2573
2574 /* lookup for keyword corresponding to a service. */
2575 kw = action_lookup(&service_keywords, args[*cur_arg]);
2576 if (!kw) {
2577 memprintf(err, "'%s' unknown service name.", args[1]);
2578 return ACT_RET_PRS_ERR;
2579 }
2580 (*cur_arg)++;
2581
2582 /* executes specific rule parser. */
2583 rule->kw = kw;
2584 if (kw->parse((const char **)args, cur_arg, px, rule, err) == ACT_RET_PRS_ERR)
2585 return ACT_RET_PRS_ERR;
2586
2587 /* Register processing function. */
2588 rule->action_ptr = process_use_service;
2589 rule->action = ACT_CUSTOM;
2590
2591 return ACT_RET_PRS_OK;
2592}
2593
2594void service_keywords_register(struct action_kw_list *kw_list)
2595{
2596 LIST_ADDQ(&service_keywords, &kw_list->list);
2597}
2598
William Lallemand4c5b4d52016-11-21 08:51:11 +01002599
2600/* This function dumps a complete stream state onto the stream interface's
2601 * read buffer. The stream has to be set in strm. It returns 0 if the output
2602 * buffer is full and it needs to be called again, otherwise non-zero. It is
2603 * designed to be called from stats_dump_strm_to_buffer() below.
2604 */
2605static int stats_dump_full_strm_to_buffer(struct stream_interface *si, struct stream *strm)
2606{
2607 struct appctx *appctx = __objt_appctx(si->end);
2608 struct tm tm;
2609 extern const char *monthname[12];
2610 char pn[INET6_ADDRSTRLEN];
2611 struct connection *conn;
2612 struct appctx *tmpctx;
2613
2614 chunk_reset(&trash);
2615
2616 if (appctx->ctx.sess.section > 0 && appctx->ctx.sess.uid != strm->uniq_id) {
2617 /* stream changed, no need to go any further */
2618 chunk_appendf(&trash, " *** session terminated while we were watching it ***\n");
2619 if (bi_putchk(si_ic(si), &trash) == -1) {
2620 si_applet_cant_put(si);
2621 return 0;
2622 }
2623 appctx->ctx.sess.uid = 0;
2624 appctx->ctx.sess.section = 0;
2625 return 1;
2626 }
2627
2628 switch (appctx->ctx.sess.section) {
2629 case 0: /* main status of the stream */
2630 appctx->ctx.sess.uid = strm->uniq_id;
2631 appctx->ctx.sess.section = 1;
2632 /* fall through */
2633
2634 case 1:
2635 get_localtime(strm->logs.accept_date.tv_sec, &tm);
2636 chunk_appendf(&trash,
2637 "%p: [%02d/%s/%04d:%02d:%02d:%02d.%06d] id=%u proto=%s",
2638 strm,
2639 tm.tm_mday, monthname[tm.tm_mon], tm.tm_year+1900,
2640 tm.tm_hour, tm.tm_min, tm.tm_sec, (int)(strm->logs.accept_date.tv_usec),
2641 strm->uniq_id,
2642 strm_li(strm) ? strm_li(strm)->proto->name : "?");
2643
2644 conn = objt_conn(strm_orig(strm));
2645 switch (conn ? addr_to_str(&conn->addr.from, pn, sizeof(pn)) : AF_UNSPEC) {
2646 case AF_INET:
2647 case AF_INET6:
2648 chunk_appendf(&trash, " source=%s:%d\n",
2649 pn, get_host_port(&conn->addr.from));
2650 break;
2651 case AF_UNIX:
2652 chunk_appendf(&trash, " source=unix:%d\n", strm_li(strm)->luid);
2653 break;
2654 default:
2655 /* no more information to print right now */
2656 chunk_appendf(&trash, "\n");
2657 break;
2658 }
2659
2660 chunk_appendf(&trash,
2661 " flags=0x%x, conn_retries=%d, srv_conn=%p, pend_pos=%p\n",
2662 strm->flags, strm->si[1].conn_retries, strm->srv_conn, strm->pend_pos);
2663
2664 chunk_appendf(&trash,
2665 " frontend=%s (id=%u mode=%s), listener=%s (id=%u)",
2666 strm_fe(strm)->id, strm_fe(strm)->uuid, strm_fe(strm)->mode ? "http" : "tcp",
2667 strm_li(strm) ? strm_li(strm)->name ? strm_li(strm)->name : "?" : "?",
2668 strm_li(strm) ? strm_li(strm)->luid : 0);
2669
2670 if (conn)
2671 conn_get_to_addr(conn);
2672
2673 switch (conn ? addr_to_str(&conn->addr.to, pn, sizeof(pn)) : AF_UNSPEC) {
2674 case AF_INET:
2675 case AF_INET6:
2676 chunk_appendf(&trash, " addr=%s:%d\n",
2677 pn, get_host_port(&conn->addr.to));
2678 break;
2679 case AF_UNIX:
2680 chunk_appendf(&trash, " addr=unix:%d\n", strm_li(strm)->luid);
2681 break;
2682 default:
2683 /* no more information to print right now */
2684 chunk_appendf(&trash, "\n");
2685 break;
2686 }
2687
2688 if (strm->be->cap & PR_CAP_BE)
2689 chunk_appendf(&trash,
2690 " backend=%s (id=%u mode=%s)",
2691 strm->be->id,
2692 strm->be->uuid, strm->be->mode ? "http" : "tcp");
2693 else
2694 chunk_appendf(&trash, " backend=<NONE> (id=-1 mode=-)");
2695
2696 conn = objt_conn(strm->si[1].end);
2697 if (conn)
2698 conn_get_from_addr(conn);
2699
2700 switch (conn ? addr_to_str(&conn->addr.from, pn, sizeof(pn)) : AF_UNSPEC) {
2701 case AF_INET:
2702 case AF_INET6:
2703 chunk_appendf(&trash, " addr=%s:%d\n",
2704 pn, get_host_port(&conn->addr.from));
2705 break;
2706 case AF_UNIX:
2707 chunk_appendf(&trash, " addr=unix\n");
2708 break;
2709 default:
2710 /* no more information to print right now */
2711 chunk_appendf(&trash, "\n");
2712 break;
2713 }
2714
2715 if (strm->be->cap & PR_CAP_BE)
2716 chunk_appendf(&trash,
2717 " server=%s (id=%u)",
2718 objt_server(strm->target) ? objt_server(strm->target)->id : "<none>",
2719 objt_server(strm->target) ? objt_server(strm->target)->puid : 0);
2720 else
2721 chunk_appendf(&trash, " server=<NONE> (id=-1)");
2722
2723 if (conn)
2724 conn_get_to_addr(conn);
2725
2726 switch (conn ? addr_to_str(&conn->addr.to, pn, sizeof(pn)) : AF_UNSPEC) {
2727 case AF_INET:
2728 case AF_INET6:
2729 chunk_appendf(&trash, " addr=%s:%d\n",
2730 pn, get_host_port(&conn->addr.to));
2731 break;
2732 case AF_UNIX:
2733 chunk_appendf(&trash, " addr=unix\n");
2734 break;
2735 default:
2736 /* no more information to print right now */
2737 chunk_appendf(&trash, "\n");
2738 break;
2739 }
2740
2741 chunk_appendf(&trash,
2742 " task=%p (state=0x%02x nice=%d calls=%d exp=%s%s",
2743 strm->task,
2744 strm->task->state,
2745 strm->task->nice, strm->task->calls,
2746 strm->task->expire ?
2747 tick_is_expired(strm->task->expire, now_ms) ? "<PAST>" :
2748 human_time(TICKS_TO_MS(strm->task->expire - now_ms),
2749 TICKS_TO_MS(1000)) : "<NEVER>",
2750 task_in_rq(strm->task) ? ", running" : "");
2751
2752 chunk_appendf(&trash,
2753 " age=%s)\n",
2754 human_time(now.tv_sec - strm->logs.accept_date.tv_sec, 1));
2755
2756 if (strm->txn)
2757 chunk_appendf(&trash,
2758 " txn=%p flags=0x%x meth=%d status=%d req.st=%s rsp.st=%s waiting=%d\n",
2759 strm->txn, strm->txn->flags, strm->txn->meth, strm->txn->status,
Christopher Fauleta73e59b2016-12-09 17:30:18 +01002760 http_msg_state_str(strm->txn->req.msg_state), http_msg_state_str(strm->txn->rsp.msg_state), !LIST_ISEMPTY(&strm->buffer_wait.list));
William Lallemand4c5b4d52016-11-21 08:51:11 +01002761
2762 chunk_appendf(&trash,
2763 " si[0]=%p (state=%s flags=0x%02x endp0=%s:%p exp=%s, et=0x%03x)\n",
2764 &strm->si[0],
2765 si_state_str(strm->si[0].state),
2766 strm->si[0].flags,
2767 obj_type_name(strm->si[0].end),
2768 obj_base_ptr(strm->si[0].end),
2769 strm->si[0].exp ?
2770 tick_is_expired(strm->si[0].exp, now_ms) ? "<PAST>" :
2771 human_time(TICKS_TO_MS(strm->si[0].exp - now_ms),
2772 TICKS_TO_MS(1000)) : "<NEVER>",
2773 strm->si[0].err_type);
2774
2775 chunk_appendf(&trash,
2776 " si[1]=%p (state=%s flags=0x%02x endp1=%s:%p exp=%s, et=0x%03x)\n",
2777 &strm->si[1],
2778 si_state_str(strm->si[1].state),
2779 strm->si[1].flags,
2780 obj_type_name(strm->si[1].end),
2781 obj_base_ptr(strm->si[1].end),
2782 strm->si[1].exp ?
2783 tick_is_expired(strm->si[1].exp, now_ms) ? "<PAST>" :
2784 human_time(TICKS_TO_MS(strm->si[1].exp - now_ms),
2785 TICKS_TO_MS(1000)) : "<NEVER>",
2786 strm->si[1].err_type);
2787
2788 if ((conn = objt_conn(strm->si[0].end)) != NULL) {
2789 chunk_appendf(&trash,
2790 " co0=%p ctrl=%s xprt=%s data=%s target=%s:%p\n",
2791 conn,
2792 conn_get_ctrl_name(conn),
2793 conn_get_xprt_name(conn),
2794 conn_get_data_name(conn),
2795 obj_type_name(conn->target),
2796 obj_base_ptr(conn->target));
2797
2798 chunk_appendf(&trash,
2799 " flags=0x%08x fd=%d fd.state=%02x fd.cache=%d updt=%d\n",
2800 conn->flags,
2801 conn->t.sock.fd,
2802 conn->t.sock.fd >= 0 ? fdtab[conn->t.sock.fd].state : 0,
2803 conn->t.sock.fd >= 0 ? fdtab[conn->t.sock.fd].cache : 0,
2804 conn->t.sock.fd >= 0 ? fdtab[conn->t.sock.fd].updated : 0);
2805 }
2806 else if ((tmpctx = objt_appctx(strm->si[0].end)) != NULL) {
2807 chunk_appendf(&trash,
2808 " app0=%p st0=%d st1=%d st2=%d applet=%s\n",
2809 tmpctx,
2810 tmpctx->st0,
2811 tmpctx->st1,
2812 tmpctx->st2,
2813 tmpctx->applet->name);
2814 }
2815
2816 if ((conn = objt_conn(strm->si[1].end)) != NULL) {
2817 chunk_appendf(&trash,
2818 " co1=%p ctrl=%s xprt=%s data=%s target=%s:%p\n",
2819 conn,
2820 conn_get_ctrl_name(conn),
2821 conn_get_xprt_name(conn),
2822 conn_get_data_name(conn),
2823 obj_type_name(conn->target),
2824 obj_base_ptr(conn->target));
2825
2826 chunk_appendf(&trash,
2827 " flags=0x%08x fd=%d fd.state=%02x fd.cache=%d updt=%d\n",
2828 conn->flags,
2829 conn->t.sock.fd,
2830 conn->t.sock.fd >= 0 ? fdtab[conn->t.sock.fd].state : 0,
2831 conn->t.sock.fd >= 0 ? fdtab[conn->t.sock.fd].cache : 0,
2832 conn->t.sock.fd >= 0 ? fdtab[conn->t.sock.fd].updated : 0);
2833 }
2834 else if ((tmpctx = objt_appctx(strm->si[1].end)) != NULL) {
2835 chunk_appendf(&trash,
2836 " app1=%p st0=%d st1=%d st2=%d applet=%s\n",
2837 tmpctx,
2838 tmpctx->st0,
2839 tmpctx->st1,
2840 tmpctx->st2,
2841 tmpctx->applet->name);
2842 }
2843
2844 chunk_appendf(&trash,
2845 " req=%p (f=0x%06x an=0x%x pipe=%d tofwd=%d total=%lld)\n"
2846 " an_exp=%s",
2847 &strm->req,
2848 strm->req.flags, strm->req.analysers,
2849 strm->req.pipe ? strm->req.pipe->data : 0,
2850 strm->req.to_forward, strm->req.total,
2851 strm->req.analyse_exp ?
2852 human_time(TICKS_TO_MS(strm->req.analyse_exp - now_ms),
2853 TICKS_TO_MS(1000)) : "<NEVER>");
2854
2855 chunk_appendf(&trash,
2856 " rex=%s",
2857 strm->req.rex ?
2858 human_time(TICKS_TO_MS(strm->req.rex - now_ms),
2859 TICKS_TO_MS(1000)) : "<NEVER>");
2860
2861 chunk_appendf(&trash,
2862 " wex=%s\n"
2863 " buf=%p data=%p o=%d p=%d req.next=%d i=%d size=%d\n",
2864 strm->req.wex ?
2865 human_time(TICKS_TO_MS(strm->req.wex - now_ms),
2866 TICKS_TO_MS(1000)) : "<NEVER>",
2867 strm->req.buf,
2868 strm->req.buf->data, strm->req.buf->o,
2869 (int)(strm->req.buf->p - strm->req.buf->data),
2870 strm->txn ? strm->txn->req.next : 0, strm->req.buf->i,
2871 strm->req.buf->size);
2872
2873 chunk_appendf(&trash,
2874 " res=%p (f=0x%06x an=0x%x pipe=%d tofwd=%d total=%lld)\n"
2875 " an_exp=%s",
2876 &strm->res,
2877 strm->res.flags, strm->res.analysers,
2878 strm->res.pipe ? strm->res.pipe->data : 0,
2879 strm->res.to_forward, strm->res.total,
2880 strm->res.analyse_exp ?
2881 human_time(TICKS_TO_MS(strm->res.analyse_exp - now_ms),
2882 TICKS_TO_MS(1000)) : "<NEVER>");
2883
2884 chunk_appendf(&trash,
2885 " rex=%s",
2886 strm->res.rex ?
2887 human_time(TICKS_TO_MS(strm->res.rex - now_ms),
2888 TICKS_TO_MS(1000)) : "<NEVER>");
2889
2890 chunk_appendf(&trash,
2891 " wex=%s\n"
2892 " buf=%p data=%p o=%d p=%d rsp.next=%d i=%d size=%d\n",
2893 strm->res.wex ?
2894 human_time(TICKS_TO_MS(strm->res.wex - now_ms),
2895 TICKS_TO_MS(1000)) : "<NEVER>",
2896 strm->res.buf,
2897 strm->res.buf->data, strm->res.buf->o,
2898 (int)(strm->res.buf->p - strm->res.buf->data),
2899 strm->txn ? strm->txn->rsp.next : 0, strm->res.buf->i,
2900 strm->res.buf->size);
2901
2902 if (bi_putchk(si_ic(si), &trash) == -1) {
2903 si_applet_cant_put(si);
2904 return 0;
2905 }
2906
2907 /* use other states to dump the contents */
2908 }
2909 /* end of dump */
2910 appctx->ctx.sess.uid = 0;
2911 appctx->ctx.sess.section = 0;
2912 return 1;
2913}
2914
2915
2916static int cli_parse_show_sess(char **args, struct appctx *appctx, void *private)
2917{
William Lallemand4c5b4d52016-11-21 08:51:11 +01002918 if (!cli_has_level(appctx, ACCESS_LVL_OPER))
2919 return 1;
2920
2921 if (*args[2] && strcmp(args[2], "all") == 0)
2922 appctx->ctx.sess.target = (void *)-1;
2923 else if (*args[2])
2924 appctx->ctx.sess.target = (void *)strtoul(args[2], NULL, 0);
2925 else
2926 appctx->ctx.sess.target = NULL;
2927 appctx->ctx.sess.section = 0; /* start with stream status */
2928 appctx->ctx.sess.pos = 0;
2929
2930 return 0;
2931}
2932
2933/* This function dumps all streams' states onto the stream interface's
2934 * read buffer. It returns 0 if the output buffer is full and it needs
2935 * to be called again, otherwise non-zero. It is designed to be called
2936 * from stats_dump_sess_to_buffer() below.
2937 */
2938static int cli_io_handler_dump_sess(struct appctx *appctx)
2939{
2940 struct stream_interface *si = appctx->owner;
2941 struct connection *conn;
2942
2943 if (unlikely(si_ic(si)->flags & (CF_WRITE_ERROR|CF_SHUTW))) {
2944 /* If we're forced to shut down, we might have to remove our
2945 * reference to the last stream being dumped.
2946 */
2947 if (appctx->st2 == STAT_ST_LIST) {
2948 if (!LIST_ISEMPTY(&appctx->ctx.sess.bref.users)) {
2949 LIST_DEL(&appctx->ctx.sess.bref.users);
2950 LIST_INIT(&appctx->ctx.sess.bref.users);
2951 }
2952 }
2953 return 1;
2954 }
2955
2956 chunk_reset(&trash);
2957
2958 switch (appctx->st2) {
2959 case STAT_ST_INIT:
2960 /* the function had not been called yet, let's prepare the
2961 * buffer for a response. We initialize the current stream
2962 * pointer to the first in the global list. When a target
2963 * stream is being destroyed, it is responsible for updating
2964 * this pointer. We know we have reached the end when this
2965 * pointer points back to the head of the streams list.
2966 */
2967 LIST_INIT(&appctx->ctx.sess.bref.users);
2968 appctx->ctx.sess.bref.ref = streams.n;
2969 appctx->st2 = STAT_ST_LIST;
2970 /* fall through */
2971
2972 case STAT_ST_LIST:
2973 /* first, let's detach the back-ref from a possible previous stream */
2974 if (!LIST_ISEMPTY(&appctx->ctx.sess.bref.users)) {
2975 LIST_DEL(&appctx->ctx.sess.bref.users);
2976 LIST_INIT(&appctx->ctx.sess.bref.users);
2977 }
2978
2979 /* and start from where we stopped */
2980 while (appctx->ctx.sess.bref.ref != &streams) {
2981 char pn[INET6_ADDRSTRLEN];
2982 struct stream *curr_strm;
2983
2984 curr_strm = LIST_ELEM(appctx->ctx.sess.bref.ref, struct stream *, list);
2985
2986 if (appctx->ctx.sess.target) {
2987 if (appctx->ctx.sess.target != (void *)-1 && appctx->ctx.sess.target != curr_strm)
2988 goto next_sess;
2989
2990 LIST_ADDQ(&curr_strm->back_refs, &appctx->ctx.sess.bref.users);
2991 /* call the proper dump() function and return if we're missing space */
2992 if (!stats_dump_full_strm_to_buffer(si, curr_strm))
2993 return 0;
2994
2995 /* stream dump complete */
2996 LIST_DEL(&appctx->ctx.sess.bref.users);
2997 LIST_INIT(&appctx->ctx.sess.bref.users);
2998 if (appctx->ctx.sess.target != (void *)-1) {
2999 appctx->ctx.sess.target = NULL;
3000 break;
3001 }
3002 else
3003 goto next_sess;
3004 }
3005
3006 chunk_appendf(&trash,
3007 "%p: proto=%s",
3008 curr_strm,
3009 strm_li(curr_strm) ? strm_li(curr_strm)->proto->name : "?");
3010
3011 conn = objt_conn(strm_orig(curr_strm));
3012 switch (conn ? addr_to_str(&conn->addr.from, pn, sizeof(pn)) : AF_UNSPEC) {
3013 case AF_INET:
3014 case AF_INET6:
3015 chunk_appendf(&trash,
3016 " src=%s:%d fe=%s be=%s srv=%s",
3017 pn,
3018 get_host_port(&conn->addr.from),
3019 strm_fe(curr_strm)->id,
3020 (curr_strm->be->cap & PR_CAP_BE) ? curr_strm->be->id : "<NONE>",
3021 objt_server(curr_strm->target) ? objt_server(curr_strm->target)->id : "<none>"
3022 );
3023 break;
3024 case AF_UNIX:
3025 chunk_appendf(&trash,
3026 " src=unix:%d fe=%s be=%s srv=%s",
3027 strm_li(curr_strm)->luid,
3028 strm_fe(curr_strm)->id,
3029 (curr_strm->be->cap & PR_CAP_BE) ? curr_strm->be->id : "<NONE>",
3030 objt_server(curr_strm->target) ? objt_server(curr_strm->target)->id : "<none>"
3031 );
3032 break;
3033 }
3034
3035 chunk_appendf(&trash,
3036 " ts=%02x age=%s calls=%d",
3037 curr_strm->task->state,
3038 human_time(now.tv_sec - curr_strm->logs.tv_accept.tv_sec, 1),
3039 curr_strm->task->calls);
3040
3041 chunk_appendf(&trash,
3042 " rq[f=%06xh,i=%d,an=%02xh,rx=%s",
3043 curr_strm->req.flags,
3044 curr_strm->req.buf->i,
3045 curr_strm->req.analysers,
3046 curr_strm->req.rex ?
3047 human_time(TICKS_TO_MS(curr_strm->req.rex - now_ms),
3048 TICKS_TO_MS(1000)) : "");
3049
3050 chunk_appendf(&trash,
3051 ",wx=%s",
3052 curr_strm->req.wex ?
3053 human_time(TICKS_TO_MS(curr_strm->req.wex - now_ms),
3054 TICKS_TO_MS(1000)) : "");
3055
3056 chunk_appendf(&trash,
3057 ",ax=%s]",
3058 curr_strm->req.analyse_exp ?
3059 human_time(TICKS_TO_MS(curr_strm->req.analyse_exp - now_ms),
3060 TICKS_TO_MS(1000)) : "");
3061
3062 chunk_appendf(&trash,
3063 " rp[f=%06xh,i=%d,an=%02xh,rx=%s",
3064 curr_strm->res.flags,
3065 curr_strm->res.buf->i,
3066 curr_strm->res.analysers,
3067 curr_strm->res.rex ?
3068 human_time(TICKS_TO_MS(curr_strm->res.rex - now_ms),
3069 TICKS_TO_MS(1000)) : "");
3070
3071 chunk_appendf(&trash,
3072 ",wx=%s",
3073 curr_strm->res.wex ?
3074 human_time(TICKS_TO_MS(curr_strm->res.wex - now_ms),
3075 TICKS_TO_MS(1000)) : "");
3076
3077 chunk_appendf(&trash,
3078 ",ax=%s]",
3079 curr_strm->res.analyse_exp ?
3080 human_time(TICKS_TO_MS(curr_strm->res.analyse_exp - now_ms),
3081 TICKS_TO_MS(1000)) : "");
3082
3083 conn = objt_conn(curr_strm->si[0].end);
3084 chunk_appendf(&trash,
3085 " s0=[%d,%1xh,fd=%d,ex=%s]",
3086 curr_strm->si[0].state,
3087 curr_strm->si[0].flags,
3088 conn ? conn->t.sock.fd : -1,
3089 curr_strm->si[0].exp ?
3090 human_time(TICKS_TO_MS(curr_strm->si[0].exp - now_ms),
3091 TICKS_TO_MS(1000)) : "");
3092
3093 conn = objt_conn(curr_strm->si[1].end);
3094 chunk_appendf(&trash,
3095 " s1=[%d,%1xh,fd=%d,ex=%s]",
3096 curr_strm->si[1].state,
3097 curr_strm->si[1].flags,
3098 conn ? conn->t.sock.fd : -1,
3099 curr_strm->si[1].exp ?
3100 human_time(TICKS_TO_MS(curr_strm->si[1].exp - now_ms),
3101 TICKS_TO_MS(1000)) : "");
3102
3103 chunk_appendf(&trash,
3104 " exp=%s",
3105 curr_strm->task->expire ?
3106 human_time(TICKS_TO_MS(curr_strm->task->expire - now_ms),
3107 TICKS_TO_MS(1000)) : "");
3108 if (task_in_rq(curr_strm->task))
3109 chunk_appendf(&trash, " run(nice=%d)", curr_strm->task->nice);
3110
3111 chunk_appendf(&trash, "\n");
3112
3113 if (bi_putchk(si_ic(si), &trash) == -1) {
3114 /* let's try again later from this stream. We add ourselves into
3115 * this stream's users so that it can remove us upon termination.
3116 */
3117 si_applet_cant_put(si);
3118 LIST_ADDQ(&curr_strm->back_refs, &appctx->ctx.sess.bref.users);
3119 return 0;
3120 }
3121
3122 next_sess:
3123 appctx->ctx.sess.bref.ref = curr_strm->list.n;
3124 }
3125
3126 if (appctx->ctx.sess.target && appctx->ctx.sess.target != (void *)-1) {
3127 /* specified stream not found */
3128 if (appctx->ctx.sess.section > 0)
3129 chunk_appendf(&trash, " *** session terminated while we were watching it ***\n");
3130 else
3131 chunk_appendf(&trash, "Session not found.\n");
3132
3133 if (bi_putchk(si_ic(si), &trash) == -1) {
3134 si_applet_cant_put(si);
3135 return 0;
3136 }
3137
3138 appctx->ctx.sess.target = NULL;
3139 appctx->ctx.sess.uid = 0;
3140 return 1;
3141 }
3142
3143 appctx->st2 = STAT_ST_FIN;
3144 /* fall through */
3145
3146 default:
3147 appctx->st2 = STAT_ST_FIN;
3148 return 1;
3149 }
3150}
3151
3152static void cli_release_show_sess(struct appctx *appctx)
3153{
3154 if (appctx->st2 == STAT_ST_LIST) {
3155 if (!LIST_ISEMPTY(&appctx->ctx.sess.bref.users))
3156 LIST_DEL(&appctx->ctx.sess.bref.users);
3157 }
3158}
3159
Willy Tarreau61b65212016-11-24 11:09:25 +01003160/* Parses the "shutdown session" directive, it always returns 1 */
3161static int cli_parse_shutdown_session(char **args, struct appctx *appctx, void *private)
3162{
3163 struct stream *strm, *ptr;
3164
3165 if (!cli_has_level(appctx, ACCESS_LVL_ADMIN))
3166 return 1;
3167
3168 if (!*args[2]) {
3169 appctx->ctx.cli.msg = "Session pointer expected (use 'show sess').\n";
Willy Tarreau3b6e5472016-11-24 15:53:53 +01003170 appctx->st0 = CLI_ST_PRINT;
Willy Tarreau61b65212016-11-24 11:09:25 +01003171 return 1;
3172 }
3173
3174 ptr = (void *)strtoul(args[2], NULL, 0);
3175
3176 /* first, look for the requested stream in the stream table */
3177 list_for_each_entry(strm, &streams, list) {
3178 if (strm == ptr)
3179 break;
3180 }
3181
3182 /* do we have the stream ? */
3183 if (strm != ptr) {
3184 appctx->ctx.cli.msg = "No such session (use 'show sess').\n";
Willy Tarreau3b6e5472016-11-24 15:53:53 +01003185 appctx->st0 = CLI_ST_PRINT;
Willy Tarreau61b65212016-11-24 11:09:25 +01003186 return 1;
3187 }
3188
3189 stream_shutdown(strm, SF_ERR_KILLED);
3190 return 1;
3191}
3192
Willy Tarreau4e46b622016-11-23 16:50:48 +01003193/* Parses the "shutdown session server" directive, it always returns 1 */
3194static int cli_parse_shutdown_sessions_server(char **args, struct appctx *appctx, void *private)
3195{
3196 struct server *sv;
3197 struct stream *strm, *strm_bck;
3198
3199 if (!cli_has_level(appctx, ACCESS_LVL_ADMIN))
3200 return 1;
3201
3202 sv = cli_find_server(appctx, args[3]);
3203 if (!sv)
3204 return 1;
3205
3206 /* kill all the stream that are on this server */
3207 list_for_each_entry_safe(strm, strm_bck, &sv->actconns, by_srv)
3208 if (strm->srv_conn == sv)
3209 stream_shutdown(strm, SF_ERR_KILLED);
3210 return 1;
3211}
3212
William Lallemand4c5b4d52016-11-21 08:51:11 +01003213/* register cli keywords */
3214static struct cli_kw_list cli_kws = {{ },{
3215 { { "show", "sess", NULL }, "show sess [id] : report the list of current sessions or dump this session", cli_parse_show_sess, cli_io_handler_dump_sess, cli_release_show_sess },
Willy Tarreau61b65212016-11-24 11:09:25 +01003216 { { "shutdown", "session", NULL }, "shutdown session : kill a specific session", cli_parse_shutdown_session, NULL, NULL },
Willy Tarreau4e46b622016-11-23 16:50:48 +01003217 { { "shutdown", "sessions", "server" }, "shutdown sessions server : kill sessions on a server", cli_parse_shutdown_sessions_server, NULL, NULL },
William Lallemand4c5b4d52016-11-21 08:51:11 +01003218 {{},}
3219}};
3220
Thierry FOURNIER5a363e72015-09-27 19:29:33 +02003221/* main configuration keyword registration. */
3222static struct action_kw_list stream_tcp_keywords = { ILH, {
3223 { "use-service", stream_parse_use_service },
3224 { /* END */ }
3225}};
3226
3227static struct action_kw_list stream_http_keywords = { ILH, {
3228 { "use-service", stream_parse_use_service },
3229 { /* END */ }
3230}};
3231
Willy Tarreau8b22a712010-06-18 17:46:06 +02003232__attribute__((constructor))
Willy Tarreau87b09662015-04-03 00:22:06 +02003233static void __stream_init(void)
Willy Tarreau8b22a712010-06-18 17:46:06 +02003234{
Thierry FOURNIER5a363e72015-09-27 19:29:33 +02003235 tcp_req_cont_keywords_register(&stream_tcp_keywords);
3236 http_req_keywords_register(&stream_http_keywords);
William Lallemand4c5b4d52016-11-21 08:51:11 +01003237 cli_register_kw(&cli_kws);
Willy Tarreau8b22a712010-06-18 17:46:06 +02003238}
3239
Willy Tarreaubaaee002006-06-26 02:48:02 +02003240/*
3241 * Local variables:
3242 * c-indent-level: 8
3243 * c-basic-offset: 8
3244 * End:
3245 */