#include "Rts.h"
#include "RtsFlags.h"
#include "Proftimer.h"
+#include "Storage.h"
#include "Schedule.h"
#include "Timer.h"
#include "Ticker.h"
void
handle_tick(int unused STG_UNUSED)
{
-#ifdef PROFILING
handleProfTick();
-#endif
if (RtsFlags.ConcFlags.ctxtSwitchTicks > 0) {
ticks_to_ctxt_switch--;
if (ticks_to_ctxt_switch <= 0) {
#if defined(THREADED_RTS)
/*
- * If we've been inactive for idleGCDelayTicks (set by +RTS
+ * If we've been inactive for idleGCDelayTime (set by +RTS
* -I), tell the scheduler to wake up and do a GC, to check
* for threads that are deadlocked.
*/
switch (recent_activity) {
case ACTIVITY_YES:
recent_activity = ACTIVITY_MAYBE_NO;
- ticks_to_gc = RtsFlags.GcFlags.idleGCDelayTicks;
+ ticks_to_gc = RtsFlags.GcFlags.idleGCDelayTime /
+ RtsFlags.MiscFlags.tickInterval;
break;
case ACTIVITY_MAYBE_NO:
- if (ticks_to_gc == 0) break; /* 0 ==> no idle GC */
- ticks_to_gc--;
if (ticks_to_gc == 0) {
- ticks_to_gc = RtsFlags.GcFlags.idleGCDelayTicks;
- recent_activity = ACTIVITY_INACTIVE;
- blackholes_need_checking = rtsTrue;
- /* hack: re-use the blackholes_need_checking flag */
- wakeUpRts();
+ /* 0 ==> no idle GC */
+ recent_activity = ACTIVITY_DONE_GC;
+ // disable timer signals (see #1623)
+ stopTimer();
+ } else {
+ ticks_to_gc--;
+ if (ticks_to_gc == 0) {
+ ticks_to_gc = RtsFlags.GcFlags.idleGCDelayTime /
+ RtsFlags.MiscFlags.tickInterval;
+ recent_activity = ACTIVITY_INACTIVE;
+ blackholes_need_checking = rtsTrue;
+ /* hack: re-use the blackholes_need_checking flag */
+ wakeUpRts();
+ }
}
break;
default:
#endif
}
-int
-startTimer(nat ms)
+void
+initTimer(void)
{
-#ifdef PROFILING
- initProfTimer();
-#endif
+ initProfTimer();
+ if (RtsFlags.MiscFlags.tickInterval != 0) {
+ initTicker(RtsFlags.MiscFlags.tickInterval, handle_tick);
+ }
+}
- return startTicker(ms, handle_tick);
+void
+startTimer(void)
+{
+ if (RtsFlags.MiscFlags.tickInterval != 0) {
+ startTicker();
+ }
}
-int
-stopTimer()
+void
+stopTimer(void)
+{
+ if (RtsFlags.MiscFlags.tickInterval != 0) {
+ stopTicker();
+ }
+}
+
+void
+exitTimer(void)
{
- return stopTicker();
+ if (RtsFlags.MiscFlags.tickInterval != 0) {
+ exitTicker();
+ }
}