Logo AND Algorithmique Numérique Distribuée

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

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

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

9 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

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

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

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

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

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

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

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

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

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

9 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

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

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

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

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

9 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

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

9 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

9 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

9 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

9 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

9 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?

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

9 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

9 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

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

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

9 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

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

9 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

9 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).

9 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 ?

9 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

9 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

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

9 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!

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

9 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'.

9 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. :)

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

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

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

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

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

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

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

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

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

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

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

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

9 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

9 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

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

9 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{}

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

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

9 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

9 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

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

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

9 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

9 years agomodel-checker : fix ignore global variable
Marion Guthmuller [Mon, 12 Aug 2013 18:11:35 +0000 (20:11 +0200)]
model-checker : fix ignore global variable

9 years agomodel-checker : remove unused variable
Marion Guthmuller [Mon, 12 Aug 2013 17:44:58 +0000 (19:44 +0200)]
model-checker : remove unused variable

9 years agomodel-checker : add debug message
Marion Guthmuller [Mon, 12 Aug 2013 17:43:09 +0000 (19:43 +0200)]
model-checker : add debug message

9 years agoinit ret_val (MC compliant)
Marion Guthmuller [Mon, 12 Aug 2013 17:42:33 +0000 (19:42 +0200)]
init ret_val (MC compliant)

9 years agomodel-checker : fix MC init in smpi_main
Marion Guthmuller [Mon, 12 Aug 2013 17:41:03 +0000 (19:41 +0200)]
model-checker : fix MC init in smpi_main

9 years agomodel-checker : fix comparison of local variables
Marion Guthmuller [Mon, 12 Aug 2013 17:38:46 +0000 (19:38 +0200)]
model-checker : fix comparison of local variables

9 years agomodel-checker : initialize equal_to in mmalloc heapinfo
Marion Guthmuller [Mon, 12 Aug 2013 17:37:59 +0000 (19:37 +0200)]
model-checker : initialize equal_to in mmalloc heapinfo

9 years agomodel-checker : memory free
Marion Guthmuller [Mon, 12 Aug 2013 17:36:09 +0000 (19:36 +0200)]
model-checker : memory free

9 years agomodel-checker : extend ignore mechanism with new user primitive MC_ignore
Marion Guthmuller [Mon, 12 Aug 2013 17:35:02 +0000 (19:35 +0200)]
model-checker : extend ignore mechanism with new user primitive MC_ignore

9 years agomodel-checker : remove fprintf -> XBT_DEBUG
Marion Guthmuller [Sun, 11 Aug 2013 15:12:33 +0000 (17:12 +0200)]
model-checker : remove fprintf -> XBT_DEBUG

9 years agomodel-checker : update tesh
Marion Guthmuller [Sat, 10 Aug 2013 10:53:39 +0000 (12:53 +0200)]
model-checker : update tesh

9 years agomodel-checker : update chord example for exhaustive exploration with MC
Marion Guthmuller [Sat, 10 Aug 2013 10:34:50 +0000 (12:34 +0200)]
model-checker : update chord example for exhaustive exploration with MC

9 years agomodel-checker : udpate debug information
Marion Guthmuller [Sat, 10 Aug 2013 10:29:45 +0000 (12:29 +0200)]
model-checker : udpate debug information

9 years agomodel-checker : fix DPOR with visited states reduction
Marion Guthmuller [Sat, 10 Aug 2013 10:28:48 +0000 (12:28 +0200)]
model-checker : fix DPOR with visited states reduction

9 years agomodel-checker : add min and max values for MC_RANDOM simcall
Marion Guthmuller [Sat, 10 Aug 2013 10:27:52 +0000 (12:27 +0200)]
model-checker : add min and max values for MC_RANDOM simcall

9 years agomodel-checker : rename MC_max_depth(int prop) -> MC_cut()
Marion Guthmuller [Sat, 10 Aug 2013 10:22:49 +0000 (12:22 +0200)]
model-checker : rename MC_max_depth(int prop) -> MC_cut()

9 years agomodel-checker : fix dot_output with DPOR
Marion Guthmuller [Wed, 7 Aug 2013 08:20:30 +0000 (10:20 +0200)]
model-checker : fix dot_output with DPOR

9 years agodocument SD_config
suter [Fri, 9 Aug 2013 15:05:40 +0000 (17:05 +0200)]
document SD_config