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

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

model-checker : include tag in comm determinism verification

model-checker : intermediate backtracking enabled if _sg_mc_checkpoint > 0

model-checker : memory leak

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

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

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)

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

Modified error messages when creating CPUs for more verbosity.

As 0 may be assumed as the default powerPeak value (if no value specified),
the error message should point out that the power attribute may have been
forgotten. This was added in this commit.

more verbose output following a weird crash on my laptop

Updated lua README file to reflect current state of SG

- File small_platform.xml was moved to a different location
- Added full example for execution; without it, it doesn't work.

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

Fixed cmake/doxygen errors on old systems.

cmake 2.8.7 on Ubuntu 12.04 LTS does not support the
DOXYGEN_VERSION variable, hence documentation can never be
built as this variable is required.

The added code checks whether the DOXYGEN_EXECUTABLE
is set and executes doxygen --version itself; hence
making this variable available.

Tested on Ubuntu 12.04 LTS.

Change order of initialization.
If the cpumodel is constructed before msg init is called, a log message is sent without proper init
This meant undefined behavior, and in one particular case the wrong locale being selected, the message used a comma as a separator instead of a dot.
There was a big hint in the comment just before : "do not do anything before the msg.init call !"

Change include order for smpi tests/examples to avoid conflicts
This include folder is the one where our mpi.h file lives.
This file is provided by various other libraries.
When another simgrid include folder contains another mpi.h file from another library, build is broken
This trouble was seen on a freebsd system with graphviz installed, which added an include path in /usr/local/include, where there was a mpi.h file from mpich
This commit forces the one from smpi to be the first and only mpi.h file examples/tests do use

avoid breaking with recent freebsd that implement this flag (as the comment said)
This should help other bsds as well

kepler->luna

Ensure that MSG_host_self() works from maestro context

avoid word being recognized as special by doxygen

typos

update doc about privatization .. \nThis was not updated yet. The option was documented in options.doc, so this my be a duplication of information

fix tesh

requalify teshes for vm migration

update changelog

doc update for new appenders

Patch by F.Chaix : add two "new" log appender methods : split and roll
split will create new files when a specified size is reached
roll will overwrite the file when this size is reached
example syntax is : --log=root.appender:splitfile:10000:myfilename_%.txt

The % is a wildcard that will be replaced by the number of the file. If no % is present, it will be at the end

more documentation about the simcall mechanism

(try to) avoid looping forever, temporarily.

This value was 10 before, and was set to 3 recently, but weirdly this caused vm migration simulations to loop forever.
It works with an infinite timeout, but the message is lost with a few values (1,2 ,3, 6, 9 were tested and failed, other ones up to 13 at least do succeed), while succeeding with other ones (after a few hundred timeouts, so this seems to be working)
So if an MSG expert sees this and can find the problem here ..

Test should still fail with this patch, but just because teshes were not requalified yet

Fix windows build (this is now used from the java library)

fix dot output with file descriptor checkpoint/restore

Put a 300 seconds timeout on each test with ctest
This should really be enough (the default was 1500...)

Fix build
Some vm tests are still broken and some are looping, they need to be fixed

[mc] Remove redundant typedefs

Clang complains about typedef redefinitions in pre-C11 mode.

bashism -- (fix https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=772329 )

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

Fixed return values for several MPI_WIN functions

(statements had to be wrapped in else-clauses)

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

Few temporary debug messages - adrien

Add a mutex to lock access to the SMPI mailboxes when a message is posted
Should avoid race condition, while keeping isolation from SIMIX

Revert "Avoid using simcalls here, as by descheduling the process, we could misplace some messages in mailboxes, and end up deadlocking."

This reverts commit 63ba498484d4fcfc706be1e514d7fedbc6c9f4be.

activate mpich3 tests for post/wait/start/complete RMA calls

Add MPI_Win_post, MPI_Win_start, MPI_Win_complete, and MPI_Win_wait support.

This is the second (out of 3) of the classic MPI RMA synchronization methods.
This version is naive and may not be what real MPI lib do, as the standard lets the implementer chose the behavior of theses calls.

[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