Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
9 years agoAdd supression file for Valgrind.
Arnaud Giersch [Wed, 25 Sep 2013 12:43:11 +0000 (14:43 +0200)]
Add supression file for Valgrind.

9 years agomodel-checker : increase timeout
Marion Guthmuller [Wed, 25 Sep 2013 11:37:48 +0000 (13:37 +0200)]
model-checker : increase timeout

9 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Wed, 25 Sep 2013 09:50:05 +0000 (11:50 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

9 years agoMSG_storage API improvements (or not)
Pierre Veyre [Wed, 25 Sep 2013 09:49:19 +0000 (11:49 +0200)]
MSG_storage API improvements (or not)

9 years agoremove some tests from memcheck tests. They purposely do not finish cleanly.
Augustin Degomme [Wed, 25 Sep 2013 08:31:04 +0000 (10:31 +0200)]
remove some tests from memcheck tests. They purposely do not finish cleanly.

9 years agoclose cleanly test for valgrind to be happier
Augustin Degomme [Wed, 25 Sep 2013 08:21:09 +0000 (10:21 +0200)]
close cleanly test for valgrind to be happier

9 years agoFix indentation.
Arnaud Giersch [Wed, 25 Sep 2013 07:31:29 +0000 (09:31 +0200)]
Fix indentation.

9 years agoRepair build.
Arnaud Giersch [Wed, 25 Sep 2013 07:29:42 +0000 (09:29 +0200)]
Repair build.

9 years agoRemove useless lines.
Arnaud Giersch [Wed, 25 Sep 2013 07:21:13 +0000 (09:21 +0200)]
Remove useless lines.

9 years agoAvoid to leave stale temporary files.
Arnaud Giersch [Wed, 25 Sep 2013 07:15:27 +0000 (09:15 +0200)]
Avoid to leave stale temporary files.

9 years agoshared allocations are disabled on windows, do not test them
Augustin Degomme [Tue, 24 Sep 2013 22:14:10 +0000 (00:14 +0200)]
shared allocations are disabled on windows, do not test them

9 years agodouble definition makes windows unhappy
Augustin Degomme [Tue, 24 Sep 2013 21:53:45 +0000 (23:53 +0200)]
double definition makes windows unhappy

9 years agointeracting with jenkins on a windows VM through git is a pure instant of joy
Martin Quinson [Tue, 24 Sep 2013 19:55:44 +0000 (21:55 +0200)]
interacting with jenkins on a windows VM through git is a pure instant of joy

9 years agotry to ensure that the tesh script is executable on windows
Martin Quinson [Tue, 24 Sep 2013 19:45:00 +0000 (21:45 +0200)]
try to ensure that the tesh script is executable on windows

9 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 24 Sep 2013 18:23:58 +0000 (20:23 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

9 years agomodel-checker : fix system state comparison (I hate dangling pointers ...)
Marion Guthmuller [Tue, 24 Sep 2013 16:41:31 +0000 (18:41 +0200)]
model-checker : fix system state comparison (I hate dangling pointers ...)

9 years agome stupid. Sorry
Martin Quinson [Tue, 24 Sep 2013 16:46:24 +0000 (18:46 +0200)]
me stupid. Sorry

9 years agoOther try to get lto working on windows
Martin Quinson [Tue, 24 Sep 2013 16:35:49 +0000 (18:35 +0200)]
Other try to get lto working on windows

9 years agoand now with the correct cmake syntax
Martin Quinson [Tue, 24 Sep 2013 16:19:59 +0000 (18:19 +0200)]
and now with the correct cmake syntax

9 years agotry to get the win build working despite gcc bugs
Martin Quinson [Tue, 24 Sep 2013 16:15:04 +0000 (18:15 +0200)]
try to get the win build working despite gcc bugs

9 years agoone more leak
Augustin Degomme [Tue, 24 Sep 2013 15:22:47 +0000 (17:22 +0200)]
one more leak

9 years agowindows doesn't provide/need this call
Augustin Degomme [Tue, 24 Sep 2013 15:18:59 +0000 (17:18 +0200)]
windows doesn't provide/need this call

9 years agofirst attempt to fix win build
Augustin Degomme [Tue, 24 Sep 2013 14:57:44 +0000 (16:57 +0200)]
first attempt to fix win build

9 years agoalso test allgatherv replay (in its new format)
suter [Tue, 24 Sep 2013 14:07:04 +0000 (16:07 +0200)]
also test allgatherv replay (in its new format)

9 years agofew more leaks
Augustin Degomme [Tue, 24 Sep 2013 13:19:18 +0000 (15:19 +0200)]
few more leaks

9 years agochange execution rights on build scripts
Augustin Degomme [Tue, 24 Sep 2013 13:13:05 +0000 (15:13 +0200)]
change execution rights on build scripts

9 years agomore leaks
Augustin Degomme [Tue, 24 Sep 2013 13:11:08 +0000 (15:11 +0200)]
more leaks

9 years agoupdate changelog
Augustin Degomme [Tue, 24 Sep 2013 12:56:09 +0000 (14:56 +0200)]
update changelog

9 years agotest leak --
Augustin Degomme [Tue, 24 Sep 2013 12:36:34 +0000 (14:36 +0200)]
test leak --

9 years agosmpi leak --
Augustin Degomme [Tue, 24 Sep 2013 12:36:26 +0000 (14:36 +0200)]
smpi leak --

9 years agomissing prototype
Augustin Degomme [Tue, 24 Sep 2013 11:41:18 +0000 (13:41 +0200)]
missing prototype

9 years agoPower state list was shared between hosts of a cabinet (but not for cluster)
Augustin Degomme [Tue, 24 Sep 2013 11:36:37 +0000 (13:36 +0200)]
Power state list was shared between hosts of a cabinet (but not for cluster)
This lead to issues when trying to free the memory at the end.
Either we had to implement a reference counter to dynars, or have one copy for each host.
As it was already done for clusters, let's do it the second way.

9 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 24 Sep 2013 09:35:01 +0000 (11:35 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

9 years agoAdd MSG_storage_set_property_value function
Pierre Veyre [Tue, 24 Sep 2013 09:23:17 +0000 (11:23 +0200)]
Add MSG_storage_set_property_value function

9 years agosimplify way alltoallv and gatherv are described in the traces and
suter [Tue, 24 Sep 2013 08:59:10 +0000 (10:59 +0200)]
simplify way alltoallv and gatherv are described in the traces and
replayed. the disps arrays are useless from our point of view.

9 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 24 Sep 2013 08:45:30 +0000 (10:45 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

9 years agoAdd MSG_storage_get_content function
Pierre Veyre [Tue, 24 Sep 2013 08:44:46 +0000 (10:44 +0200)]
Add MSG_storage_get_content function

9 years agoremove a leak on almost all simdag tests
suter [Tue, 24 Sep 2013 08:04:40 +0000 (10:04 +0200)]
remove a leak on almost all simdag tests

9 years agoMore memory leaks.
Arnaud Giersch [Mon, 23 Sep 2013 21:01:03 +0000 (23:01 +0200)]
More memory leaks.

9 years agoThe full dynar is not used here, delete it.
Arnaud Giersch [Mon, 23 Sep 2013 19:39:56 +0000 (21:39 +0200)]
The full dynar is not used here, delete it.

9 years agoAlso delete allocs_metadata.
Arnaud Giersch [Mon, 23 Sep 2013 19:39:56 +0000 (21:39 +0200)]
Also delete allocs_metadata.

9 years agoFree loc, which is unused in this path.
Arnaud Giersch [Mon, 23 Sep 2013 19:39:56 +0000 (21:39 +0200)]
Free loc, which is unused in this path.

9 years agoFix use after free (data is removed by the call to xbt_dict_remove()).
Arnaud Giersch [Mon, 23 Sep 2013 19:39:56 +0000 (21:39 +0200)]
Fix use after free (data is removed by the call to xbt_dict_remove()).

9 years agoleak --
Augustin Degomme [Mon, 23 Sep 2013 15:58:50 +0000 (17:58 +0200)]
leak --

9 years agoleak --
Augustin Degomme [Mon, 23 Sep 2013 15:58:36 +0000 (17:58 +0200)]
leak --

9 years agoleak --
Augustin Degomme [Mon, 23 Sep 2013 15:58:28 +0000 (17:58 +0200)]
leak --

9 years agoremove leaks from energy
Augustin Degomme [Mon, 23 Sep 2013 15:58:13 +0000 (17:58 +0200)]
remove leaks from energy

9 years agoadd a cleanup callback to surf_resource_t, useful to free data allocated in cpu models
Augustin Degomme [Mon, 23 Sep 2013 15:57:44 +0000 (17:57 +0200)]
add a cleanup callback to surf_resource_t, useful to free data allocated in cpu models
Removes a few leaks

9 years agoFix failing test
Augustin Degomme [Mon, 23 Sep 2013 13:06:49 +0000 (15:06 +0200)]
Fix failing test

9 years agoremove warnings
Augustin Degomme [Mon, 23 Sep 2013 12:55:44 +0000 (14:55 +0200)]
remove warnings

9 years agoMove endif() at proper place.
Arnaud Giersch [Mon, 23 Sep 2013 11:31:28 +0000 (13:31 +0200)]
Move endif() at proper place.

9 years agoCosmetics.
Arnaud Giersch [Mon, 23 Sep 2013 11:21:23 +0000 (13:21 +0200)]
Cosmetics.

9 years agoThere's no need to dup these strings (memleak--).
Arnaud Giersch [Mon, 23 Sep 2013 11:10:34 +0000 (13:10 +0200)]
There's no need to dup these strings (memleak--).

9 years agoFix error: ‘current_region’ may be used uninitialized in this function.
Arnaud Giersch [Mon, 23 Sep 2013 11:02:55 +0000 (13:02 +0200)]
Fix error: ‘current_region’ may be used uninitialized in this function.

9 years agohide the MPICH3 testsuite behind a compilation flag, to quicken compilation
Augustin Degomme [Mon, 23 Sep 2013 10:43:22 +0000 (12:43 +0200)]
hide the MPICH3 testsuite behind a compilation flag, to quicken compilation

9 years agofix build without tracing
Augustin Degomme [Mon, 23 Sep 2013 09:03:24 +0000 (11:03 +0200)]
fix build without tracing

9 years agoadd a check to ensure that async_small_thres is under send_is_detached..
Augustin Degomme [Mon, 23 Sep 2013 08:47:14 +0000 (10:47 +0200)]
add a check to ensure that async_small_thres is under send_is_detached..
We don't want not detached asynchronous sends

9 years agoUpdate mmalloc_{32,64}.tesh.
Arnaud Giersch [Mon, 23 Sep 2013 09:58:07 +0000 (11:58 +0200)]
Update mmalloc_{32,64}.tesh.

9 years agoTest is useless here.
Arnaud Giersch [Mon, 23 Sep 2013 09:53:49 +0000 (11:53 +0200)]
Test is useless here.

9 years agomodel-checker : add deployment file deploy_bugged1_liveness_visited.xml in CMakeLists.txt
Marion Guthmuller [Mon, 23 Sep 2013 09:53:33 +0000 (11:53 +0200)]
model-checker : add deployment file deploy_bugged1_liveness_visited.xml in CMakeLists.txt

9 years agoUse xbt_cfg_setdefault everywhere.
Arnaud Giersch [Fri, 20 Sep 2013 14:27:54 +0000 (16:27 +0200)]
Use xbt_cfg_setdefault everywhere.

9 years agoCorrect the settings for default values of boolean parameters.
Arnaud Giersch [Fri, 20 Sep 2013 11:31:49 +0000 (13:31 +0200)]
Correct the settings for default values of boolean parameters.

WARNING: the effective default has changed from "yes" to "no" for
cpu/maxmin_selective_update and network/maxmin_selective_update.
These new default values were chosen to match the documentation.

9 years agoCosmetics: some reindent.
Arnaud Giersch [Fri, 20 Sep 2013 08:52:23 +0000 (10:52 +0200)]
Cosmetics: some reindent.

9 years agoFix doxygen comments.
Arnaud Giersch [Thu, 19 Sep 2013 12:52:44 +0000 (14:52 +0200)]
Fix doxygen comments.

* declare msg_storage_t
* add missing names for the parameters
* fix spurious "@htmlonly" appearing in the generated doc
* plus a typo (Altough -> Although)

9 years agoEmpty structs are not allowed in C.
Arnaud Giersch [Wed, 18 Sep 2013 15:18:57 +0000 (17:18 +0200)]
Empty structs are not allowed in C.

Use an incomplete declaration instead.

9 years agomodel-checker : add bugged1_liveness_visited.tesh in CMakeLists.txt
Marion Guthmuller [Mon, 23 Sep 2013 08:54:47 +0000 (10:54 +0200)]
model-checker : add bugged1_liveness_visited.tesh in CMakeLists.txt

9 years agointroduction.doc corrections
Carlos Eduardo Moreira dos Santos [Sun, 22 Sep 2013 00:01:13 +0000 (21:01 -0300)]
introduction.doc corrections

9 years agoMerge pull request #1 from cemsbr/master
Martin Quinson [Sun, 22 Sep 2013 00:46:40 +0000 (17:46 -0700)]
Merge pull request #1 from cemsbr/master

introduction.doc corrections -- many thanks

9 years agointroduction.doc corrections
Carlos Eduardo Moreira dos Santos [Sun, 22 Sep 2013 00:01:13 +0000 (21:01 -0300)]
introduction.doc corrections

9 years agomodel-checker : fix platform file path in tesh examples
Marion Guthmuller [Sat, 21 Sep 2013 22:03:47 +0000 (00:03 +0200)]
model-checker : fix platform file path in tesh examples

9 years agomodel-checker : new tesh example for liveness model checking with visited state reduction
Marion Guthmuller [Sat, 21 Sep 2013 21:27:22 +0000 (23:27 +0200)]
model-checker : new tesh example for liveness model checking with visited state reduction

9 years agoforget to uncomment a part of code
Marion Guthmuller [Sat, 21 Sep 2013 21:12:31 +0000 (23:12 +0200)]
forget to uncomment a part of code

9 years agomodel-checker : parallel comparison of system states for liveness model-checking
Marion Guthmuller [Sat, 21 Sep 2013 20:47:01 +0000 (22:47 +0200)]
model-checker : parallel comparison of system states for liveness model-checking

9 years agomodel-checker : get size used (heapinfo meta-data)
Marion Guthmuller [Sat, 21 Sep 2013 20:07:58 +0000 (22:07 +0200)]
model-checker : get size used (heapinfo meta-data)

9 years agomodel-checker : minor fix in ddfs algorithm
Marion Guthmuller [Thu, 19 Sep 2013 16:48:34 +0000 (18:48 +0200)]
model-checker : minor fix in ddfs algorithm

9 years agomodel-checker : fix bugged1_liveness example
Marion Guthmuller [Thu, 19 Sep 2013 15:39:11 +0000 (17:39 +0200)]
model-checker : fix bugged1_liveness example

9 years agomodel-checker : --cfg=model-check/checkpoint is an int, not a boolean
Marion Guthmuller [Thu, 19 Sep 2013 13:22:08 +0000 (15:22 +0200)]
model-checker : --cfg=model-check/checkpoint is an int, not a boolean

9 years agoattempt to make valgrind happier
Augustin Degomme [Fri, 20 Sep 2013 13:31:22 +0000 (15:31 +0200)]
attempt to make valgrind happier

9 years agoleak --
Augustin Degomme [Fri, 20 Sep 2013 13:27:28 +0000 (15:27 +0200)]
leak --

9 years agoMake raw_context compatible with x32 from Debian.
Guillaume Serrière [Fri, 20 Sep 2013 12:10:04 +0000 (14:10 +0200)]
Make raw_context compatible with x32 from Debian.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>
9 years agoFix reverted commit 28937161936e11ceac5acccf0b547055cc67a79e.
Augustin Degomme [Thu, 19 Sep 2013 13:13:54 +0000 (15:13 +0200)]
Fix reverted commit 28937161936e11ceac5acccf0b547055cc67a79e.

9 years agoRevert "ChangeLog"
Pierre Veyre [Thu, 19 Sep 2013 08:06:40 +0000 (10:06 +0200)]
Revert "ChangeLog"

This reverts commit d394471a503b57ae3d31a9609ac5cb8677b9a594.

9 years agomove png files in the right folder
Augustin Degomme [Thu, 19 Sep 2013 07:45:27 +0000 (09:45 +0200)]
move png files in the right folder

9 years agoChangeLog
Pierre Veyre [Thu, 19 Sep 2013 06:41:42 +0000 (08:41 +0200)]
ChangeLog

9 years agoremove file
Augustin Degomme [Wed, 18 Sep 2013 14:27:49 +0000 (16:27 +0200)]
remove file

9 years agoupdate licenses to include OpenMPI and STAR-MPI ones
Augustin Degomme [Wed, 18 Sep 2013 14:12:10 +0000 (16:12 +0200)]
update licenses to include OpenMPI and STAR-MPI ones

9 years agoUpdate the SMPI documentation, mainly to add the collective algorithms
Augustin Degomme [Wed, 18 Sep 2013 13:59:36 +0000 (15:59 +0200)]
Update the SMPI documentation, mainly to add the collective algorithms

9 years agoyara (yet another redundant algorithm)
Augustin Degomme [Wed, 18 Sep 2013 12:23:13 +0000 (14:23 +0200)]
yara (yet another redundant algorithm)

9 years agosome requests were not tagged correctly
Augustin Degomme [Wed, 18 Sep 2013 09:26:23 +0000 (11:26 +0200)]
some requests were not tagged correctly

9 years agokeep on removing useless algorithms
Augustin Degomme [Wed, 18 Sep 2013 09:05:11 +0000 (11:05 +0200)]
keep on removing useless algorithms

9 years agouse tuned barrier here if provided
Augustin Degomme [Wed, 18 Sep 2013 08:32:52 +0000 (10:32 +0200)]
use tuned barrier here if provided

9 years agouse tuned versions of the algos inside this one
Augustin Degomme [Tue, 17 Sep 2013 16:35:59 +0000 (18:35 +0200)]
use tuned versions of the algos inside this one

9 years agocontinue cleanup of redundant algorithms
Augustin Degomme [Tue, 17 Sep 2013 16:35:22 +0000 (18:35 +0200)]
continue cleanup of redundant algorithms

9 years agoremove redundant algo
Augustin Degomme [Tue, 17 Sep 2013 15:50:30 +0000 (17:50 +0200)]
remove redundant algo

9 years agouse tuned algo here
Augustin Degomme [Tue, 17 Sep 2013 12:53:55 +0000 (14:53 +0200)]
use tuned algo here

9 years agoremove redundant allgather algo from star-mpi
Augustin Degomme [Tue, 17 Sep 2013 12:51:02 +0000 (14:51 +0200)]
remove redundant allgather algo from star-mpi

9 years agoFix MSG_storage_get_properties()
Pierre Veyre [Wed, 18 Sep 2013 12:22:46 +0000 (14:22 +0200)]
Fix MSG_storage_get_properties()

9 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Wed, 18 Sep 2013 08:59:20 +0000 (10:59 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

9 years agoMSG storage API improvements
Pierre Veyre [Wed, 18 Sep 2013 08:55:11 +0000 (10:55 +0200)]
MSG storage API improvements

9 years agoImprove printing of boolean values with --cfg-help.
Arnaud Giersch [Fri, 13 Sep 2013 15:48:20 +0000 (17:48 +0200)]
Improve printing of boolean values with --cfg-help.

Some values are rather strange...