| | varnish-cache/bin/varnishd/cache/cache_shmlog.c |
0 |
|
/*- |
1 |
|
* Copyright (c) 2006 Verdens Gang AS |
2 |
|
* Copyright (c) 2006-2015 Varnish Software AS |
3 |
|
* All rights reserved. |
4 |
|
* |
5 |
|
* Author: Poul-Henning Kamp <phk@phk.freebsd.dk> |
6 |
|
* |
7 |
|
* SPDX-License-Identifier: BSD-2-Clause |
8 |
|
* |
9 |
|
* Redistribution and use in source and binary forms, with or without |
10 |
|
* modification, are permitted provided that the following conditions |
11 |
|
* are met: |
12 |
|
* 1. Redistributions of source code must retain the above copyright |
13 |
|
* notice, this list of conditions and the following disclaimer. |
14 |
|
* 2. Redistributions in binary form must reproduce the above copyright |
15 |
|
* notice, this list of conditions and the following disclaimer in the |
16 |
|
* documentation and/or other materials provided with the distribution. |
17 |
|
* |
18 |
|
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND |
19 |
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
20 |
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
21 |
|
* ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE |
22 |
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL |
23 |
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS |
24 |
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) |
25 |
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT |
26 |
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY |
27 |
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF |
28 |
|
* SUCH DAMAGE. |
29 |
|
*/ |
30 |
|
|
31 |
|
#include "config.h" |
32 |
|
|
33 |
|
#include "cache_varnishd.h" |
34 |
|
|
35 |
|
#include <stdio.h> |
36 |
|
#include <stdlib.h> |
37 |
|
|
38 |
|
#include "vgz.h" |
39 |
|
#include "vsl_priv.h" |
40 |
|
#include "vmb.h" |
41 |
|
|
42 |
|
#include "common/heritage.h" |
43 |
|
#include "common/vsmw.h" |
44 |
|
|
45 |
|
/* ------------------------------------------------------------ |
46 |
|
* strands helpers - move elsewhere? |
47 |
|
*/ |
48 |
|
|
49 |
|
static unsigned |
50 |
48815 |
strands_len(const struct strands *s) |
51 |
|
{ |
52 |
48815 |
unsigned r = 0; |
53 |
|
int i; |
54 |
|
|
55 |
48815 |
CHECK_OBJ_NOTNULL(s, STRANDS_MAGIC); |
56 |
97692 |
for (i = 0; i < s->n; i++) { |
57 |
48877 |
if (s->p[i] == NULL || *s->p[i] == '\0') |
58 |
4652 |
continue; |
59 |
44225 |
r += strlen(s->p[i]); |
60 |
44225 |
} |
61 |
|
|
62 |
48815 |
return (r); |
63 |
|
} |
64 |
|
|
65 |
|
/* |
66 |
|
* like VRT_Strands(), but truncating instead of failing for end of buffer |
67 |
|
* |
68 |
|
* returns number of bytes including NUL |
69 |
|
*/ |
70 |
|
static unsigned |
71 |
49000 |
strands_cat(char *buf, unsigned bufl, const struct strands *s) |
72 |
|
{ |
73 |
49000 |
unsigned l = 0, ll; |
74 |
|
int i; |
75 |
|
|
76 |
|
/* NUL-terminated */ |
77 |
49000 |
assert(bufl > 0); |
78 |
49000 |
bufl--; |
79 |
49000 |
CHECK_OBJ_NOTNULL(s, STRANDS_MAGIC); |
80 |
|
|
81 |
93506 |
for (i = 0; i < s->n && bufl > 0; i++) { |
82 |
44506 |
if (s->p[i] == NULL || *s->p[i] == '\0') |
83 |
2 |
continue; |
84 |
44504 |
ll = vmin_t(unsigned, strlen(s->p[i]), bufl); |
85 |
44504 |
memcpy(buf, s->p[i], ll); |
86 |
44504 |
l += ll; |
87 |
44504 |
buf += ll; |
88 |
44504 |
bufl -= ll; |
89 |
44504 |
} |
90 |
49000 |
*buf = '\0'; /* NUL-terminated */ |
91 |
49000 |
return (l + 1); |
92 |
|
} |
93 |
|
|
94 |
|
/* These cannot be struct lock, which depends on vsm/vsl working */ |
95 |
|
static pthread_mutex_t vsl_mtx; |
96 |
|
static pthread_mutex_t vsc_mtx; |
97 |
|
static pthread_mutex_t vsm_mtx; |
98 |
|
|
99 |
|
static struct VSL_head *vsl_head; |
100 |
|
static const uint32_t *vsl_end; |
101 |
|
static uint32_t *vsl_ptr; |
102 |
|
static unsigned vsl_segment_n; |
103 |
|
static ssize_t vsl_segsize; |
104 |
|
|
105 |
|
struct VSC_main *VSC_C_main; |
106 |
|
|
107 |
|
static void |
108 |
484541 |
vsl_sanity(const struct vsl_log *vsl) |
109 |
|
{ |
110 |
484541 |
AN(vsl); |
111 |
484541 |
AN(vsl->wlp); |
112 |
484541 |
AN(vsl->wlb); |
113 |
484541 |
AN(vsl->wle); |
114 |
484541 |
assert(vsl->wlb <= vsl->wlp); |
115 |
484541 |
assert(vsl->wlp <= vsl->wle); |
116 |
484541 |
} |
117 |
|
|
118 |
|
/*-------------------------------------------------------------------- |
119 |
|
* Check if the VSL_tag is masked by parameter bitmap |
120 |
|
*/ |
121 |
|
|
122 |
|
static inline int |
123 |
360762 |
vsl_tag_is_masked(enum VSL_tag_e tag) |
124 |
|
{ |
125 |
360762 |
volatile uint8_t *bm = &cache_param->vsl_mask[0]; |
126 |
|
uint8_t b; |
127 |
|
|
128 |
360762 |
assert(tag > SLT__Bogus); |
129 |
360762 |
assert(tag < SLT__Reserved); |
130 |
360762 |
bm += ((unsigned)tag >> 3); |
131 |
360762 |
b = (0x80 >> ((unsigned)tag & 7)); |
132 |
360762 |
return (*bm & b); |
133 |
|
} |
134 |
|
|
135 |
|
int |
136 |
1260 |
VSL_tag_is_masked(enum VSL_tag_e tag) |
137 |
|
{ |
138 |
1260 |
return (vsl_tag_is_masked(tag)); |
139 |
|
} |
140 |
|
|
141 |
|
/*-------------------------------------------------------------------- |
142 |
|
* Lay down a header fields, and return pointer to the next record |
143 |
|
*/ |
144 |
|
|
145 |
|
static inline uint32_t * |
146 |
297151 |
vsl_hdr(enum VSL_tag_e tag, uint32_t *p, unsigned len, vxid_t vxid) |
147 |
|
{ |
148 |
|
|
149 |
297151 |
AZ((uintptr_t)p & 0x3); |
150 |
297151 |
assert(tag > SLT__Bogus); |
151 |
297151 |
assert(tag < SLT__Reserved); |
152 |
297151 |
AZ(len & ~VSL_LENMASK); |
153 |
|
|
154 |
297151 |
p[2] = vxid.vxid >> 32; |
155 |
297151 |
p[1] = vxid.vxid; |
156 |
594302 |
p[0] = (((unsigned)tag & VSL_IDMASK) << VSL_IDSHIFT) | |
157 |
297151 |
(VSL_VERSION_3 << VSL_VERSHIFT) | |
158 |
297151 |
len; |
159 |
297151 |
return (VSL_END(p, len)); |
160 |
|
} |
161 |
|
|
162 |
|
/*-------------------------------------------------------------------- |
163 |
|
* Space available in a VSL buffer when accounting for overhead |
164 |
|
*/ |
165 |
|
|
166 |
|
static unsigned |
167 |
72262 |
vsl_space(const struct vsl_log *vsl) |
168 |
|
{ |
169 |
|
ptrdiff_t mlen; |
170 |
|
|
171 |
72262 |
mlen = vsl->wle - vsl->wlp; |
172 |
72262 |
assert(mlen >= 0); |
173 |
72262 |
if (mlen < VSL_OVERHEAD + 1) |
174 |
2 |
return (0); |
175 |
72260 |
mlen -= VSL_OVERHEAD; |
176 |
72260 |
mlen *= sizeof *vsl->wlp; |
177 |
72260 |
if (mlen > cache_param->vsl_reclen) |
178 |
72242 |
mlen = cache_param->vsl_reclen; |
179 |
72260 |
return(mlen); |
180 |
72262 |
} |
181 |
|
|
182 |
|
/*-------------------------------------------------------------------- |
183 |
|
* Wrap the VSL buffer |
184 |
|
*/ |
185 |
|
|
186 |
|
static void |
187 |
0 |
vsl_wrap(void) |
188 |
|
{ |
189 |
|
|
190 |
0 |
assert(vsl_ptr >= vsl_head->log); |
191 |
0 |
assert(vsl_ptr < vsl_end); |
192 |
0 |
vsl_segment_n += VSL_SEGMENTS - (vsl_segment_n % VSL_SEGMENTS); |
193 |
0 |
assert(vsl_segment_n % VSL_SEGMENTS == 0); |
194 |
0 |
vsl_head->offset[0] = 0; |
195 |
0 |
vsl_head->log[0] = VSL_ENDMARKER; |
196 |
0 |
VWMB(); |
197 |
0 |
if (vsl_ptr != vsl_head->log) { |
198 |
0 |
*vsl_ptr = VSL_WRAPMARKER; |
199 |
0 |
vsl_ptr = vsl_head->log; |
200 |
0 |
} |
201 |
0 |
vsl_head->segment_n = vsl_segment_n; |
202 |
0 |
VSC_C_main->shm_cycles++; |
203 |
0 |
} |
204 |
|
|
205 |
|
/*-------------------------------------------------------------------- |
206 |
|
* Reserve bytes for a record, wrap if necessary |
207 |
|
*/ |
208 |
|
|
209 |
|
static uint32_t * |
210 |
87491 |
vsl_get(unsigned len, unsigned records, unsigned flushes) |
211 |
|
{ |
212 |
|
uint32_t *p; |
213 |
|
int err; |
214 |
|
|
215 |
87491 |
err = pthread_mutex_trylock(&vsl_mtx); |
216 |
87491 |
if (err == EBUSY) { |
217 |
500 |
PTOK(pthread_mutex_lock(&vsl_mtx)); |
218 |
500 |
VSC_C_main->shm_cont++; |
219 |
500 |
} else { |
220 |
86991 |
AZ(err); |
221 |
|
} |
222 |
87491 |
assert(vsl_ptr < vsl_end); |
223 |
87491 |
AZ((uintptr_t)vsl_ptr & 0x3); |
224 |
|
|
225 |
87491 |
VSC_C_main->shm_writes++; |
226 |
87491 |
VSC_C_main->shm_flushes += flushes; |
227 |
87491 |
VSC_C_main->shm_records += records; |
228 |
87491 |
VSC_C_main->shm_bytes += |
229 |
87491 |
VSL_BYTES(VSL_OVERHEAD + VSL_WORDS((uint64_t)len)); |
230 |
|
|
231 |
|
/* Wrap if necessary */ |
232 |
87491 |
if (VSL_END(vsl_ptr, len) >= vsl_end) |
233 |
0 |
vsl_wrap(); |
234 |
|
|
235 |
87491 |
p = vsl_ptr; |
236 |
87491 |
vsl_ptr = VSL_END(vsl_ptr, len); |
237 |
87491 |
assert(vsl_ptr < vsl_end); |
238 |
87491 |
AZ((uintptr_t)vsl_ptr & 0x3); |
239 |
|
|
240 |
87491 |
*vsl_ptr = VSL_ENDMARKER; |
241 |
|
|
242 |
87493 |
while ((vsl_ptr - vsl_head->log) / vsl_segsize > |
243 |
87493 |
vsl_segment_n % VSL_SEGMENTS) { |
244 |
2 |
vsl_segment_n++; |
245 |
2 |
vsl_head->offset[vsl_segment_n % VSL_SEGMENTS] = |
246 |
2 |
vsl_ptr - vsl_head->log; |
247 |
|
} |
248 |
|
|
249 |
87491 |
PTOK(pthread_mutex_unlock(&vsl_mtx)); |
250 |
|
/* Implicit VWMB() in mutex op ensures ENDMARKER and new table |
251 |
|
values are seen before new segment number */ |
252 |
87491 |
vsl_head->segment_n = vsl_segment_n; |
253 |
|
|
254 |
87491 |
return (p); |
255 |
|
} |
256 |
|
|
257 |
|
/*-------------------------------------------------------------------- |
258 |
|
* Stick a finished record into VSL. |
259 |
|
*/ |
260 |
|
|
261 |
|
static void |
262 |
57260 |
vslr(enum VSL_tag_e tag, vxid_t vxid, const char *b, unsigned len) |
263 |
|
{ |
264 |
|
uint32_t *p; |
265 |
|
unsigned mlen; |
266 |
|
|
267 |
57260 |
mlen = cache_param->vsl_reclen; |
268 |
|
|
269 |
|
/* Truncate */ |
270 |
57260 |
if (len > mlen) |
271 |
0 |
len = mlen; |
272 |
|
|
273 |
57260 |
p = vsl_get(len, 1, 0); |
274 |
|
|
275 |
57260 |
memcpy(p + VSL_OVERHEAD, b, len); |
276 |
|
|
277 |
|
/* |
278 |
|
* the vxid needs to be written before the barrier to |
279 |
|
* ensure it is valid when vsl_hdr() marks the record |
280 |
|
* ready by writing p[0] |
281 |
|
*/ |
282 |
57260 |
p[2] = vxid.vxid >> 32; |
283 |
57260 |
p[1] = vxid.vxid; |
284 |
57260 |
VWMB(); |
285 |
57260 |
(void)vsl_hdr(tag, p, len, vxid); |
286 |
57260 |
} |
287 |
|
|
288 |
|
/*-------------------------------------------------------------------- |
289 |
|
* Add a unbuffered record to VSL |
290 |
|
* |
291 |
|
* NB: This variant should be used sparingly and only for low volume |
292 |
|
* NB: since it significantly adds to the mutex load on the VSL. |
293 |
|
*/ |
294 |
|
|
295 |
|
void |
296 |
77080 |
VSLv(enum VSL_tag_e tag, vxid_t vxid, const char *fmt, va_list ap) |
297 |
|
{ |
298 |
77080 |
unsigned n, mlen = cache_param->vsl_reclen; |
299 |
77080 |
char buf[mlen]; |
300 |
|
|
301 |
77080 |
AN(fmt); |
302 |
77080 |
if (vsl_tag_is_masked(tag)) |
303 |
20016 |
return; |
304 |
|
|
305 |
57064 |
if (strchr(fmt, '%') == NULL) { |
306 |
1125 |
vslr(tag, vxid, fmt, strlen(fmt) + 1); |
307 |
1125 |
} else { |
308 |
55939 |
n = vsnprintf(buf, mlen, fmt, ap); |
309 |
55939 |
n = vmin(n, mlen - 1); |
310 |
55939 |
buf[n++] = '\0'; /* NUL-terminated */ |
311 |
55939 |
vslr(tag, vxid, buf, n); |
312 |
|
} |
313 |
|
|
314 |
77080 |
} |
315 |
|
|
316 |
|
void |
317 |
196 |
VSLs(enum VSL_tag_e tag, vxid_t vxid, const struct strands *s) |
318 |
|
{ |
319 |
196 |
unsigned n, mlen = cache_param->vsl_reclen; |
320 |
196 |
char buf[mlen]; |
321 |
|
|
322 |
196 |
if (vsl_tag_is_masked(tag)) |
323 |
0 |
return; |
324 |
|
|
325 |
196 |
n = strands_cat(buf, mlen, s); |
326 |
|
|
327 |
196 |
vslr(tag, vxid, buf, n); |
328 |
196 |
} |
329 |
|
|
330 |
|
void |
331 |
75437 |
VSL(enum VSL_tag_e tag, vxid_t vxid, const char *fmt, ...) |
332 |
|
{ |
333 |
|
va_list ap; |
334 |
|
|
335 |
75437 |
va_start(ap, fmt); |
336 |
75437 |
VSLv(tag, vxid, fmt, ap); |
337 |
75437 |
va_end(ap); |
338 |
75437 |
} |
339 |
|
|
340 |
|
/*--------------------------------------------------------------------*/ |
341 |
|
|
342 |
|
void |
343 |
38228 |
VSL_Flush(struct vsl_log *vsl, int overflow) |
344 |
|
{ |
345 |
|
uint32_t *p; |
346 |
|
unsigned l; |
347 |
|
|
348 |
38228 |
vsl_sanity(vsl); |
349 |
38228 |
l = pdiff(vsl->wlb, vsl->wlp); |
350 |
38228 |
if (l == 0) |
351 |
8056 |
return; |
352 |
|
|
353 |
30172 |
assert(l >= 8); |
354 |
|
|
355 |
30172 |
p = vsl_get(l, vsl->wlr, overflow); |
356 |
|
|
357 |
30172 |
memcpy(p + VSL_OVERHEAD, vsl->wlb, l); |
358 |
30172 |
p[1] = l; |
359 |
30172 |
VWMB(); |
360 |
30172 |
p[0] = ((((unsigned)SLT__Batch & 0xff) << VSL_IDSHIFT)); |
361 |
30172 |
vsl->wlp = vsl->wlb; |
362 |
30172 |
vsl->wlr = 0; |
363 |
38228 |
} |
364 |
|
|
365 |
|
/*-------------------------------------------------------------------- |
366 |
|
* Buffered VSLs |
367 |
|
*/ |
368 |
|
|
369 |
|
static char * |
370 |
238535 |
vslb_get(struct vsl_log *vsl, enum VSL_tag_e tag, unsigned *length) |
371 |
|
{ |
372 |
238535 |
unsigned mlen = cache_param->vsl_reclen; |
373 |
|
char *retval; |
374 |
|
|
375 |
238535 |
vsl_sanity(vsl); |
376 |
238535 |
if (*length < mlen) |
377 |
237921 |
mlen = *length; |
378 |
|
|
379 |
238535 |
if (VSL_END(vsl->wlp, mlen) > vsl->wle) |
380 |
7 |
VSL_Flush(vsl, 1); |
381 |
|
|
382 |
238535 |
retval = VSL_DATA(vsl->wlp); |
383 |
|
|
384 |
|
/* If it still doesn't fit, truncate */ |
385 |
238535 |
if (VSL_END(vsl->wlp, mlen) > vsl->wle) |
386 |
2 |
mlen = vsl_space(vsl); |
387 |
|
|
388 |
238535 |
vsl->wlp = vsl_hdr(tag, vsl->wlp, mlen, vsl->wid); |
389 |
238535 |
vsl->wlr++; |
390 |
238535 |
*length = mlen; |
391 |
238535 |
return (retval); |
392 |
|
} |
393 |
|
|
394 |
|
static void |
395 |
117510 |
vslb_simple(struct vsl_log *vsl, enum VSL_tag_e tag, |
396 |
|
unsigned length, const char *str) |
397 |
|
{ |
398 |
|
char *p; |
399 |
|
|
400 |
117510 |
if (length == 0) |
401 |
9201 |
length = strlen(str); |
402 |
117510 |
length += 1; // NUL |
403 |
117510 |
p = vslb_get(vsl, tag, &length); |
404 |
117510 |
memcpy(p, str, length - 1); |
405 |
117510 |
p[length - 1] = '\0'; |
406 |
|
|
407 |
117510 |
if (DO_DEBUG(DBG_SYNCVSL)) |
408 |
11096 |
VSL_Flush(vsl, 0); |
409 |
117510 |
} |
410 |
|
|
411 |
|
/*-------------------------------------------------------------------- |
412 |
|
* VSL-buffered-txt |
413 |
|
*/ |
414 |
|
|
415 |
|
void |
416 |
131899 |
VSLbt(struct vsl_log *vsl, enum VSL_tag_e tag, txt t) |
417 |
|
{ |
418 |
|
|
419 |
131899 |
Tcheck(t); |
420 |
131899 |
if (vsl_tag_is_masked(tag)) |
421 |
17416 |
return; |
422 |
|
|
423 |
114483 |
vslb_simple(vsl, tag, Tlen(t), t.b); |
424 |
131899 |
} |
425 |
|
|
426 |
|
/*-------------------------------------------------------------------- |
427 |
|
* VSL-buffered-strands |
428 |
|
*/ |
429 |
|
void |
430 |
57807 |
VSLbs(struct vsl_log *vsl, enum VSL_tag_e tag, const struct strands *s) |
431 |
|
{ |
432 |
|
unsigned l; |
433 |
|
char *p; |
434 |
|
|
435 |
57807 |
if (vsl_tag_is_masked(tag)) |
436 |
8994 |
return; |
437 |
|
|
438 |
48813 |
l = strands_len(s) + 1; |
439 |
48813 |
p = vslb_get(vsl, tag, &l); |
440 |
|
|
441 |
48813 |
(void)strands_cat(p, l, s); |
442 |
|
|
443 |
48813 |
if (DO_DEBUG(DBG_SYNCVSL)) |
444 |
4417 |
VSL_Flush(vsl, 0); |
445 |
57807 |
} |
446 |
|
|
447 |
|
/*-------------------------------------------------------------------- |
448 |
|
* VSL-buffered |
449 |
|
*/ |
450 |
|
|
451 |
|
void |
452 |
89926 |
VSLbv(struct vsl_log *vsl, enum VSL_tag_e tag, const char *fmt, va_list ap) |
453 |
|
{ |
454 |
|
char *p, *p1; |
455 |
89926 |
unsigned n = 0, mlen; |
456 |
|
va_list ap2; |
457 |
|
|
458 |
89926 |
AN(fmt); |
459 |
89926 |
if (vsl_tag_is_masked(tag)) |
460 |
14624 |
return; |
461 |
|
|
462 |
|
/* |
463 |
|
* If there are no printf-expansions, don't waste time expanding them |
464 |
|
*/ |
465 |
75302 |
if (strchr(fmt, '%') == NULL) { |
466 |
3012 |
vslb_simple(vsl, tag, 0, fmt); |
467 |
3012 |
return; |
468 |
|
} |
469 |
|
|
470 |
|
/* |
471 |
|
* If the format is trivial, deal with it directly |
472 |
|
*/ |
473 |
72290 |
if (!strcmp(fmt, "%s")) { |
474 |
18 |
p1 = va_arg(ap, char *); |
475 |
18 |
vslb_simple(vsl, tag, 0, p1); |
476 |
18 |
return; |
477 |
|
} |
478 |
|
|
479 |
72272 |
vsl_sanity(vsl); |
480 |
|
|
481 |
72272 |
mlen = vsl_space(vsl); |
482 |
|
|
483 |
|
// First attempt, only if any space at all |
484 |
72272 |
if (mlen > 0) { |
485 |
72245 |
p = VSL_DATA(vsl->wlp); |
486 |
72245 |
va_copy(ap2, ap); |
487 |
72245 |
n = vsnprintf(p, mlen, fmt, ap2); |
488 |
72245 |
va_end(ap2); |
489 |
72245 |
} |
490 |
|
|
491 |
|
// Second attempt, if a flush might help |
492 |
72272 |
if (mlen == 0 || (n + 1 > mlen && n + 1 <= cache_param->vsl_reclen)) { |
493 |
80 |
VSL_Flush(vsl, 1); |
494 |
80 |
mlen = vsl_space(vsl); |
495 |
80 |
p = VSL_DATA(vsl->wlp); |
496 |
80 |
n = vsnprintf(p, mlen, fmt, ap); |
497 |
80 |
} |
498 |
72284 |
if (n + 1 < mlen) |
499 |
72024 |
mlen = n + 1; |
500 |
72284 |
(void)vslb_get(vsl, tag, &mlen); |
501 |
|
|
502 |
72284 |
if (DO_DEBUG(DBG_SYNCVSL)) |
503 |
8333 |
VSL_Flush(vsl, 0); |
504 |
89938 |
} |
505 |
|
|
506 |
|
void |
507 |
86464 |
VSLb(struct vsl_log *vsl, enum VSL_tag_e tag, const char *fmt, ...) |
508 |
|
{ |
509 |
|
va_list ap; |
510 |
|
|
511 |
86464 |
vsl_sanity(vsl); |
512 |
86464 |
va_start(ap, fmt); |
513 |
86464 |
VSLbv(vsl, tag, fmt, ap); |
514 |
86464 |
va_end(ap); |
515 |
86464 |
} |
516 |
|
|
517 |
|
#define Tf6 "%ju.%06ju" |
518 |
|
#define Ta6(t) (uintmax_t)floor((t)), (uintmax_t)floor((t) * 1e6) % 1000000U |
519 |
|
|
520 |
|
void |
521 |
32519 |
VSLb_ts(struct vsl_log *vsl, const char *event, vtim_real first, |
522 |
|
vtim_real *pprev, vtim_real now) |
523 |
|
{ |
524 |
|
|
525 |
|
/* |
526 |
|
* XXX: Make an option to turn off some unnecessary timestamp |
527 |
|
* logging. This must be done carefully because some functions |
528 |
|
* (e.g. V1L_Open) takes the last timestamp as its initial |
529 |
|
* value for timeout calculation. |
530 |
|
*/ |
531 |
32519 |
vsl_sanity(vsl); |
532 |
32519 |
AN(event); |
533 |
32519 |
AN(pprev); |
534 |
32519 |
assert(!isnan(now) && now != 0.); |
535 |
65038 |
VSLb(vsl, SLT_Timestamp, "%s: " Tf6 " " Tf6 " " Tf6, |
536 |
32519 |
event, Ta6(now), Ta6(now - first), Ta6(now - *pprev)); |
537 |
32519 |
*pprev = now; |
538 |
32519 |
} |
539 |
|
|
540 |
|
void |
541 |
2770 |
VSLb_bin(struct vsl_log *vsl, enum VSL_tag_e tag, ssize_t len, const void *ptr) |
542 |
|
{ |
543 |
|
unsigned mlen; |
544 |
|
char *p; |
545 |
|
|
546 |
2770 |
vsl_sanity(vsl); |
547 |
2770 |
AN(ptr); |
548 |
2770 |
if (vsl_tag_is_masked(tag)) |
549 |
1297 |
return; |
550 |
1473 |
mlen = cache_param->vsl_reclen; |
551 |
|
|
552 |
|
/* Truncate */ |
553 |
1473 |
len = vmin_t(ssize_t, len, mlen); |
554 |
|
|
555 |
1473 |
assert(vsl->wlp <= vsl->wle); |
556 |
|
|
557 |
|
/* Flush if necessary */ |
558 |
1473 |
if (VSL_END(vsl->wlp, len) > vsl->wle) |
559 |
9 |
VSL_Flush(vsl, 1); |
560 |
1473 |
assert(VSL_END(vsl->wlp, len) <= vsl->wle); |
561 |
1473 |
p = VSL_DATA(vsl->wlp); |
562 |
1473 |
memcpy(p, ptr, len); |
563 |
1473 |
vsl->wlp = vsl_hdr(tag, vsl->wlp, len, vsl->wid); |
564 |
1473 |
assert(vsl->wlp <= vsl->wle); |
565 |
1473 |
vsl->wlr++; |
566 |
|
|
567 |
1473 |
if (DO_DEBUG(DBG_SYNCVSL)) |
568 |
607 |
VSL_Flush(vsl, 0); |
569 |
2770 |
} |
570 |
|
|
571 |
|
/*-------------------------------------------------------------------- |
572 |
|
* Setup a VSL buffer, allocate space if none provided. |
573 |
|
*/ |
574 |
|
|
575 |
|
void |
576 |
8113 |
VSL_Setup(struct vsl_log *vsl, void *ptr, size_t len) |
577 |
|
{ |
578 |
|
|
579 |
8113 |
if (ptr == NULL) { |
580 |
2813 |
len = cache_param->vsl_buffer; |
581 |
2813 |
ptr = malloc(len); |
582 |
2813 |
AN(ptr); |
583 |
2813 |
} |
584 |
8113 |
vsl->wlp = ptr; |
585 |
8113 |
vsl->wlb = ptr; |
586 |
8113 |
vsl->wle = ptr; |
587 |
8113 |
vsl->wle += len / sizeof(*vsl->wle); |
588 |
8113 |
vsl->wlr = 0; |
589 |
8113 |
vsl->wid = NO_VXID; |
590 |
8113 |
vsl_sanity(vsl); |
591 |
8113 |
} |
592 |
|
|
593 |
|
/*--------------------------------------------------------------------*/ |
594 |
|
|
595 |
|
void |
596 |
96 |
VSL_ChgId(struct vsl_log *vsl, const char *typ, const char *why, vxid_t vxid) |
597 |
|
{ |
598 |
|
vxid_t ovxid; |
599 |
|
|
600 |
96 |
vsl_sanity(vsl); |
601 |
96 |
ovxid = vsl->wid; |
602 |
96 |
VSLb(vsl, SLT_Link, "%s %ju %s", typ, VXID(vxid), why); |
603 |
96 |
VSL_End(vsl); |
604 |
96 |
vsl->wid = vxid; |
605 |
96 |
VSLb(vsl, SLT_Begin, "%s %ju %s", typ, VXID(ovxid), why); |
606 |
96 |
} |
607 |
|
|
608 |
|
/*--------------------------------------------------------------------*/ |
609 |
|
|
610 |
|
void |
611 |
6170 |
VSL_End(struct vsl_log *vsl) |
612 |
|
{ |
613 |
|
txt t; |
614 |
6170 |
char p[] = ""; |
615 |
|
|
616 |
6170 |
vsl_sanity(vsl); |
617 |
6170 |
assert(!IS_NO_VXID(vsl->wid)); |
618 |
6170 |
t.b = p; |
619 |
6170 |
t.e = p; |
620 |
6170 |
VSLbt(vsl, SLT_End, t); |
621 |
6170 |
VSL_Flush(vsl, 0); |
622 |
6170 |
vsl->wid = NO_VXID; |
623 |
6170 |
} |
624 |
|
|
625 |
|
static void v_matchproto_(vsm_lock_f) |
626 |
35430 |
vsm_vsc_lock(void) |
627 |
|
{ |
628 |
35430 |
PTOK(pthread_mutex_lock(&vsc_mtx)); |
629 |
35430 |
} |
630 |
|
|
631 |
|
static void v_matchproto_(vsm_lock_f) |
632 |
35430 |
vsm_vsc_unlock(void) |
633 |
|
{ |
634 |
35430 |
PTOK(pthread_mutex_unlock(&vsc_mtx)); |
635 |
35430 |
} |
636 |
|
|
637 |
|
static void v_matchproto_(vsm_lock_f) |
638 |
43883 |
vsm_vsmw_lock(void) |
639 |
|
{ |
640 |
43883 |
PTOK(pthread_mutex_lock(&vsm_mtx)); |
641 |
43883 |
} |
642 |
|
|
643 |
|
static void v_matchproto_(vsm_lock_f) |
644 |
43883 |
vsm_vsmw_unlock(void) |
645 |
|
{ |
646 |
43883 |
PTOK(pthread_mutex_unlock(&vsm_mtx)); |
647 |
43883 |
} |
648 |
|
|
649 |
|
/*--------------------------------------------------------------------*/ |
650 |
|
|
651 |
|
void |
652 |
939 |
VSM_Init(void) |
653 |
|
{ |
654 |
|
unsigned u; |
655 |
|
|
656 |
939 |
assert(UINT_MAX % VSL_SEGMENTS == VSL_SEGMENTS - 1); |
657 |
|
|
658 |
939 |
PTOK(pthread_mutex_init(&vsl_mtx, &mtxattr_errorcheck)); |
659 |
939 |
PTOK(pthread_mutex_init(&vsc_mtx, &mtxattr_errorcheck)); |
660 |
939 |
PTOK(pthread_mutex_init(&vsm_mtx, &mtxattr_errorcheck)); |
661 |
|
|
662 |
939 |
vsc_lock = vsm_vsc_lock; |
663 |
939 |
vsc_unlock = vsm_vsc_unlock; |
664 |
939 |
vsmw_lock = vsm_vsmw_lock; |
665 |
939 |
vsmw_unlock = vsm_vsmw_unlock; |
666 |
|
|
667 |
939 |
heritage.proc_vsmw = VSMW_New(heritage.vsm_fd, 0640, "_.index"); |
668 |
939 |
AN(heritage.proc_vsmw); |
669 |
|
|
670 |
939 |
VSC_C_main = VSC_main_New(NULL, NULL, ""); |
671 |
939 |
AN(VSC_C_main); |
672 |
|
|
673 |
939 |
AN(heritage.proc_vsmw); |
674 |
1878 |
vsl_head = VSMW_Allocf(heritage.proc_vsmw, NULL, VSL_CLASS, |
675 |
939 |
cache_param->vsl_space, VSL_CLASS); |
676 |
939 |
AN(vsl_head); |
677 |
1878 |
vsl_segsize = ((cache_param->vsl_space - sizeof *vsl_head) / |
678 |
939 |
sizeof *vsl_end) / VSL_SEGMENTS; |
679 |
939 |
vsl_end = vsl_head->log + vsl_segsize * VSL_SEGMENTS; |
680 |
|
/* Make segment_n always overflow on first log wrap to make any |
681 |
|
problems with regard to readers on that event visible */ |
682 |
939 |
vsl_segment_n = UINT_MAX - (VSL_SEGMENTS - 1); |
683 |
939 |
AZ(vsl_segment_n % VSL_SEGMENTS); |
684 |
939 |
vsl_ptr = vsl_head->log; |
685 |
939 |
*vsl_ptr = VSL_ENDMARKER; |
686 |
|
|
687 |
939 |
memset(vsl_head, 0, sizeof *vsl_head); |
688 |
939 |
vsl_head->segsize = vsl_segsize; |
689 |
939 |
vsl_head->offset[0] = 0; |
690 |
939 |
vsl_head->segment_n = vsl_segment_n; |
691 |
7512 |
for (u = 1; u < VSL_SEGMENTS; u++) |
692 |
6573 |
vsl_head->offset[u] = -1; |
693 |
939 |
VWMB(); |
694 |
939 |
memcpy(vsl_head->marker, VSL_HEAD_MARKER, sizeof vsl_head->marker); |
695 |
939 |
} |