diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-08-01 09:12:03 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-05 14:53:12 -0500 |
| commit | 022b5ad5775ecf6652e663cddb2773d7230385f2 (patch) | |
| tree | daff4e369d3fb50f4cf44c3215cbdbee763fe4c2 /rts/Stats.c | |
| parent | ace618cd2294989e783bd453cee88e0e1c0dad77 (diff) | |
| download | haskell-022b5ad5775ecf6652e663cddb2773d7230385f2.tar.gz | |
Stats: Add sync pauses to +RTS -S output
Diffstat (limited to 'rts/Stats.c')
| -rw-r--r-- | rts/Stats.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/Stats.c b/rts/Stats.c index 0e6cb09b27..89e003ee0c 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -342,6 +342,9 @@ stat_endNonmovingGcSync () stats.nonmoving_gc_sync_max_elapsed_ns = stg_max(stats.gc.nonmoving_gc_sync_elapsed_ns, stats.nonmoving_gc_sync_max_elapsed_ns); + if (RtsFlags.GcFlags.giveStats == VERBOSE_GC_STATS) { + statsPrintf("# sync %6.3f\n", TimeToSecondsDbl(stats.gc.nonmoving_gc_sync_elapsed_ns)); + } traceConcSyncEnd(); } |