summaryrefslogtreecommitdiff
path: root/lib/xnanosleep.c
blob: b4dbdc1cf025d510a5d55cf56bb2f4252b74cdf3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
/* xnanosleep.c -- a more convenient interface to nanosleep

   Copyright (C) 2002-2007, 2009-2010 Free Software Foundation, Inc.

   This program is free software: you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 3 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */

/* Mostly written (for sleep.c) by Paul Eggert.
   Factored out (creating this file) by Jim Meyering.  */

#include <config.h>

#include "xnanosleep.h"

#include <limits.h>
#include <stdbool.h>
#include <stdio.h>
#include <assert.h>
#include <errno.h>
#include <sys/types.h>
#include <time.h>

#include "intprops.h"

#ifndef TIME_T_MAX
# define TIME_T_MAX TYPE_MAXIMUM (time_t)
#endif

/* Sleep until the time (call it WAKE_UP_TIME) specified as
   SECONDS seconds after the time this function is called.
   SECONDS must be non-negative.  If SECONDS is so large that
   it is not representable as a `struct timespec', then use
   the maximum value for that interval.  Return -1 on failure
   (setting errno), 0 on success.  */

int
xnanosleep (double seconds)
{
  enum { BILLION = 1000000000 };

  /* For overflow checking, use naive comparison if possible, widening
     to long double if double is not wide enough.  Otherwise, use <=,
     not <, to avoid problems when TIME_T_MAX is less than SECONDS but
     compares equal to SECONDS after loss of precision when coercing
     from time_t to long double.  This mishandles near-maximal values
     in some rare (perhaps theoretical) cases but that is better than
     undefined behavior.  */
  bool overflow = ((time_t) ((double) TIME_T_MAX / 2) == TIME_T_MAX / 2
                   ? TIME_T_MAX < seconds
                   : (time_t) ((long double) TIME_T_MAX / 2) == TIME_T_MAX / 2
                   ? TIME_T_MAX < (long double) seconds
                   : TIME_T_MAX <= (long double) seconds);

  struct timespec ts_sleep;

  assert (0 <= seconds);

  /* Separate whole seconds from nanoseconds.  */
  if (! overflow)
    {
      time_t floor_seconds = seconds;
      double ns = BILLION * (seconds - floor_seconds);
      ts_sleep.tv_sec = floor_seconds;

      /* Round up to the next whole number, if necessary, so that we
         always sleep for at least the requested amount of time.  Assuming
         the default rounding mode, we don't have to worry about the
         rounding error when computing 'ns' above, since the error won't
         cause 'ns' to drop below an integer boundary.  */
      ts_sleep.tv_nsec = ns;
      ts_sleep.tv_nsec += (ts_sleep.tv_nsec < ns);

      /* Normalize the interval length.  nanosleep requires this.  */
      if (BILLION <= ts_sleep.tv_nsec)
        {
          if (ts_sleep.tv_sec == TIME_T_MAX)
            overflow = true;
          else
            {
              ts_sleep.tv_sec++;
              ts_sleep.tv_nsec -= BILLION;
            }
        }
    }

  for (;;)
    {
      if (overflow)
        {
          ts_sleep.tv_sec = TIME_T_MAX;
          ts_sleep.tv_nsec = BILLION - 1;
        }

      /* Linux-2.6.8.1's nanosleep returns -1, but doesn't set errno
         when resumed after being suspended.  Earlier versions would
         set errno to EINTR.  nanosleep from linux-2.6.10, as well as
         implementations by (all?) other vendors, doesn't return -1
         in that case;  either it continues sleeping (if time remains)
         or it returns zero (if the wake-up time has passed).  */
      errno = 0;
      if (nanosleep (&ts_sleep, NULL) == 0)
        break;
      if (errno != EINTR && errno != 0)
        return -1;
    }

  return 0;
}