Stats: Add sync pauses to +RTS -S output

e21b7a87 · Ben Gamari · e5c5f612 · e21b7a87
Commit e21b7a87 authored Aug 01, 2019 by Ben Gamari 🐢
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

rts/Stats.c rts/Stats.c +3 -0

No files found.
--- 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();
 }