Missing ']'

[ci-skip]

Fix compilation error with clang 11.0.1.

Building CXX object CMakeFiles/simgrid.dir/src/mc/explo/udpor/maximal_subsets_iterator.cpp.o
In file included from .../src/mc/explo/udpor/maximal_subsets_iterator.cpp:1:
.../src/mc/explo/udpor/maximal_subsets_iterator.hpp:38:3: error: explicitly defaulted default constructor is implicitly deleted [-Werror,-Wdefaulted-function-deleted]
  maximal_subsets_iterator() = default;
  ^
.../src/mc/explo/udpor/maximal_subsets_iterator.hpp:43:68: note: default constructor of 'maximal_subsets_iterator' is implicitly deleted because field 'config' of const-qualified type 'const std::optional<std::reference_wrapper<const Configuration>>' would not be initialized
  const std::optional<std::reference_wrapper<const Configuration>> config;
                                                                   ^
1 error generated.

Enable _GLIBCXX_DEBUG for one of the builds.

Also run the tests in this case.

Sonar smells.

Merge branch 'maximal-subset-search' into 'master'

Phase 3 of UDPOR Integration: Iteration Over Maximal Sets of a Configuration

See merge request simgrid/simgrid!135

Don't clear flops_amount on ExecImpl::reset.

Fix failures where flops_amount is not defined anymore in ExecImpl::start
(found by building with CXXFLAGS=-D_GLIBCXX_DEBUG)

Quick tests show that currentContainer is always empty at this point.

Walking the stack in the forward direction gives the same result, but makes the code simpler.

Simplify assertions.

try to use another mattermost action, as the main one is linux only (uses docker)

[ci-skpi] fix sending of messages, and do parallel testing on github action

assume mmap is not functional for us on macos>=11 as memory accesses are restricted by default

[ci skip] remove spurious line

add macos build to github action, untested

remove ns3 from ubuntu stable and github actions, as 3.35 is broken on 22.04

Fix a useless change -- and go get some sleep

Bump cmake to at least 3.12

- It's difficult to search for Python Development component before that version
- This version is available in Debian buster (oldstable)

python3-dev is another dependency of the Python bindings

Reindent -- almost no real change

Simply don't traverse an array if debug logs are disabled.

Forgot to add c++17g to the "ignore" list.

[ci-ckip]

fix MC + gcc builds

Move the implem of a function out of the header to reduce issues

Move the PageStore from ModelChecker to RemoteApp

Correct MANIFEST.in according to `make distcheck`

Filter events before performing iteration

A filter can be supplied to the maximal subset
iterator to remove events from consideration in
maximal subsets. Instead of needlessly processing
events that will never be considered, we can
instead remove those events at the beginning while
perserving the relative ordering among events that
we do actually care about. This both simplifies the
bookkeeper's code slightly and reduces the number
of times we need to invoke the filter function drastically
(once per event instead of multiple times per combination).

Move the stats of visited_states count from ModelChecker to DFSExplorer where it belongs

Move the dot_output from ModelChecker to Exploration

One reference to the global singleton mc_model_checker that I'd like to kill

Rename some fields to obey our coding standard

Allow to call SMPI_app_instance_start() once the simulation started

The main trick was to set the needed property before the
Actor::start() using init()->set_property()->start(), so that the
property is here soon enough.

Zero-initialize more messages.

Fix subtle implementation bug with maximal set filtering

There was a subtle bug that was resolved involving
traversal over the maximal event set tree of a configuration.
Specifically, it's important to

1. Only pick candidates that satisfy the predicate. This
means that the `bookkeeper` needs to own the reference
to the filter so that is can accurately pick events
correctly

2. At the start, pick the first *viable* candidate, and not simply
the *first* node in the ordering, as the first node may
not satisfy the predicate. Effectively, you pick the
"most recent" node that satisfies the predicate

A possible future addition would be to pre-compute the
predicate for all of the events at the start of the
iterator. This would reduce the number of calls made
to the filter function dramatically, but for now we'll
stick with something simple (the change wouldn't involve
too much intervention if desired)

Message is retrieved as an unsigned long (according to the manual).

Add working implementation of maximal_subsets_iterator

