X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/eb92e377b2afbcdaae55d0819b5c226091d25d49..f96797fbc8f3a5f6b0d26fbf899ff25a75323f56:/docs/source/Configuring_SimGrid.rst?ds=sidebyside diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst index b980e4ad1a..27cb2c6e27 100644 --- a/docs/source/Configuring_SimGrid.rst +++ b/docs/source/Configuring_SimGrid.rst @@ -112,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` @@ -630,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