Use timer_create() for the interval timer, if available
authorSimon Marlow <simonmar@microsoft.com>
Fri, 2 Mar 2007 11:31:04 +0000 (11:31 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Fri, 2 Mar 2007 11:31:04 +0000 (11:31 +0000)
commite30aca19def5c629a8429bd57e56535b7f8f85c8
tree64513fe1bd809cb0e8442df826a03fb73c324103
parent090bff7e86dbad7c429532994f3f2fe9d4d8b8ea
Use timer_create() for the interval timer, if available
This lets the threaded RTS use SIGVTALRM rather than SIGALRM for its
interval timer signal, so the threaded and non-threaded RTS are
compatible.  It unfortunately doesn't completely fix #850/#1156, for
that we really have to use a restartable sleep instead of usleep().

Also I cleaned up the timer API a little: instead of returning an
error value that ultimately gets ignored, we now report errors from
system calls and exit.
configure.ac
rts/Ticker.h
rts/Timer.c
rts/Timer.h
rts/posix/Itimer.c
rts/win32/Ticker.c