Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
6 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

6 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)

6 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

6 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

6 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

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

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

6 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>
6 years agoFix reverted commit 28937161936e11ceac5acccf0b547055cc67a79e.
Augustin Degomme [Thu, 19 Sep 2013 13:13:54 +0000 (15:13 +0200)]
Fix reverted commit 28937161936e11ceac5acccf0b547055cc67a79e.

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

This reverts commit d394471a503b57ae3d31a9609ac5cb8677b9a594.

6 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

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

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

6 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

6 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

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

6 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

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

6 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

6 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

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

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

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

6 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

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

6 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

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

6 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...

6 years agoRun *-thread tests even when !HAVE_RAWCTX; skip Fortran tests when !SMPI_F2C.
Arnaud Giersch [Fri, 13 Sep 2013 14:42:24 +0000 (16:42 +0200)]
Run *-thread tests even when !HAVE_RAWCTX; skip Fortran tests when !SMPI_F2C.

6 years agoHOME and BINARY directories were exchanged here. Fix this.
Arnaud Giersch [Fri, 13 Sep 2013 09:39:22 +0000 (11:39 +0200)]
HOME and BINARY directories were exchanged here. Fix this.

6 years agoFix silly bug in msg process sleep bindings - Adrien
alebre [Thu, 12 Sep 2013 15:13:31 +0000 (17:13 +0200)]
Fix silly bug in msg process sleep bindings - Adrien

6 years agoAvoid to build programs again during mpich3 tests.
Arnaud Giersch [Thu, 12 Sep 2013 15:00:26 +0000 (17:00 +0200)]
Avoid to build programs again during mpich3 tests.

Die if program is not found.

6 years agoMake comment match the code.
Arnaud Giersch [Thu, 12 Sep 2013 12:42:14 +0000 (14:42 +0200)]
Make comment match the code.

6 years agoWord "centralized" was removed from package name.
Arnaud Giersch [Thu, 12 Sep 2013 12:07:43 +0000 (14:07 +0200)]
Word "centralized" was removed from package name.

6 years agoRemove redefinitions of COMPILE_FLAGS for mpich3-test.
Arnaud Giersch [Thu, 12 Sep 2013 11:52:30 +0000 (13:52 +0200)]
Remove redefinitions of COMPILE_FLAGS for mpich3-test.

They should be useless now, and having hardcoded values for all these
configure variables was not a good idea.

6 years agoFix warnings about unused variables in mpich3-test.
Arnaud Giersch [Thu, 12 Sep 2013 11:52:30 +0000 (13:52 +0200)]
Fix warnings about unused variables in mpich3-test.

6 years agoMake smpi_process_init public, and avoid errors with smpiff.
Arnaud Giersch [Thu, 12 Sep 2013 11:52:30 +0000 (13:52 +0200)]
Make smpi_process_init public, and avoid errors with smpiff.

6 years agoDon't remove forward declarations for subroutines.
Arnaud Giersch [Thu, 12 Sep 2013 11:52:30 +0000 (13:52 +0200)]
Don't remove forward declarations for subroutines.

I can't see any good reason to remove them, and it removes compile errors
about implicit function declarations.

6 years agoCannot free this string here.
Arnaud Giersch [Thu, 12 Sep 2013 11:52:29 +0000 (13:52 +0200)]
Cannot free this string here.

6 years agoUse Msg.verb instead of System.out for message.
Arnaud Giersch [Thu, 12 Sep 2013 11:52:29 +0000 (13:52 +0200)]
Use Msg.verb instead of System.out for message.

Also reindent the whole file.

6 years agoFix errors in make distcheck.
Arnaud Giersch [Fri, 13 Sep 2013 15:03:20 +0000 (17:03 +0200)]
Fix errors in make distcheck.

* include missing files to the archive
* exclude Eclipse files from the archive
* exclude ./tools/spell/* from the archive
* exclude directory ./teshsuite/smpi/mpich3-test/f77/attr/ from the archive
* always include ./teshsuite/smpi/mpich3-test/{f77,f90}/*/CMakeLists.txt
  and move test for SMPI_F2C in those files

6 years agoCosmetics: reindent.
Arnaud Giersch [Fri, 13 Sep 2013 15:13:25 +0000 (17:13 +0200)]
Cosmetics: reindent.

