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
|
/***********************************************************************/
/* */
/* Objective Caml */
/* */
/* 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 Library General Public License. */
/* */
/***********************************************************************/
/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
#include <memory.h>
#include "unixsupport.h"
#ifdef HAS_SETITIMER
#include <sys/time.h>
#define Get_timeval(tv) \
(double) tv.tv_sec + (double) tv.tv_usec / 1e6
#define Set_timeval(tv, d) \
tv.tv_sec = (int)(d), \
tv.tv_usec = (int) (1e6 * ((d) - tv.tv_sec))
static value unix_convert_itimer(struct itimerval *tp)
{
value res = alloc_small(Double_wosize * 2, Double_array_tag);
Store_double_field(res, 0, Get_timeval(tp->it_interval));
Store_double_field(res, 1, Get_timeval(tp->it_value));
return res;
}
static int itimers[3] = { ITIMER_REAL, ITIMER_VIRTUAL, ITIMER_PROF };
value unix_setitimer(value which, value newval) /* ML */
{
struct itimerval new, old;
Set_timeval(new.it_interval, Double_field(newval, 0));
Set_timeval(new.it_value, Double_field(newval, 1));
if (setitimer(itimers[Int_val(which)], &new, &old) == -1)
uerror("setitimer", Nothing);
return unix_convert_itimer(&old);
}
value unix_getitimer(value which) /* ML */
{
struct itimerval val;
if (getitimer(itimers[Int_val(which)], &val) == -1)
uerror("getitimer", Nothing);
return unix_convert_itimer(&val);
}
#else
value unix_setitimer(value which, value newval)
{ invalid_argument("setitimer not implemented"); }
value unix_getitimer(value which)
{ invalid_argument("getitimer not implemented"); }
#endif
|
