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

revalidate tesh file after Augustin's commit

moved to examples/smpi/replay/replay.c

add smpi-replay to the SMPI+Tracing part of the test suite

add a tesh file for trace replay with SMPI
Three tests are performed
* single trace
* single trace with tracing
* multiple traces (one per process)

instrument broadcast and reduce actions too

slight modifications to make things work

What? give the same name to the directory and the executable file isn't
a good idea ? Come on ...

update the CMake file

add files to test trace replay with smpi

put the replay stuff in its own directory

sort latency and bandwidth value submitted in config files for smpi, before using them (If the user did provide them sorted from bigger to smaller sizes, only the first and biggest value was being used)

add MPI_BOTTOM definition (needed by AMG benchmark)

MPI_Address didn't return MPI_SUCCESS on success

add the sd_fail test to the others

add a tesh file for sd_fail

circumvent the fact that if you let the simulation runs, trace events
are chomped once for all. However, if watch points are added, everything
is fine.

extend the availability trace for the second part of the sd_fail test.

test works fine with typed tasks. Add extra testing for parallel task
(scheduled on one host), but there is something strange happening ...

solve bug on FAILED tasks that are rescheduled
seems to have raised another bug ...

add a stupid set/get test (wasn't covered)