varnish-cache/bin/varnishd/cache/cache_expire.c
0
/*-
1
 * Copyright (c) 2006 Verdens Gang AS
2
 * Copyright (c) 2006-2011 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
 * LRU and object timer handling.
31
 *
32
 */
33
34
#include "config.h"
35
36
#include <stdlib.h>
37
38
#include "cache_varnishd.h"
39
#include "cache_objhead.h"
40
41
#include "vbh.h"
42
#include "vtim.h"
43
44
struct exp_priv {
45
        unsigned                        magic;
46
#define EXP_PRIV_MAGIC                  0x9db22482
47
        /* shared */
48
        struct lock                     mtx;
49
        VSTAILQ_HEAD(,objcore)          inbox;
50
        pthread_cond_t                  condvar;
51
52
        /* owned by exp thread */
53
        struct worker                   *wrk;
54
        struct vsl_log                  vsl;
55
        struct vbh                      *heap;
56
        pthread_t                       thread;
57
};
58
59
static struct exp_priv *exphdl;
60
static int exp_shutdown = 0;
61
62
/*--------------------------------------------------------------------
63
 * Calculate an object's effective ttl time, taking req.ttl into account
64
 * if it is available.
65
 */
66
67
vtim_real
68 70369
EXP_Ttl(const struct req *req, const struct objcore *oc)
69
{
70
        vtim_dur r;
71
72 70369
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
73
74 70369
        r = oc->ttl;
75 70369
        if (req != NULL && req->d_ttl > 0. && req->d_ttl < r)
76 220
                r = req->d_ttl;
77 70369
        return (oc->t_origin + r);
78
}
79
80
/*--------------------------------------------------------------------
81
 * Calculate an object's effective ttl+grace time, taking req.grace into
82
 * account if it is available.
83
 */
84
85
vtim_real
86 5040
EXP_Ttl_grace(const struct req *req, const struct objcore *oc)
87
{
88
        vtim_dur g;
89
90 5040
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
91
92 5040
        g = oc->grace;
93 5040
        if (req != NULL && req->d_grace >= 0. && req->d_grace < g)
94 120
                g = req->d_grace;
95 5040
        return (EXP_Ttl(req, oc) + g);
96
}
97
98
/*--------------------------------------------------------------------
99
 * Post an objcore to the exp_thread's inbox.
100
 */
101
102
static void
103 65913
exp_mail_it(struct objcore *oc, uint8_t cmds)
104
{
105 65913
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
106 65913
        assert(oc->refcnt > 0);
107 65913
        AZ(cmds & OC_EF_REFD);
108
109 65913
        Lck_AssertHeld(&exphdl->mtx);
110
111 65913
        if (oc->exp_flags & OC_EF_REFD) {
112 65913
                if (!(oc->exp_flags & OC_EF_POSTED)) {
113 65903
                        if (cmds & OC_EF_REMOVE)
114 9623
                                VSTAILQ_INSERT_HEAD(&exphdl->inbox,
115
                                    oc, exp_list);
116
                        else
117 56280
                                VSTAILQ_INSERT_TAIL(&exphdl->inbox,
118
                                    oc, exp_list);
119 65903
                        VSC_C_main->exp_mailed++;
120 65903
                }
121 65913
                oc->exp_flags |= cmds | OC_EF_POSTED;
122 65913
                PTOK(pthread_cond_signal(&exphdl->condvar));
123 65913
        }
124 65913
}
125
126
/*--------------------------------------------------------------------
127
 * Setup a new ObjCore for control by expire. Should be called with the
128
 * ObjHead locked by HSH_Unbusy(/HSH_Insert) (in private access).
129
 */
130
131
void
132 56040
EXP_RefNewObjcore(struct objcore *oc)
133
{
134 56040
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
135
136 56040
        Lck_AssertHeld(&oc->objhead->mtx);
137
138 56040
        AZ(oc->exp_flags);
139 56040
        assert(oc->refcnt >= 1);
140 56040
        oc->refcnt++;
141 56040
        oc->exp_flags |= OC_EF_REFD | OC_EF_NEW;
142 56040
}
143
144
145
146
/*--------------------------------------------------------------------
147
 * Call EXP's attention to an oc
148
 */
