remove outdated paragraph in faq

[simgrid.git] / doc / doxygen / options.doc

diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc
index d7d608c..82776a5 100644 (file)
--- a/doc/doxygen/options.doc
+++ b/doc/doxygen/options.doc
@@ -392,7 +392,9 @@ to the most effient:
 
 The only reason to change this setting is when the debugging tools get
 fooled by the optimized context factories. Threads are the most
 
 The only reason to change this setting is when the debugging tools get
 fooled by the optimized context factories. Threads are the most

-debugging-friendly contextes.
+debugging-friendly contextes, as they allow to set breakpoints anywhere with gdb
+ and visualize backtraces for all processes, in order to debug concurrency issues.
+Valgrind is also more comfortable with threads, but it should be usable with all factories.

 
 \subsection options_virt_stacksize Adapting the used stack size
 
 
 \subsection options_virt_stacksize Adapting the used stack size
 


@@ -417,7 +419,7 @@ model checker (see \ref options_mc_perf).
 
 In some cases, no stack guard page is used and the stack will silently
 overflow on other parts of the memory if the stack size is too small
 
 In some cases, no stack guard page is used and the stack will silently
 overflow on other parts of the memory if the stack size is too small

-for your application. This happens :
+for your application. This happens :

 
 - on Windows systems;
 - when the model checker is enabled;
 
 - on Windows systems;
 - when the model checker is enabled;