diff options
| author | Milan Straka <fox@ucw.cz> | 2010-03-29 19:11:21 +0000 |
|---|---|---|
| committer | Milan Straka <fox@ucw.cz> | 2010-03-29 19:11:21 +0000 |
| commit | ebf7a60ced1f32b62d9d1c96c808723e2a784816 (patch) | |
| tree | 72a772a0f3a080c5d3cb637645a90714408c331e /docs | |
| parent | d08e43a40133f1552ee7f4c4a9f5e3ab2d522937 (diff) | |
| download | haskell-ebf7a60ced1f32b62d9d1c96c808723e2a784816.tar.gz | |
Add -pa and -V to the documentation of time profiling options.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/profiling.xml | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index 7d33ee8214..5fb53d038e 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -458,9 +458,10 @@ x = nfib 25 <variablelist> <varlistentry> <term> - <option>-p</option> or <option>-P</option>: + <option>-p</option> or <option>-P</option> or <option>-pa</option>: <indexterm><primary><option>-p</option></primary></indexterm> <indexterm><primary><option>-P</option></primary></indexterm> + <indexterm><primary><option>-pa</option></primary></indexterm> <indexterm><primary>time profile</primary></indexterm> </term> <listitem> @@ -472,9 +473,24 @@ x = nfib 25 <para>The <option>-P</option> option produces a more detailed report containing the actual time and allocation data as well. (Not used much.)</para> + + <para>The <option>-pa</option> option produces the most detailed + report containing all cost centres in addition to the actual time + and allocation data.</para> </listitem> </varlistentry> + <varlistentry> + <term><option>-V<replaceable>secs</replaceable></option> + <indexterm><primary><option>-V</option></primary><secondary>RTS + option</secondary></indexterm></term> + <listitem> + <para>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.</para> + </listitem> + </varlistentry> + <varlistentry> <term> <option>-xc</option> @@ -740,7 +756,8 @@ x = nfib 25 0.1 second). Fractions are allowed: for example <option>-i0.2</option> will get 5 samples per second. This only affects heap profiling; time profiles are always - sampled on a 1/50 second frequency.</para> + sampled with the frequency of the RTS clock. See + <xref linkend="prof-time-options"/> for changing that.</para> </listitem> </varlistentry> |