blob: 774727b533e3db15e7d9cf133d6bc5a919522f5d [file] [log] [blame]
Christopher Fauleta3d2a162018-10-22 08:59:39 +02001/*
2 * internal HTTP message
3 *
4 * Copyright 2018 HAProxy Technologies, Christopher Faulet <cfaulet@haproxy.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
Willy Tarreauc13ed532020-06-02 10:22:45 +020013#include <haproxy/chunk.h>
Willy Tarreau16f958c2020-06-03 08:44:35 +020014#include <haproxy/htx.h>
Christopher Fauleta3d2a162018-10-22 08:59:39 +020015
Christopher Faulet192c6a22019-06-11 16:32:24 +020016struct htx htx_empty = { .size = 0, .data = 0, .head = -1, .tail = -1, .first = -1 };
Christopher Fauleta3d2a162018-10-22 08:59:39 +020017
Christopher Faulet3b219722019-06-19 13:48:09 +020018/* Defragments an HTX message. It removes unused blocks and unwraps the payloads
19 * part. A temporary buffer is used to do so. This function never fails. if
20 * <blk> is not NULL, we replace it by the new block address, after the
21 * defragmentation. The new <blk> is returned.
Christopher Fauleta3d2a162018-10-22 08:59:39 +020022 */
23/* TODO: merge data blocks into one */
24struct htx_blk *htx_defrag(struct htx *htx, struct htx_blk *blk)
25{
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010026 struct buffer *chunk = get_trash_chunk();
27 struct htx *tmp = htxbuf(chunk);
28 struct htx_blk *newblk, *oldblk;
Christopher Faulet200f8952019-01-02 11:23:44 +010029 uint32_t new, old, blkpos;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010030 uint32_t addr, blksz;
Christopher Faulet29f17582019-05-23 11:03:26 +020031 int32_t first = -1;
Christopher Fauleta3d2a162018-10-22 08:59:39 +020032
Christopher Faulet192c6a22019-06-11 16:32:24 +020033 if (htx->head == -1)
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010034 return NULL;
Christopher Fauleta3d2a162018-10-22 08:59:39 +020035
Christopher Faulet200f8952019-01-02 11:23:44 +010036 blkpos = -1;
37
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010038 new = 0;
39 addr = 0;
40 tmp->size = htx->size;
Christopher Fauleta3d2a162018-10-22 08:59:39 +020041
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010042 /* start from the head */
43 for (old = htx_get_head(htx); old != -1; old = htx_get_next(htx, old)) {
44 oldblk = htx_get_blk(htx, old);
Christopher Faulet28f29c72019-04-30 17:55:45 +020045 if (htx_get_blk_type(oldblk) == HTX_BLK_UNUSED)
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010046 continue;
Christopher Fauleta3d2a162018-10-22 08:59:39 +020047
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010048 newblk = htx_get_blk(tmp, new);
49 newblk->addr = addr;
50 newblk->info = oldblk->info;
51 blksz = htx_get_blksz(oldblk);
Christopher Fauleta3d2a162018-10-22 08:59:39 +020052
Christopher Faulet9c66b982019-04-30 18:08:26 +020053 /* update the start-line position */
Christopher Faulet29f17582019-05-23 11:03:26 +020054 if (htx->first == old)
55 first = new;
Christopher Faulet174bfb12018-12-06 14:31:12 +010056
Christopher Faulet3b219722019-06-19 13:48:09 +020057 /* if <blk> is defined, save its new position */
Christopher Faulet200f8952019-01-02 11:23:44 +010058 if (blk != NULL && blk == oldblk)
59 blkpos = new;
60
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010061 memcpy((void *)tmp->blocks + addr, htx_get_blk_ptr(htx, oldblk), blksz);
62 new++;
63 addr += blksz;
Christopher Fauleta3d2a162018-10-22 08:59:39 +020064
Christopher Fauletb8fd4c02019-05-20 09:32:25 +020065 }
Christopher Fauleta3d2a162018-10-22 08:59:39 +020066
Christopher Faulet29f17582019-05-23 11:03:26 +020067 htx->first = first;
Christopher Faulet28f29c72019-04-30 17:55:45 +020068 htx->head = 0;
Christopher Fauletd7884d32019-06-11 10:40:43 +020069 htx->tail = new - 1;
70 htx->head_addr = htx->end_addr = 0;
71 htx->tail_addr = addr;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +010072 memcpy((void *)htx->blocks, (void *)tmp->blocks, htx->size);
Christopher Fauleta3d2a162018-10-22 08:59:39 +020073
Christopher Faulet200f8952019-01-02 11:23:44 +010074 return ((blkpos == -1) ? NULL : htx_get_blk(htx, blkpos));
Christopher Fauleta3d2a162018-10-22 08:59:39 +020075}
76
Christopher Faulet3b219722019-06-19 13:48:09 +020077/* Degragments HTX blocks of an HTX message. Payloads part is keep untouched
78 * here. This function will move back all blocks starting at the position 0,
79 * removing unused blocks. It must never be called with an empty message.
80 */
Christopher Fauletd7884d32019-06-11 10:40:43 +020081static void htx_defrag_blks(struct htx *htx)
82{
83 int32_t pos, new;
84
85 new = 0;
86 for (pos = htx_get_head(htx); pos != -1; pos = htx_get_next(htx, pos)) {
87 struct htx_blk *posblk, *newblk;
88
89 if (pos == new) {
90 new++;
91 continue;
92 }
93
94 posblk = htx_get_blk(htx, pos);
95 if (htx_get_blk_type(posblk) == HTX_BLK_UNUSED)
96 continue;
97
98 if (htx->first == pos)
99 htx->first = new;
100 newblk = htx_get_blk(htx, new++);
101 newblk->info = posblk->info;
102 newblk->addr = posblk->addr;
103 }
104 BUG_ON(!new);
105 htx->head = 0;
106 htx->tail = new - 1;
107}
108
Christopher Faulet3b219722019-06-19 13:48:09 +0200109/* Reserves a new block in the HTX message <htx> with a content of <blksz>
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200110 * bytes. If there is not enough space, NULL is returned. Otherwise the reserved
Christopher Faulet3b219722019-06-19 13:48:09 +0200111 * block is returned and the HTX message is updated. Space for this new block is
112 * reserved in the HTX message. But it is the caller responsibility to set right
113 * info in the block to reflect the stored data.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200114 */
115static struct htx_blk *htx_reserve_nxblk(struct htx *htx, uint32_t blksz)
116{
Christopher Fauletd7884d32019-06-11 10:40:43 +0200117 struct htx_blk *blk;
Christopher Faulet192c6a22019-06-11 16:32:24 +0200118 uint32_t tail, headroom, tailroom;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200119
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100120 if (blksz > htx_free_data_space(htx))
121 return NULL; /* full */
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200122
Christopher Faulet192c6a22019-06-11 16:32:24 +0200123 if (htx->head == -1) {
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100124 /* Empty message */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200125 htx->head = htx->tail = htx->first = 0;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100126 blk = htx_get_blk(htx, htx->tail);
127 blk->addr = 0;
128 htx->data = blksz;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200129 htx->tail_addr = blksz;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100130 return blk;
131 }
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200132
Christopher Fauletd7884d32019-06-11 10:40:43 +0200133 /* Find the block's position. First, we try to get the next position in
134 * the message, increasing the tail by one. If this position is not
135 * available with some holes, we try to defrag the blocks without
136 * touching their paylood. If it is impossible, we fully defrag the
137 * message.
138 */
Christopher Faulet28f29c72019-04-30 17:55:45 +0200139 tail = htx->tail + 1;
Christopher Faulet2bf43f02019-06-12 11:28:11 +0200140 if (htx_pos_to_addr(htx, tail) >= htx->tail_addr)
Christopher Faulet192c6a22019-06-11 16:32:24 +0200141 ;
142 else if (htx->head > 0) {
Christopher Fauletd7884d32019-06-11 10:40:43 +0200143 htx_defrag_blks(htx);
144 tail = htx->tail + 1;
Christopher Faulet2bf43f02019-06-12 11:28:11 +0200145 BUG_ON(htx_pos_to_addr(htx, tail) < htx->tail_addr);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100146 }
Christopher Fauletd7884d32019-06-11 10:40:43 +0200147 else
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100148 goto defrag;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200149
Thayne McCombs8f0cc5c2021-01-07 21:35:52 -0700150 /* Now, we have found the block's position. Try to find where to put its
Christopher Fauletd7884d32019-06-11 10:40:43 +0200151 * payload. The free space is split in two areas:
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100152 *
Thayne McCombs8f0cc5c2021-01-07 21:35:52 -0700153 * * The free space in front of the blocks table. This one is used if and
154 * only if the other one was not used yet.
Christopher Fauletd7884d32019-06-11 10:40:43 +0200155 *
156 * * The free space at the beginning of the message. Once this one is
Thayne McCombs8f0cc5c2021-01-07 21:35:52 -0700157 * used, the other one is never used again, until the next defrag.
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100158 */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200159 headroom = (htx->end_addr - htx->head_addr);
Christopher Faulet2bf43f02019-06-12 11:28:11 +0200160 tailroom = (!htx->head_addr ? htx_pos_to_addr(htx, tail) - htx->tail_addr : 0);
Christopher Fauletd7884d32019-06-11 10:40:43 +0200161 BUG_ON((int32_t)headroom < 0);
162 BUG_ON((int32_t)tailroom < 0);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200163
Christopher Fauletd7884d32019-06-11 10:40:43 +0200164 if (blksz <= tailroom) {
165 blk = htx_get_blk(htx, tail);
166 blk->addr = htx->tail_addr;
167 htx->tail_addr += blksz;
168 }
169 else if (blksz <= headroom) {
170 blk = htx_get_blk(htx, tail);
171 blk->addr = htx->head_addr;
172 htx->head_addr += blksz;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100173 }
174 else {
Christopher Fauletd7884d32019-06-11 10:40:43 +0200175 defrag:
Christopher Faulet3b219722019-06-19 13:48:09 +0200176 /* need to defragment the message before inserting upfront */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200177 htx_defrag(htx, NULL);
178 tail = htx->tail + 1;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200179 blk = htx_get_blk(htx, tail);
180 blk->addr = htx->tail_addr;
181 htx->tail_addr += blksz;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100182 }
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200183
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100184 htx->tail = tail;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100185 htx->data += blksz;
Christopher Faulet29f17582019-05-23 11:03:26 +0200186 /* Set first position if not already set */
187 if (htx->first == -1)
188 htx->first = tail;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200189
190 BUG_ON((int32_t)htx->tail_addr < 0);
191 BUG_ON((int32_t)htx->head_addr < 0);
192 BUG_ON(htx->end_addr > htx->tail_addr);
193 BUG_ON(htx->head_addr > htx->end_addr);
194
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100195 return blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200196}
197
Christopher Fauletd7884d32019-06-11 10:40:43 +0200198/* Prepares the block to an expansion of its payload. The payload will be
199 * expanded by <delta> bytes and we need find where this expansion will be
200 * performed. It can be a compression if <delta> is negative. This function only
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500201 * updates all addresses. The caller have the responsibility to perform the
Christopher Faulet3b219722019-06-19 13:48:09 +0200202 * expansion and update the block and the HTX message accordingly. No error must
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500203 * occur. It returns following values:
Christopher Fauletd7884d32019-06-11 10:40:43 +0200204 *
205 * 0: The expansion cannot be performed, there is not enough space.
206 *
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500207 * 1: the expansion must be performed in place, there is enough space after
Christopher Fauletd7884d32019-06-11 10:40:43 +0200208 * the block's payload to handle it. This is especially true if it is a
209 * compression and not an expension.
210 *
211 * 2: the block's payload must be moved at the new block address before doing
212 * the expansion.
213 *
214 * 3: the HTX message message must be defragmented
215 */
216static int htx_prepare_blk_expansion(struct htx *htx, struct htx_blk *blk, int32_t delta)
217{
218 uint32_t sz, tailroom, headroom;
219 int ret = 3;
220
Christopher Faulet192c6a22019-06-11 16:32:24 +0200221 BUG_ON(htx->head == -1);
222
Christopher Fauletd7884d32019-06-11 10:40:43 +0200223 headroom = (htx->end_addr - htx->head_addr);
Christopher Faulet2bf43f02019-06-12 11:28:11 +0200224 tailroom = (htx_pos_to_addr(htx, htx->tail) - htx->tail_addr);
Christopher Fauletd7884d32019-06-11 10:40:43 +0200225 BUG_ON((int32_t)headroom < 0);
226 BUG_ON((int32_t)tailroom < 0);
227
228 sz = htx_get_blksz(blk);
229 if (delta <= 0) {
230 /* It is a compression, it can be performed in place */
231 if (blk->addr+sz == htx->tail_addr)
232 htx->tail_addr += delta;
233 else if (blk->addr+sz == htx->head_addr)
234 htx->head_addr += delta;
235 ret = 1;
236 }
237 else if (delta > htx_free_space(htx)) {
Ilya Shipitsin46a030c2020-07-05 16:36:08 +0500238 /* There is not enough space to handle the expansion */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200239 ret = 0;
240 }
241 else if (blk->addr+sz == htx->tail_addr) {
242 /* The block's payload is just before the tail room */
243 if (delta < tailroom) {
244 /* Expand the block's payload */
245 htx->tail_addr += delta;
246 ret = 1;
247 }
248 else if ((sz + delta) < headroom) {
Christopher Faulet61ed7792019-07-29 10:50:28 +0200249 uint32_t oldaddr = blk->addr;
250
Christopher Fauletd7884d32019-06-11 10:40:43 +0200251 /* Move the block's payload into the headroom */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200252 blk->addr = htx->head_addr;
253 htx->tail_addr -= sz;
254 htx->head_addr += sz + delta;
Christopher Faulet61ed7792019-07-29 10:50:28 +0200255 if (oldaddr == htx->end_addr) {
Christopher Faulet8c654862019-06-12 11:08:11 +0200256 if (htx->end_addr == htx->tail_addr) {
257 htx->tail_addr = htx->head_addr;
258 htx->head_addr = htx->end_addr = 0;
259 }
260 else
261 htx->end_addr += sz;
262 }
Christopher Fauletd7884d32019-06-11 10:40:43 +0200263 ret = 2;
264 }
265 }
266 else if (blk->addr+sz == htx->head_addr) {
267 /* The block's payload is just before the head room */
268 if (delta < headroom) {
269 /* Expand the block's payload */
270 htx->head_addr += delta;
271 ret = 1;
272 }
273 }
274 else {
275 /* The block's payload is not at the rooms edge */
276 if (!htx->head_addr && sz+delta < tailroom) {
277 /* Move the block's payload into the tailroom */
278 if (blk->addr == htx->end_addr)
279 htx->end_addr += sz;
280 blk->addr = htx->tail_addr;
281 htx->tail_addr += sz + delta;
282 ret = 2;
283 }
284 else if (sz+delta < headroom) {
285 /* Move the block's payload into the headroom */
286 if (blk->addr == htx->end_addr)
287 htx->end_addr += sz;
288 blk->addr = htx->head_addr;
289 htx->head_addr += sz + delta;
290 ret = 2;
291 }
292 }
293 /* Otherwise defrag the HTX message */
294
295 BUG_ON((int32_t)htx->tail_addr < 0);
296 BUG_ON((int32_t)htx->head_addr < 0);
297 BUG_ON(htx->end_addr > htx->tail_addr);
298 BUG_ON(htx->head_addr > htx->end_addr);
299 return ret;
300}
301
Christopher Faulet3b219722019-06-19 13:48:09 +0200302/* Adds a new block of type <type> in the HTX message <htx>. Its content size is
303 * passed but it is the caller responsibility to do the copy.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200304 */
305struct htx_blk *htx_add_blk(struct htx *htx, enum htx_blk_type type, uint32_t blksz)
306{
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100307 struct htx_blk *blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200308
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100309 blk = htx_reserve_nxblk(htx, blksz);
310 if (!blk)
311 return NULL;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200312 BUG_ON(blk->addr > htx->size);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200313
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100314 blk->info = (type << 28);
315 return blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200316}
317
Christopher Faulet3b219722019-06-19 13:48:09 +0200318/* Removes the block <blk> from the HTX message <htx>. The function returns the
319 * block following <blk> or NULL if <blk> is the last block or the last inserted
320 * one.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200321 */
322struct htx_blk *htx_remove_blk(struct htx *htx, struct htx_blk *blk)
323{
Christopher Fauletd7884d32019-06-11 10:40:43 +0200324 enum htx_blk_type type;
325 uint32_t pos, addr, sz;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200326
Christopher Faulet192c6a22019-06-11 16:32:24 +0200327 BUG_ON(htx->head == -1);
328
Christopher Fauletd7884d32019-06-11 10:40:43 +0200329 /* This is the last block in use */
Christopher Faulet192c6a22019-06-11 16:32:24 +0200330 if (htx->head == htx->tail) {
Christopher Fauletd1ac2b92020-12-02 19:12:22 +0100331 uint32_t flags = htx->flags; /* Preserve flags */
332
Christopher Fauletd7884d32019-06-11 10:40:43 +0200333 htx_reset(htx);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +0100334 htx->flags |= flags;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200335 return NULL;
336 }
337
338 type = htx_get_blk_type(blk);
Christopher Faulet9c66b982019-04-30 18:08:26 +0200339 pos = htx_get_blk_pos(htx, blk);
Christopher Fauletd7884d32019-06-11 10:40:43 +0200340 sz = htx_get_blksz(blk);
341 addr = blk->addr;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100342 if (type != HTX_BLK_UNUSED) {
343 /* Mark the block as unused, decrement allocated size */
344 htx->data -= htx_get_blksz(blk);
345 blk->info = ((uint32_t)HTX_BLK_UNUSED << 28);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100346 }
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200347
Christopher Faulet3b219722019-06-19 13:48:09 +0200348 /* There is at least 2 blocks, so tail is always > 0 */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200349 if (pos == htx->head) {
350 /* move the head forward */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200351 htx->head++;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100352 }
Christopher Fauletd7884d32019-06-11 10:40:43 +0200353 else if (pos == htx->tail) {
354 /* remove the tail. this was the last inserted block so
355 * return NULL. */
356 htx->tail--;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200357 blk = NULL;
358 goto end;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100359 }
Christopher Fauletd7884d32019-06-11 10:40:43 +0200360 blk = htx_get_blk(htx, pos+1);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200361
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200362 end:
Christopher Faulet29f17582019-05-23 11:03:26 +0200363 if (pos == htx->first)
364 htx->first = (blk ? htx_get_blk_pos(htx, blk) : -1);
Christopher Fauletd7884d32019-06-11 10:40:43 +0200365
Christopher Faulet192c6a22019-06-11 16:32:24 +0200366 if (htx->head == htx->tail) {
Christopher Fauletd7884d32019-06-11 10:40:43 +0200367 /* If there is just one block in the HTX message, free space can
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500368 * be adjusted. This operation could save some defrags. */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200369 struct htx_blk *lastblk = htx_get_blk(htx, htx->tail);
370
371 htx->head_addr = 0;
372 htx->end_addr = lastblk->addr;
373 htx->tail_addr = lastblk->addr+htx->data;
374 }
375 else {
376 if (addr+sz == htx->tail_addr)
377 htx->tail_addr = addr;
378 else if (addr+sz == htx->head_addr)
379 htx->head_addr = addr;
Christopher Faulet8c654862019-06-12 11:08:11 +0200380 if (addr == htx->end_addr) {
381 if (htx->tail_addr == htx->end_addr) {
382 htx->tail_addr = htx->head_addr;
383 htx->head_addr = htx->end_addr = 0;
384 }
385 else
386 htx->end_addr += sz;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200387 }
388 }
389
390 BUG_ON((int32_t)htx->tail_addr < 0);
391 BUG_ON((int32_t)htx->head_addr < 0);
392 BUG_ON(htx->end_addr > htx->tail_addr);
393 BUG_ON(htx->head_addr > htx->end_addr);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100394 return blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200395}
396
Christopher Faulet1cdceb92020-02-24 11:41:59 +0100397/* Looks for the HTX block containing the offset <offset>, starting at the HTX
398 * message's head. The function returns an htx_ret with the found HTX block and
399 * the position inside this block where the offset is. If the offset <offset> is
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500400 * outside of the HTX message, htx_ret.blk is set to NULL.
Christopher Faulet1cdceb92020-02-24 11:41:59 +0100401 */
402struct htx_ret htx_find_offset(struct htx *htx, uint32_t offset)
403{
404 struct htx_blk *blk;
405 struct htx_ret htxret = { .blk = NULL, .ret = 0 };
406
407 if (offset >= htx->data)
408 return htxret;
409
410 for (blk = htx_get_head_blk(htx); blk && offset; blk = htx_get_next_blk(htx, blk)) {
411 uint32_t sz = htx_get_blksz(blk);
412
413 if (offset < sz)
414 break;
415 offset -= sz;
416 }
417 htxret.blk = blk;
418 htxret.ret = offset;
419 return htxret;
420}
421
Christopher Faulet3b219722019-06-19 13:48:09 +0200422/* Removes all blocks after the one containing the offset <offset>. This last
423 * one may be truncated if it is a DATA block.
Christopher Faulet00cf6972019-01-07 14:53:27 +0100424 */
425void htx_truncate(struct htx *htx, uint32_t offset)
426{
427 struct htx_blk *blk;
Christopher Fauletbb76aa42020-02-24 15:09:24 +0100428 struct htx_ret htxret = htx_find_offset(htx, offset);
Christopher Faulet00cf6972019-01-07 14:53:27 +0100429
Christopher Fauletbb76aa42020-02-24 15:09:24 +0100430 blk = htxret.blk;
431 if (blk && htxret.ret && htx_get_blk_type(blk) == HTX_BLK_DATA) {
432 htx_change_blk_value_len(htx, blk, htxret.ret);
433 blk = htx_get_next_blk(htx, blk);
Christopher Faulet00cf6972019-01-07 14:53:27 +0100434 }
435 while (blk)
436 blk = htx_remove_blk(htx, blk);
437}
438
Christopher Faulet3b219722019-06-19 13:48:09 +0200439/* Drains <count> bytes from the HTX message <htx>. If the last block is a DATA
440 * block, it will be cut if necessary. Others blocks will be removed at once if
441 * <count> is large enough. The function returns an htx_ret with the first block
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500442 * remaining in the message and the amount of data drained. If everything is
Christopher Faulet3b219722019-06-19 13:48:09 +0200443 * removed, htx_ret.blk is set to NULL.
Christopher Faulet549822f2019-02-25 10:23:19 +0100444 */
445struct htx_ret htx_drain(struct htx *htx, uint32_t count)
446{
447 struct htx_blk *blk;
448 struct htx_ret htxret = { .blk = NULL, .ret = 0 };
449
Christopher Faulet0f6d6a92019-05-23 11:11:52 +0200450 if (count == htx->data) {
451 htx_reset(htx);
452 htxret.ret = count;
453 return htxret;
454 }
455
Christopher Faulet549822f2019-02-25 10:23:19 +0100456 blk = htx_get_head_blk(htx);
457 while (count && blk) {
458 uint32_t sz = htx_get_blksz(blk);
459 enum htx_blk_type type = htx_get_blk_type(blk);
460
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500461 /* Ignore unused block */
Christopher Faulet549822f2019-02-25 10:23:19 +0100462 if (type == HTX_BLK_UNUSED)
463 goto next;
464
465 if (sz > count) {
466 if (type == HTX_BLK_DATA) {
467 htx_cut_data_blk(htx, blk, count);
468 htxret.ret += count;
469 }
470 break;
471 }
472 count -= sz;
473 htxret.ret += sz;
474 next:
475 blk = htx_remove_blk(htx, blk);
476 }
477 htxret.blk = blk;
478
479 return htxret;
480}
481
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200482/* Tries to append data to the last inserted block, if the type matches and if
Willy Tarreaud4908fa2019-05-28 10:23:46 +0200483 * there is enough space to take it all. If the space wraps, the buffer is
484 * defragmented and a new block is inserted. If an error occurred, NULL is
Christopher Faulet61775092019-05-07 21:42:27 +0200485 * returned. Otherwise, on success, the updated block (or the new one) is
Willy Tarreaud4908fa2019-05-28 10:23:46 +0200486 * returned. Due to its nature this function can be expensive and should be
487 * avoided whenever possible.
488 */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200489struct htx_blk *htx_add_data_atonce(struct htx *htx, struct ist data)
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200490{
Christopher Fauletd7884d32019-06-11 10:40:43 +0200491 struct htx_blk *blk, *tailblk;
492 void *ptr;
493 uint32_t len, sz, tailroom, headroom;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200494
Christopher Faulet192c6a22019-06-11 16:32:24 +0200495 if (htx->head == -1)
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100496 goto add_new_block;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200497
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100498 /* Not enough space to store data */
499 if (data.len > htx_free_data_space(htx))
500 return NULL;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200501
Christopher Fauletd7884d32019-06-11 10:40:43 +0200502 /* get the tail block and its size */
Christopher Fauletf1449b72019-04-10 14:54:46 +0200503 tailblk = htx_get_tail_blk(htx);
Christopher Fauletd7884d32019-06-11 10:40:43 +0200504 if (tailblk == NULL)
Christopher Fauletf1449b72019-04-10 14:54:46 +0200505 goto add_new_block;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200506 sz = htx_get_blksz(tailblk);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200507
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100508 /* Don't try to append data if the last inserted block is not of the
509 * same type */
Willy Tarreaud4908fa2019-05-28 10:23:46 +0200510 if (htx_get_blk_type(tailblk) != HTX_BLK_DATA)
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100511 goto add_new_block;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200512
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100513 /*
514 * Same type and enough space: append data
515 */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200516 headroom = (htx->end_addr - htx->head_addr);
Christopher Faulet2bf43f02019-06-12 11:28:11 +0200517 tailroom = (htx_pos_to_addr(htx, htx->tail) - htx->tail_addr);
Christopher Fauletd7884d32019-06-11 10:40:43 +0200518 BUG_ON((int32_t)headroom < 0);
519 BUG_ON((int32_t)tailroom < 0);
520
521 len = data.len;
522 if (tailblk->addr+sz == htx->tail_addr) {
523 if (data.len <= tailroom)
524 goto append_data;
525 else if (!htx->head_addr) {
526 len = tailroom;
527 goto append_data;
528 }
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100529 }
Christopher Fauletd7884d32019-06-11 10:40:43 +0200530 else if (tailblk->addr+sz == htx->head_addr && data.len <= headroom)
531 goto append_data;
Christopher Fauletf1449b72019-04-10 14:54:46 +0200532
Christopher Fauletd7884d32019-06-11 10:40:43 +0200533 goto add_new_block;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200534
535 append_data:
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100536 /* FIXME: check v.len + data.len < 256MB */
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100537 /* Append data and update the block itself */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200538 ptr = htx_get_blk_ptr(htx, tailblk);
539 memcpy(ptr+sz, data.ptr, len);
Christopher Faulet3e2638e2019-06-18 09:49:16 +0200540 htx_change_blk_value_len(htx, tailblk, sz+len);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200541
Christopher Fauletd7884d32019-06-11 10:40:43 +0200542 if (data.len == len) {
543 blk = tailblk;
544 goto end;
545 }
Tim Duesterhus154374c2021-03-02 18:57:27 +0100546 data = istadv(data, len);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200547
548 add_new_block:
Christopher Faulet2d7c5392019-06-03 10:41:26 +0200549 /* FIXME: check data.len (< 256MB) */
Willy Tarreaud4908fa2019-05-28 10:23:46 +0200550 blk = htx_add_blk(htx, HTX_BLK_DATA, data.len);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100551 if (!blk)
552 return NULL;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200553
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100554 blk->info += data.len;
555 memcpy(htx_get_blk_ptr(htx, blk), data.ptr, data.len);
Christopher Fauletd7884d32019-06-11 10:40:43 +0200556
557 end:
558 BUG_ON((int32_t)htx->tail_addr < 0);
559 BUG_ON((int32_t)htx->head_addr < 0);
560 BUG_ON(htx->end_addr > htx->tail_addr);
561 BUG_ON(htx->head_addr > htx->end_addr);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100562 return blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200563}
564
565/* Replaces a value part of a block by a new one. The new part can be smaller or
566 * larger than the old one. This function works for any kind of block with
567 * attached data. It returns the new block on success, otherwise it returns
568 * NULL.
569 */
570struct htx_blk *htx_replace_blk_value(struct htx *htx, struct htx_blk *blk,
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100571 const struct ist old, const struct ist new)
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200572{
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100573 struct ist n, v;
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100574 int32_t delta;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200575 int ret;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200576
Christopher Fauletd7884d32019-06-11 10:40:43 +0200577 n = htx_get_blk_name(htx, blk);
578 v = htx_get_blk_value(htx, blk);
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100579 delta = new.len - old.len;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200580 ret = htx_prepare_blk_expansion(htx, blk, delta);
581 if (!ret)
582 return NULL; /* not enough space */
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100583
Christopher Fauletd7884d32019-06-11 10:40:43 +0200584 /* Before updating the payload, set the new block size and update HTX
585 * message */
586 htx_set_blk_value_len(blk, v.len + delta);
587 htx->data += delta;
588
Christopher Faulet3b219722019-06-19 13:48:09 +0200589 if (ret == 1) { /* Replace in place */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200590 if (delta <= 0) {
Christopher Faulet3b219722019-06-19 13:48:09 +0200591 /* compression: copy new data first then move the end */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200592 memcpy(old.ptr, new.ptr, new.len);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100593 memmove(old.ptr + new.len, old.ptr + old.len, (v.ptr + v.len) - (old.ptr + old.len));
Christopher Fauletd7884d32019-06-11 10:40:43 +0200594 }
595 else {
Christopher Faulet3b219722019-06-19 13:48:09 +0200596 /* expansion: move the end first then copy new data */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200597 memmove(old.ptr + new.len, old.ptr + old.len, (v.ptr + v.len) - (old.ptr + old.len));
598 memcpy(old.ptr, new.ptr, new.len);
599 }
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100600 }
Christopher Faulet3b219722019-06-19 13:48:09 +0200601 else if (ret == 2) { /* New address but no defrag */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200602 void *ptr = htx_get_blk_ptr(htx, blk);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200603
Christopher Fauletd7884d32019-06-11 10:40:43 +0200604 /* Copy the name, if any */
605 memcpy(ptr, n.ptr, n.len);
606 ptr += n.len;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200607
Christopher Fauletd7884d32019-06-11 10:40:43 +0200608 /* Copy value before old part, if any */
609 memcpy(ptr, v.ptr, old.ptr - v.ptr);
610 ptr += old.ptr - v.ptr;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200611
Christopher Fauletd7884d32019-06-11 10:40:43 +0200612 /* Copy new value */
613 memcpy(ptr, new.ptr, new.len);
614 ptr += new.len;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200615
Christopher Fauletd7884d32019-06-11 10:40:43 +0200616 /* Copy value after old part, if any */
617 memcpy(ptr, old.ptr + old.len, (v.ptr + v.len) - (old.ptr + old.len));
618 }
Christopher Faulet3b219722019-06-19 13:48:09 +0200619 else { /* Do a degrag first */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200620 struct buffer *tmp = get_trash_chunk();
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200621
Christopher Fauletd7884d32019-06-11 10:40:43 +0200622 /* Copy the header name, if any */
623 chunk_memcat(tmp, n.ptr, n.len);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200624
Christopher Fauletd7884d32019-06-11 10:40:43 +0200625 /* Copy value before old part, if any */
626 chunk_memcat(tmp, v.ptr, old.ptr - v.ptr);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200627
Christopher Fauletd7884d32019-06-11 10:40:43 +0200628 /* Copy new value */
629 chunk_memcat(tmp, new.ptr, new.len);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200630
Christopher Fauletd7884d32019-06-11 10:40:43 +0200631 /* Copy value after old part if any */
632 chunk_memcat(tmp, old.ptr + old.len, (v.ptr + v.len) - (old.ptr + old.len));
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200633
Christopher Fauletd7884d32019-06-11 10:40:43 +0200634 blk = htx_defrag(htx, blk);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200635
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500636 /* Finally, copy data. */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200637 memcpy(htx_get_blk_ptr(htx, blk), tmp->area, tmp->data);
638 }
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100639 return blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200640}
641
642/* Transfer HTX blocks from <src> to <dst>, stopping on the first block of the
Christopher Fauletd1ac2b92020-12-02 19:12:22 +0100643 * type <mark> (typically EOH or EOT) or when <count> bytes were moved
Christopher Faulet156852b2019-05-16 11:29:13 +0200644 * (including payload and meta-data). It returns the number of bytes moved and
645 * the last HTX block inserted in <dst>.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200646 */
647struct htx_ret htx_xfer_blks(struct htx *dst, struct htx *src, uint32_t count,
648 enum htx_blk_type mark)
649{
650 struct htx_blk *blk, *dstblk;
651 enum htx_blk_type type;
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100652 uint32_t info, max, sz, ret;
Christopher Faulet2d7c5392019-06-03 10:41:26 +0200653 int inside_trailers = 0;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200654
Christopher Faulet156852b2019-05-16 11:29:13 +0200655 ret = htx_used_space(dst);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200656 blk = htx_get_blk(src, htx_get_head(src));
657 dstblk = NULL;
Christopher Faulet156852b2019-05-16 11:29:13 +0200658
659 while (blk && count) {
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200660 type = htx_get_blk_type(blk);
661
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500662 /* Ignore unused block */
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200663 if (type == HTX_BLK_UNUSED)
664 goto next;
665
Christopher Faulet2d7c5392019-06-03 10:41:26 +0200666 /* Be sure to have enough space to xfer all headers/trailers in
667 * one time. If not while <dst> is empty, we report a parsing
668 * error on <src>.
Christopher Fauleta61e97b2019-05-16 11:30:31 +0200669 */
670 if (mark >= HTX_BLK_EOH && (type == HTX_BLK_REQ_SL || type == HTX_BLK_RES_SL)) {
671 struct htx_sl *sl = htx_get_blk_ptr(src, blk);
672
673 if (sl->hdrs_bytes != -1 && sl->hdrs_bytes > count) {
674 if (htx_is_empty(dst))
675 src->flags |= HTX_FL_PARSING_ERROR;
676 break;
677 }
678 }
Christopher Faulet2d7c5392019-06-03 10:41:26 +0200679 else if ((type == HTX_BLK_TLR || type == HTX_BLK_EOT) &&
680 !inside_trailers && mark >= HTX_BLK_EOT) {
681 inside_trailers = 1;
682 if (htx_used_space(src) > count) {
683 if (htx_is_empty(dst))
684 src->flags |= HTX_FL_PARSING_ERROR;
685 break;
686 }
687 }
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200688
Christopher Faulet156852b2019-05-16 11:29:13 +0200689 sz = htx_get_blksz(blk);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200690 info = blk->info;
Christopher Faulet156852b2019-05-16 11:29:13 +0200691 max = htx_get_max_blksz(dst, count);
692 if (!max)
693 break;
Willy Tarreau90caa072019-04-09 16:21:54 +0200694 if (sz > max) {
Christopher Faulet3b219722019-06-19 13:48:09 +0200695 /* Only DATA blocks can be partially xferred */
Christopher Faulet156852b2019-05-16 11:29:13 +0200696 if (type != HTX_BLK_DATA)
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200697 break;
Christopher Faulet156852b2019-05-16 11:29:13 +0200698 sz = max;
699 info = (type << 28) + sz;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200700 }
701
702 dstblk = htx_reserve_nxblk(dst, sz);
703 if (!dstblk)
704 break;
705 dstblk->info = info;
706 memcpy(htx_get_blk_ptr(dst, dstblk), htx_get_blk_ptr(src, blk), sz);
707
Christopher Faulet156852b2019-05-16 11:29:13 +0200708 count -= sizeof(dstblk) + sz;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200709 if (blk->info != info) {
Christopher Faulet3b219722019-06-19 13:48:09 +0200710 /* Partial xfer: don't remove <blk> from <src> but
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200711 * resize its content */
Christopher Faulet156852b2019-05-16 11:29:13 +0200712 htx_cut_data_blk(src, blk, sz);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200713 break;
714 }
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200715 next:
716 blk = htx_remove_blk(src, blk);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +0100717 if (type != HTX_BLK_UNUSED && type == mark)
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200718 break;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200719 }
720
Christopher Faulet156852b2019-05-16 11:29:13 +0200721 end:
722 ret = htx_used_space(dst) - ret;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200723 return (struct htx_ret){.ret = ret, .blk = dstblk};
724}
725
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200726/* Replaces an header by a new one. The new header can be smaller or larger than
727 * the old one. It returns the new block on success, otherwise it returns NULL.
Willy Tarreaued00e342018-12-07 08:47:45 +0100728 * The header name is always lower cased.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200729 */
730struct htx_blk *htx_replace_header(struct htx *htx, struct htx_blk *blk,
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100731 const struct ist name, const struct ist value)
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200732{
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100733 enum htx_blk_type type;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200734 void *ptr;
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100735 int32_t delta;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200736 int ret;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200737
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100738 type = htx_get_blk_type(blk);
739 if (type != HTX_BLK_HDR)
740 return NULL;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200741
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100742 delta = name.len + value.len - htx_get_blksz(blk);
Christopher Fauletd7884d32019-06-11 10:40:43 +0200743 ret = htx_prepare_blk_expansion(htx, blk, delta);
744 if (!ret)
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100745 return NULL; /* not enough space */
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200746
Christopher Fauletd7884d32019-06-11 10:40:43 +0200747 /* Set the new block size and update HTX message */
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200748 blk->info = (type << 28) + (value.len << 8) + name.len;
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100749 htx->data += delta;
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100750
Christopher Faulet3b219722019-06-19 13:48:09 +0200751 /* Replace in place or at a new address is the same. We replace all the
752 * header (name+value). Only take care to defrag the message if
753 * necessary. */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200754 if (ret == 3)
755 blk = htx_defrag(htx, blk);
756
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500757 /* Finally, copy data. */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200758 ptr = htx_get_blk_ptr(htx, blk);
759 ist2bin_lc(ptr, name);
760 memcpy(ptr + name.len, value.ptr, value.len);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100761 return blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200762}
763
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100764/* Replaces the parts of the start-line. It returns the new start-line on
765 * success, otherwise it returns NULL. It is the caller responsibility to update
766 * sl->info, if necessary.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200767 */
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100768struct htx_sl *htx_replace_stline(struct htx *htx, struct htx_blk *blk, const struct ist p1,
769 const struct ist p2, const struct ist p3)
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200770{
Christopher Fauletd7884d32019-06-11 10:40:43 +0200771 enum htx_blk_type type;
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100772 struct htx_sl *sl;
773 struct htx_sl tmp; /* used to save sl->info and sl->flags */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200774 uint32_t sz;
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100775 int32_t delta;
Christopher Fauletd7884d32019-06-11 10:40:43 +0200776 int ret;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200777
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100778 type = htx_get_blk_type(blk);
Willy Tarreauc706cd72018-12-07 17:12:22 +0100779 if (type != HTX_BLK_REQ_SL && type != HTX_BLK_RES_SL)
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100780 return NULL;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200781
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100782 /* Save start-line info and flags */
783 sl = htx_get_blk_ptr(htx, blk);
784 tmp.info = sl->info;
785 tmp.flags = sl->flags;
Christopher Faulet2bce0462019-06-25 21:31:26 +0200786 tmp.hdrs_bytes = sl->hdrs_bytes;
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100787
Christopher Fauletd7884d32019-06-11 10:40:43 +0200788 sz = htx_get_blksz(blk);
789 delta = sizeof(*sl) + p1.len + p2.len + p3.len - sz;
790 ret = htx_prepare_blk_expansion(htx, blk, delta);
791 if (!ret)
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100792 return NULL; /* not enough space */
793
Christopher Fauletd7884d32019-06-11 10:40:43 +0200794 /* Set the new block size and update HTX message */
795 htx_set_blk_value_len(blk, sz+delta);
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100796 htx->data += delta;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200797
Christopher Faulet3b219722019-06-19 13:48:09 +0200798 /* Replace in place or at a new address is the same. We replace all the
799 * start-line. Only take care to defrag the message if necessary. */
Christopher Fauletd7884d32019-06-11 10:40:43 +0200800 if (ret == 3)
801 blk = htx_defrag(htx, blk);
802
Christopher Faulete97f3ba2018-12-10 15:39:40 +0100803 /* Restore start-line info and flags and copy parts of the start-line */
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100804 sl = htx_get_blk_ptr(htx, blk);
805 sl->info = tmp.info;
806 sl->flags = tmp.flags;
Christopher Faulet2bce0462019-06-25 21:31:26 +0200807 sl->hdrs_bytes = tmp.hdrs_bytes;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200808
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100809 HTX_SL_P1_LEN(sl) = p1.len;
810 HTX_SL_P2_LEN(sl) = p2.len;
811 HTX_SL_P3_LEN(sl) = p3.len;
Christopher Faulet54483df2018-11-26 15:05:52 +0100812
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100813 memcpy(HTX_SL_P1_PTR(sl), p1.ptr, p1.len);
814 memcpy(HTX_SL_P2_PTR(sl), p2.ptr, p2.len);
815 memcpy(HTX_SL_P3_PTR(sl), p3.ptr, p3.len);
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200816
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100817 return sl;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200818}
819
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100820/* Add a new start-line. It returns it on success, otherwise it returns NULL. It
821 * is the caller responsibility to set sl->info, if necessary.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200822 */
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100823struct htx_sl *htx_add_stline(struct htx *htx, enum htx_blk_type type, unsigned int flags,
824 const struct ist p1, const struct ist p2, const struct ist p3)
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200825{
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100826 struct htx_blk *blk;
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100827 struct htx_sl *sl;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200828 uint32_t size;
829
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100830 if (type != HTX_BLK_REQ_SL && type != HTX_BLK_RES_SL)
831 return NULL;
832
833 size = sizeof(*sl) + p1.len + p2.len + p3.len;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200834
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100835 /* FIXME: check size (< 256MB) */
836 blk = htx_add_blk(htx, type, size);
837 if (!blk)
838 return NULL;
839 blk->info += size;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200840
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100841 sl = htx_get_blk_ptr(htx, blk);
Christopher Faulet05c083c2019-05-15 14:56:47 +0200842 sl->hdrs_bytes = -1;
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100843 sl->flags = flags;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200844
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100845 HTX_SL_P1_LEN(sl) = p1.len;
846 HTX_SL_P2_LEN(sl) = p2.len;
847 HTX_SL_P3_LEN(sl) = p3.len;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200848
Christopher Fauletf1ba18d2018-11-26 21:37:08 +0100849 memcpy(HTX_SL_P1_PTR(sl), p1.ptr, p1.len);
850 memcpy(HTX_SL_P2_PTR(sl), p2.ptr, p2.len);
851 memcpy(HTX_SL_P3_PTR(sl), p3.ptr, p3.len);
852
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100853 return sl;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200854}
855
856/* Adds an HTX block of type HDR in <htx>. It returns the new block on
Willy Tarreaued00e342018-12-07 08:47:45 +0100857 * success. Otherwise, it returns NULL. The header name is always lower cased.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200858 */
859struct htx_blk *htx_add_header(struct htx *htx, const struct ist name,
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100860 const struct ist value)
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200861{
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100862 struct htx_blk *blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200863
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100864 /* FIXME: check name.len (< 256B) and value.len (< 1MB) */
865 blk = htx_add_blk(htx, HTX_BLK_HDR, name.len + value.len);
866 if (!blk)
867 return NULL;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200868
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100869 blk->info += (value.len << 8) + name.len;
Willy Tarreaued00e342018-12-07 08:47:45 +0100870 ist2bin_lc(htx_get_blk_ptr(htx, blk), name);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100871 memcpy(htx_get_blk_ptr(htx, blk) + name.len, value.ptr, value.len);
872 return blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200873}
874
Christopher Faulet2d7c5392019-06-03 10:41:26 +0200875/* Adds an HTX block of type TLR in <htx>. It returns the new block on
Christopher Faulet3b219722019-06-19 13:48:09 +0200876 * success. Otherwise, it returns NULL. The trailer name is always lower cased.
Christopher Faulet2d7c5392019-06-03 10:41:26 +0200877 */
878struct htx_blk *htx_add_trailer(struct htx *htx, const struct ist name,
879 const struct ist value)
880{
881 struct htx_blk *blk;
882
883 /* FIXME: check name.len (< 256B) and value.len (< 1MB) */
884 blk = htx_add_blk(htx, HTX_BLK_TLR, name.len + value.len);
885 if (!blk)
886 return NULL;
887
888 blk->info += (value.len << 8) + name.len;
889 ist2bin_lc(htx_get_blk_ptr(htx, blk), name);
890 memcpy(htx_get_blk_ptr(htx, blk) + name.len, value.ptr, value.len);
891 return blk;
892}
893
Christopher Faulet3b219722019-06-19 13:48:09 +0200894/* Add all headers from the list <hdrs> into the HTX message <htx>, followed by
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500895 * the EOH. On success, it returns the last block inserted (the EOH), otherwise
Christopher Faulet3b219722019-06-19 13:48:09 +0200896 * NULL is returned. */
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200897struct htx_blk *htx_add_all_headers(struct htx *htx, const struct http_hdr *hdrs)
898{
899 int i;
900
901 for (i = 0; hdrs[i].n.len; i++) {
902 if (!htx_add_header(htx, hdrs[i].n, hdrs[i].v))
903 return NULL;
904 }
905 return htx_add_endof(htx, HTX_BLK_EOH);
906}
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200907
Christopher Faulet3b219722019-06-19 13:48:09 +0200908/* Add all trailers from the list <hdrs> into the HTX message <htx>, followed by
Ilya Shipitsin47d17182020-06-21 21:42:57 +0500909 * the EOT. On success, it returns the last block inserted (the EOT), otherwise
Christopher Faulet3b219722019-06-19 13:48:09 +0200910 * NULL is returned. */
Christopher Faulet2d7c5392019-06-03 10:41:26 +0200911struct htx_blk *htx_add_all_trailers(struct htx *htx, const struct http_hdr *hdrs)
912{
913 int i;
914
915 for (i = 0; hdrs[i].n.len; i++) {
916 if (!htx_add_trailer(htx, hdrs[i].n, hdrs[i].v))
917 return NULL;
918 }
919 return htx_add_endof(htx, HTX_BLK_EOT);
920}
921
Christopher Fauletd1ac2b92020-12-02 19:12:22 +0100922/* Adds an HTX block of type EOH or EOT in <htx>. It returns the new block on
923 * success. Otherwise, it returns NULL.
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200924 */
925struct htx_blk *htx_add_endof(struct htx *htx, enum htx_blk_type type)
926{
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100927 struct htx_blk *blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200928
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100929 blk = htx_add_blk(htx, type, 1);
930 if (!blk)
931 return NULL;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200932
Christopher Fauletaa75b3d2018-12-05 16:20:40 +0100933 blk->info += 1;
934 return blk;
Christopher Fauleta3d2a162018-10-22 08:59:39 +0200935}
936
Christopher Faulete071f0e2021-02-03 12:11:31 +0100937/* Reserves the maximum possible size for an HTX data block, by extending an
938 * existing one or by creating a now one. It returns a compound result with the
939 * HTX block and the position where new data must be inserted (0 for a new
940 * block). If an error occurs or if there is no space left, NULL is returned
941 * instead of a pointer on an HTX block.
942 */
943struct htx_ret htx_reserve_max_data(struct htx *htx)
944{
945 struct htx_blk *blk, *tailblk;
946 uint32_t sz, room;
947 int32_t len = htx_free_data_space(htx);
948
949 if (htx->head == -1)
950 goto rsv_new_block;
951
952 if (!len)
953 return (struct htx_ret){.ret = 0, .blk = NULL};
954
955 /* get the tail and head block */
956 tailblk = htx_get_tail_blk(htx);
957 if (tailblk == NULL)
958 goto rsv_new_block;
959 sz = htx_get_blksz(tailblk);
960
961 /* Don't try to append data if the last inserted block is not of the
962 * same type */
963 if (htx_get_blk_type(tailblk) != HTX_BLK_DATA)
964 goto rsv_new_block;
965
966 /*
967 * Same type and enough space: append data
968 */
969 if (!htx->head_addr) {
970 if (tailblk->addr+sz != htx->tail_addr)
971 goto rsv_new_block;
972 room = (htx_pos_to_addr(htx, htx->tail) - htx->tail_addr);
973 }
974 else {
975 if (tailblk->addr+sz != htx->head_addr)
976 goto rsv_new_block;
977 room = (htx->end_addr - htx->head_addr);
978 }
979 BUG_ON((int32_t)room < 0);
980 if (room < len)
981 len = room;
982
983 append_data:
984 htx_change_blk_value_len(htx, tailblk, sz+len);
985
986 BUG_ON((int32_t)htx->tail_addr < 0);
987 BUG_ON((int32_t)htx->head_addr < 0);
988 BUG_ON(htx->end_addr > htx->tail_addr);
989 BUG_ON(htx->head_addr > htx->end_addr);
990 return (struct htx_ret){.ret = sz, .blk = tailblk};
991
992 rsv_new_block:
993 /* FIXME: check data.len (< 256MB) */
994 blk = htx_add_blk(htx, HTX_BLK_DATA, len);
995 if (!blk)
996 return (struct htx_ret){.ret = 0, .blk = NULL};
997 blk->info += len;
998 return (struct htx_ret){.ret = 0, .blk = blk};
999}
Christopher Fauleta3d2a162018-10-22 08:59:39 +02001000
1001/* Adds an HTX block of type DATA in <htx>. It first tries to append data if
Willy Tarreau0a7ef022019-05-28 10:30:11 +02001002 * possible. It returns the number of bytes consumed from <data>, which may be
1003 * zero if nothing could be copied.
Christopher Fauleta3d2a162018-10-22 08:59:39 +02001004 */
Willy Tarreau0a7ef022019-05-28 10:30:11 +02001005size_t htx_add_data(struct htx *htx, const struct ist data)
Christopher Fauleta3d2a162018-10-22 08:59:39 +02001006{
Christopher Fauletd7884d32019-06-11 10:40:43 +02001007 struct htx_blk *blk, *tailblk;
1008 void *ptr;
1009 uint32_t sz, room;
Willy Tarreau0350b902019-05-28 10:58:50 +02001010 int32_t len = data.len;
Willy Tarreau0a7ef022019-05-28 10:30:11 +02001011
Christopher Faulet192c6a22019-06-11 16:32:24 +02001012 if (htx->head == -1)
Willy Tarreau0350b902019-05-28 10:58:50 +02001013 goto add_new_block;
1014
1015 /* Not enough space to store data */
1016 if (len > htx_free_data_space(htx))
1017 len = htx_free_data_space(htx);
1018
1019 if (!len)
1020 return 0;
1021
1022 /* get the tail and head block */
1023 tailblk = htx_get_tail_blk(htx);
Christopher Fauletd7884d32019-06-11 10:40:43 +02001024 if (tailblk == NULL)
Willy Tarreau0350b902019-05-28 10:58:50 +02001025 goto add_new_block;
Christopher Fauletd7884d32019-06-11 10:40:43 +02001026 sz = htx_get_blksz(tailblk);
Willy Tarreau0350b902019-05-28 10:58:50 +02001027
1028 /* Don't try to append data if the last inserted block is not of the
1029 * same type */
1030 if (htx_get_blk_type(tailblk) != HTX_BLK_DATA)
1031 goto add_new_block;
1032
1033 /*
1034 * Same type and enough space: append data
1035 */
Christopher Fauletd7884d32019-06-11 10:40:43 +02001036 if (!htx->head_addr) {
1037 if (tailblk->addr+sz != htx->tail_addr)
Willy Tarreau0350b902019-05-28 10:58:50 +02001038 goto add_new_block;
Christopher Faulet2bf43f02019-06-12 11:28:11 +02001039 room = (htx_pos_to_addr(htx, htx->tail) - htx->tail_addr);
Willy Tarreau0350b902019-05-28 10:58:50 +02001040 }
Christopher Fauletd7884d32019-06-11 10:40:43 +02001041 else {
1042 if (tailblk->addr+sz != htx->head_addr)
1043 goto add_new_block;
1044 room = (htx->end_addr - htx->head_addr);
1045 }
1046 BUG_ON((int32_t)room < 0);
Willy Tarreau0350b902019-05-28 10:58:50 +02001047 if (room < len)
1048 len = room;
1049
1050 append_data:
Christopher Fauletd7884d32019-06-11 10:40:43 +02001051 /* FIXME: check v.len + data.len < 256MB */
Willy Tarreau0350b902019-05-28 10:58:50 +02001052 /* Append data and update the block itself */
Christopher Fauletd7884d32019-06-11 10:40:43 +02001053 ptr = htx_get_blk_ptr(htx, tailblk);
1054 memcpy(ptr + sz, data.ptr, len);
Christopher Faulet3e2638e2019-06-18 09:49:16 +02001055 htx_change_blk_value_len(htx, tailblk, sz+len);
Christopher Fauletd7884d32019-06-11 10:40:43 +02001056
1057 BUG_ON((int32_t)htx->tail_addr < 0);
1058 BUG_ON((int32_t)htx->head_addr < 0);
1059 BUG_ON(htx->end_addr > htx->tail_addr);
1060 BUG_ON(htx->head_addr > htx->end_addr);
Willy Tarreau0350b902019-05-28 10:58:50 +02001061 return len;
1062
1063 add_new_block:
Christopher Faulet2d7c5392019-06-03 10:41:26 +02001064 /* FIXME: check data.len (< 256MB) */
Willy Tarreau0350b902019-05-28 10:58:50 +02001065 blk = htx_add_blk(htx, HTX_BLK_DATA, len);
1066 if (!blk)
Willy Tarreau0a7ef022019-05-28 10:30:11 +02001067 return 0;
Willy Tarreau0350b902019-05-28 10:58:50 +02001068
1069 blk->info += len;
1070 memcpy(htx_get_blk_ptr(htx, blk), data.ptr, len);
1071 return len;
Christopher Fauleta3d2a162018-10-22 08:59:39 +02001072}
1073
Christopher Faulet86bc8df2019-06-11 10:38:38 +02001074
1075/* Adds an HTX block of type DATA in <htx> just after all other DATA
1076 * blocks. Because it relies on htx_add_data_atonce(), It may be happened to a
1077 * DATA block if possible. But, if the function succeeds, it will be the last
1078 * DATA block in all cases. If an error occurred, NULL is returned. Otherwise,
1079 * on success, the updated block (or the new one) is returned.
1080 */
1081struct htx_blk *htx_add_last_data(struct htx *htx, struct ist data)
Christopher Faulet24ed8352018-11-22 11:20:43 +01001082{
Christopher Faulet86bc8df2019-06-11 10:38:38 +02001083 struct htx_blk *blk, *pblk;
Christopher Faulet24ed8352018-11-22 11:20:43 +01001084
Christopher Faulet86bc8df2019-06-11 10:38:38 +02001085 blk = htx_add_data_atonce(htx, data);
Christopher Fauletaa75b3d2018-12-05 16:20:40 +01001086 if (!blk)
1087 return NULL;
Christopher Faulet24ed8352018-11-22 11:20:43 +01001088
Christopher Faulet86bc8df2019-06-11 10:38:38 +02001089 for (pblk = htx_get_prev_blk(htx, blk); pblk; pblk = htx_get_prev_blk(htx, pblk)) {
Christopher Faulet86bc8df2019-06-11 10:38:38 +02001090 if (htx_get_blk_type(pblk) <= HTX_BLK_DATA)
1091 break;
Christopher Faulet24ed8352018-11-22 11:20:43 +01001092
Christopher Faulet24ed8352018-11-22 11:20:43 +01001093 /* Swap .addr and .info fields */
1094 blk->addr ^= pblk->addr; pblk->addr ^= blk->addr; blk->addr ^= pblk->addr;
1095 blk->info ^= pblk->info; pblk->info ^= blk->info; blk->info ^= pblk->info;
1096
1097 if (blk->addr == pblk->addr)
1098 blk->addr += htx_get_blksz(pblk);
Christopher Faulet24ed8352018-11-22 11:20:43 +01001099 blk = pblk;
1100 }
Christopher Faulet05aab642019-04-11 13:43:57 +02001101
Christopher Faulet24ed8352018-11-22 11:20:43 +01001102 return blk;
1103}
Christopher Fauleta3d2a162018-10-22 08:59:39 +02001104
Christopher Faulet86fcf6d2019-06-11 10:41:19 +02001105/* Moves the block <blk> just before the block <ref>. Both blocks must be in the
1106 * HTX message <htx> and <blk> must be placed after <ref>. pointer to these
1107 * blocks are updated to remain valid after the move. */
1108void htx_move_blk_before(struct htx *htx, struct htx_blk **blk, struct htx_blk **ref)
1109{
1110 struct htx_blk *cblk, *pblk;
1111
1112 cblk = *blk;
1113 for (pblk = htx_get_prev_blk(htx, cblk); pblk; pblk = htx_get_prev_blk(htx, pblk)) {
1114 /* Swap .addr and .info fields */
1115 cblk->addr ^= pblk->addr; pblk->addr ^= cblk->addr; cblk->addr ^= pblk->addr;
1116 cblk->info ^= pblk->info; pblk->info ^= cblk->info; cblk->info ^= pblk->info;
1117
1118 if (cblk->addr == pblk->addr)
1119 cblk->addr += htx_get_blksz(pblk);
1120 if (pblk == *ref)
1121 break;
1122 cblk = pblk;
1123 }
1124 *blk = cblk;
1125 *ref = pblk;
1126}
Christopher Faulet0ea0c862020-01-23 11:47:53 +01001127
1128/* Append the HTX message <src> to the HTX message <dst>. It returns 1 on
1129 * success and 0 on error. All the message or nothing is copied. If an error
1130 * occurred, all blocks from <src> already appended to <dst> are truncated.
1131 */
1132int htx_append_msg(struct htx *dst, const struct htx *src)
1133{
1134 struct htx_blk *blk, *newblk;
1135 enum htx_blk_type type;
1136 uint32_t blksz, offset = dst->data;
1137
1138 for (blk = htx_get_head_blk(src); blk; blk = htx_get_next_blk(src, blk)) {
1139 type = htx_get_blk_type(blk);
1140
1141 if (type == HTX_BLK_UNUSED)
1142 continue;
1143
1144 blksz = htx_get_blksz(blk);
1145 newblk = htx_add_blk(dst, type, blksz);
1146 if (!newblk)
1147 goto error;
1148 newblk->info = blk->info;
1149 memcpy(htx_get_blk_ptr(dst, newblk), htx_get_blk_ptr(src, blk), blksz);
1150 }
1151
1152 return 1;
1153
1154 error:
1155 htx_truncate(dst, offset);
1156 return 0;
1157}