[mc] Don't include libunwind.h in non MC builds

Merge branch 'master'

[mc] Don't use unprototyped functions

[mc] Remove useless header #includes

forgot to add this include

let's try to please windows

Avoid using simcalls here, as by descheduling the process, we could misplace some messages in mailboxes, and end up deadlocking.

Calling directly SIMIX functions is not really the best, but it may fix a bad heisenbug

typos-=2

avoid problem when freeing pointer with lb!=0

do the same thing as before with IB model parameters

[mc] Modularise header files for MC

This is a preparation step for the upcoming refactorisation of the MC
code in order to MC an external process.

[mc] Define a type for MC object information flags

[mc] Remove MC_ignore_global_variable() calls

 - compared_pointer which does not exist;
 - smpi_current_rank does not exist;
 - maestro_stack_start and mastro_stack_end doe not need to be ignored.

[mc] Enable MC specific behaviour in replay mode

Revert "[mc] Enable MC specific behaviour in replay mode"

This reverts commit 33eca433c4f055cdfcc55e46d125f8708e1848c7.

Build is broken.

[mc] Enable MC specific behaviour in replay mode

[mc] Remove useless condition check

[mc] Only enable the umpire test for MC builds

Use pthread mutex instead of semaphore in mm

Fix dist

s/formated/formatted/

[mc] Initial support MC record/replay

The idea is to record an execution path in MC mode inorder to be able
to replay it outside of the MC (event with a non-MC build). Some very
basic (an unobtrusive) MC code is compiled even when MC is disabled.

and now, fix the java teshsuite, re-sorry

I shouldnt try to hack on simgrid at week-ends :-(

fix the build of java bundles, sorry

Dont produce that pdf output that we dont use

reindent and improve displayed message

put together the java-based tests

move smpi bandwidth and latency factors out of the ifdef HAVE_SMPI. SMPI and IB network models can be used without using SMPI

Remove warnings in vm

Fix dist

remove potential bug / clang warning
size_t being undefined, the comparison < 0 was never true

support timeout of migration

Fixme: The default timeout value is hard-coded. Modify it and compile
the code if necessary.

fix indent in migration code

remove unnecessary comment out

remove the unnecessary vm object in migration

remove unused code in migration

remove trailing space in the migration code

remove unused migration code for CPU overheads

This commit should not affect anything.

[mc] Test if the stack-cleaner has any effect

In order to test this:

 * we compile the same test program with and without the stack cleaner
   (`-fstack-cleaner`, `-fno-stack-cleaner`);

 * in this program, we move random bytes in the stack;

 * we expect the stack-cleaner to zero them out.

This test in only used if the configure stack-cleaner is detected to
support the `-fstack-cleaner` CLI option (it is the stack-cleaner
compiler wrapper).

[mc] Disable/enable the stack-cleaner from a CLI argument (-f[no-]stack-cleaner)

[mc] Fix the stack cleaner

The condition was broken and the %rsp limit was too high.

[mc] Fix umpire tests

Merge branch 'xp'

Revert "Temporarily disable an option"

Back to normal.

Temporarily disable an option

The option somehow changes the results in the MC from previous
experiments. It is disabled temporarily in this commit in order to be
able to reproduce those results with the new commits.

Infrastructure for statically defined tracepoints

3 modes are supported on compilation:

 * normal (no SDT);

 * SDT (systemtap statically defined tracepoint);

 * UST (lttng userspace static tracepoint, compatible with systemtap
   if LTTNG_UST_HAVE_SDT_INTEGRATION).

[mc] Remove reference to DW_TAG_mutable_type:

Is was in a DWARFv3 draft but was removed from the final version: it
was removed from libdw which breaks compilation.

typo -= 2

protect these calls to smpi_datatype_size as they are not always relevant

Fix problem with unknown datatypes in replay/tracing.
When datatype was unknown to replay, it was replayed as MPI_BYTE.

This modification adds a parameter to encode_datatype, to tell tracing that the datatype size has to be taken into account in the count parameter
This results in the fact that a message of count*datatype_size being replayed as a message of (count*datatype_size)*sizeof(MPI_BYTE), which is the same.

This is not a perfect or elegant solution, but :
- it works.
- it handles manually created datatypes
- it doesn't break previously generated replay files
- it avoids testing each time 50 different datatypes (see encode_datatype function)
- the new parameter avoids doing strcmp with "-1" at each time, performance should not be too bad

There should not be msg datatypes here

[mm] Disable HAVE_GNU_LD code in order to get rid of the junkarea

The HAVE_GNU_LD mode of mmalloc delegates in some cases to standard
malloc()/free() which are resolved with dlsym(). This cause some
bootstrap problems which are only resolved with the junkarea: the
junkarea is regularly broken when adding dependencies because the
junkarea is then too small.

By disabling the HAVE_GNU_LD path, we get rid of the junkarea hack.

clean after augustin, as usual

Remove the unmodified NAS examples as they are really useless nowadays

I'm still unsure of what to do with the modified ones. I vote for
removing them if we have enough examples already.

Remove warning about uninitialized variable

Don't use xbt_os_time() when not needed

Fix small leak in NetworkIBModel::NetworkIBMode()

[mc] Disable timer in MC

Timers break state comparison.

[mc] Fix distcheck

[mc] Add useless parends to remove WTF warning-which-is-an-error

Simplify use of dict for smpi attr handling.
Switch from char keys to direct int keys, as in MPI, because we can, actually (with dict_ext functions)

replay_multiple should really work with out of build tests, now

[mc] Don't fork another process in the hop spot, MC_get_current()

use the manually privatized version of this algorithm only when needed.

add mpi_info_* support to fortran, and activate relevant tests

[mc] Fix the stack-cleaner

 * '1 => tempfile' does not work on some versions of Ruby;

 * make sure the system() arg is not passed to the shell.

[mc] Add MC_dump_stacks

forgot copyright info at some point ... shame

uncomment some calls to free

Add mpi_info support for rma calls

this test should now work with out-of-source builds

replace xbt_dynar_member by xbt_dynar_search_or_negative in this test.

There is a weird bug with xbt_dynar_member on some systems.
When an exception is raised, backtracking mechanism of libc6 can cause segfaults (and valgrind complains quite a lot, even on systems where it does not crash)
Is this related to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=735090 ?

example obtained stack
 Invalid read of size 4
    at 0x476E383: backtrace (backtrace.c:141)
    by 0x43DC03B: xbt_backtrace_current (backtrace_linux.c:84)
    by 0x43DB200: xbt_dynar_search (dynar.c:474)
    by 0x43DB31F: xbt_dynar_member (dynar.c:511)
    by 0x80494A3: test_launcher (host_on_off_processes.c:35)
    by 0x43C889E: smx_ctx_sysv_wrapper (smx_context_sysv.c:187)
    by 0x46B2BDA: makecontext (makecontext.S:87)

As functionality is the same, using the exception-less version of xbt_dynar_member should avoid the problem, until we find out more about it

[mc] Fix FD checkpoint/restore

model-checker : comment debug printf

model-checker : save and restore file descriptors

deactivate test that actually needs MPI_Type_get_envelope

cleanup after martin's cleanup

clean after augustin ;)

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

