fix distcheck and doc

rework that test too (no windows stuff and no tabs)

do not use win_storage_content.txt anymore

replay-storage becomes replay-io ... with disks

rework old storage example to get rid of win_storage_content.txt

use smaller file

get rid of this example
we have its MSG counterpart in teshsuite

please 32-bit

revalidate last smpi-io test

location of disk changed when moving from remote_io.xml to
hosts_with_disks.xml (located on bob while on carl before). The shared
file is now opened locally by bob (was opened remotely on carl before)
and the recessary data transfers for remote accesses change to.
If we switch carl and bob in hostfile_io we observe the same behavior
as before, only the hostnames differ.

take change of signal location into account

Merge branch 'master' into disk

let all but io-shared smpi-io tests use the hosts_with_disks platform
file.

allows for mount of remote disks in file system plugin

* host has to declare a <prop> in the platform file whose id is
"remote_disk" and value has the following format
"mount_point:disk_name:host_name"
* Extend the io-file-remote example and the hosts_with_disks.xml
platform file to test this feature

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

please 32-bit

add default values for disk properties in file system plugin

If no <prop> are given for keys "size" and "mount" the following
default values are used:
* 500GiB for "size"
* "/" for "mount"

The third property "content" remains fully optional. If this prop is
not set, the disk is considered as empty.

rework example
* test "/" as mount point
* get rid of this windows style file naming

handle special case of '/' as mount point

Merge branch 'master' into disk

enable remote copy and move for disks
* need to have a local disk on both sides. it amounts to reading on
one side, sending the read data and writing it on the other side.
* seemless remote accesses for read and write are no longer available.
* simplify the s4u-file-remote test (remote operations with storage is
still tested in teshsuite by an old MSG test)

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

Merge branch 'master' into disk

partially handle disks in file system plugin
* open/read/write/move/close/unlink
* remote read/write operations not supported yet
* update the s4u-io-file-system example
* To be used with this plugin, a <disk> has to declare some <props>
   * size (with unit) [mandatory]
   * mount            [mandatory]
   * content          [optional]
* TODO
   * write some documentation
   * add some checks/asserts if user tries to
      * use plugin with no <prop> declared
      * mix disk and storage

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