149
150
void
151 14759
EXP_Remove(struct objcore *oc, const struct objcore *new_oc)
152
{
153
154 14759
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
155 14759
        CHECK_OBJ_ORNULL(new_oc, OBJCORE_MAGIC);
156
157 14759
        if (oc->exp_flags & OC_EF_REFD) {
158 9633
                Lck_Lock(&exphdl->mtx);
159 9633
                if (new_oc != NULL)
160 2793
                        VSC_C_main->n_superseded++;
161 9633
                if (oc->exp_flags & OC_EF_NEW) {
162
                        /* EXP_Insert has not been called for this object
163
                         * yet. Mark it for removal, and EXP_Insert will
164
                         * clean up once it is called. */
165 0
                        AZ(oc->exp_flags & OC_EF_POSTED);
166 0
                        oc->exp_flags |= OC_EF_REMOVE;
167 0
                } else
168 9633
                        exp_mail_it(oc, OC_EF_REMOVE);
169 9633
                Lck_Unlock(&exphdl->mtx);
170 9633
        }
171 14759
}
172
173
/*--------------------------------------------------------------------
174
 * Insert new object.
175
 *
176
 * Caller got a oc->refcnt for us.
177
 */
178
179
void
180 86560
EXP_Insert(struct worker *wrk, struct objcore *oc)
181
{
182 86560
        unsigned remove_race = 0;
183
        struct objcore *tmpoc;
184
185 86560
        CHECK_OBJ_NOTNULL(wrk, WORKER_MAGIC);
186 86560
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
187
188 86560
        AZ(oc->flags & OC_F_BUSY);
189
190 86560
        if (!(oc->exp_flags & OC_EF_REFD))
191 30520
                return;
192
193
        /* One ref held by the caller, and one that will be owned by
194
         * expiry. */
195 56040
        assert(oc->refcnt >= 2);
196
197 56040
        ObjSendEvent(wrk, oc, OEV_INSERT);
198
199 56040
        Lck_Lock(&exphdl->mtx);
200 56040
        AN(oc->exp_flags & OC_EF_NEW);
201 56040
        oc->exp_flags &= ~OC_EF_NEW;
202 56040
        AZ(oc->exp_flags & (OC_EF_INSERT | OC_EF_MOVE | OC_EF_POSTED));
203 56040
        if (oc->exp_flags & OC_EF_REMOVE) {
204
                /* We raced some other thread executing EXP_Remove */
205 0
                remove_race = 1;
206 0
                oc->exp_flags &= ~(OC_EF_REFD | OC_EF_REMOVE);
207 0
        } else
208 56040
                exp_mail_it(oc, OC_EF_INSERT | OC_EF_MOVE);
209 56040
        Lck_Unlock(&exphdl->mtx);
210
211 56040
        if (remove_race) {
212 0
                ObjSendEvent(wrk, oc, OEV_EXPIRE);
213 0
                tmpoc = oc;
214 0
                assert(oc->refcnt >= 2); /* Silence coverity */
215 0
                (void)HSH_DerefObjCore(wrk, &oc, 0);
216 0
                AZ(oc);
217 0
                assert(tmpoc->refcnt >= 1); /* Silence coverity */
218 0
        }
219 86560
}
220
221
/*--------------------------------------------------------------------
222
 * Reduce object timers
223
 */
224
225
void
226 400
EXP_Reduce(struct objcore *oc, vtim_real now,
227
    vtim_dur ttl, vtim_dur grace, vtim_dur keep)
