X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c9393b143d1997e9d0e05c317f5255e1ab73181e..cc309f0bc25802386a5f6d8bf2cfc487139ca1e3:/ChangeLog diff --git a/ChangeLog b/ChangeLog index bdeb7b5a93..1c5f22d1f5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,12 @@ -SimGrid (3.30.1) NOT RELEASED YET (v3.31 expected March 20. 2022, 15:33 UTC) +SimGrid (3.31.1) NOT RELEASED YET (v3.32 expected June 21. 2022, 09:13 UTC) + +---------------------------------------------------------------------------- + +S4U: + - kill signal Comm::on_completion that was not working anyway. + - Expose signals Activity::on_suspend and Activity::on_resume + +SimGrid (3.31) March 22. 2022. The ненасильство release. We stand against war. @@ -7,7 +15,7 @@ Against the agression by a sick system that forces peoples to take arms against MC: - Rework the internals, for simpler and modern code. This shall unlock many future improvements. - - You can now define plugins onto the DFS explorer (previously called SafetyChecker), using the + - You can now define plugins onto the DFS explorer (previously called SafetyChecker), using the declared signals. See CommunicationDeterminism for an example. - Support mutex, semaphore and barrier in DPOR reduction - Seems to work on Arm64 architectures too. @@ -23,15 +31,18 @@ SMPI: - tracing: ensure that we dump the TI traces continuously during execution and not just at the end, reducing memory cost and performance hit. - Update OpenMPI collectives selection logic to match current one (4.1.2) + - Add a coherence check for collective operation order and root/MPI_Op + coherence. Potentially costly so not activated unless smpi:pendantic is set + or -analyze is given. S4U: - New signal: Engine::on_simulation_start_cb() - - Introduce a new execution mode with this_actor::thread_execute(). This simulate + - Introduce a new execution mode with this_actor::thread_execute(). This simulate the execution of a certain amount of flops by multiple threads ran by a host. Each thread executes the same number of flops, given as argument. An example of this new function can be found in examples/cpp/exec-threads. - - Reimplementation of barriers natively. - Previously, they were implemented on top of s4u::Mutex and s4u::ConditionVariable. + - Reimplementation of barriers natively. + Previously, they were implemented on top of s4u::Mutex and s4u::ConditionVariable. The new version should be faster (and can be used in the model-checker). - Actor::get_restart_count(): Returns the number of reboots that this actor did. @@ -39,31 +50,31 @@ MSG: - MSG_barrier_destroy now expects a non-const msg_barrier parameter. New plugin: the Chaos Monkey (killing actors at any time) - - Along with the new simgrid-monkey script, it tests whether your simulation - resists resource failures at any possible timestamp in your simulation. - - It is mostly intended to test the simgrid core in extreme conditions, + - Along with the new simgrid-monkey script, it tests whether your simulation + resists resource failures at any possible timestamp in your simulation. + - It is mostly intended to test the simgrid core in extreme conditions, but some users may find it interesting too. Models: - - New model for parallel task: ptask_BMF. - - More realistic sharing of heterogeneous resources compared to ptask_L07. + - New solver for parallel task: BMF. + - More realistic sharing of heterogeneous resources compared to the fair + bottleneck solver used by ptask_L07. - Implement the BMF (Bottleneck max fairness) fairness. - Improved resource sharing for parallel tasks with sub-flows (parallel communications between same source and destination inside the ptask). - Parameters: - - "--cfg=host/model:ptask_BMF": enable the model. - - "--cfg=bmf/max-iterations: ": maximum number of iterations performed + - "--cfg=host/model:ptask_L07 --cfg=host/solver:bmf": enable the ptask + model with BMF solver. + - "--cfg=bmf/max-iterations: ": maximum number of iterations performed by BMF solver (default: 1000). - - "--cfg=bmf/selective-update:": enable/disable the - selective-update optimization. Only invalidates and recomputes modified - parts of inequations system. May speed up simulation if sparse resource - utilization (default: false). + - "--cfg=bmf/precision: ": numerical precision used when computing + resource sharing (default: 1e-12). - This model requires Eigen3 library. Make sure Eigen3 is installed to use BMF. General: - - Modifications of the Profile mechanism, with some impact on users + - Modifications of the Profile mechanism, with some impact on users - Addition of a new (S4U) method to init profiles from generic functions to improve versatility - - Fix initial behaviour of state_profiles + - Fix initial behaviour of state_profiles - Modify periodicity to behave like a period, and not like a loop delay XBT: @@ -83,6 +94,7 @@ Python: - Comm.wait_all_for() [example: examples/python/comm-waitallfor/] - Mutex [example: examples/python/synchro-mutex/] - Barrier [example: examples/python/synchro-barrier/] + - Semaphore [example: examples/python/synchro-semaphore/] Build System: - Remove target "make uninstall" which was incomplete and no longer maintained. @@ -95,6 +107,7 @@ Fixed bugs (FG#.. -> FramaGit bugs; FG!.. -> FG merge requests) - FG#101: LGPL 2.1 is deprecated license - FG#104: "make uninstall" not up-to-date - GH#151: Missing mutexes for DPOR. + - FG#105: "Variable penalty should not be negative!" with in-flight messages and bandwidth profiles ----------------------------------------------------------------------------