GCOV - Varnish Cache


/*-
 * Copyright (c) 2006 Verdens Gang AS
 * Copyright (c) 2006-2011 Varnish Software AS
 * All rights reserved.
 *
 * Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 * LRU and object timer handling.
 *
 */

#include "config.h"

#include <stdlib.h>

#include "cache_varnishd.h"
#include "cache_objhead.h"

#include "vbh.h"
#include "vtim.h"

struct exp_priv {
        unsigned                        magic;
#define EXP_PRIV_MAGIC                  0x9db22482
        /* shared */
        struct lock                     mtx;
        VSTAILQ_HEAD(,objcore)          inbox;
        pthread_cond_t                  condvar;

        /* owned by exp thread */
        struct worker                   *wrk;
        struct vsl_log                  vsl;
        struct vbh                      *heap;
        pthread_t                       thread;
};

static struct exp_priv *exphdl;
static int exp_shutdown = 0;

/*--------------------------------------------------------------------
 * Calculate an object's effective ttl time, taking req.ttl into account
 * if it is available.
 */

vtim_real
EXP_Ttl(const struct req *req, const struct objcore *oc)
{
        vtim_dur r;

        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);

        r = oc->ttl;
        if (req != NULL && req->d_ttl > 0. && req->d_ttl < r)
                r = req->d_ttl;
        return (oc->t_origin + r);
}

/*--------------------------------------------------------------------
 * Calculate an object's effective ttl+grace time, taking req.grace into
 * account if it is available.
 */

vtim_real
EXP_Ttl_grace(const struct req *req, const struct objcore *oc)
{
        vtim_dur g;

        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);

        g = oc->grace;
        if (req != NULL && req->d_grace >= 0. && req->d_grace < g)
                g = req->d_grace;
        return (EXP_Ttl(req, oc) + g);
}

/*--------------------------------------------------------------------
 * Post an objcore to the exp_thread's inbox.
 */

static void
exp_mail_it(struct objcore *oc, uint8_t cmds)
{
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
        assert(oc->refcnt > 0);
        AZ(cmds & OC_EF_REFD);

        Lck_AssertHeld(&exphdl->mtx);

        if (oc->exp_flags & OC_EF_REFD) {
                if (!(oc->exp_flags & OC_EF_POSTED)) {
                        if (cmds & OC_EF_REMOVE)
                                VSTAILQ_INSERT_HEAD(&exphdl->inbox,
                                    oc, exp_list);
                        else
                                VSTAILQ_INSERT_TAIL(&exphdl->inbox,
                                    oc, exp_list);
                        VSC_C_main->exp_mailed++;
                }
                oc->exp_flags |= cmds | OC_EF_POSTED;
                PTOK(pthread_cond_signal(&exphdl->condvar));
        }
}

/*--------------------------------------------------------------------
 * Setup a new ObjCore for control by expire. Should be called with the
 * ObjHead locked by HSH_Unbusy(/HSH_Insert) (in private access).
 */

void
EXP_RefNewObjcore(struct objcore *oc)
{
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);

        Lck_AssertHeld(&oc->objhead->mtx);

        AZ(oc->exp_flags);
        assert(oc->refcnt >= 1);
        oc->refcnt++;
        oc->exp_flags |= OC_EF_REFD | OC_EF_NEW;
}



/*--------------------------------------------------------------------
 * Call EXP's attention to an oc
 */

void
EXP_Remove(struct objcore *oc, const struct objcore *new_oc)
{

        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
        CHECK_OBJ_ORNULL(new_oc, OBJCORE_MAGIC);

        if (oc->exp_flags & OC_EF_REFD) {
                Lck_Lock(&exphdl->mtx);
                if (new_oc != NULL)
                        VSC_C_main->n_superseded++;
                if (oc->exp_flags & OC_EF_NEW) {
                        /* EXP_Insert has not been called for this object
                         * yet. Mark it for removal, and EXP_Insert will
                         * clean up once it is called. */
                        AZ(oc->exp_flags & OC_EF_POSTED);
                        oc->exp_flags |= OC_EF_REMOVE;
                } else
                        exp_mail_it(oc, OC_EF_REMOVE);
                Lck_Unlock(&exphdl->mtx);
        }
}

