Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 1 | /* |
| 2 | include/common/ticks.h |
| 3 | Functions and macros for manipulation of expiration timers |
| 4 | |
Willy Tarreau | d0a201b | 2009-03-08 15:53:06 +0100 | [diff] [blame] | 5 | Copyright (C) 2000-2009 Willy Tarreau - w@1wt.eu |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 6 | |
| 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 Tarreau | d0a201b | 2009-03-08 15:53:06 +0100 | [diff] [blame] | 25 | * So we're converting them to "ticks". |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 26 | * |
Willy Tarreau | d0a201b | 2009-03-08 15:53:06 +0100 | [diff] [blame] | 27 | * 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 Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 42 | * We must both support absolute dates (well in fact, dates relative to now+/- |
Willy Tarreau | e35c94a | 2009-03-21 10:01:42 +0100 | [diff] [blame] | 43 | * 24 days), and intervals (for timeouts). Both types need an "eternity" magic |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 44 | * 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 Tarreau | d0a201b | 2009-03-08 15:53:06 +0100 | [diff] [blame] | 48 | * 1 ms further). For this reason, timeouts must not be added by hand but via |
| 49 | * the dedicated tick_add() function. |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 50 | */ |
| 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 */ |
| 67 | static 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 | */ |
| 75 | static 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 | */ |
| 86 | static 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 Tarreau | e35c94a | 2009-03-21 10:01:42 +0100 | [diff] [blame] | 93 | /* return 1 if timer <t1> is before <t2>, none of which can be infinite. */ |
| 94 | static 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. */ |
| 100 | static inline int tick_is_le(int t1, int t2) |
| 101 | { |
| 102 | return (t1 - t2) <= 0; |
| 103 | } |
| 104 | |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 105 | /* return 1 if timer <timer> is expired at date <now>, otherwise zero */ |
| 106 | static inline int tick_is_expired(int timer, int now) |
| 107 | { |
Willy Tarreau | 534c5a2 | 2008-09-04 09:00:24 +0200 | [diff] [blame] | 108 | if (unlikely(!tick_isset(timer))) |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 109 | return 0; |
Willy Tarreau | 534c5a2 | 2008-09-04 09:00:24 +0200 | [diff] [blame] | 110 | if (unlikely((timer - now) <= 0)) |
| 111 | return 1; |
| 112 | return 0; |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 113 | } |
| 114 | |
| 115 | /* return the first one of the two timers, both of which may be infinite */ |
| 116 | static 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 Tarreau | 531cf0c | 2009-03-08 16:35:27 +0100 | [diff] [blame] | 128 | /* return the first one of the two timers, where only the first one may be infinite */ |
| 129 | static 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 Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 139 | /* return the number of ticks remaining from <now> to <exp>, or zero if expired */ |
| 140 | static 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 | */ |