Comment is not relevant anymore.

[ci-skip]

Use type aid_t for an actor's PID.

More Sonar issues.

Use normal strings instead of f-strings (Sonar).

Use C++17's std::scoped_lock where appropriate.

Stick to C++14's std::lock_guard in public headers.

Don't access variable ouside of the critical section.

TSan warned about a data race there.
Also use a std::scoped_lock to handle the mutexi (Sonar).

Various cleanups.

Includes:
* prefer simpler overload for channel send/receive
* use direct-initialization for variables
* rename variable and avoid it to be shadowed later
* remove unnecessary casts

Partially revert 2ad536e710c5936ff8e525e4bbb5e7046f292aac (Simplify the library initialization) to fix a memleak

Implement the semaphore functions in sthread

protect the dict initialization against multithreading

Cosmetics

- Rename xbt_main.cpp -> xbt_misc.cpp to reflect its content
- Stick to our naming schema (Engine::pimpl -> Engine::pimpl_)
- Don't say the loop iterator is const to then const_cast it
- Kill the leftover xbt::binary_name and xbt::cmdline local vars

logs: protect finalization against multiple calls

Let the xbt_log module register its finalizer itself

And kill an internal header file that is now empty

Kill simgrid::xbt::cmdline and simgrid::xbt::binary_name

Simplify the library initialization + deprecate 2 XBT functions

Work toward making EngineImpl::initialize() the only entry point of
the library initialization. It's now impossible to initialize xbt
separately of EngineImpl.

It should help reducing the mess in that code, which results from the
many ways of initializing the library. simgrid-mc, unit-tests, smpi
and others each have their own way of initializing everything,
resulting in a spagetthi and fragile code. It's a bit of a waste to
initialize an EngineImpl even when you don't want to actually run a
simulation, but easier code is always better.

This commit also includes another one because I git amended locally by
error, sorry for the mess. The other commit was about the deprecation
of xbt_procname and xbt_getpid that were xbt functions relying on S4U.

Remove a useless lib constructor (simpler is better)

Initialize the dict module on need, w/o relying on lib constructors

Revert "Upgrade embedded xxhash (-> v0.8.1)."

It doesn't compile on arm64

This reverts commit 4127fe802ff334591a6ba5b315190523fc2a660e.

Merge branch 'fix-probe' into 'master'

Send actor action probes one at a time

See merge request simgrid/simgrid!131

Send actor action probes one at a time

To avoid the scenario whereby the AppSide
delivers a message larger than the maximum
datagram side allowed by the application,
we instead send a single message for each actor.
This prevents us from needing to complicate the
sending logic in Channel.cpp, which would have
been made more complicated should we have wanted
to send variable-sized messages between the
checker and the application side

Remove more occurences of 'surf' with uppercases

Document that surf is gone

Upgrade embedded xxhash (-> v0.8.1).

Taken from
https://github.com/RedSpah/xxhash_cpp/commit/d21e37c34c4ad4ad562e4ec01ec036e342c422e3

Upgrade embedded catch2 (-> v2.13.10).

Taken from
https://github.com/catchorg/Catch2/releases/tag/v2.13.10

Finally kill surf_interface.hpp watched_host was actually useless

rename another file with had 'surf' in its name

Kill a file with 'surf' in its name, and further empty surf_interface.cpp

Rework a comment (to remove 'surf')

Rework compile optimizations for MC.

Missing includes.

Move -Wno-unused-local-typedefs to common flags.

It's supported by Clang too, and needed with at least ns-3.31.

kill src/simix

Move the non-deprecated bits of simix to kernel::actor::Simcall

Kill src/include

The -Isrc/include makes it difficult to recognize in the source which
\#include takes a public header and which one is a private header.

Plus, move the third-party headers to a specific directory.

reduce the amount of header includes in headers, to speedup recompilation

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

Remove an obsolete cmake warning

Move some content of surf_interface to a new math_utils.h

Update path.

Error also seen with clang 11 and ns3.31.

Move the files related to the platform parsing to kernel/xml

move a symbol declaration out of surf_interface.hpp

CMake requires ns3 v3.28+, so don't work around a bug in v3.27

Move the ns3 helper files to kernel/models/ns3

Move the surf tesh tests with the other models' ones

Remove some more occurence of 'surf' in comments and such

Misc Sonar issues.

Various cleanups.

Further rename the identifiers of flexml to simgrid_parse_*

Change the namespace of flexml-generated parser from surfxml to simgrid_parse

Two more references of the surf/precision option name

Remove surf from the content from the examples of simulated filesystems

Rename ActivityImpl::surf_action_ to ActivityImpl::model_action_

Move HostImpl to kernel/resource with its friends

move the models to the right directory (empty src/surf a bit)

The remaining parts of src/surf need to be cleaned before being moved

Also, remove almost all #include "surf_interface.hpp"

Allow precision/bmf as a synonym to bmf/precision

Rename option maxmin/precision to precision/work-amount for clarity

Rename option "surf/precision" to "precision/timing" for clarity.

Rename sg_surf_precision to sg_precision_timing for clarity

Use surf_precision as a value for PMPI_Wtick

the unit of maxmin_precision is in flops or bytes (that's an amount of
work) while the unit of surf_precision is in seconds (that's a time).

doc: add a little graph about the host energy plugin

Merge branch 'fix-mc-tests' into 'master'

Fix root node edge case for `State` instance

See merge request simgrid/simgrid!129

Initialize uninitialized transition for root state

The transition in the root state was uninitialized
and this appears to have caused the last of the remaining
issues with the test suite. Of course, reading from the
uninitialized pointer `transition_` is bound to cause
a bunch of problems...

Fix root-node edge cases for states

fix MC+gcc builds

CI: build the model-checker on framagit, to test the MRs

fix the build (but not all tests) of MC

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