/*--------------------------------------------------------------------
 * Insert new object.
 *
 * Caller got a oc->refcnt for us.
 */

void
EXP_Insert(struct worker *wrk, struct objcore *oc)
{
        unsigned remove_race = 0;
        struct objcore *tmpoc;

        CHECK_OBJ_NOTNULL(wrk, WORKER_MAGIC);
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);

        AZ(oc->flags & OC_F_BUSY);

        if (!(oc->exp_flags & OC_EF_REFD))
                return;

        /* One ref held by the caller, and one that will be owned by
         * expiry. */
        assert(oc->refcnt >= 2);

        ObjSendEvent(wrk, oc, OEV_INSERT);

        Lck_Lock(&exphdl->mtx);
        AN(oc->exp_flags & OC_EF_NEW);
        oc->exp_flags &= ~OC_EF_NEW;
        AZ(oc->exp_flags & (OC_EF_INSERT | OC_EF_MOVE | OC_EF_POSTED));
        if (oc->exp_flags & OC_EF_REMOVE) {
                /* We raced some other thread executing EXP_Remove */
                remove_race = 1;
                oc->exp_flags &= ~(OC_EF_REFD | OC_EF_REMOVE);
        } else
                exp_mail_it(oc, OC_EF_INSERT | OC_EF_MOVE);
        Lck_Unlock(&exphdl->mtx);

        if (remove_race) {
                ObjSendEvent(wrk, oc, OEV_EXPIRE);
                tmpoc = oc;
                assert(oc->refcnt >= 2); /* Silence coverity */
                (void)HSH_DerefObjCore(wrk, &oc, 0);
                AZ(oc);
                assert(tmpoc->refcnt >= 1); /* Silence coverity */
        }
}

/*--------------------------------------------------------------------
 * Reduce object timers
 */

void
EXP_Reduce(struct objcore *oc, vtim_real now,
    vtim_dur ttl, vtim_dur grace, vtim_dur keep)
{

        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
        assert(oc->refcnt > 0);

        if (!isnan(ttl) && now + ttl - oc->t_origin >= oc->ttl)
                ttl = NAN;
        if (!isnan(grace) && grace >= oc->grace)
                grace = NAN;
        if (!isnan(keep) && keep >= oc->keep)
                keep = NAN;

        EXP_Rearm(oc, now, ttl, grace, keep);
}

/*--------------------------------------------------------------------
 * We have changed one or more of the object timers, tell the exp_thread
 *
 */

void
EXP_Rearm(struct objcore *oc, vtim_real now,
    vtim_dur ttl, vtim_dur grace, vtim_dur keep)
{
        vtim_real when;

        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
        assert(oc->refcnt > 0);

        if (!(oc->exp_flags & OC_EF_REFD))
                return;

        if (!isnan(ttl))
                oc->ttl = now + ttl - oc->t_origin;
        if (!isnan(grace))
                oc->grace = grace;
        if (!isnan(keep))
                oc->keep = keep;

        when = EXP_WHEN(oc);

        VSL(SLT_ExpKill, NO_VXID, "EXP_Rearm p=%p E=%.6f e=%.6f f=0x%x", oc,
            oc->timer_when, when, oc->flags);

        if (when < oc->t_origin || when < oc->timer_when) {
                Lck_Lock(&exphdl->mtx);
                if (oc->exp_flags & OC_EF_NEW) {
                        /* EXP_Insert has not been called yet, do nothing
                         * as the initial insert will execute the move
                         * operation. */
                } else
                        exp_mail_it(oc, OC_EF_MOVE);
                Lck_Unlock(&exphdl->mtx);
        }
}

