varnish-cache/bin/varnishd/cache/cache_vpi.c
0
/*-
1
 * Copyright (c) 2006 Verdens Gang AS
2
 * Copyright (c) 2006-2019 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
32
#include "config.h"
33
34
#include <stdio.h>
35
36
#include "cache_varnishd.h"
37
38
#include "vcl.h"
39
#include "vbm.h"
40
41
#include "vcc_interface.h"
42
43
#include "cache_vcl.h"
44
45
/*--------------------------------------------------------------------
46
 * Private & exclusive interfaces between VCC and varnishd
47
 */
48
49
const size_t vpi_wrk_len = sizeof(struct wrk_vpi);
50
51
void
52 93470
VPI_wrk_init(struct worker *wrk, void *p, size_t spc)
53
{
54 93470
        struct wrk_vpi *vpi = p;
55
56 93470
        CHECK_OBJ_NOTNULL(wrk, WORKER_MAGIC);
57 93470
        AN(vpi);
58 93470
        assert(spc >= sizeof *vpi);
59 93470
        INIT_OBJ(vpi, WRK_VPI_MAGIC);
60 93470
        wrk->vpi = vpi;
61 93470
}
62
63
void
64 1380
VPI_trace(VRT_CTX, unsigned u)
65
{
66
67 1380
        CHECK_OBJ_NOTNULL(ctx, VRT_CTX_MAGIC);
68 1380
        CHECK_OBJ_NOTNULL(ctx->vcl, VCL_MAGIC);
69 1380
        CHECK_OBJ_NOTNULL(ctx->vcl->conf, VCL_CONF_MAGIC);
70 1380
        assert(u < ctx->vcl->conf->nref);
71 1380
        if (ctx->vsl != NULL)
72 2700
                VSLb(ctx->vsl, SLT_VCL_trace, "%s %u %u.%u.%u",
73 1350
                    ctx->vcl->loaded_name, u, ctx->vcl->conf->ref[u].source,
74 1350
                    ctx->vcl->conf->ref[u].line, ctx->vcl->conf->ref[u].pos);
75
        else
76 60
                VSL(SLT_VCL_trace, NO_VXID, "%s %u %u.%u.%u",
77 30
                    ctx->vcl->loaded_name, u, ctx->vcl->conf->ref[u].source,
78 30
                    ctx->vcl->conf->ref[u].line, ctx->vcl->conf->ref[u].pos);
79 1380
}
80
81
static void
82 35
vpi_ref_panic(struct vsb *vsb, unsigned n, const struct vcl *vcl)
83
{
84 35
        const struct VCL_conf *conf = NULL;
85
        const struct vpi_ref *ref;
86 35
        const char *p, *src = NULL;
87 35
        const int lim = 40;
88 35
        const char *abbstr = "[...]";
89 35
        char buf[lim + sizeof(abbstr)];
90 35
        int w = 0;
91
92 35
        AN(vsb);
93
94 35
        if (vcl != NULL)
95 35
                conf = vcl->conf;
96 35
        if (conf != NULL && conf->magic != VCL_CONF_MAGIC)
97 0
                conf = NULL;
98
99 35
        if (conf == NULL) {
100 0
                VSB_printf(vsb, "ref = %u, nref = ?,\n", n);
101 0
                return;
102
        }
103 35
        if (n >= conf->nref) {
104 0
                VSB_printf(vsb, "ref = %u *invalid*, nref = %u\n",
105 0
                    n, conf->nref);
106 0
                return;
107
        }
108
109 35
        VSB_printf(vsb, "ref = %u,\n", n);
110
111 35
        ref = &conf->ref[n];
112 35
        if (PAN_dump_struct(vsb, ref, VPI_REF_MAGIC, "vpi_ref"))
113 0
                return;
114
115 35
        if (ref->source < conf->nsrc) {
116 70
                VSB_printf(vsb, "source = %u (\"%s\"),\n", ref->source,
117 35
                    conf->srcname[ref->source]);
118 35
                src = conf->srcbody[ref->source];
119 35
        } else {
120 0
                VSB_printf(vsb, "source = %u *invalid*,\n", ref->source);
121
        }
122
123 35
        if (src != NULL) {
124 35
                w = strlen(src);
125 35
                assert(w > 0);
126 35
                if (ref->offset >= (unsigned)w)
127 0
                        src = NULL;
128 35
        }
129 35
        if (src != NULL) {
130 35
                src += ref->offset;
131 35
                p = strchr(src, '\n');
132 35
                if (p != NULL)
133 35
                        w = p - src;
134
                else
135 0
                        w -= ref->offset;
136 35
                if (w > lim) {
137 10
                        w = snprintf(buf, sizeof buf, "%.*s%s",
138 10
                            lim, src, abbstr);
139 10
                        src = buf;
140 10
                }
141 35
        }
142
143 35
        VSB_printf(vsb, "offset = %u,\n", ref->offset);
144 35
        VSB_printf(vsb, "line = %u,\n", ref->line);
145 35
        VSB_printf(vsb, "pos = %u,\n", ref->pos);
146 35
        if (src != NULL) {
147 35
                VSB_cat(vsb, "src = ");
148 35
                VSB_quote(vsb, src, w, VSB_QUOTE_CSTR);
149 35
                VSB_putc(vsb, '\n');
150 35
        } else {
151 0
                VSB_printf(vsb, "token = \"%s\"\n", ref->token);
152
        }
153 35
        VSB_indent(vsb, -2);
154 35
        VSB_cat(vsb, "},\n");
155
156 35
}
157
void
158 35
VPI_Panic(struct vsb *vsb, const struct wrk_vpi *vpi, const struct vcl *vcl)
159
{
160
        const char *hand;
161
162 35
        AN(vsb);
163 35
        if (PAN_dump_struct(vsb, vpi, WRK_VPI_MAGIC, "vpi"))
164 0
                return;
165
166 35
        hand = VCL_Return_Name(vpi->handling);
167 35
        if (vpi->handling == 0)
168 35
                hand = "none";
169 0
        else if (hand == NULL)
170 0
                hand = "*invalid*";
171
172 70
        VSB_printf(vsb, "handling (VCL::return) = 0x%x (%s),\n",
173 35
            vpi->handling, hand);
174
175 35
        vpi_ref_panic(vsb, vpi->ref, vcl);
176
177 35
        VSB_indent(vsb, -2);
178 35
        VSB_cat(vsb, "},\n");
179 35
}
180
181
/*
182
 * After vcl_fini {} == VGC_function_vcl_fini() is called from VGC_Discard(),
183
 * handling must either be OK from VCL "return (ok)" or FAIL from VRT_fail().
184
 *
185
 * replace OK with 0 for _fini callbacks because that handling has meaning only
186
 * when returning from VCL subs
187
 */
