[mc] Flag global variables in mc_ignore as belonging to the MCer

[mc] Communicate MC_remove_ignore_heap to the remote model-checker

[mc] Do not call malloc_no_memset in mc_snapshot

The main code should not called mmalloc/mmfree/mmrealloc directly
because it will fail in client/server mode: the server does not have
separate heap and will choke on this.

Replace mmalloc_no_memset with malloc_no_memset which does the right
thing:

  * either call mmalloc_no_memset;

  * or call malloc.

[mc] Implement remote support for MC_ignore

[mc] Move mc_model_checker in its own .c file

[mc] Communication of heap_area_to_ignore to the remote MCer

[mc] Define one struct per MC message type

[mc] Move MC_init_pid outside of mc_server

[mc] Remove some functions in mc_server

[mc] Basic infrastructure for a real model-checker process

The model checker process communicates with the model-checked
application using socket (and wait). Currently it waits for the MCed
process initialisation and fetch its system state, DWARF information,
etc but does not do anything else.

The previous (standalone) mode is currently used by default. The new
behaviour is triggered with the SIMGRID_MC_MODE=server
environment. The idea is to keep the standalone version at least as
long as the new version is not stable/working.

Enable C++11

[mc] Remove useless code in ~DWARF test

[mc] Remote unwinding support

The contexts are still read directly from the current process memory
however.

[mc] Make a copy of the libunwind context when snapshoting the stacks

The libunwind cursors used in `mc_snapshot_stack_t` were referencing
the real/live libunwind contexts: this is wrong because those contexts
change with the simulated application. Instead, we need to take a copy
of the context.

[mc] Add some comments

[mc] Create a separate simgrid-mc program

We create a separate program for the model-checker. The goal is that
this program will:

  - prepare the environment for the child/main process (environment
    variables, maybe LD_PRELOAD a library, pass file descriptors);

  - hold all the model-checker state;

  - communicate with the child process;

  - handle some part of the snapshoting/restoration logic;

  - handle the state comparison logic.

Currently it only enables the custom heap in the child process.

[mc] Remove remaining bits on hardcoded object list

[mc] Add some FIXMEs for cross-process support

[mc] Cross-process support for MC_ignore

[mc] Implements privatization support for MC_process_read

This is currently needed for cross-process MC in order to read the
heap state.

[mc] Abstract the process and a snapshot types with a address_space superclass

Add a `address_space`, superclass of `process` and  `snapshot`.

In order to do this, the contract of MC_process_read and
MC_snapshot_read has been uniformized:

  * the order of arguments has been harmonized;

  * a new flag MC_ADDRESS_SPACE_READ_FLAGS_LAZY is used to avoid copy
    when the data is in the current memory;

  * MC_NO_PROCESS_INDEX has been renamed into MC_PROCESS_INDEX_MISSING;

  * MC_ANY_PROCESS_INDEX has been renamed into MC_PROCESS_INDEX_ANY;

  * MC_PROCESS_INDEX_DISABLED is used to access the raw address space
    (without privatisation support);

  * `const void*` is used instead of `void*` when it possible.

Soem cleanup things are still to be done:

 * remove special NULL handling;

 * add support for SMPI privatization in the process object.

[mc] More comments for mc_dwarf_execute_expression()

Give some basic explanation about the DWARF operations.

[mc] Add more information about mc_dwarf_register_to_libunwind()

[mc] Support for reading heap state from another process

[mc] Fix error handling in MC_process{read,write}

[mc] Access memory from another process

The goal is to be able to move MC in a separate process which should
be more robust and easier to develop:

 * avoid using two heaps (which is combersome);

 * avoid weird interactions bewteen the MC and the application;

 * use optimisation for the whole MC process;

 * avoid the stack-cleaner for the whole MC process.

The functions MC_process_read and MC_process_write are defined to
abstract memory access:

 * when the target process is the current processs, they call
   `memcpy`;

 * otherwise they call `read` or `write` on `/proc/$pid/mem` (on newer
   kernels, `process_vm_readv` and `process_vm_writev`) could be used.

A lot of bits are missing such as:

 * access to `std_heap` is currently not process-aware (the current
   process is used);

 * access to SIMIX layer from MC;

 * communcation/synchronisation between the processes;

 * …

Limitations:

 * for the per-page/chunked snapshot the current implementation uses
   an extra copy (and one syscall per page), we can do better than
   this.

[mc] Enable the custom mm malloc only in MC

We can do better in the future: we can avoid using the main mm malloc
in many cases even for MC.

[mm] Allow to disable the mm based `malloc` at runtime

The goal is to enable the mm based `malloc` only when needed and fall
back to the (more efficient) builtin/next implementation when it is
not needed:

  * run instrospection-less jobs without it;

  * whene the MC and the application are in different processes, the
    MC will be able to run with the standard `malloc` and the
    application will use mm.

As malloc is needed very early in the application initialisation, an
environment variable is used to change the behaviour.

[mc] Optimise most of XBT

[mc] Optimise all the MC compilation units

[mc] Multiple .so support for region snapshots

The region snapshoting logic can handle a variable number of .so
files:

 * add more informations to the snapshot regions,

    * the type (heap, library/executable);

    * the correspoding library/executable;

    * the type of storage (dense/flat, chunked/sparse or privatised)
      and the type-specific variables are defined in an enum
      (variant/tagged enum).

 * SMPI privatisation snapshot regions are stored as children of a
   parent snapshot region

Limitation:

 * we might want to use a more modular/extensible approach OO for the
   snapshot region storage type instead of variant-based approach;

 * SMPI can currently only handle privatisation for the local
   variables of the executable so this is only supported in the MC as
   well for this reason but otherwise the MC is ready to support the
   SMPI privatisation of libraries.

[mc] Multiple .so support in MC_ignore_local_variable()

[mc] Basic support for more other libraries than libsimgrid.so

[mc] Move process info in a new s_mc_process_t structure

This is a beginning of the refactoring in order to support MC-ing a
remote process.

[mc] Fix distcheck

[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