patch applied (ghc): Use timer_create() for the interval timer,
if available
Simon Marlow
simonmar at microsoft.com
Fri Mar 2 08:30:31 EST 2007
Fri Mar 2 03:31:04 PST 2007 Simon Marlow <simonmar at microsoft.com>
* 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.
M ./configure.ac -1 +1
M ./rts/Ticker.h -2 +2
M ./rts/Timer.c -4 +4
M ./rts/Timer.h -2 +2
M ./rts/posix/Itimer.c -74 +89
M ./rts/win32/Ticker.c -4 +7
More information about the Cvs-ghc
mailing list