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

The checker now have a reference to the session

A checker don't need the mc::api to find itself

Rename model_checker->get_remote_simulation() into model_checker->get_remote_process()

MC: cosmetics

Rename mc::RemoteSimulation into mc::RemoteProcess

MC: simplify initialization and kill api::set_checker()

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

getraw is only useful when dealing with boost intrusive pointers

Duplicate cleanup instructions for jenkins builds in other scripts.

Useful e.g. for cleaning /tmp on node debian-testing.

Add parameter timeout to mc::ConditionWaitSimcall and mc::SemAcquireSimcall.

Prepare the modernization of simcalls cond_wait_timeout and sem_acquire_timeout.

Modernize simcall cond_wait.

Modernize simcall sem_acquire.

Const attributes in SimcallObserver.

Use ConditionVariable::create() for sg_cond_init().

Rename ConditionVariable::cond_ to pimpl_ for consistency.

Add SemaphoreImpl::piface_ (mimic MutexImpl).

Also make constructor private to enforce usage of create(), and fix bogus destructor.

Like for Mutex, could not manage to make ~Semaphore() private.

Prefer type bool for boolean values.

Mutex::pimpl_ is never null.

Use Mutex::create() for sg_mutex_init().

Also make constructor private to enforce usage of create(), and fix bogus destructor.

Wanted to make ~Mutex() private, but failed to make it compile :(

Fix include.

inline simcall_check_dependency() now that it's called only once

MC: check dependency between 2 given requests only once

The dependency relationship is symmetric but bothersome to write
extensively, so earlier we wrote only half of the relations and called
  dep(r1, r2) && dep(r2, r1)

Simplify things by first ensuring that r1 < r2 in alphabetic order and
only call dep(r1, r2).

request_depend_asymmetric(r1,r2) now tests when r1 < r2 alphabetically

Sort comm_* simcalls alphabetically

inline a function

Both request cannot be of the same type here

Only 4 simcalls are considered by indep theorems for now

MC: cosmetics and tiny code simplifications

- Change a switch case into a if/else
- Rename "acti1" to "comm1" since that's what it is
- Move a function around to group dependency related functions

Third broken update for Centos binutils with LTO broken. Ignore all 2.30 for now.

MC: simix::unmarshal should NEVER be called automatically

- this code is generated automatically, so copy/pasting it away does
  not seem to be a robust idea.
- Also prefer failfast tracks with THROW_IMPOSSIBLE to return null
  that hides problems that we did not expect.

cosmetics

s4u_synchro were renamed to activity in 2015, as far as I remember

Merge branch 'model_types_rework_part1' into 'master'

Model types rework - Part 1

See merge request simgrid/simgrid!54

Initializing SimGrid's model in another way

Preparing the field to change models type to primary/virtual.
To do so, we need another way to set the "default" models in the root
netzone.

For that, we changed the order we created the zone during the XML
parser:
1) Create the netzone object (and set as root netzone if it's the first)
2) Create the simgrid's models (if
  2.1) During the initialization of simgrid's models (by the
surf_model_description_t structure), the default models are set in the
root netzone
3) If it's a child netzone, copy models from its father

Probably temporary changes:
- Create setters for each model in the NetZoneImpl. To be reviewed after
we decided where to put the "default" models.

Simple constructor for NetZone's child classes.

Extends the work done in previous commit for other NetZone classes.

NetZoneImpl: simpler constructor

NetZoneImpl(std::string& name);
One step towards a simple contructor and set() idiom.
Removed father and network model from constructor.

Collateral effect:

NetPoint:
- removed NetZoneImpl* from its constructor
- added method set_englobing_zone(NetZoneImpl*)

In the past, we could create the NetPoint in NetZoneImpl with the
pointer to the father. But now, the father is only set latter at
set_father method.

NetZoneImpl: rework seal

Create a do_seal that can be rewritten by derived classes

Assure that flag sealed_ is sealed properly when derived classes
override the seal() method.

Merge pull request #374 from adegomme/master

try to handle inconsistencies in github environments.

sometimes, it's still there...

[sonar] Move explaining comment inside body of empty function.

[sonar] Use '=default'.

[sonar] Declare functions 'const'.

[sonar] Use :: to call static member functions.

[sonar] Pointer to const.

[sonar] Favor using-declarations.