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 | |
parent | ace618cd2294989e783bd453cee88e0e1c0dad77 (diff) | |
download | haskell-022b5ad5775ecf6652e663cddb2773d7230385f2.tar.gz |
Stats: Add sync pauses to +RTS -S output
-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(); } |