6 years agoMinor corrections.
Arnaud Giersch [Thu, 12 Sep 2013 11:52:29 +0000 (13:52 +0200)]
Minor corrections.

6 years agoStorage API
Pierre Veyre [Tue, 10 Sep 2013 07:59:45 +0000 (09:59 +0200)]
Storage API

6 years agothis example file cannot be parsed because of case sensitivity ... Not
suter [Mon, 9 Sep 2013 08:25:37 +0000 (10:25 +0200)]
this example file cannot be parsed because of case sensitivity ... Not
sure it is actually used.

6 years agoEnsure we don't post a too big receive here, because this could lead to problems...
Augustin Degomme [Tue, 3 Sep 2013 17:18:18 +0000 (19:18 +0200)]
Ensure we don't post a too big receive here, because this could lead to problems with permanent receive.
Add a fixme to remember to handle this case soon

6 years agoshare my eclipse settings
Martin Quinson [Tue, 3 Sep 2013 15:53:13 +0000 (17:53 +0200)]
share my eclipse settings

6 years agodon't ignore eclipse project files so that I can share them
Martin Quinson [Tue, 3 Sep 2013 15:52:49 +0000 (17:52 +0200)]
don't ignore eclipse project files so that  I can share them

6 years agoignore all the *numerous* mpich3 tests
Martin Quinson [Tue, 3 Sep 2013 15:48:11 +0000 (17:48 +0200)]
ignore all the *numerous* mpich3 tests

6 years agogive this example default values for the arguments so that it can be run from eclipse
Martin Quinson [Tue, 3 Sep 2013 15:45:15 +0000 (17:45 +0200)]
give this example default values for the arguments so that it can be run from eclipse

6 years agounavoidable cosmetic. Sorry for the noise
Martin Quinson [Tue, 3 Sep 2013 15:28:29 +0000 (17:28 +0200)]
unavoidable cosmetic. Sorry for the noise

6 years agogosh people, don't you use git status? How could you leak so much files around?
Martin Quinson [Tue, 3 Sep 2013 15:22:56 +0000 (17:22 +0200)]
gosh people, don't you use git status? How could you leak so much files around?

6 years agojava examples: reorg the imports
Martin Quinson [Tue, 3 Sep 2013 15:10:59 +0000 (17:10 +0200)]
java examples: reorg the imports

6 years agojava examples: align the package declaration with the directory name
Martin Quinson [Tue, 3 Sep 2013 15:05:16 +0000 (17:05 +0200)]
java examples: align the package declaration with the directory name

6 years agoinclude the CITATION.bib in the archives
Martin Quinson [Tue, 3 Sep 2013 13:53:59 +0000 (15:53 +0200)]
include the CITATION.bib in the archives

6 years agoadded a CITATION.bib file to make it easier for people to know how to cite the
Mark Stillwell [Mon, 2 Sep 2013 09:00:10 +0000 (10:00 +0100)]
added a CITATION.bib file to make it easier for people to know how to cite the
simgrid software.

6 years agoRevert "Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366...
Augustin Degomme [Thu, 29 Aug 2013 12:47:10 +0000 (14:47 +0200)]
Revert "Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!"

This reverts commit 28937161936e11ceac5acccf0b547055cc67a79e.

6 years agoas this can be called from anywhere (and sometimes inside smpi_sample blocks), remove...
Augustin Degomme [Thu, 29 Aug 2013 12:40:35 +0000 (14:40 +0200)]
as this can be called from anywhere (and sometimes inside smpi_sample blocks), remove bench start/stop

6 years agomemleaks --
Augustin Degomme [Thu, 29 Aug 2013 12:36:20 +0000 (14:36 +0200)]
memleaks --

6 years agomove tracing for smpi collectives to a place where inputs are already sanitized
Augustin Degomme [Thu, 29 Aug 2013 12:35:49 +0000 (14:35 +0200)]
move tracing for smpi collectives to a place where inputs are already sanitized

6 years agoadd option tracing/smpi/display_sizes to display size of message in trace for smpi...
Augustin Degomme [Thu, 29 Aug 2013 11:52:06 +0000 (13:52 +0200)]
add option tracing/smpi/display_sizes to display size of message in trace for smpi (for now).

