diff options
author | Daniel Fischer <daniel.is.fischer@googlemail.com> | 2011-05-30 09:28:11 +0200 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2011-05-31 10:52:55 +0100 |
commit | 9ef343972e74911b82776b7fff3d9a1dde803661 (patch) | |
tree | 8296328073ffa5f51b80a32fbcdacf45e6030d17 | |
parent | 6c7f9119c0d0e48b789a10b50e6ed0d1d50959b5 (diff) | |
download | haskell-9ef343972e74911b82776b7fff3d9a1dde803661.tar.gz |
runtime_control.xml whitespace
-rw-r--r-- | docs/users_guide/runtime_control.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml index be341b220d..dbdebe8240 100644 --- a/docs/users_guide/runtime_control.xml +++ b/docs/users_guide/runtime_control.xml @@ -329,7 +329,7 @@ char *ghc_rts_opts = "-H128m -K1m"; with a message like “<literal>failed to mmap() memory below 2Gb</literal>”. If you need to use this option to get GHCi working on your machine, please file a bug. </para> - + <para> On 64-bit machines, the RTS needs to allocate memory in the low 2Gb of the address space. Support for this across @@ -495,7 +495,7 @@ char *ghc_rts_opts = "-H128m -K1m"; generation <replaceable>gen</replaceable> and higher. Omitting <replaceable>gen</replaceable> turns off the parallel GC completely, reverting to sequential GC.</para> - + <para>The default parallel GC settings are usually suitable for parallel programs (i.e. those using <literal>par</literal>, Strategies, or with multiple @@ -509,7 +509,7 @@ char *ghc_rts_opts = "-H128m -K1m"; restrict parallel GC to the old generation with <literal>-qg1</literal>.</para> </listitem> - </varlistentry> + </varlistentry> <varlistentry> <term> @@ -524,7 +524,7 @@ char *ghc_rts_opts = "-H128m -K1m"; generation <replaceable>gen</replaceable> and higher. Omitting <replaceable>gen</replaceable> disables load-balancing entirely.</para> - + <para> Load-balancing shares out the work of GC between the available cores. This is a good idea when the heap is @@ -817,7 +817,7 @@ char *ghc_rts_opts = "-H128m -K1m"; </listitem> <listitem> <para> - The peak memory the RTS has allocated from the OS. + The peak memory the RTS has allocated from the OS. </para> </listitem> <listitem> |