X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2Fposix%2FItimer.c;h=a60f8f129546421e6e475e12256a69f2d596a4dc;hb=d5a9ee0e98a76bca1b41bbc5252e851c88b3ff4c;hp=51e08f82803a2f84e9b0a610174571557bd9f8b3;hpb=8d71be7cbd079f5eab23484a53a43b59dd0399e5;p=ghc-hetmet.git diff --git a/rts/posix/Itimer.c b/rts/posix/Itimer.c index 51e08f8..a60f8f1 100644 --- a/rts/posix/Itimer.c +++ b/rts/posix/Itimer.c @@ -1,6 +1,6 @@ /* ----------------------------------------------------------------------------- * - * (c) The GHC Team, 1995-1999 + * (c) The GHC Team, 1995-2007 * * Interval timer for profiling and pre-emptive scheduling. * @@ -42,6 +42,8 @@ # include #endif +#include + /* Major bogosity: * * In the threaded RTS, we can't set the virtual timer because the @@ -95,9 +97,11 @@ #endif #if defined(USE_TIMER_CREATE) -timer_t timer; +static timer_t timer; #endif +static nat itimer_interval = 50; + static void install_vtalrm_handler(TickProc handle_tick) @@ -127,7 +131,7 @@ install_vtalrm_handler(TickProc handle_tick) } void -initTicker (TickProc handle_tick) +initTicker (nat ms, TickProc handle_tick) { install_vtalrm_handler(handle_tick); @@ -135,10 +139,15 @@ initTicker (TickProc handle_tick) timestamp = getourtimeofday(); #endif + itimer_interval = ms; + #if defined(USE_TIMER_CREATE) { struct sigevent ev; + // Keep programs like valgrind happy + memset(&ev, 0, sizeof(ev)); + ev.sigev_notify = SIGEV_SIGNAL; ev.sigev_signo = ITIMER_SIGNAL; @@ -151,14 +160,14 @@ initTicker (TickProc handle_tick) } void -startTicker(nat ms) +startTicker(void) { #if defined(USE_TIMER_CREATE) { struct itimerspec it; - it.it_value.tv_sec = ms / 1000; - it.it_value.tv_nsec = (ms % 1000) * 1000000; + it.it_value.tv_sec = itimer_interval / 1000; + it.it_value.tv_nsec = (itimer_interval % 1000) * 1000000; it.it_interval = it.it_value; if (timer_settime(timer, 0, &it, NULL) != 0) { @@ -170,8 +179,8 @@ startTicker(nat ms) { struct itimerval it; - it.it_value.tv_sec = ms / 1000; - it.it_value.tv_usec = (ms % 1000) * 1000; + it.it_value.tv_sec = itimer_interval / 1000; + it.it_value.tv_usec = (itimer_interval % 1000) * 1000; it.it_interval = it.it_value; if (setitimer(ITIMER_FLAVOUR, &it, NULL) != 0) { @@ -213,8 +222,10 @@ stopTicker(void) void exitTicker(void) { +#if defined(USE_TIMER_CREATE) timer_delete(timer); // ignore errors - we don't really care if it fails. +#endif } #if 0