Fix java test

Be a little less optimistic about double precision, use the same default
surf precision

Cosmetics: doc about System's concurrency

Cosmetics: System.cpp

Rename staged_penalty to staged_sharing_penalty_

Merge branch 'issue105' into 'master'

Fix #105 - Unify expand and expand_add

Closes #105

See merge request simgrid/simgrid!92

ignore MBI in cobertura reports. Keep them for PVS for now, as report may be useful

test activating MBI on coverage build

MBI: typo

MBI mark the test requiring the detection of local variables as failing

MBI: buffer on stack is a programming error, not a MPI error

MBI test: disply the right buffer on error

Resynch MBI generators with upstream

CollP2PMessageRaceGenerator.py: Replace source of second recv for message race.

(+ whitespace cleanups)

Reactivate the last MBI generator now that it produces tests that compile

Fix dead links.

Not sure what to do with the remainging links to
pda.gforge.inria.fr / lists.gforge.inria.fr / gforge.inria.fr/tracker

[ci-skip]

Cosmetics: don't talk about ActorIDTrait if it's not required.

Slightly improve message on deadlock.

Remove unused member.

[sonar] Don't mix public and private members (mc::State).

[sonar] Don't mix public and private members (mc::ModelChecker).

[sonar] Don't mix public and private members (resource::DiskImpl).

Expose signals Activity::on_suspend and Activity::on_resume in s4u

Earlier, they were only accessible from ActivityImpl

kill a signal that never worked anyway

Yet another tiny improvement to the release process

Make it possible to have an empty profile callback.

Sonar is right: a std:vector is just fine here.

Make NOW a static member of EngineImpl.

Make maxpid a static member of ActorIDTrait.

Use a std::unique_ptr, and avoid explicit new/delete.

Save more std::string copies.

Avoid unnecessary copy of std::string parameter.

kill trailing spaces and tabs in MBI files

Sync MBI generators with upstream modifications

Remove a reference to gforge from the README

Revalidate the tesh outputs after cosmetics to the output in mc_dfs

Fix the dependency of inter-comm transitions

Saying that COMM are indep with non-COMM transitions is good, but this
shouldnt mess up with the computation between COMM transitions...

tiny fix in release process

MC: be explicit when reaching an execution end (it's important when reading user's output)

Comm transitions are INDEP with non-comm transitions

More XBT_PUBLIC for mingw.

[ci-skip]

A few Sonar smells.

Wrong find&replace.

Misc Python smells from codefactor.io.

* unnecesary semicolon
* unnecessary "pass" statement.
* unnecessary "else" after "return".
* unnecessary "global"
* specify exception type
* testing for None should use the 'is' operator
* don't redefine built-ins
* unused statements (import, assignment)

Unnecessary newlines.

[ci-skip]

Define macro XBT_ATTRIB_DEPRECATED_v336.

Remove deprecated features for next release (3.32).

FIXME: NetZoneImpl::on_route_creation is not removed.

Start the dev cycle toward v3.32.

Fix the release date in the release notes

Release v3.31

Update tuto MC to the latest tool output

Add test for issue105

Fix make distcheck, once again

Complete the documentation of v3.31

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

Changelog

Revalidate output for maxmin_bench tests.

Simply copy and paste output since it's hard to manually validate it

Kill set_concurrency_share

Kill expand_add

Unify expand and expand_add

A single function to represent the use of some resource by an action.
Fixes https://framagit.org/simgrid/simgrid/-/issues/105

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_