228
{
229
230 400
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
231 400
        assert(oc->refcnt > 0);
232
233 400
        if (!isnan(ttl) && now + ttl - oc->t_origin >= oc->ttl)
234 240
                ttl = NAN;
235 400
        if (!isnan(grace) && grace >= oc->grace)
236 80
                grace = NAN;
237 400
        if (!isnan(keep) && keep >= oc->keep)
238 40
                keep = NAN;
239
240 400
        EXP_Rearm(oc, now, ttl, grace, keep);
241 400
}
242
243
/*--------------------------------------------------------------------
244
 * We have changed one or more of the object timers, tell the exp_thread
245
 *
246
 */
247
248
void
249 400
EXP_Rearm(struct objcore *oc, vtim_real now,
250
    vtim_dur ttl, vtim_dur grace, vtim_dur keep)
251
{
252
        vtim_real when;
253
254 400
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
255 400
        assert(oc->refcnt > 0);
256
257 400
        if (!(oc->exp_flags & OC_EF_REFD))
258 0
                return;
259
260 400
        if (!isnan(ttl))
261 160
                oc->ttl = now + ttl - oc->t_origin;
262 400
        if (!isnan(grace))
263 80
                oc->grace = grace;
264 400
        if (!isnan(keep))
265 80
                oc->keep = keep;
266
267 400
        when = EXP_WHEN(oc);
268
269 800
        VSL(SLT_ExpKill, NO_VXID, "EXP_Rearm p=%p E=%.6f e=%.6f f=0x%x", oc,
270 400
            oc->timer_when, when, oc->flags);
271
272 400
        if (when < oc->t_origin || when < oc->timer_when) {
273 240
                Lck_Lock(&exphdl->mtx);
274 240
                if (oc->exp_flags & OC_EF_NEW) {
275
                        /* EXP_Insert has not been called yet, do nothing
276
                         * as the initial insert will execute the move
277
                         * operation. */
278 0
                } else
279 240
                        exp_mail_it(oc, OC_EF_MOVE);
280 240
                Lck_Unlock(&exphdl->mtx);
281 240
        }
282 400
}
283
284
/*--------------------------------------------------------------------
285
 * Handle stuff in the inbox
286
 */
287
288
static void
289 65903
exp_inbox(struct exp_priv *ep, struct objcore *oc, unsigned flags, double now)
290
{
291
292 65903
        CHECK_OBJ_NOTNULL(ep, EXP_PRIV_MAGIC);
293 65903
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
294 65903
        assert(oc->refcnt > 0);
295
296 131806
        VSLb(&ep->vsl, SLT_ExpKill, "EXP_Inbox flg=%x p=%p e=%.6f f=0x%x",
297 65903
            flags, oc, oc->timer_when, oc->flags);
298
299 65903
        if (flags & OC_EF_REMOVE) {
300 9624
                if (!(flags & OC_EF_INSERT)) {
301 9623
                        assert(oc->timer_idx != VBH_NOIDX);
302 9623
                        VBH_delete(ep->heap, oc->timer_idx);
303 9623
                }
304 9624
                assert(oc->timer_idx == VBH_NOIDX);
305 9624
                assert(oc->refcnt > 0);
306 9624
                AZ(oc->exp_flags);
307 19248
                VSLb(&ep->vsl, SLT_ExpKill, "EXP_Removed x=%ju t=%.0f h=%jd",
308 9624
                    VXID(ObjGetXID(ep->wrk, oc)), EXP_Ttl(NULL, oc) - now,
309 9624
                    (intmax_t)oc->hits);
310 9624
                ObjSendEvent(ep->wrk, oc, OEV_EXPIRE);
311 9624
                (void)HSH_DerefObjCore(ep->wrk, &oc, 0);
312 9624
                return;
313
        }
314
315 56279
        if (flags & OC_EF_MOVE) {
316 56279
                oc->timer_when = EXP_WHEN(oc);
317 56279
                ObjSendEvent(ep->wrk, oc, OEV_TTLCHG);
318 56279
        }
319
320 112558
        VSLb(&ep->vsl, SLT_ExpKill, "EXP_When p=%p e=%.6f f=0x%x", oc,
321 56279
            oc->timer_when, flags);
322
323
        /*
324
         * XXX: There are some pathological cases here, were we
325
         * XXX: insert or move an expired object, only to find out
326
         * XXX: the next moment and rip them out again.
327
         */
328
329 56279
        if (flags & OC_EF_INSERT) {
330 56039
                assert(oc->timer_idx == VBH_NOIDX);
331 56039
                VBH_insert(exphdl->heap, oc);
332 56039
                assert(oc->timer_idx != VBH_NOIDX);
333 56279
        } else if (flags & OC_EF_MOVE) {
334 240
                assert(oc->timer_idx != VBH_NOIDX);
335 240
                VBH_reorder(exphdl->heap, oc->timer_idx);
336 240
                assert(oc->timer_idx != VBH_NOIDX);
337 240
        } else {
338 0
                WRONG("Objcore state wrong in inbox");
339
        }
340 65903
}
341
342
/*--------------------------------------------------------------------
343
 * Expire stuff from the binheap
344
 */
