Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
5 years agomisleading typo in the comments
Martin Quinson [Sun, 15 Feb 2015 20:24:33 +0000 (21:24 +0100)]
misleading typo in the comments

5 years agomodel-checker : include tag in comm determinism verification
Marion Guthmuller [Fri, 13 Feb 2015 14:00:33 +0000 (15:00 +0100)]
model-checker : include tag in comm determinism verification

5 years agomodel-checker : intermediate backtracking enabled if _sg_mc_checkpoint > 0
Marion Guthmuller [Tue, 10 Feb 2015 15:02:06 +0000 (16:02 +0100)]
model-checker : intermediate backtracking enabled if _sg_mc_checkpoint > 0

5 years agomodel-checker : memory leak
Marion Guthmuller [Tue, 10 Feb 2015 14:04:34 +0000 (15:04 +0100)]
model-checker : memory leak

5 years agomodel-checker : revalidate tesh
Marion Guthmuller [Mon, 9 Feb 2015 18:39:18 +0000 (19:39 +0100)]
model-checker : revalidate tesh

5 years agomodel-checker : cosmetics
Marion Guthmuller [Mon, 9 Feb 2015 18:38:55 +0000 (19:38 +0100)]
model-checker : cosmetics

5 years agomodel-checker : non-recursive liveness algorithm
Marion Guthmuller [Mon, 9 Feb 2015 18:38:39 +0000 (19:38 +0100)]
model-checker : non-recursive liveness algorithm

5 years agomodel-checker : intermediate backtracking with model-check/checkpoint cfg flag
Marion Guthmuller [Mon, 9 Feb 2015 18:37:14 +0000 (19:37 +0100)]
model-checker : intermediate backtracking with model-check/checkpoint cfg flag

5 years agomodel-checker : communications determinism with visited state equality reduction
Marion Guthmuller [Mon, 9 Feb 2015 18:31:41 +0000 (19:31 +0100)]
model-checker : communications determinism with visited state equality reduction

5 years agoNew property: watt_off to denote the disipation when the host is off
Martin Quinson [Tue, 3 Feb 2015 22:07:52 +0000 (23:07 +0100)]
New property: watt_off to denote the disipation when the host is off

5 years agocosmetics in example and revalidate all energy examples
Martin Quinson [Tue, 3 Feb 2015 08:50:56 +0000 (09:50 +0100)]
cosmetics in example and revalidate all energy examples

5 years agopartially fix the energy public API (massive renames ongoing)
Martin Quinson [Tue, 3 Feb 2015 00:58:49 +0000 (01:58 +0100)]
partially fix the energy public API (massive renames ongoing)

5 years agoFix energy plugin wrt idle time
Martin Quinson [Tue, 3 Feb 2015 00:17:09 +0000 (01:17 +0100)]
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)

5 years agofix a test by hardcoding the used machines
Martin Quinson [Tue, 27 Jan 2015 07:03:45 +0000 (08:03 +0100)]
fix a test by hardcoding the used machines

I changed the platform recently to test properties with clusters

5 years agorename the property used by the energy plugin for clarity
Martin Quinson [Mon, 26 Jan 2015 20:57:09 +0000 (21:57 +0100)]
rename the property used by the energy plugin for clarity