There were a few subtleties in computing traversing
the graph of maximal subsets iteratively. The most
important was the distinction between the case of
expanding the current maximal event set and attempting
to find the newest branch point (i.e. walking back up
the tree after performing the depth-first order).

Fix a typo found by clang in MC builds

Clean up maximum_subsets_iterator

A couple of smaller cosmetic changes were made
to maximum_subsets_iterator, in particular moving
the somewhat complicated while-loop into a dedicated
method (before it had several `break`s contained within
it which acted more like return values from a function
which suggested a dedicated function was called for).

Subsequent commits will add test cases for the iterator,
after which a MR should be ready.

Replace memset(..., 0, ...) with zero-initialization.

Zero-initialize messages (essentially their padding bits).

This is mainly to clear valgrind errors about uninitialised bytes.

Help to identify null values.

Lookup only once in map.

Useless assignments to local variable.

GH action: build out of sources

Install python deps on GHaction + better documentation of build dependencies

Pass references to `const Unfolding*` in most places

Passing references to `const Unfolding*` is better
style as no methods actually modify events directly:
instead, they perform computations over sets of events,
compute histories, etc, but leave the event instances
themselves otherwise unaffected

Mais quel débile, punaise

MC builds have specific dependencies

Add first implementation of maximal_subsets_iterator

The maximal_subsets_iterator traverses the subsets
of events of a configuration `C` which are maximal,
viz. those subsets of `C` which are causally-free.

GH action: ninja is verbose on error anyway

GH action: use the correct package name

gh action: we need 'sudo' here

GH action: install deps

GH action: use existing runners

messing with git actions

