• Simon Marlow's avatar
    Refactoring and tidy up · 1fb38442
    Simon Marlow authored
    This is a port of some of the changes from my private local-GC branch
    (which is still in darcs, I haven't converted it to git yet).  There
    are a couple of small functional differences in the GC stats: first,
    per-thread GC timings should now be more accurate, and secondly we now
    report average and maximum pause times. e.g. from minimax +RTS -N8 -s:
                                        Tot time (elapsed)  Avg pause  Max pause
      Gen  0      2755 colls,  2754 par   13.16s    0.93s     0.0003s    0.0150s
      Gen  1       769 colls,   769 par    3.71s    0.26s     0.0003s    0.0059s