blob: de29b315a1480aed17bf199b4753a81d0b021c27 [file] [log] [blame]
Willy Tarreau0c303ee2008-07-07 00:09:58 +02001/*
2 include/common/ticks.h
3 Functions and macros for manipulation of expiration timers
4
Willy Tarreaud0a201b2009-03-08 15:53:06 +01005 Copyright (C) 2000-2009 Willy Tarreau - w@1wt.eu
Willy Tarreau0c303ee2008-07-07 00:09:58 +02006
7 This library is free software; you can redistribute it and/or
8 modify it under the terms of the GNU Lesser General Public
9 License as published by the Free Software Foundation, version 2.1
10 exclusively.
11
12 This library is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 Lesser General Public License for more details.
16
17 You should have received a copy of the GNU Lesser General Public
18 License along with this library; if not, write to the Free Software
19 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
20*/
21
22/*
23 * Using a mix of milliseconds and timeval for internal timers is expensive and
24 * overkill, because we don't need such a precision to compute timeouts.
Willy Tarreaud0a201b2009-03-08 15:53:06 +010025 * So we're converting them to "ticks".
Willy Tarreau0c303ee2008-07-07 00:09:58 +020026 *
Willy Tarreaud0a201b2009-03-08 15:53:06 +010027 * A tick is a representation of a date relative to another one, and is
28 * measured in milliseconds. The natural usage is to represent an absolute date
29 * relative to the current date. Since it is not practical to update all values
30 * each time the current date changes, instead we use the absolute date rounded
31 * down to fit in a tick. We then have to compare a tick to the current date to
32 * know whether it is in the future or in the past. If a tick is below the
33 * current date, it is in the past. If it is above, it is in the future. The
34 * values will wrap so we can't compare that easily, instead we check the sign
35 * of the difference between a tick and the current date.
36 *
37 * Proceeding like this allows us to manipulate dates that are stored in
38 * scalars with enough precision and range. For this reason, we store ticks in
39 * 32-bit integers. This is enough to handle dates that are between 24.85 days
40 * in the past and as much in the future.
41 *
Willy Tarreau0c303ee2008-07-07 00:09:58 +020042 * We must both support absolute dates (well in fact, dates relative to now+/-
Willy Tarreaue35c94a2009-03-21 10:01:42 +010043 * 24 days), and intervals (for timeouts). Both types need an "eternity" magic
Willy Tarreau0c303ee2008-07-07 00:09:58 +020044 * value. For optimal code generation, we'll use zero as the magic value
45 * indicating that an expiration timer or a timeout is not set. We have to
46 * check that we don't return this value when adding timeouts to <now>. If a
47 * computation returns 0, we must increase it to 1 (which will push the timeout
Willy Tarreaud0a201b2009-03-08 15:53:06 +010048 * 1 ms further). For this reason, timeouts must not be added by hand but via
49 * the dedicated tick_add() function.
Willy Tarreau0c303ee2008-07-07 00:09:58 +020050 */
51
52#ifndef _COMMON_TICKS_H
53#define _COMMON_TICKS_H
54
55#include <common/config.h>
56#include <common/standard.h>
57
58#define TICK_ETERNITY 0
59
60/* right now, ticks are milliseconds. Both negative ms and negative ticks
61 * indicate eternity.
62 */
63#define MS_TO_TICKS(ms) (ms)
64#define TICKS_TO_MS(tk) (tk)
65
66/* return 1 if tick is set, otherwise 0 */
67static inline int tick_isset(int expire)
68{
69 return expire != 0;
70}
71
72/* Add <timeout> to <now>, and return the resulting expiration date.
73 * <timeout> will not be checked for null values.
74 */
75static inline int tick_add(int now, int timeout)
76{
77 now += timeout;
78 if (unlikely(!now))
79 now++; /* unfortunate value */
80 return now;
81}
82
83/* add <timeout> to <now> if it is set, otherwise set it to eternity.
84 * Return the resulting expiration date.
85 */
86static inline int tick_add_ifset(int now, int timeout)
87{
88 if (!timeout)
89 return TICK_ETERNITY;
90 return tick_add(now, timeout);
91}
92
Willy Tarreaue35c94a2009-03-21 10:01:42 +010093/* return 1 if timer <t1> is before <t2>, none of which can be infinite. */
94static inline int tick_is_lt(int t1, int t2)
95{
96 return (t1 - t2) < 0;
97}
98
99/* return 1 if timer <t1> is before or equal to <t2>, none of which can be infinite. */
100static inline int tick_is_le(int t1, int t2)
101{
102 return (t1 - t2) <= 0;
103}
104
Willy Tarreau0c303ee2008-07-07 00:09:58 +0200105/* return 1 if timer <timer> is expired at date <now>, otherwise zero */
106static inline int tick_is_expired(int timer, int now)
107{
Willy Tarreau534c5a22008-09-04 09:00:24 +0200108 if (unlikely(!tick_isset(timer)))
Willy Tarreau0c303ee2008-07-07 00:09:58 +0200109 return 0;
Willy Tarreau534c5a22008-09-04 09:00:24 +0200110 if (unlikely((timer - now) <= 0))
111 return 1;
112 return 0;
Willy Tarreau0c303ee2008-07-07 00:09:58 +0200113}
114
115/* return the first one of the two timers, both of which may be infinite */
116static inline int tick_first(int t1, int t2)
117{
118 if (!tick_isset(t1))
119 return t2;
120 if (!tick_isset(t2))
121 return t1;
122 if ((t1 - t2) <= 0)
123 return t1;
124 else
125 return t2;
126}
127
Willy Tarreau531cf0c2009-03-08 16:35:27 +0100128/* return the first one of the two timers, where only the first one may be infinite */
129static inline int tick_first_2nz(int t1, int t2)
130{
131 if (!tick_isset(t1))
132 return t2;
133 if ((t1 - t2) <= 0)
134 return t1;
135 else
136 return t2;
137}
138
Willy Tarreau0c303ee2008-07-07 00:09:58 +0200139/* return the number of ticks remaining from <now> to <exp>, or zero if expired */
140static inline int tick_remain(int now, int exp)
141{
142 if (tick_is_expired(exp, now))
143 return 0;
144 return exp - now;
145}
146
147#endif /* _COMMON_TICKS_H */
148
149/*
150 * Local variables:
151 * c-indent-level: 8
152 * c-basic-offset: 8
153 * End:
154 */