diff options
Diffstat (limited to 'rts/Schedule.c')
| -rw-r--r-- | rts/Schedule.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rts/Schedule.c b/rts/Schedule.c index b9b15811c9..fa48bef1a7 100644 --- a/rts/Schedule.c +++ b/rts/Schedule.c @@ -224,6 +224,7 @@ schedule (Capability *initialCapability, Task *task) } // Note [shutdown]: The interruption / shutdown sequence. + // ~~~~~~~~~~~~~~~ // // In order to cleanly shut down the runtime, we want to: // * make sure that all main threads return to their callers @@ -649,7 +650,7 @@ shouldYieldCapability (Capability *cap, Task *task, bool didGcLast) // and this task it bound). // // Note [GC livelock] - // + // ~~~~~~~~~~~~~~~~~~ // If we are interrupted to do a GC, then we do not immediately do // another one. This avoids a starvation situation where one // Capability keeps forcing a GC and the other Capabilities make no |