From 68389bffd24ca79e8b029010f894328a8fa76cd6 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Fri, 8 May 2009 08:37:38 +0000 Subject: [PATCH] Use a more compact +RTS -s output for Tasks MUT time (elapsed) GC time (elapsed) Task 0 (worker) : 0.00s ( 0.00s) 0.00s ( 0.00s) Task 1 (worker) : 0.00s ( 0.01s) 0.00s ( 0.00s) Task 2 (worker) : 0.00s ( 0.03s) 0.00s ( 0.00s) Task 3 (bound) : 0.00s ( 0.00s) 0.02s ( 0.04s) --- rts/Stats.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/rts/Stats.c b/rts/Stats.c index 7c8042a..ae3d843 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -628,11 +628,11 @@ stat_exit(int alloc) { nat i; Task *task; + statsPrintf(" MUT time (elapsed) GC time (elapsed)\n"); for (i = 0, task = all_tasks; task != NULL; i++, task = task->all_link) { - statsPrintf(" Task %2d %-8s : MUT time: %6.2fs (%6.2fs elapsed)\n" - " GC time: %6.2fs (%6.2fs elapsed)\n\n", + statsPrintf(" Task %2d %-8s : %6.2fs (%6.2fs) %6.2fs (%6.2fs)\n", i, (task->tso == NULL) ? "(worker)" : "(bound)", TICK_TO_DBL(task->mut_time), @@ -642,6 +642,8 @@ stat_exit(int alloc) } } + statsPrintf("\n"); + { nat i; lnat sparks_created = 0; -- 1.7.10.4