try harder to break mmalloc wrt double-free

Merge remote-tracking branch 'origin/master'

[smpi] correction bug for detached comm

      -all the test passed bug on real exemple it doesn't work
      I have to found why and where to free these requests
      Sorry for the introduction of this bug.

UNLOCK forgotten before THROWF

checks that double free are correctly detected

check if free on fragment already free

add the new mmalloc test to the testsuite

better integration of this test in our framework (like, use XBT for the logs and such)

Bug fix in mrealloc where the previous content could get lost

When reallocating a large block, mrealloc tries to be cleaver and
first frees the area before requesting it again to avoid a copy if
there is some free adjacent memory.

This trick obviously don't mix well with the mmalloc memseting the
allocated memory to 0 before returning it.

So, split the mmalloc in two, and use the non-memsetting one from
mrealloc.

we all love debug informations

add a basic tesh test about mmalloc

kill a very old TODO file. We don't care of running mmalloc between several (system) processes

we need the simgrid library too. True story.

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

make it compile in a recent tree

add executable chord_before_dsend in CMakeLists

version of chord before use MSG_task_dsend

model-checker : restore struct smx_ctx_sysv in smx_context_sysv.c

Don't turn warnings about variables possibly clobbered by longjmp into errors.

Gcc is currently not smart enough and sometimes spits spurious warnings.

Declare the function as static, and make the compiler happy.

Also revert "add a declaration to remove a warning"
There's no need to make this function public.

This reverts commit ce0d4e3a7a5045051980d849700960a78ec78cfb.

Use binary dir for bindir, and cd to home dir.

add a free method for datatypes

model-checker : forget include ucontext.h for struct smx_ctx_sysv

model-checker : test if variable is initialized (warning with optimizations)

model-checker : ignore differences in data segment of binary due to .plt section

model-checker : remove maestro stack from stack comparison

model-checker : cleanup in mc examples

model-checker : forget to remove unused variables

Get local variables in binary and libsimgrid.so and their values for each system state and compare them for state equality detection (to complete if optimizations are enabled)

model-checker : remove unused variable with debug mode disabled

model-checker : extend MC_ignore mechanism for global variables in libsimgrid

model-checker : display information about variables for comparison of local variables

cosmetics

model-checker : check if a difference detected in stack comparison is a pointer on block or fragment previously free

model-checker : functions only used in mc_global declared as static and remove unnecessary strdup

model-checker : store local variables in raw heap

model-checker : memory free

model-checker : double free memory fixed

model-checker : cosmetics reindent

model-checker : move functions about snapshot comparison in a separate file mc_compare.c

model-checker : take snapshot of stacks (local variables values and stack pointer)

model-checker : store equality detected in heap comparison if fragment or block numbers are different

model-checker : move struct s_smx_ctx_sysv in smx_private.h, needed for stacks comparison

model-checker : detect if binary program has been compiled with -g and with optimizations

model-checker : ignore stack areas in heap comparison algorithm for the comparison of local variables with dwarf

model-checker : add libunwind in simgrid dependencies

model-checker : previous algorithm for heap comparison, used to compare the results with the last one

model-checker : print local variables only with debug mode enabled

model-checker : memset forgotten in mmalloc

handle sends of several structs in the same message

bug with MPI_Type_contiguous

add a declaration to remove a warning

add more checking to inputs of SMPI functions
warns about too complex datatypes
avoid creating a complex datatype if it is actually contiguous

Protect from SMPI

just bragging :)

Merge remote-tracking branch 'origin/master'

[smpi] reduce the amount of memory used with the detached communication and non-contiguous memory

[smpi] remove a memory leak linked to the detached communication

generalize non contiguous send method to other MPI types (hvector, indexed, hindexed, and structs, and add tests for those)

slight changes in the paje trace

small improvements to make ctest happy

tell tesh that this test returns -1 and not 0

add a new simdag/dax test to the memcheck too

add a new simdag/dax test

add a tesh file for the example of dax loading that works fine

modify the test to not die poorly anymore. Just gently exit with an
error message.

add a little dax to make a real test with dax_test

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

Thank the Jean Noel dream team in the Changelog

Fix errors about uninitialized variables.

Not sure if it is correct but it cannot be worse and, at least,
it compiles..

Use xbt_abort instead of abort.

Maybe this will improve the code coverage analysis.

avoid breaking the shiny new and working functionality from jean-noel

remove some warnings

merge with jean noel's commit

Merge remote-tracking branch 'origin/master'

Conflicts:
src/smpi/smpi_base.c

[smpi] add a gestion of non-contignous data

add support of MPI_PROC_NULL, correct behavior of waitall and waitsome for some special cases (when some requests are NULL), in order to conform a little more to the MPI standard

provide Test and Wait functions with a better MPI_STATUS_IGNORE and MPI_REQUEST_NULL handling, as well as returning correct empty statuses when needed
Also add MPI_Testsome support

Call __gcov_flush() on abort so that gcda files are correctly written.

This is obviously only activated with enable_coverage=ON.

Mark as volatile variables that "might be clobbered by ‘longjmp’ or ‘vfork’".

Use atexit to call xbt_postexit.

Do not kill all processes when MSG shuts down: simix will cleanup anyway

Plus, it broke Java since this function is now called using atexit(),
and it seems that in Java, the thread running these functions is not
maestro. So our mechanism was trying to fire a simcall from this
thread, which is a Java system thread that is unknown from SimGrid.

As a result, the JVM was segfaulting when exiting.

Deprecate MSG_clean

Ensures that SIMIX_clean is called automatically

Fix paths for test smpi-replay in out-of-source builds.

Fix paths for test simdag-test-fail in out-of-source builds.

fix bug in smpi tracing for wait

update the smpi replay tesh file again, as the problems with bandwidth and latency factors are now fixed

changes the way smpi tracing handles process ranks, to be able to use subgroups

various fixes for probing/testing

add support of a function (necessary to conceptual)

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

update this code so that it matches my thesis document

do not do useless and potentially harmful debug messages in datadesc_postexit

It may happen that xbt_log already exited at this point, leading to
erratic segfaults. At least we saw such behavior with the coroutine
factory of the Java world, where MSG_process_get_pid was segfaulting
when called from here.

Better safe than sorry.

improve a tiny bit the doc

[beginning smpi non contignous]

yet another correction for those factors, hope this is the last one ..

yet another correction for those factors, hope this is the last one ..

the smpi factor parsing was still returning wrong values

mention last commits