Make a more complex example that tests more combinations of calls/exceptions

Merge before commiting VM changes - Adrien

Add hosts test before migrating a VM - adrien

[mc] Cleanup safety initialisation code

[mc] Cross-process xbt_swag_size(simix_global->process_list)

[mc] Fix safety initialisation code

improve Java interface

- Rewrite some javadoc comments
- Reduce the visibility of fields that are not public

kill unused code: Task.get/setId()

reindent the java sources

Rename Task.setDataSize() to Task.setBytesAmount()

Interface cleanup

Merge Task.getRemainingDuration() and Task.getComputeDuration() into
Task.getFlopsAmount() in both C and Java (lua not done yet)

add the path to jni.h to eclipse config

rename parameters to make them unanbigous

mv msg/msg.h simgrid/msg.h

mv simdag/simdag.h simgrid/simdag.h

cleanups and simplifications to our build system

- It is now impossible to turn TRACING off at compile time
- Some headers were moved around

rename parameters all around to make their meaning unambiguous

revalidate teshes

Rename Process.currentProcess() to Process.getCurrentProcess()

cosmetics about excluded tests to ease the writing of reporting scripts

no need for that include

dont segfault when exiting before everything is allocated (as on parse errors)

dont mangle error messages when surf_exit segfaults

[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