CI pages: try to use the Debian version of the python packages

Remove a test that was indended to show that this branch is never used

Use Debian:12 for our build deps

Merge branch 'rename-operation-task' into 'master'

rename operation to task

See merge request simgrid/simgrid!158

Merge branch 'odpor-implementation' into 'master'

Introduce SDPOR and ODPOR into Simgrid

See merge request simgrid/simgrid!154

fire on_start for one-sided communication instead of on_send/recv

add Comm::on_this_send and Comm::on_this_recv

[no-ci] indicate which methods and signals are static in the doc

[no-ci] precise which methods of the Actor class are static

This should be fixed now.

A deleted Comm cannot be a valid iface anymore.

rename operation to task. rename execute to fire.

properly remove the old signals and prevent MC to fire Comm::on_this_completion

react to the proper signals

Introduce ODPOR integration with multiple actions

Prior commits had missing integration with transitions
which could be executed multiple times in the form of
variants. This commit resolves those issues by making
two important modifications:

1. Determining the "current thing that actor X is
running" from a given state `s` has been modified
to reflect what we would expect if we asked the
question even after having exhausted all combinations;
the the case where all combinations have been executed,
the last variant is that which we would expect to be
considered the transition which were enabled at `s`.
This allows us to "fix" the spot in ODPOR where we
need to determine those actions enabled at a given
state `s`. We need to treat it as if only one variant
actually exists; for if there are differences in the
dependency structure for each variant, we wouldn't
want to erroneously deduce that an actor `X` were
a weak initial for some prefix `E'` of `E` and
for some extension `v` of `E'` based on what it
HAD run in the past.

2. In ODPOR, we now only insert members into the
sleep set when all variants of a transition have
been executed. This ensures that we are effectively
treating each variant in isolation from one another;
it is only when we reach the last variant that we
can finally go ahead and say "OK actor X you can
go into the sleep set now". Note that it's perfectly
possible for the actor to later end up in sleep sets
of states that occur *later on*; but for the sleep
set that is at *this* state, we'd want to be sure
only to add it after having explored the state space
with each variant. The reasoning is the same as in
point 1: we wouldn't want the sleep set to be based
on an action that the actor HAD run in the past as
the proxy representing what that actor is doing IN
THE PRESENT. If the dependencies were different among
the different variants, we'd have an issue if we
had previously added the other variants

Merge branch 'python-repr' into 'master'

add repr for many simgrid objects

See merge request simgrid/simgrid!156

switch repr to Class(objectname). fix python operation tests.

Add small test for insertions

add repr for many simgrid objects. replace mailbox __str__ to match __repr__ of others objects. clang-format.

Add odpor_tests_private.hpp to MANIFEST.in

ASan: yet another odr-violation to ignore.

Add missing includes.

Correct signature for deleted constructor.

firing on_this_completion breaks a lot of tests and I don't see how to fix this (@agiersch, any idea?)

 add on_this_veto signal to Activities

forgot to fire signals

simplify example

 add on_this_[suspend,resume] signals to Activities

 add on_this_completion signal to Activities

 add on_this_start signal to Activities

improve comment

Merge branch 'doc-photovoltaic-plugin' into 'master'

add links to photovoltaic power/cost models in docs

See merge request simgrid/simgrid!155

add links to power/cost models in docs

Add SDPOR backtracking simulation unit test

This commit adds a small unit test which
simulates the process of determining which
threads need to be added into the backtrack
set of a given state using SDPOR

Add more independence tests w.r.t a partial execution

Merge branch 'operation-python' into 'master'

add python bindings for operations

See merge request simgrid/simgrid!153

Merge branch 'simgrid-fork-plugin-photovoltaic'

Fix MANIFEST.in etc.

move on_start and on_completion from CommImpl to Comm

Force the use of sleep sets with ODPOR

GitHub action: update to actions/checkout@v3

Adjust tesh tests according to changes in deps.

A number of tests were affected by the previous
additions that labeled transitions executed by
the same actor as dependent. The appropriate
modifications were made to the expected outputs
and a "sanity" check was performed before making
them

