Revert Python stuff but the py_context instantiation change

Fix the python patches

Move py_context to get Python exception match to work also on old platforms

Make python catch verbose

Answer to Martin's feedback

apply Simgrid coding rules

Minimal change to support host on-off and permanent mailboxes

Extract assignment from expression.

Fix mem leak on unhandled exception (e.g. ForceFulKill).

Pass std::function by const reference (sonar).

Minor sonar smells, and other cosmetics.

Put message handling in its own method (avoid nested code blocks).

Validate cfg_host_count earlier (please scan-build).

Scheduling slightly changed.

One less global variable: session_singleton.

Kill dead code.

Useless lower-case alias.

Eventually, OOP is really good.

Improved version of commit f4925bd65c467da9862149984960de961af0d6cc:
take a copy and clear field waiting_synchro_ before cancelling the activity
to avoid use-after-free.

Without that, waiting_synchro_ may be free'd too early, e.g. in SleepImpl::finish()
at instruction "simcall->issuer_->waiting_synchro_ = nullptr;"

Revalidate the tesh file after pushing the TODO of masterworker to 2

Add missing file

Don't use tesh to run monkey tests

It should make it easier to get it working on platforms where python is on some obscure path.

Also, test one arbitrary monkey run with enforcing the output, just to
make sure that the monkey is actually testing something.

Ensure that the monkey tesh passes while not hindering the debugging pleasure

It fails because it displays the full paths, that are only valid on my
machine. I could cut the paths from the output, but then it'd be
somewhat more complex to rerun the test when it fails (now, you just
copy/paste the exact output).

So I ask tesh to display but ignore the output.

Our first monkey test case is now working

Enhance the documentation of Actor::daemonize()

Maybe the next user won't not fall in the same trap as I did

give 2 workers to the monkey-masterworkers, so that the master don't gets killed when the worker stops

More information on actor death in monkey's test case

kill some bits of mc::api::

Reintroduce smartptr lost with recent changes.

Without that, ASan/TSan show errors.

fix java builds

No future.

Rename sg::k::actor::simcall ::actor::simcall_answered

Further cleanups in simix remains

MC: after all, checker does not need the list of dead actors

Also kill some other unused code in MC

reduce the visibility of popping_private

And now kill simcalls.py: simix v2 is not completely removed

Kill popping_{enum,generated}

simix simplification: no need to marshal generic parameters when all what you have is a pointer std::function<void()>

simix simplification: no need for a template here

Kill popping_bodies.cpp

monkey-workers: reduce the amount of simcalls during reboots

Revert "OOP is good, too"

This reverts commit f4925bd65c467da9862149984960de961af0d6cc, that
breaks a java test (java_cloud_masterworker) in a way that is
particularly hard to debug. The JVM is not exactly valgrind-friendly.

Just do some small cosmetics in this area instead.

Introduce the SimGrid Chaos Monkey

See the tools/simgrid-monkey script and its comments for more info.

allow to chain some setters on actors

cosmetics (sg4 namespace, comments, log channel)

Kill popping_accessors.hpp

Try to make timeouted semaphores robust to actors death

Unfortunately, I cannot test it right now (the test is not written,
plus asynchronous semaphores are not exported in s4u to ease the
writting of tests), but it's failing for a user that kills a lot of
actors at random instants.

OOP is good, too

Rework a long and aging comment (but keep the xkcd reference)

cosmetics: rename a variable and please sonar a tiny bit

fix a memory corruption

Manual refcounting is the devil. Even when it's in LMM.

leak--

Implement SemaphoreImpl::acquire_async (timeouts are allowed)

kill some remains of the pre-C++ era

Back then, humans were supposed to manage the refcount manually.

Rename MutexObserver to SynchroObserver (semaphore incoming)

Try to tell sonar that the mutex_ cannot be null in is_enabled()

Fix gcc MC builds

Test the dependencies of Mutex transitions

- give each mutex an ID so that we can get reproducible debug messages.
  This is arguably a waste of resource in non-MC setups. Patch welcome.
- give one mutex per pair of actors in the test, to make the test more
  interesting for the reduction
- rework a bit the verbose output of the safety explorer

Add a MC version of the s4u-synchro-mutex test

MC: no need for a depends() method in Observers

These things are on the checker side now

Please scan-build and hopefully sonar too [ci-skip]

Ensure that MC session and checker are deleted.

Use simpler std::vector.

Free xbt_automaton on Api::s_close.

Review xbt_automaton_*_free.

Use more explicit identifiers.

Fix segfault when exploration trace is empty.

Example:
$ ./bin/simgrid-mc -- ./teshsuite/mc/random-bug/random-bug

MC: Support Mutexes in DPOR

Fixes https://github.com/simgrid/simgrid/issues/151

Mutex do not need a locked_ field. owner_ != null is enough

try to get rid of a warning (without causing a dead store in infer?)

avoid going back to complex selector and switch to a simple algorithm here to avoid potential infinite loops.

more tab2spaces

tab to spaces

appease clang

changelog update

these are all pretty much allright, actually ...
just a doubt on chain bcast, but pipeline is close enough I think.

add openmpi scatter linear_nb algorithm

add butterfly algorithm from openmpi
described in [*] J.L. Traff. An improved Algorithm for (non-commutative) Reduce-scatter with an Application // Proc. of EuroPVM/MPI, 2005. -- pp. 129-137.

MC seems to just work on ARM now. Remove the forced compilation errors.
todo: check if UnwindContext::get_reg needs tweaking, but all mc tests pass

further reduce a MC test that's still too long

pending implementation of new algorithms (see fixme), avoid using _lr as replacement in these cases.
_lr is not valid for some sizes, and may default to calling _ompi again, which causes an infinite loop.
todo: find theses cases and eliminate them

Reduce the size of 2 UMPIRE tests that now timeout

UMPIRE will soon be grand replaced by MBI anyway.

deprecate Engine::shutdown()

Implement MutexImpl::lock_async

selected collectives changed for these tests -> timing as well

Update OMPI selector.
It was last updated from version 3.1.2, which was released in 2018, and the selection logic was modified since.
Few algorithms will be added soon to match better.

Disable tests failing when debug logs are disabled with enable_debug=OFF.

doc: add a link from Mailbox::get_init to Comm::set_dst_data

Rename mc::Checker to mc::Exploration as it defines an exploration algo

Rename SynchroRawImpl to SynchroImpl

They will soon be made visible in S4U when Mutex::lock_async() and
friends gets implemented. In turn, lock_async() is good for two reasons:
symmetry of lock() with other activities; efficiency of MC reduction
technics (see the thesis of The Anh for details).

3.31 is expected in 2022, not last year

Cosmetics in the Release notes + Document recent changes on MC

Sonar fixes (const, variable shadowing)

remove old wait any simcall

That went ways too far

Move another function of mc::api, to Transition

Kill two more unused functions in mc::api

MC: move a check_deadlock from ModelChecker to Session, and kill cruft in mc::api

kill ModelChecker::simcall_is_visible()

no need for the checker to check whether a simcall is visible:
invisible simcalls are handled in the AppSide and never show up on the
cheker side.

Kill Simcall::COMM_WAIT

Empty a bit mc::api namespace