Merge branch 'master' into 'master'

Fix the NS3 bindings to detect when several flows are simultaneously finishing

See merge request simgrid/simgrid!16

Disks do not need this

need to delay signal after properties are set

To stop NS3 in a consistant state at its next occuring event time, make sure it has processed all the flows that are finishing at this time.

extend platorm with disks
* have two disks on bob
* share same disk name between bob and alice
* revalidate tesh files after modifications

simplify disk management
* disks are related to a given host, there is no need to maintain a
global map.
* No more map means no by_name methods
* This allows for same name for disks on different hosts

cosmetics in the wanna be MC's simcall observer

improve the doc of the MC reduction technics

Merge branch 'master' into disk

Wifi: Clean obsolete code

Wifi: Add crosstraffic on WIFI cells

Wifi: Add wifi tesh sources

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

no more need to pass issuer to suspend

Wifi: Ajust model on internal AP communication

Wifi: Allow crosstraffic simulations

Merge branch 'master' into disk

modify this example to use disks

plug leak

clang-tidy the ns3 model

working implementation of storage on disks
+ add a s4u::Disk
+ modify a lot of things to make it working
+ add a small example to test read/write

connect disks to their host

load disk model

disk not mount

fix distcheck

fix typo

implement sg_platf_new_disk

add a platform file using the new disk tag

start implementing what is behind the new <disk> tag
* Not tested at all
* Mostly duplicates the current Storage stuff minus what we want to
get rid off
* Several FIXME where the link with S4U should be done

Exit with a special exit code on failure in the last stage.

This can be used in jenkins to mark the build "unstable" instead of "failed".

doc: specify that you need to build the tests before ctest

cmake: accept enable-model-checking as an alias to enable_model-checking

This should be generalized to the many potential typos in the option
name, but I don't feel like scripting in cmake tonight.

another batch of small improvements advised by clang-tidy

doc: specify that ltl2ba is not part of SimGrid

further very small steps to modernize our code. thanks clang-tidy

modernize our C++

- Use auto when using new to not repeat the type
- Pass parameter by value + std::move instead of pass by reference

This was advized by clang advanced warnings

Don't name the unused parameter of this callback

fix a bug in a deprecated function

Found by a static analyzer because the function parameter was unused

