blob: d6320c6852f6b462f6e7277fb35d5756f9b6dc31 [file] [log] [blame]
Willy Tarreauc7e42382012-08-24 19:22:53 +02001/*
2 * Buffer 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
William Lallemandbe0efd82012-11-22 18:01:40 +010013#include <ctype.h>
Willy Tarreauc7e42382012-08-24 19:22:53 +020014#include <stdio.h>
15#include <string.h>
16
17#include <common/config.h>
18#include <common/buffer.h>
Willy Tarreau9b28e032012-10-12 23:49:43 +020019#include <common/memory.h>
Willy Tarreauc7e42382012-08-24 19:22:53 +020020
21#include <types/global.h>
22
Willy Tarreaubafbe012017-11-24 17:34:44 +010023struct pool_head *pool_head_buffer;
Willy Tarreau9b28e032012-10-12 23:49:43 +020024
Willy Tarreauf2f7d6b2014-11-24 11:55:08 +010025/* These buffers are used to always have a valid pointer to an empty buffer in
26 * channels. The first buffer is set once a buffer is empty. The second one is
27 * set when a buffer is desired but no more are available. It helps knowing
28 * what channel wants a buffer. They can reliably be exchanged, the split
29 * between the two is only an optimization.
Willy Tarreau2a4b5432014-11-24 11:39:34 +010030 */
31struct buffer buf_empty = { .p = buf_empty.data };
Willy Tarreauf2f7d6b2014-11-24 11:55:08 +010032struct buffer buf_wanted = { .p = buf_wanted.data };
Willy Tarreau9b28e032012-10-12 23:49:43 +020033
Christopher Fauleta73e59b2016-12-09 17:30:18 +010034/* list of objects waiting for at least one buffer */
35struct list buffer_wq = LIST_HEAD_INIT(buffer_wq);
Willy Tarreaub6a2f582017-11-26 11:08:14 +010036__decl_hathreads(HA_SPINLOCK_T __attribute__((aligned(64))) buffer_wq_lock);
Christopher Fauleta73e59b2016-12-09 17:30:18 +010037
Willy Tarreau9b28e032012-10-12 23:49:43 +020038/* perform minimal intializations, report 0 in case of error, 1 if OK. */
39int init_buffer()
40{
Willy Tarreaua24adf02014-11-27 01:11:56 +010041 void *buffer;
42
Willy Tarreaubafbe012017-11-24 17:34:44 +010043 pool_head_buffer = create_pool("buffer", sizeof (struct buffer) + global.tune.bufsize, MEM_F_SHARED|MEM_F_EXACT);
44 if (!pool_head_buffer)
Willy Tarreaua24adf02014-11-27 01:11:56 +010045 return 0;
46
47 /* The reserved buffer is what we leave behind us. Thus we always need
48 * at least one extra buffer in minavail otherwise we'll end up waking
49 * up tasks with no memory available, causing a lot of useless wakeups.
50 * That means that we always want to have at least 3 buffers available
51 * (2 for current session, one for next session that might be needed to
52 * release a server connection).
53 */
Willy Tarreaubafbe012017-11-24 17:34:44 +010054 pool_head_buffer->minavail = MAX(global.tune.reserved_bufs, 3);
Willy Tarreau33cb0652014-12-23 22:52:37 +010055 if (global.tune.buf_limit)
Willy Tarreaubafbe012017-11-24 17:34:44 +010056 pool_head_buffer->limit = global.tune.buf_limit;
Willy Tarreaua24adf02014-11-27 01:11:56 +010057
Christopher Faulet2a944ee2017-11-07 10:42:54 +010058 HA_SPIN_INIT(&buffer_wq_lock);
Emeric Bruna1dd2432017-06-21 15:42:52 +020059
Willy Tarreaubafbe012017-11-24 17:34:44 +010060 buffer = pool_refill_alloc(pool_head_buffer, pool_head_buffer->minavail - 1);
Willy Tarreaua24adf02014-11-27 01:11:56 +010061 if (!buffer)
62 return 0;
63
Willy Tarreaubafbe012017-11-24 17:34:44 +010064 pool_free(pool_head_buffer, buffer);
Willy Tarreaua24adf02014-11-27 01:11:56 +010065 return 1;
Willy Tarreau9b28e032012-10-12 23:49:43 +020066}
67
Christopher Fauletad405f12017-08-29 15:30:11 +020068void deinit_buffer()
69{
Willy Tarreaubafbe012017-11-24 17:34:44 +010070 pool_destroy(pool_head_buffer);
Christopher Fauletad405f12017-08-29 15:30:11 +020071}
72
Willy Tarreauaf819352012-08-27 22:08:00 +020073/* This function writes the string <str> at position <pos> which must be in
74 * buffer <b>, and moves <end> just after the end of <str>. <b>'s parameters
75 * <l> and <r> are updated to be valid after the shift. The shift value
76 * (positive or negative) is returned. If there's no space left, the move is
77 * not done. The function does not adjust ->o because it does not make sense to
78 * use it on data scheduled to be sent. For the same reason, it does not make
79 * sense to call this function on unparsed data, so <orig> is not updated. The
80 * string length is taken from parameter <len>. If <len> is null, the <str>
81 * pointer is allowed to be null.
82 */
83int buffer_replace2(struct buffer *b, char *pos, char *end, const char *str, int len)
84{
85 int delta;
86
87 delta = len - (end - pos);
88
Willy Tarreau8f9c72d2018-06-07 18:46:28 +020089 if (b_tail(b) + delta > b->data + b->size)
Willy Tarreauaf819352012-08-27 22:08:00 +020090 return 0; /* no space left */
91
92 if (buffer_not_empty(b) &&
Willy Tarreau8f9c72d2018-06-07 18:46:28 +020093 b_tail(b) + delta > b_head(b) &&
94 b_head(b) >= b_tail(b))
Willy Tarreauaf819352012-08-27 22:08:00 +020095 return 0; /* no space left before wrapping data */
96
97 /* first, protect the end of the buffer */
Willy Tarreau8f9c72d2018-06-07 18:46:28 +020098 memmove(end + delta, end, b_tail(b) - end);
Willy Tarreauaf819352012-08-27 22:08:00 +020099
100 /* now, copy str over pos */
101 if (len)
102 memcpy(pos, str, len);
103
104 b->i += delta;
105
Willy Tarreau5fb38032012-12-16 19:39:09 +0100106 if (buffer_empty(b))
Willy Tarreauaf819352012-08-27 22:08:00 +0200107 b->p = b->data;
108
109 return delta;
110}
111
112/*
113 * Inserts <str> followed by "\r\n" at position <pos> in buffer <b>. The <len>
114 * argument informs about the length of string <str> so that we don't have to
115 * measure it. It does not include the "\r\n". If <str> is NULL, then the buffer
116 * is only opened for len+2 bytes but nothing is copied in. It may be useful in
117 * some circumstances. The send limit is *not* adjusted. Same comments as above
118 * for the valid use cases.
119 *
120 * The number of bytes added is returned on success. 0 is returned on failure.
121 */
122int buffer_insert_line2(struct buffer *b, char *pos, const char *str, int len)
123{
124 int delta;
125
126 delta = len + 2;
127
Willy Tarreau8f9c72d2018-06-07 18:46:28 +0200128 if (b_tail(b) + delta >= b->data + b->size)
Willy Tarreauaf819352012-08-27 22:08:00 +0200129 return 0; /* no space left */
130
Godbacha6547c12014-10-31 13:16:37 +0800131 if (buffer_not_empty(b) &&
Willy Tarreau8f9c72d2018-06-07 18:46:28 +0200132 b_tail(b) + delta > b_head(b) &&
133 b_head(b) >= b_tail(b))
Godbacha6547c12014-10-31 13:16:37 +0800134 return 0; /* no space left before wrapping data */
135
Willy Tarreauaf819352012-08-27 22:08:00 +0200136 /* first, protect the end of the buffer */
Willy Tarreau8f9c72d2018-06-07 18:46:28 +0200137 memmove(pos + delta, pos, b_tail(b) - pos);
Willy Tarreauaf819352012-08-27 22:08:00 +0200138
139 /* now, copy str over pos */
140 if (len && str) {
141 memcpy(pos, str, len);
142 pos[len] = '\r';
143 pos[len + 1] = '\n';
144 }
145
146 b->i += delta;
147 return delta;
148}
149
Willy Tarreauc7e42382012-08-24 19:22:53 +0200150/*
151 * Dumps part or all of a buffer.
152 */
153void buffer_dump(FILE *o, struct buffer *b, int from, int to)
154{
155 fprintf(o, "Dumping buffer %p\n", b);
Willy Tarreau506a29a2018-07-18 10:07:58 +0200156 fprintf(o, " data=%p o=%u i=%u p=%p\n"
William Lallemandbe0efd82012-11-22 18:01:40 +0100157 " relative: p=0x%04x\n",
Willy Tarreau506a29a2018-07-18 10:07:58 +0200158 b->data, (unsigned int)b->o, (unsigned int)b->i, b->p, (unsigned int)(b->p - b->data));
Willy Tarreauc7e42382012-08-24 19:22:53 +0200159
160 fprintf(o, "Dumping contents from byte %d to byte %d\n", from, to);
William Lallemandbe0efd82012-11-22 18:01:40 +0100161 fprintf(o, " 0 1 2 3 4 5 6 7 8 9 a b c d e f\n");
162 /* dump hexa */
163 while (from < to) {
164 int i;
165
166 fprintf(o, " %04x: ", from);
167 for (i = 0; ((from + i) < to) && (i < 16) ; i++) {
168 fprintf(o, "%02x ", (unsigned char)b->data[from + i]);
169 if (((from + i) & 15) == 7)
170 fprintf(o, "- ");
171 }
Godbachc08057c2013-11-14 10:15:20 +0800172 if (to - from < 16) {
Godbachc3916a72013-11-21 10:21:22 +0800173 int j = 0;
174
Godbachc08057c2013-11-14 10:15:20 +0800175 for (j = 0; j < from + 16 - to; j++)
176 fprintf(o, " ");
Godbachc3916a72013-11-21 10:21:22 +0800177 if (j > 8)
178 fprintf(o, " ");
Godbachc08057c2013-11-14 10:15:20 +0800179 }
William Lallemandbe0efd82012-11-22 18:01:40 +0100180 fprintf(o, " ");
181 for (i = 0; (from + i < to) && (i < 16) ; i++) {
Willy Tarreau95898ac2012-11-26 00:57:40 +0100182 fprintf(o, "%c", isprint((int)b->data[from + i]) ? b->data[from + i] : '.') ;
William Lallemandbe0efd82012-11-22 18:01:40 +0100183 if ((((from + i) & 15) == 15) && ((from + i) != to-1))
184 fprintf(o, "\n");
185 }
186 from += i;
Willy Tarreauc7e42382012-08-24 19:22:53 +0200187 }
188 fprintf(o, "\n--\n");
William Lallemandbe0efd82012-11-22 18:01:40 +0100189 fflush(o);
Willy Tarreauc7e42382012-08-24 19:22:53 +0200190}
191
Willy Tarreauc41b3e82018-03-02 10:27:12 +0100192/* see offer_buffer() for details */
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100193void __offer_buffer(void *from, unsigned int threshold)
194{
195 struct buffer_wait *wait, *bak;
196 int avail;
197
198 /* For now, we consider that all objects need 1 buffer, so we can stop
199 * waking up them once we have enough of them to eat all the available
200 * buffers. Note that we don't really know if they are streams or just
201 * other tasks, but that's a rough estimate. Similarly, for each cached
202 * event we'll need 1 buffer. If no buffer is currently used, always
203 * wake up the number of tasks we can offer a buffer based on what is
204 * allocated, and in any case at least one task per two reserved
205 * buffers.
206 */
Willy Tarreaubafbe012017-11-24 17:34:44 +0100207 avail = pool_head_buffer->allocated - pool_head_buffer->used - global.tune.reserved_bufs / 2;
Christopher Fauleta73e59b2016-12-09 17:30:18 +0100208
209 list_for_each_entry_safe(wait, bak, &buffer_wq, list) {
210 if (avail <= threshold)
211 break;
212
213 if (wait->target == from || !wait->wakeup_cb(wait->target))
214 continue;
215
216 LIST_DEL(&wait->list);
217 LIST_INIT(&wait->list);
218
219 avail--;
220 }
221}
Willy Tarreauc7e42382012-08-24 19:22:53 +0200222
223/*
224 * Local variables:
225 * c-indent-level: 8
226 * c-basic-offset: 8
227 * End:
228 */