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
|
/**************************************************************************/
/* */
/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */
/* special exception on linking described in the file LICENSE. */
/* */
/**************************************************************************/
#include <caml/mlvalues.h>
#include <caml/signals.h>
#include "unixsupport.h"
#include <errno.h>
#include <time.h>
#ifdef HAS_SELECT
#include <sys/types.h>
#include <sys/time.h>
#ifdef HAS_SYS_SELECT_H
#include <sys/select.h>
#endif
#endif
CAMLprim value caml_unix_sleep(value duration)
{
double d = Double_val(duration);
if (d < 0.0) return Val_unit;
#if defined(HAS_NANOSLEEP)
{
struct timespec t;
int ret;
t.tv_sec = (time_t) d;
t.tv_nsec = (d - t.tv_sec) * 1e9;
do {
caml_enter_blocking_section();
ret = nanosleep(&t, &t);
/* MPR#7903: if we were interrupted by a signal, and this signal
is handled in OCaml, we should run its handler now,
not at the end of the full sleep duration. Leaving the blocking
section and re-entering it does the job. */
caml_leave_blocking_section();
} while (ret == -1 && errno == EINTR);
if (ret == -1) caml_uerror("sleep", Nothing);
}
#elif defined(HAS_SELECT)
{
struct timeval t;
int ret;
t.tv_sec = (time_t) d;
t.tv_usec = (d - t.tv_sec) * 1e6;
do {
caml_enter_blocking_section();
ret = select(0, NULL, NULL, NULL, &t);
/* MPR#7903: same comment as above */
caml_leave_blocking_section();
} while (ret == -1 && errno == EINTR);
if (ret == -1) caml_uerror("sleep", Nothing);
}
#else
/* Fallback implementation, resolution 1 second only.
We cannot reliably iterate until sleep() returns 0, because the
remaining time returned by sleep() is generally rounded up. */
{
caml_enter_blocking_section();
sleep ((unsigned int) d);
caml_leave_blocking_section();
}
#endif
return Val_unit;
}
|
