model-checker : if no inttypes found in c++

Add missing dist files

Merge branch 'mc'

Conflicts:
src/mc/mc_global.c

add some tests about the smpi robustness to PEBKAC

make it easier to write tesh files by removing the full path to scripts from logs

ignore some generated files

Properly fix the case where the user provides an empty hostfile

[mc] Do not optimize src/xbt/dynar.c

For some reason, it breaks state comparison after the merge.

Add an option to get the compiler version, change the manpages accordingly

Some minor corrections on the documentation

Merge branch 'mc-fastsnapshot' into mc

Conflicts:
src/mc/mc_visited.c

dividing by 0 is not always the best possible choice, even if the user shoulnt give empty hostfiles

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

Change the wonderful magic value of the max number of simcall parameters.
Fixes build on ci with better compilers than mine.

model-checker : minor fix in comments

model-checker : update tesh

model-checker : visited states reduction available with comm determinism verification

JSURF_JAVA_GENERATED_SRC is already included in JMSG_JAVA_SRC
Some architectures complain and fail build if duplicated files are found

Start the remote send as soon as possible in MPI_Get
It used to be done only when synchronisation calls were issued, as it needed to be done sender's side

Use source of a MPI_Request as sender for SMPI messages.
make the SMPI messages use the sender process registered in the request perform the send, even if is not the same as self

Change send/isend simcalls to add a new parameter : src.
It is set everywhere it is used to SIMIX_process_self, so it should not change anything except for SMPI
This allows a process to ask for an immediate send from another process without any action from the sender's side
This is needed to simulate MPI_Get, where the receivers asynchronously triggers a send from another process (handled by the MPI library in another thread or directly through RMA)

[mc] Inline mc_snapshot_read_region()

[mc] Inline mc_translate_address() and mc_translate_address_region()

[mc] Forgot to decrease the page refcounts when freeing a snapshot

don't build mtest static lib if mpich3 tests are not enabled

change path where to look for an include file

activate tests for Accumulation with complex datatypes

Change the way MPI_Accumulate works with serialization, to handle complex datatypes.

[mc] Add support of privatized global variables in per-page snapshot

Not very useful because state comparison does not work with SMPI
privatisation yet.

[mc] Avoid loosing meaningful bits ot pair.p2 when hashing pointer pair

[mc] Use an unordered_set for compared_pointers instead of a dynarr

It has a better algorithmic complexity.

At the same time, avoid using TLS which is not implemented with
destructor-enabled data structures before C++11.

[mc] Remove declaration of mc_read_pagemap() in mc_page_store.cpp

It is now in mc_page_snapshot.cpp.

[mc] Optimise more files

Switch to the right version of cmakefiles for mpich3 tests.

remove warning

remove now useless functions

remove now useless comments

add MPICH3 rma tests (15 out of 88 should be passing now)

First steps for implemtation of MPI Onesided Operations :
Support for MPI_Win structures, MPI_Put, MPI_Get, MPI_Accumulate, MPI_Win_Fence

[mc] Always inline mc_page_store_get_page (C version of page_store->get_page())

model-checker : clarify comments

[mc] Move method definition out of class declaratio and force inline

Fix java tests : this dynar may be empty, don't try to iterate on it

Remove call to concurrent-rw test

[mc] Reset the softdirty bits *before* restoring the ignored bytes (not after)

We want to know what has changed since the last per-page snapshot: we
have to reset the soft dirty bits just after the per-page restoration.

Remove storage.xml example file

[mc] Try to use optimisation with some part of the MC

Initiate java bindings for MSG storage API

Add new tesh suite for msg-storage

[mc] Always inline 'inline' functions

The MC is usually compiled without optimisation as they tend to
confuse the state comparison. But we *really* want to inline functions
declared 'inline'.

remove documentation of non-existing date parameter

prevent warining for undocumented (because internal) enum members when
making doc

doc is whining +indent

don't do the call if an error is caught before

Remove benchmarking calls from cart_create

Small fixes to the documentation

Remove some unbreakable spaces breaking the pdf generation

[mc] Fix compilation warnings/errors when optimizing

[mc] Documentation of mc_page_snapshot

[mc] Config to disable soft-dirty page tracking --cfg=model-check/soft-dirty:yes

It is here mostly to test the effect on soft-dirty page tracking on
the performance of the simulator. It might be removed in the future
once we will be certain that soft-dirty page tracking does not have a
significant negative impact on some workloads.

[mc] Avoid big alloca in mc_snapshot_region_memcp and mc_snapshot_memcp

Be more stack friendly.

[mc] Poor man's TCO in compare_heap_area_with_type()

This is slightly more friendly for the stack.

[mc] Do not allocate pagemap buffer on the heap

This won't work very well with small stacks.

[mc] pread_whole must restart in cas of EINTR, not EAGAIN

This probably won't happen with this file anyway.

[mc] Documentation about per-page snapshots

[mc] Add some documentation

[mc] Avoid region lookup when we know we are in the heap

[mc] Fix bug mc_snapshot_read_fragmented

Return the correct address.

[mc] Replace test-and-die with assert

[mc] Avoid looking up region in mc_diff (we are in the heap)

[mc] Fix mc_snapshot_read_fragmented

[mc] Remove heap{base,info}{1,2} field in struct s_mc_diff (not meaningful in per-page snapashots)

[mc] Fix inverted test on page soft-dirtiness

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

Merge branch 'v3_11_x'

Conflicts:
examples/msg/properties/msg_prop.c
examples/simdag/properties/sd_prop.c

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

add rule to use gcc-ar and gcc-ranlib instead of ar and ranlib for gcc >=4.9
see https://gcc.gnu.org/gcc-4.9/changes.html for explanations

Revert "try to have all these mpich temporary libs sent to the right folder while building"

This reverts commit 3f8e8c0e3b6c8faab8c96a8875bff2eaebbe3e99.

Improve Packet level simulation documentation

Fix bug with const in java bindings

try to have all these mpich temporary libs sent to the right folder while building

Update tesh files after commit 2c2afb4d73ea196ea97ca46bc89dd512451222db (untested).

[mc] Do not use offsetof() in mc_snapshot_get_heap_end

We don't need this. It's much clearer like this.

[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots

[mc] Fix mc_translate_address_region() for per-page snapshots

It was completely broken :/

[mc] Remove mc_untranslate_address() and mc_member_snapshot_resolve()

Those were working in the snapshot address space so we do not use them
anymore (it is not very useful to work in the snapshot space when the
snapshot space is broken in pages).

We work in the process address space instead (mc_member_resolve).

[mc] Use mc_snapshot_read in snapshot_compare (compatibility with per-page snapshots)

[mc] mremap does not like MAP_PRIVATE|MAP_ANONYMOUS regions

Use a MAP_PRIVATE one instead.

[mc] Add option --cfg=model-check/sparse-checkpoint:yes to enable per page snapshot

[mc] Fix bugs in mc_page_snapshot

[mc] Use mc_snapshot_read in mc_diff (compatibility with per-page snapshots)

[mc] Use mc_snapshot_read in dwarf expression evaluation (compatibility with per-page snapshots)

[mc] Fix bug in mc_snapshot_read

It was broken when no snapshot was used.

[mc] Remove useless bits

Add some informations/help for the user on SIGSEGV

tiny doc update

cosmetics on some error messages

This should ease the future implementation of graphes in smpi

remove simgrid_documentation target from distcheck

add missing file for distcheck