[mc] Read smpi_loaded_page from MCed in MC_process_init()

[mc] Check variable size in MC_process_read_variable()

[mc] Read smpi_privatisation_regions from MCed in MC_region_new_privatized()

[mc] mc_checkpoint.c, remove some TODOs

[smpi] Move start_data_exe and size_data_exe in the smpi_ namespace

[mc] Read smpi_process_count() from remote process

[mc] Read from remote process in MC_wait_for_requests()

[mc] Read from remote process in MC_request_get_dot_output()

[mc] Read from remote process in MC_request_is_enabled_by_idx()

[mc] Read from remote process in MC_request_to_string()

[mc] Avoid useless malloc

[mc] Cross process access to simcall synchro

[mc] Fix namespace for transition pattern code

and move to the relevant source file.

[mc] mc_comm_pattern.c containing all communication pattern functions

[mc] MCed memory access in MC_state_get_request()

[mc] Remote support for filling state->internal_comm

[mc] Fetch simix_process_maxpid from MCed

[mc] Simplify nesting of MC_state_get_request

Merge branch 'master' into mc-process

Conflicts:
examples/smpi/mc/non_deterministic.tesh
examples/smpi/mc/only_send_deterministic.tesh
src/include/mc/mc.h
src/mc/mc_base.c
src/mc/mc_comm_determinism.c
src/mc/mc_config.c
src/mc/mc_global.c
src/mc/mc_page_snapshot.cpp
src/mc/mc_request.c

[mc] Add more smx_process_t MCer/MCed translations

[mc] Remote access to process name

[mc] Read host name from remote process

[mc] Cross-process access to smx_process and simcall

Process and host names are not handled yet.

Add missing copyright notice

model-checker : MUTEX_UNLOCK is invisible for MC

model-checker : mutex owner may be NULL after UNLOCK

model-checker : initialize variable

model-checker : clang compliant

model-checker : removed tesh forgotten in DefinePackages.cmake

model-checker : include MUTEX_LOCK and UNLOCK in dot output

model-checker : really (?) fix SIMCALL_MUTEX_LOCK and UNLOCK with MC

model-checker : fix SIMCALL_MUTEX_LOCK with MC

model-checker : extend comm determinism verification

model-checker : new files forgotten

model-checker : non-progressive cycle detection (enabled with --cfg=model-check/termination:1)

fix the formating of the energy plugin's documentation -- sorry for the noise

[mc] Use MC_process_is_enabled instead of MC_request_is_enabled

This is consistent with other similar loops.

some more documentation to the energy plugin

rename one of the energy examples

cosmetics

typo--

Ignore the display of the used collective algorithm

This is because the same tesh file is used to test all collective
variants: we do want them to give the exact same output (functional
testing).

SMPI: info message when the collective algorithm is changed

display the information earlier

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

Improve error message

Update SIMGRID_VERSION_DATE.

Typos.

Replace remaining smx_action by smx_synchro.

Fix comments.

Not sure that the example is really instructive, though.

Have smpirun, smpicc and friends display the simgrid git hash version on --git-version

make smpirun guess the hostfile for cluster tags too

misleading typo in the comments

[mc] Do not use strerror(), not thread-safe

model-checker : include tag in comm determinism verification

[mc] Remote support for MC_deadlock_check() using MC_MESSAGE_DEADLOCK_CHECK IPC message

Merge master into mc-process

[mc] Make an option for file descriptor snapshot (off by default)

This option is currently not supported in client/server mode.

[mc] Mark some issues as fixed

model-checker : intermediate backtracking enabled if _sg_mc_checkpoint > 0

[mc] Server side symbol evaluation

This is currently only handled for symbols represented as variables
(opposed to symbols represented as callbacks): in order to evaluate
the callback we will have to ask the MCed to evaluate the callback for
us and send us the result back.

model-checker : memory leak

[mc] Register symbols as pointers in the examples

[mc] Extend xbt_propositional_symbols

Add support for:

 * general callbacks with a `void*` argument (the `data` field);

 * as an optimisation, a simple pointer to a variable can be passed in
   the `data` field (this can be used in order to enable the MCer to
   fetch the data directly from the MCed memory without trigerring a
   MCed-side callback);

 * a callback function used to free the `data` field.

[mc] Cleanup heap switching code

model-checker : revalidate tesh

model-checker : cosmetics

model-checker : non-recursive liveness algorithm

model-checker : intermediate backtracking with model-check/checkpoint cfg flag

model-checker : communications determinism with visited state equality reduction

[mc] Add MCer handling for MC_MESSAGE_IGNORE_HEAP and MC_MESSAGE_UNIGNORE_HEAP

(wip) Move the MCed public API in the same file

[mc] New message for stack_area

[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

New property: watt_off to denote the disipation when the host is off

[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.

cosmetics in example and revalidate all energy examples

partially fix the energy public API (massive renames ongoing)

Fix energy plugin wrt idle time

- Count the last idle period when the host is destroyed
- More informative debug messages in the plugin
- More informative messages in the example (to make computations
  manually enforcable)

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.

fix a test by hardcoding the used machines

I changed the platform recently to test properties with clusters

rename the property used by the energy plugin for clarity

reduce the amount of cruft loaded in the jarfile (don't include doxygen sources)

oops, remove verbose debug output

even more informative error message

more informative (?) error message

test that the hosts get the cluster's properties

properly pass the cluster's properties to the created hosts

more informative error message in some obscure error settings

cosmetics in comments