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 */