/*--------------------------------------------------------------------
 * Handle stuff in the inbox
 */

static void
exp_inbox(struct exp_priv *ep, struct objcore *oc, unsigned flags, vtim_real now)
{

        CHECK_OBJ_NOTNULL(ep, EXP_PRIV_MAGIC);
        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
        assert(oc->refcnt > 0);

        VSLb(&ep->vsl, SLT_ExpKill, "EXP_Inbox flg=%x p=%p e=%.6f f=0x%x",
            flags, oc, oc->timer_when, oc->flags);

        if (flags & OC_EF_REMOVE) {
                if (!(flags & OC_EF_INSERT)) {
                        assert(oc->timer_idx != VBH_NOIDX);
                        VBH_delete(ep->heap, oc->timer_idx);
                }
                assert(oc->timer_idx == VBH_NOIDX);
                assert(oc->refcnt > 0);
                AZ(oc->exp_flags);
                VSLb(&ep->vsl, SLT_ExpKill, "EXP_Removed x=%ju t=%.0f h=%jd",
                    VXID(ObjGetXID(ep->wrk, oc)), EXP_Ttl(NULL, oc) - now,
                    (intmax_t)oc->hits);
                ObjSendEvent(ep->wrk, oc, OEV_EXPIRE);
                (void)HSH_DerefObjCore(ep->wrk, &oc, 0);
                return;
        }

        if (flags & OC_EF_MOVE) {
                oc->timer_when = EXP_WHEN(oc);
                ObjSendEvent(ep->wrk, oc, OEV_TTLCHG);
        }

        VSLb(&ep->vsl, SLT_ExpKill, "EXP_When p=%p e=%.6f f=0x%x", oc,
            oc->timer_when, flags);

        /*
         * XXX: There are some pathological cases here, were we
         * XXX: insert or move an expired object, only to find out
         * XXX: the next moment and rip them out again.
         */

        if (flags & OC_EF_INSERT) {
                assert(oc->timer_idx == VBH_NOIDX);
                VBH_insert(exphdl->heap, oc);
                assert(oc->timer_idx != VBH_NOIDX);
        } else if (flags & OC_EF_MOVE) {
                assert(oc->timer_idx != VBH_NOIDX);
                VBH_reorder(exphdl->heap, oc->timer_idx);
                assert(oc->timer_idx != VBH_NOIDX);
        } else {
                WRONG("Objcore state wrong in inbox");
        }
}

/*--------------------------------------------------------------------
 * Expire stuff from the binheap
 */

static vtim_real
exp_expire(struct exp_priv *ep, vtim_real now)
{
        struct objcore *oc;

        CHECK_OBJ_NOTNULL(ep, EXP_PRIV_MAGIC);

        oc = VBH_root(ep->heap);
        if (oc == NULL)
                return (now + 355. / 113.);
        VSLb(&ep->vsl, SLT_ExpKill, "EXP_Inspect p=%p e=%.6f f=0x%x", oc,
            oc->timer_when - now, oc->flags);

        CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);

        /* Ready ? */
        if (oc->timer_when > now)
                return (oc->timer_when);

        VSC_C_main->n_expired++;

        Lck_Lock(&ep->mtx);
        if (oc->exp_flags & OC_EF_POSTED) {
                oc->exp_flags |= OC_EF_REMOVE;
                oc = NULL;
        } else {
                oc->exp_flags &= ~OC_EF_REFD;
        }
        Lck_Unlock(&ep->mtx);
        if (oc != NULL) {
                if (!(oc->flags & OC_F_DYING))
                        HSH_Kill(oc);

                /* Remove from binheap */
                assert(oc->timer_idx != VBH_NOIDX);
                VBH_delete(ep->heap, oc->timer_idx);
                assert(oc->timer_idx == VBH_NOIDX);

                CHECK_OBJ_NOTNULL(oc->objhead, OBJHEAD_MAGIC);
                VSLb(&ep->vsl, SLT_ExpKill, "EXP_Expired x=%ju t=%.0f h=%jd",
                    VXID(ObjGetXID(ep->wrk, oc)), EXP_Ttl(NULL, oc) - now,
                    (intmax_t)oc->hits);
                ObjSendEvent(ep->wrk, oc, OEV_EXPIRE);
                (void)HSH_DerefObjCore(ep->wrk, &oc, 0);
        }
        return (0);
}

