MC further cleanups (let it compile, this time)

MC: rename a file to sort out the mess

And now cleanup the App-side of cruft that was needed for Checker to read actor informations

Finally kill mc::RemoteProcess::actors(). We now communicate the data over the wire instead of reading it directly

Give read access to a private field

inline a function, kill a file

Well the last rogue call to RemoteProcess::actors() was easy actually

try to hide something under the rug for now

remove useless field

fix build for clang <15

Liveness: rename graph_state -> app_state and automaton_state -> prop_state

further reduce the amount of call sites for RemoteProcess::actors()

small cosmetics to not spread unrelated logic all around the file

MC: make it clear that we only have the info about the ready-to-run actors in a given mc::State

This is very similar to the exploration algorithm in Simix, but that's
still counter-intuitive when you try to understand the code.

Let's hope that writting it this way will help me not falling into
that trap anymore :)

Reduce the amount of MC locations reading the memory of the App

We still read the remote memory, but (almost) only when creating a new
State representing that state of the App. The goal is then to get
those info through message passing instead of through memory reading.
That should help reducing the bizarre things done by the MC, maybe
allowing to run the App in valgrind or so.

As a side effect, the exploration code becomes much more readable by
using the info from the mc::State instead of invocking low-level
things to retrive those info.

ignore new deprecation warning on freebsd

use ccache for main ci build.
It should be available on every builder, so skip detection phase. Will be added if/when needed

Fix RST formatting + one URL in Release_Notes.rst

If there is no LOCK in mmalloc anymore, then there is no need for atfork

Remove the need of pthread_mutex in mmalloc, to allow its use with sthread

Historically, mmalloc was used in all case when MC was activated at
build time (even if MC was not involved at runtime), forcing this
protection against race conditions for e.g. parallel simulations.

But nowadays, mmalloc is only activated at runtime in the verified
application. In other runtime setups, mmalloc uses the libc's malloc
implem instead of itself (that's why we use dlsym in the
initialization of mmalloc, to find the replacement).

So, removing this code should have no impact whatsoever.
Only maybe speeding up the verification a tiny bit.

And now, sthread becomes usable in conjunction with Mc Simgrid!!!

Given the current poor coverage of the pthread API, we can't verify
any useful program, but at least we have a valid (and rather robust)
prototype of such a verification tool.

Stick to dwarf-4 for MC builds.

TODO: add support for dwarf-5

Kill useless complexity in mmalloc: one of the dlsym

dlsym is not necessary to retrieve the LD_PRELOAD-injected symbol.

The killed code was intended to be used in libsimgrid, trying to
detect when libsgmalloc was already in memory to use that copy
instead. But that's useless: LD_PRELOAD ensures that the copy of the
injected version is the only existing one in the process.

In addition, that may resolve stability issues that my previous commit
didn't solve as nicely on the build daemons than on my laptop with gcc.

Allow dlsym to call free() on memory that is allocated before mmalloc init

dlsym obviously uses malloc, but we use dlsym while initializing
mmalloc, so we have a static buffer somewhere to give the required
memory to dlsym while mmalloc is not ready to serve. That's old.

Now, since the recent change in mmalloc, dlsym seems to not only
malloc some memory, but it also frees some of the obtained memory.
This commit detects when this happens and react gracefully (by
ignoring the free on that memory) instead of verbosely dying.

more protection for non linux builds

Disable mmap privatization if MUSL is detected, as it segfaults and we don't really care.
Hack a way of detecting musl, which is not really ideal but should work.

Another attempt at PRELOADing mmalloc (WIP)

Try to have mmalloc both in the simgrid library (for the regular use)
and also as an external library that can be LD_PRELOADed before
sthread too.

We'll have two copies of the library when actually preloading it in
sthread, but in this case, we use dlsym(RTDL_NEXT) to find the first
loaded symbol in memory to have only one mheap in the process.

It still segfault when launching a sthread code within simgrid-mc as
follows:
   bin/simgrid-mc --cfg=model-check/setenv:LD_PRELOAD=lib/libsgmalloc.so:lib/libsthread.soexamples/sthread/pthread-mutex-simple
but at least it should fix the breakage found on FreeBSD.

Merge branch 'adegomme-master-patch-16995' into 'master'

SMPI/replay: Fix issue with recv of size =0.

See merge request simgrid/simgrid!116

SMPI/replay: Fix issue with recv of size =0.
Negative values can be used to trigger a probe in case of unknown receive size, but 0 is a legit value.

Merge branch 'support-sendrecv-ti' into 'master'

Quick and dirty support of SendRecv in time-independent traces

See merge request simgrid/simgrid!115

Fix build error due to clang-format reordering the headers

Split mmalloc in a separate library

The idea is to allow to preload mmalloc before sthread, that must come
before simgrid itself.

Further small simplifications to mmalloc, killing dead code

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

Separate mmalloc from xbt

This is too bad that we cannot THROW on double free anymore, but we'll
have to live with it if we want to move mmalloc to libsthread.so

Kill a function that is unused and unimplemented

Java NativeLib: delete temporary files ASAP.

Kill useless commented code.

[ci-skip].

Quick and dirty support of SendRecv in time-independent traces

have automatic teshsuite use only stdout to avoid tesh mixups in output when stderr is used

add casts in case types don't match (musl). Let's hope it does not break elsewhere

doc fix [no-ci]

have an example that lazy users can copy without having weird
compilation errors

Remove redundant cast.

Fix distcheck (populate tesh_files, even when !HAVE_MC).

Prevent segfault when VM's host is created with pstate > 0

sealing the vCPU before setting its pstate to that of the physical host
seems to be enough.

sthread: correctly switch to within simgrid when calling shtread API

mc::api: Inline a useless function

