X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/69659a8281d4aeac3476820299f26a09dd285996..9992c04bba629eccd44905b4db102436727a779d:/ChangeLog?ds=sidebyside diff --git a/ChangeLog b/ChangeLog index 191b780b9b..d6e32b8898 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,8 +1,77 @@ -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: + - Added the xbt_enforce macro. This has the same syntax as xbt_assert. The only difference is that an AssertionError + exception is thrown if the condition is not satisfied, instead of calling abort(). + +Python: + - Added the following bindings / examples: + - Comm (now 100% covers the C++ interface): + - Comm.dst_data_size, Comm.mailbox, Comm.sender, Comm.start_time, Comm.finish_time + - Comm.state_str [examples: examples/python/comm-failure/, examples/python/comm-host2host/] + - Comm.remaining [examples: examples/python/comm-host2host/, examples/python/comm-suspend/] + - Comm.set_payload_size [example: examples/python/comm-host2host/] + - Comm.set_rate [example: examples/python/comm-throttling/] + - Comm.sendto, Comm.sendto_init, Comm.sendto_async [example: examples/python/comm-host2host/] + - Comm.start, Comm.suspend, Comm.resume [example: examples/python/comm-host2host/] + - Comm.test_any [example: examples/python/comm-testany/] + - Comm.wait_until [example: examples/python/comm-waituntil/] + - Engine: + - Engine.host_by_name [example: examples/python/comm-host2host/] + - Engine.mailbox_by_name_or_create [example: examples/python/comm-pingpong/] + - Engine.set_config + - Mailbox: Mailbox.ready [example: examples/python/comm-ready/] + - Ptask [example: examples/python/exec-ptask/]: + - this_actor.exec_init + - this_actor.parallel_execute + - Exec.suspend + - Exec.wait_for + - Added an AssertionError exception that may be thrown in case of error. For instance, creating tow hosts with the + same name will now throw this exception instead of killing the interpreter. + +Platform description & visualization: + - More robust sanity checks for platforms, to reject unallowed topologies with + a proper error message. + - One new C++ platform example, supernode.cpp. A Python script (supernode.py) + demonstrates how we can generate a nice graphical representation of the + platform. + +General: + - SimGrid now requires a compiler with C++17 support. + - Modified the host_by_name functions: + - Now, they return only hosts, not VMs, and in a much more efficient way. + - If one wants to find a VM by name, he now needs to know the host on + which it runs and call vm_by_name (or manually iterate over the list of hosts) + +Tools: + - Enhancements to the graphicator tool: + - Allow to dump the platform topology as a CSV file representing the edges + of the graph (in addition to the DOT format). + - Fix graphicator for "cluster" topologies (e.g. fat-tree, dragonfly). + +Fixed bugs (FG#.. -> FramaGit bugs; FG!.. -> FG merge requests) + (FG: issues on Framagit; GH: issues on GitHub) + - FG#105: "Variable penalty should not be negative!" with in-flight messages and bandwidth profiles + - FG#109: Application time reported by --cfg=smpi/display-timing:yes is wrong + - FG!109: Trigger new engine solve upon host events such as host on/off + - FG#110: Wait_any does not trigger new model solve when host events occur + - FG#111: Wrong execution time in rare cases when using multicore + +---------------------------------------------------------------------------- + +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. + +Against the agression by a sick system that forces peoples to take arms against each other. 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. @@ -18,15 +87,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. @@ -34,34 +106,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). + 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 - 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). - - ATTENTION: this model requires Eigen3 library. If you install SimGrid - from source, please see the "Installing from source" section: - https://simgrid.org/doc/latest/Installing_SimGrid.html#installing-from-the-source. - No action is required if you use pre-compiled packages. + - "--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/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: @@ -81,6 +150,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. @@ -178,7 +248,6 @@ The "Ask a stupid question" release. We wish that every user ask one question about SimGrid to celebrate. On Mattermost, Stack Overflow or using the issues tracker. - New modeling features: - Non-linear resource sharing, modeling resources whose performance heavily degrades with contention: - The total capacity may be updated dynamically through a callback