Define _GNU_SOURCE in xbt/misc.h, so that it's defined across full build.

model-checker : forget regions corresponding to libsimgrid for each snapshot

add libunwind-devel package for fedora

[example,smpi,MM] remove the specification of parameter per a file
                  - improve the upkeep of the code

Fix memory leaks in msg_pmm.

Use 1/0 instead of false/true (*flag is an int).

Include is missing when building with tracing=OFF.

Add msg-pmm to the list of tests to run, and fill up pmm.tesh.

Cannot use a dsend here, or it will be aborted when the process is terminated just after.

Check for errors from MSG_task_receive.

Avoid to fail when we cannot read the output of addr2line.

Typo.

add tesh man

add pmm.tesh

function check_fraghead to detect mmalloc metadata corruption

commit my deployment for testing the model-checking of Chord

[examples,smpi,MM] remove a useless function

[examples,smpi,MM] get some positive value for the time

Merge remote-tracking branch 'origin/master'

Remove:
examples/smpi/MM/timer.c
examples/smpi/MM/timer.h

[example,smpi,MM] remove the timer interface which is useless here

An empty body for this if statement looks wrong.

Regenerated.

Abort if getline failed.

Remove unused function.

Declare static functions in c file.

Remove needless declaration of static function.

Remove declaration of static functions from header file.

Also exchange the order of the functions in c file, and avoid a forward declaration.

Expression is in fact of type ptrdiff_t, and modifier is %t.

An inline declaration without definition does not make sense.

Remove generated file after test.

Reorder includes.

Only include math.h after having changed _*_SOURCE.  Otherwise, strange
errors may appear, depending on what's included from smx_private.h for
example.

install libunwind for model-checking

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

Always initialize variable.

Use %z modifier for type size_t.

these files were added recently

shunt a warning, quite dirtily

forgot to handle MPI_ANY_SOURCE as a valid source, they were caught as invalid

add a few tests for smpi

[examples,smpi] remove warnings and resolve a bug (I hope I amn't sure)

improve a comment

Add a tesh file for smpi vector

Merge remote-tracking branch 'origin/master'

[smpi,example] an example of matrix multiplication with non contignous memory
I hope this example is relevant and could increase the coverage

set size to -1 for free fragments in new fragmented block

set value -1 in unsigned short cannot work fine ...

set size_used negative for free fragment/block

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