blob: 07b90431653f5eabbc530ab54ccf46a2cb9696af [file] [log] [blame]
Christopher Fauletd7c91962015-04-30 11:48:27 +02001/*
2 * Stream filters related variables and functions.
3 *
4 * Copyright (C) 2015 Qualys Inc., Christopher Faulet <cfaulet@qualys.com>
5 *
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 <common/buffer.h>
14#include <common/debug.h>
15#include <common/cfgparse.h>
16#include <common/compat.h>
17#include <common/config.h>
18#include <common/errors.h>
Willy Tarreaub96b77e2018-12-11 10:22:41 +010019#include <common/htx.h>
Willy Tarreau0108d902018-11-25 19:14:37 +010020#include <common/initcall.h>
Christopher Fauletd7c91962015-04-30 11:48:27 +020021#include <common/namespace.h>
22#include <common/standard.h>
Christopher Faulet71a6a8e2017-07-27 16:33:28 +020023#include <common/hathreads.h>
Christopher Fauletd7c91962015-04-30 11:48:27 +020024
25#include <types/filters.h>
Christopher Fauletfc9cfe42019-07-16 14:54:53 +020026#include <types/http_ana.h>
Christopher Fauletd7c91962015-04-30 11:48:27 +020027
28#include <proto/compression.h>
29#include <proto/filters.h>
Christopher Faulet92d36382015-11-05 13:35:03 +010030#include <proto/flt_http_comp.h>
Christopher Faulet75bc9132018-11-30 15:18:09 +010031#include <proto/http_htx.h>
Christopher Fauletfc9cfe42019-07-16 14:54:53 +020032#include <proto/http_ana.h>
Christopher Fauletd7c91962015-04-30 11:48:27 +020033#include <proto/stream.h>
34#include <proto/stream_interface.h>
35
Christopher Fauleteea8fc72019-11-05 16:18:10 +010036#define TRACE_SOURCE &trace_strm
37
Christopher Fauletd7c91962015-04-30 11:48:27 +020038/* Pool used to allocate filters */
Willy Tarreau8ceae722018-11-26 11:58:30 +010039DECLARE_STATIC_POOL(pool_head_filter, "filter", sizeof(struct filter));
Christopher Fauletd7c91962015-04-30 11:48:27 +020040
41static int handle_analyzer_result(struct stream *s, struct channel *chn, unsigned int an_bit, int ret);
42
43/* - RESUME_FILTER_LOOP and RESUME_FILTER_END must always be used together.
44 * The first one begins a loop and the seconds one ends it.
45 *
46 * - BREAK_EXECUTION must be used to break the loop and set the filter from
47 * which to resume the next time.
48 *
Bertrand Jacquin874a35c2018-09-10 21:26:07 +010049 * Here is an example:
Christopher Fauletd7c91962015-04-30 11:48:27 +020050 *
51 * RESUME_FILTER_LOOP(stream, channel) {
52 * ...
53 * if (cond)
54 * BREAK_EXECUTION(stream, channel, label);
55 * ...
56 * } RESUME_FILTER_END;
57 * ...
58 * label:
59 * ...
60 *
61 */
62#define RESUME_FILTER_LOOP(strm, chn) \
63 do { \
64 struct filter *filter; \
65 \
Christopher Fauletda02e172015-12-04 09:25:05 +010066 if (strm_flt(strm)->current[CHN_IDX(chn)]) { \
67 filter = strm_flt(strm)->current[CHN_IDX(chn)]; \
68 strm_flt(strm)->current[CHN_IDX(chn)] = NULL; \
Christopher Fauletd7c91962015-04-30 11:48:27 +020069 goto resume_execution; \
70 } \
71 \
Christopher Fauletfcf035c2015-12-03 11:48:03 +010072 list_for_each_entry(filter, &strm_flt(s)->filters, list) { \
Christopher Fauletda02e172015-12-04 09:25:05 +010073 resume_execution:
Christopher Fauletd7c91962015-04-30 11:48:27 +020074
75#define RESUME_FILTER_END \
76 } \
77 } while(0)
78
Christopher Fauletda02e172015-12-04 09:25:05 +010079#define BREAK_EXECUTION(strm, chn, label) \
80 do { \
81 strm_flt(strm)->current[CHN_IDX(chn)] = filter; \
82 goto label; \
Christopher Fauletd7c91962015-04-30 11:48:27 +020083 } while (0)
84
85
86/* List head of all known filter keywords */
87static struct flt_kw_list flt_keywords = {
88 .list = LIST_HEAD_INIT(flt_keywords.list)
89};
90
91/*
92 * Registers the filter keyword list <kwl> as a list of valid keywords for next
93 * parsing sessions.
94 */
95void
96flt_register_keywords(struct flt_kw_list *kwl)
97{
98 LIST_ADDQ(&flt_keywords.list, &kwl->list);
99}
100
101/*
102 * Returns a pointer to the filter keyword <kw>, or NULL if not found. If the
103 * keyword is found with a NULL ->parse() function, then an attempt is made to
104 * find one with a valid ->parse() function. This way it is possible to declare
105 * platform-dependant, known keywords as NULL, then only declare them as valid
106 * if some options are met. Note that if the requested keyword contains an
107 * opening parenthesis, everything from this point is ignored.
108 */
109struct flt_kw *
110flt_find_kw(const char *kw)
111{
112 int index;
113 const char *kwend;
114 struct flt_kw_list *kwl;
115 struct flt_kw *ret = NULL;
116
117 kwend = strchr(kw, '(');
118 if (!kwend)
119 kwend = kw + strlen(kw);
120
121 list_for_each_entry(kwl, &flt_keywords.list, list) {
122 for (index = 0; kwl->kw[index].kw != NULL; index++) {
123 if ((strncmp(kwl->kw[index].kw, kw, kwend - kw) == 0) &&
124 kwl->kw[index].kw[kwend-kw] == 0) {
125 if (kwl->kw[index].parse)
126 return &kwl->kw[index]; /* found it !*/
127 else
128 ret = &kwl->kw[index]; /* may be OK */
129 }
130 }
131 }
132 return ret;
133}
134
135/*
136 * Dumps all registered "filter" keywords to the <out> string pointer. The
137 * unsupported keywords are only dumped if their supported form was not found.
138 */
139void
140flt_dump_kws(char **out)
141{
142 struct flt_kw_list *kwl;
143 int index;
144
Christopher Faulet784063e2020-05-18 12:14:18 +0200145 if (!out)
146 return;
147
Christopher Fauletd7c91962015-04-30 11:48:27 +0200148 *out = NULL;
149 list_for_each_entry(kwl, &flt_keywords.list, list) {
150 for (index = 0; kwl->kw[index].kw != NULL; index++) {
151 if (kwl->kw[index].parse ||
152 flt_find_kw(kwl->kw[index].kw) == &kwl->kw[index]) {
153 memprintf(out, "%s[%4s] %s%s\n", *out ? *out : "",
154 kwl->scope,
155 kwl->kw[index].kw,
156 kwl->kw[index].parse ? "" : " (not supported)");
157 }
158 }
159 }
160}
161
162/*
Christopher Fauletb3f4e142016-03-07 12:46:38 +0100163 * Lists the known filters on <out>
164 */
165void
166list_filters(FILE *out)
167{
168 char *filters, *p, *f;
169
170 fprintf(out, "Available filters :\n");
171 flt_dump_kws(&filters);
172 for (p = filters; (f = strtok_r(p,"\n",&p));)
173 fprintf(out, "\t%s\n", f);
174 free(filters);
175}
176
177/*
Christopher Fauletd7c91962015-04-30 11:48:27 +0200178 * Parses the "filter" keyword. All keywords must be handled by filters
179 * themselves
180 */
181static int
182parse_filter(char **args, int section_type, struct proxy *curpx,
183 struct proxy *defpx, const char *file, int line, char **err)
184{
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100185 struct flt_conf *fconf = NULL;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200186
187 /* Filter cannot be defined on a default proxy */
188 if (curpx == defpx) {
Christopher Fauletcc7317d2016-04-04 10:51:17 +0200189 memprintf(err, "parsing [%s:%d] : %s is not allowed in a 'default' section.",
Christopher Fauletd7c91962015-04-30 11:48:27 +0200190 file, line, args[0]);
191 return -1;
192 }
193 if (!strcmp(args[0], "filter")) {
194 struct flt_kw *kw;
195 int cur_arg;
196
197 if (!*args[1]) {
198 memprintf(err,
199 "parsing [%s:%d] : missing argument for '%s' in %s '%s'.",
200 file, line, args[0], proxy_type_str(curpx), curpx->id);
201 goto error;
202 }
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100203 fconf = calloc(1, sizeof(*fconf));
204 if (!fconf) {
Christopher Fauletd7c91962015-04-30 11:48:27 +0200205 memprintf(err, "'%s' : out of memory", args[0]);
206 goto error;
207 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200208
209 cur_arg = 1;
210 kw = flt_find_kw(args[cur_arg]);
211 if (kw) {
212 if (!kw->parse) {
213 memprintf(err, "parsing [%s:%d] : '%s' : "
214 "'%s' option is not implemented in this version (check build options).",
215 file, line, args[0], args[cur_arg]);
216 goto error;
217 }
Thierry Fournier3610c392016-04-13 18:27:51 +0200218 if (kw->parse(args, &cur_arg, curpx, fconf, err, kw->private) != 0) {
Christopher Fauletd7c91962015-04-30 11:48:27 +0200219 if (err && *err)
220 memprintf(err, "'%s' : '%s'",
221 args[0], *err);
222 else
223 memprintf(err, "'%s' : error encountered while processing '%s'",
224 args[0], args[cur_arg]);
225 goto error;
226 }
227 }
228 else {
229 flt_dump_kws(err);
230 indent_msg(err, 4);
231 memprintf(err, "'%s' : unknown keyword '%s'.%s%s",
232 args[0], args[cur_arg],
233 err && *err ? " Registered keywords :" : "", err && *err ? *err : "");
234 goto error;
235 }
236 if (*args[cur_arg]) {
237 memprintf(err, "'%s %s' : unknown keyword '%s'.",
238 args[0], args[1], args[cur_arg]);
239 goto error;
240 }
Christopher Faulet00e818a2016-04-19 17:00:44 +0200241 if (fconf->ops == NULL) {
242 memprintf(err, "'%s %s' : no callbacks defined.",
243 args[0], args[1]);
244 goto error;
245 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200246
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100247 LIST_ADDQ(&curpx->filter_configs, &fconf->list);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200248 }
249 return 0;
250
251 error:
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100252 free(fconf);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200253 return -1;
254
255
256}
257
258/*
259 * Calls 'init' callback for all filters attached to a proxy. This happens after
260 * the configuration parsing. Filters can finish to fill their config. Returns
261 * (ERR_ALERT|ERR_FATAL) if an error occurs, 0 otherwise.
262 */
Willy Tarreau64bca592016-12-21 20:13:11 +0100263static int
Christopher Fauletd7c91962015-04-30 11:48:27 +0200264flt_init(struct proxy *proxy)
265{
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100266 struct flt_conf *fconf;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200267
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100268 list_for_each_entry(fconf, &proxy->filter_configs, list) {
269 if (fconf->ops->init && fconf->ops->init(proxy, fconf) < 0)
Christopher Fauletd7c91962015-04-30 11:48:27 +0200270 return ERR_ALERT|ERR_FATAL;
271 }
272 return 0;
273}
274
Christopher Faulet71a6a8e2017-07-27 16:33:28 +0200275/*
276 * Calls 'init_per_thread' callback for all filters attached to a proxy for each
277 * threads. This happens after the thread creation. Filters can finish to fill
278 * their config. Returns (ERR_ALERT|ERR_FATAL) if an error occurs, 0 otherwise.
279 */
280static int
281flt_init_per_thread(struct proxy *proxy)
282{
283 struct flt_conf *fconf;
284
285 list_for_each_entry(fconf, &proxy->filter_configs, list) {
286 if (fconf->ops->init_per_thread && fconf->ops->init_per_thread(proxy, fconf) < 0)
287 return ERR_ALERT|ERR_FATAL;
288 }
289 return 0;
290}
291
Willy Tarreau64bca592016-12-21 20:13:11 +0100292/* Calls flt_init() for all proxies, see above */
293static int
294flt_init_all()
295{
296 struct proxy *px;
297 int err_code = 0;
298
Olivier Houchardfbc74e82017-11-24 16:54:05 +0100299 for (px = proxies_list; px; px = px->next) {
Willy Tarreau64bca592016-12-21 20:13:11 +0100300 err_code |= flt_init(px);
301 if (err_code & (ERR_ABORT|ERR_FATAL)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +0100302 ha_alert("Failed to initialize filters for proxy '%s'.\n",
303 px->id);
Willy Tarreau64bca592016-12-21 20:13:11 +0100304 return err_code;
305 }
306 }
307 return 0;
308}
309
Joseph Herlantb35ea682018-11-15 12:24:23 -0800310/* Calls flt_init_per_thread() for all proxies, see above. Be careful here, it
311 * returns 0 if an error occurred. This is the opposite of flt_init_all. */
Christopher Faulet71a6a8e2017-07-27 16:33:28 +0200312static int
313flt_init_all_per_thread()
314{
315 struct proxy *px;
316 int err_code = 0;
317
Olivier Houchardfbc74e82017-11-24 16:54:05 +0100318 for (px = proxies_list; px; px = px->next) {
Christopher Faulet71a6a8e2017-07-27 16:33:28 +0200319 err_code = flt_init_per_thread(px);
320 if (err_code & (ERR_ABORT|ERR_FATAL)) {
Christopher Faulet767a84b2017-11-24 16:50:31 +0100321 ha_alert("Failed to initialize filters for proxy '%s' for thread %u.\n",
322 px->id, tid);
Christopher Faulet71a6a8e2017-07-27 16:33:28 +0200323 return 0;
324 }
325 }
326 return 1;
327}
328
Christopher Fauletd7c91962015-04-30 11:48:27 +0200329/*
330 * Calls 'check' callback for all filters attached to a proxy. This happens
331 * after the configuration parsing but before filters initialization. Returns
332 * the number of encountered errors.
333 */
334int
335flt_check(struct proxy *proxy)
336{
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100337 struct flt_conf *fconf;
338 int err = 0;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200339
Christopher Fauletff17b182019-01-07 15:03:22 +0100340 err += check_implicit_http_comp_flt(proxy);
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100341 list_for_each_entry(fconf, &proxy->filter_configs, list) {
342 if (fconf->ops->check)
343 err += fconf->ops->check(proxy, fconf);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200344 }
345 return err;
346}
347
348/*
349 * Calls 'denit' callback for all filters attached to a proxy. This happens when
350 * HAProxy is stopped.
351 */
352void
353flt_deinit(struct proxy *proxy)
354{
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100355 struct flt_conf *fconf, *back;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200356
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100357 list_for_each_entry_safe(fconf, back, &proxy->filter_configs, list) {
358 if (fconf->ops->deinit)
359 fconf->ops->deinit(proxy, fconf);
360 LIST_DEL(&fconf->list);
361 free(fconf);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200362 }
363}
364
Christopher Faulet71a6a8e2017-07-27 16:33:28 +0200365/*
366 * Calls 'denit_per_thread' callback for all filters attached to a proxy for
367 * each threads. This happens before exiting a thread.
368 */
369void
370flt_deinit_per_thread(struct proxy *proxy)
371{
372 struct flt_conf *fconf, *back;
373
374 list_for_each_entry_safe(fconf, back, &proxy->filter_configs, list) {
375 if (fconf->ops->deinit_per_thread)
376 fconf->ops->deinit_per_thread(proxy, fconf);
377 }
378}
379
380
381/* Calls flt_deinit_per_thread() for all proxies, see above */
382static void
383flt_deinit_all_per_thread()
384{
385 struct proxy *px;
386
Olivier Houchardfbc74e82017-11-24 16:54:05 +0100387 for (px = proxies_list; px; px = px->next)
Christopher Faulet71a6a8e2017-07-27 16:33:28 +0200388 flt_deinit_per_thread(px);
389}
390
Christopher Faulet92d36382015-11-05 13:35:03 +0100391/* Attaches a filter to a stream. Returns -1 if an error occurs, 0 otherwise. */
392static int
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100393flt_stream_add_filter(struct stream *s, struct flt_conf *fconf, unsigned int flags)
Christopher Faulet92d36382015-11-05 13:35:03 +0100394{
Christopher Faulet75bc9132018-11-30 15:18:09 +0100395 struct filter *f;
Christopher Faulet31ed32d2016-06-21 11:42:37 +0200396
Christopher Faulet0f17a9b2019-04-05 10:11:38 +0200397 if (IS_HTX_STRM(s) && !(fconf->flags & FLT_CFG_FL_HTX))
Christopher Faulet75bc9132018-11-30 15:18:09 +0100398 return 0;
399
400 f = pool_alloc(pool_head_filter);
Christopher Faulet92d36382015-11-05 13:35:03 +0100401 if (!f) /* not enough memory */
402 return -1;
403 memset(f, 0, sizeof(*f));
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100404 f->config = fconf;
Christopher Fauletda02e172015-12-04 09:25:05 +0100405 f->flags |= flags;
Christopher Faulet31ed32d2016-06-21 11:42:37 +0200406
407 if (FLT_OPS(f)->attach) {
408 int ret = FLT_OPS(f)->attach(s, f);
409 if (ret <= 0) {
Willy Tarreaubafbe012017-11-24 17:34:44 +0100410 pool_free(pool_head_filter, f);
Christopher Faulet31ed32d2016-06-21 11:42:37 +0200411 return ret;
412 }
413 }
414
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100415 LIST_ADDQ(&strm_flt(s)->filters, &f->list);
Christopher Fauletda02e172015-12-04 09:25:05 +0100416 strm_flt(s)->flags |= STRM_FLT_FL_HAS_FILTERS;
Christopher Faulet92d36382015-11-05 13:35:03 +0100417 return 0;
418}
419
420/*
421 * Called when a stream is created. It attaches all frontend filters to the
422 * stream. Returns -1 if an error occurs, 0 otherwise.
423 */
424int
425flt_stream_init(struct stream *s)
426{
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100427 struct flt_conf *fconf;
Christopher Faulet92d36382015-11-05 13:35:03 +0100428
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100429 memset(strm_flt(s), 0, sizeof(*strm_flt(s)));
430 LIST_INIT(&strm_flt(s)->filters);
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100431 list_for_each_entry(fconf, &strm_fe(s)->filter_configs, list) {
432 if (flt_stream_add_filter(s, fconf, 0) < 0)
Christopher Faulet92d36382015-11-05 13:35:03 +0100433 return -1;
434 }
435 return 0;
436}
437
438/*
439 * Called when a stream is closed or when analyze ends (For an HTTP stream, this
440 * happens after each request/response exchange). When analyze ends, backend
441 * filters are removed. When the stream is closed, all filters attached to the
442 * stream are removed.
443 */
444void
445flt_stream_release(struct stream *s, int only_backend)
446{
447 struct filter *filter, *back;
448
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100449 list_for_each_entry_safe(filter, back, &strm_flt(s)->filters, list) {
Christopher Fauletda02e172015-12-04 09:25:05 +0100450 if (!only_backend || (filter->flags & FLT_FL_IS_BACKEND_FILTER)) {
Christopher Faulet31ed32d2016-06-21 11:42:37 +0200451 if (FLT_OPS(filter)->detach)
452 FLT_OPS(filter)->detach(s, filter);
Christopher Faulet92d36382015-11-05 13:35:03 +0100453 LIST_DEL(&filter->list);
Willy Tarreaubafbe012017-11-24 17:34:44 +0100454 pool_free(pool_head_filter, filter);
Christopher Faulet92d36382015-11-05 13:35:03 +0100455 }
456 }
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100457 if (LIST_ISEMPTY(&strm_flt(s)->filters))
Christopher Fauletda02e172015-12-04 09:25:05 +0100458 strm_flt(s)->flags &= ~STRM_FLT_FL_HAS_FILTERS;
Christopher Faulet92d36382015-11-05 13:35:03 +0100459}
460
Christopher Fauletd7c91962015-04-30 11:48:27 +0200461/*
462 * Calls 'stream_start' for all filters attached to a stream. This happens when
463 * the stream is created, just after calling flt_stream_init
464 * function. Returns -1 if an error occurs, 0 otherwise.
465 */
466int
467flt_stream_start(struct stream *s)
468{
469 struct filter *filter;
470
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100471 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100472 if (FLT_OPS(filter)->stream_start && FLT_OPS(filter)->stream_start(s, filter) < 0)
Christopher Fauletd7c91962015-04-30 11:48:27 +0200473 return -1;
474 }
475 return 0;
476}
477
478/*
479 * Calls 'stream_stop' for all filters attached to a stream. This happens when
480 * the stream is stopped, just before calling flt_stream_release function.
481 */
482void
483flt_stream_stop(struct stream *s)
484{
485 struct filter *filter;
486
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100487 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100488 if (FLT_OPS(filter)->stream_stop)
489 FLT_OPS(filter)->stream_stop(s, filter);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200490 }
491}
492
Christopher Faulet92d36382015-11-05 13:35:03 +0100493/*
Christopher Fauleta00d8172016-11-10 14:58:05 +0100494 * Calls 'check_timeouts' for all filters attached to a stream. This happens when
495 * the stream is woken up because of expired timer.
496 */
497void
498flt_stream_check_timeouts(struct stream *s)
499{
500 struct filter *filter;
501
502 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
503 if (FLT_OPS(filter)->check_timeouts)
504 FLT_OPS(filter)->check_timeouts(s, filter);
505 }
506}
507
508/*
Christopher Faulet92d36382015-11-05 13:35:03 +0100509 * Called when a backend is set for a stream. If the frontend and the backend
Christopher Faulet31ed32d2016-06-21 11:42:37 +0200510 * are not the same, this function attaches all backend filters to the
511 * stream. Returns -1 if an error occurs, 0 otherwise.
Christopher Faulet92d36382015-11-05 13:35:03 +0100512 */
513int
514flt_set_stream_backend(struct stream *s, struct proxy *be)
515{
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100516 struct flt_conf *fconf;
Christopher Faulet31ed32d2016-06-21 11:42:37 +0200517 struct filter *filter;
Christopher Faulet92d36382015-11-05 13:35:03 +0100518
519 if (strm_fe(s) == be)
Christopher Faulet31ed32d2016-06-21 11:42:37 +0200520 goto end;
Christopher Faulet92d36382015-11-05 13:35:03 +0100521
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100522 list_for_each_entry(fconf, &be->filter_configs, list) {
523 if (flt_stream_add_filter(s, fconf, FLT_FL_IS_BACKEND_FILTER) < 0)
Christopher Faulet92d36382015-11-05 13:35:03 +0100524 return -1;
525 }
Christopher Faulet31ed32d2016-06-21 11:42:37 +0200526
527 end:
528 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
529 if (FLT_OPS(filter)->stream_set_backend &&
530 FLT_OPS(filter)->stream_set_backend(s, filter, be) < 0)
531 return -1;
532 }
533
Christopher Faulet92d36382015-11-05 13:35:03 +0100534 return 0;
535}
536
Christopher Fauletd7c91962015-04-30 11:48:27 +0200537
538/*
539 * Calls 'http_end' callback for all filters attached to a stream. All filters
540 * are called here, but only if there is at least one "data" filter. This
541 * functions is called when all data were parsed and forwarded. 'http_end'
542 * callback is resumable, so this function returns a negative value if an error
543 * occurs, 0 if it needs to wait for some reason, any other value otherwise.
544 */
545int
546flt_http_end(struct stream *s, struct http_msg *msg)
547{
548 int ret = 1;
549
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100550 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s, s->txn, msg);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200551 RESUME_FILTER_LOOP(s, msg->chn) {
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100552 if (FLT_OPS(filter)->http_end) {
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100553 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100554 ret = FLT_OPS(filter)->http_end(s, filter, msg);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200555 if (ret <= 0)
556 BREAK_EXECUTION(s, msg->chn, end);
557 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200558 } RESUME_FILTER_END;
559end:
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100560 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200561 return ret;
562}
563
564/*
565 * Calls 'http_reset' callback for all filters attached to a stream. This
566 * happens when a 100-continue response is received.
567 */
568void
569flt_http_reset(struct stream *s, struct http_msg *msg)
570{
571 struct filter *filter;
572
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100573 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s, s->txn, msg);
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100574 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100575 if (FLT_OPS(filter)->http_reset) {
576 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100577 FLT_OPS(filter)->http_reset(s, filter, msg);
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100578 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200579 }
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100580 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200581}
582
583/*
584 * Calls 'http_reply' callback for all filters attached to a stream when HA
585 * decides to stop the HTTP message processing.
586 */
587void
Willy Tarreau83061a82018-07-13 11:56:34 +0200588flt_http_reply(struct stream *s, short status, const struct buffer *msg)
Christopher Fauletd7c91962015-04-30 11:48:27 +0200589{
590 struct filter *filter;
591
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100592 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s, s->txn, msg);
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100593 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100594 if (FLT_OPS(filter)->http_reply) {
595 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100596 FLT_OPS(filter)->http_reply(s, filter, status, msg);
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100597 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200598 }
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100599 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200600}
601
602/*
Christopher Faulet75bc9132018-11-30 15:18:09 +0100603 * Calls 'http_payload' callback for all "data" filters attached to a
604 * stream. This function is called when some data can be forwarded in the
605 * AN_REQ_HTTP_XFER_BODY and AN_RES_HTTP_XFER_BODY analyzers. It takes care to
606 * update the filters and the stream offset to be sure that a filter cannot
607 * forward more data than its predecessors. A filter can choose to not forward
608 * all data. Returns a negative value if an error occurs, else the number of
609 * forwarded bytes.
Christopher Faulet75bc9132018-11-30 15:18:09 +0100610 */
611int
612flt_http_payload(struct stream *s, struct http_msg *msg, unsigned int len)
613{
614 struct filter *filter;
615 unsigned long long *strm_off = &FLT_STRM_OFF(s, msg->chn);
Christopher Faulet421e7692019-06-13 11:16:45 +0200616 unsigned int out = co_data(msg->chn);
Christopher Faulet81340d72020-02-26 15:47:22 +0100617 int ret, data;
Christopher Faulet75bc9132018-11-30 15:18:09 +0100618
Christopher Faulet81340d72020-02-26 15:47:22 +0100619 ret = data = len - out;
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100620 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s, s->txn, msg);
Christopher Faulet75bc9132018-11-30 15:18:09 +0100621 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
622 /* Call "data" filters only */
623 if (!IS_DATA_FILTER(filter, msg->chn))
624 continue;
625 if (FLT_OPS(filter)->http_payload) {
626 unsigned long long *flt_off = &FLT_OFF(filter, msg->chn);
627 unsigned int offset = *flt_off - *strm_off;
628
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100629 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Faulet71179a32020-02-07 16:40:33 +0100630 ret = FLT_OPS(filter)->http_payload(s, filter, msg, out + offset, data - offset);
Christopher Faulet75bc9132018-11-30 15:18:09 +0100631 if (ret < 0)
632 goto end;
Christopher Fauletc50ee0b2020-02-24 16:20:09 +0100633 data = ret + *flt_off - *strm_off;
Christopher Faulet75bc9132018-11-30 15:18:09 +0100634 *flt_off += ret;
Christopher Faulet75bc9132018-11-30 15:18:09 +0100635 }
636 }
Christopher Faulet71179a32020-02-07 16:40:33 +0100637
638 /* Only forward data if the last filter decides to forward something */
639 if (ret > 0) {
640 ret = data;
641 *strm_off += ret;
642 }
Christopher Faulet75bc9132018-11-30 15:18:09 +0100643 end:
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100644 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Faulet75bc9132018-11-30 15:18:09 +0100645 return ret;
646}
647
648/*
Christopher Fauletd7c91962015-04-30 11:48:27 +0200649 * Calls 'channel_start_analyze' callback for all filters attached to a
650 * stream. This function is called when we start to analyze a request or a
651 * response. For frontend filters, it is called before all other analyzers. For
652 * backend ones, it is called before all backend
653 * analyzers. 'channel_start_analyze' callback is resumable, so this function
654 * returns 0 if an error occurs or if it needs to wait, any other value
655 * otherwise.
656 */
657int
658flt_start_analyze(struct stream *s, struct channel *chn, unsigned int an_bit)
659{
660 int ret = 1;
661
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100662 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
663
Christopher Fauletd7c91962015-04-30 11:48:27 +0200664 /* If this function is called, this means there is at least one filter,
665 * so we do not need to check the filter list's emptiness. */
666
Christopher Faulete6006242017-03-10 11:52:44 +0100667 /* Set flag on channel to tell that the channel is filtered */
668 chn->flags |= CF_FLT_ANALYZE;
669
Christopher Fauletd7c91962015-04-30 11:48:27 +0200670 RESUME_FILTER_LOOP(s, chn) {
Christopher Faulet0184ea72017-01-05 14:06:34 +0100671 if (!(chn->flags & CF_ISRESP)) {
672 if (an_bit == AN_REQ_FLT_START_BE &&
673 !(filter->flags & FLT_FL_IS_BACKEND_FILTER))
674 continue;
675 }
676 else {
677 if (an_bit == AN_RES_FLT_START_BE &&
678 !(filter->flags & FLT_FL_IS_BACKEND_FILTER))
679 continue;
680 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200681
Christopher Fauletb2e58492019-11-12 11:13:01 +0100682 FLT_OFF(filter, chn) = 0;
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100683 if (FLT_OPS(filter)->channel_start_analyze) {
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100684 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_FLT_ANA, s);
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100685 ret = FLT_OPS(filter)->channel_start_analyze(s, filter, chn);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200686 if (ret <= 0)
687 BREAK_EXECUTION(s, chn, end);
688 }
689 } RESUME_FILTER_END;
690
691 end:
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100692 ret = handle_analyzer_result(s, chn, an_bit, ret);
693 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
694 return ret;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200695}
696
697/*
Christopher Faulet3a394fa2016-05-11 17:13:39 +0200698 * Calls 'channel_pre_analyze' callback for all filters attached to a
699 * stream. This function is called BEFORE each analyzer attached to a channel,
700 * expects analyzers responsible for data sending. 'channel_pre_analyze'
701 * callback is resumable, so this function returns 0 if an error occurs or if it
702 * needs to wait, any other value otherwise.
703 *
704 * Note this function can be called many times for the same analyzer. In fact,
705 * it is called until the analyzer finishes its processing.
Christopher Fauletd7c91962015-04-30 11:48:27 +0200706 */
707int
Christopher Faulet3a394fa2016-05-11 17:13:39 +0200708flt_pre_analyze(struct stream *s, struct channel *chn, unsigned int an_bit)
Christopher Fauletd7c91962015-04-30 11:48:27 +0200709{
710 int ret = 1;
711
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100712 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
713
Christopher Fauletd7c91962015-04-30 11:48:27 +0200714 RESUME_FILTER_LOOP(s, chn) {
Christopher Faulet3a394fa2016-05-11 17:13:39 +0200715 if (FLT_OPS(filter)->channel_pre_analyze && (filter->pre_analyzers & an_bit)) {
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100716 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_FLT_ANA, s);
Christopher Faulet3a394fa2016-05-11 17:13:39 +0200717 ret = FLT_OPS(filter)->channel_pre_analyze(s, filter, chn, an_bit);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200718 if (ret <= 0)
719 BREAK_EXECUTION(s, chn, check_result);
720 }
721 } RESUME_FILTER_END;
722
723 check_result:
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100724 ret = handle_analyzer_result(s, chn, 0, ret);
725 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
726 return ret;
Christopher Faulet309c6412015-12-02 09:57:32 +0100727}
728
729/*
Christopher Faulet3a394fa2016-05-11 17:13:39 +0200730 * Calls 'channel_post_analyze' callback for all filters attached to a
731 * stream. This function is called AFTER each analyzer attached to a channel,
732 * expects analyzers responsible for data sending. 'channel_post_analyze'
733 * callback is NOT resumable, so this function returns a 0 if an error occurs,
734 * any other value otherwise.
735 *
736 * Here, AFTER means when the analyzer finishes its processing.
737 */
738int
739flt_post_analyze(struct stream *s, struct channel *chn, unsigned int an_bit)
740{
741 struct filter *filter;
742 int ret = 1;
743
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100744 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
745
Christopher Faulet3a394fa2016-05-11 17:13:39 +0200746 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
747 if (FLT_OPS(filter)->channel_post_analyze && (filter->post_analyzers & an_bit)) {
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100748 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_FLT_ANA, s);
Christopher Faulet3a394fa2016-05-11 17:13:39 +0200749 ret = FLT_OPS(filter)->channel_post_analyze(s, filter, chn, an_bit);
750 if (ret < 0)
751 break;
752 }
753 }
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100754 ret = handle_analyzer_result(s, chn, 0, ret);
755 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
756 return ret;
Christopher Faulet3a394fa2016-05-11 17:13:39 +0200757}
758
759/*
Christopher Faulet0184ea72017-01-05 14:06:34 +0100760 * This function is the AN_REQ/RES_FLT_HTTP_HDRS analyzer, used to filter HTTP
761 * headers or a request or a response. Returns 0 if an error occurs or if it
762 * needs to wait, any other value otherwise.
Christopher Faulet309c6412015-12-02 09:57:32 +0100763 */
764int
765flt_analyze_http_headers(struct stream *s, struct channel *chn, unsigned int an_bit)
766{
Christopher Faulet1339d742016-05-11 16:48:33 +0200767 struct http_msg *msg;
768 int ret = 1;
Christopher Faulet309c6412015-12-02 09:57:32 +0100769
Christopher Faulet1339d742016-05-11 16:48:33 +0200770 msg = ((chn->flags & CF_ISRESP) ? &s->txn->rsp : &s->txn->req);
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100771 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s, s->txn, msg);
772
Christopher Faulet309c6412015-12-02 09:57:32 +0100773 RESUME_FILTER_LOOP(s, chn) {
Christopher Faulet1339d742016-05-11 16:48:33 +0200774 if (FLT_OPS(filter)->http_headers) {
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100775 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
Christopher Faulet1339d742016-05-11 16:48:33 +0200776 ret = FLT_OPS(filter)->http_headers(s, filter, msg);
Christopher Faulet309c6412015-12-02 09:57:32 +0100777 if (ret <= 0)
778 BREAK_EXECUTION(s, chn, check_result);
779 }
780 } RESUME_FILTER_END;
Christopher Faulet9c44e482020-02-12 15:31:20 +0100781
782 if (HAS_DATA_FILTERS(s, chn)) {
783 size_t data = http_get_hdrs_size(htxbuf(&chn->buf));
784 struct filter *f;
785
786 list_for_each_entry(f, &strm_flt(s)->filters, list) {
787 if (IS_DATA_FILTER(f, chn))
788 FLT_OFF(f, chn) = data;
789 }
790 }
Christopher Faulet309c6412015-12-02 09:57:32 +0100791
792 check_result:
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100793 ret = handle_analyzer_result(s, chn, an_bit, ret);
794 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_HTTP_ANA|STRM_EV_FLT_ANA, s);
795 return ret;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200796}
797
798/*
799 * Calls 'channel_end_analyze' callback for all filters attached to a
800 * stream. This function is called when we stop to analyze a request or a
801 * response. It is called after all other analyzers. 'channel_end_analyze'
802 * callback is resumable, so this function returns 0 if an error occurs or if it
803 * needs to wait, any other value otherwise.
804 */
805int
806flt_end_analyze(struct stream *s, struct channel *chn, unsigned int an_bit)
807{
808 int ret = 1;
809
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100810 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
811
Christopher Faulete6006242017-03-10 11:52:44 +0100812 /* Check if all filters attached on the stream have finished their
813 * processing on this channel. */
814 if (!(chn->flags & CF_FLT_ANALYZE))
815 goto sync;
816
Christopher Fauletd7c91962015-04-30 11:48:27 +0200817 RESUME_FILTER_LOOP(s, chn) {
Christopher Fauletb2e58492019-11-12 11:13:01 +0100818 FLT_OFF(filter, chn) = 0;
Christopher Fauletda02e172015-12-04 09:25:05 +0100819 unregister_data_filter(s, chn, filter);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200820
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100821 if (FLT_OPS(filter)->channel_end_analyze) {
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100822 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_FLT_ANA, s);
Christopher Faulet443ea1a2016-02-04 13:40:26 +0100823 ret = FLT_OPS(filter)->channel_end_analyze(s, filter, chn);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200824 if (ret <= 0)
825 BREAK_EXECUTION(s, chn, end);
826 }
827 } RESUME_FILTER_END;
828
Christopher Faulete6006242017-03-10 11:52:44 +0100829 end:
830 /* We don't remove yet this analyzer because we need to synchronize the
831 * both channels. So here, we just remove the flag CF_FLT_ANALYZE. */
832 ret = handle_analyzer_result(s, chn, 0, ret);
Christopher Faulet570f7992017-07-06 15:53:02 +0200833 if (ret) {
Christopher Faulete6006242017-03-10 11:52:44 +0100834 chn->flags &= ~CF_FLT_ANALYZE;
Christopher Faulet02c7b222015-12-22 12:01:29 +0100835
Christopher Faulet570f7992017-07-06 15:53:02 +0200836 /* Pretend there is an activity on both channels. Flag on the
837 * current one will be automatically removed, so only the other
838 * one will remain. This is a way to be sure that
839 * 'channel_end_analyze' callback will have a chance to be
840 * called at least once for the other side to finish the current
Joseph Herlantb35ea682018-11-15 12:24:23 -0800841 * processing. Of course, this is the filter responsibility to
Christopher Faulet570f7992017-07-06 15:53:02 +0200842 * wakeup the stream if it choose to loop on this callback. */
843 s->req.flags |= CF_WAKE_ONCE;
844 s->res.flags |= CF_WAKE_ONCE;
845 }
846
847
Christopher Faulete6006242017-03-10 11:52:44 +0100848 sync:
849 /* Now we can check if filters have finished their work on the both
850 * channels */
851 if (!(s->req.flags & CF_FLT_ANALYZE) && !(s->res.flags & CF_FLT_ANALYZE)) {
852 /* Sync channels by removing this analyzer for the both channels */
853 s->req.analysers &= ~AN_REQ_FLT_END;
854 s->res.analysers &= ~AN_RES_FLT_END;
Christopher Fauletc6062be2016-10-31 11:22:37 +0100855
Christopher Faulete6006242017-03-10 11:52:44 +0100856 /* Remove backend filters from the list */
857 flt_stream_release(s, 1);
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100858 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200859 }
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100860 else {
861 DBG_TRACE_DEVEL("waiting for sync", STRM_EV_STRM_ANA|STRM_EV_FLT_ANA, s);
862 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200863 return ret;
864}
865
Christopher Fauletd7c91962015-04-30 11:48:27 +0200866
867/*
Christopher Fauletb2e58492019-11-12 11:13:01 +0100868 * Calls 'tcp_payload' callback for all "data" filters attached to a
869 * stream. This function is called when some data can be forwarded in the
870 * AN_REQ_FLT_XFER_BODY and AN_RES_FLT_XFER_BODY analyzers. It takes care to
871 * update the filters and the stream offset to be sure that a filter cannot
872 * forward more data than its predecessors. A filter can choose to not forward
873 * all data. Returns a negative value if an error occurs, else the number of
874 * forwarded bytes.
Christopher Fauletd7c91962015-04-30 11:48:27 +0200875 */
Christopher Fauletb2e58492019-11-12 11:13:01 +0100876int
877flt_tcp_payload(struct stream *s, struct channel *chn, unsigned int len)
Christopher Fauletd7c91962015-04-30 11:48:27 +0200878{
Christopher Fauletda02e172015-12-04 09:25:05 +0100879 struct filter *filter;
Christopher Fauletb2e58492019-11-12 11:13:01 +0100880 unsigned long long *strm_off = &FLT_STRM_OFF(s, chn);
881 unsigned int out = co_data(chn);
Christopher Faulet81340d72020-02-26 15:47:22 +0100882 int ret, data;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200883
Christopher Faulet81340d72020-02-26 15:47:22 +0100884 ret = data = len - out;
Christopher Fauletb2e58492019-11-12 11:13:01 +0100885 DBG_TRACE_ENTER(STRM_EV_TCP_ANA|STRM_EV_FLT_ANA, s);
Christopher Fauletfcf035c2015-12-03 11:48:03 +0100886 list_for_each_entry(filter, &strm_flt(s)->filters, list) {
Christopher Fauletda02e172015-12-04 09:25:05 +0100887 /* Call "data" filters only */
888 if (!IS_DATA_FILTER(filter, chn))
889 continue;
Christopher Fauletb2e58492019-11-12 11:13:01 +0100890 if (FLT_OPS(filter)->tcp_payload) {
891 unsigned long long *flt_off = &FLT_OFF(filter, chn);
892 unsigned int offset = *flt_off - *strm_off;
Christopher Fauletda02e172015-12-04 09:25:05 +0100893
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100894 DBG_TRACE_DEVEL(FLT_ID(filter), STRM_EV_TCP_ANA|STRM_EV_FLT_ANA, s);
Christopher Faulet71179a32020-02-07 16:40:33 +0100895 ret = FLT_OPS(filter)->tcp_payload(s, filter, chn, out + offset, data - offset);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200896 if (ret < 0)
897 goto end;
Christopher Fauletc50ee0b2020-02-24 16:20:09 +0100898 data = ret + *flt_off - *strm_off;
Christopher Fauletb2e58492019-11-12 11:13:01 +0100899 *flt_off += ret;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200900 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200901 }
Christopher Faulet71179a32020-02-07 16:40:33 +0100902
903 /* Only forward data if the last filter decides to forward something */
904 if (ret > 0) {
905 ret = data;
906 *strm_off += ret;
907 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200908 end:
Christopher Fauletb2e58492019-11-12 11:13:01 +0100909 DBG_TRACE_LEAVE(STRM_EV_TCP_ANA|STRM_EV_FLT_ANA, s);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200910 return ret;
911}
912
913/*
914 * Called when TCP data must be filtered on a channel. This function is the
Christopher Faulet0184ea72017-01-05 14:06:34 +0100915 * AN_REQ/RES_FLT_XFER_DATA analyzer. When called, it is responsible to forward
916 * data when the proxy is not in http mode. Behind the scene, it calls
917 * consecutively 'tcp_data' and 'tcp_forward_data' callbacks for all "data"
918 * filters attached to a stream. Returns 0 if an error occurs or if it needs to
919 * wait, any other value otherwise.
Christopher Fauletd7c91962015-04-30 11:48:27 +0200920 */
921int
922flt_xfer_data(struct stream *s, struct channel *chn, unsigned int an_bit)
923{
Christopher Fauletb2e58492019-11-12 11:13:01 +0100924 unsigned int len;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200925 int ret = 1;
926
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100927 DBG_TRACE_ENTER(STRM_EV_STRM_ANA|STRM_EV_TCP_ANA|STRM_EV_FLT_ANA, s);
928
Christopher Fauletda02e172015-12-04 09:25:05 +0100929 /* If there is no "data" filters, we do nothing */
Christopher Fauletb2e58492019-11-12 11:13:01 +0100930 if (!HAS_DATA_FILTERS(s, chn))
Christopher Fauletda02e172015-12-04 09:25:05 +0100931 goto end;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200932
933 /* Be sure that the output is still opened. Else we stop the data
934 * filtering. */
935 if ((chn->flags & (CF_READ_ERROR|CF_READ_TIMEOUT|CF_WRITE_ERROR|CF_WRITE_TIMEOUT)) ||
Willy Tarreau44a41a82018-06-19 07:16:31 +0200936 ((chn->flags & CF_SHUTW) && (chn->to_forward || co_data(chn))))
Christopher Fauletd7c91962015-04-30 11:48:27 +0200937 goto end;
938
Christopher Fauletb2e58492019-11-12 11:13:01 +0100939 if (s->flags & SF_HTX) {
940 struct htx *htx = htxbuf(&chn->buf);
941 len = htx->data;
942 }
943 else
944 len = c_data(chn);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200945
Christopher Fauletb2e58492019-11-12 11:13:01 +0100946 ret = flt_tcp_payload(s, chn, len);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200947 if (ret < 0)
948 goto end;
Willy Tarreaubcbd3932018-06-06 07:13:22 +0200949 c_adv(chn, ret);
Christopher Fauletda02e172015-12-04 09:25:05 +0100950
Christopher Fauletd7c91962015-04-30 11:48:27 +0200951 /* Stop waiting data if the input in closed and no data is pending or if
952 * the output is closed. */
Christopher Fauletb2e58492019-11-12 11:13:01 +0100953 if (chn->flags & CF_SHUTW) {
Christopher Fauletd7c91962015-04-30 11:48:27 +0200954 ret = 1;
955 goto end;
956 }
Christopher Fauletb2e58492019-11-12 11:13:01 +0100957 if (chn->flags & CF_SHUTR) {
958 if (((s->flags & SF_HTX) && htx_is_empty(htxbuf(&chn->buf))) || c_empty(chn)) {
959 ret = 1;
960 goto end;
961 }
962 }
Christopher Fauletd7c91962015-04-30 11:48:27 +0200963
964 /* Wait for data */
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100965 DBG_TRACE_DEVEL("waiting for more data", STRM_EV_STRM_ANA|STRM_EV_TCP_ANA|STRM_EV_FLT_ANA, s);
Christopher Fauletd7c91962015-04-30 11:48:27 +0200966 return 0;
967 end:
968 /* Terminate the data filtering. If <ret> is negative, an error was
969 * encountered during the filtering. */
Christopher Fauleteea8fc72019-11-05 16:18:10 +0100970 ret = handle_analyzer_result(s, chn, an_bit, ret);
971 DBG_TRACE_LEAVE(STRM_EV_STRM_ANA|STRM_EV_TCP_ANA|STRM_EV_FLT_ANA, s);
972 return ret;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200973}
974
975/*
976 * Handles result of filter's analyzers. It returns 0 if an error occurs or if
977 * it needs to wait, any other value otherwise.
978 */
979static int
980handle_analyzer_result(struct stream *s, struct channel *chn,
981 unsigned int an_bit, int ret)
982{
983 int finst;
Christopher Faulete058f732019-09-06 15:24:55 +0200984 int status = 0;
Christopher Fauletd7c91962015-04-30 11:48:27 +0200985
986 if (ret < 0)
987 goto return_bad_req;
988 else if (!ret)
989 goto wait;
990
991 /* End of job, return OK */
992 if (an_bit) {
993 chn->analysers &= ~an_bit;
994 chn->analyse_exp = TICK_ETERNITY;
995 }
996 return 1;
997
998 return_bad_req:
999 /* An error occurs */
1000 channel_abort(&s->req);
1001 channel_abort(&s->res);
1002
1003 if (!(chn->flags & CF_ISRESP)) {
Christopher Faulet0184ea72017-01-05 14:06:34 +01001004 s->req.analysers &= AN_REQ_FLT_END;
Christopher Fauletd7c91962015-04-30 11:48:27 +02001005 finst = SF_FINST_R;
Christopher Faulete058f732019-09-06 15:24:55 +02001006 status = 400;
Christopher Fauletd7c91962015-04-30 11:48:27 +02001007 /* FIXME: incr counters */
1008 }
1009 else {
Christopher Faulet0184ea72017-01-05 14:06:34 +01001010 s->res.analysers &= AN_RES_FLT_END;
Christopher Fauletd7c91962015-04-30 11:48:27 +02001011 finst = SF_FINST_H;
Christopher Faulete058f732019-09-06 15:24:55 +02001012 status = 502;
Christopher Fauletd7c91962015-04-30 11:48:27 +02001013 /* FIXME: incr counters */
1014 }
1015
Christopher Faulet3d119692019-07-15 22:04:51 +02001016 if (IS_HTX_STRM(s)) {
Christopher Fauletd7c91962015-04-30 11:48:27 +02001017 /* Do not do that when we are waiting for the next request */
Christopher Faulete058f732019-09-06 15:24:55 +02001018 if (s->txn->status > 0)
Christopher Fauletfc9cfe42019-07-16 14:54:53 +02001019 http_reply_and_close(s, s->txn->status, NULL);
Christopher Fauletd7c91962015-04-30 11:48:27 +02001020 else {
Christopher Faulete058f732019-09-06 15:24:55 +02001021 s->txn->status = status;
1022 http_reply_and_close(s, status, http_error_message(s));
Christopher Fauletd7c91962015-04-30 11:48:27 +02001023 }
1024 }
1025
1026 if (!(s->flags & SF_ERR_MASK))
1027 s->flags |= SF_ERR_PRXCOND;
1028 if (!(s->flags & SF_FINST_MASK))
1029 s->flags |= finst;
Christopher Fauleteea8fc72019-11-05 16:18:10 +01001030 DBG_TRACE_DEVEL("leaving on error", STRM_EV_FLT_ANA|STRM_EV_FLT_ERR, s);
Christopher Fauletd7c91962015-04-30 11:48:27 +02001031 return 0;
1032
1033 wait:
1034 if (!(chn->flags & CF_ISRESP))
1035 channel_dont_connect(chn);
Christopher Fauleteea8fc72019-11-05 16:18:10 +01001036 DBG_TRACE_DEVEL("wairing for more data", STRM_EV_FLT_ANA, s);
Christopher Fauletd7c91962015-04-30 11:48:27 +02001037 return 0;
1038}
1039
1040
1041/* Note: must not be declared <const> as its list will be overwritten.
1042 * Please take care of keeping this list alphabetically sorted, doing so helps
1043 * all code contributors.
1044 * Optional keywords are also declared with a NULL ->parse() function so that
1045 * the config parser can report an appropriate error when a known keyword was
1046 * not enabled. */
1047static struct cfg_kw_list cfg_kws = {ILH, {
1048 { CFG_LISTEN, "filter", parse_filter },
1049 { 0, NULL, NULL },
1050 }
1051};
1052
Willy Tarreau0108d902018-11-25 19:14:37 +01001053INITCALL1(STG_REGISTER, cfg_register_keywords, &cfg_kws);
1054
Willy Tarreau172f5ce2018-11-26 11:21:50 +01001055REGISTER_POST_CHECK(flt_init_all);
1056REGISTER_PER_THREAD_INIT(flt_init_all_per_thread);
1057REGISTER_PER_THREAD_DEINIT(flt_deinit_all_per_thread);
1058
Christopher Fauletd7c91962015-04-30 11:48:27 +02001059/*
1060 * Local variables:
1061 * c-indent-level: 8
1062 * c-basic-offset: 8
1063 * End:
1064 */