X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fprofiling.xml;h=5fb53d038e96f81e463c6fde58b411889e385fb9;hb=ebf7a60ced1f32b62d9d1c96c808723e2a784816;hp=7d33ee82148a1ef874e71e521dd35da21fd537aa;hpb=73e0deb3da9b301d6650587c348f97a6e662215d;p=ghc-hetmet.git diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index 7d33ee8..5fb53d0 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -458,9 +458,10 @@ x = nfib 25 - or : + or or : + time profile @@ -472,9 +473,24 @@ x = nfib 25 The option produces a more detailed report containing the actual time and allocation data as well. (Not used much.) + + The option produces the most detailed + report containing all cost centres in addition to the actual time + and allocation data. + + + RTS + option + + Sets the interval that the RTS clock ticks at, which is + also the sampling interval of the time and allocation profile. + The default is 0.02 second. + + + @@ -740,7 +756,8 @@ x = nfib 25 0.1 second). Fractions are allowed: for example will get 5 samples per second. This only affects heap profiling; time profiles are always - sampled on a 1/50 second frequency. + sampled with the frequency of the RTS clock. See + for changing that.