5 years agoreduce the amount of cruft loaded in the jarfile (don't include doxygen sources)
Martin Quinson [Mon, 26 Jan 2015 20:56:21 +0000 (21:56 +0100)]
reduce the amount of cruft loaded in the jarfile (don't include doxygen sources)

5 years agooops, remove verbose debug output
Martin Quinson [Mon, 26 Jan 2015 17:07:04 +0000 (18:07 +0100)]
oops, remove verbose debug output

5 years agoeven more informative error message
Martin Quinson [Mon, 26 Jan 2015 09:03:53 +0000 (10:03 +0100)]
even more informative error message

5 years agomore informative (?) error message
Martin Quinson [Sun, 25 Jan 2015 23:26:52 +0000 (00:26 +0100)]
more informative (?) error message

5 years agotest that the hosts get the cluster's properties
Martin Quinson [Sun, 25 Jan 2015 22:57:06 +0000 (23:57 +0100)]
test that the hosts get the cluster's properties

5 years agoproperly pass the cluster's properties to the created hosts
Martin Quinson [Sun, 25 Jan 2015 22:54:30 +0000 (23:54 +0100)]
properly pass the cluster's properties to the created hosts

5 years agomore informative error message in some obscure error settings
Martin Quinson [Sun, 25 Jan 2015 21:56:36 +0000 (22:56 +0100)]
more informative error message in some obscure error settings

5 years agocosmetics in comments
Martin Quinson [Wed, 14 Jan 2015 21:24:50 +0000 (22:24 +0100)]
cosmetics in comments

5 years agoModified error messages when creating CPUs for more verbosity.
Christian Heinrich [Thu, 22 Jan 2015 11:34:25 +0000 (12:34 +0100)]
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.

5 years agomore verbose output following a weird crash on my laptop
suter [Tue, 20 Jan 2015 20:26:01 +0000 (21:26 +0100)]
more verbose output following a weird crash on my laptop

5 years agoUpdated lua README file to reflect current state of SG
Christian Heinrich [Mon, 19 Jan 2015 15:42:26 +0000 (16:42 +0100)]
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.

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 6 Jan 2015 19:58:37 +0000 (20:58 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agoFixed cmake/doxygen errors on old systems.
Christian Heinrich [Tue, 6 Jan 2015 18:10:28 +0000 (19:10 +0100)]
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.

5 years agoChange order of initialization.
Augustin Degomme [Tue, 6 Jan 2015 14:14:01 +0000 (15:14 +0100)]
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 !"

5 years agoChange include order for smpi tests/examples to avoid conflicts
Augustin Degomme [Mon, 5 Jan 2015 17:03:53 +0000 (18:03 +0100)]
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

5 years agoavoid breaking with recent freebsd that implement this flag (as the comment said)
Augustin Degomme [Mon, 5 Jan 2015 15:14:12 +0000 (16:14 +0100)]
avoid breaking with recent freebsd that implement this flag (as the comment said)
This should help other bsds as well

5 years agokepler->luna
Martin Quinson [Mon, 22 Dec 2014 22:04:09 +0000 (23:04 +0100)]
kepler->luna

5 years agoEnsure that MSG_host_self() works from maestro context
Martin Quinson [Mon, 22 Dec 2014 22:03:23 +0000 (23:03 +0100)]
Ensure that MSG_host_self() works from maestro context

5 years agoavoid word being recognized as special by doxygen
Augustin Degomme [Mon, 15 Dec 2014 21:00:27 +0000 (22:00 +0100)]
avoid word being recognized as special by doxygen

5 years agotypos
Augustin Degomme [Mon, 15 Dec 2014 20:52:40 +0000 (21:52 +0100)]
typos

5 years agoupdate doc about privatization .. \nThis was not updated yet. The option was document...
Augustin Degomme [Mon, 15 Dec 2014 20:48:56 +0000 (21:48 +0100)]
update doc about privatization .. \nThis was not updated yet. The option was documented in options.doc, so this my be a duplication of information

5 years agofix tesh
Augustin Degomme [Fri, 12 Dec 2014 16:59:19 +0000 (17:59 +0100)]
fix tesh

5 years agorequalify teshes for vm migration
Augustin Degomme [Fri, 12 Dec 2014 16:57:10 +0000 (17:57 +0100)]
requalify teshes for vm migration

5 years agoupdate changelog
Augustin Degomme [Fri, 12 Dec 2014 16:29:08 +0000 (17:29 +0100)]
update changelog

5 years agodoc update for new appenders
Augustin Degomme [Fri, 12 Dec 2014 16:27:42 +0000 (17:27 +0100)]
doc update for new appenders

5 years agoPatch by F.Chaix : add two "new" log appender methods : split and roll
Augustin Degomme [Fri, 12 Dec 2014 15:46:01 +0000 (16:46 +0100)]
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

5 years agomore documentation about the simcall mechanism
Martin Quinson [Fri, 12 Dec 2014 12:57:29 +0000 (13:57 +0100)]
more documentation about the simcall mechanism

5 years ago(try to) avoid looping forever, temporarily.
Augustin Degomme [Wed, 10 Dec 2014 13:25:01 +0000 (14:25 +0100)]
(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

5 years agoFix windows build (this is now used from the java library)
Augustin Degomme [Wed, 10 Dec 2014 09:30:42 +0000 (10:30 +0100)]
Fix windows build (this is now used from the java library)

5 years agofix dot output with file descriptor checkpoint/restore
Marion Guthmuller [Wed, 10 Dec 2014 12:39:16 +0000 (13:39 +0100)]
fix dot output with file descriptor checkpoint/restore

5 years agoPut a 300 seconds timeout on each test with ctest
Augustin Degomme [Tue, 9 Dec 2014 15:37:00 +0000 (16:37 +0100)]
Put a 300 seconds timeout on each test with ctest
This should really be enough (the default was 1500...)

5 years agoFix build
Augustin Degomme [Tue, 9 Dec 2014 09:46:18 +0000 (10:46 +0100)]
Fix build
Some vm tests are still broken and some are looping, they need to be fixed

5 years ago[mc] Remove redundant typedefs
Gabriel Corona [Tue, 9 Dec 2014 10:21:49 +0000 (11:21 +0100)]
[mc] Remove redundant typedefs

Clang complains about typedef redefinitions in pre-C11 mode.

5 years agobashism -- (fix https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=772329 )
degomme [Mon, 8 Dec 2014 22:37:07 +0000 (23:37 +0100)]
bashism -- (fix https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=772329 )

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Adrien Lebre [Mon, 8 Dec 2014 17:14:47 +0000 (18:14 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoFixed return values for several MPI_WIN functions
Christian Heinrich [Mon, 8 Dec 2014 12:38:34 +0000 (13:38 +0100)]
Fixed return values for several MPI_WIN functions

(statements had to be wrapped in else-clauses)

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Adrien Lebre [Mon, 8 Dec 2014 09:20:23 +0000 (10:20 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoFew temporary debug messages - adrien
Adrien Lebre [Mon, 8 Dec 2014 09:20:12 +0000 (10:20 +0100)]
Few temporary debug messages - adrien

5 years agoAdd a mutex to lock access to the SMPI mailboxes when a message is posted
Augustin Degomme [Sat, 6 Dec 2014 15:05:38 +0000 (16:05 +0100)]
Add a mutex to lock access to the SMPI mailboxes when a message is posted
Should avoid race condition, while keeping isolation from SIMIX

5 years agoRevert "Avoid using simcalls here, as by descheduling the process, we could misplace...
Augustin Degomme [Sat, 6 Dec 2014 02:00:14 +0000 (03:00 +0100)]
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.

5 years agoactivate mpich3 tests for post/wait/start/complete RMA calls
Augustin Degomme [Fri, 5 Dec 2014 13:59:20 +0000 (14:59 +0100)]
activate mpich3 tests for post/wait/start/complete RMA calls

5 years agoAdd MPI_Win_post, MPI_Win_start, MPI_Win_complete, and MPI_Win_wait support.
Augustin Degomme [Fri, 5 Dec 2014 13:51:37 +0000 (14:51 +0100)]
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.

5 years ago[mc] Fix distcheck
Gabriel Corona [Thu, 4 Dec 2014 10:41:02 +0000 (11:41 +0100)]
[mc] Fix distcheck

5 years ago[mc] Don't include libunwind.h in non MC builds
Gabriel Corona [Thu, 4 Dec 2014 10:07:40 +0000 (11:07 +0100)]
[mc] Don't include libunwind.h in non MC builds

5 years agoMerge branch 'master'
Gabriel Corona [Thu, 4 Dec 2014 09:45:49 +0000 (10:45 +0100)]
Merge branch 'master'

5 years ago[mc] Don't use unprototyped functions
Gabriel Corona [Thu, 4 Dec 2014 09:43:01 +0000 (10:43 +0100)]
[mc] Don't use unprototyped functions

5 years ago[mc] Remove useless header #includes
Gabriel Corona [Tue, 2 Dec 2014 13:02:26 +0000 (14:02 +0100)]
[mc] Remove useless header #includes

5 years agoforgot to add this include
Augustin Degomme [Tue, 2 Dec 2014 18:17:49 +0000 (19:17 +0100)]
forgot to add this include

5 years agolet's try to please windows
Augustin Degomme [Tue, 2 Dec 2014 17:20:13 +0000 (18:20 +0100)]
let's try to please windows

5 years agoAvoid using simcalls here, as by descheduling the process, we could misplace some...
Augustin Degomme [Tue, 2 Dec 2014 14:50:12 +0000 (15:50 +0100)]
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

5 years agotypos-=2
Augustin Degomme [Tue, 2 Dec 2014 14:44:45 +0000 (15:44 +0100)]
typos-=2

5 years agoavoid problem when freeing pointer with lb!=0
Augustin Degomme [Tue, 2 Dec 2014 14:44:22 +0000 (15:44 +0100)]
avoid problem when freeing pointer with lb!=0

5 years agodo the same thing as before with IB model parameters
Augustin Degomme [Mon, 1 Dec 2014 13:53:19 +0000 (14:53 +0100)]
do the same thing as before with IB model parameters

5 years ago[mc] Modularise header files for MC
Gabriel Corona [Tue, 2 Dec 2014 09:41:38 +0000 (10:41 +0100)]
[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.

5 years ago[mc] Define a type for MC object information flags
Gabriel Corona [Tue, 2 Dec 2014 09:00:28 +0000 (10:00 +0100)]
[mc] Define a type for MC object information flags

5 years ago[mc] Remove MC_ignore_global_variable() calls
Gabriel Corona [Mon, 1 Dec 2014 14:31:29 +0000 (15:31 +0100)]
[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.

5 years ago[mc] Enable MC specific behaviour in replay mode
Gabriel Corona [Mon, 1 Dec 2014 12:47:04 +0000 (13:47 +0100)]
[mc] Enable MC specific behaviour in replay mode

5 years agoRevert "[mc] Enable MC specific behaviour in replay mode"
Gabriel Corona [Mon, 1 Dec 2014 13:01:43 +0000 (14:01 +0100)]
Revert "[mc] Enable MC specific behaviour in replay mode"

This reverts commit 33eca433c4f055cdfcc55e46d125f8708e1848c7.

Build is broken.

5 years ago[mc] Enable MC specific behaviour in replay mode
Gabriel Corona [Mon, 1 Dec 2014 12:47:04 +0000 (13:47 +0100)]
[mc] Enable MC specific behaviour in replay mode

5 years ago[mc] Remove useless condition check
Gabriel Corona [Mon, 1 Dec 2014 12:17:59 +0000 (13:17 +0100)]
[mc] Remove useless condition check

5 years ago[mc] Only enable the umpire test for MC builds
Gabriel Corona [Mon, 1 Dec 2014 11:33:16 +0000 (12:33 +0100)]
[mc] Only enable the umpire test for MC builds

5 years agoUse pthread mutex instead of semaphore in mm
Gabriel Corona [Thu, 27 Nov 2014 10:25:22 +0000 (11:25 +0100)]
Use pthread mutex instead of semaphore in mm

5 years agoFix dist
Gabriel Corona [Mon, 1 Dec 2014 11:16:45 +0000 (12:16 +0100)]
Fix dist

5 years agos/formated/formatted/
Gabriel Corona [Fri, 28 Nov 2014 13:38:31 +0000 (14:38 +0100)]
s/formated/formatted/

5 years ago[mc] Initial support MC record/replay
Gabriel Corona [Thu, 30 Oct 2014 13:39:17 +0000 (14:39 +0100)]
[mc] Initial support MC record/replay

The idea is to record an execution path in MC mode inorder to be able
to replay it outside of the MC (event with a non-MC build). Some very
basic (an unobtrusive) MC code is compiled even when MC is disabled.

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Adrien Lebre [Mon, 1 Dec 2014 09:55:12 +0000 (10:55 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoand now, fix the java teshsuite, re-sorry
Martin Quinson [Sat, 29 Nov 2014 13:29:31 +0000 (14:29 +0100)]
and now, fix the java teshsuite, re-sorry

I shouldnt try to hack on simgrid at week-ends :-(

5 years agofix the build of java bundles, sorry
Martin Quinson [Sat, 29 Nov 2014 13:03:13 +0000 (14:03 +0100)]
fix the build of java bundles, sorry

5 years agoDont produce that pdf output that we dont use
Martin Quinson [Sat, 29 Nov 2014 12:31:19 +0000 (13:31 +0100)]
Dont produce that pdf output that we dont use

5 years agoreindent and improve displayed message
Martin Quinson [Sat, 29 Nov 2014 10:56:42 +0000 (11:56 +0100)]
reindent and improve displayed message

5 years agoput together the java-based tests
Martin Quinson [Sat, 29 Nov 2014 10:53:58 +0000 (11:53 +0100)]
put together the java-based tests

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Adrien Lebre [Sat, 29 Nov 2014 08:59:40 +0000 (09:59 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agomove smpi bandwidth and latency factors out of the ifdef HAVE_SMPI. SMPI and IB netwo...
Augustin Degomme [Fri, 28 Nov 2014 17:04:29 +0000 (18:04 +0100)]
move smpi bandwidth and latency factors out of the ifdef HAVE_SMPI. SMPI and IB network models can be used without using SMPI

5 years agomerge msg_vm.c - adrien (please note that there is one line (destruction of the tx_pr...
Adrien Lebre [Fri, 28 Nov 2014 16:29:16 +0000 (17:29 +0100)]
merge msg_vm.c - adrien (please note that there is one line (destruction of the tx_process) where I don't not remind whether it is usefull or not... this can lead to a crash unfortunately, I will fix it later)

5 years agoRemove warnings in vm
Augustin Degomme [Fri, 28 Nov 2014 09:29:01 +0000 (10:29 +0100)]
Remove warnings in vm

5 years agoFix dist
Augustin Degomme [Fri, 28 Nov 2014 09:20:33 +0000 (10:20 +0100)]
Fix dist

5 years agoremove potential bug / clang warning
Augustin Degomme [Tue, 25 Nov 2014 12:16:19 +0000 (13:16 +0100)]
remove potential bug / clang warning
size_t being undefined, the comparison < 0 was never true

5 years agosupport timeout of migration
Takahiro Hirofuchi [Thu, 27 Nov 2014 11:24:07 +0000 (20:24 +0900)]
support timeout of migration

Fixme: The default timeout value is hard-coded. Modify it and compile
the code if necessary.

5 years agofix indent in migration code
Takahiro Hirofuchi [Thu, 27 Nov 2014 11:14:17 +0000 (20:14 +0900)]
fix indent in migration code

5 years agoremove unnecessary comment out
Takahiro Hirofuchi [Thu, 27 Nov 2014 11:10:55 +0000 (20:10 +0900)]
remove unnecessary comment out

5 years agoremove the unnecessary vm object in migration
Takahiro Hirofuchi [Thu, 27 Nov 2014 10:27:48 +0000 (19:27 +0900)]
remove the unnecessary vm object in migration

5 years agoremove unused code in migration
Takahiro Hirofuchi [Thu, 27 Nov 2014 08:55:02 +0000 (17:55 +0900)]
remove unused code in migration

5 years agoremove trailing space in the migration code
Takahiro Hirofuchi [Thu, 27 Nov 2014 06:49:41 +0000 (15:49 +0900)]
remove trailing space in the migration code

5 years agoremove unused migration code for CPU overheads
Takahiro Hirofuchi [Thu, 27 Nov 2014 06:28:34 +0000 (15:28 +0900)]
remove unused migration code for CPU overheads

This commit should not affect anything.

5 years ago[mc] Test if the stack-cleaner has any effect
Gabriel Corona [Mon, 24 Nov 2014 15:03:10 +0000 (16:03 +0100)]
[mc] Test if the stack-cleaner has any effect

In order to test this:

 * we compile the same test program with and without the stack cleaner
   (`-fstack-cleaner`, `-fno-stack-cleaner`);

 * in this program, we move random bytes in the stack;

 * we expect the stack-cleaner to zero them out.

This test in only used if the configure stack-cleaner is detected to
support the `-fstack-cleaner` CLI option (it is the stack-cleaner
compiler wrapper).