X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fruntime_control.xml;h=7b60167db2f8fd60f9ba71564b80c3c8b15f6527;hb=6e2021202c3eec0c95a9d0b7c355559f2630d380;hp=6a3a9e3ee7eb8539b38bf900050d150cd4ab0aa8;hpb=c5a97ea01a810333608ef1e26f5cb5422dd25928;p=ghc-hetmet.git
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index 6a3a9e3..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