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

regenerate smpi_extended_traces.h and friends after the addition of MPI_Bsend and friends

Kill TRACE_smpi_finalize() and have the container unregistered as soon as the actor leaves

Of course this requires to revalidate some tesh files, as the ending
date is impacted by this change.

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

remove trace finalize from process ending, cleanup is done by trace_end anyway.

fix a memleak coming from cyclic references in smart pointers

Before that change, the SMPI extension of actors got a smart reference
onto the S4U actor. That prevented S4U actors from being garbage
collected, since a SMPI extension is freed (and its smart references
released) only when the S4U actor is destroyed.

The change of this commit simply replace smart references with dumb
pointers to break the deadlock in the reference cycle, so that s4u
actors get collected after use.

document last change

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

warning --

move newly implemented calls out of the 'not yet implemented' section

changelog update

activate bsend tests.
Modify one to stop spending too much time sleeping as we test with bogus platforms.

add MPI_Bsend, MPI_Ibsend, MPI_Bsend_init, MPI_Buffer_attach, MPI_Buffer_detach.
fun fact: we are not actually using the provided buffer in SMPI, as we use our own buffers internally for all detached calls (bsend means detached).

Merge branch 'master' into 'master'

Improving the performance of the NS-3 bindings by:

See merge request simgrid/simgrid!18

Improving the performance of the NS-3 bindings by:
  + Stop moving NS-3 forward when there is no flow, and synchronizing NS-3 with SimGrid only when a new flow starts instead.
  + Cancelling the Stop event we scheduled in NS-3 if the simulator stops before the event, to prevent untimely stops.

Start preparing for a release

Don't mandate C++14 as some build daemons still don't have it

fix make dist (again and again)

MC: switch to xxhash as a (fast) hashing function.

Mandates C++14 but should be faster according to
https://aras-p.info/blog/2016/08/02/Hash-Functions-all-the-way-down/

Add a fast hash function (mandates C++14 for MC)

This comes from
https://github.com/RedSpah/xxhash_cpp/commit/a310676e1514b49d78f0c9ced0678efea4f82fd9

This requires C++14:
  xxhash.hpp:288:40: error: variable declaration in a constexpr function is a C++14 extension

So bump the dependencies of the Model Checker to C++14. That's an
intrusive move, but MC is experimental anyway, and C++14 isn't that
modern anymore.

fix make dist

Make this test more verbose to improve debuggability

Merge the two wifi tests together

Merge the two wifi platform files

And rename the result to simply 'wifi.xml'

modernize these platform files

integrate the wifi unit tests

reduce the verbosity of this test and increase its effectiveness

This is merely a crash test

Remove the Codacy badge since we unplugged that project

add missing platform file in the dist

Document recent changes

add NS3 files to the dist even when NS3 is not configured

Merge branch 'master' into 'master'

NS-3: unblock the number of communications + detect when several flows are simultaneously finishing

See merge request simgrid/simgrid!17

mention closing of GH#207

rework a bit and typo fixes

fix formatting

adding a test to check if the NS-3 bindings can handle flows that simultaneously end

Unblock the number of communications that can be done with NS-3 by
  + looping on the ports used to communicate,
  + and closing the sockets on the receiver sides (nb. the senders sockets were already closed). This point also improves the NS-3 bindings performance.

wrote a small blurb to explain the TCP model in practice

I am so sorry.

To detect all the flows that are finishing at the same time, allow NS-3 to have a next_occuring_event of 0.
To avoid inconsistencies between SimGrid actions and NS3 flows, set the remainings of an action to 0 only when its flow is finished in NS3

remove another pimpl in smpi initialization

smpi: get ride of process_data and use a regular Extension

Revert "debug a problem making LSAN to segfault"

The new information are not very informative, and break many tests
that were working.

This reverts commit 219b128344e14ff691c5f9615741d006ac79aeec.

debug a problem making LSAN to segfault

document existing coding convention in C, and stick to it

Add sg_actor_{get,set}_data()

This fixes https://framagit.org/simgrid/simgrid/issues/31

Align Link get/set_data() with the Extendable version of that feature

Align Storage get/set_data() with the Extendable version of that feature

That was easy.

Align host get/set_data() with the Extendable version of that feature

give a set_data() and get_data() to all xbt::Extendable structures

This is for C users, and it will unify all versions of the same
feature all over the place.

move some global signals to the Engine

try to reduce the memory consistency requirements in the actor refcounting

some people actually seem to like those C++'s hardcore brain teasers

MC: rename some methods to make their intent clear

document intent of that test

harden fortran builds to please debian

remove codacy.
It was redundant and the project was deactivated on the website.

Merge branch 'master' into 'master'

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

See merge request simgrid/simgrid!16

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.

cosmetics in the wanna be MC's simcall observer

improve the doc of the MC reduction technics

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

clang-tidy the ns3 model

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.