/* -----------------------------------------------------------------------------
- * $Id: Itimer.c,v 1.15 2000/07/17 15:09:35 rrt Exp $
+ * $Id: Itimer.c,v 1.16 2000/08/03 11:28:35 simonmar Exp $
*
* (c) The GHC Team, 1995-1999
*
#endif
#include "Rts.h"
+#include "RtsFlags.h"
#include "Itimer.h"
#include "Proftimer.h"
#include "Schedule.h"
lnat total_ticks = 0;
+/* ticks left before next pre-emptive context switch */
+int ticks_to_ctxt_switch = 0;
+
static
void
#if defined(mingw32_TARGET_OS) || (defined(cygwin32_TARGET_OS) && !defined(HAVE_SETITIMER))
/* For threadDelay etc., see Select.c */
ticks_since_select++;
- context_switch = 1;
+ ticks_to_ctxt_switch--;
+ if (ticks_to_ctxt_switch <= 0) {
+ ticks_to_ctxt_switch = RtsFlags.ConcFlags.ctxtSwitchTicks;
+ context_switch = 1; /* schedule a context switch */
+ }
}
0,
TIME_PERIODIC);
# endif
+
return 0;
}