haddock built with make has very different perf numbers to one built with hadrian
The make jobs do not use --hyperlinked-source
so the perf numbers are much lower.
Without (--hyperlinked-source
, docs for ghc-prim
)
4,474,321,856 bytes allocated in the heap
1,487,048 bytes copied during GC
66,330,616 bytes maximum residency (10 sample(s))
348,424 bytes maximum slop
187 MiB total memory in use (0 MB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 603 colls, 0 par 0.424s 0.424s 0.0007s 0.0182s
Gen 1 10 colls, 0 par 0.327s 0.328s 0.0328s 0.0637s
TASKS: 5 (1 bound, 4 peak workers (4 total), using -N1)
SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
INIT time 0.000s ( 0.000s elapsed)
MUT time 1.257s ( 1.285s elapsed)
GC time 0.751s ( 0.752s elapsed)
EXIT time 0.000s ( 0.002s elapsed)
Total time 2.009s ( 2.040s elapsed)
Alloc rate 3,560,585,951 bytes per MUT second
Productivity 62.5% of total user, 63.0% of total elapsed
with
12,489,132,704 bytes allocated in the heap
8,949,024 bytes copied during GC
459,634,384 bytes maximum residency (25 sample(s))
2,697,520 bytes maximum slop
966 MiB total memory in use (0 MB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 2868 colls, 0 par 1.931s 1.934s 0.0007s 0.0037s
Gen 1 25 colls, 0 par 1.514s 1.515s 0.0606s 0.4024s
TASKS: 5 (1 bound, 4 peak workers (4 total), using -N1)
SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
INIT time 0.000s ( 0.000s elapsed)
MUT time 3.319s ( 3.348s elapsed)
GC time 3.445s ( 3.449s elapsed)
EXIT time 0.000s ( 0.003s elapsed)
Total time 6.765s ( 6.800s elapsed)
Alloc rate 3,763,229,544 bytes per MUT second
Productivity 49.1% of total user, 49.2% of total elapsed
This is really an issue in haddock (which one of us should probably look into) but it affects our perf numbers so I note it here as an issue.