* on platform-specific services to install and run the timers.
*
*/
+
+#include "PosixSource.h"
#include "Rts.h"
-#include "RtsFlags.h"
+
+#include "Timer.h"
#include "Proftimer.h"
-#include "Storage.h"
#include "Schedule.h"
-#include "Timer.h"
#include "Ticker.h"
#include "Capability.h"
#include "RtsSignals.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) {
ticks_to_ctxt_switch = RtsFlags.ConcFlags.ctxtSwitchTicks;
- context_switch = 1; /* schedule a context switch */
+ setContextSwitches(); /* schedule a context switch */
}
}
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.idleGCDelayTime /
- RtsFlags.MiscFlags.tickInterval;
- 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(void)
+void
+initTimer(void)
{
-#ifdef PROFILING
- initProfTimer();
-#endif
+ initProfTimer();
+ if (RtsFlags.MiscFlags.tickInterval != 0) {
+ initTicker(RtsFlags.MiscFlags.tickInterval, handle_tick);
+ }
+}
- return startTicker(RtsFlags.MiscFlags.tickInterval, handle_tick);
+void
+startTimer(void)
+{
+ if (RtsFlags.MiscFlags.tickInterval != 0) {
+ startTicker();
+ }
}
-int
+void
stopTimer(void)
{
- return stopTicker();
+ if (RtsFlags.MiscFlags.tickInterval != 0) {
+ stopTicker();
+ }
+}
+
+void
+exitTimer (rtsBool wait)
+{
+ if (RtsFlags.MiscFlags.tickInterval != 0) {
+ exitTicker(wait);
+ }
}