[mc] Add %rip and %rsp in MC_dump_stacks() for x86_64

We'd something better to debug ucontexts.

[mc] Fix cross process access to xtd_heap in mc_diff.c

[mc] Fix broken mc_snapshot_get_heap_end()

[mc] Bring back snapshot comparison in safety

[mc] Fix cross-process access in MC_request_is_enabled() for SIMCALL_MUTEX_LOCK

[mc] Fix cross-process support in visited_state_new()

[mc] Read context from remote process in MC_take_snapshot_stacks()

[mc] Cross-process MC/safety implementation

[mc] Fix buffer size in MC_process_refresh_malloc_info()

malloc_info[heaplimit] is a valid value

[mc] Fix MC_process_read_dynar_element

 * Add a length parameter and check it against dynar->elmsize;
 * Check out of bound access;
 * Fix the callers.

[mc] Fix: MC_random always starts from 0

[mc] Fix Remote remote access to simix_process_maxpid

[mc] Resolve process in MC_request_is_enabled()

[mc] Remote xbt_dynar_foreach() in MC_request_testany_fail()

[mc] Read from MCed

[mc] Use MC_process_read_string() in MC_smx_process_get_name() (DRY)

[mc] Remove FIXMEs

[mc] Do not take NULL to mean 'the current address space' in dwarf expressions

[mc] Read rdv->name from MCed in mc_comm_determinism.c

[mc] Read MPI_Request from MCed in mc_comm_determinism.c

[mc] Read *pattern->comm from MCed in mc_comm_dterminism.c

[mc] Read *comm->comm.src_buff from MCed

[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