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)

We need to have this function public for ruby binding

Add support for various MPI_Type functions, to handle creation of new MPI types

change the behavior of mpi_testall to loop over mpi_test and no longer mpi_testany.

really remove the previously commented code

[trace] save/restore previous state when pause/resume tracing

add support of MPI_Testall

forgot a declaration, and two others were removed by mistake

I thought I had done this one a long time ago. Deactivate sender_gap aggregation.

get the right sender for tracing, because it might not be known if MPI_ANY_SOURCE is used as sender

add MPI_Probe and MPI_Iprobe support, and better handling of the MPI_Status structure, which will need more testing

[trace] give users the possibility to pause/resume all tracing activities

typos

[trace] factorize + cosmetics + debug messages

Use this to understand how the graph is extracted from a platform file:
--log=instr_routing.thres:debug

add the MPI_Wtick function to smpi to allow compilation with IRS benchmark (returns the value of the maxmin/precision parameter)

Doesn't see why MSG_get_host_number should be deprecated.

model-checker : first part to retrieve local variables of the application with dwarfdump