MC:
- Rework the internals, for simpler and modern code. This shall unlock many future improvements.
- - You can now define plugins onto SafetyChecker (a simple DFS explorer), using the declared signals.
- See CommunicationDeterminism for an example.
+ - 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.
- Display a nice error message when ptrace is not usable.
S4U:
- New signal: Engine::on_simulation_start_cb()
+ - 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.
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.
MSG:
- MSG_barrier_destroy now expects a non-const msg_barrier parameter.
- 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 users may find it interesting too.
+ but some users may find it interesting too.
Models:
- New model for parallel task: ptask_BMF.
- Parameters:
- "--cfg=host/model:ptask_BMF": enable the model.
- "--cfg=bmf/max-iterations: <N>" - maximum number of iterations performed
- by BMF solver (default: 1000).
+ by BMF solver (default: 1000).
- "--cfg=bmf/selective-update:<true/false>" - 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).
+ 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.
+ 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.
XBT:
- Drop xbt_dynar_shrink().
Python:
- - Added the following bindings: Comm.wait_for() and Comm.wait_any_for()
- Example: examples/python/comm-waitfor/
+ - Made the following bindings static (previously member functions):
+ - Actor: Actor.kill_all(), Actor.by_pid()
+ - Host: Host.by_name(), Host.current(), Host.on_creation_cb()
+ - Mailbox: Mailbox.by_name()
+ - Added the following bindings:
+ - this_actor.warning()
+ - Mailbox.put_init() [example: examples/python/comm-waitallfor]
+ - Comm.detach() [example: examples/python/comm-waitallfor]
+ - Comm.wait_for() [example: examples/python/comm-waitfor/]
+ - Comm.wait_any_for()
+ - Comm.wait_all_for() [example: examples/python/comm-waitallfor]
Fixed bugs (FG#.. -> FramaGit bugs; FG!.. -> FG merge requests)
(FG: issues on Framagit; GH: issues on GitHub)
