X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fruntime_control.xml;h=62a01acdda4b35b98dbe307c4a24c7fd48ff538d;hb=029c4588e6e022aa15e465cc67082378d4ee2bea;hp=e89f340430ddf77e7e6504898cc2db6549d35deb;hpb=78b620de24ceb4621cead67bd642f72749b41052;p=ghc-hetmet.git
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index e89f340..62a01ac 100644
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -108,6 +108,14 @@
the or options.
However, setting is required in order to
increase the resolution of the time profiler.
+
+ Using a value of zero disables the RTS clock
+ completely, and has the effect of disabling timers that
+ depend on it: the context switch timer and the heap profiling
+ timer. Context switches will still happen, but
+ deterministically and at a rate much faster than normal.
+ Disabling the interval timer is useful for debugging, because
+ it eliminates a source of non-determinism at runtime.
@@ -653,6 +661,29 @@ char *ghc_rts_opts = "-H128m -K1m";
ghc/compiler/parser/hschooks.c in a GHC
source tree.
+
+
+ Getting information about the RTS
+
+ RTS
+
+ It is possible to ask the RTS to give some information about
+ itself. To do this, use the flag, e.g.
+
+$ ./a.out +RTS --info
+ [("GHC RTS", "Yes")
+ ,("GHC version", "6.7")
+ ,("RTS way", "rts_p")
+ ,("Host platform", "x86_64-unknown-linux")
+ ,("Build platform", "x86_64-unknown-linux")
+ ,("Target platform", "x86_64-unknown-linux")
+ ,("Compiler unregisterised", "NO")
+ ,("Tables next to code", "YES")
+ ]
+
+ The information is formatted such that it can be read as a
+ of type [(String, String)].
+