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_int.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 the point in time when an object will become stale, taking
 * req.max_age into account, if 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);
                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
 *
 */

static inline void
apply_timers(struct objcore *oc, vtim_real now,
    vtim_dur ttl, vtim_dur grace, vtim_dur keep)
{
        if (!isnan(ttl))
                oc->ttl = now + ttl - oc->t_origin;
        if (!isnan(grace))
                oc->grace = grace;
        if (!isnan(keep))
                oc->keep = keep;
}

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->flags & OC_F_BUSY) {
                struct objhead *oh = oc->objhead;
                uint8_t flags;

                Lck_Lock(&oh->mtx);
                flags = oc->flags;
                if (flags & OC_F_BUSY)
                        apply_timers(oc, now, ttl, grace, keep);
                Lck_Unlock(&oh->mtx);
                if (flags & OC_F_BUSY)
                        return;
        }

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

        apply_timers(oc, now, ttl, grace, 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);
                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(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);
        }
        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_Alloc(&ep->vsl);
        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;
        VSL_Free(&ep->vsl);
        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 */
}

		vinyl-cache/bin/vinyld/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_int.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 the point in time when an object will become stale, taking
64		* req.max_age into account, if available
65		*/
66
67		vtim_real
68	7761	EXP_Ttl(const struct req req, const struct objcore oc)
69		{
70		vtim_dur r;
71
72	7761	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
73
74	7761	r = oc->ttl;
75	7761	if (req != NULL && req->d_ttl >= 0. && req->d_ttl < r)
76	25	r = req->d_ttl;
77	7761	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	560	EXP_Ttl_grace(const struct req req, const struct objcore oc)
87		{
88		vtim_dur g;
89
90	560	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
91
92	560	g = oc->grace;
93	560	if (req != NULL && req->d_grace >= 0. && req->d_grace < g)
94	8	g = req->d_grace;
95	560	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	6958	exp_mail_it(struct objcore *oc, uint8_t cmds)
104		{
105	6958	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
106	6958	assert(oc->refcnt > 0);
107	6958	AZ(cmds & OC_EF_REFD);
108
109	6958	Lck_AssertHeld(&exphdl->mtx);
110
111	6958	if (oc->exp_flags & OC_EF_REFD) {
112	6958	if (!(oc->exp_flags & OC_EF_POSTED)) {
113	6956	if (cmds & OC_EF_REMOVE)
114	1107	VSTAILQ_INSERT_HEAD(&exphdl->inbox,
115		oc, exp_list);
116		else
117	5849	VSTAILQ_INSERT_TAIL(&exphdl->inbox,
118		oc, exp_list);
119	6956	VSC_C_main->exp_mailed++;
120	6956	}
121	6958	oc->exp_flags \|= cmds \| OC_EF_POSTED;
122	6958	PTOK(pthread_cond_signal(&exphdl->condvar));
123	6958	}
124	6958	}
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	5825	EXP_RefNewObjcore(struct objcore *oc)
133		{
134	5825	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
135
136	5825	Lck_AssertHeld(&oc->objhead->mtx);
137
138	5825	AZ(oc->exp_flags);
139	5825	assert(oc->refcnt >= 1);
140	5825	oc->refcnt++;
141	5825	oc->exp_flags \|= OC_EF_REFD \| OC_EF_NEW;
142	5825	}
143
144
145
146		/*--------------------------------------------------------------------
147		* Call EXP's attention to an oc
148		*/
149
150		void
151	1897	EXP_Remove(struct objcore oc, const struct objcore new_oc)
152		{
153
154	1897	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
155	1897	CHECK_OBJ_ORNULL(new_oc, OBJCORE_MAGIC);
156
157	1897	if (oc->exp_flags & OC_EF_REFD) {
158	1109	Lck_Lock(&exphdl->mtx);
159	1109	if (new_oc != NULL)
160	305	VSC_C_main->n_superseded++;
161	1109	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	1109	exp_mail_it(oc, OC_EF_REMOVE);
169	1109	Lck_Unlock(&exphdl->mtx);
170	1109	}
171	1897	}
172
173		/*--------------------------------------------------------------------
174		* Insert new object.
175		*
176		* Caller got a oc->refcnt for us.
177		*/
178
179		void
180	5825	EXP_Insert(struct worker wrk, struct objcore oc)
181		{
182	5825	unsigned remove_race = 0;
183		struct objcore *tmpoc;
184
185	5825	CHECK_OBJ_NOTNULL(wrk, WORKER_MAGIC);
186	5825	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
187
188	5825	AZ(oc->flags & OC_F_BUSY);
189
190	5825	if (!(oc->exp_flags & OC_EF_REFD))
191	0	return;
192
193		/* One ref held by the caller, and one that will be owned by
194		* expiry. */
195	5825	assert(oc->refcnt >= 2);
196
197	5825	ObjSendEvent(wrk, oc, OEV_INSERT);
198
199	5825	Lck_Lock(&exphdl->mtx);
200	5825	AN(oc->exp_flags & OC_EF_NEW);
201	5825	oc->exp_flags &= ~OC_EF_NEW;
202	5825	AZ(oc->exp_flags & (OC_EF_INSERT \| OC_EF_MOVE \| OC_EF_POSTED));
203	5825	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	5825	exp_mail_it(oc, OC_EF_INSERT \| OC_EF_MOVE);
209	5825	Lck_Unlock(&exphdl->mtx);
210
211	5825	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);
216	0	AZ(oc);
217	0	assert(tmpoc->refcnt >= 1); /* Silence coverity */
218	0	}
219	5825	}
220
221		/*--------------------------------------------------------------------
222		* Reduce object timers
223		*/
224
225		void
226	40	EXP_Reduce(struct objcore *oc, vtim_real now,
227		vtim_dur ttl, vtim_dur grace, vtim_dur keep)
228		{
229
230	40	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
231	40	assert(oc->refcnt > 0);
232
233	40	if (!isnan(ttl) && now + ttl - oc->t_origin >= oc->ttl)
234	24	ttl = NAN;
235	40	if (!isnan(grace) && grace >= oc->grace)
236	8	grace = NAN;
237	40	if (!isnan(keep) && keep >= oc->keep)
238	4	keep = NAN;
239
240	40	EXP_Rearm(oc, now, ttl, grace, keep);
241	40	}
242
243		/*--------------------------------------------------------------------
244		* We have changed one or more of the object timers, tell the exp_thread
245		*
246		*/
247
248		static inline void
249	40	apply_timers(struct objcore *oc, vtim_real now,
250		vtim_dur ttl, vtim_dur grace, vtim_dur keep)
251		{
252	40	if (!isnan(ttl))
253	16	oc->ttl = now + ttl - oc->t_origin;
254	40	if (!isnan(grace))
255	8	oc->grace = grace;
256	40	if (!isnan(keep))
257	8	oc->keep = keep;
258	40	}
259
260		void
261	40	EXP_Rearm(struct objcore *oc, vtim_real now,
262		vtim_dur ttl, vtim_dur grace, vtim_dur keep)
263		{
264		vtim_real when;
265
266	40	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
267	40	assert(oc->refcnt > 0);
268
269	40	if (oc->flags & OC_F_BUSY) {
270	0	struct objhead *oh = oc->objhead;
271		uint8_t flags;
272
273	0	Lck_Lock(&oh->mtx);
274	0	flags = oc->flags;
275	0	if (flags & OC_F_BUSY)
276	0	apply_timers(oc, now, ttl, grace, keep);
277	0	Lck_Unlock(&oh->mtx);
278	0	if (flags & OC_F_BUSY)
279	0	return;
280	0	}
281
282	40	if (!(oc->exp_flags & OC_EF_REFD))
283	0	return;
284
285	40	apply_timers(oc, now, ttl, grace, keep);
286
287	40	when = EXP_WHEN(oc);
288
289	80	VSL(SLT_ExpKill, NO_VXID, "EXP_Rearm p=%p E=%.6f e=%.6f f=0x%x", oc,
290	40	oc->timer_when, when, oc->flags);
291
292	40	if (when < oc->t_origin \|\| when < oc->timer_when) {
293	24	Lck_Lock(&exphdl->mtx);
294	24	if (oc->exp_flags & OC_EF_NEW) {
295		/* EXP_Insert has not been called yet, do nothing
296		* as the initial insert will execute the move
297		* operation. */
298	0	} else
299	24	exp_mail_it(oc, OC_EF_MOVE);
300	24	Lck_Unlock(&exphdl->mtx);
301	24	}
302	40	}
303
304		/*--------------------------------------------------------------------
305		* Handle stuff in the inbox
306		*/
307
308		static void
309	6956	exp_inbox(struct exp_priv ep, struct objcore oc, unsigned flags, vtim_real now)
310		{
311
312	6956	CHECK_OBJ_NOTNULL(ep, EXP_PRIV_MAGIC);
313	6956	CHECK_OBJ_NOTNULL(oc, OBJCORE_MAGIC);
314	6956	assert(oc->refcnt > 0);
315
316	13912	VSLb(&ep->vsl, SLT_ExpKill, "EXP_Inbox flg=%x p=%p e=%.6f f=0x%x",
317	6956	flags, oc, oc->timer_when, oc->flags);
318
319	6956	if (flags & OC_EF_REMOVE) {
320	1108	if (!(flags & OC_EF_INSERT)) {
321	1107	assert(oc->timer_idx != VBH_NOIDX);
322	1107	VBH_delete(ep->heap, oc->timer_idx);
323	1107	}
324	1108	assert(oc->timer_idx == VBH_NOIDX);
325	1108	assert(oc->refcnt > 0);
326	1108	AZ(oc->exp_flags);
327	2216	VSLb(&ep->vsl, SLT_ExpKill, "EXP_Removed x=%ju t=%.0f h=%jd",
328	1108	VXID(ObjGetXID(ep->wrk, oc)), EXP_Ttl(NULL, oc) - now,
329	1108	(intmax_t)oc->hits);
330	1108	ObjSendEvent(ep->wrk, oc, OEV_EXPIRE);
331	1108	(void)HSH_DerefObjCore(ep->wrk, &oc);
332	1108	return;
333		}
334
335	5848	if (flags & OC_EF_MOVE) {
336	5848	oc->timer_when = EXP_WHEN(oc);
337	5848	ObjSendEvent(ep->wrk, oc, OEV_TTLCHG);
338	5848	}
339
340	11696	VSLb(&ep->vsl, SLT_ExpKill, "EXP_When p=%p e=%.6f f=0x%x", oc,
341	5848	oc->timer_when, flags);
342
343		/*
344		* XXX: There are some pathological cases here, were we
345		* XXX: insert or move an expired object, only to find out
346		* XXX: the next moment and rip them out again.
347		*/
348
349	5848	if (flags & OC_EF_INSERT) {
350	5824	assert(oc->timer_idx == VBH_NOIDX);
351	5824	VBH_insert(exphdl->heap, oc);
352	5824	assert(oc->timer_idx != VBH_NOIDX);
353	5848	} else if (flags & OC_EF_MOVE) {
354	24	assert(oc->timer_idx != VBH_NOIDX);
355	24	VBH_reorder(exphdl->heap, oc->timer_idx);
356	24	assert(oc->timer_idx != VBH_NOIDX);
357	24	} else {
358	0	WRONG("Objcore state wrong in inbox");
359		}
360	6956	}
361
362		/*--------------------------------------------------------------------
363		* Expire stuff from the binheap
364		*/
365
366		static vtim_real
367	21648	exp_expire(struct exp_priv *ep, vtim_real now)
368		{
369		struct objcore *oc;
370
371	21648	CHECK_OBJ_NOTNULL(ep, EXP_PRIV_MAGIC);
372
373	21648	oc = VBH_root(ep->heap);
374	21648	if (oc == NULL)
375	9235	return (now + 355. / 113.);
376	24826	VSLb(&ep->vsl, SLT_ExpKill, "EXP_Inspect p=%p e=%.6f f=0x%x", oc,
377	12413	oc->timer_when - now, oc->flags);
378
379	12413	CHECK_OBJ(oc, OBJCORE_MAGIC);
380
381		/* Ready ? */
382	12413	if (oc->timer_when > now)
383	11860	return (oc->timer_when);
384
385	553	VSC_C_main->n_expired++;
386
387	553	Lck_Lock(&ep->mtx);
388	553	if (oc->exp_flags & OC_EF_POSTED) {
389	0	oc->exp_flags \|= OC_EF_REMOVE;
390	0	oc = NULL;
391	0	} else {
392	553	oc->exp_flags &= ~OC_EF_REFD;
393		}
394	553	Lck_Unlock(&ep->mtx);
395	553	if (oc != NULL) {
396	553	if (!(oc->flags & OC_F_DYING))
397	553	HSH_Kill(oc);
398
399		/* Remove from binheap */
400	553	assert(oc->timer_idx != VBH_NOIDX);
401	553	VBH_delete(ep->heap, oc->timer_idx);
402	553	assert(oc->timer_idx == VBH_NOIDX);
403
404	553	CHECK_OBJ_NOTNULL(oc->objhead, OBJHEAD_MAGIC);
405	1106	VSLb(&ep->vsl, SLT_ExpKill, "EXP_Expired x=%ju t=%.0f h=%jd",
406	553	VXID(ObjGetXID(ep->wrk, oc)), EXP_Ttl(NULL, oc) - now,
407	553	(intmax_t)oc->hits);
408	553	ObjSendEvent(ep->wrk, oc, OEV_EXPIRE);
409	553	(void)HSH_DerefObjCore(ep->wrk, &oc);
410	553	}
411	553	return (0);
412	21648	}
413
414		/*--------------------------------------------------------------------
415		* This thread monitors the root of the binary heap and whenever an
416		* object expires, accounting also for graceability, it is killed.
417		*/
418
419		static int v_matchproto_(vbh_cmp_t)
420	5075	object_cmp(void priv, const void a, const void *b)
421		{
422		const struct objcore aa, bb;
423
424	5075	(void)priv;
425	5075	CAST_OBJ_NOTNULL(aa, a, OBJCORE_MAGIC);
426	5075	CAST_OBJ_NOTNULL(bb, b, OBJCORE_MAGIC);
427	5075	return (aa->timer_when < bb->timer_when);
428		}
429
430		static void v_matchproto_(vbh_update_t)
431	11258	object_update(void priv, void p, unsigned u)
432		{
433		struct objcore *oc;
434
435	11258	(void)priv;
436	11258	CAST_OBJ_NOTNULL(oc, p, OBJCORE_MAGIC);
437	11258	oc->timer_idx = u;
438	11258	}
439
440		static void * v_matchproto_(bgthread_t)
441	3915	exp_thread(struct worker wrk, void priv)
442		{
443		struct objcore *oc;
444	3915	vtim_real t = 0, tnext = 0;
445		struct exp_priv *ep;
446	3915	unsigned flags = 0;
447
448	3915	CAST_OBJ_NOTNULL(ep, priv, EXP_PRIV_MAGIC);
449	3915	ep->wrk = wrk;
450	3915	VSL_Alloc(&ep->vsl);
451	3915	AZ(wrk->vsl);
452	3915	wrk->vsl = &ep->vsl;
453	3915	ep->heap = VBH_new(NULL, object_cmp, object_update);
454	3915	AN(ep->heap);
455	32519	while (exp_shutdown == 0) {
456
457	28604	Lck_Lock(&ep->mtx);
458	28604	oc = VSTAILQ_FIRST(&ep->inbox);
459	28604	CHECK_OBJ_ORNULL(oc, OBJCORE_MAGIC);
460	28604	if (oc != NULL) {
461	6956	assert(oc->refcnt >= 1);
462	6956	assert(oc->exp_flags & OC_EF_POSTED);
463	6956	VSTAILQ_REMOVE(&ep->inbox, oc, objcore, exp_list);
464	6956	VSC_C_main->exp_received++;
465	6956	tnext = 0;
466	6956	flags = oc->exp_flags;
467	6956	if (flags & OC_EF_REMOVE)
468	1108	oc->exp_flags = 0;
469		else
470	5848	oc->exp_flags &= OC_EF_REFD;
471	28604	} else if (tnext > t) {
472	10800	VSL_Flush(&ep->vsl, 0);
473	10800	Pool_Sumstat(wrk);
474	10800	(void)Lck_CondWaitUntil(&ep->condvar, &ep->mtx, tnext);
475	10800	}
476	28604	Lck_Unlock(&ep->mtx);
477
478	28604	t = VTIM_real();
479
480	28604	if (oc != NULL)
481	6956	exp_inbox(ep, oc, flags, t);
482		else
483	21648	tnext = exp_expire(ep, t);
484		}
485	3915	wrk->vsl = NULL;
486	3915	VSL_Free(&ep->vsl);
487	3915	return (NULL);
488		}
489
490		/--------------------------------------------------------------------/
491
492		void
493	3915	EXP_Init(void)
494		{
495		struct exp_priv *ep;
496		pthread_t pt;
497
498	3915	ALLOC_OBJ(ep, EXP_PRIV_MAGIC);
499	3915	AN(ep);