From 949ce3bb4ef2654a814b3549051e439daf82b5e9 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 19 Jun 2008 12:12:01 +0000 Subject: [PATCH] Document the change to +RTS -S/-s/-t --- docs/users_guide/runtime_control.xml | 53 ++++++++++++++-------------------- docs/users_guide/sooner.xml | 8 ++--- docs/users_guide/using.xml | 2 +- 3 files changed, 26 insertions(+), 37 deletions(-) diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml index 183cd9c..725ee88 100644 --- a/docs/users_guide/runtime_control.xml +++ b/docs/users_guide/runtime_control.xml @@ -436,46 +436,35 @@ + + file + RTS option + - file + file RTS option - file + file RTS option - Write modest () or verbose - () garbage-collector statistics into file - file. The default - file is - program.stat. The - file stderr - is treated specially, with the output really being sent to - stderr. - - This option is useful for watching how the storage - manager adjusts the heap size based on the current amount of - live data. - - + These options produce runtime-system statistics, such + as the amount of time spent executing the program and in the + garbage collector, the amount of memory allocated, the + maximum size of the heap, and so on. The three + variants give different levels of detail: + produces a single line of output in the + same format as GHC's option, + produces a more detailed summary at the + end of the program, and additionally + produces information about each and every garbage + collection. - - - - RTS option - - - Write a one-line GC stats summary after running the - program. This output is in the same format as that produced - by the option. - - As with , the default - file is - program.stat. The - file stderr - is treated specially, with the output really being sent to - stderr. + The output is placed in + file. If + file is omitted, then the output + is sent to stderr. diff --git a/docs/users_guide/sooner.xml b/docs/users_guide/sooner.xml index bb2eb87..d1aeb0f 100644 --- a/docs/users_guide/sooner.xml +++ b/docs/users_guide/sooner.xml @@ -32,7 +32,7 @@ should go here! garbage collection for GHC, which means less compilation time. If you use the option, you'll get a garbage-collector report. (Again, you can use - the cheap-and-nasty + the cheap-and-nasty option to send the GC stats straight to standard error.) @@ -511,13 +511,13 @@ Use strip on your executables. “I think I have a space leak…” Re-run your program -with , and remove all doubt! (You'll +with , and remove all doubt! (You'll see the heap usage get bigger and bigger…) [Hmmm…this might be even easier with the RTS option; so… ./a.out +RTS --Sstderr -G1...] +-S -G1...] -G RTS option --Sstderr RTS option +-S RTS option diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index ef62d59..60b8f3e 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1770,7 +1770,7 @@ f "2" = 2 Hints for using SMP parallelism - Add the -sstderr RTS option when + Add the -s RTS option when running the program to see timing stats, which will help to tell you whether your program got faster by using more CPUs or not. If the user time is greater than -- 1.7.10.4