/*--------------------------------------------------------------------
 * This thread monitors the root of the binary heap and whenever an
 * object expires, accounting also for graceability, it is killed.
 */

static int v_matchproto_(vbh_cmp_t)
object_cmp(void *priv, const void *a, const void *b)
{
        const struct objcore *aa, *bb;

        (void)priv;
        CAST_OBJ_NOTNULL(aa, a, OBJCORE_MAGIC);
        CAST_OBJ_NOTNULL(bb, b, OBJCORE_MAGIC);
        return (aa->timer_when < bb->timer_when);
}

static void v_matchproto_(vbh_update_t)
object_update(void *priv, void *p, unsigned u)
{
        struct objcore *oc;

        (void)priv;
        CAST_OBJ_NOTNULL(oc, p, OBJCORE_MAGIC);
        oc->timer_idx = u;
}

static void * v_matchproto_(bgthread_t)
exp_thread(struct worker *wrk, void *priv)
{
        struct objcore *oc;
        vtim_real t = 0, tnext = 0;
        struct exp_priv *ep;
        unsigned flags = 0;

        CAST_OBJ_NOTNULL(ep, priv, EXP_PRIV_MAGIC);
        ep->wrk = wrk;
        VSL_Setup(&ep->vsl, NULL, 0);
        AZ(wrk->vsl);
        wrk->vsl = &ep->vsl;
        ep->heap = VBH_new(NULL, object_cmp, object_update);
        AN(ep->heap);
        while (exp_shutdown == 0) {

                Lck_Lock(&ep->mtx);
                oc = VSTAILQ_FIRST(&ep->inbox);
                CHECK_OBJ_ORNULL(oc, OBJCORE_MAGIC);
                if (oc != NULL) {
                        assert(oc->refcnt >= 1);
                        assert(oc->exp_flags & OC_EF_POSTED);
                        VSTAILQ_REMOVE(&ep->inbox, oc, objcore, exp_list);
                        VSC_C_main->exp_received++;
                        tnext = 0;
                        flags = oc->exp_flags;
                        if (flags & OC_EF_REMOVE)
                                oc->exp_flags = 0;
                        else
                                oc->exp_flags &= OC_EF_REFD;
                } else if (tnext > t) {
                        VSL_Flush(&ep->vsl, 0);
                        Pool_Sumstat(wrk);
                        (void)Lck_CondWaitUntil(&ep->condvar, &ep->mtx, tnext);
                }
                Lck_Unlock(&ep->mtx);

                t = VTIM_real();

                if (oc != NULL)
                        exp_inbox(ep, oc, flags, t);
                else
                        tnext = exp_expire(ep, t);
        }
        wrk->vsl = NULL;
        return (NULL);
}

/*--------------------------------------------------------------------*/

void
EXP_Init(void)
{
        struct exp_priv *ep;
        pthread_t pt;

        ALLOC_OBJ(ep, EXP_PRIV_MAGIC);
        AN(ep);

        Lck_New(&ep->mtx, lck_exp);
        PTOK(pthread_cond_init(&ep->condvar, NULL));
        VSTAILQ_INIT(&ep->inbox);
        WRK_BgThread(&pt, "cache-exp", exp_thread, ep);
        ep->thread = pt;
        exphdl = ep;
}