6 years agowe added it, we might as well ... use it ?
Augustin Degomme [Mon, 26 Aug 2013 12:34:58 +0000 (14:34 +0200)]
we added it, we might as well ... use it ?

6 years agoadd mpich's allgatherv ring algo, as the one from star-mpi performs terribly
Augustin Degomme [Mon, 26 Aug 2013 12:28:04 +0000 (14:28 +0200)]
add mpich's allgatherv ring algo, as the one from star-mpi performs terribly

6 years agohave alltoallv bruck algo behave like mpich one, with only 4 messages sent at a time
Augustin Degomme [Mon, 26 Aug 2013 12:12:00 +0000 (14:12 +0200)]
have alltoallv bruck algo behave like mpich one, with only 4 messages sent at a time

6 years agotypo--
Augustin Degomme [Mon, 26 Aug 2013 12:10:59 +0000 (14:10 +0200)]
typo--

6 years agoArgh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!
Arnaud Legrand [Thu, 22 Aug 2013 12:05:21 +0000 (14:05 +0200)]
Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!

6 years agoMy bad. There may be no process at all, hence, surf_solve may not be called, hence...
Arnaud Legrand [Thu, 22 Aug 2013 11:55:44 +0000 (13:55 +0200)]
My bad. There may be no process at all, hence, surf_solve may not be called, hence we need to check whether this variable has ever been initialized or not...

6 years agoFix a bunch of typos thanks to the new spell script. I only made the words starting...
Arnaud Legrand [Thu, 22 Aug 2013 11:42:51 +0000 (13:42 +0200)]
Fix a bunch of typos thanks to the new spell script. I only made the words starting by the letter 'a'.

6 years agoA French comment!?! Marion, please, check the translation. :)
Arnaud Legrand [Thu, 22 Aug 2013 11:36:15 +0000 (13:36 +0200)]
A French comment!?! Marion, please, check the translation. :)

6 years agoAdd convenient scripts to check spelling.
Arnaud Legrand [Thu, 22 Aug 2013 11:27:41 +0000 (13:27 +0200)]
Add convenient scripts to check spelling.

I stole them from http://www.kegel.com/kerspell/ and updated them to "modernity" (aspell did not work as expected so I switched to ispell).
Simply sh tools/spell/spell.sh and it will spit a list of dubious words.
Note that it ignores all the dubious words listed in tools/spell/sg_stopwords.txt and that I only checked the A's in there so far.

6 years agoRemove the uggly surf_watched_hosts pimple and allow the autorestart to work properly.
Arnaud Legrand [Wed, 21 Aug 2013 21:29:09 +0000 (23:29 +0200)]
Remove the uggly surf_watched_hosts pimple and allow the autorestart to work properly.

Revalidate the tesh files which were actually wrong since hosts were not restarted at the right time...

6 years agoAvoid stupid segfault on DEBUG when heap is empty.
Arnaud Legrand [Wed, 21 Aug 2013 18:42:09 +0000 (20:42 +0200)]
Avoid stupid segfault on DEBUG when heap is empty.

6 years agoMove variable to where it belongs.
Arnaud Legrand [Wed, 21 Aug 2013 18:41:36 +0000 (20:41 +0200)]
Move variable to where it belongs.

6 years agotypo--
Arnaud Legrand [Wed, 21 Aug 2013 18:39:29 +0000 (20:39 +0200)]
typo--

6 years agoGet rid of nasty utf8 spaces that annoy latex.
Arnaud Legrand [Wed, 21 Aug 2013 16:22:23 +0000 (18:22 +0200)]
Get rid of nasty utf8 spaces that annoy latex.

6 years agoRulebased is dead some time ago.
Arnaud Legrand [Wed, 21 Aug 2013 15:55:53 +0000 (17:55 +0200)]
Rulebased is dead some time ago.

6 years agoTypos
Arnaud Legrand [Wed, 21 Aug 2013 15:53:04 +0000 (17:53 +0200)]
Typos

6 years agoPeers should be within an AS if we want this construction to be compatible with other...
Arnaud Legrand [Wed, 21 Aug 2013 15:44:04 +0000 (17:44 +0200)]
Peers should be within an AS if we want this construction to be compatible with other kind of AS.

