pedantic is now implied by -analyze

Changelog update

-analyze implies pedantic mode

give a (small and random) value of smpi/ois and smpi/os flags for mpich3 tests. Rationale is that it can speedup some tests a lot, as without it and async_small_thres, a lot a small messages can be sent at the same time in a loop, piling in the system and causing a lot of lag when lmm needs to handle all of these messages at once

Returning a value from simcall_blocking's lambda is misleading.

The return value is in fact obtained from observer->get_result().

Cosmetics: coding-style.

[ci-skip]

Revalidate the tesh of a MC test that has now less combinatorial explosion

This is the result of the optimization introduced in
c40f6bc2301d8b7039f7ced0cd40b2bf6e3879ed

remove spurious barrier calls in comm creation and win creation.
standard allows them but they are not mandatory I think (and slow down mc)

Resynchronize simgrid's MBI adapter from MBI project

Add the remaining MBI generators

small sonar fixes

also remove the master example from example syncho-mutex.py

Have MPI collectives display their root and MPI_Op to handle mismatches lazily

add check for collectives, using check_collectives_ordering utility.
maybe I missed some ..

activate pedantic mode for MBI

make pedantic not the default...

SMPI: add utility to keep the order of collective calls performed by each process MPI and validate that all processes do the same.
It's not activated by default, and needs --cfg=smpi/pedantic:true option, as it may store too much data in memory for now
For each comm we maintain a vector of encountered collective calls
Each process stores the amount of calls performed in each communicator
At each new one we compare the amount of calls to the size of the corresponding vector
if we are the first process, add the call to the list
if not, compare its name to the one at the corresponding place in the vector, and cry for help if it's not the same.
Kudos mquinson and MBI for the idea.

add finalizing state for smpi actor:
if finalization barrier is used, tag is now different, in order not to match against other MPI_Barrier that may be in the MPI code

Fail loudly when someone tries to use Actor::join() in MC (not implemented)

Don't have an extra actor in s4u-synchro-mutex to create the others

In MC, it could happen that the master actor terminates, leaves and
frees the shared memory before the end of the other actors.

MC: be more cautionous around MC_process_clock, the actor may not be there in case of bugs

Cosmetics

MBI: reduce a bit the amount of supurious warnings in generated code

MPI Win: add check if we try to delete a locked or opened window.
todo:
- refcount for wins,
- check if we need a separate counter for open/fence (going negative is hacky)

Fix gcc builds :(

make a single barrier per RMA window and share it through broadcast

Give users a way to debug their barriers

use correct type

SMPI: add check for buffer size in windows creation (thx MBI)

Finish to document the BMF options [no-ci]

MBI: don't add the path of the generator in the generated codes

Specify actor in the MC traces

Fix doc: add bmf/precision

Fix ctest for no Eigen builds

Remove bmf host model. Add it as an option.

Remove --cfg=host/model:ptask_BMF.
Use --cfg=host/model:ptask_L07 --cfg=host/solver:bmf instead.

More consistent with other models (CPU, disk, etc)

BMF: undo weight adding.

It doesn't seem necessary while we're not sure to the semantics gave to
fair_sharing with priorities

Network: add solver as an option

Select a test which doesn't use crosstraffic and the timing is the same
for both models (maxmin and bmf)

BMF: hopefully fix the fair_sharing with priority

Go back where we were supposed to be 1 week ago

Disk: add solver as an option

Select one random test which timing should be the same between maxmin
and bmf

System: methods -3 protected, +3 private

Fix distcheck

BMF: remove warning since the solver can be used by any model

BMF: fix cloud-capping tests.

BMF: Fix bug with threads

Our fair sharing is related to maxA_ not A_

Avoid negative rate

Negatives rates doesn't make sense in real life.
In this case, set fair_sharing as if the resource were saturated

Move common part for selective_update to System class.

And 1 more private variable in System \o/

Rename update_modified_set to update_modified_cnst_set.

It's the modified_constraint_set we're updating...
Avoid confusion with modified_set_

System: fix modified_set_ when selective_update is active

Using update_modified_set only on the first constraint of the variable
is valid only if the variable is active. Otherwise, it can make the
modified_set_ incomplete.

Move maxmin solver from system

New class for maxmin solver:: lmm::MaxMin.

A tiny step towards better encapsulation, still far from good though.

Rename file maxmin to System

Preparing to move maxmin solver to another subclass

Solver as an configuration option for CPU

Add cfg to set solver to be used for CPU models
- --cfg=cpu/solver: "maxmin, fairbottleneck or bmf"

Select 1 random test from teshsuite to run with bmf since it should have
the save output as maxmin

Suppress trailing whitespaces.

[ci-skip]

cosmetics in doc

Merge branch 'add_semaphore_python_bindings' into 'master'

Add Semaphore Python bindings

See merge request simgrid/simgrid!91

A few more sonar smells.

Add Semaphore Python bindings

[sonar] Replace 're.sub' by more efficient 'str.replace'.

[sonar] Use a more specific Python exception.

Prefer a range-based for loop.

Fix mingw warnigns.

Merge branch 'dev-profile-leak' into 'master'

Fix leak when given an empty profile

See merge request simgrid/simgrid!88

Fix leak when given an empty profile

doc: Fix some formatting issues

Release notes: shorten a bit, reindent, and reformat properly

Begin to prepare the next release

Fix spurious compilation warning.

warning: ‘main’ may be used uninitialized in this function.

Disallow direct contruction/destruction of s4u::File.

Use s4u::File::open() and s4u::File::close() instead.

Move simcall out of s4u::File destructor.

Please Sonar by not throwing uncaught exceptions in a destructor.

Use s4u::File::open/close inside s4u::File too.

Provide File::open with 3 arguments.

Make example s4u-replay-io use s4u::File::open/close.

Make example storage_client_server use s4u::File::open/close.

Polymorphic base class destructor should be either public virtual or protected non-virtual.

This is Sonar rule S1235
https://sonarcloud.io/organizations/simgrid/rules?open=cpp%3AS1235&rule_key=cpp%3AS1235

Some of the classes are simply marked "final" so that they can never become a
polymorphic base class.

Fix shadowing declarations in Parmap too.

Rename variables to avoid shadowing outer declarations.

Initialize all fields.

Fix misc sonar issues.

Kill dead code.

Static storage duration for config flags.

Activate test python-synchro-barrier.

take 2 on declare_flag, not sure it's better... a bit weird

Fix makedistcheck after !87

Directly reset observer_ instead of using an empty simcall for that.

Simcalls are not allowed on exit, even when cheating with raii.

This partially reverts commit 26f93d36882a4af53d1b797294caeae9efbf9b47
"Use RAII to simplify the release of semaphores on exit."

Merge branch 'add_barrier_python_bindings' into 'master'

Add Barrier Python bindings

See merge request simgrid/simgrid!87

Regroup common code.

Extract eigen3 version from build logs.

Use the right comparison operator for version numbers.

Add missing license

Add Barrier Python bindings

Updated Release notes wit text from Arnaud, with a round of minor
rewriting and typo chasing

Fix column numbers for sortTable.

Use existing helper function.

Draft a few paragraphs in release notes about modeling efforts [no-ci]

Better fix for the mutex IDs modifications in mutex-MC test

kill the extra mutex forgotten out of the loop in the hijacked example

This reverts and reworks commit 5190c1c45270085777ef904c35ab99b5ad52d681.

[project-description] Put build status starting at 3rd column.

[ci-skip]

Add eigen3 to project_description.sh

Disable debug output by default.

Enable valgrind for unit-tests.

Rename TESH_WRAPPER -> VALGRIND_WRAPPER.