Merge branch 'actor-comms' into 'master'

Serialize pending transitions when responding to `ACTOR_STATUS` messages on the application side

See merge request simgrid/simgrid!127

properly deal with network/optim (end of the ModuleGroup cleanup)

The network/optim was abusing the model description mechanism, because
it was introduced before the options could be restricted to a list of
values. That's a pretty old cruft :)

Moreover, the config mechanism (probably) allowed network/optim:TI but then
ignored it silently. Not nice for the users.

Kill a now useless file

Cosmetics around the creation of the VM model

Further factorization: introduce ModuleGroup::init_from_flag_value()

15 years later, I finally managed to kill host/model:compound

Objectif the disk model

There is no way these names are empty, bc we give a default value

Objectifies the host models

factorize the flags of models and plugins

docs: fix a sphinx formatting error

Objectifies the CPU model

Allow to add a disk to a host after a load_platform from xml

Fix https://github.com/simgrid/simgrid/issues/383

Add note about resetting `times_considered`

Resetting `times_considered` after multiple
serializations of a particular transition are performed
to give the checker all exections of an actor
that can perform multiple actions. There was concern
that this value would have to be "reset" to the
original value after the serialization, since the latter
modifies the simcall's observer's internal state.

However, no reset is actually needed as each
SIMCALL_EXECUTE message that the checker sends to the
application-side comes equipped with the latest
`times_considered`, and thus preparation will be
performed correctly before execution.

Replace pending transition with latest execution

The `State::execute_next(aid_t)` method was
adjusted to use the newest copy of the transition
that was executed by an actor in lieu of the
copy of the transition that was previously stored
by the actor, as more information may be gained
during the execution of a transition.

fix pip build

Convert the network models to the new plugin-like mechanism

Objectify the model containers

This should allow further cleanups in the near future, where models
are handled as the plugins already are: no shotgun design anymore with
the registration, and everything about a given model contained in a
single file.

Move the surf log categories elsewhere

Remove multiarch from the doc: it was never tested, and 32b is soon gone

Document the fact that 32bits is gone

Fix condition for XBT_DECLARE_ENUM_CLASS

The condition for the `is_valid_##EnumType`
was updated. Previously, is was missing the edge
case where `raw_value >= 0`

Reduce scope for variables.

Simplify initialization of the root log category.

For Sonar.

Define context related globals as static members of Context.

Make global variables "const".

Even if it has no importance, take the special values from smpi.h

Finalize passing transitions during model checking

Transitions are now serialized and sent to the
checker side whenever a new State instance is
created (when the ACTOR_STATUS message is sent
by the checker). Transition serialization is the
first step before the work on the UDPOR branch(es)
can be integrated into Mc SimGrid.

move the flatifier functions to the s4u::Engine, for public consumption

Add a Link::get_concurrency_limit and use it in the flatifier

Flatifier: make a function returning a std::string instead of using printf

flatifier: cosmetics + display the real name of the root zone

Fix attribution

Document recent changes

Use more readable alternatives for string::compare().

Kill another bunch of globals.

Add intial steps to transfer transitions to the MC

Kill a few globals.

Fix comment.

Little simplification.

Merge branch 'arm-patch' into 'master'

Add patch for arm64 Ubuntu 22.04 in `UnwindContext`

See merge request simgrid/simgrid!126

Add patch for arm64 Ubuntu 22.04 in UnwindContext

The `mcontext_t` struct on Ubuntu 22.04
running on arm64 is missing the `fregs`
field. This causes a compilation failure
in `src/mc/inspect/mc_unw.cpp` since the
code there assumes the field exists on
linux-arm64.

This commit adds a new CMake variable
SIMGRID_PROCESSOR_arm64 to account for
the additional architecture more
explicitly and to better fit the context
surrounding the code where the fix was made

make all Activity starts vetoable

Typo [ci-skip]

Remove deprecated properties.

Last analysis had a warning:
"sonar.cfamily.cache.enabled" and "sonar.cfamily.cache.path" properties are deprecated.
Visit the documentation page for more information about analysis cache configuration
https://docs.sonarcloud.io/advanced-setup/languages/c-c-objective-c/

("sonar.cfamily.cache.enabled" was set to "false" anyway on CI)

Implement ConditionWaitSimcall::to_string().

Fix crash e.g. when running s4u-synchro-condition-variable-waituntil --log=ker_actor.thres:debug

Cosmetics with spacings around colon (:).

Declare functions with attribute 'noreturn' (sonar).

Reduce scope for variables.

Single quotes don't need to be escaped.

Prevent inlining for empty placeholders of sthread_enable/disable.

See the gcc documentation about function attribute noinline for details.

Hope to fix hangs seen with optimized builds on recent Alpine/Linux.

Let's see also if it works as is with all supported compilers.

CMake 2.8.12 is the minimum required version in FindSimgrid.cmake anyway.

Use native cmake commands to compute relative path.

Normalize names for fields in class Node (trailing '_').

Make global variables "const".

Avoid duplicate declaration.

Remove global variable.

Remove global variable.

Don't use more than one 'break' per loop (Sonar).

Kill unused function.

Make pc_id a static member of ProducerConsumer.

Fix the code and doc of Comm/Exec suspend/resume in Python

Reorg examples to show activities dependencies with actors before pure DAG ones

Move the S4U examples to another chapter

This way, each example is shown in the menubar on the left. This feels
much easier to navigate

Integrate more examples to the doc: all of DAG + others

cosmetics in the doc (fix the math formatting)

Sonar smells after last changes.

Cosmetics.

Remove some global variables.

Kill commented code.

Pointer to const.

Condition is always false.

Unsigned cannot be < 0.

Use predefined algorithm.

Rewording

Yearly documentation commit from Arnaud. ;)

Try to improve the doc of the weight-S parameter

Cosmetics in examples' comments and description

don't create temporary struct at time of push_back as it may be deleted prematurely (seen only on freebsd with llvm devel, maybe that's the issue, or libcpp is ..)

Another example gets documented (+cosmetics)

Remove an example that is a dupplicate of another one

s/ *$// over all RST files (no content modification)

Document yet another example

extend example exec-failure to demonstrate state profiles

Add a section on errors and exceptions to the API documentation

Yet another example integrated in the doc

Add another example to the doc

Cosmetics in an example and integrate it to the doc

Use debian:11 as a basis for the simgrid/build-deps docker image

This is an attempt to have the python module and the pages task of
gitlab ci using the same glibc version, so that the python doc gets
properly built.

Move an example to the right section, and document it

It was called comm-serialize, but it's more about using
Link::set_concurrency_limit() so it's now called platform-comm-serialize

Also document another example (was supposed to be in previous commit
but anyway)

Various fixups and cosmetics in the doc

Make the test output easier to understand

fix warnings :(

Please the paranoid compilers that we love

Add a test of CM02 timings with TCP-gamma (and fix the doc :sweat_smile:)

Cosmetics in the messages of this test; no timing change

Allow to disable the TCP windowing modeling by setting network/TCP-gamma to 0

Move a tiny bit of surf to xbt

Merge branch 'master' into 'master'

add link to simgrid-fmi doc in sphinx doc

See merge request simgrid/simgrid!125

add link to simgrid-fmi doc in sphinx doc

Merge branch 'master' into 'master'

fix doc typo

See merge request simgrid/simgrid!124