Mark transitions run by the same actor as dependent

This commit adds a missing component to a number of
transition classes. Transitions that are executed by
the same actor are inherently dependent; but only the
RandomTransition actually checked for this case! This
caused ODPOR to search traces incorrectly under the
assumption that transitions which were actually
dependent were independent

Fix subtle bug in ~_E computation

The computation for the action ~_E requires
that we compute whether `p` is independent with
some sequence of transitions `w` after an
execution `E`. The algorithm for computing
whether an equivalent trace was found works
to iteratively eliminate events from the
equivalent sequence, leaving behind only
the remaining "bits" that are needed for
insertion into a wakeup tree.

The bug involved a typo of `w` for `w_now`
:( :( which broke everything :/

add python bindings for operations

Add remaining handlers to ReversibleRaceCalculator

This commit adds handlers for each type of transition
to ReversibleRaceCalculator which, as the name suggests,
determines whether a reversible race exists between two
events e1 and e2 based on the type of transition found
at e2. The full semantics have not been added for each
type of transition and will need to be added in the future

Resolve misconception with ODPOR pseudocode impl.

Like the SDPOR implementation before it, the ODPOR
implementation suffered from a similar fault in its
implementation. Determining whether an insertion was
necessary into a wakeup tree for some point in the
past requires determining whether the sleep set and
the set of weak initials overlap one another. If
their intersection is the empty set, THEN we attempt
to insert an actor. The prior implementation attempted
to find the first such actor that was not contained
in the sleep set, but this is semantically different

Resolve misconception with SDPOR pseudocode impl.

This commits fixes a semantics mismatch between
the implementation and the pseudocode in SDPOR.
The trouble was that we didn't stop searching
for an initial when we noticed that ANY initial
was contained in the backtrack set; instead, we
simply searched until we found ANY initial contained
OUTSIDE OF the backtrack set. The latter is not
equivalent to the former, so SDPOR was doing
more work than necessary.

A similar implementation issue is also present in
ODPOR which will be resolved in due time.

Fix subtle bug in Execution regeneration in DFSExplorer

Prior to this commit, during state regeneration,
we had used the state's `get_transition_out()`
method to refill the `Execution` instance bound
to DFSExplorer (`execution_seq_`). The trouble
is that this is an **unstable** source of truth:
it should not be trusted to regenerate an execution.
Instead, the `get_transition_in()` method should
be used on the state which follows. Intuitively,
both methods should be equivalent, which is why
the bug was overlooked for so long. Now that the
execution is correct and that SDPOR/ODPOR are
based on the correct sources of truth, things
are moving along more nicely and the two algorithms
appear to behave more sanely.

In addition to the above bug fix, this commit adds
a return value to the `insert()` function of the
`WakeupTree` class. This extra information is used
in debug logs to get a better idea of what ODPOR
is doing during its insertion. Similar debug information
will be added to SDPOR in subsequent phases.

Keep pointers to transitions instead of slices

Prior to this commit, sleep sets contained slices

Fix two minor bugs in the ODPOR implementation

This commit fixes the following two bugs:

1. When seeding a wakeup tree for the first
time, we forgot to add a `break` statement
to ensure that only one such enabled thread
were placed into the wakeup tree. Before
all such enabled threads were inserted which
amounted to what would have been a brute-force
search :(.

2. When determining whether a sequence is a
candidate for insertion into a wakeup tree,
we may need to check, for all enabled actors
in a given state, whether those actors'
next steps are independent with the sequence
theretofore constructed. This additional
step peforms the work needed to check whether
those actors are contained in the set of
*weak* initials. The method corresponds
to line 6 of the pseudocode of the ODPOR algorithm

Please Sonar and scan-build.

Make ASan ignore more odr-violations.

Fix some sonar issues in includes, after upgrade to c++17.

Disable implicit conversions in nlohmann/json.

See https://github.com/nlohmann/json#implicit-conversions

Add reversible race implementations for Comm actions

Add reversible race calculator

Determining whether or not a race between
two events is reversible is a critical component
of ODPOR. It turns out that we need to specialize
the race detection to the action types themselves.
Knowing the types of the transitions will help us
determine whether the race is reversible.

Add non-trivial insertion test

move handling of remote disks to platform parsing.
they should be accessible without having to load the filesystem plugin.
only the notion of mounting point really pertains to the plugin

add accessors

Specialize the Activity on_veto, on_suspend and on_resume in AnyActivity to ease the matching

Hide a bit an internal method (make it protected)

easy cleanup

Give the on_this_ variant to all VM signals

Sort the signals on the plugin page

+ also fix some documentation errors

Rename Resource::on_state_change to Resource::on_onoff for sake of clarity

Use the right version for the deprecate macro

Give the _this_ variants to the Link signals

Ignore ASan warnings about odr-violation with Activity_T::on_completion.

These are false positives IIUC.

[ci-skip]

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

Various cleanups in the Host signals

- Add a on_this_*_cb variant to the Host signals
- Rename Activity::on_{suspended,resumed} for symmetry with Actor signals
- Change kernel::activity::CpuAction::on_state_change to s4u::Host::on_exec_state_change

Remove global variables in PageStore_test too (mimic Snapshot_test).

Use C++17 features: std::scoped_lock and structured bindings.

Use the "_t" and "_v" version of type traits.

Compact namespaces.

C++17 support is now required for public headers too.

Update ChangeLog, FindSimGrid.cmake, and sonar-project.properties.

Add tests for initials and independence for Execution

add Io operations and an example

Add first round of execution independence tests

This commit adds the first set of tests for
checking whether a particular transition `t` is
independent with an extension `w` of an execution
sequence `E`. This is needed to determine whether
the transition `t` satisfies condition (2) of the
procedure outlined in the ODPOR paper for testing
whether `v ~_[E] w` holds between two sequences

another try to please clang

try to solve the -Wundefined-var-template thing with clang

allow operation to execute more than one function at start and end

add missing override

have a on_completion per activity type to save users some dynamic_cast-based filtering

Add instance signals for all Disk signals

Add instance signals for all Actor signals

no need to save all ns3 sink points

Rename cfg 'ns3/TcpModel' to 'ns3/UdpModel'

Test that setting ns3 TCP models actually work

cosmetics in the ChangeLog

 allow activities launched by maestro to be instrumented

throw on_send and on_receive signals when doing a host-to-host Comm
this is needed by instrumentation

allow to set tracing category in STARTING state

Add test for removing the first single-process subtree

This commit adds the first test checking whether
removing the first single-process node from the
tree produces the correct results, viz. that the
resulting tree is the same as before save for the
missing branch

Begin adding tests for subtree rooting

Add detailed stress test for WakeupTree

This commit introduces an edge case wherein
a "different looking sequence" ultimately is
already accounted for by a sequence contained
in the tree that "eventually could be made to
look like it" (viz. such that `~_E` holds
between the two sequences). Other stress tests
will be added for the other methods on the
WakeupTree and the Execution to test their
correctness. There is a long way to go

Begin first round of in-depth tests for WakeupTree

Explicitly capture required scope variables (sonar).

Get rid of global variables for snapshot tests.

Also fix some sonar issues.

Add first "working" version of ODPOR

This commit introduces the first version of
ODPOR which detects a bug using the example
programs found in SimGrid's test suite! There
is still work to be done (e.g. dealing with
transitions that have multiple possible
paths of execution such as MCRandom() will
be non-trivial to resolve).

The key adjustments in this commit are
to the WakeupTree structure itself. Gone
are the days when each node in the tree
maintained a sequence of transitions to
execute; instead, each node contains only
a single transition, and its the paths between
a node and the root that describe the partial
executions that ODPOR needs to explore.
This resulted from a misconception I had about
the structure of wakeup trees. When an insertion
is made, potentially a *chain* of leaf nodes
are added into the tree. This ensures we always
have a single-process branch to pick (which
is what we expected) and greatly improves the
readability of some of the methods found in
State.cpp related to ODPOR