complexify the test a bit further

Reuse existing variable, and shorten conditional.

Don't call function with side effect twice in the same expression.

The evaluation order is undecided and may give different results (e.g. using clang vs. gcc).

Update random-bug-nocrash.tesh after last changes.

Variable is declared in xbt/asserts.h.

Spurious #include.

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

Display the mailbox name when showing a deadlocking situation

MC: display the status of all actors in case of deadlock

MC: tell the user about how to use the replay path in case of problem

Display the stack of each actor during a MC replay (unless --log=no_log for the tests)

Merge branch 'fluidio' into 'master'

Fluidio

See merge request simgrid/simgrid!121

fix issues spotted by agriersch

MC replay: check whether there  is a deadlock after running the trace

Align the behavior of MC and MC_replay in SMPI, so that replay actually works

+ improved debug messages

Be more verbose on the blocking transition when displaying the actor state on Ctrl-C

extend test

plug leak and more consistency with other models

MC_replay: Ensure that times_considered is always set

+ small cosmetics while reading again that code

MBI: display the expected diagnostic on error

check that disk has been given as argument before accessing its pimpl

add a transfer bottleneck case

revalidate tesh

update

add example

introduce s4u::Io::streamto

fixes

easier to store and use DiskImpl at kernel level

typo spotted by Henri during a call

add io_stream as a HostModel pure method

first attempt to fluid comm/IO model

move update_remains_lazy to the pimpl (as for CPUs)

simplify the way I/O actions are created (CPU style)

Have the disk model be part of the host models

mention disk model in host model descriptions

rename disk model init function: default is S19

More functions declared "const" (Sonar).

Declare functions "const" (Sonar).

Fix infinite recursion.

Use true/false for boolean variable (Sonar).

Remove redundant cast (Sonar).

Fix stack-use-after-scope (ASan).

Cosmetics.

 [ci-skip] end of the pass

start a pass on that part of the doc

More x -> varrho in the doc

Try to make the abort() inconditionnal in failed xbt_assert, to please the checkers

Add a ref to the disk paper

Arnaud prefers ϱ to x (+depict the simulated platform)

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

Draft a first version of the Models chapter in the doc

Cosmetics

doc: link to some more existing examples

Minor rewording

Fix non-smpi builds

Make the factor callbacks private in NetworkModelFactors

Move get_{bandwidth,latency}_factor to the NetworkModelFactors trait

Cleanups. Kill useless code

- Kill check_lat_factor_cb() and check_bw_factor_cb(): Now cleanly in NetworkModelFactors
- Kill the NetworkSmpiModel type: useless and empty
- Kill files network_smpi.[ch]pp: empty

Rename NetworkModelIntf into NetworkModelFactors

Move set_lat_factor_cb and friends to NetworkModelFactors

Change public NetworkModelIntf.hpp into private NetworkModelFactors.hpp

- This will soon become a Trait dedicated to the handling of factors

Allow to set the network factors callback from userland w/o relying on NetworkModelIntf

- this file is soon private, as the other kernel headers
- this was missing a simcall anyway

Move FactorSet from smpi::utils to kernel::resource

This fixes non-SMPI builds.

Also fix clang builds on the way (initializer_list must be given explicitly)

Rewrite the doc of the bw and latency factors

Merge network/bandwidth-factor and smpi/bw-factor (and same for latency)

Hide cfg_latency_factor and bw, and change them into smpi::utils::FactorSet

Parameters 'network/latency-factor' and bandwidth-factor are now strings parsed manually

This will allow to merge them with their smpi counterparts.

Also cleanup the network/weight-S parameter

Cleanups around network/latency-factor. Default latency of Cste model is 1 again

Default latency was accidentally the latency factor of LV_08

Inline the parse_factor function now that FactorSet is in place

Reduce the exposition of s_smpi_factor_t

further refacto smpi_factors to reduce dupplication

Introduce class simgrid::smpi::utils::FactorSet to reduce code dupplication

Reduce dupplication around smpi factors

Kill an unused declaration

fix the parameter of a strncpy call

Doc: link another python example  (+ typo)

in MC mode, failed xbt_assert() are reported as MC_assert()s

Remove temporary file [ci-skip]

Fix non-MC builds that don't have libevent-dev installed

Appveyor and Mac OSx are such systems

Kill redundent sanity checks

Don't include simgrid/config.h from simgrid/modelchecker.h so that the later is cheap to load

The functions are now generated in any case, and only do something
when SIMGRID_HAVE_MC is compiled in.

Also:
 - kill MC_automaton_new_propositional_symbol() that was never implemented
 - kill MC_visited_reduction() that was not used (anymore?)
 - Convert _sg_do_model_check to simgrid::mc::cfg_do_model_check

Deal with PTHREAD_STATIC_INITIALIZER if it behave as in glibc

Add a sthread+MC example that deadlocks

+ fix make distcheck

Rename the transitions so that asynchronous ones clearly appear so

Add a sthread example that works (no deadlock)

Implement pthread_join in MC mode for sthread

Restore the previous observable behavior.

The value -1 was in fact never returned.

Fix crash with debug logs.

Cosmetics.

Remove redundant guard.

AppSide::ignore_heap() already returns early when not MC_is_active().

Fix distcheck.

Enable simple sthread example.

Actor::create already does init->start.

Fix dead store (fbinfer).

MBI: don't even run the concurrency tests. Save white bears as we know these tests fail

MBI: use file globbing to make sure that we don't forget any generator

MBI: Properly integrate the Epoch lifecycle tests into our infra

Only add a barrier to 8 collectives. The other ones don't seem to need it

Fix windows build by not declaring XBT_PUBLIC an inline function