X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d3532ee4558ad2997a36fa8739702a7ff4968916..f96797fbc8f3a5f6b0d26fbf899ff25a75323f56:/docs/source/Configuring_SimGrid.rst diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst index 8303e48643..27cb2c6e27 100644 --- a/docs/source/Configuring_SimGrid.rst +++ b/docs/source/Configuring_SimGrid.rst @@ -81,10 +81,8 @@ Existing Configuration Items The full list can be retrieved by passing ``--help`` and ``--help-cfg`` to an executable that uses SimGrid. Try passing ``help`` as a value to get the list of values accepted by a given - option. For example, ``--cfg=plugin:help`` will give you the list - of plugins available in your installation of SimGrid. - -- **clean-atexit:** :ref:`cfg=clean-atexit` + option. For example, ``--cfg=plugin:help`` will give you the list + of plugins available in your installation of SimGrid. - **contexts/factory:** :ref:`cfg=contexts/factory` - **contexts/guard-size:** :ref:`cfg=contexts/guard-size` @@ -97,6 +95,10 @@ Existing Configuration Items - **cpu/model:** :ref:`options_model_select` - **cpu/optim:** :ref:`Cpu Optimization Level ` +- **debug/breakpoint:** :ref:`cfg=debug/breakpoint` +- **debug/clean-atexit:** :ref:`cfg=debug/clean-atexit` +- **debug/verbose-exit:** :ref:`cfg=debug/verbose-exit` + - **exception/cutpath:** :ref:`cfg=exception/cutpath` - **host/model:** :ref:`options_model_select` @@ -110,7 +112,6 @@ Existing Configuration Items - **model-check/checkpoint:** :ref:`cfg=model-check/checkpoint` - **model-check/communications-determinism:** :ref:`cfg=model-check/communications-determinism` - **model-check/dot-output:** :ref:`cfg=model-check/dot-output` -- **model-check/hash:** :ref:`cfg=model-checker/hash` - **model-check/max-depth:** :ref:`cfg=model-check/max-depth` - **model-check/property:** :ref:`cfg=model-check/property` - **model-check/reduction:** :ref:`cfg=model-check/reduction` @@ -133,8 +134,6 @@ Existing Configuration Items - **path:** :ref:`cfg=path` - **plugin:** :ref:`cfg=plugin` -- **simix/breakpoint:** :ref:`cfg=simix/breakpoint` - - **storage/max_file_descriptors:** :ref:`cfg=storage/max_file_descriptors` - **surf/precision:** :ref:`cfg=surf/precision` @@ -170,7 +169,6 @@ Existing Configuration Items - **Tracing configuration options** can be found in Section :ref:`tracing_tracing_options` - **storage/model:** :ref:`options_model_select` -- **verbose-exit:** :ref:`cfg=verbose-exit` - **vm/model:** :ref:`options_model_select` @@ -218,9 +216,9 @@ models for all existing resources. poorly modeled. This model is described in `A Network Model for Simulation of Grid Application `_. - - **NS3** (only available if you compiled SimGrid accordingly): + - **ns-3** (only available if you compiled SimGrid accordingly): Use the packet-level network - simulators as network models (see :ref:`pls_ns3`). + simulators as network models (see :ref:`model_ns3`). This model can be :ref:`further configured `. - ``cpu/model``: specify the used CPU model. We have only one model @@ -418,15 +416,15 @@ meant to be detached as well. .. _options_pls: -Configuring NS3 -^^^^^^^^^^^^^^^ +Configuring ns-3 +^^^^^^^^^^^^^^^^ -**Option** ``ns3/TcpModel`` **Default:** "default" (NS3 default) +**Option** ``ns3/TcpModel`` **Default:** "default" (ns-3 default) -When using NS3, there is an extra item ``ns3/TcpModel``, corresponding +When using ns-3, there is an extra item ``ns3/TcpModel``, corresponding to the ``ns3::TcpL4Protocol::SocketType`` configuration item in -NS3. The only valid values (enforced on the SimGrid side) are -'default' (no change to the NS3 configuration), 'NewReno' or 'Reno' or +ns-3. The only valid values (enforced on the SimGrid side) are +'default' (no change to the ns-3 configuration), 'NewReno' or 'Reno' or 'Tahoe'. Configuring the Storage model @@ -631,23 +629,6 @@ protected with guards: if the stack size is too small for your application, the stack will silently overflow on other parts of the memory (see :ref:`contexts/guard-size `). -.. _cfg=model-checker/hash: - -State Hashing -............. - -Usually most of the time of the model-checker is spent comparing states. This -process is complicated and consumes a lot of bandwidth and cache. -In order to speedup the state comparison, the experimental ``model-checker/hash`` -configuration item enables the computation of a hash summarizing as much -information of the state as possible into a single value. This hash can be used -to avoid most of the comparisons: the costly comparison is then only used when -the hashes are identical. - -Currently most of the state is not included in the hash because the -implementation was found to be buggy and this options is not as useful as -it could be. For this reason, it is currently disabled by default. - .. _cfg=model-check/replay: Replaying buggy execution paths out of the model-checker @@ -1425,12 +1406,12 @@ extra delay by setting smpi/wtime to 0. Other Configurations -------------------- -.. _cfg=clean-atexit: +.. _cfg=debug/clean-atexit: Cleanup at Termination ...................... -**Option** ``clean-atexit`` **default:** on +**Option** ``debug/clean-atexit`` **default:** on If your code is segfaulting during its finalization, it may help to disable this option to request SimGrid to not attempt any cleanups at @@ -1449,12 +1430,12 @@ trace files (see :ref:`pf_trace`) by using this configuration item. To add several directory to the path, set the configuration item several times, as in ``--cfg=path:toto --cfg=path:tutu`` -.. _cfg=simix/breakpoint: +.. _cfg=debug/breakpoint: Set a Breakpoint ................ -**Option** ``simix/breakpoint`` **default:** unset +**Option** ``debug/breakpoint`` **default:** unset This configuration option sets a breakpoint: when the simulated clock reaches the given time, a SIGTRAP is raised. This can be used to stop @@ -1468,12 +1449,12 @@ with gdb: set variable simgrid::simix::breakpoint = 3.1416 -.. _cfg=verbose-exit: +.. _cfg=debug/verbose-exit: Behavior on Ctrl-C .................. -**Option** ``verbose-exit`` **default:** on +**Option** ``debug/verbose-exit`` **default:** on By default, when Ctrl-C is pressed, the status of all existing actors is displayed before exiting the simulation. This is very useful to