345
346
static vtim_real
347 203593
exp_expire(struct exp_priv *ep, vtim_real now)
348
{
349
        struct objcore *oc;
350
351 203593
        CHECK_OBJ_NOTNULL(ep, EXP_PRIV_MAGIC);
352
353 203593
        oc = VBH_root(ep->heap);
354 203593
        if (oc == NULL)
355 85471
                return (now + 355. / 113.);
356 236244
        VSLb(&ep->vsl, SLT_ExpKill, "EXP_Inspect p=%p e=%.6f f=0x%x", oc,
357 118122
            oc->timer_when - now, oc->flags);
358
359 118122
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
360
361
        /* Ready ? */
362 118122
        if (oc->timer_when > now)
363 113203
                return (oc->timer_when);
364
365 4919
        VSC_C_main->n_expired++;
366
367 4919
        Lck_Lock(&ep->mtx);
368 4919
        if (oc->exp_flags & OC_EF_POSTED) {
369 0
                oc->exp_flags |= OC_EF_REMOVE;
370 0
                oc = NULL;
371 0
        } else {
372 4919
                oc->exp_flags &= ~OC_EF_REFD;
373
        }
374 4919
        Lck_Unlock(&ep->mtx);
375 4919
        if (oc != NULL) {
376 4919
                if (!(oc->flags & OC_F_DYING))
377 4919
                        HSH_Kill(oc);
378
379
                /* Remove from binheap */
380 4919
                assert(oc->timer_idx != VBH_NOIDX);
381 4919
                VBH_delete(ep->heap, oc->timer_idx);
382 4919
                assert(oc->timer_idx == VBH_NOIDX);
383
384 4919
                CHECK_OBJ_NOTNULL(oc->objhead, OBJHEAD_MAGIC);
385 9838
                VSLb(&ep->vsl, SLT_ExpKill, "EXP_Expired x=%ju t=%.0f h=%jd",
386 4919
                    VXID(ObjGetXID(ep->wrk, oc)), EXP_Ttl(NULL, oc) - now,
387 4919
                    (intmax_t)oc->hits);
388 4919
                ObjSendEvent(ep->wrk, oc, OEV_EXPIRE);
389 4919
                (void)HSH_DerefObjCore(ep->wrk, &oc, 0);
390 4919
        }
391 4919
        return (0);
392 203593
}
393
394
/*--------------------------------------------------------------------
395
 * This thread monitors the root of the binary heap and whenever an
396
 * object expires, accounting also for graceability, it is killed.
397
 */
