blob: 8ac261a1161acc529edf0b854035f6a2b1fcaaba [file] [log] [blame]
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +01001/*
2 * MAP management functions.
3 *
4 * Copyright 2000-2013 Willy Tarreau <w@1wt.eu>
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
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010013#include <stdio.h>
Willy Tarreau97218ce2021-04-30 14:57:03 +020014#include <syslog.h>
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010015
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020016#include <haproxy/api.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020017#include <haproxy/applet-t.h>
18#include <haproxy/arg.h>
Willy Tarreau83487a82020-06-04 20:19:54 +020019#include <haproxy/cli.h>
Willy Tarreau2cd58092020-06-04 15:10:43 +020020#include <haproxy/map.h>
Willy Tarreau225a90a2020-06-04 15:06:28 +020021#include <haproxy/pattern.h>
Willy Tarreau7cd8b6e2020-06-02 17:32:26 +020022#include <haproxy/regex.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020023#include <haproxy/sample.h>
Willy Tarreau2eec9b52020-06-04 19:58:55 +020024#include <haproxy/stats-t.h>
Willy Tarreau5e539c92020-06-04 20:45:39 +020025#include <haproxy/stream_interface.h>
Willy Tarreau48fbcae2020-06-03 18:09:46 +020026#include <haproxy/tools.h>
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010027
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010028
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +020029/* Parse an IPv4 or IPv6 address and store it into the sample.
30 * The output type is IPv4 or IPv6.
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010031 */
Thierry FOURNIER503bb092015-08-19 08:35:43 +020032int map_parse_ip(const char *text, struct sample_data *data)
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010033{
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +020034 int len = strlen(text);
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010035
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +020036 if (buf2ip(text, len, &data->u.ipv4)) {
37 data->type = SMP_T_IPV4;
38 return 1;
39 }
40 if (buf2ip6(text, len, &data->u.ipv6)) {
41 data->type = SMP_T_IPV6;
42 return 1;
43 }
44 return 0;
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010045}
46
47/* Parse a string and store a pointer to it into the sample. The original
48 * string must be left in memory because we return a direct memory reference.
Thierry FOURNIER7654c9f2013-12-17 00:20:33 +010049 * The output type is SMP_T_STR. There is no risk that the data will be
50 * overwritten because sample_conv_map() makes a const sample with this
51 * output.
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010052 */
Thierry FOURNIER503bb092015-08-19 08:35:43 +020053int map_parse_str(const char *text, struct sample_data *data)
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010054{
Willy Tarreau843b7cb2018-07-13 10:54:26 +020055 data->u.str.area = (char *)text;
56 data->u.str.data = strlen(text);
57 data->u.str.size = data->u.str.data + 1;
Thierry FOURNIER503bb092015-08-19 08:35:43 +020058 data->type = SMP_T_STR;
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010059 return 1;
60}
61
62/* Parse an integer and convert it to a sample. The output type is SINT if the
63 * number is negative, or UINT if it is positive or null. The function returns
64 * zero (error) if the number is too large.
65 */
Thierry FOURNIER503bb092015-08-19 08:35:43 +020066int map_parse_int(const char *text, struct sample_data *data)
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010067{
Thierry FOURNIER503bb092015-08-19 08:35:43 +020068 data->type = SMP_T_SINT;
Thierry FOURNIER136f9d32015-08-19 09:07:19 +020069 data->u.sint = read_int64(&text, text + strlen(text));
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +020070 if (*text != '\0')
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010071 return 0;
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010072 return 1;
73}
74
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010075/* This crete and initialize map descriptor.
76 * Return NULL if out of memory error
77 */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +010078static struct map_descriptor *map_create_descriptor(struct sample_conv *conv)
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010079{
80 struct map_descriptor *desc;
81
82 desc = calloc(1, sizeof(*desc));
83 if (!desc)
84 return NULL;
85
86 desc->conv = conv;
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010087
88 return desc;
89}
90
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010091/* This function load the map file according with data type declared into
92 * the "struct sample_conv".
93 *
94 * This function choose the indexation type (ebtree or list) according with
95 * the type of match needed.
96 */
Thierry FOURNIER3def3932015-04-07 11:27:54 +020097int sample_load_map(struct arg *arg, struct sample_conv *conv,
98 const char *file, int line, char **err)
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +010099{
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100100 struct map_descriptor *desc;
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100101
Christopher Faulet0eb967d2020-08-05 23:23:37 +0200102 if (!(global.mode & MODE_STARTING)) {
103 memprintf(err, "map: cannot load map at runtime");
104 return 0;
105 }
106
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100107 /* create new map descriptor */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +0100108 desc = map_create_descriptor(conv);
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100109 if (!desc) {
110 memprintf(err, "out of memory");
111 return 0;
112 }
113
Thierry FOURNIER1e00d382014-02-11 11:31:40 +0100114 /* Initialize pattern */
115 pattern_init_head(&desc->pat);
116
117 /* This is original pattern, must free */
118 desc->do_free = 1;
119
120 /* Set the match method. */
Thierry FOURNIER1edc9712014-12-15 16:18:39 +0100121 desc->pat.match = pat_match_fcts[(long)conv->private];
122 desc->pat.parse = pat_parse_fcts[(long)conv->private];
123 desc->pat.index = pat_index_fcts[(long)conv->private];
Thierry FOURNIER1edc9712014-12-15 16:18:39 +0100124 desc->pat.prune = pat_prune_fcts[(long)conv->private];
125 desc->pat.expect_type = pat_match_types[(long)conv->private];
Thierry FOURNIER1e00d382014-02-11 11:31:40 +0100126
127 /* Set the output parse method. */
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100128 switch (desc->conv->out_type) {
Thierry FOURNIER1e00d382014-02-11 11:31:40 +0100129 case SMP_T_STR: desc->pat.parse_smp = map_parse_str; break;
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +0200130 case SMP_T_SINT: desc->pat.parse_smp = map_parse_int; break;
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +0200131 case SMP_T_ADDR: desc->pat.parse_smp = map_parse_ip; break;
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100132 default:
133 memprintf(err, "map: internal haproxy error: no default parse case for the input type <%d>.",
134 conv->out_type);
Andreas Seltenreich78f35952016-03-03 20:32:23 +0100135 free(desc);
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100136 return 0;
137 }
138
Thierry FOURNIER39bef452014-01-29 13:29:45 +0100139 /* Load map. */
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200140 if (!pattern_read_from_file(&desc->pat, PAT_REF_MAP, arg[0].data.str.area, PAT_MF_NO_DNS,
Thierry FOURNIER94580c92014-02-11 14:36:45 +0100141 1, err, file, line))
Thierry FOURNIER1e00d382014-02-11 11:31:40 +0100142 return 0;
Thierry FOURNIER0ffe78c2013-12-05 14:40:25 +0100143
Willy Tarreauaa5801b2019-04-19 11:35:22 +0200144 /* the maps of type IP support a string as default value. This
145 * string can be an ipv4 or an ipv6, we must convert it.
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +0200146 */
Willy Tarreauaa5801b2019-04-19 11:35:22 +0200147 if (arg[1].type != ARGT_STOP && desc->conv->out_type == SMP_T_ADDR) {
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +0200148 struct sample_data data;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200149 if (!map_parse_ip(arg[1].data.str.area, &data)) {
150 memprintf(err, "map: cannot parse default ip <%s>.",
151 arg[1].data.str.area);
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +0200152 return 0;
153 }
Christopher Faulet6ad7df42020-08-07 11:45:18 +0200154 chunk_destroy(&arg[1].data.str);
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +0200155 if (data.type == SMP_T_IPV4) {
156 arg[1].type = ARGT_IPV4;
157 arg[1].data.ipv4 = data.u.ipv4;
158 } else {
159 arg[1].type = ARGT_IPV6;
160 arg[1].data.ipv6 = data.u.ipv6;
161 }
162 }
163
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100164 /* replace the first argument by this definition */
Christopher Faulet6ad7df42020-08-07 11:45:18 +0200165 chunk_destroy(&arg[0].data.str);
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100166 arg[0].type = ARGT_MAP;
167 arg[0].data.map = desc;
168
169 return 1;
170}
171
Thierry FOURNIER0a9a2b82015-05-11 15:20:49 +0200172static int sample_conv_map(const struct arg *arg_p, struct sample *smp, void *private)
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100173{
174 struct map_descriptor *desc;
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +0100175 struct pattern *pat;
Willy Tarreau83061a82018-07-13 11:56:34 +0200176 struct buffer *str;
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100177
178 /* get config */
179 desc = arg_p[0].data.map;
180
181 /* Execute the match function. */
Thierry FOURNIER1e00d382014-02-11 11:31:40 +0100182 pat = pattern_exec_match(&desc->pat, smp, 1);
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +0100183
184 /* Match case. */
185 if (pat) {
Thierry FOURNIER503bb092015-08-19 08:35:43 +0200186 if (pat->data) {
Thierry Fournier8feaa662016-02-10 22:55:20 +0100187 /* In the regm case, merge the sample with the input. */
188 if ((long)private == PAT_MATCH_REGM) {
Emeric Brun27102212018-07-17 09:47:07 -0400189 struct buffer *tmptrash;
Willy Tarreau2842e052018-08-22 04:55:43 +0200190 int len;
Emeric Brun27102212018-07-17 09:47:07 -0400191
192 /* Copy the content of the sample because it could
193 be scratched by incoming get_trash_chunk */
194 tmptrash = alloc_trash_chunk();
195 if (!tmptrash)
196 return 0;
197
198 tmptrash->data = smp->data.u.str.data;
199 if (tmptrash->data > (tmptrash->size-1))
200 tmptrash->data = tmptrash->size-1;
201
202 memcpy(tmptrash->area, smp->data.u.str.area, tmptrash->data);
203 tmptrash->area[tmptrash->data] = 0;
204
Thierry Fournier8feaa662016-02-10 22:55:20 +0100205 str = get_trash_chunk();
Willy Tarreau2842e052018-08-22 04:55:43 +0200206 len = exp_replace(str->area, str->size,
207 tmptrash->area,
208 pat->data->u.str.area,
209 (regmatch_t *)smp->ctx.a[0]);
Nenad Merdanovic646b7742019-04-12 22:54:28 +0200210 free_trash_chunk(tmptrash);
211
Willy Tarreau2842e052018-08-22 04:55:43 +0200212 if (len == -1)
Thierry Fournier8feaa662016-02-10 22:55:20 +0100213 return 0;
Willy Tarreau2842e052018-08-22 04:55:43 +0200214
215 str->data = len;
Thierry Fournier8feaa662016-02-10 22:55:20 +0100216 smp->data.u.str = *str;
217 return 1;
218 }
219 /* Copy sample. */
Thierry FOURNIER5cc18d42015-08-19 09:02:36 +0200220 smp->data = *pat->data;
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +0100221 smp->flags |= SMP_F_CONST;
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +0100222 return 1;
223 }
224
225 /* Return just int sample containing 1. */
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +0200226 smp->data.type = SMP_T_SINT;
Thierry FOURNIER136f9d32015-08-19 09:07:19 +0200227 smp->data.u.sint = 1;
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +0100228 return 1;
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100229 }
230
Joseph Herlantf43b88b2018-11-25 11:48:18 -0800231 /* If no default value available, the converter fails. */
Thierry FOURNIER933e5de2015-03-13 00:10:16 +0100232 if (arg_p[1].type == ARGT_STOP)
Thierry FOURNIER1794fdf2014-01-17 15:25:13 +0100233 return 0;
234
235 /* Return the default value. */
Thierry FOURNIER933e5de2015-03-13 00:10:16 +0100236 switch (desc->conv->out_type) {
237
238 case SMP_T_STR:
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +0200239 smp->data.type = SMP_T_STR;
Thierry FOURNIER933e5de2015-03-13 00:10:16 +0100240 smp->flags |= SMP_F_CONST;
Thierry FOURNIER136f9d32015-08-19 09:07:19 +0200241 smp->data.u.str = arg_p[1].data.str;
Thierry FOURNIER933e5de2015-03-13 00:10:16 +0100242 break;
243
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +0200244 case SMP_T_SINT:
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +0200245 smp->data.type = SMP_T_SINT;
Thierry FOURNIER136f9d32015-08-19 09:07:19 +0200246 smp->data.u.sint = arg_p[1].data.sint;
Thierry FOURNIER933e5de2015-03-13 00:10:16 +0100247 break;
248
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +0200249 case SMP_T_ADDR:
250 if (arg_p[1].type == ARGT_IPV4) {
251 smp->data.type = SMP_T_IPV4;
252 smp->data.u.ipv4 = arg_p[1].data.ipv4;
253 } else {
254 smp->data.type = SMP_T_IPV6;
255 smp->data.u.ipv6 = arg_p[1].data.ipv6;
256 }
Thierry FOURNIER933e5de2015-03-13 00:10:16 +0100257 break;
258 }
259
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +0100260 return 1;
261}
262
William Lallemandad8be612016-11-18 19:26:17 +0100263/* This function is used with map and acl management. It permits to browse
264 * each reference. The variable <getnext> must contain the current node,
265 * <end> point to the root node and the <flags> permit to filter required
266 * nodes.
267 */
268static inline
269struct pat_ref *pat_list_get_next(struct pat_ref *getnext, struct list *end,
270 unsigned int flags)
271{
272 struct pat_ref *ref = getnext;
273
274 while (1) {
275
276 /* Get next list entry. */
277 ref = LIST_NEXT(&ref->list, struct pat_ref *, list);
278
279 /* If the entry is the last of the list, return NULL. */
280 if (&ref->list == end)
281 return NULL;
282
283 /* If the entry match the flag, return it. */
284 if (ref->flags & flags)
285 return ref;
286 }
287}
288
289static inline
290struct pat_ref *pat_ref_lookup_ref(const char *reference)
291{
292 int id;
293 char *error;
294
295 /* If the reference starts by a '#', this is numeric id. */
296 if (reference[0] == '#') {
297 /* Try to convert the numeric id. If the conversion fails, the lookup fails. */
298 id = strtol(reference + 1, &error, 10);
299 if (*error != '\0')
300 return NULL;
301
302 /* Perform the unique id lookup. */
303 return pat_ref_lookupid(id);
304 }
305
306 /* Perform the string lookup. */
307 return pat_ref_lookup(reference);
308}
309
310/* This function is used with map and acl management. It permits to browse
311 * each reference.
312 */
313static inline
314struct pattern_expr *pat_expr_get_next(struct pattern_expr *getnext, struct list *end)
315{
316 struct pattern_expr *expr;
317 expr = LIST_NEXT(&getnext->list, struct pattern_expr *, list);
318 if (&expr->list == end)
319 return NULL;
320 return expr;
321}
322
Willy Tarreau95f753e2021-04-30 12:09:54 +0200323/* expects the current generation ID in appctx->cli.cli.i0 */
William Lallemandad8be612016-11-18 19:26:17 +0100324static int cli_io_handler_pat_list(struct appctx *appctx)
325{
326 struct stream_interface *si = appctx->owner;
Emeric Brun8d85aa42017-06-29 15:40:33 +0200327 struct pat_ref_elt *elt;
328
329 if (unlikely(si_ic(si)->flags & (CF_WRITE_ERROR|CF_SHUTW))) {
330 /* If we're forced to shut down, we might have to remove our
331 * reference to the last ref_elt being dumped.
332 */
333 if (appctx->st2 == STAT_ST_LIST) {
Dragan Dosen336a11f2018-05-04 16:27:15 +0200334 if (!LIST_ISEMPTY(&appctx->ctx.map.bref.users)) {
Willy Tarreau2b718102021-04-21 07:32:39 +0200335 LIST_DELETE(&appctx->ctx.map.bref.users);
Dragan Dosen336a11f2018-05-04 16:27:15 +0200336 LIST_INIT(&appctx->ctx.map.bref.users);
Emeric Brun8d85aa42017-06-29 15:40:33 +0200337 }
338 }
339 return 1;
340 }
William Lallemandad8be612016-11-18 19:26:17 +0100341
342 switch (appctx->st2) {
343
344 case STAT_ST_INIT:
Emeric Brun8d85aa42017-06-29 15:40:33 +0200345 /* the function had not been called yet, let's prepare the
346 * buffer for a response. We initialize the current stream
347 * pointer to the first in the global list. When a target
348 * stream is being destroyed, it is responsible for updating
349 * this pointer. We know we have reached the end when this
350 * pointer points back to the head of the streams list.
351 */
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100352 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Emeric Brun8d85aa42017-06-29 15:40:33 +0200353 LIST_INIT(&appctx->ctx.map.bref.users);
354 appctx->ctx.map.bref.ref = appctx->ctx.map.ref->head.n;
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100355 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100356 appctx->st2 = STAT_ST_LIST;
357 /* fall through */
358
359 case STAT_ST_LIST:
Emeric Brunb5997f72017-07-03 11:34:05 +0200360
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100361 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Emeric Brunb5997f72017-07-03 11:34:05 +0200362
Emeric Brun8d85aa42017-06-29 15:40:33 +0200363 if (!LIST_ISEMPTY(&appctx->ctx.map.bref.users)) {
Willy Tarreau2b718102021-04-21 07:32:39 +0200364 LIST_DELETE(&appctx->ctx.map.bref.users);
Emeric Brun8d85aa42017-06-29 15:40:33 +0200365 LIST_INIT(&appctx->ctx.map.bref.users);
366 }
367
368 while (appctx->ctx.map.bref.ref != &appctx->ctx.map.ref->head) {
William Lallemandad8be612016-11-18 19:26:17 +0100369 chunk_reset(&trash);
370
Emeric Brun8d85aa42017-06-29 15:40:33 +0200371 elt = LIST_ELEM(appctx->ctx.map.bref.ref, struct pat_ref_elt *, list);
372
Willy Tarreau95f753e2021-04-30 12:09:54 +0200373 if (elt->gen_id != appctx->ctx.cli.i0)
Willy Tarreauc93da692020-10-29 09:41:34 +0100374 goto skip;
375
William Lallemandad8be612016-11-18 19:26:17 +0100376 /* build messages */
Emeric Brun8d85aa42017-06-29 15:40:33 +0200377 if (elt->sample)
William Lallemandad8be612016-11-18 19:26:17 +0100378 chunk_appendf(&trash, "%p %s %s\n",
Emeric Brun8d85aa42017-06-29 15:40:33 +0200379 elt, elt->pattern,
380 elt->sample);
William Lallemandad8be612016-11-18 19:26:17 +0100381 else
382 chunk_appendf(&trash, "%p %s\n",
Emeric Brun8d85aa42017-06-29 15:40:33 +0200383 elt, elt->pattern);
William Lallemandad8be612016-11-18 19:26:17 +0100384
Willy Tarreau06d80a92017-10-19 14:32:15 +0200385 if (ci_putchk(si_ic(si), &trash) == -1) {
William Lallemandad8be612016-11-18 19:26:17 +0100386 /* let's try again later from this stream. We add ourselves into
387 * this stream's users so that it can remove us upon termination.
388 */
Willy Tarreau2b718102021-04-21 07:32:39 +0200389 LIST_APPEND(&elt->back_refs, &appctx->ctx.map.bref.users);
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100390 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Willy Tarreaudb398432018-11-15 11:08:52 +0100391 si_rx_room_blk(si);
William Lallemandad8be612016-11-18 19:26:17 +0100392 return 0;
393 }
Willy Tarreauc93da692020-10-29 09:41:34 +0100394 skip:
William Lallemandad8be612016-11-18 19:26:17 +0100395 /* get next list entry and check the end of the list */
Emeric Brun8d85aa42017-06-29 15:40:33 +0200396 appctx->ctx.map.bref.ref = elt->list.n;
William Lallemandad8be612016-11-18 19:26:17 +0100397 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100398 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100399 /* fall through */
400
401 default:
402 appctx->st2 = STAT_ST_FIN;
403 return 1;
404 }
405}
406
407static int cli_io_handler_pats_list(struct appctx *appctx)
408{
409 struct stream_interface *si = appctx->owner;
410
411 switch (appctx->st2) {
412 case STAT_ST_INIT:
413 /* Display the column headers. If the message cannot be sent,
Joseph Herlantf43b88b2018-11-25 11:48:18 -0800414 * quit the function with returning 0. The function is called
415 * later and restarted at the state "STAT_ST_INIT".
William Lallemandad8be612016-11-18 19:26:17 +0100416 */
417 chunk_reset(&trash);
418 chunk_appendf(&trash, "# id (file) description\n");
Willy Tarreau06d80a92017-10-19 14:32:15 +0200419 if (ci_putchk(si_ic(si), &trash) == -1) {
Willy Tarreaudb398432018-11-15 11:08:52 +0100420 si_rx_room_blk(si);
William Lallemandad8be612016-11-18 19:26:17 +0100421 return 0;
422 }
423
424 /* Now, we start the browsing of the references lists.
Joseph Herlantf43b88b2018-11-25 11:48:18 -0800425 * Note that the following call to LIST_ELEM returns a bad pointer. The only
William Lallemandad8be612016-11-18 19:26:17 +0100426 * available field of this pointer is <list>. It is used with the function
Joseph Herlantf43b88b2018-11-25 11:48:18 -0800427 * pat_list_get_next() for returning the first available entry
William Lallemandad8be612016-11-18 19:26:17 +0100428 */
429 appctx->ctx.map.ref = LIST_ELEM(&pattern_reference, struct pat_ref *, list);
430 appctx->ctx.map.ref = pat_list_get_next(appctx->ctx.map.ref, &pattern_reference,
431 appctx->ctx.map.display_flags);
432 appctx->st2 = STAT_ST_LIST;
433 /* fall through */
434
435 case STAT_ST_LIST:
436 while (appctx->ctx.map.ref) {
437 chunk_reset(&trash);
438
439 /* Build messages. If the reference is used by another category than
Joseph Herlantf43b88b2018-11-25 11:48:18 -0800440 * the listed categories, display the information in the message.
William Lallemandad8be612016-11-18 19:26:17 +0100441 */
Willy Tarreaue3a42a62021-04-30 10:55:53 +0200442 chunk_appendf(&trash, "%d (%s) %s. curr_ver=%u next_ver=%u\n", appctx->ctx.map.ref->unique_id,
William Lallemandad8be612016-11-18 19:26:17 +0100443 appctx->ctx.map.ref->reference ? appctx->ctx.map.ref->reference : "",
Willy Tarreaue3a42a62021-04-30 10:55:53 +0200444 appctx->ctx.map.ref->display, appctx->ctx.map.ref->curr_gen, appctx->ctx.map.ref->next_gen);
William Lallemandad8be612016-11-18 19:26:17 +0100445
Willy Tarreau06d80a92017-10-19 14:32:15 +0200446 if (ci_putchk(si_ic(si), &trash) == -1) {
William Lallemandad8be612016-11-18 19:26:17 +0100447 /* let's try again later from this stream. We add ourselves into
448 * this stream's users so that it can remove us upon termination.
449 */
Willy Tarreaudb398432018-11-15 11:08:52 +0100450 si_rx_room_blk(si);
William Lallemandad8be612016-11-18 19:26:17 +0100451 return 0;
452 }
453
454 /* get next list entry and check the end of the list */
455 appctx->ctx.map.ref = pat_list_get_next(appctx->ctx.map.ref, &pattern_reference,
456 appctx->ctx.map.display_flags);
457 }
458
William Lallemandad8be612016-11-18 19:26:17 +0100459 /* fall through */
460
461 default:
462 appctx->st2 = STAT_ST_FIN;
463 return 1;
464 }
465 return 0;
466}
467
468static int cli_io_handler_map_lookup(struct appctx *appctx)
469{
470 struct stream_interface *si = appctx->owner;
471 struct sample sample;
472 struct pattern *pat;
473 int match_method;
474
475 switch (appctx->st2) {
476 case STAT_ST_INIT:
477 /* Init to the first entry. The list cannot be change */
478 appctx->ctx.map.expr = LIST_ELEM(&appctx->ctx.map.ref->pat, struct pattern_expr *, list);
479 appctx->ctx.map.expr = pat_expr_get_next(appctx->ctx.map.expr, &appctx->ctx.map.ref->pat);
480 appctx->st2 = STAT_ST_LIST;
481 /* fall through */
482
483 case STAT_ST_LIST:
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100484 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100485 /* for each lookup type */
486 while (appctx->ctx.map.expr) {
487 /* initialise chunk to build new message */
488 chunk_reset(&trash);
489
490 /* execute pattern matching */
491 sample.data.type = SMP_T_STR;
492 sample.flags = SMP_F_CONST;
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200493 sample.data.u.str.data = appctx->ctx.map.chunk.data;
494 sample.data.u.str.area = appctx->ctx.map.chunk.area;
Emeric Brunb5997f72017-07-03 11:34:05 +0200495
William Lallemandad8be612016-11-18 19:26:17 +0100496 if (appctx->ctx.map.expr->pat_head->match &&
497 sample_convert(&sample, appctx->ctx.map.expr->pat_head->expect_type))
498 pat = appctx->ctx.map.expr->pat_head->match(&sample, appctx->ctx.map.expr, 1);
499 else
500 pat = NULL;
501
502 /* build return message: set type of match */
503 for (match_method=0; match_method<PAT_MATCH_NUM; match_method++)
504 if (appctx->ctx.map.expr->pat_head->match == pat_match_fcts[match_method])
505 break;
506 if (match_method >= PAT_MATCH_NUM)
507 chunk_appendf(&trash, "type=unknown(%p)", appctx->ctx.map.expr->pat_head->match);
508 else
509 chunk_appendf(&trash, "type=%s", pat_match_names[match_method]);
510
511 /* case sensitive */
512 if (appctx->ctx.map.expr->mflags & PAT_MF_IGNORE_CASE)
513 chunk_appendf(&trash, ", case=insensitive");
514 else
515 chunk_appendf(&trash, ", case=sensitive");
516
517 /* Display no match, and set default value */
518 if (!pat) {
519 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
520 chunk_appendf(&trash, ", found=no");
521 else
522 chunk_appendf(&trash, ", match=no");
523 }
524
525 /* Display match and match info */
526 else {
527 /* display match */
528 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
529 chunk_appendf(&trash, ", found=yes");
530 else
531 chunk_appendf(&trash, ", match=yes");
532
533 /* display index mode */
534 if (pat->sflags & PAT_SF_TREE)
535 chunk_appendf(&trash, ", idx=tree");
536 else
537 chunk_appendf(&trash, ", idx=list");
538
539 /* display pattern */
540 if (appctx->ctx.map.display_flags == PAT_REF_MAP) {
541 if (pat->ref && pat->ref->pattern)
542 chunk_appendf(&trash, ", key=\"%s\"", pat->ref->pattern);
543 else
544 chunk_appendf(&trash, ", key=unknown");
545 }
546 else {
547 if (pat->ref && pat->ref->pattern)
548 chunk_appendf(&trash, ", pattern=\"%s\"", pat->ref->pattern);
549 else
550 chunk_appendf(&trash, ", pattern=unknown");
551 }
552
553 /* display return value */
554 if (appctx->ctx.map.display_flags == PAT_REF_MAP) {
555 if (pat->data && pat->ref && pat->ref->sample)
556 chunk_appendf(&trash, ", value=\"%s\", type=\"%s\"", pat->ref->sample,
557 smp_to_type[pat->data->type]);
558 else
559 chunk_appendf(&trash, ", value=none");
560 }
561 }
562
563 chunk_appendf(&trash, "\n");
564
565 /* display response */
Willy Tarreau06d80a92017-10-19 14:32:15 +0200566 if (ci_putchk(si_ic(si), &trash) == -1) {
William Lallemandad8be612016-11-18 19:26:17 +0100567 /* let's try again later from this stream. We add ourselves into
568 * this stream's users so that it can remove us upon termination.
569 */
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100570 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Willy Tarreaudb398432018-11-15 11:08:52 +0100571 si_rx_room_blk(si);
William Lallemandad8be612016-11-18 19:26:17 +0100572 return 0;
573 }
574
575 /* get next entry */
576 appctx->ctx.map.expr = pat_expr_get_next(appctx->ctx.map.expr,
577 &appctx->ctx.map.ref->pat);
578 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100579 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100580 /* fall through */
581
582 default:
583 appctx->st2 = STAT_ST_FIN;
William Lallemandad8be612016-11-18 19:26:17 +0100584 return 1;
585 }
586}
587
588static void cli_release_mlook(struct appctx *appctx)
589{
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100590 ha_free(&appctx->ctx.map.chunk.area);
William Lallemandad8be612016-11-18 19:26:17 +0100591}
592
593
Aurélien Nephtaliabbf6072018-04-18 13:26:46 +0200594static int cli_parse_get_map(char **args, char *payload, struct appctx *appctx, void *private)
William Lallemandad8be612016-11-18 19:26:17 +0100595{
596 if (strcmp(args[1], "map") == 0 || strcmp(args[1], "acl") == 0) {
597 /* Set flags. */
598 if (args[1][0] == 'm')
599 appctx->ctx.map.display_flags = PAT_REF_MAP;
600 else
601 appctx->ctx.map.display_flags = PAT_REF_ACL;
602
603 /* No parameter. */
604 if (!*args[2] || !*args[3]) {
Willy Tarreau9d008692019-08-09 11:21:01 +0200605 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
606 return cli_err(appctx, "Missing map identifier and/or key.\n");
607 else
608 return cli_err(appctx, "Missing ACL identifier and/or key.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100609 }
610
611 /* lookup into the maps */
612 appctx->ctx.map.ref = pat_ref_lookup_ref(args[2]);
613 if (!appctx->ctx.map.ref) {
Willy Tarreau9d008692019-08-09 11:21:01 +0200614 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
615 return cli_err(appctx, "Unknown map identifier. Please use #<id> or <file>.\n");
616 else
617 return cli_err(appctx, "Unknown ACL identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100618 }
619
620 /* copy input string. The string must be allocated because
621 * it may be used over multiple iterations. It's released
622 * at the end and upon abort anyway.
623 */
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200624 appctx->ctx.map.chunk.data = strlen(args[3]);
625 appctx->ctx.map.chunk.size = appctx->ctx.map.chunk.data + 1;
626 appctx->ctx.map.chunk.area = strdup(args[3]);
Willy Tarreau9d008692019-08-09 11:21:01 +0200627 if (!appctx->ctx.map.chunk.area)
628 return cli_err(appctx, "Out of memory error.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100629
630 return 0;
631 }
632 return 1;
633}
634
Willy Tarreau97218ce2021-04-30 14:57:03 +0200635static int cli_parse_prepare_map(char **args, char *payload, struct appctx *appctx, void *private)
636{
637 if (strcmp(args[1], "map") == 0 ||
638 strcmp(args[1], "acl") == 0) {
639 uint next_gen;
640 char *msg = NULL;
641
642 /* Set ACL or MAP flags. */
643 if (args[1][0] == 'm')
644 appctx->ctx.map.display_flags = PAT_REF_MAP;
645 else
646 appctx->ctx.map.display_flags = PAT_REF_ACL;
647
648 /* lookup into the refs and check the map flag */
649 appctx->ctx.map.ref = pat_ref_lookup_ref(args[2]);
650 if (!appctx->ctx.map.ref ||
651 !(appctx->ctx.map.ref->flags & appctx->ctx.map.display_flags)) {
652 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
653 return cli_err(appctx, "Unknown map identifier. Please use #<id> or <file>.\n");
654 else
655 return cli_err(appctx, "Unknown ACL identifier. Please use #<id> or <file>.\n");
656 }
657 next_gen = pat_ref_newgen(appctx->ctx.map.ref);
658 return cli_dynmsg(appctx, LOG_INFO, memprintf(&msg, "New version created: %u\n", next_gen));
659 }
660
661 return 0;
662}
663
Emeric Brun8d85aa42017-06-29 15:40:33 +0200664static void cli_release_show_map(struct appctx *appctx)
665{
666 if (appctx->st2 == STAT_ST_LIST) {
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100667 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Emeric Brun8d85aa42017-06-29 15:40:33 +0200668 if (!LIST_ISEMPTY(&appctx->ctx.map.bref.users))
Willy Tarreau2b718102021-04-21 07:32:39 +0200669 LIST_DELETE(&appctx->ctx.map.bref.users);
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100670 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Emeric Brun8d85aa42017-06-29 15:40:33 +0200671 }
672}
673
Aurélien Nephtaliabbf6072018-04-18 13:26:46 +0200674static int cli_parse_show_map(char **args, char *payload, struct appctx *appctx, void *private)
William Lallemandad8be612016-11-18 19:26:17 +0100675{
676 if (strcmp(args[1], "map") == 0 ||
677 strcmp(args[1], "acl") == 0) {
Willy Tarreau95f753e2021-04-30 12:09:54 +0200678 const char *gen = NULL;
William Lallemandad8be612016-11-18 19:26:17 +0100679
680 /* Set ACL or MAP flags. */
681 if (args[1][0] == 'm')
682 appctx->ctx.map.display_flags = PAT_REF_MAP;
683 else
684 appctx->ctx.map.display_flags = PAT_REF_ACL;
685
686 /* no parameter: display all map available */
687 if (!*args[2]) {
William Lallemandad8be612016-11-18 19:26:17 +0100688 appctx->io_handler = cli_io_handler_pats_list;
689 return 0;
690 }
691
Willy Tarreau95f753e2021-04-30 12:09:54 +0200692 /* For both "map" and "acl" we may have an optional generation
693 * number specified using a "@" character before the pattern
694 * file name.
695 */
696 if (*args[2] == '@') {
697 gen = args[2] + 1;
698 args++;
699 }
700
William Lallemandad8be612016-11-18 19:26:17 +0100701 /* lookup into the refs and check the map flag */
702 appctx->ctx.map.ref = pat_ref_lookup_ref(args[2]);
703 if (!appctx->ctx.map.ref ||
704 !(appctx->ctx.map.ref->flags & appctx->ctx.map.display_flags)) {
Willy Tarreau9d008692019-08-09 11:21:01 +0200705 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
706 return cli_err(appctx, "Unknown map identifier. Please use #<id> or <file>.\n");
707 else
708 return cli_err(appctx, "Unknown ACL identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100709 }
Willy Tarreau95f753e2021-04-30 12:09:54 +0200710
711 /* set the desired generation id in cli.i0 */
712 if (gen)
713 appctx->ctx.cli.i0 = str2uic(gen);
714 else
715 appctx->ctx.cli.i0 = appctx->ctx.map.ref->curr_gen;
716
William Lallemandad8be612016-11-18 19:26:17 +0100717 appctx->io_handler = cli_io_handler_pat_list;
Emeric Brun8d85aa42017-06-29 15:40:33 +0200718 appctx->io_release = cli_release_show_map;
William Lallemandad8be612016-11-18 19:26:17 +0100719 return 0;
720 }
721
722 return 0;
723}
724
Aurélien Nephtaliabbf6072018-04-18 13:26:46 +0200725static int cli_parse_set_map(char **args, char *payload, struct appctx *appctx, void *private)
William Lallemandad8be612016-11-18 19:26:17 +0100726{
727 if (strcmp(args[1], "map") == 0) {
728 char *err;
729
730 /* Set flags. */
731 appctx->ctx.map.display_flags = PAT_REF_MAP;
732
733 /* Expect three parameters: map name, key and new value. */
Willy Tarreau9d008692019-08-09 11:21:01 +0200734 if (!*args[2] || !*args[3] || !*args[4])
735 return cli_err(appctx, "'set map' expects three parameters: map identifier, key and value.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100736
737 /* Lookup the reference in the maps. */
738 appctx->ctx.map.ref = pat_ref_lookup_ref(args[2]);
Willy Tarreau9d008692019-08-09 11:21:01 +0200739 if (!appctx->ctx.map.ref)
740 return cli_err(appctx, "Unknown map identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100741
742 /* If the entry identifier start with a '#', it is considered as
743 * pointer id
744 */
745 if (args[3][0] == '#' && args[3][1] == '0' && args[3][2] == 'x') {
746 struct pat_ref_elt *ref;
747 long long int conv;
748 char *error;
749
750 /* Convert argument to integer value. */
751 conv = strtoll(&args[3][1], &error, 16);
Willy Tarreau9d008692019-08-09 11:21:01 +0200752 if (*error != '\0')
753 return cli_err(appctx, "Malformed identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100754
755 /* Convert and check integer to pointer. */
756 ref = (struct pat_ref_elt *)(long)conv;
Willy Tarreau9d008692019-08-09 11:21:01 +0200757 if ((long long int)(long)ref != conv)
758 return cli_err(appctx, "Malformed identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100759
Aurélien Nephtali9a4da682018-04-16 19:02:42 +0200760 /* Try to modify the entry. */
William Lallemandad8be612016-11-18 19:26:17 +0100761 err = NULL;
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100762 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100763 if (!pat_ref_set_by_id(appctx->ctx.map.ref, ref, args[4], &err)) {
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100764 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Willy Tarreau9d008692019-08-09 11:21:01 +0200765 if (err)
766 return cli_dynerr(appctx, memprintf(&err, "%s.\n", err));
767 else
768 return cli_err(appctx, "Failed to update an entry.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100769 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100770 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100771 }
772 else {
773 /* Else, use the entry identifier as pattern
774 * string, and update the value.
775 */
776 err = NULL;
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100777 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100778 if (!pat_ref_set(appctx->ctx.map.ref, args[3], args[4], &err)) {
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100779 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Willy Tarreau9d008692019-08-09 11:21:01 +0200780 if (err)
781 return cli_dynerr(appctx, memprintf(&err, "%s.\n", err));
782 else
783 return cli_err(appctx, "Failed to update an entry.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100784 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100785 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100786 }
787
788 /* The set is done, send message. */
Willy Tarreau3b6e5472016-11-24 15:53:53 +0100789 appctx->st0 = CLI_ST_PROMPT;
William Lallemandad8be612016-11-18 19:26:17 +0100790 return 0;
791 }
792 return 1;
793}
794
Aurélien Nephtaliabbf6072018-04-18 13:26:46 +0200795static int cli_parse_add_map(char **args, char *payload, struct appctx *appctx, void *private)
William Lallemandad8be612016-11-18 19:26:17 +0100796{
797 if (strcmp(args[1], "map") == 0 ||
798 strcmp(args[1], "acl") == 0) {
799 int ret;
800 char *err;
801
802 /* Set flags. */
803 if (args[1][0] == 'm')
804 appctx->ctx.map.display_flags = PAT_REF_MAP;
805 else
806 appctx->ctx.map.display_flags = PAT_REF_ACL;
807
Aurélien Nephtali25650ce2018-04-18 14:04:47 +0200808 /* If the keyword is "map", we expect:
809 * - three parameters if there is no payload
810 * - one parameter if there is a payload
811 * If it is "acl", we expect only two parameters
William Lallemandad8be612016-11-18 19:26:17 +0100812 */
813 if (appctx->ctx.map.display_flags == PAT_REF_MAP) {
Aurélien Nephtali25650ce2018-04-18 14:04:47 +0200814 if ((!payload && (!*args[2] || !*args[3] || !*args[4])) ||
Willy Tarreau9d008692019-08-09 11:21:01 +0200815 (payload && !*args[2]))
816 return cli_err(appctx,
817 "'add map' expects three parameters (map identifier, key and value)"
818 " or one parameter (map identifier) and a payload\n");
William Lallemandad8be612016-11-18 19:26:17 +0100819 }
Willy Tarreau9d008692019-08-09 11:21:01 +0200820 else if (!*args[2] || !*args[3])
821 return cli_err(appctx, "'add acl' expects two parameters: ACL identifier and pattern.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100822
823 /* Lookup for the reference. */
824 appctx->ctx.map.ref = pat_ref_lookup_ref(args[2]);
825 if (!appctx->ctx.map.ref) {
Willy Tarreau9d008692019-08-09 11:21:01 +0200826 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
827 return cli_err(appctx, "Unknown map identifier. Please use #<id> or <file>.\n");
828 else
829 return cli_err(appctx, "Unknown ACL identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100830 }
831
832 /* The command "add acl" is prohibited if the reference
833 * use samples.
834 */
835 if ((appctx->ctx.map.display_flags & PAT_REF_ACL) &&
836 (appctx->ctx.map.ref->flags & PAT_REF_SMP)) {
Willy Tarreau9d008692019-08-09 11:21:01 +0200837 return cli_err(appctx,
838 "This ACL is shared with a map containing samples. "
839 "You must use the command 'add map' to add values.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100840 }
Willy Tarreauf7dd0e82021-04-29 16:02:48 +0200841
842 /* Add value(s). If no payload is used, key and value are read
843 * from the command line and only one key is set. If a payload
844 * is passed, one key/value pair is read per line till the end
845 * of the payload is reached.
846 */
William Lallemandad8be612016-11-18 19:26:17 +0100847 err = NULL;
Aurélien Nephtali25650ce2018-04-18 14:04:47 +0200848
Willy Tarreauf7dd0e82021-04-29 16:02:48 +0200849 do {
850 char *key = args[3];
851 char *value = args[4];
852 size_t l;
Aurélien Nephtali25650ce2018-04-18 14:04:47 +0200853
Willy Tarreauf7dd0e82021-04-29 16:02:48 +0200854 if (payload) {
855 /* key and value passed as payload, one pair per line */
856 if (!*payload)
857 break;
858
Aurélien Nephtali25650ce2018-04-18 14:04:47 +0200859 key = payload;
860 l = strcspn(key, " \t");
861 payload += l;
862
Willy Tarreau9d008692019-08-09 11:21:01 +0200863 if (!*payload && appctx->ctx.map.display_flags == PAT_REF_MAP)
864 return cli_dynerr(appctx, memprintf(&err, "Missing value for key '%s'.\n", key));
865
Aurélien Nephtali25650ce2018-04-18 14:04:47 +0200866 key[l] = 0;
867 payload++;
868
869 /* value */
870 payload += strspn(payload, " \t");
871 value = payload;
872 l = strcspn(value, "\n");
873 payload += l;
874 if (*payload)
875 payload++;
876 value[l] = 0;
Willy Tarreauf7dd0e82021-04-29 16:02:48 +0200877 }
Aurélien Nephtali25650ce2018-04-18 14:04:47 +0200878
Willy Tarreau4053b032021-04-29 16:55:17 +0200879 if (appctx->ctx.map.display_flags != PAT_REF_MAP)
880 value = NULL;
881
882 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
883 ret = !!pat_ref_load(appctx->ctx.map.ref, appctx->ctx.map.ref->curr_gen, key, value, -1, &err);
884 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
885
Willy Tarreauf7dd0e82021-04-29 16:02:48 +0200886 if (!ret) {
887 if (err)
888 return cli_dynerr(appctx, memprintf(&err, "%s.\n", err));
889 else
890 return cli_err(appctx, "Failed to add a key.\n");
Aurélien Nephtali9a4da682018-04-16 19:02:42 +0200891 }
Willy Tarreauf7dd0e82021-04-29 16:02:48 +0200892 } while (payload && *payload);
William Lallemandad8be612016-11-18 19:26:17 +0100893
894 /* The add is done, send message. */
Willy Tarreau3b6e5472016-11-24 15:53:53 +0100895 appctx->st0 = CLI_ST_PROMPT;
William Lallemandad8be612016-11-18 19:26:17 +0100896 return 1;
897 }
898
899 return 0;
900}
901
Aurélien Nephtaliabbf6072018-04-18 13:26:46 +0200902static int cli_parse_del_map(char **args, char *payload, struct appctx *appctx, void *private)
William Lallemandad8be612016-11-18 19:26:17 +0100903{
904 if (args[1][0] == 'm')
905 appctx->ctx.map.display_flags = PAT_REF_MAP;
906 else
907 appctx->ctx.map.display_flags = PAT_REF_ACL;
908
909 /* Expect two parameters: map name and key. */
Willy Tarreau9d008692019-08-09 11:21:01 +0200910 if (!*args[2] || !*args[3]) {
911 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
912 return cli_err(appctx, "This command expects two parameters: map identifier and key.\n");
913 else
914 return cli_err(appctx, "This command expects two parameters: ACL identifier and key.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100915 }
916
917 /* Lookup the reference in the maps. */
918 appctx->ctx.map.ref = pat_ref_lookup_ref(args[2]);
919 if (!appctx->ctx.map.ref ||
Willy Tarreau9d008692019-08-09 11:21:01 +0200920 !(appctx->ctx.map.ref->flags & appctx->ctx.map.display_flags))
921 return cli_err(appctx, "Unknown map identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100922
923 /* If the entry identifier start with a '#', it is considered as
924 * pointer id
925 */
926 if (args[3][0] == '#' && args[3][1] == '0' && args[3][2] == 'x') {
927 struct pat_ref_elt *ref;
928 long long int conv;
929 char *error;
930
931 /* Convert argument to integer value. */
932 conv = strtoll(&args[3][1], &error, 16);
Willy Tarreau9d008692019-08-09 11:21:01 +0200933 if (*error != '\0')
934 return cli_err(appctx, "Malformed identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100935
936 /* Convert and check integer to pointer. */
937 ref = (struct pat_ref_elt *)(long)conv;
Willy Tarreau9d008692019-08-09 11:21:01 +0200938 if ((long long int)(long)ref != conv)
939 return cli_err(appctx, "Malformed identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100940
941 /* Try to delete the entry. */
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100942 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100943 if (!pat_ref_delete_by_id(appctx->ctx.map.ref, ref)) {
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100944 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100945 /* The entry is not found, send message. */
Willy Tarreau9d008692019-08-09 11:21:01 +0200946 return cli_err(appctx, "Key not found.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100947 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100948 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100949 }
950 else {
951 /* Else, use the entry identifier as pattern
952 * string and try to delete the entry.
953 */
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100954 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100955 if (!pat_ref_delete(appctx->ctx.map.ref, args[3])) {
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100956 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100957 /* The entry is not found, send message. */
Willy Tarreau9d008692019-08-09 11:21:01 +0200958 return cli_err(appctx, "Key not found.\n");
William Lallemandad8be612016-11-18 19:26:17 +0100959 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100960 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
William Lallemandad8be612016-11-18 19:26:17 +0100961 }
962
963 /* The deletion is done, send message. */
Willy Tarreau3b6e5472016-11-24 15:53:53 +0100964 appctx->st0 = CLI_ST_PROMPT;
William Lallemandad8be612016-11-18 19:26:17 +0100965 return 1;
966}
967
Willy Tarreauff3feeb2021-04-30 13:31:43 +0200968/* continue to clear a map which was started in the parser. The range of
969 * generations this applies to is taken from appctx->ctx.cli.i0 for the oldest
970 * and appctx->ctx.cli.i1 for the latest.
971 */
Willy Tarreaud1d005d2019-12-20 18:22:02 +0100972static int cli_io_handler_clear_map(struct appctx *appctx)
973{
974 struct stream_interface *si = appctx->owner;
975 int finished;
976
977 HA_SPIN_LOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
Willy Tarreauff3feeb2021-04-30 13:31:43 +0200978 finished = pat_ref_purge_range(appctx->ctx.map.ref, appctx->ctx.cli.i0, appctx->ctx.cli.i1, 100);
Willy Tarreaud1d005d2019-12-20 18:22:02 +0100979 HA_SPIN_UNLOCK(PATREF_LOCK, &appctx->ctx.map.ref->lock);
980
981 if (!finished) {
982 /* let's come back later */
983 si_rx_endp_more(si);
984 return 0;
985 }
986 return 1;
987}
988
Willy Tarreauff3feeb2021-04-30 13:31:43 +0200989/* note: sets appctx->ctx.cli.i0 and appctx->ctx.cli.i1 to the oldest and
990 * latest generations to clear, respectively, and will call the clear_map
991 * handler.
992 */
Aurélien Nephtaliabbf6072018-04-18 13:26:46 +0200993static int cli_parse_clear_map(char **args, char *payload, struct appctx *appctx, void *private)
William Lallemandad8be612016-11-18 19:26:17 +0100994{
995 if (strcmp(args[1], "map") == 0 || strcmp(args[1], "acl") == 0) {
Willy Tarreauff3feeb2021-04-30 13:31:43 +0200996 const char *gen = NULL;
997
William Lallemandad8be612016-11-18 19:26:17 +0100998 /* Set ACL or MAP flags. */
999 if (args[1][0] == 'm')
1000 appctx->ctx.map.display_flags = PAT_REF_MAP;
1001 else
1002 appctx->ctx.map.display_flags = PAT_REF_ACL;
1003
Willy Tarreauff3feeb2021-04-30 13:31:43 +02001004 /* For both "map" and "acl" we may have an optional generation
1005 * number specified using a "@" character before the pattern
1006 * file name.
1007 */
1008 if (*args[2] == '@') {
1009 gen = args[2] + 1;
1010 args++;
1011 }
1012
William Lallemandad8be612016-11-18 19:26:17 +01001013 /* no parameter */
1014 if (!*args[2]) {
Willy Tarreau9d008692019-08-09 11:21:01 +02001015 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
1016 return cli_err(appctx, "Missing map identifier.\n");
1017 else
1018 return cli_err(appctx, "Missing ACL identifier.\n");
William Lallemandad8be612016-11-18 19:26:17 +01001019 }
1020
1021 /* lookup into the refs and check the map flag */
1022 appctx->ctx.map.ref = pat_ref_lookup_ref(args[2]);
1023 if (!appctx->ctx.map.ref ||
1024 !(appctx->ctx.map.ref->flags & appctx->ctx.map.display_flags)) {
Willy Tarreau9d008692019-08-09 11:21:01 +02001025 if (appctx->ctx.map.display_flags == PAT_REF_MAP)
1026 return cli_err(appctx, "Unknown map identifier. Please use #<id> or <file>.\n");
1027 else
1028 return cli_err(appctx, "Unknown ACL identifier. Please use #<id> or <file>.\n");
William Lallemandad8be612016-11-18 19:26:17 +01001029 }
1030
Willy Tarreauff3feeb2021-04-30 13:31:43 +02001031 /* set the desired generation id in cli.i0/i1 */
1032 if (gen)
1033 appctx->ctx.cli.i1 = appctx->ctx.cli.i0 = str2uic(gen);
1034 else
1035 appctx->ctx.cli.i1 = appctx->ctx.cli.i0 = appctx->ctx.map.ref->curr_gen;
1036
Willy Tarreaud1d005d2019-12-20 18:22:02 +01001037 /* delegate the clearing to the I/O handler which can yield */
1038 return 0;
William Lallemandad8be612016-11-18 19:26:17 +01001039 }
Willy Tarreaud1d005d2019-12-20 18:22:02 +01001040 return 1;
William Lallemandad8be612016-11-18 19:26:17 +01001041}
1042
1043/* register cli keywords */
1044
1045static struct cli_kw_list cli_kws = {{ },{
1046 { { "add", "acl", NULL }, "add acl : add acl entry", cli_parse_add_map, NULL },
Willy Tarreauff3feeb2021-04-30 13:31:43 +02001047 { { "clear", "acl", NULL }, "clear acl [@ver] <id> : clear the content of this acl", cli_parse_clear_map, cli_io_handler_clear_map, NULL },
William Lallemandad8be612016-11-18 19:26:17 +01001048 { { "del", "acl", NULL }, "del acl : delete acl entry", cli_parse_del_map, NULL },
1049 { { "get", "acl", NULL }, "get acl : report the patterns matching a sample for an ACL", cli_parse_get_map, cli_io_handler_map_lookup, cli_release_mlook },
Willy Tarreau97218ce2021-04-30 14:57:03 +02001050 { { "prepare","acl",NULL }, "prepare acl <id>: prepare a new version for atomic ACL replacement", cli_parse_prepare_map, NULL },
Willy Tarreau95f753e2021-04-30 12:09:54 +02001051 { { "show", "acl", NULL }, "show acl [@ver] [id] : report available acls or dump an acl's contents", cli_parse_show_map, NULL },
William Lallemandad8be612016-11-18 19:26:17 +01001052 { { "add", "map", NULL }, "add map : add map entry", cli_parse_add_map, NULL },
Willy Tarreauff3feeb2021-04-30 13:31:43 +02001053 { { "clear", "map", NULL }, "clear map [@ver] <id> : clear the content of this map", cli_parse_clear_map, cli_io_handler_clear_map, NULL },
William Lallemandad8be612016-11-18 19:26:17 +01001054 { { "del", "map", NULL }, "del map : delete map entry", cli_parse_del_map, NULL },
Nenad Merdanovic96c15712017-03-12 22:01:36 +01001055 { { "get", "map", NULL }, "get map : report the keys and values matching a sample for a map", cli_parse_get_map, cli_io_handler_map_lookup, cli_release_mlook },
Willy Tarreau97218ce2021-04-30 14:57:03 +02001056 { { "prepare","map",NULL }, "prepare map <id>: prepare a new version for atomic map replacement", cli_parse_prepare_map, NULL },
William Lallemandad8be612016-11-18 19:26:17 +01001057 { { "set", "map", NULL }, "set map : modify map entry", cli_parse_set_map, NULL },
Willy Tarreau95f753e2021-04-30 12:09:54 +02001058 { { "show", "map", NULL }, "show map [@ver] [id] : report available maps or dump a map's contents", cli_parse_show_map, NULL },
William Lallemandad8be612016-11-18 19:26:17 +01001059 { { NULL }, NULL, NULL, NULL }
1060}};
1061
Willy Tarreau0108d902018-11-25 19:14:37 +01001062INITCALL1(STG_REGISTER, cli_register_kw, &cli_kws);
William Lallemandad8be612016-11-18 19:26:17 +01001063
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +01001064/* Note: must not be declared <const> as its list will be overwritten
1065 *
1066 * For the map_*_int keywords, the output is declared as SMP_T_UINT, but the converter function
1067 * can provide SMP_T_UINT, SMP_T_SINT or SMP_T_BOOL depending on how the patterns found in the
1068 * file can be parsed.
1069 *
1070 * For the map_*_ip keyword, the output is declared as SMP_T_IPV4, but the converter function
1071 * can provide SMP_T_IPV4 or SMP_T_IPV6 depending on the patterns found in the file.
1072 *
1073 * The map_* keywords only emit strings.
1074 *
1075 * The output type is only used during the configuration parsing. It is used for detecting
1076 * compatibility problems.
1077 *
1078 * The arguments are: <file>[,<default value>]
1079 */
1080static struct sample_conv_kw_list sample_conv_kws = {ILH, {
Thierry FOURNIER1edc9712014-12-15 16:18:39 +01001081 { "map", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_STR },
1082 { "map_str", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_STR },
1083 { "map_beg", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_BEG },
1084 { "map_sub", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_SUB },
1085 { "map_dir", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_DIR },
1086 { "map_dom", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_DOM },
1087 { "map_end", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_END },
1088 { "map_reg", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_REG },
Thierry Fournier8feaa662016-02-10 22:55:20 +01001089 { "map_regm", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_STR, (void *)PAT_MATCH_REGM},
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +02001090 { "map_int", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_SINT, SMP_T_STR, (void *)PAT_MATCH_INT },
Thierry FOURNIER1edc9712014-12-15 16:18:39 +01001091 { "map_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_ADDR, SMP_T_STR, (void *)PAT_MATCH_IP },
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +01001092
Thierry FOURNIERbf65cd42015-07-20 17:45:02 +02001093 { "map_str_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_STR, SMP_T_SINT, (void *)PAT_MATCH_STR },
1094 { "map_beg_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_STR, SMP_T_SINT, (void *)PAT_MATCH_BEG },
1095 { "map_sub_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_STR, SMP_T_SINT, (void *)PAT_MATCH_SUB },
1096 { "map_dir_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_STR, SMP_T_SINT, (void *)PAT_MATCH_DIR },
1097 { "map_dom_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_STR, SMP_T_SINT, (void *)PAT_MATCH_DOM },
1098 { "map_end_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_STR, SMP_T_SINT, (void *)PAT_MATCH_END },
1099 { "map_reg_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_STR, SMP_T_SINT, (void *)PAT_MATCH_REG },
1100 { "map_int_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_SINT, SMP_T_SINT, (void *)PAT_MATCH_INT },
1101 { "map_ip_int", sample_conv_map, ARG2(1,STR,SINT), sample_load_map, SMP_T_ADDR, SMP_T_SINT, (void *)PAT_MATCH_IP },
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +01001102
Thierry FOURNIERb2f8f082015-08-04 19:35:46 +02001103 { "map_str_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_ADDR, (void *)PAT_MATCH_STR },
1104 { "map_beg_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_ADDR, (void *)PAT_MATCH_BEG },
1105 { "map_sub_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_ADDR, (void *)PAT_MATCH_SUB },
1106 { "map_dir_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_ADDR, (void *)PAT_MATCH_DIR },
1107 { "map_dom_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_ADDR, (void *)PAT_MATCH_DOM },
1108 { "map_end_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_ADDR, (void *)PAT_MATCH_END },
1109 { "map_reg_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_STR, SMP_T_ADDR, (void *)PAT_MATCH_REG },
1110 { "map_int_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_SINT, SMP_T_ADDR, (void *)PAT_MATCH_INT },
1111 { "map_ip_ip", sample_conv_map, ARG2(1,STR,STR), sample_load_map, SMP_T_ADDR, SMP_T_ADDR, (void *)PAT_MATCH_IP },
Thierry FOURNIERd5f624d2013-11-26 11:52:33 +01001112
1113 { /* END */ },
1114}};
1115
Willy Tarreau0108d902018-11-25 19:14:37 +01001116INITCALL1(STG_REGISTER, sample_register_convs, &sample_conv_kws);