Merge branch 'faster_activity_removal' into 'master'

Replaced std::list by std::set to keep track of activities

See merge request simgrid/simgrid!123

Replaced std::list by std::set to keep track of activities

Cosmetics.

* use existing functions sthread_enable/disable
* useless casts
* static variables are already zero initialized

Use C++ string_view.

Replace static function by a lambda.

Fix doc.

better failure handling for streams

Address misc Sonar issues.

Cosmetics: "transfert" -> "transfer".

Kill useless computation.

Check bounds.

[ci skip] some release notes about the I/O streams

Completely revise the way to deal with Streamed I/Os

Do not implement a new funky HostModel but handle the io_stream call
in CLM03. Basic idea (thx alegrand): start from a regular
NetworkAction and add some extra constraints if it is an I/O stream.

+ Pros: easy to implement and inherit of all the complexity of the
network part. This would have been too much work and redundancy with a
new model. No extra flag, just a new type of I/Os (similar to the
Comm::sendto spirit)

+ Cons: had to cheat a bit to NOT inherit some of the network model
(LV08) complexity for the I/O part (bandwidth factor). Still has to
find a way to not pay the network latency if the stream starts from a
disk. Had to add a little hack to reserve more space in communicate
for the extra constraints.

This new type of I/O is tested in teshsuite/s4u/io-stream (with the
basic CM02 model without crosstraffic to verify if bottlenecks are
correctly handled, and then with the default config)

this belongs to the Impl not a specific model

further simplification/cleanups

Reduce the number of lambdas involved for python bindings.

Try to fix build by installing binutils.

Remove explicit conversion to std::string when it's not required.

Some of them were redundant.
Some of them became optional after the removal of xbt::string.

Typo.

Keep integer operations.

Use boolean value.

Mark "override" (Sonar).

Cosmetics.

simplify the I/O stream thing A LOT. Might be plunged in CLM03 afterall

Also ignore the brand new python 3.11 on appveyor

Remove a work around for a 2017 bug in Python + Windows

Help windows builds: do not redefine XBT_PUBLIC

Public headers must remain C++14 for now

Revalidate a tesh file in Java after recent changes

Missing include

setter function only need a simcall in MC or with parallel execs

This change introduce a new kind of simcalls alongside
simcall_answered and simcall_blocking: simcall_run_object_access that
is dedicated to object setter functions.

This is an answered simcall if running in // or in MC, and just a
regular function call if runnning a plain simulation.

This may speed up large simulations with a huge amount of activities,
but the perf improvement is not evaluated yet.

The performance could be further improved with a SIMGRID_HAVE_PARALLEL
option allowing the compiler to know beforhand that the simcall branch
will never be taken. But such an option would require to be tested and
I'm too lazy for that.

Allow the MC replay to use the 'zero' buffering

Do not MC_assert on failed xbt_assert, it's too shaky

I'll handle it from the MC side instead

Move a function to the right file and other cleanups

Kill a now unused field

Reduce the amount of header files loading xbt/string.hpp

Prefer to load this file from the source files (as usual) to reduce
the amount of files to be rebuilt when this file changes.

Kill the now useless type xbt::string

another attempt to avoid deadlocks in wrench when using sio host model

typo

fix deadlock found by hcasanova in case of self communications

complexify the test a bit further

Reuse existing variable, and shorten conditional.

Don't call function with side effect twice in the same expression.

The evaluation order is undecided and may give different results (e.g. using clang vs. gcc).

Update random-bug-nocrash.tesh after last changes.

Variable is declared in xbt/asserts.h.

Spurious #include.

Merge branch 'master' of framagit.org:simgrid/simgrid

Display the mailbox name when showing a deadlocking situation

MC: display the status of all actors in case of deadlock

MC: tell the user about how to use the replay path in case of problem

Display the stack of each actor during a MC replay (unless --log=no_log for the tests)

Merge branch 'fluidio' into 'master'

Fluidio

See merge request simgrid/simgrid!121

fix issues spotted by agriersch

MC replay: check whether there  is a deadlock after running the trace

Align the behavior of MC and MC_replay in SMPI, so that replay actually works

+ improved debug messages

Be more verbose on the blocking transition when displaying the actor state on Ctrl-C

extend test

plug leak and more consistency with other models

MC_replay: Ensure that times_considered is always set

+ small cosmetics while reading again that code

MBI: display the expected diagnostic on error

check that disk has been given as argument before accessing its pimpl

add a transfer bottleneck case

revalidate tesh

update

add example

introduce s4u::Io::streamto

fixes

easier to store and use DiskImpl at kernel level

typo spotted by Henri during a call

add io_stream as a HostModel pure method

first attempt to fluid comm/IO model

move update_remains_lazy to the pimpl (as for CPUs)

simplify the way I/O actions are created (CPU style)

Have the disk model be part of the host models

mention disk model in host model descriptions

rename disk model init function: default is S19

More functions declared "const" (Sonar).

Declare functions "const" (Sonar).

Fix infinite recursion.

Use true/false for boolean variable (Sonar).

Remove redundant cast (Sonar).

Fix stack-use-after-scope (ASan).

Cosmetics.

 [ci-skip] end of the pass

start a pass on that part of the doc

More x -> varrho in the doc

Try to make the abort() inconditionnal in failed xbt_assert, to please the checkers

Add a ref to the disk paper

Arnaud prefers ϱ to x (+depict the simulated platform)

Merge branch 'master' of framagit.org:simgrid/simgrid

Draft a first version of the Models chapter in the doc

Cosmetics

doc: link to some more existing examples

Minor rewording

Fix non-smpi builds

Make the factor callbacks private in NetworkModelFactors

Move get_{bandwidth,latency}_factor to the NetworkModelFactors trait

Cleanups. Kill useless code

- Kill check_lat_factor_cb() and check_bw_factor_cb(): Now cleanly in NetworkModelFactors
- Kill the NetworkSmpiModel type: useless and empty
- Kill files network_smpi.[ch]pp: empty

Rename NetworkModelIntf into NetworkModelFactors

Move set_lat_factor_cb and friends to NetworkModelFactors