Itimer.h 688 Bytes
Newer Older
1
/* -----------------------------------------------------------------------------
2
 * $Id: Itimer.h,v 1.4 1999/08/25 16:11:48 simonmar Exp $
3
 *
4
 * (c) The GHC Team 1998-1999
5 6 7 8 9
 *
 * Interval timer for profiling and pre-emptive scheduling.
 *
 * ---------------------------------------------------------------------------*/

10 11 12 13 14
# define TICK_FREQUENCY   50                      /* ticks per second */
# define TICK_MILLISECS   (1000/TICK_FREQUENCY)   /* ms per tick */

extern rtsBool do_prof_ticks;	/* profiling ticks on/off */

15
nat  initialize_virtual_timer  ( nat ms );
16
int  install_vtalrm_handler    ( void );
17 18
void block_vtalrm_signal       ( void );
void unblock_vtalrm_signal     ( void );