The Glorious Glasgow Haskell Compilation System User's Guide ...

The Glorious Glasgow Haskell
Compilation System User’s Guide,
Version 6.10.4
viii
5 Profiling 96
5.1 Cost centres and cost-centre stacks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.1.1 Inserting cost centres by hand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5.1.2 Rules for attributing costs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
5.2 Compiler options for profiling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.3 Time and allocation profiling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.4 Profiling memory usage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.4.1 RTS options for heap profiling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5.4.2 Retainer Profiling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
5.4.2.1 Hints for using retainer profiling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
5.4.3 Biographical Profiling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
5.4.4 Actual memory residency . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.5 hp2ps––heap profile to PostScript . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.5.1 Manipulating the hp file . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
5.5.2 Zooming in on regions of your profile . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.5.3 Viewing the heap profile of a running program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.5.4 Viewing a heap profile in real time . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.6 Observing Code Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.6.1 A small example: Reciprocation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.6.2 Options for instrumenting code for coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.6.3 The hpc toolkit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.6.3.1 hpc report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.6.3.2 hpc markup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.6.3.3 hpc sum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.6.3.4 hpc combine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.6.3.5 hpc map . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.6.3.6 hpc overlay and hpc draft . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5.6.4 Caveats and Shortcomings of Haskell Program Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . 110
5.7 Using “ticky-ticky” profiling (for implementors) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
6 Advice on: sooner, faster, smaller, thriftier 112
6.1 Sooner: producing a program more quickly . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
6.2 Faster: producing a program that runs quicker . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
6.3 Smaller: producing a program that is smaller . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
6.4 Thriftier: producing a program that gobbles less heap space . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115