blob: d67e9f1d27e200cdb08b7fe80bae4c38a578bfc4 [file] [log] [blame]
Willy Tarreauc7e42382012-08-24 19:22:53 +02001/*
2 * Chunk management functions.
3 *
4 * Copyright 2000-2012 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
13#include <ctype.h>
14#include <stdarg.h>
15#include <stdio.h>
16#include <string.h>
17
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020018#include <haproxy/api.h>
Willy Tarreauc13ed532020-06-02 10:22:45 +020019#include <haproxy/chunk.h>
Willy Tarreauf268ee82020-06-04 17:05:57 +020020#include <haproxy/global.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020021#include <haproxy/tools.h>
Christopher Faulet748919a2017-07-26 14:59:46 +020022
Willy Tarreau47ca5452012-12-23 20:22:19 +010023/* trash chunks used for various conversions */
Willy Tarreau83061a82018-07-13 11:56:34 +020024static THREAD_LOCAL struct buffer *trash_chunk;
25static THREAD_LOCAL struct buffer trash_chunk1;
26static THREAD_LOCAL struct buffer trash_chunk2;
Willy Tarreau47ca5452012-12-23 20:22:19 +010027
28/* trash buffers used for various conversions */
Willy Tarreauff882702021-04-10 17:23:00 +020029static int trash_size __read_mostly;
Christopher Faulet6adad112017-04-21 16:47:03 +020030static THREAD_LOCAL char *trash_buf1;
31static THREAD_LOCAL char *trash_buf2;
Willy Tarreau47ca5452012-12-23 20:22:19 +010032
Willy Tarreaub686afd2017-02-08 11:06:11 +010033/* the trash pool for reentrant allocations */
Willy Tarreauff882702021-04-10 17:23:00 +020034struct pool_head *pool_head_trash __read_mostly = NULL;
Willy Tarreaub686afd2017-02-08 11:06:11 +010035
Christopher Faulet748919a2017-07-26 14:59:46 +020036/* this is used to drain data, and as a temporary buffer for sprintf()... */
Willy Tarreau83061a82018-07-13 11:56:34 +020037THREAD_LOCAL struct buffer trash = { };
Christopher Faulet748919a2017-07-26 14:59:46 +020038
Willy Tarreau47ca5452012-12-23 20:22:19 +010039/*
40* Returns a pre-allocated and initialized trash chunk that can be used for any
41* type of conversion. Two chunks and their respective buffers are alternatively
42* returned so that it is always possible to iterate data transformations without
43* losing the data being transformed. The blocks are initialized to the size of
Willy Tarreau031ad232013-12-11 17:32:08 +010044* a standard buffer, so they should be enough for everything. For convenience,
45* a zero is always emitted at the beginning of the string so that it may be
46* used as an empty string as well.
Willy Tarreau47ca5452012-12-23 20:22:19 +010047*/
Willy Tarreau83061a82018-07-13 11:56:34 +020048struct buffer *get_trash_chunk(void)
Willy Tarreau47ca5452012-12-23 20:22:19 +010049{
50 char *trash_buf;
51
52 if (trash_chunk == &trash_chunk1) {
53 trash_chunk = &trash_chunk2;
54 trash_buf = trash_buf2;
55 }
56 else {
57 trash_chunk = &trash_chunk1;
58 trash_buf = trash_buf1;
59 }
Willy Tarreau031ad232013-12-11 17:32:08 +010060 *trash_buf = 0;
Willy Tarreau47ca5452012-12-23 20:22:19 +010061 chunk_init(trash_chunk, trash_buf, trash_size);
62 return trash_chunk;
63}
64
Willy Tarreau2819e992013-12-13 14:41:10 +010065/* (re)allocates the trash buffers. Returns 0 in case of failure. It is
66 * possible to call this function multiple times if the trash size changes.
67 */
Christopher Faulet748919a2017-07-26 14:59:46 +020068static int alloc_trash_buffers(int bufsize)
Willy Tarreau47ca5452012-12-23 20:22:19 +010069{
Willy Tarreau843b7cb2018-07-13 10:54:26 +020070 chunk_init(&trash, my_realloc2(trash.area, bufsize), bufsize);
Willy Tarreaue1861612019-06-07 15:33:06 +020071 trash_size = bufsize;
Hubert Verstraete831962e2016-06-28 22:44:26 +020072 trash_buf1 = (char *)my_realloc2(trash_buf1, bufsize);
73 trash_buf2 = (char *)my_realloc2(trash_buf2, bufsize);
Willy Tarreau843b7cb2018-07-13 10:54:26 +020074 return trash.area && trash_buf1 && trash_buf2;
Willy Tarreau47ca5452012-12-23 20:22:19 +010075}
76
Willy Tarreau082b6282019-05-22 14:42:12 +020077static int alloc_trash_buffers_per_thread()
Christopher Fauletcd7879a2017-10-27 13:53:47 +020078{
79 return alloc_trash_buffers(global.tune.bufsize);
80}
81
Willy Tarreau082b6282019-05-22 14:42:12 +020082static void free_trash_buffers_per_thread()
Christopher Fauletcd7879a2017-10-27 13:53:47 +020083{
84 chunk_destroy(&trash);
Willy Tarreaud9411462022-04-27 17:55:41 +020085 ha_free(&trash_buf2);
86 ha_free(&trash_buf1);
Christopher Fauletcd7879a2017-10-27 13:53:47 +020087}
88
Christopher Faulet748919a2017-07-26 14:59:46 +020089/* Initialize the trash buffers. It returns 0 if an error occurred. */
Christopher Fauletcd7879a2017-10-27 13:53:47 +020090int init_trash_buffers(int first)
Christopher Faulet748919a2017-07-26 14:59:46 +020091{
Willy Tarreaubafbe012017-11-24 17:34:44 +010092 pool_destroy(pool_head_trash);
Willy Tarreau83061a82018-07-13 11:56:34 +020093 pool_head_trash = create_pool("trash",
94 sizeof(struct buffer) + global.tune.bufsize,
95 MEM_F_EXACT);
Willy Tarreaubafbe012017-11-24 17:34:44 +010096 if (!pool_head_trash || !alloc_trash_buffers(global.tune.bufsize))
Christopher Faulet748919a2017-07-26 14:59:46 +020097 return 0;
98 return 1;
99}
100
Willy Tarreauc7e42382012-08-24 19:22:53 +0200101/*
Willy Tarreaub686afd2017-02-08 11:06:11 +0100102 * Allocate a trash chunk from the reentrant pool. The buffer starts at the
103 * end of the chunk. This chunk must be freed using free_trash_chunk(). This
104 * call may fail and the caller is responsible for checking that the returned
105 * pointer is not NULL.
106 */
Willy Tarreau83061a82018-07-13 11:56:34 +0200107struct buffer *alloc_trash_chunk(void)
Willy Tarreaub686afd2017-02-08 11:06:11 +0100108{
Willy Tarreau83061a82018-07-13 11:56:34 +0200109 struct buffer *chunk;
Willy Tarreaub686afd2017-02-08 11:06:11 +0100110
Willy Tarreaubafbe012017-11-24 17:34:44 +0100111 chunk = pool_alloc(pool_head_trash);
Willy Tarreaub686afd2017-02-08 11:06:11 +0100112 if (chunk) {
Willy Tarreau83061a82018-07-13 11:56:34 +0200113 char *buf = (char *)chunk + sizeof(struct buffer);
Willy Tarreaub686afd2017-02-08 11:06:11 +0100114 *buf = 0;
Willy Tarreau83061a82018-07-13 11:56:34 +0200115 chunk_init(chunk, buf,
116 pool_head_trash->size - sizeof(struct buffer));
Willy Tarreaub686afd2017-02-08 11:06:11 +0100117 }
118 return chunk;
119}
120
121/*
Willy Tarreau77804732012-10-29 16:14:26 +0100122 * Does an snprintf() at the beginning of chunk <chk>, respecting the limit of
123 * at most chk->size chars. If the chk->len is over, nothing is added. Returns
124 * the new chunk size, or < 0 in case of failure.
125 */
Willy Tarreau83061a82018-07-13 11:56:34 +0200126int chunk_printf(struct buffer *chk, const char *fmt, ...)
Willy Tarreau77804732012-10-29 16:14:26 +0100127{
128 va_list argp;
129 int ret;
130
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200131 if (!chk->area || !chk->size)
Willy Tarreau77804732012-10-29 16:14:26 +0100132 return 0;
133
134 va_start(argp, fmt);
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200135 ret = vsnprintf(chk->area, chk->size, fmt, argp);
Willy Tarreau77804732012-10-29 16:14:26 +0100136 va_end(argp);
Willy Tarreau77804732012-10-29 16:14:26 +0100137
138 if (ret >= chk->size)
Willy Tarreau5f6333c2018-08-22 05:14:37 +0200139 return -1;
Willy Tarreau77804732012-10-29 16:14:26 +0100140
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200141 chk->data = ret;
142 return chk->data;
Willy Tarreau77804732012-10-29 16:14:26 +0100143}
144
145/*
Willy Tarreauc7e42382012-08-24 19:22:53 +0200146 * Does an snprintf() at the end of chunk <chk>, respecting the limit of
147 * at most chk->size chars. If the chk->len is over, nothing is added. Returns
148 * the new chunk size.
149 */
Willy Tarreau83061a82018-07-13 11:56:34 +0200150int chunk_appendf(struct buffer *chk, const char *fmt, ...)
Willy Tarreauc7e42382012-08-24 19:22:53 +0200151{
152 va_list argp;
153 int ret;
154
Willy Tarreaubba81562018-08-22 04:59:48 +0200155 if (!chk->area || !chk->size)
Willy Tarreauc7e42382012-08-24 19:22:53 +0200156 return 0;
157
158 va_start(argp, fmt);
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200159 ret = vsnprintf(chk->area + chk->data, chk->size - chk->data, fmt,
160 argp);
161 if (ret >= chk->size - chk->data)
Willy Tarreauc7e42382012-08-24 19:22:53 +0200162 /* do not copy anything in case of truncation */
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200163 chk->area[chk->data] = 0;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200164 else
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200165 chk->data += ret;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200166 va_end(argp);
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200167 return chk->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200168}
169
170/*
171 * Encode chunk <src> into chunk <dst>, respecting the limit of at most
Ilya Shipitsinc02a23f2020-05-06 00:53:22 +0500172 * chk->size chars. Replace non-printable or special characters with "&#%d;".
Willy Tarreauc7e42382012-08-24 19:22:53 +0200173 * If the chk->len is over, nothing is added. Returns the new chunk size.
174 */
Willy Tarreau83061a82018-07-13 11:56:34 +0200175int chunk_htmlencode(struct buffer *dst, struct buffer *src)
Willy Tarreauc7e42382012-08-24 19:22:53 +0200176{
177 int i, l;
178 int olen, free;
179 char c;
180
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200181 olen = dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200182
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200183 for (i = 0; i < src->data; i++) {
184 free = dst->size - dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200185
186 if (!free) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200187 dst->data = olen;
188 return dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200189 }
190
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200191 c = src->area[i];
Willy Tarreauc7e42382012-08-24 19:22:53 +0200192
Willy Tarreau90807112020-02-25 08:16:33 +0100193 if (!isascii((unsigned char)c) || !isprint((unsigned char)c) || c == '&' || c == '"' || c == '\'' || c == '<' || c == '>') {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200194 l = snprintf(dst->area + dst->data, free, "&#%u;",
195 (unsigned char)c);
Willy Tarreauc7e42382012-08-24 19:22:53 +0200196
197 if (free < l) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200198 dst->data = olen;
199 return dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200200 }
201
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200202 dst->data += l;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200203 } else {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200204 dst->area[dst->data] = c;
205 dst->data++;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200206 }
207 }
208
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200209 return dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200210}
211
212/*
213 * Encode chunk <src> into chunk <dst>, respecting the limit of at most
214 * chk->size chars. Replace non-printable or char passed in qc with "<%02X>".
215 * If the chk->len is over, nothing is added. Returns the new chunk size.
216 */
Willy Tarreau83061a82018-07-13 11:56:34 +0200217int chunk_asciiencode(struct buffer *dst, struct buffer *src, char qc)
Willy Tarreauc7e42382012-08-24 19:22:53 +0200218{
219 int i, l;
220 int olen, free;
221 char c;
222
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200223 olen = dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200224
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200225 for (i = 0; i < src->data; i++) {
226 free = dst->size - dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200227
228 if (!free) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200229 dst->data = olen;
230 return dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200231 }
232
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200233 c = src->area[i];
Willy Tarreauc7e42382012-08-24 19:22:53 +0200234
Willy Tarreau90807112020-02-25 08:16:33 +0100235 if (!isascii((unsigned char)c) || !isprint((unsigned char)c) || c == '<' || c == '>' || c == qc) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200236 l = snprintf(dst->area + dst->data, free, "<%02X>",
237 (unsigned char)c);
Willy Tarreauc7e42382012-08-24 19:22:53 +0200238
239 if (free < l) {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200240 dst->data = olen;
241 return dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200242 }
243
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200244 dst->data += l;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200245 } else {
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200246 dst->area[dst->data] = c;
247 dst->data++;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200248 }
249 }
250
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200251 return dst->data;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200252}
253
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200254/* Compares the string in chunk <chk> with the string in <str> which must be
255 * zero-terminated. Return is the same as with strcmp(). Neither is allowed
256 * to be null.
257 */
Willy Tarreau83061a82018-07-13 11:56:34 +0200258int chunk_strcmp(const struct buffer *chk, const char *str)
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200259{
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200260 const char *s1 = chk->area;
261 int len = chk->data;
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200262 int diff = 0;
263
264 do {
Emeric Brun78bd4032014-05-09 17:11:07 +0200265 if (--len < 0) {
266 diff = (unsigned char)0 - (unsigned char)*str;
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200267 break;
Emeric Brun78bd4032014-05-09 17:11:07 +0200268 }
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200269 diff = (unsigned char)*(s1++) - (unsigned char)*(str++);
270 } while (!diff);
271 return diff;
272}
273
274/* Case-insensitively compares the string in chunk <chk> with the string in
275 * <str> which must be zero-terminated. Return is the same as with strcmp().
276 * Neither is allowed to be null.
277 */
Willy Tarreau83061a82018-07-13 11:56:34 +0200278int chunk_strcasecmp(const struct buffer *chk, const char *str)
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200279{
Willy Tarreau843b7cb2018-07-13 10:54:26 +0200280 const char *s1 = chk->area;
281 int len = chk->data;
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200282 int diff = 0;
283
284 do {
Emeric Brun78bd4032014-05-09 17:11:07 +0200285 if (--len < 0) {
286 diff = (unsigned char)0 - (unsigned char)*str;
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200287 break;
Emeric Brun78bd4032014-05-09 17:11:07 +0200288 }
Willy Tarreauad8f8e82012-10-19 15:18:06 +0200289 diff = (unsigned char)*s1 - (unsigned char)*str;
290 if (unlikely(diff)) {
291 unsigned int l = (unsigned char)*s1;
292 unsigned int r = (unsigned char)*str;
293
294 l -= 'a';
295 r -= 'a';
296
297 if (likely(l <= (unsigned char)'z' - 'a'))
298 l -= 'a' - 'A';
299 if (likely(r <= (unsigned char)'z' - 'a'))
300 r -= 'a' - 'A';
301 diff = l - r;
302 }
303 s1++; str++;
304 } while (!diff);
305 return diff;
306}
Willy Tarreauc7e42382012-08-24 19:22:53 +0200307
Willy Tarreau082b6282019-05-22 14:42:12 +0200308REGISTER_PER_THREAD_ALLOC(alloc_trash_buffers_per_thread);
309REGISTER_PER_THREAD_FREE(free_trash_buffers_per_thread);
Willy Tarreaud9411462022-04-27 17:55:41 +0200310REGISTER_POST_DEINIT(free_trash_buffers_per_thread);
Willy Tarreau172f5ce2018-11-26 11:21:50 +0100311
Willy Tarreauc7e42382012-08-24 19:22:53 +0200312/*
313 * Local variables:
314 * c-indent-level: 8
315 * c-basic-offset: 8
316 * End:
317 */