188
189
void
190 379
VPI_vcl_fini(VRT_CTX)
191
{
192 379
        CHECK_OBJ_NOTNULL(ctx, VRT_CTX_MAGIC);
193 379
        AN(ctx->vpi);
194
195 379
        if (ctx->vpi->handling == VCL_RET_FAIL)
196 5
                return;
197 374
        assert(ctx->vpi->handling == VCL_RET_OK);
198 374
        ctx->vpi->handling = 0;
199 379
}
200
201
VCL_VCL
202 105
VPI_vcl_get(VRT_CTX, const char *name)
203
{
204
        VCL_VCL vcl;
205
206 105
        CHECK_OBJ_NOTNULL(ctx, VRT_CTX_MAGIC);
207 105
        vcl = vcl_find(name);
208 105
        AN(vcl);
209 105
        Lck_Lock(&vcl_mtx);
210 105
        vcl->nrefs++;
211 105
        Lck_Unlock(&vcl_mtx);
212 105
        return (vcl);
213
}
214
215
void
216 30
VPI_vcl_rel(VRT_CTX, VCL_VCL vcl)
217
{
218 30
        CHECK_OBJ_NOTNULL(ctx, VRT_CTX_MAGIC);
219 30
        AN(vcl);
220 30
        Lck_Lock(&vcl_mtx);
221 30
        vcl->nrefs--;
222 30
        Lck_Unlock(&vcl_mtx);
223 30
}
224
225
void
226 205
VPI_vcl_select(VRT_CTX, VCL_VCL vcl)
227
{
228 205
        struct req *req = ctx->req;
229
230 205
        CHECK_OBJ_NOTNULL(vcl, VCL_MAGIC);
231 205
        CHECK_OBJ_NOTNULL(req, REQ_MAGIC);
232 205
        CHECK_OBJ_NOTNULL(req->top, REQTOP_MAGIC);
233
234 205
        if ((IS_TOPREQ(req) && req->top->vcl0 != NULL) || req->restarts > 0)
235 140
                return;         // Illegal, req-FSM will fail this later.
236
237 65
        if (! IS_TOPREQ(req))
238 5
                assert(req->vcl == req->top->vcl0);
239
240 65
        Req_Rollback(ctx);
241
242 65
        if (IS_TOPREQ(req)) {
243 60
                AN(req->top);
244 60
                AZ(req->top->vcl0);
245 60
                req->top->vcl0 = req->vcl;
246 60
                req->vcl = NULL;
247 60
        }
248 65
        VCL_Update(&req->vcl, vcl);
249 130
        VSLb(ctx->req->vsl, SLT_VCL_use, "%s via %s",
250 65
            req->vcl->loaded_name, vcl->loaded_name);
251 85
}
252
253
void v_noreturn_
254 0
VPI_Fail(const char *func, const char *file, int line,
255
    const char *cond)
256
{
257 0
        VAS_Fail(func, file, line, cond, VAS_ASSERT);
258
}
259
260
enum vcl_func_fail_e
261 100
VPI_Call_Check(VRT_CTX, const struct VCL_conf *conf,
262
    unsigned methods, unsigned n)
263
{
264
        struct vbitmap *vbm;
265
266 100
        CHECK_OBJ_NOTNULL(ctx, VRT_CTX_MAGIC);
267 100
        CHECK_OBJ_NOTNULL(ctx->vcl, VCL_MAGIC);
268
269 100
        assert(conf == ctx->vcl->conf);
270
271 95
        vbm = ctx->called;
272 95
        AN(vbm);
273
274 95
        if ((methods & ctx->method) == 0)
275 15
                return (VSUB_E_METHOD);
276
277 80
        if (vbit_test(vbm, n))
278 10
                return (VSUB_E_RECURSE);
279
280 70
        return (VSUB_E_OK);
281 95
}
282
283
void
284 70
VPI_Call_Begin(VRT_CTX, unsigned n)
285
{
286
        struct vbitmap *vbm;
287
288 70
        CHECK_OBJ_NOTNULL(ctx, VRT_CTX_MAGIC);
289 70
        vbm = ctx->called;
290 70
        AN(vbm);
291 70
        vbit_set(vbm, n);
292 70
}
293
294
void
295 70
VPI_Call_End(VRT_CTX, unsigned n)
296
{
297
        struct vbitmap *vbm;
298
299 70
        CHECK_OBJ_NOTNULL(ctx, VRT_CTX_MAGIC);
300 70
        vbm = ctx->called;
301 70
        AN(vbm);
302 70
        vbit_clr(vbm, n);
303 70
}