Fix yaml syntax :(

Add a github action to test our git on Debian11, regular and MC

This is triggered manually, when jenkins is off as right now

Pass on documentation's Design Goals section

More work on the documentation's Models section

New function SMPI_app_instance_start() to easily start a MPI instance in your S4U simulation

Try to fix a fixme blindly, just in case it was easy

Pass on the documentation's Introduction page. Minor grammatical fixes,
some rewrites and word changes, minor content removal due to redundancy.

Use boost::iterator_facade for History::Iterator

The iterator that is used in the `History` class
was adjusted to use boost::iterator_facade, as it
simplifies life considerably, makes the code more
readable, and provides better conformance to being
a forward iterator (i.e. it probably handles some
subtleties with forward iterators etc. and implements
many methods automatically)

Fix make distcheck

Merge branch 'udpor-phase3' into 'master'

Phase 2.5 of UDPOR Integration: Add Iterators for Subsets

See merge request simgrid/simgrid!134

Add src/xbt/.../subsets_tests.cpp to manifest file

Remove CompatibilityGraph and friends

The CompatibilityGraph and friends that were
added in order to compute maximal sets of events
needlessly complicated the algorithm. A much
better approach was suggested which will be
implemented in the next phase.

While perhaps a rebase could also have been
performed, it would have required quite careful
precision. Since the end goal is the same and
there are better uses of our time, I simply opted
to tag on another commit

Add tests for LazyKSubsets and LazyPowerset

The LazyKSubsets and LazyPowerset are simply
wrappers around an iterator type which can
enumerate all subsets of a given iteration.

While this won't be used anymore to enumerate
all possible sets of events of the configuration
in the compatibility graph, which will soon be
removed, it will still be used (or a variant
thereof) when computing K-partial alternatives
later on

Add LazyPowerSet and LazyKSubsets

Two new classes were added that act effectively
as convenience methods around creating subset
iterators. The classes themselves act mostly
like iterators but are instead light-weight
"containers" which can be iterated over. Effectively,
they are contains which "contain" the entire
collection of subsets (of size k respectively) of
some collection without actually storing that collection
in memory.

Add more comments to subsets_iterator implementation

Add powerset_iterator to simgrid::xbt

The powerset_iterator, as its name suggests,
is an iterator which traverses over all elements
of the power set of the elements traversed by another
iterator. It makes heavy use of the subsets_iterator
from which it derives its functionality (delegation
rather than inheritance)

Use boost::iterator_facade for subsets_iterator

The subsets_iterator class is now implemented
in terms of the boost::iterator_facade which simplies
the implementation considerably of the iterator. The
same approach will be used to write the implementation
for powerset_iterator and the history_iterator (the latter
used to traverse the history of a set of events)

Update .mailmap [ci-skip]

doc: Rework the intro pages

Remove subsets.cpp file

Since the subsets_iterator is defined using
templates, it needs to be defined solely in
the header file. Thus the cpp file is extraneous
and was removed

Add "working" (but untested) implementation of iterative subsets

The k-subsets higher-order iterator appears to be
working as expected after fixing a couple of issues
while run under GDB. The next phase is to test this
iterator heavily on a number of different examples
to prove that the iteration works as expected.

Future commits will add two important data structures,
viz. the LazyPowerSet and the LazyKSubsets, both of
which will be used when computing cliques in the
compatibility graph later on

Add first "implementation" of k-subsets iterator

The higher-order iterator `subsets_iterator`
iterates over all subsets of a given iterator.
Eventually, we'll create the LazyPowerSet and
LazyKSubsets classes which will act as convenience
wrappers around the creation of a k-subset iterator

Add iterator files to xbt/utils

Plug a memleak + experience that code out of the MC test for coverage

cosmetics in docs

Asynchronous locks and fluid I/O streams were aded at some point

Add 3 figures to the design goals + minor rewording

Update release notes

Fix most of the remaining code warnings

This commit fixes the majority of the code
warnings pointed out by SonarSource. There
are some others that will disappear with other
phases once e.g. the functions in UdporChecker
are actually implemented

Add default method for constructing full graph

A convenience method was added which allows the
full compatibility graph to be constructed without
needing to specify that each node should be included.

Add predicate filtering to compatibility graph comp

Computing the compatibility graph should attempt to
disqualify as many events as possible from the configuration
to minimize the size of the resulting compatibility graph.
This is _esepcially_ important because we will enumerate
all cliques of the graph and subsequently all possible
events contains within each node. This means that removing
even one or two nodes could reduce the time spent in
enumeration dramatically.

For now, the UdporChecker can only prune based on
dependency. Perhaps, though, there are more clever
ways to prune based on whether `a` is enabled e.g.
in knowing some properties about the event structure.
This will be investigated later, but is a secondary
concern to getting an implementation of the algorithm
up-and-running.

Fix most cosmetics and code warnings

Create a private struct to hold search data

This commits replaces the three separate maps
used to keep track of per-event data in favor
of a single map which maps events to a struct with
three fields

Add first go at compatibility graph construction

This commit introduces the first (albeit incomplete)
implementation of the function which will convert
a configuration into a comptability graph which can
be iterated over with k-cliques

Add first steps towards an implementation of ex(C)

Add CompatibilityGraph and CompatibilityGraphNode

Two important classes were added as part of the
process to support UDPOR. The classes added will be
used to maintain compatibility between "strands" of
the event structure for determining maximal sets of
events

[ci skip] add lstdc++ to bigdft flags as well

bigdft - attempt at fixing build error with new C++ file in futile

Allow to control the problem size from the cmd line, and reduce the instance in MC

The previous instance size resulted in a timeout now that the DPOR
reduction is less efficient (because it's less buggy)

Revalidate a tesh file (result of a merge error)

Use bool for booleans

Kill a now useless field

Merge branch 'master' into 'master'

Fixes on DPOR algorithm for MC SimGrid and sleep sets addition

See merge request simgrid/simgrid!128

Also detect the disk failures

Further simplify the way host failures are detected

Do as it's done in links and communications: when the resource is
turned off, simply mark the actions it hosts as FAILED.

That's much simpler than the convoluted existing code, which relied on
the Host::on_state_change signal. Each activity pushed a callback to
check whether it was its host which failed. Gosh, so convoluted...

The current change is not completely applied to CpuTI model, which
seems to have another way to mark the actions as failing. So I
override CpuTI::turn_off() to not mark the actions as failing to avoid
a segfault. It's a bit lame, but CpuTI is too different, I feel lazy.

Simplify the way Execs detect host failures

Have the ExecImpl install the callback instead of having the s4u::Exec
do so, and then set an internal field of ExecImpl.

Revert "Include the output of this test in the tesh file, because it's linked from the doc now"

This reverts commit 0c5a9c80339933853647914ea9f716ef4fc8413c.

The output does not seem to be portable :(