fix the tesh of one last command

Thanks adsein for all your great work on these points.

changelog update

Add preliminary support for MPI_Pack, MPI_Pack_size, and MPI_Unpack.
Activate tests for these functions. Somes cases with too complex imbricated datatypes are not supported (yet).

fix compilation without mpich3 testsuite

update gitignore and changelog

revalidate yet another tesh output

I also changed the outputs done by the program to ease the life of tesh.

revalidate another tesh file

revalidate a tesh output

Add mpich3 tests for MPI_Info calls.
As expected, the get_nthkey does not behave as expected, and it won't.

Add MPI_Info_* support.
This adds MPI_Info_create, MPI_Info_free, MPI_Info_get, MPI_Info_dup, MPI_Info_delete, MPI_Info_get_nkeys, MPI_Info_get_nthkey, MPI_Info_get_valuelen functions.
This is just basically a xbt dict wrapper.

We may have issues with the get_nthkey, as the xbt dict does not really keep the order.. but this mpi call is hum ... stupid? aniway.

[mc] Fix the previous stack-cleaning optimisation

[mc] Do nto clean the main stack

We only need to clean the stacks of the application processes.
Otherwise, we spend a *lot* of time cleaniong the stack in the MC code
which slows SimGridMC a lot and is useless anyway.

The way we check if we need to clean the stack is currently quite
haskish and could be improved.

[mc] Add stack-cleaning compiler wrappers

This compiler wrappers clear each satck frame before using it in order
to avoid issues with unitialized variables in SimGridMC state
comparison.

Compiling with those compiler is much slower.

Remove some most simcall HEADERs

[popping] allow to omit the handler

simcalls handlers are good to get extra arguments from the simcall
(such as the issuer) or to check the parameters, but when there is no
such thing to do, they just load the picture for nothing.

document my recent changes in simix

rename smx_action_t to smx_synchro_t

This is an old idea, that I want to implement since at least 3 years.
It removes an ambiguity with surf_action_t, and makes it explicit that
these things are a way to synchronize the processes with their
environment.

better handling of blocking simcalls in the generated popping

Blocking simcalls were marked as simcalls returning void. Being
explicit helps in that obscure part of the code.

some more cosmetics in the popping generator

Generate automatically the simcall_HANDLER_* prototypes

- Writing this code manually was burdensome
- This allows to check that the definition in simcall.in actually
  match the handler prototype (safer as we are casting wildly)
- This allows to detect (and destroy) some now unused simcalls

kill dead code