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.

Merge pull request #373 from adegomme/master

fix jar creation github action, and add weekly build

add weekly build at 6:00pm sundays

try to put back boost on windows

https://github.com/actions/virtual-environments/issues/2667

temporary attempt to workaround scoop bug

https://github.com/ScoopInstall er/Main/issues/1752

Remove useless default destructor definitions

Two small sonar fixes

- dead stores
- default destructor should not even be written

Document direct communications, deprecate Host::sendto() because Comm::sendto() is better for that

implement MPI_File_set_size

Merge branch 's4u/model_list' into 'master'

s4u Engine: expose get_all_models, get_model_list

See merge request simgrid/simgrid!53

Merge branch 'unify_models' into 'master'

Unify treatment of models in the EngineImpl

See merge request simgrid/simgrid!52

Uniform treatment in EngineImpl for all models.

Override the update_action_state function in CPUL07 and LinkL07, they
are not necessary since the actions are updated by the HostL07Model, but
they allow to make the same treatment for all models.

Improv comment

Const for some get functions

s4u Engine: expose get_all_models, get_model_list

Before e22da6010c6499813ff88c76041cf499ffbf2b67 the list of models
could be accessed using the global `all_existing_models`

This patch exposes two methods to get the list of models in the
s4u::Engine, they wrap those of `EngineImpl`.

Sonar prefers nullptr.

Cosmetics around #include.

More error messages.

Prefer xbt_assert here.

Update .mailmap.

Merge oberver classes MutexTrylockSimcall and MutexLockSimcall.

Modernize simcall mutex_lock.

Move check from checker side to app. side.

Define (and use) a callback for RawImpl::finish.

Make scan-build ignore volontary null-pointer dereference.

Merge branch 'bruno.donassolo/simgrid-add_model_shared' into next

also test with several cores. Let's see how this goes

Engine*::add_model: from unique to shared_ptr

Merge branch 'hotfix_add_model_api' into 'master'

Hotfix: expose add_model method in s4u::Engine

See merge request simgrid/simgrid!50

Hotfix: expose add_model method in s4u::Engine

Expose the add_model API to external users.

namespacing

A canceled Activity is a completed Activity too

namespacing

be more uniform on action cleaning accross activities

Do the same for IoImpl as for ExecImpl when timeout on completion

user bound is now stored at Action level and not modified by LMM
Then it can be passed from old to new action when migrating the Exec

Allow failure detection for parallel exec
change nothing when hosts has size 1. use std::any_of for multiple hosts

Merge branch 'multi_models_no_globals' into 'master'

Refactoring: remove surf_*_model globals

See merge request simgrid/simgrid!49

Move globals to EngineImpl

A step forwards encapsulation.
Still not good for ptask model and its particularities.

Say goodbye to last global: surf_host_model

- By now, add the host_model in netZone too
- Probably need some check when running parallel_execute in a list of
hosts (all belongs to same model/netzone?)

clang-format: ExecImpl.cpp and sd_task.cpp

surf_disk_model: remove it.

- Add disk_model to NetZone as done for network and cpu models
- Add create_disk method in NetZone too: keep interface uniform

s4u_Host.cpp: clang-format

Adjust code after rebase.

surf_network_model doesn't exist anymore