398
399
static int v_matchproto_(vbh_cmp_t)
400 50486
object_cmp(void *priv, const void *a, const void *b)
401
{
402
        const struct objcore *aa, *bb;
403
404 50486
        (void)priv;
405 50486
        CAST_OBJ_NOTNULL(aa, a, OBJCORE_MAGIC);
406 50486
        CAST_OBJ_NOTNULL(bb, b, OBJCORE_MAGIC);
407 50486
        return (aa->timer_when < bb->timer_when);
408
}
409
410
static void v_matchproto_(vbh_update_t)
411 107190
object_update(void *priv, void *p, unsigned u)
412
{
413
        struct objcore *oc;
414
415 107190
        (void)priv;
416 107190
        CAST_OBJ_NOTNULL(oc, p, OBJCORE_MAGIC);
417 107190
        oc->timer_idx = u;
418 107190
}
419
420
static void * v_matchproto_(bgthread_t)
421 36621
exp_thread(struct worker *wrk, void *priv)
422
{
423
        struct objcore *oc;
424 36621
        vtim_real t = 0, tnext = 0;
425
        struct exp_priv *ep;
426 36621
        unsigned flags = 0;
427
428 36621
        CAST_OBJ_NOTNULL(ep, priv, EXP_PRIV_MAGIC);
429 36621
        ep->wrk = wrk;
430 36621
        VSL_Setup(&ep->vsl, NULL, 0);
431 36621
        AZ(wrk->vsl);
432 36621
        wrk->vsl = &ep->vsl;
433 36621
        ep->heap = VBH_new(NULL, object_cmp, object_update);
434 36621
        AN(ep->heap);
435 306117
        while (exp_shutdown == 0) {
436
437 269496
                Lck_Lock(&ep->mtx);
438 269496
                oc = VSTAILQ_FIRST(&ep->inbox);
439 269496
                CHECK_OBJ_ORNULL(oc, OBJCORE_MAGIC);
440 269496
                if (oc != NULL) {
441 65903
                        assert(oc->refcnt >= 1);
442 65903
                        VSTAILQ_REMOVE(&ep->inbox, oc, objcore, exp_list);
443 65903
                        VSC_C_main->exp_received++;
444 65903
                        tnext = 0;
445 65903
                        flags = oc->exp_flags;
446 65903
                        if (flags & OC_EF_REMOVE)
447 9624
                                oc->exp_flags = 0;
448
                        else
449 56279
                                oc->exp_flags &= OC_EF_REFD;
450 269496
                } else if (tnext > t) {
451 101611
                        VSL_Flush(&ep->vsl, 0);
452 101611
                        Pool_Sumstat(wrk);
453 101611
                        (void)Lck_CondWaitUntil(&ep->condvar, &ep->mtx, tnext);
454 101611
                }
455 269496
                Lck_Unlock(&ep->mtx);
456
457 269496
                t = VTIM_real();
458
459 269496
                if (oc != NULL)
460 65903
                        exp_inbox(ep, oc, flags, t);
461
                else
462 203593
                        tnext = exp_expire(ep, t);
463
        }
464 36621
        wrk->vsl = NULL;
465 36621
        return (NULL);
466
}
467
468
/*--------------------------------------------------------------------*/
469
470
void
471 36621
EXP_Init(void)
472
{
473
        struct exp_priv *ep;
474
        pthread_t pt;
475
476 36621
        ALLOC_OBJ(ep, EXP_PRIV_MAGIC);
477 36621
        AN(ep);
478
479 36621
        Lck_New(&ep->mtx, lck_exp);
480 36621
        PTOK(pthread_cond_init(&ep->condvar, NULL));
481 36621
        VSTAILQ_INIT(&ep->inbox);
482 36621
        WRK_BgThread(&pt, "cache-exp", exp_thread, ep);
483 36621
        ep->thread = pt;
484 36621
        exphdl = ep;
485 36621
}
486
487
void
488 36120
EXP_Shutdown(void)
489
{
490 36120
        struct exp_priv *ep = exphdl;
491
        void *status;
492
493 36120
        Lck_Lock(&ep->mtx);
494 36120
        exp_shutdown = 1;
495 36120
        PTOK(pthread_cond_signal(&ep->condvar));
496 36120
        Lck_Unlock(&ep->mtx);
497
498 36120
        AN(ep->thread);
499 36120
        PTOK(pthread_join(ep->thread, &status));
500 36120
        AZ(status);
501 36120
        memset(&ep->thread, 0, sizeof ep->thread);
502
503
        /* XXX could cleanup more - not worth it for now */
504 36120
}