From 6bc482ac2547d9d15f8a28d7f1c0893b62f9b246 Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 3 Aug 2000 11:34:41 +0000 Subject: [PATCH] [project @ 2000-08-03 11:34:41 by simonmar] Update the documentation on the +RTS -C option, and remove the note saying that it doesn't work. --- ghc/docs/users_guide/using.sgml | 25 ++++++++++--------------- 1 file changed, 10 insertions(+), 15 deletions(-) diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml index 80e6040..7663cd7 100644 --- a/ghc/docs/users_guide/using.sgml +++ b/ghc/docs/users_guide/using.sgml @@ -2994,21 +2994,16 @@ the default is 2. : --C<us> RTS option -Sets the context switch interval to <us> microseconds. A context -switch will occur at the next heap allocation after the timer expires. -With or , context switches will occur as often as -possible (at every heap allocation). By default, context switches -occur every 10 milliseconds. Note that many interval timers are only -capable of 10 millisecond granularity, so the default setting may be -the finest granularity possible, short of a context switch at every -heap allocation. - - - -[NOTE: this option currently has no effect (version 4.00). Context -switches happen when the current heap block is full, i.e. every 4k of -allocation]. +-C<us> RTS option Sets +the context switch interval to <s> seconds. +A context switch will occur at the next heap block allocation after +the timer expires (a heap block allocation occurs every 4k of +allocation). With or , +context switches will occur as often as possible (at every heap block +allocation). By default, context switches occur every 20ms +milliseconds. Note that GHC's internal timer ticks every 20ms, and +the context switch timer is always a multiple of this timer, so 20ms +is the maximum granularity available for timed context switches. -- 1.7.10.4