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

Add missing files for distrib

plug some memleaks in that example

This induce using static memory for the processes that are forcefully
stopped, preventing the end of their main to get executed.

Copy hostfile for smpi examples moved to teshsuite.

Don't ignore return value of 'system'.

It is sometimes declared with attribute warn_unused_result.

Remove memcheck_tests.cmake from repository.

It's a pain to keep it up-to-date, and it already gets regenerated
automatically with enable_memcheck=ON.

move smpi examples to teshsuite

cosmetics

Ref Guide style update

Cancel the comms of leaving processes instead of destroying them

This avoids segfaults when a process leaves the simulation before all
its asynchronous comms (included detached ones) end.

This may leak the canceled actions, but that's another bug, in
comm_cancel.

Ignore the first two lines of output.

Ensure that the mallocator are really inactive when running MC

- before, they were created during the preinit and then destroyed when
  MC was activated.
- now, they are created inactive, and activated when the configuration
  stops if MC is still not activated.
- this mandates some changes around the initialization mechanism in
  the whole stack.
  - one hint that it was a good idea is that before, _surf_init_status
    were never reaching the value 2 (meaning "config now forbidden",
    according to the preexisting asserts).
  - Now this value is set from surf_routing when the first element of
    platform is created. This is a horrible hack intermixing the
    layers, but it was already accredited by the parser that
    configuration could occur until the first <AS>, but no later.
  - we now would need a proper way of increasing the init level of
    simgrid.

I hope that this change did not break anything, but much more work
would be mandated to clean the init mess properly.

[trace] fix tesh'es to compare trace file considering all lines except the first two

[trace] output the command line used to generate the trace file

Function MSG_get_host_number() is not deprecated anymore.

Acknowledge commit b00e4794c073855ab40697e9ec648c6a67f013e9
(Doesn't see why MSG_get_host_number should be deprecated.)

Cosmetics: remove spaces at EOL.

Use function-like macros instead of inline functions for MC_is_active().

When using functions, Gcc apparently does not remove dead branches when
building without optimizations, and then complains at link time with:

Linking C executable ../../bin/gras_stub_generator
../../lib/libsimgrid.so.3.8: error: undefined reference to 'MC_ignore'
../../lib/libsimgrid.so.3.8: error: undefined reference to 'MC_do_the_modelcheck_for_real'
../../lib/libsimgrid.so.3.8: error: undefined reference to 'MC_process_clock_get'
../../lib/libsimgrid.so.3.8: error: undefined reference to 'MC_process_clock_add'
../../lib/libsimgrid.so.3.8: error: undefined reference to 'MC_memory_init'
../../lib/libsimgrid.so.3.8: error: undefined reference to 'MC_new_stack_area'
collect2: error: ld returned 1 exit status

This is if course when building with -Denable_model-checking=OFF.

s/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly pitfall of the codebase

This fixes #14976 (thanks to LucasN for the report)

cosmetics and improvement

Distinguish outputs for mmalloc_test on 32 and 64bits architectures.

document that we really need xbt_os_thread_atfork (for tesh+mmalloc)

improve the mmalloc tesh to ensure that use after free don't ruin mmalloc

Update the mmalloc tesh file

- We now write the offset in hexa
- exact returned pointers changed a bit with last mmalloc rewamping,
  but they still seem reasonable

display offsets in hexa (counting in decimal sometimes difficult)

Do not store any metadata where the user (was) legitimate to write

Before, free fragments were chained within the user area, leading to
obscure breakdown when the user was mean enough to write into the
block after a free(). Now, these data are stored as swag directly into
the mdp->heapinfo that is where we store our metadata.

We have one extra complication due to the fact that heapinfo must be
reallocated when we mmap more memory. When this happens, we have to
update all swag hooks manually to apply the offset.
Yup, this went that bad :-/

Use double quotes around variable expansion to protect spaces.

Make working directory really clean between builds.

Regenerate tesh files for chord examples.

sg_cmdline is a public dynar containing all command-line arguments we got

cosmetics

ensures that runall is never called on empty set

Not sure of when it can happen, but it does, forcing the context
factories to be defensive. This was causing issues in java coroutines
as this factory was not defensive enough. So avoiding future issues
seems interesting to me.

search libunwind with cmake and die at config time if not found

ouch, I've lost an eye on that

try to get /some/ info from the cdash by not intentionaly breaking the tesh files

more cruft to ignore

chord: avoid duplicate call of MSG_comm_test()

Commit caffead (exactly one year ago!) introduced a duplicate call to
MSG_comm_test(): MSG_comm_test() could return true on line 336, and
then be called again there. That caused a crash since the communication
was already finalized in the first MSG_comm_test() call.

list bug fixed in SD_simulate

fix an issue that occurs when SD_simulate is called with a positive
value (simulate for X seconds). The simulation does not always stop
after the expected duration.
Cause: The "less than" test is sometimes tricky with doubles.
Fix: Replace by "difference smaller than 0.00001 (the maxmin precision).

+ indent
+ one more verbose message

Compilation with warning flags

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

Finish the tutorial for new model and api

model-checker : display malloc backtrace according to address

Oups rename function

Add first steps to explain How to add a new model in Simgrid

First steps for making a tutorial on How to create a new API in Simgrid

add better support for MPI datatypes extent values (to correct behavior of gather/scatter of these structs)

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

Fix compilation warning.

src/mc/mc_checkpoint.c:480: warning: cast from pointer to integer of different size

Increase timeout in pmm.tesh.

Return immediately if p==NULL.

Prevents valgrind from beeing hung at exit on a free(0).

New cmake option "enable_mallocators", useful to disable mallocators.

Include standard header files after local includes.

It should fix the build on Debian Lenny (oldstable).

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

add tesh man to cmake

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