model-checker : unused variable

model-checker : uninitialized variables

model-checker : missing header

model-checker : really fix mc dependancies with MC ON or OFF

model-checker : fix dependancies without MC

Merge branch 'master' into mc-process

Merge branch 'master' into mc-process

Conflicts:
teshsuite/mc/replay/random_bug.c

[mc] Fix comm_determinism to work in split MCer/MCed

Elaborated on error messages in src/msg/msg_process.c

- 'Invalid parameter' error message now also shows the reason
  why it's invalid: Because it must not be NULL.

[mc] Fix MCed event/message loop

[mc] Kill the MCed process if/when the MCer dies

[mc] DRY MC_do_the_modelcheck_for_real()

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

tiny doc improvement

provide placeholder headers to not disturb the users

[mc] Move comm determinism code in mc_comm_determinism.c

[mc] Move liveness in MCer process

SMPI: Fixed wrong value for MPI_ERR_LASTCODE.

This patch was submitted by Samuel Thibault. Thanks!

SMPI: More errorclasses: Added all errorclasses from MPI-3.0

- All classes as shown in
  http://www.mpi-forum.org/docs/mpi-3.0/mpi30-report.pdf on page 662/663
  are now available.

This tesh file was actually wrong. This is fixed by the modifications induced by exception/exception

document this test as broken

Cosmetics

Integrate this exception example to the standard set of tests.

Making the exception/exception test work:

  Always putting the process in the process_to_run list is bad.
  Indeed, when canceling tasks (e.g., with SIMIX_host_execution_cancel),
  the action will be cancelled and the corresponding process will be
  run again when the action is popped from the list. This leads to very
  surprising behavior since the action is only popped way after, generally
  after calling surf_solve.... This is why the fix has two parts:
  1) Do not put in the process_to_run list when canceling the action
  2) Once all process have been run, pop the surf actions in case some have been modified

Adding debug messages

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