Spelling fixes & a few cases of polishing the English (#329)

Some of the more specialized fixes were:
 - 'DEAD-LOCK' -> 'DEADLOCK'  (appears when MC fnids a deadlock.
 - 'allows to' -> 'allows one to' (and so on for allow/allows/permit/permits)
   'model-checker' -> 'model checker'
     ('the model-checker software', but 'the model checker')

Factor common definition, and avoid empty component in LD_LIBRARY_PATH.

Drop spurious colon.

don't forget to set include path in this case.

don't throw away existing LD_LIBRARY_PATH in our tests.

actually failsafe has to be applied in all cases.
Windows on travis has a 1.58 boost, so it was failing the first attempt, but a recent cmake so it was avoiding the second.

fix mc build with gcc10

let's be gentle with old cmakes which can't handle missing optional boost libs

Attempt to ease detection of boost libraries.
Will probably break things everywhere.

Add some includes to please GCC 10

Workaround build error seen with clang 10 on freebsd.

In file included from [...]/src/bindings/python/simgrid_python.cpp:11:
In file included from /usr/local/include/pybind11/functional.h:12:
/usr/local/include/pybind11/pybind11.h:1078:9: error: expression result unused [-Werror,-Wunused-value]
        PYBIND11_EXPAND_SIDE_EFFECTS(add_base<options>(record));
[...]

Use C++-style cast.

Fix build with MC.

Files were regenerated.

Fix: undefined reference to `typeinfo for simgrid::mc::SimcallInspector'

Disable test stack-overflow with tsan too (false positive).

[cppcheck] Reduce scope for variable.

WIFI: Now implemented

fix pip packaging

tesh kill timeouted processes with KILL also

It seems that the sanitizers processes are surviving their timeouts on
the server, so this may help fixing the build robots.

On the way, I switched to save the PID of the forked process instead
of its PGID. This helps when I try to see if the process is still
alive, later on: I can always do PID->PGID later (as I do now) while
it seems impossible to do PGID->PID to see whether the process is
still alive.

Fun fact: I think that PID=PGID on POSIX systems, but let's play safe :)

DPOR: improve debug messages

add test proposed in #39
For now in teshsuite, might be moved to examples if someone asks

should work better with the hostfile in the dist.

One rma test actually needs exactly 2 processes per node.
Let's indulge it and add a hostfile for mpich tests, with various ppn setups.

typos

attach errhandlers to some forgotten calls

Errors occurring during calls to routines that create MPI windows (e.g., MPI_WIN_CREATE (...,comm,...)) cause the error handler currently associated with comm to be invoked.

Merge branch 'trace_smpi_execute_flops' into 'master'

execute_flops now logs compute

See merge request simgrid/simgrid!15

fix bad private function location
and fix bad reference to spmi_execute_benched

execute_flops now logs compute
I created a internal function that execute flops without tracing for
specific needs

Allgatherv : don't output MPI_ERR_BUFFER if recvbuf is null if we don't receive any data.
FIXME : other collectives can have the same constraint relaxed

For File, we can change the default error handler by specifying MPI_FILE_NULL as the fh argument

Unlike errors on communicators and windows, the default behavior for files is to have MPI_ERRORS_RETURN. ( End of advice to users.)
https://www.mpi-forum.org/docs/mpi-3.1/mpi31-report/node223.htm#Node223
because why not.

These tests really need zero buffering

switch to infty buffering for now as some tests are broken in zero-buffering mode

update changelog

This particular RMA test is filled with stupid calls... We send errors for most of them.
So let's put that to rest by setting MPI_ERRORS_RETURN for this one.

fix request and coll failing tests

topo was a bit too eager to return errors.

Don't return an error when a key is not found in an MPI_Info.

our coll-* tests include bad calls for coverage, they need MPI_ERRORS_RETURN

set default error handler to MPI_ERRORS_ARE_FATAL, as in a proper MPI implementation

disalign tags for collectives from their nonblocking counterparts, to correctly deadlock when both are entangled
as some blocking ones used internally are actually implement with nonblocking+wait, use the right blocking tag in this case.

add tests for errhandlers
Most of them actually need mpi_add_error features, which are not really implemented yet

Add support for MPI Errhandlers in Comm, File, Win.
Default remains MPI_ERRORS_RETURN for now, pending test fixes

Apply the default settings of 'smpi/buffering' too

Previously, we did obey to that option when given, but the default
value was ignored. This is because the handling was done in the value
verification callback, that is not used for the default value.

more informative error message when checking params of MPI_Iallgather

appveyor: don't build python as it was not tested anyway, and don't build anymore

MPI_Scatterv: sendcounts and displs params can be NULL on non-root ranks

more informative error messages on parameter checks of MPI_Iscatterv

This should be done for each and every collective, but not today...

Fix tesh for the new mc-sendsend test

- Test for all factories but thread (that is borken with MC)
- Don't run this test when Java, no matter what. Not sure how I came
  to such a stupid idea :)

fix make dist and python dist

add a test of MC detecting blocking send/send patterns

New MC option: smpi/buffering, to control MPI buffering

smpirun: add a -quiet argument, allowing failing tests in tesh

more informative message when setting inexistant config items

docs: fix borken links

PMPI_Cart_create: check that each dim is positive

Have SMPI fail on MPI_ERR_* in MC mode

The standard says that upon error, implementations should call the
current MPI error handler, which is MPI_ERRORS_ARE_FATAL by default
but could be changed to MPI_ERRORS_RETURN on need.

Since we don't implement MPI_Comm_set_errhandler() to switch between
modes, the simulation mode of SMPI is only issuing a warning on
errors (which is similar to MPI_ERRORS_RETURN).

This commit adds a MC_assert() stating that every MPI call succeed.
This will lead to a property failure (visible only in MC mode) when a
MPI_ERR_* is issued by the implementation (which is somehow similar to
MPI_ERRORS_ARE_FATAL).

fix non-MC builds

use assignment to non-trivial class rather than artificial trivialization and memset

plus some other small cleanups

Restore triviality of s_smx_simcall to please GCC

Field initialization make this struct non-trivial, making GCC to panic
when we memset it. Even if we initialize some fields to nullptr and
memset it to 0.