diff options
Diffstat (limited to 'otherlibs/unix/itimer.c')
-rw-r--r-- | otherlibs/unix/itimer.c | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/otherlibs/unix/itimer.c b/otherlibs/unix/itimer.c new file mode 100644 index 000000000..28a188e73 --- /dev/null +++ b/otherlibs/unix/itimer.c @@ -0,0 +1,70 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + +#include <mlvalues.h> +#include <alloc.h> +#include <memory.h> +#include "unix.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(tp) + struct itimerval * tp; +{ + value res; + Push_roots(r, 2); + r[0] = copy_double(Get_timeval(tp->it_interval)); + r[1] = copy_double(Get_timeval(tp->it_value)); + res = alloc_tuple(2); + Field(res, 0) = r[0]; + Field(res, 1) = r[1]; + Pop_roots(); + return res; +} + +static int itimers[3] = { ITIMER_REAL, ITIMER_VIRTUAL, ITIMER_PROF }; + +value unix_setitimer(which, newval) + value which, newval; +{ + struct itimerval new, old; + Set_timeval(new.it_interval, Double_val(Field(newval, 0))); + Set_timeval(new.it_value, Double_val(Field(newval, 1))); + if (setitimer(itimers[Int_val(which)], &new, &old) == -1) + uerror("setitimer", Nothing); + return unix_convert_itimer(&old); +} + +value unix_getitimer(which) + value which; +{ + struct itimerval val; + if (getitimer(itimers[Int_val(which)], &val) == -1) + uerror("getitimer", Nothing); + return unix_convert_itimer(&val); +} + +#else + +value unix_setitimer() { invalid_argument("setitimer not implemented"); } +value unix_getitimer() { invalid_argument("getitimer not implemented"); } + +#endif |