may speedup the simulation by discarding very small actions, at the
price of a reduced numerical precision.
+\subsection options_concurrency_limit Concurrency limit
+
+The maximum number of variables in a system can be tuned through
+the \b maxmin/concurrency_limit item (default value: 100). Setting a higher value can lift some limitations, such as the number of concurrent processes running on a single host.
+
\subsection options_model_network Configuring the Network model
\subsubsection options_model_network_gamma Maximal TCP window size
in NS3. The only valid values (enforced on the SimGrid side) are
'NewReno' or 'Reno' or 'Tahoe'.
+\subsection options_model_storage Configuring the Storage model
+
+\subsubsection option_model_storage_maxfd Maximum amount of file descriptors per host
+
+Each host maintains a fixed-size array of its file descriptors. You
+can change its size (1024 by default) through the \b
+storage/max_file_descriptors item to either enlarge it if your
+application requires it or to reduce it to save memory space.
+
\section options_modelchecking Configuring the Model-Checking
To enable the SimGrid model-checking support the program should
- \c path: \ref options_generic_path
- \c plugin: \ref options_generic_plugin
-- \c surf/nthreads: \ref options_model_nthreads
+- \c storage/max_file_descriptors: \ref option_model_storage_maxfd
+
- \c surf/precision: \ref options_model_precision
- \c <b>For collective operations of SMPI, please refer to Section \ref options_index_smpi_coll</b>