X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fruntime_control.xml;h=e15d5cc080b36e6d2b5095d0f3945c7d6279ea7a;hb=a1433cc95b8165bab8c65090642577dd51720f1f;hp=daed07cee340c6c5a3d8ff764854dcbb98c4c55f;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index daed07c..e15d5cc 100644
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -85,6 +85,34 @@
+
+ Miscellaneous RTS options
+
+
+
+
+ RTS
+ option
+
+ Sets the interval that the RTS clock ticks at. The
+ runtime uses a single timer signal to count ticks; this timer
+ signal is used to control the context switch timer () and the heap profiling
+ timer . Also, the
+ time profiler uses the RTS timer signal directly to record
+ time profiling samples.
+
+ Normally, setting the option
+ directly is not necessary: the resolution of the RTS timer is
+ adjusted automatically if a short interval is requested with
+ the or options.
+ However, setting is required in order to
+ increase the resolution of the time profiler.
+
+
+
+
+
RTS options to control the garbage collector
@@ -246,7 +274,7 @@
seconds
-
+ RTS optionidle GC
@@ -398,11 +426,12 @@
- RTS options for profiling and Concurrent/Parallel Haskell
+ RTS options for profiling and parallelismThe RTS options related to profiling are described in ; and those for concurrent/parallel
- stuff, in .
+ linkend="rts-options-heap-prof"/>, those for concurrency in
+ , and those for parallelism in
+ .