]> git.ipfire.org Git - thirdparty/squid.git/blob - src/MemBuf.cc
Merged from trunk
[thirdparty/squid.git] / src / MemBuf.cc
1 /*
2 * $Id$
3 *
4 * DEBUG: section 59 auto-growing Memory Buffer with printf
5 * AUTHOR: Alex Rousskov
6 *
7 * SQUID Web Proxy Cache http://www.squid-cache.org/
8 * ----------------------------------------------------------
9 *
10 * Squid is the result of efforts by numerous individuals from
11 * the Internet community; see the CONTRIBUTORS file for full
12 * details. Many organizations have provided support for Squid's
13 * development; see the SPONSORS file for full details. Squid is
14 * Copyrighted (C) 2001 by the Regents of the University of
15 * California; see the COPYRIGHT file for full details. Squid
16 * incorporates software developed and/or copyrighted by other
17 * sources; see the CREDITS file for full details.
18 *
19 * This program is free software; you can redistribute it and/or modify
20 * it under the terms of the GNU General Public License as published by
21 * the Free Software Foundation; either version 2 of the License, or
22 * (at your option) any later version.
23 *
24 * This program is distributed in the hope that it will be useful,
25 * but WITHOUT ANY WARRANTY; without even the implied warranty of
26 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
27 * GNU General Public License for more details.
28 *
29 * You should have received a copy of the GNU General Public License
30 * along with this program; if not, write to the Free Software
31 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.
32 *
33 */
34
35 /**
36 \todo use memory pools for .buf recycling @?@ @?@
37 */
38
39 /**
40 \verbatim
41 * Rationale:
42 * ----------
43 *
44 * Here is how one would Comm::Write an object without MemBuffer:
45 *
46 * {
47 * -- allocate:
48 * buf = malloc(big_enough);
49 *
50 * -- "pack":
51 * snprintf object(s) piece-by-piece constantly checking for overflows
52 * and maintaining (buf+offset);
53 * ...
54 *
55 * -- write
56 * Comm::Write(buf, free, ...);
57 * }
58 *
59 * The whole "packing" idea is quite messy: We are given a buffer of fixed
60 * size and we have to check all the time that we still fit. Sounds logical.
61 *
62 * However, what happens if we have more data? If we are lucky to stop before
63 * we overrun any buffers, we still may have garbage (e.g. half of ETag) in
64 * the buffer.
65 *
66 * MemBuffer:
67 * ----------
68 *
69 * MemBuffer is a memory-resident buffer with printf()-like interface. It
70 * hides all offest handling and overflow checking. Moreover, it has a
71 * build-in control that no partial data has been written.
72 *
73 * MemBuffer is designed to handle relatively small data. It starts with a
74 * small buffer of configurable size to avoid allocating huge buffers all the
75 * time. MemBuffer doubles the buffer when needed. It assert()s that it will
76 * not grow larger than a configurable limit. MemBuffer has virtually no
77 * overhead (and can even reduce memory consumption) compared to old
78 * "packing" approach.
79 *
80 * MemBuffer eliminates both "packing" mess and truncated data:
81 *
82 * {
83 * -- setup
84 * MemBuf buf;
85 *
86 * -- required init with optional size tuning (see #defines for defaults)
87 * buf.init(initial-size, absolute-maximum);
88 *
89 * -- "pack" (no need to handle offsets or check for overflows)
90 * buf.Printf(...);
91 * ...
92 *
93 * -- write
94 * Comm::Write(fd, buf, callback);
95 *
96 * -- *iff* you did not give the buffer away, free it yourself
97 * -- buf.clean();
98 * }
99 \endverbatim
100 */
101
102 #include "squid.h"
103 #include "Mem.h"
104 #include "MemBuf.h"
105 #include "profiler/Profiler.h"
106 #include "protos.h"
107
108 #ifdef VA_COPY
109 #undef VA_COPY
110 #endif
111 #if defined HAVE_VA_COPY
112 #define VA_COPY va_copy
113 #elif defined HAVE___VA_COPY
114 #define VA_COPY __va_copy
115 #endif
116
117 /* local constants */
118
119 /* default values for buffer sizes, used by memBufDefInit */
120 #define MEM_BUF_INIT_SIZE (2*1024)
121 #define MEM_BUF_MAX_SIZE (2*1000*1024*1024)
122
123 CBDATA_CLASS_INIT(MemBuf);
124
125 /** init with defaults */
126 void
127 MemBuf::init()
128 {
129 init(MEM_BUF_INIT_SIZE, MEM_BUF_MAX_SIZE);
130 }
131
132
133 /** init with specific sizes */
134 void
135 MemBuf::init(mb_size_t szInit, mb_size_t szMax)
136 {
137 assert(szInit > 0 && szMax > 0);
138 buf = NULL;
139 size = 0;
140 max_capacity = szMax;
141 capacity = 0;
142 stolen = 0;
143 grow(szInit);
144 }
145
146 /**
147 * cleans the mb; last function to call if you do not give .buf away with
148 * memBufFreeFunc
149 */
150 void
151 MemBuf::clean()
152 {
153 if (isNull()) {
154 // nothing to do
155 } else {
156 assert(buf);
157 assert(!stolen); /* not frozen */
158
159 memFreeBuf(capacity, buf);
160 buf = NULL;
161 size = capacity = max_capacity = 0;
162 }
163 }
164
165 /**
166 * Cleans the buffer without changing its capacity
167 * if called with a Null buffer, calls memBufDefInit()
168 */
169 void
170 MemBuf::reset()
171 {
172 if (isNull()) {
173 init();
174 } else {
175 assert(!stolen); /* not frozen */
176 /* reset */
177 memset(buf, 0, capacity);
178 size = 0;
179 }
180 }
181
182 /**
183 * Unfortunate hack to test if the buffer has been Init()ialized
184 */
185 int
186 MemBuf::isNull()
187 {
188 if (!buf && !max_capacity && !capacity && !size)
189 return 1; /* is null (not initialized) */
190
191 assert(buf && max_capacity && capacity); /* paranoid */
192
193 return 0;
194 }
195
196 mb_size_t MemBuf::spaceSize() const
197 {
198 const mb_size_t terminatedSize = size + 1;
199 return (terminatedSize < capacity) ? capacity - terminatedSize : 0;
200 }
201
202 mb_size_t MemBuf::potentialSpaceSize() const
203 {
204 const mb_size_t terminatedSize = size + 1;
205 return (terminatedSize < max_capacity) ? max_capacity - terminatedSize : 0;
206 }
207
208 /// removes sz bytes and "packs" by moving content left
209 void MemBuf::consume(mb_size_t shiftSize)
210 {
211 const mb_size_t cSize = contentSize();
212 assert(0 <= shiftSize && shiftSize <= cSize);
213 assert(!stolen); /* not frozen */
214
215 PROF_start(MemBuf_consume);
216 if (shiftSize > 0) {
217 if (shiftSize < cSize)
218 memmove(buf, buf + shiftSize, cSize - shiftSize);
219
220 size -= shiftSize;
221
222 terminate();
223 }
224 PROF_stop(MemBuf_consume);
225 }
226
227 // removes last tailSize bytes
228 void MemBuf::truncate(mb_size_t tailSize)
229 {
230 const mb_size_t cSize = contentSize();
231 assert(0 <= tailSize && tailSize <= cSize);
232 assert(!stolen); /* not frozen */
233 size -= tailSize;
234 }
235
236 /**
237 * calls memcpy, appends exactly size bytes,
238 * extends buffer or creates buffer if needed.
239 */
240 void MemBuf::append(const char *newContent, mb_size_t sz)
241 {
242 assert(sz >= 0);
243 assert(buf || (0==capacity && 0==size));
244 assert(!stolen); /* not frozen */
245
246 PROF_start(MemBuf_append);
247 if (sz > 0) {
248 if (size + sz + 1 > capacity)
249 grow(size + sz + 1);
250
251 assert(size + sz <= capacity); /* paranoid */
252 memcpy(space(), newContent, sz);
253 appended(sz);
254 }
255 PROF_stop(MemBuf_append);
256 }
257
258 /// updates content size after external append
259 void MemBuf::appended(mb_size_t sz)
260 {
261 assert(size + sz <= capacity);
262 size += sz;
263 terminate();
264 }
265
266 /**
267 * Null-terminate in case we are used as a string.
268 * Extra octet is not counted in the content size (or space size)
269 *
270 \note XXX: but the extra octet is counted when growth decisions are made!
271 * This will cause the buffer to grow when spaceSize() == 1 on append,
272 * which will assert() if the buffer cannot grow any more.
273 */
274 void MemBuf::terminate()
275 {
276 assert(size < capacity);
277 *space() = '\0';
278 }
279
280 /* calls memBufVPrintf */
281 void
282 MemBuf::Printf(const char *fmt,...)
283 {
284 va_list args;
285 va_start(args, fmt);
286 vPrintf(fmt, args);
287 va_end(args);
288 }
289
290
291 /**
292 * vPrintf for other printf()'s to use; calls vsnprintf, extends buf if needed
293 */
294 void
295 MemBuf::vPrintf(const char *fmt, va_list vargs)
296 {
297 #ifdef VA_COPY
298 va_list ap;
299 #endif
300
301 int sz = 0;
302 assert(fmt);
303 assert(buf);
304 assert(!stolen); /* not frozen */
305 /* assert in Grow should quit first, but we do not want to have a scary infinite loop */
306
307 while (capacity <= max_capacity) {
308 mb_size_t free_space = capacity - size;
309 /* put as much as we can */
310
311 #ifdef VA_COPY
312 /* Fix of bug 753r. The value of vargs is undefined
313 * after vsnprintf() returns. Make a copy of vargs
314 * incase we loop around and call vsnprintf() again.
315 */
316 VA_COPY(ap,vargs);
317 sz = vsnprintf(buf + size, free_space, fmt, ap);
318 va_end(ap);
319 #else /* VA_COPY */
320
321 sz = vsnprintf(buf + size, free_space, fmt, vargs);
322 #endif /*VA_COPY*/
323 /* check for possible overflow */
324 /* snprintf on Linuz returns -1 on overflows */
325 /* snprintf on FreeBSD returns at least free_space on overflows */
326
327 if (sz < 0 || sz >= free_space)
328 grow(capacity + 1);
329 else
330 break;
331 }
332
333 size += sz;
334 /* on Linux and FreeBSD, '\0' is not counted in return value */
335 /* on XXX it might be counted */
336 /* check that '\0' is appended and not counted */
337
338 if (!size || buf[size - 1]) {
339 assert(!buf[size]);
340 } else {
341 --size;
342 }
343 }
344
345 /**
346 * Important:
347 * calling this function "freezes" mb,
348 * do not _update_ mb after that in any way
349 * (you still can read-access .buf and .size)
350 *
351 \retval free() function to be used.
352 */
353 FREE *
354 MemBuf::freeFunc()
355 {
356 FREE *ff;
357 assert(buf);
358 assert(!stolen); /* not frozen */
359
360 ff = memFreeBufFunc((size_t) capacity);
361 stolen = 1; /* freeze */
362 return ff;
363 }
364
365 /**
366 * Grows (doubles) internal buffer to satisfy required minimal capacity
367 */
368 void
369 MemBuf::grow(mb_size_t min_cap)
370 {
371 size_t new_cap;
372 size_t buf_cap;
373
374 assert(!stolen);
375 assert(capacity < min_cap);
376
377 PROF_start(MemBuf_grow);
378
379 /* determine next capacity */
380
381 if (min_cap > 64 * 1024) {
382 new_cap = 64 * 1024;
383
384 while (new_cap < (size_t) min_cap)
385 new_cap += 64 * 1024; /* increase in reasonable steps */
386 } else {
387 new_cap = (size_t) min_cap;
388 }
389
390 /* last chance to fit before we assert(!overflow) */
391 if (new_cap > (size_t) max_capacity)
392 new_cap = (size_t) max_capacity;
393
394 assert(new_cap <= (size_t) max_capacity); /* no overflow */
395
396 assert(new_cap > (size_t) capacity); /* progress */
397
398 buf_cap = (size_t) capacity;
399
400 buf = (char *)memReallocBuf(buf, new_cap, &buf_cap);
401
402 /* done */
403 capacity = (mb_size_t) buf_cap;
404 PROF_stop(MemBuf_grow);
405 }
406
407
408 /* Reports */
409
410 /**
411 * Puts report on MemBuf _module_ usage into mb
412 */
413 void
414 memBufReport(MemBuf * mb)
415 {
416 assert(mb);
417 mb->Printf("memBufReport is not yet implemented @?@\n");
418 }
419
420 #if !_USE_INLINE_
421 #include "MemBuf.cci"
422 #endif