Make sure that all MC tests are built on target tests-mc

mmalloc: rename a symbol to prepare further refactorings

When multi-threaded Exec are launched on VM, account for each thread as an exec to compute weight

get access to Exec thread count

Use fixed point arithmetic to avoid rounding errors.

Fix CMakeLists for when makecontext is not compilable.

Patch from @adegomme.

Fix build error with musl libc.

Fix definition of overriding gettimeofday.

(make it work when __GLIBC_PREREQ is not defined).

Handle different types for second parameter of gettimeofday.

For sonar...

The variable is named LD_BIND_NOW so these lines were never useful -- kill them

Survive with old cmakes

Compile pthread-mutex-simple in a way that allows its model-checking

MC: allow to pass env variables to the verified application

sthread: Intercept gettimeofday + sleep + usleep

Fix changelog [ci-skip]

Merge branch 'issue111' into 'master'

Workaround for multicore ptasks.

Closes #111

See merge request simgrid/simgrid!114

Workaround for multicore ptasks.

Fixes https://framagit.org/simgrid/simgrid/-/issues/111.

Workaround for multicore ptasks (when user sets the same s4u::Host*
multiple times in the ptask).

The Element class in System.cpp links a variable and a constraint.
Ideally, we could have only 1 element for each pair variable/constraint.
However, the fair_bottleneck solver needs different elements to cope with multicore ptasks.
At FairBottleneck::solver, it considers each elem as a "variable" which must receive a full
share of the resource.

Multiple elements per contraint/variable isn't necessary for others solvers (maxmin, bmf).
However, it's probably not possible to use BMF at this moment
considering its instability and the current implementation in ptask_L07.cpp (especially the configuration of
task bound which is specific for FairBottleneck solver).

Partially revert change to set 1 element per constraint/variable pair (done at ecb0903f).

Redundant initializations.

[project-description] Fix extraction of the ns-3 version.

[ci-skip]

Reintroduce "3-dev" in list of ns3 known versions.

Recompute set of ns-3 lirairies.

Hack taken from CMakeLists.txt before commit
2104ee14b4207b9830a0ab424538ba900d4106bc Adapt to the upcoming ns-3 v3.36.1

Try to fix number of '\' escapes in cmake regexps.

sthread: don't intercept the main when run from smpirun

Adapt to the upcoming ns-3 v3.36.1

Make libsthtread valgrind-aware.

Without this change, libsthread is initialized twice when using valgrind:
one for the valgrind launcher, and one for the target program.

Use the environment variable VALGRIND_LIB to detect the usage of valgrind,
and don't divert main() when RUNNING_ON_VALGRIND returns 0.

Just hope that noboby has VALGRIND_LIB in its environment without using valgrind.
In this case, the check can be reinforced by looking for the substring "valgrind" in argv[0].

For example, run:
valgrind --trace-children=yes env LD_PRELOAD=./lib/libsthread.so ./examples/sthread/pthread-mutex-simple

Sonar issues.

Fix test with ASan.

It failed with: ASan runtime does not come first in initial library list; you should either link runtime to your application or manually preload it with LD_PRELOAD.

Use ASAN_OPTIONS=verify_asan_link_order=0 instead.

Please valgrind.

Cosmetics (indentation, codefactor.io).

[ci-skip]

Merge branch 'dev-get-hostname-faster' into 'master'

Make host_by_name faster

See merge request simgrid/simgrid!112

Merge branch 'python_ptask' into 'master'

Add ptasks in the Python bindings

See merge request simgrid/simgrid!113

Fix the test

Add the new test in the cmake file

Add the new test in file MANIFEST.in

Add ptasks in the Python bindings

- This adds several functions in the Python bindings used for manipulating
  ptasks, such as parallel_execute or exec_init.
- This also adds the Engine.set_config function, needed for changing the
  configuration to 'host/model:ptask_L07' in the script.
- Finally, an exec-ptask.py example is added, exact translation of the
  C++ example s4u-exec-ptask.cpp.

Disable sthread at the end of the sthread_main

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

Add a TESH for the new sthread feature

SMPI_is_inited() and smpi_enabled() have the same purpose. Keep only the former.

No need to duplicate functions.

Uncomment code.

Easy Sonar smells.

Use std::string.

Missing return in the raw path.

Avoid memory leak when exception is thrown.

Make sthread_inside_simgrid static into libsthread in the (vain) hope that it'll help the init/fini phases

but unfortunately the symptoms are exactly the same:
- default builds work well with sthread LD_PRELOAD'ed
- MC builds segfault once the second thread starts in this case
- ns-3 builds deadlock in dl_init with sthread

I'm still commiting this because I believe that breaking the hard
dependency of sthread -> simgrid goes in the right direction: If
sthread is alone in memory without simgrid (as it may happen at
init/fini phases), it's a rather bad idea for sthread to use a
variable that lives in simgrid symbols.

Maybe I should load simgrid dynamically with libdl instead of
depending on it to further untighten the dependency, but I'd prefer to
understand. Plus, it'd only help at init phase and ns-3 builds are not
the ones I'd prefer to fix here.

Distcheck!

Merge branch 's4u_enforce' into 'master'

Implement s4u_enforce

See merge request simgrid/simgrid!111

Answer to Mt comments

make sthread work out of MC build trees

Make vm_by_name() public and modify c-cloud-migration to use new functions

tentative of implementing pthread_join, and to ensure that we are inside simgrid once the context stops

Make sure that sthread_inside_simgrid is initially 1 to protect all lib constructors

Even the ones that we don't control, such as gdb's...

In addition, there is no need to define sthread_inside_simgrid in
libsimgrid. We can keep it to libsthread where it belongs.

Also do some other cleanups around.