Merge branch 'models_type_rework_part2_try2' into 'master'

No more types for models.

See merge request simgrid/simgrid!58

Remove a level of constness for argv parameter of sg_actor_start/create.

Aligns with the signature of main(), and allows to write without cast:

    int main(int argc, char *argv[]) {
        sg_actor_start(NULL, NULL, argc, argv);
        ...

The main drawback is that we have to add an explicit cast in our constrained
examples.

Not sure if these files are still used, but keep them up-to-date.

Restore xbt_dynar_to_array, which is still used by starpu.

But mark it as deprecated.

Superfluous global variable.

Kill now unused xbt_str_split_quoted(), xbt_str_split_quoted_in_place().

Use boost::tokenizer.

It's already used in other parts of the code.

Kill unused dynar functions.

Use C++ functions to parse file.

No more types for models.

Remove the concept of type for a model (CPU, VM, NETWORK, etc).
Explicitly declare the dependencies between models when adding them to
the engine.

Internally, they are organized in a ordered list, respecting the
dependencies described by the user.

Changes in APIs:
s4u_Engine.hpp:
- Delete get_model_list(simgrid::kernel::resource::Model::Type type)
- Modify add_model(std::shared_ptr<simgrid::kernel::resource::Model> model, std::vector<std::string>&& dep_models = {}): added list of dependencies

Model.hpp:
- set_name(), get_name(): add methods to associate a name to the model

[sonar] Pass large object by reference to const.

[sonar] Make parameter a pointer-to-const.

[sonar] Inheriting constructors should be used.

Blank lines.

Kill "FIXME" comment.

Humpf, time to sleep, obviously

Forbid to modify a sealed netzone

Fix make distcheck

Sanitize how tracefiles are handled

In particular, SMPI was always providing a trace file per actor, even
when only one file was provided, with the content for all actors. That
was a waste of memory and processing.

But the worst was that the same file was opened N times, limiting this
solution to 1024 ranks on linux and 256 on Mac OSX. We could have
asked the users to increase the limit of file descriptors per process
to overcome this limitation.

Hopefuly with this change, the same file will be opened once only,
removing this limit all together.

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

This cleanup also impacts S4U code, that cannot access the
simgrid::xbt::action_fs global anymore to open the shared file itself,
but must use xbt_replay_set_tracefile() for that.

NetZone: father to parent and more accessors

trimming zones

Handle simcall result through mc::SimcallObserver.

Get rid of simix::(un)marshal.

Reduce scope for variables.

ActivityImpl::register_simcall does not need to be 'virtual'.

Factor un-registration of simcall.

Make SIMIX_comm_copy_data_callback a member of CommImpl.

Make fields private.

Cosmetics (redundant version number).

This is the index, we want the rank for the underlying iprobe.

extraneous chars

status can actually be MPI_STATUS_IGNORE

Add ModelChecker::finalize_app(), but don't use it as it don't work yet

some symbol renamings to make MC easier to understand (to me)

.mailmap

Make Time::date const; kill useless getter.

Make fields private; define getters.

Make Datatype::contents_ a private std::unique_ptr.

Don't mix public and private fields (sonar).

Factorize handling of asynchronous receives.

Apply the same changes to both the C and C++ examples.

Unnecessary 'else'.

Make cast explicit.

Reduce scope for variables.

really set link latency for ns3

privatize fields of ClusterZone + more explicit methods

add tesh file to dist

Fix clang builds

Reorder the headers to ensure that ours are actually self-contained

test with leaks: no printf, and run also in MC (that is currently wrong)

Currently, the MC test ensures that we still don't detect the leaks,
but I don't want to break the builds while I'm working on this.

Fix non-MC builds

simcall.py: this parameter is not a field, respect our coding conventions

Add a tests-mc target to rebuild only what's needed to run the MC tests

Probably mostly useful to me, but hell, that's really useful :)

Modernize simcall execution_waitany_for.

Implement simcall_HANDLER_execution_waitany_for into ExecImpl::wait_any_for.

Make simcall execution_waitany_for use a std::vector internally.

Use functions from ActorImpl when available.

Lowercase PID in function name (2/2 - public part).

Changed: sg_actor_get_PID, sg_actor_get_PPID, sg_actor_by_PID

Lowercase PID in function name (1/2 - private part).

Changed: ActorImpl::by_PID

Sonar wants separate declarations.

Fix build with older compilers.

E.g. gcc 6.3 or clang 3.8.

Typos.

Misc sonar smells.

Augment test to cover sem_acquire_timeout.

Also cover sg_sem_would_block and sg_sem_get_capacity.

Oops. Forgot to handle timeout.

We really need a test for that.

make update_algorithm optional in model creation. Full is default

Modernize simcall sem_acquire_timeout.

Note: we need a test for that.

Modernize simcall cond_wait_timeout.

Cosmetics: use a meaningful name for parameter.

Initialize CPU model for VMs in init_HL13

cpu_vm model is used by virtual machines only, create it when
initializing the VM model

A blocking simcall does not make sense in kernel mode.

Cosmetics: single "TODO" for less sonar smell.

Make ConditionVariable::~ConditionVariable() private.

This is a followup to commit 222e031aa69b85a660b37e558115375d44ec3f68
"Use ConditionVariable::create() for sg_cond_init()."

Make Semaphore::~Sepmaphore() private.

This is a followup to commit 993a22f9b7f34d3a536bfe6a49a31405461dea5d
"Add SemaphoreImpl::piface_ (mimic MutexImpl)."

Make Mutex::~Mutex() private.

This is a followup to commit f4e9eed9a710cd589a2ab070348121e9c4c3a861
"Use Mutex::create() for sg_mutex_init()."

obviously, this failed for freebsd 13

manifest update

Teshsuite SMPI : execute from build dir.
Ensure that smpi tests from teshsuite are executed from the build folder and not the source folder, to avoid generating temporary files in source folders which may then stay (test interrupted, crash, wrapper used).

exclude intentionally leaking test from asan and valgrind leak checkers

try to match types correctly this time

that was supposed to be removed now, thanks ubuntu-32 ! You see you are so useful !

add a test with an intentional leak for previous feature.
Will probably need to be added to suppressions.. but that will wait tomorrow

Add a small allocations counter in SMPI.
With smpi/display-analysis, it can display the total memory allocated by malloc/calloc calls intecepted by SMPI.
It outputs at the end of the simulation the largest one, its address, and the number of times it was called, and hints to use sharing options on it.
To avoid too many globals, and singletons, I used the namespace smpi::utils to regroup all of these analysis tools. Please tell if this is awful C++ :p

downgrade message to info level, it's usually not a big issue to have some handles leaking at the end of execution...

Bogus default value for parameter.

It should rather be defined at declaration to be useful.

Pointer-to-const for sonar.

Replace magic number 8.

Gosh I hate the formating strings when size_t comes to play

MC gets the addresses of variables it needs from the network (not dwarf)

This way, Dwarf info are only loaded when they are really needed (ie,
when state equality is used or for liveness properties).

Running all MC tests goes from about 70 seconds down to 10 seconds
(there is a liveness test that lasts 10 seconds). The MC tests that do
not need dwarf go from 6 or 8 seconds down to half a second.

I'm not 100% sure, but this commit may introduce a race condition when
SMPI is used with dlopen privatization. The binary is sometimes
removed from disk too early for MC to pick the dwarf informations it
needs. I saw it some times while implementing it and now it seems to
be gone although I did not explicitely fix it. This seem to be tested
by mc-umpire-comm-dup-no-free2 so I'm not sure.

RemoteProcess: cache the addresses of maxpid, actors and dead_actors

Soon these addresses will be given by the App through the network
instead of retriving them with Dwarf.

Move the logic retrieving the actor info in the App to RemoteProcess

Move the logic of Api::get_maxpid() to RemoteProcess where it belongs

MC: lazily load the dwarf information

attempt to fix en issue when timing functions are called before initialization

Give an explicit name to the session singleton

Remove more uses of the session global

cosmetics

The checker has the session and don't need the API to interact with it

Inline a function

Dont pass as a parameter something that is already known as a field of the receiver class :)

Kill a file that was almost empty

Kill some use of the mc_model_checker global variable