6 years agoAllow to disable simgrid cleanups at exit from command line option.
Arnaud Legrand [Wed, 21 Aug 2013 12:27:13 +0000 (14:27 +0200)]
Allow to disable simgrid cleanups at exit from command line option.

6 years agotypo--
Arnaud Legrand [Wed, 21 Aug 2013 09:34:33 +0000 (11:34 +0200)]
typo--

6 years agoTypo--
Arnaud Legrand [Wed, 21 Aug 2013 09:18:51 +0000 (11:18 +0200)]
Typo--

6 years agoAdd MSG_storages_as_dynar function
Pierre Veyre [Mon, 19 Aug 2013 10:01:51 +0000 (12:01 +0200)]
Add MSG_storages_as_dynar function

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Mon, 19 Aug 2013 07:46:59 +0000 (09:46 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agoincrease timeout
Marion Guthmuller [Wed, 14 Aug 2013 15:10:17 +0000 (17:10 +0200)]
increase timeout

6 years agomodel-checker : else if instead of if{} if{}
Marion Guthmuller [Wed, 14 Aug 2013 14:35:56 +0000 (16:35 +0200)]
model-checker : else if instead of if{} if{}

6 years agomodel-checker : init equal_to in mmalloc info
Marion Guthmuller [Wed, 14 Aug 2013 14:35:14 +0000 (16:35 +0200)]
model-checker : init equal_to in mmalloc info

6 years agomodel-checker : memory free and cleanup
Marion Guthmuller [Wed, 14 Aug 2013 14:31:45 +0000 (16:31 +0200)]
model-checker : memory free and cleanup

6 years agomodel-checker : update SMPI bugged mutual exclusion example
Marion Guthmuller [Wed, 14 Aug 2013 09:57:14 +0000 (11:57 +0200)]
model-checker : update SMPI bugged mutual exclusion example

6 years agomodel-checker : update MSG bugged mutual exclusion example
Marion Guthmuller [Wed, 14 Aug 2013 09:51:21 +0000 (11:51 +0200)]
model-checker : update MSG bugged mutual exclusion example

6 years agomodel-checker : stop stack comparison before the context switching with maestro
Marion Guthmuller [Wed, 14 Aug 2013 09:36:19 +0000 (11:36 +0200)]
model-checker : stop stack comparison before the context switching with maestro

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Wed, 14 Aug 2013 07:31:29 +0000 (09:31 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agoprepare MSG_storages_as_dynar function
Pierre Veyre [Wed, 14 Aug 2013 07:30:58 +0000 (09:30 +0200)]
prepare MSG_storages_as_dynar function

6 years agomodel-checker : fix dot output for liveness MC
Marion Guthmuller [Tue, 13 Aug 2013 13:59:04 +0000 (15:59 +0200)]
model-checker : fix dot output for liveness MC

6 years agomodel-checker : fix error compilation without MC
Marion Guthmuller [Tue, 13 Aug 2013 11:48:24 +0000 (13:48 +0200)]
model-checker : fix error compilation without MC

6 years agomodel-checker : remove binary
Marion Guthmuller [Tue, 13 Aug 2013 11:38:44 +0000 (13:38 +0200)]
model-checker : remove binary

6 years agomodel-checker : create mc directory in smpi examples and add new example for liveness...
Marion Guthmuller [Tue, 13 Aug 2013 11:35:57 +0000 (13:35 +0200)]
model-checker : create mc directory in smpi examples and add new example for liveness verification of MPI programs

6 years agomodel-checker : ignore in_use in s_smpi_mpi_datatype
Marion Guthmuller [Tue, 13 Aug 2013 11:32:43 +0000 (13:32 +0200)]
model-checker : ignore in_use in s_smpi_mpi_datatype

6 years agomodel-checker : fix ignore mechanism
Marion Guthmuller [Tue, 13 Aug 2013 11:24:58 +0000 (13:24 +0200)]
model-checker : fix ignore mechanism

6 years agomodel-checker : ignore smpi timer
Marion Guthmuller [Mon, 12 Aug 2013 21:26:03 +0000 (23:26 +0200)]
model-checker : ignore smpi timer

6 years agoget size of struct s_xbt_os_timer
Marion Guthmuller [Mon, 12 Aug 2013 21:25:22 +0000 (23:25 +0200)]
get size of struct s_xbt_os_timer