X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fruntime_control.xml;h=7b60167db2f8fd60f9ba71564b80c3c8b15f6527;hb=2ab65c00417e668f8a2a3f98fde51448dda83d6e;hp=995e26302dda2c2a7d4cdf224c6c841849f3fd41;hpb=071367ea146fa1622e2e533fc9cf804c2be14a57;p=ghc-hetmet.git
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index 995e263..7b60167 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
@@ -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
+ .