void
EXP_Shutdown(void)
{
        struct exp_priv *ep = exphdl;
        void *status;

        Lck_Lock(&ep->mtx);
        exp_shutdown = 1;
        PTOK(pthread_cond_signal(&ep->condvar));
        Lck_Unlock(&ep->mtx);

        AN(ep->thread);
        PTOK(pthread_join(ep->thread, &status));
        AZ(status);
        memset(&ep->thread, 0, sizeof ep->thread);

        /* XXX could cleanup more - not worth it for now */
}

		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	1877	EXP_Ttl(const struct req req, const struct objcore oc)
69		{
70		vtim_dur r;
71
72	1877	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
73
74	1877	r = oc->ttl;
75	1877	if (req != NULL && req->d_ttl > 0. && req->d_ttl < r)
76	7	r = req->d_ttl;
77	1877	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	126	EXP_Ttl_grace(const struct req req, const struct objcore oc)
87		{
88		vtim_dur g;
89
90	126	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
91
92	126	g = oc->grace;
93	126	if (req != NULL && req->d_grace >= 0. && req->d_grace < g)
94	3	g = req->d_grace;
95	126	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	1683	exp_mail_it(struct objcore *oc, uint8_t cmds)
104		{
105	1683	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
106	1683	assert(oc->refcnt > 0);
107	1683	AZ(cmds & OC_EF_REFD);
108
109	1683	Lck_AssertHeld(&exphdl->mtx);
110
111	1683	if (oc->exp_flags & OC_EF_REFD) {
112	1683	if (!(oc->exp_flags & OC_EF_POSTED)) {
113	1683	if (cmds & OC_EF_REMOVE)
114	244	VSTAILQ_INSERT_HEAD(&exphdl->inbox,
115		oc, exp_list);
116		else
117	1439	VSTAILQ_INSERT_TAIL(&exphdl->inbox,
118		oc, exp_list);
119	1683	VSC_C_main->exp_mailed++;
120	1683	}
121	1683	oc->exp_flags \|= cmds \| OC_EF_POSTED;
122	1683	PTOK(pthread_cond_signal(&exphdl->condvar));
123	1683	}
124	1683	}
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	1433	EXP_RefNewObjcore(struct objcore *oc)
133		{
134	1433	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
135
136	1433	Lck_AssertHeld(&oc->objhead->mtx);
137
138	1433	AZ(oc->exp_flags);
139	1433	assert(oc->refcnt >= 1);
140	1433	oc->refcnt++;
141	1433	oc->exp_flags \|= OC_EF_REFD \| OC_EF_NEW;
142	1433	}
143
144
145
146		/*--------------------------------------------------------------------
147		* Call EXP's attention to an oc
148		*/
149
150		void
151	375	EXP_Remove(struct objcore oc, const struct objcore new_oc)
152		{
153
154	375	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
155	375	CHECK_OBJ_ORNULL(new_oc, OBJCORE_MAGIC);
156
157	375	if (oc->exp_flags & OC_EF_REFD) {
158	244	Lck_Lock(&exphdl->mtx);
159	244	if (new_oc != NULL)
160	69	VSC_C_main->n_superseded++;
161	244	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	244	exp_mail_it(oc, OC_EF_REMOVE);
169	244	Lck_Unlock(&exphdl->mtx);
170	244	}
171	375	}
172
173		/*--------------------------------------------------------------------
174		* Insert new object.
175		*
176		* Caller got a oc->refcnt for us.
177		*/
178
179		void
180	2211	EXP_Insert(struct worker wrk, struct objcore oc)
181		{
182	2211	unsigned remove_race = 0;
183		struct objcore *tmpoc;
184
185	2211	CHECK_OBJ_NOTNULL(wrk, WORKER_MAGIC);
186	2211	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
187
188	2211	AZ(oc->flags & OC_F_BUSY);
189
190	2211	if (!(oc->exp_flags & OC_EF_REFD))
191	778	return;
192
193		/* One ref held by the caller, and one that will be owned by
194		* expiry. */
195	1433	assert(oc->refcnt >= 2);
196
197	1433	ObjSendEvent(wrk, oc, OEV_INSERT);
198
199	1433	Lck_Lock(&exphdl->mtx);
200	1433	AN(oc->exp_flags & OC_EF_NEW);
201	1433	oc->exp_flags &= ~OC_EF_NEW;
202	1433	AZ(oc->exp_flags & (OC_EF_INSERT \| OC_EF_MOVE \| OC_EF_POSTED));
203	1433	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	1433	exp_mail_it(oc, OC_EF_INSERT \| OC_EF_MOVE);
209	1433	Lck_Unlock(&exphdl->mtx);
210
211	1433	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	2211	}
220
221		/*--------------------------------------------------------------------
222		* Reduce object timers
223		*/
224
225		void
226	10	EXP_Reduce(struct objcore *oc, vtim_real now,
227		vtim_dur ttl, vtim_dur grace, vtim_dur keep)
228		{
229
230	10	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
231	10	assert(oc->refcnt > 0);
232
233	10	if (!isnan(ttl) && now + ttl - oc->t_origin >= oc->ttl)
234	6	ttl = NAN;
235	10	if (!isnan(grace) && grace >= oc->grace)
236	2	grace = NAN;
237	10	if (!isnan(keep) && keep >= oc->keep)
238	1	keep = NAN;
239
240	10	EXP_Rearm(oc, now, ttl, grace, keep);
241	10	}
242
243		/*--------------------------------------------------------------------
244		* We have changed one or more of the object timers, tell the exp_thread
245		*
246		*/
247
248		void
249	10	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	10	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
255	10	assert(oc->refcnt > 0);
256
257	10	if (!(oc->exp_flags & OC_EF_REFD))
258	0	return;
259
260	10	if (!isnan(ttl))
261	4	oc->ttl = now + ttl - oc->t_origin;
262	10	if (!isnan(grace))
263	2	oc->grace = grace;
264	10	if (!isnan(keep))
265	2	oc->keep = keep;
266
267	10	when = EXP_WHEN(oc);
268
269	20	VSL(SLT_ExpKill, NO_VXID, "EXP_Rearm p=%p E=%.6f e=%.6f f=0x%x", oc,
270	10	oc->timer_when, when, oc->flags);
271
272	10	if (when < oc->t_origin \|\| when < oc->timer_when) {
273	6	Lck_Lock(&exphdl->mtx);
274	6	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	6	exp_mail_it(oc, OC_EF_MOVE);
280	6	Lck_Unlock(&exphdl->mtx);
281	6	}
282	10	}
283
284		/*--------------------------------------------------------------------
285		* Handle stuff in the inbox
286		*/
287
288		static void
289	1683	exp_inbox(struct exp_priv ep, struct objcore oc, unsigned flags, vtim_real now)
290		{
291
292	1683	CHECK_OBJ_NOTNULL(ep, EXP_PRIV_MAGIC);
293	1683	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
294	1683	assert(oc->refcnt > 0);
295
296	3366	VSLb(&ep->vsl, SLT_ExpKill, "EXP_Inbox flg=%x p=%p e=%.6f f=0x%x",
297	1683	flags, oc, oc->timer_when, oc->flags);
298
299	1683	if (flags & OC_EF_REMOVE) {
300	244	if (!(flags & OC_EF_INSERT)) {
301	244	assert(oc->timer_idx != VBH_NOIDX);
302	244	VBH_delete(ep->heap, oc->timer_idx);
303	244	}
304	244	assert(oc->timer_idx == VBH_NOIDX);
305	244	assert(oc->refcnt > 0);
306	244	AZ(oc->exp_flags);
307	488	VSLb(&ep->vsl, SLT_ExpKill, "EXP_Removed x=%ju t=%.0f h=%jd",
308	244	VXID(ObjGetXID(ep->wrk, oc)), EXP_Ttl(NULL, oc) - now,
309	244	(intmax_t)oc->hits);
310	244	ObjSendEvent(ep->wrk, oc, OEV_EXPIRE);
311	244	(void)HSH_DerefObjCore(ep->wrk, &oc, 0);
312	244	return;
313		}
314
315	1439	if (flags & OC_EF_MOVE) {
316	1439	oc->timer_when = EXP_WHEN(oc);
317	1439	ObjSendEvent(ep->wrk, oc, OEV_TTLCHG);
318	1439	}
319
320	2878	VSLb(&ep->vsl, SLT_ExpKill, "EXP_When p=%p e=%.6f f=0x%x", oc,
321	1439	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	1439	if (flags & OC_EF_INSERT) {
330	1433	assert(oc->timer_idx == VBH_NOIDX);
331	1433	VBH_insert(exphdl->heap, oc);
332	1433	assert(oc->timer_idx != VBH_NOIDX);
333	1439	} else if (flags & OC_EF_MOVE) {
334	6	assert(oc->timer_idx != VBH_NOIDX);
335	6	VBH_reorder(exphdl->heap, oc->timer_idx);
336	6	assert(oc->timer_idx != VBH_NOIDX);
337	6	} else {
338	0	WRONG("Objcore state wrong in inbox");
339		}
340	1683	}
341
342		/*--------------------------------------------------------------------
343		* Expire stuff from the binheap
344		*/
345
346		static vtim_real
347	5203	exp_expire(struct exp_priv *ep, vtim_real now)
348		{
349		struct objcore *oc;
350
351	5203	CHECK_OBJ_NOTNULL(ep, EXP_PRIV_MAGIC);
352
353	5203	oc = VBH_root(ep->heap);
354	5203	if (oc == NULL)
355	2170	return (now + 355. / 113.);
356	6066	VSLb(&ep->vsl, SLT_ExpKill, "EXP_Inspect p=%p e=%.6f f=0x%x", oc,
357	3033	oc->timer_when - now, oc->flags);
358
359	3033	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
360
361		/* Ready ? */
362	3033	if (oc->timer_when > now)
363	2908	return (oc->timer_when);
364
365	125	VSC_C_main->n_expired++;
366
367	125	Lck_Lock(&ep->mtx);
368	125	if (oc->exp_flags & OC_EF_POSTED) {
369	0	oc->exp_flags \|= OC_EF_REMOVE;
370	0	oc = NULL;
371	0	} else {
372	125	oc->exp_flags &= ~OC_EF_REFD;
373		}
374	125	Lck_Unlock(&ep->mtx);
375	125	if (oc != NULL) {
376	125	if (!(oc->flags & OC_F_DYING))
377	125	HSH_Kill(oc);
378
379		/* Remove from binheap */
380	125	assert(oc->timer_idx != VBH_NOIDX);
381	125	VBH_delete(ep->heap, oc->timer_idx);
382	125	assert(oc->timer_idx == VBH_NOIDX);
383
384	125	CHECK_OBJ_NOTNULL(oc->objhead, OBJHEAD_MAGIC);
385	250	VSLb(&ep->vsl, SLT_ExpKill, "EXP_Expired x=%ju t=%.0f h=%jd",
386	125	VXID(ObjGetXID(ep->wrk, oc)), EXP_Ttl(NULL, oc) - now,
387	125	(intmax_t)oc->hits);
388	125	ObjSendEvent(ep->wrk, oc, OEV_EXPIRE);
389	125	(void)HSH_DerefObjCore(ep->wrk, &oc, 0);
390	125	}
391	125	return (0);
392	5203	}
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	1308	object_cmp(void priv, const void a, const void *b)
401		{
402		const struct objcore aa, bb;
403
404	1308	(void)priv;
405	1308	CAST_OBJ_NOTNULL(aa, a, OBJCORE_MAGIC);
406	1308	CAST_OBJ_NOTNULL(bb, b, OBJCORE_MAGIC);
407	1308	return (aa->timer_when < bb->timer_when);
408		}
409
410		static void v_matchproto_(vbh_update_t)
411	2745	object_update(void priv, void p, unsigned u)
412		{
413		struct objcore *oc;
414
415	2745	(void)priv;
416	2745	CAST_OBJ_NOTNULL(oc, p, OBJCORE_MAGIC);
417	2745	oc->timer_idx = u;
418	2745	}
419
420		static void * v_matchproto_(bgthread_t)
421	936	exp_thread(struct worker wrk, void priv)
422		{
423		struct objcore *oc;
424	936	vtim_real t = 0, tnext = 0;
425		struct exp_priv *ep;
426	936	unsigned flags = 0;
427
428	936	CAST_OBJ_NOTNULL(ep, priv, EXP_PRIV_MAGIC);
429	936	ep->wrk = wrk;
430	936	VSL_Setup(&ep->vsl, NULL, 0);
431	936	AZ(wrk->vsl);
432	936	wrk->vsl = &ep->vsl;
433	936	ep->heap = VBH_new(NULL, object_cmp, object_update);
434	936	AN(ep->heap);
435	7822	while (exp_shutdown == 0) {
436
437	6886	Lck_Lock(&ep->mtx);
438	6886	oc = VSTAILQ_FIRST(&ep->inbox);
439	6886	CHECK_OBJ_ORNULL(oc, OBJCORE_MAGIC);
440	6886	if (oc != NULL) {
441	1683	assert(oc->refcnt >= 1);
442	1683	assert(oc->exp_flags & OC_EF_POSTED);
443	1683	VSTAILQ_REMOVE(&ep->inbox, oc, objcore, exp_list);
444	1683	VSC_C_main->exp_received++;
445	1683	tnext = 0;
446	1683	flags = oc->exp_flags;
447	1683	if (flags & OC_EF_REMOVE)
448	244	oc->exp_flags = 0;
449		else
450	1439	oc->exp_flags &= OC_EF_REFD;
451	6886	} else if (tnext > t) {
452	2596	VSL_Flush(&ep->vsl, 0);
453	2596	Pool_Sumstat(wrk);
454	2596	(void)Lck_CondWaitUntil(&ep->condvar, &ep->mtx, tnext);
455	2596	}
456	6886	Lck_Unlock(&ep->mtx);
457
458	6886	t = VTIM_real();
459
460	6886	if (oc != NULL)
461	1683	exp_inbox(ep, oc, flags, t);
462		else
463	5203	tnext = exp_expire(ep, t);
464		}
465	936	wrk->vsl = NULL;
466	936	return (NULL);
467		}
468
469		/--------------------------------------------------------------------/
470
471		void
472	936	EXP_Init(void)
473		{
474		struct exp_priv *ep;
475		pthread_t pt;
476
477	936	ALLOC_OBJ(ep, EXP_PRIV_MAGIC);
478	936	AN(ep);
479
480	936	Lck_New(&ep->mtx, lck_exp);
481	936	PTOK(pthread_cond_init(&ep->condvar, NULL));
482	936	VSTAILQ_INIT(&ep->inbox);
483	936	WRK_BgThread(&pt, "cache-exp", exp_thread, ep);
484	936	ep->thread = pt;
485	936	exphdl = ep;
486	936	}
487
488		void
489	923	EXP_Shutdown(void)
490		{
491	923	struct exp_priv *ep = exphdl;
492		void *status;
493
494	923	Lck_Lock(&ep->mtx);
495	923	exp_shutdown = 1;
496	923	PTOK(pthread_cond_signal(&ep->condvar));
497	923	Lck_Unlock(&ep->mtx);
498
499	923	AN(ep->thread);