Merge branch 'master' of gnunet.org:gnunet
[oweals/gnunet.git] / src / util / test_time.c
1 /*
2      This file is part of GNUnet.
3      Copyright (C) 2001-2013, 2018 GNUnet e.V.
4
5      GNUnet is free software: you can redistribute it and/or modify it
6      under the terms of the GNU Affero General Public License as published
7      by the Free Software Foundation, either version 3 of the License,
8      or (at your option) any later version.
9
10      GNUnet is distributed in the hope that it will be useful, but
11      WITHOUT ANY WARRANTY; without even the implied warranty of
12      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13      Affero General Public License for more details.
14     
15      You should have received a copy of the GNU Affero General Public License
16      along with this program.  If not, see <http://www.gnu.org/licenses/>.
17
18      SPDX-License-Identifier: AGPL3.0-or-later
19 */
20 /**
21  * @file util/test_time.c
22  * @brief testcase for time.c
23  */
24 #include "platform.h"
25 #include "gnunet_util_lib.h"
26
27
28 int
29 main (int argc, char *argv[])
30 {
31   struct GNUNET_TIME_Absolute now;
32   struct GNUNET_TIME_AbsoluteNBO nown;
33   struct GNUNET_TIME_Absolute future;
34   struct GNUNET_TIME_Absolute past;
35   struct GNUNET_TIME_Absolute last;
36   struct GNUNET_TIME_Absolute forever;
37   struct GNUNET_TIME_Absolute zero;
38   struct GNUNET_TIME_Relative rel;
39   struct GNUNET_TIME_Relative relForever;
40   struct GNUNET_TIME_Relative relUnit;
41   struct GNUNET_TIME_RelativeNBO reln;
42   unsigned int i;
43
44   GNUNET_log_setup ("test-time", "WARNING", NULL);
45   forever = GNUNET_TIME_UNIT_FOREVER_ABS;
46   relForever = GNUNET_TIME_UNIT_FOREVER_REL;
47   relUnit = GNUNET_TIME_UNIT_MILLISECONDS;
48   zero.abs_value_us = 0;
49
50   last = now = GNUNET_TIME_absolute_get ();
51   while (now.abs_value_us == last.abs_value_us)
52     now = GNUNET_TIME_absolute_get ();
53   GNUNET_assert (now.abs_value_us > last.abs_value_us);
54
55   /* test overflow checking in multiply */
56   rel = GNUNET_TIME_UNIT_MILLISECONDS;
57   GNUNET_log_skip (1, GNUNET_NO);
58   for (i = 0; i < 55; i++)
59     rel = GNUNET_TIME_relative_multiply (rel, 2);
60   GNUNET_log_skip (0, GNUNET_NO);
61   GNUNET_assert (rel.rel_value_us == GNUNET_TIME_UNIT_FOREVER_REL.rel_value_us);
62   /*check zero */
63   rel.rel_value_us = (UINT64_MAX) - 1024;
64   GNUNET_assert (GNUNET_TIME_UNIT_ZERO.rel_value_us ==
65                  GNUNET_TIME_relative_multiply (rel, 0).rel_value_us);
66
67   /* test infinity-check for relative to absolute */
68   GNUNET_log_skip (1, GNUNET_NO);
69   last = GNUNET_TIME_relative_to_absolute (rel);
70   GNUNET_assert (last.abs_value_us == GNUNET_TIME_UNIT_FOREVER_ABS.abs_value_us);
71   GNUNET_log_skip (0, GNUNET_YES);
72
73   /* check relative to absolute */
74   rel.rel_value_us = 1000000;
75   GNUNET_assert (GNUNET_TIME_absolute_get ().abs_value_us <
76                  GNUNET_TIME_relative_to_absolute (rel).abs_value_us);
77   /*check forever */
78   rel.rel_value_us = UINT64_MAX;
79   GNUNET_assert (GNUNET_TIME_UNIT_FOREVER_ABS.abs_value_us ==
80                  GNUNET_TIME_relative_to_absolute (rel).abs_value_us);
81   /* check overflow for r2a */
82   rel.rel_value_us = (UINT64_MAX) - 1024;
83   GNUNET_log_skip (1, GNUNET_NO);
84   last = GNUNET_TIME_relative_to_absolute (rel);
85   GNUNET_log_skip (0, GNUNET_NO);
86   GNUNET_assert (last.abs_value_us == GNUNET_TIME_UNIT_FOREVER_ABS.abs_value_us);
87
88   /* check overflow for relative add */
89   GNUNET_log_skip (1, GNUNET_NO);
90   rel = GNUNET_TIME_relative_add (rel, rel);
91   GNUNET_log_skip (0, GNUNET_NO);
92   GNUNET_assert (rel.rel_value_us == GNUNET_TIME_UNIT_FOREVER_REL.rel_value_us);
93
94   GNUNET_log_skip (1, GNUNET_NO);
95   rel = GNUNET_TIME_relative_add (relForever, relForever);
96   GNUNET_log_skip (0, GNUNET_NO);
97   GNUNET_assert (rel.rel_value_us == relForever.rel_value_us);
98
99   GNUNET_log_skip (1, GNUNET_NO);
100   rel = GNUNET_TIME_relative_add (relUnit, relUnit);
101   GNUNET_assert (rel.rel_value_us == 2 * relUnit.rel_value_us);
102
103   /* check relation check in get_duration */
104   future.abs_value_us = now.abs_value_us + 1000000;
105   GNUNET_assert (GNUNET_TIME_absolute_get_difference (now, future).rel_value_us ==
106                  1000000);
107   GNUNET_assert (GNUNET_TIME_absolute_get_difference (future, now).rel_value_us ==
108                  0);
109
110   GNUNET_assert (GNUNET_TIME_absolute_get_difference (zero, forever).rel_value_us
111                  == forever.abs_value_us);
112
113   past.abs_value_us = now.abs_value_us - 1000000;
114   rel = GNUNET_TIME_absolute_get_duration (future);
115   GNUNET_assert (rel.rel_value_us == 0);
116   rel = GNUNET_TIME_absolute_get_duration (past);
117   GNUNET_assert (rel.rel_value_us >= 1000000);
118
119   /* check get remaining */
120   rel = GNUNET_TIME_absolute_get_remaining (now);
121   GNUNET_assert (rel.rel_value_us == 0);
122   rel = GNUNET_TIME_absolute_get_remaining (past);
123   GNUNET_assert (rel.rel_value_us == 0);
124   rel = GNUNET_TIME_absolute_get_remaining (future);
125   GNUNET_assert (rel.rel_value_us > 0);
126   GNUNET_assert (rel.rel_value_us <= 1000000);
127   forever = GNUNET_TIME_UNIT_FOREVER_ABS;
128   GNUNET_assert (GNUNET_TIME_UNIT_FOREVER_REL.rel_value_us ==
129                  GNUNET_TIME_absolute_get_remaining (forever).rel_value_us);
130
131   /* check endianess */
132   reln = GNUNET_TIME_relative_hton (rel);
133   GNUNET_assert (rel.rel_value_us == GNUNET_TIME_relative_ntoh (reln).rel_value_us);
134   nown = GNUNET_TIME_absolute_hton (now);
135   GNUNET_assert (now.abs_value_us == GNUNET_TIME_absolute_ntoh (nown).abs_value_us);
136
137   /* check absolute addition */
138   future = GNUNET_TIME_absolute_add (now, GNUNET_TIME_UNIT_SECONDS);
139   GNUNET_assert (future.abs_value_us == now.abs_value_us + 1000 * 1000LL);
140
141   future = GNUNET_TIME_absolute_add (forever, GNUNET_TIME_UNIT_ZERO);
142   GNUNET_assert (future.abs_value_us == forever.abs_value_us);
143
144   rel.rel_value_us = (UINT64_MAX) - 1024;
145   now.abs_value_us = rel.rel_value_us;
146   future = GNUNET_TIME_absolute_add (now, rel);
147   GNUNET_assert (future.abs_value_us == forever.abs_value_us);
148
149   /* check zero */
150   future = GNUNET_TIME_absolute_add (now, GNUNET_TIME_UNIT_ZERO);
151   GNUNET_assert (future.abs_value_us == now.abs_value_us);
152
153   GNUNET_assert (forever.abs_value_us ==
154                  GNUNET_TIME_absolute_subtract (forever,
155                                                 GNUNET_TIME_UNIT_MINUTES).abs_value_us);
156   /*check absolute subtract */
157   now.abs_value_us = 50000;
158   rel.rel_value_us = 100000;
159   GNUNET_assert (GNUNET_TIME_UNIT_ZERO_ABS.abs_value_us ==
160                  (GNUNET_TIME_absolute_subtract (now, rel)).abs_value_us);
161   rel.rel_value_us = 10000;
162   GNUNET_assert (40000 == (GNUNET_TIME_absolute_subtract (now, rel)).abs_value_us);
163
164   /*check relative divide */
165   GNUNET_assert (GNUNET_TIME_UNIT_FOREVER_REL.rel_value_us ==
166                  (GNUNET_TIME_relative_divide (rel, 0)).rel_value_us);
167
168   rel = GNUNET_TIME_UNIT_FOREVER_REL;
169   GNUNET_assert (GNUNET_TIME_UNIT_FOREVER_REL.rel_value_us ==
170                  (GNUNET_TIME_relative_divide (rel, 2)).rel_value_us);
171
172   rel = GNUNET_TIME_relative_divide (relUnit, 2);
173   GNUNET_assert (rel.rel_value_us == relUnit.rel_value_us / 2);
174
175
176   /* check Return absolute time of 0ms */
177   zero = GNUNET_TIME_UNIT_ZERO_ABS;
178
179   /* check GNUNET_TIME_calculate_eta */
180   last.abs_value_us = GNUNET_TIME_absolute_get ().abs_value_us - 1024;
181   forever = GNUNET_TIME_UNIT_FOREVER_ABS;
182   forever.abs_value_us = forever.abs_value_us - 1024;
183   GNUNET_assert (GNUNET_TIME_UNIT_ZERO_ABS.abs_value_us ==
184                  GNUNET_TIME_calculate_eta (forever, 50000, 100000).rel_value_us);
185   /* check zero */
186   GNUNET_log_skip (1, GNUNET_NO);
187   GNUNET_assert (GNUNET_TIME_UNIT_ZERO.rel_value_us ==
188                  (GNUNET_TIME_calculate_eta (last, 60000, 50000)).rel_value_us);
189   GNUNET_log_skip (0, GNUNET_YES);
190   /*check forever */
191   GNUNET_assert (GNUNET_TIME_UNIT_FOREVER_REL.rel_value_us ==
192                  (GNUNET_TIME_calculate_eta (last, 0, 50000)).rel_value_us);
193
194   /*check relative subtract */
195   now = GNUNET_TIME_absolute_get ();
196   rel.rel_value_us = now.abs_value_us;
197   relForever.rel_value_us = rel.rel_value_us + 1024;
198   GNUNET_assert (1024 ==
199                  GNUNET_TIME_relative_subtract (relForever, rel).rel_value_us);
200   /*check zero */
201   GNUNET_assert (GNUNET_TIME_UNIT_ZERO.rel_value_us ==
202                  GNUNET_TIME_relative_subtract (rel, relForever).rel_value_us);
203   /*check forever */
204   rel.rel_value_us = UINT64_MAX;
205   GNUNET_assert (GNUNET_TIME_UNIT_FOREVER_REL.rel_value_us ==
206                  GNUNET_TIME_relative_subtract (rel, relForever).rel_value_us);
207
208   /*check GNUNET_TIME_relative_min */
209   now = GNUNET_TIME_absolute_get ();
210   rel.rel_value_us = now.abs_value_us;
211   relForever.rel_value_us = rel.rel_value_us - 1024;
212   GNUNET_assert (relForever.rel_value_us ==
213                  GNUNET_TIME_relative_min (rel, relForever).rel_value_us);
214
215   /*check GNUNET_TIME_relative_max */
216   GNUNET_assert (rel.rel_value_us ==
217                  GNUNET_TIME_relative_max (rel, relForever).rel_value_us);
218
219   /*check GNUNET_TIME_absolute_min */
220   now = GNUNET_TIME_absolute_get ();
221   last.abs_value_us = now.abs_value_us - 1024;
222   GNUNET_assert (last.abs_value_us ==
223                  GNUNET_TIME_absolute_min (now, last).abs_value_us);
224
225   /*check  GNUNET_TIME_absolute_max */
226   GNUNET_assert (now.abs_value_us ==
227                  GNUNET_TIME_absolute_max (now, last).abs_value_us);
228   for (unsigned int i=0;i<30;i++)
229   {
230     struct GNUNET_CONFIGURATION_Handle *cfg;
231
232     cfg = GNUNET_CONFIGURATION_create ();
233     last = GNUNET_TIME_absolute_get_monotonic (cfg);
234     now = GNUNET_TIME_absolute_get_monotonic (cfg);
235     GNUNET_assert (now.abs_value_us > last.abs_value_us);
236     (void) GNUNET_TIME_absolute_get_monotonic (NULL);
237     GNUNET_CONFIGURATION_set_value_string (cfg,
238                                            "util",
239                                            "MONOTONIC_TIME_FILENAME",
240                                            "monotonic-time.dat");
241     last = GNUNET_TIME_absolute_get_monotonic (cfg);
242     now = GNUNET_TIME_absolute_get_monotonic (cfg);
243     (void) GNUNET_TIME_absolute_get_monotonic (NULL);
244     GNUNET_assert (now.abs_value_us > last.abs_value_us);
245     GNUNET_CONFIGURATION_destroy (cfg);
246   }
247   GNUNET_break (GNUNET_OK ==
248                 GNUNET_DISK_directory_remove ("monotonic-time.dat"));
249   
250   return 0;
251 }
252
253
254 /* end of test_time.c */