requalify tesh

use global variables to store values that may be used millions of times..

add time injection in MPI_Wtime and MPI_Test, to match what was done in iprobe

add comment for magic value

add F90 rma tests

migration: minor cleanup and update TODO

Use MSG_process_create() instead of that of _with_arguments().

migration: fix status check of migration

When a migration of a VM is already ongoing, do not allow
MSG_vm_migrate() for the VM.

remove the allred test
ci slaves have trouble building it (not enough memory probably)

allred test needed unsigned char support, which was forgotten.
TODO : This part of the code is ugly and should be replaced by macros asap, as it may lead to nasty bugs

Add MPI_Type_set_name and MPI_Type_get_name and activate tests

activate scatterv test, which needed Carts and Dim

add definitions

fix dist

set default size of Aint to integer*8 ... not ideal, though.
Real mpich testsuite uses autoconf to configure the size

adapt mpif.h for rma

Add f77 RMA tests

mpich testsuite: add f77 topo test

mpich testsuite: activate now working datatype test

[mmalloc] Add documentation

[mmalloc] Avoid useless memset0

[mc] Remove 'previous' variable ind mmalloc_compare_heap()

It was not used.

[mc] Fix test on type in mc_diff

[mc] Fix name of mc_snapshot_memcmp()

[mc] Add unit tests for reading/comparing the whole region in mc_snapshot

[mc] Test flat snapshots as well

[mc] Add unit test for mc_snapshot

Fix distcheck

file was not in the dist

activate working test

Add perf mpich3 tests

reduce size of recently added tests, to avoid them taking so long to complete

Previous commit exposes a bug in OpenMPI, switch algorithm for bcast to avoid it
The bug is that OpenMPI performs selection of algorithm based on the count on messages.
Or this count can be different from one process to another for bcast.
For example this test has a sender sending one element of 4096 bytes, and receivers receiving 1024 elements of 4 bytes
Yes, this is legal in MPI (but stupid ... but legal).
OpenMPI collective algorithm selector selects a different algorithm for these processes, thus deadlocking

activate two tests in collective communications

[mc] Move page store test from the integration test into the unit test infrastructure

Add support for C++ in tools/sg_unit_extractor.pl

leak --

[mc] Use mc_snapshot_region_memcmp() in compare_areas_with_type()

[mc] Avoid memory allocation for flat snapshots in mc_snapshot_region_memcmp()

[mc] Fix name of mc_snapshot_region_memcmp

Merge branch 'mc-fix' into mc-fastsnapshot

Conflicts:
src/mc/mc_diff.c

[mc] Fix check on type name

The name was changed to include 'struct/class'.

[mc] Fix bad parameter passed in mc_diff

In the following calls:

    compare_heap_area_with_type(state,
      area1, area2,
      area1_to_compare, area2_to_compare,
      snapshot1, snapshot2,
      previous, type, size, check_ignore,
      pointer_level);

    compare_heap_area_without_type(state,
      area1, area2,
      area1_to_compare, area2_to_compare,
      snapshot1, snapshot2,
      previous, size, check_ignore);

areaX and real_areaX_to_compare do not point the same data in different
address spaces in some cases.

Sometimes real_areaX_to_compare is adjusted to point to the beginning
of the block or fragment:

    area1_to_compare = addr_block1;
    // or
    area1_to_compare = (char *) addr_frag1 + offset1;
      // (when offset1==0)

but areaX is not adjusted accordingly and still point to the original
data: in the called compare_heap_area_with[out]_type(), the two values
are inconsistent.

Moreover in some cases, the type does not correspond:

  * areaX_to_compareX is the beginning of the fragment ;
  * type is the type of areaX,  not the type of the fragment.

add minloc and maxloc for long_long

this should be err_rank, not err_comm

add a non-existing MPI_2LONG datatype to handle some corner cases in fortran

Xml platform cleaning teshsuite/msg

[mc] Fix lookup of malloc fragment type

In some cases, the type was looked up in the current heapinfo and not
in the snapshot one:

 * in some cases this is not an issue as state->heapinfo2 is currently
   the same as the current heapinfo but this solution is more robust;

 * if we were supposed to look it from state->heapinfo1 this is wrong.

activate working tests
Lower sizes and number of messages for pingping to avoid taking too long

use the right types in fortran for some platforms (based on f2c matching, hopefully correct)

define types used by fortran even when only C code is used (needed sometimes)

Conflicts:
include/smpi/smpi.h

temporary hack to be able to replay traces of fortran codes through the
simulation of a C code

[mc] Fix bound check in mc_snapshot_read_region

[mc] Add mc_snapshot_read_pointer()

[mc] Bug: MC was reading from the wrong region

don't destroy detached comm from the sender side during process cleanup

fix debug message (wrong buffer was printed)

model-checker : update tesh

model-checker : cosmetic in log message

model-checker : check dict content before removing value

model-checker : remove useless condition

[mc] Fast path when comparing NULL against non-NULL pointers

[mc] Bug: MC was reading from the wrong region

Little script to report on our MPICH3 coverage

CMakeLists.txt files are used as a source of information.
I had to slightly change one of them to make it easier to parse.

fix platform paths for windows packaging

[mc] Fix unit MC tests after platform file move/rename

Fix test-smpi-mpich3 tests

Fix CMakeLists.txt

[mc] Remove useless question in assert

Path relative to xml directory works

Xml platform cleaning examples/msg/ns3

Fix ns3

Xml platform cleaning example/scala

Revert commit ed3e911d for better performances

Fix xmls for lua examples

Xml platform cleaning

Add difftool option to tesh to help updating tesh files

Wcloberred is unknown for clang...
Leave it, but avoid failing the build by setting -Wno-unknown-warning-option

Add other warning flags for cpp

as linking may be done through c++, add flags to remove some old/new warnings to cxx flags.

remove warnings in mpich c tests

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

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