Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
9 years agomanage more cleanly the SIMIX_STORAGE_LEVEL
suter [Wed, 9 Oct 2013 07:49:07 +0000 (09:49 +0200)]
manage more cleanly the SIMIX_STORAGE_LEVEL

9 years agoRevert "Skip message if test is deactivated."
Arnaud Giersch [Wed, 9 Oct 2013 04:49:56 +0000 (06:49 +0200)]
Revert "Skip message if test is deactivated."

This reverts commit dc7b7bdc9f9d9bbb3b2a8241f762ba272779a212.

It breaks tesh test (output must not change).

9 years agoThis looks unused since 2009 (commit b036991). Remove it.
Arnaud Giersch [Tue, 8 Oct 2013 20:54:25 +0000 (22:54 +0200)]
This looks unused since 2009 (commit b036991). Remove it.

9 years agoFix error on variable name
Pierre Veyre [Tue, 8 Oct 2013 19:49:29 +0000 (21:49 +0200)]
Fix error on variable name

9 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 8 Oct 2013 19:44:45 +0000 (21:44 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

9 years agoOups... forgot to remove this line.
Arnaud Giersch [Tue, 8 Oct 2013 19:31:37 +0000 (21:31 +0200)]
Oups... forgot to remove this line.

9 years agoAdd valgrind suppressions for the Lua interpreter.
Arnaud Giersch [Tue, 8 Oct 2013 19:23:03 +0000 (21:23 +0200)]
Add valgrind suppressions for the Lua interpreter.

9 years agoIncrease valgrind num-callers from 12 (default) to 20.
Arnaud Giersch [Tue, 8 Oct 2013 19:22:22 +0000 (21:22 +0200)]
Increase valgrind num-callers from 12 (default) to 20.

9 years agoJoin worker threads on parmap destroy.
Arnaud Giersch [Tue, 8 Oct 2013 16:12:53 +0000 (18:12 +0200)]
Join worker threads on parmap destroy.

Ensure that the allocated resources are correctly released.

9 years agoCaught another leak.
Arnaud Giersch [Tue, 8 Oct 2013 15:05:32 +0000 (17:05 +0200)]
Caught another leak.

9 years agoSkip message if test is deactivated.
Arnaud Giersch [Tue, 8 Oct 2013 14:36:35 +0000 (16:36 +0200)]
Skip message if test is deactivated.

9 years agoRemove unused fields.
Arnaud Giersch [Tue, 8 Oct 2013 13:59:34 +0000 (15:59 +0200)]
Remove unused fields.

9 years agoMake this example clean for valgrind.
Arnaud Giersch [Tue, 8 Oct 2013 13:56:03 +0000 (15:56 +0200)]
Make this example clean for valgrind.

9 years agozu to PRIu64 (again)
suter [Tue, 8 Oct 2013 13:29:15 +0000 (15:29 +0200)]
zu to PRIu64 (again)

9 years agoleak--
suter [Tue, 8 Oct 2013 13:03:49 +0000 (15:03 +0200)]
leak--

9 years agodict now contains pointers on size
suter [Tue, 8 Oct 2013 13:03:38 +0000 (15:03 +0200)]
dict now contains pointers on size

9 years agouse pointers on sg_storage_size_t in the dict instead of crappy void*
suter [Tue, 8 Oct 2013 13:03:11 +0000 (15:03 +0200)]
use pointers on sg_storage_size_t in the dict instead of crappy void*
and &size to manage contents

9 years agomodel-checker : avoid unnecessary snapshot restore
Marion Guthmuller [Mon, 7 Oct 2013 20:38:40 +0000 (22:38 +0200)]
model-checker : avoid unnecessary snapshot restore

9 years agoArgh ... a parse error is killing me, lets clean up my mess before dying
suter [Mon, 7 Oct 2013 18:11:40 +0000 (20:11 +0200)]
Argh ... a parse error is killing me, lets clean up my mess before dying
...

Totally useless commit, unless for cdash stats

9 years agoRevert "fix windows cmake failing to detect it can actually use ucontexts"
Augustin Degomme [Mon, 7 Oct 2013 16:37:53 +0000 (18:37 +0200)]
Revert "fix windows cmake failing to detect it can actually use ucontexts"

This reverts commit f663389d95d7ac18adfc21c3478b944fefc9253a.

9 years agoUse correct type for found.
Arnaud Giersch [Mon, 7 Oct 2013 16:35:32 +0000 (18:35 +0200)]
Use correct type for found.

9 years agoRather call TRACE_end() at surf level.
Arnaud Giersch [Mon, 7 Oct 2013 15:51:13 +0000 (17:51 +0200)]
Rather call TRACE_end() at surf level.

9 years agoValue stored to 'time' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 14:18:27 +0000 (16:18 +0200)]
Value stored to 'time' is never read.

9 years agoValue stored to 'bandwidth' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:32:47 +0000 (14:32 +0200)]
Value stored to 'bandwidth' is never read.

9 years agoRemove duplicated initialization (rank).
Arnaud Giersch [Mon, 7 Oct 2013 12:31:14 +0000 (14:31 +0200)]
Remove duplicated initialization (rank).

9 years agoThere's no need to initialize p here.
Arnaud Giersch [Mon, 7 Oct 2013 12:28:46 +0000 (14:28 +0200)]
There's no need to initialize p here.

9 years agoValue is used only when MC_is_active().
Arnaud Giersch [Mon, 7 Oct 2013 12:26:41 +0000 (14:26 +0200)]
Value is used only when MC_is_active().

9 years agoValue stored to 'total_dsize' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:24:29 +0000 (14:24 +0200)]
Value stored to 'total_dsize' is never read.

9 years agoValue stored to 'size' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:20:18 +0000 (14:20 +0200)]
Value stored to 'size' is never read.

9 years agoVerify that request is not NULL (plus reindent).
Arnaud Giersch [Mon, 7 Oct 2013 12:10:33 +0000 (14:10 +0200)]
Verify that request is not NULL (plus reindent).

9 years agoRework test logic, and add one more case.
Arnaud Giersch [Mon, 7 Oct 2013 11:58:17 +0000 (13:58 +0200)]
Rework test logic, and add one more case.

9 years agoValue stored to 'linelen' here is never read.
Arnaud Giersch [Mon, 7 Oct 2013 09:54:25 +0000 (11:54 +0200)]
Value stored to 'linelen' here is never read.

9 years agooops
Augustin Degomme [Mon, 7 Oct 2013 16:14:25 +0000 (18:14 +0200)]
oops

9 years agofix compilation issue with windows timers
Augustin Degomme [Mon, 7 Oct 2013 15:50:36 +0000 (17:50 +0200)]
fix compilation issue with windows timers

9 years agoOn windows, try_compile may use another compiler than the one we want.
Augustin Degomme [Mon, 7 Oct 2013 14:59:36 +0000 (16:59 +0200)]
On windows, try_compile may use another compiler than the one we want.
Replace it by execute_process of the right compiler

9 years agofix windows cmake failing to detect it can actually use ucontexts
Augustin Degomme [Mon, 7 Oct 2013 14:05:00 +0000 (16:05 +0200)]
fix windows cmake failing to detect it can actually use ucontexts

9 years agofix compil error in some cases
Augustin Degomme [Mon, 7 Oct 2013 14:04:25 +0000 (16:04 +0200)]
fix compil error in some cases

9 years agoone more gloups revalidation
suter [Mon, 7 Oct 2013 14:53:14 +0000 (16:53 +0200)]
one more gloups revalidation

9 years agoGloups revalidation
suter [Mon, 7 Oct 2013 14:38:27 +0000 (16:38 +0200)]
Gloups revalidation

9 years agodestroy task when execution failed because of dead host
suter [Mon, 7 Oct 2013 14:38:06 +0000 (16:38 +0200)]
destroy task when execution failed because of dead host

9 years agoexception catching on host failure
suter [Mon, 7 Oct 2013 14:36:51 +0000 (16:36 +0200)]
exception catching on host failure

9 years agoseems that get_data can return NULL, add guards
suter [Mon, 7 Oct 2013 14:35:39 +0000 (16:35 +0200)]
seems that get_data can return NULL, add guards

9 years agoreactivate expception raising on host failure
suter [Mon, 7 Oct 2013 14:34:49 +0000 (16:34 +0200)]
reactivate expception raising on host failure

9 years agojava is now merged to master package
Martin Quinson [Mon, 7 Oct 2013 10:00:22 +0000 (12:00 +0200)]
java is now merged to master package

9 years agomake it easier to debug make distcheck issues by requesting output-on-failure to...
Martin Quinson [Mon, 7 Oct 2013 09:57:12 +0000 (11:57 +0200)]
make it easier to debug make distcheck issues by requesting output-on-failure to ctest

9 years agocmon, script. Don't fail on me because I don't use colored diffs
Martin Quinson [Mon, 7 Oct 2013 09:08:57 +0000 (11:08 +0200)]
cmon, script. Don't fail on me because I don't use colored diffs

9 years agoslight typo in documentation
Martin Quinson [Mon, 7 Oct 2013 08:48:39 +0000 (10:48 +0200)]
slight typo in documentation

9 years agoget ready to release the first prerelease of 3.10 (3.10pre1)
Martin Quinson [Mon, 7 Oct 2013 08:43:17 +0000 (10:43 +0200)]
get ready to release the first prerelease of 3.10 (3.10pre1)

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

Conflicts:
src/surf/storage.c

9 years agomodel-checker : update tesh file
Marion Guthmuller [Sun, 6 Oct 2013 21:29:54 +0000 (23:29 +0200)]
model-checker : update tesh file

9 years agomodel-checker : fix memory leak in ddfs algorithm
Marion Guthmuller [Sun, 6 Oct 2013 15:22:52 +0000 (17:22 +0200)]
model-checker : fix memory leak in ddfs algorithm

9 years agoMissing space, and more zu -> PRIu64 conversions.
Arnaud Giersch [Sun, 6 Oct 2013 20:23:03 +0000 (22:23 +0200)]
Missing space, and more zu -> PRIu64 conversions.

9 years agoEncode path so that it is not too long.
Arnaud Giersch [Fri, 4 Oct 2013 22:48:27 +0000 (00:48 +0200)]
Encode path so that it is not too long.

Some OSes, like MacOS, don't want long names here.

The path is hashed with sha1, and then encoded in base64.

9 years agoNeed one more byte for the terminating \0.
Arnaud Giersch [Fri, 4 Oct 2013 22:15:03 +0000 (00:15 +0200)]
Need one more byte for the terminating \0.

9 years agorevalidate tesh
suter [Sun, 6 Oct 2013 16:48:02 +0000 (18:48 +0200)]
revalidate tesh

9 years agoslightly modify the example to check that overwriting storage_type
suter [Sat, 5 Oct 2013 15:29:57 +0000 (17:29 +0200)]
slightly modify the example to check that overwriting storage_type
contents by storage contents is possible

9 years agoleak-- clean things at the MSG level when unlinking a file as
suter [Sat, 5 Oct 2013 15:02:28 +0000 (17:02 +0200)]
leak-- clean things at the MSG level when unlinking a file as
MSG_file_close wont be called.

9 years agoleak --
suter [Sat, 5 Oct 2013 14:50:58 +0000 (16:50 +0200)]
leak --

9 years agouse proper format
suter [Sat, 5 Oct 2013 14:12:27 +0000 (16:12 +0200)]
use proper format

9 years agoshould be sg_storage_size_t here too
suter [Sat, 5 Oct 2013 14:10:03 +0000 (16:10 +0200)]
should be sg_storage_size_t here too

9 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Sun, 6 Oct 2013 14:39:14 +0000 (16:39 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

9 years agocosmetics in an error message
Martin Quinson [Sun, 6 Oct 2013 13:05:55 +0000 (15:05 +0200)]
cosmetics in an error message

9 years agoadd some comments to avoid that someone breaks the MC with a 'trivial cleanup'
Martin Quinson [Sun, 6 Oct 2013 12:50:34 +0000 (14:50 +0200)]
add some comments to avoid that someone breaks the MC with a 'trivial cleanup'

9 years agomodel-checker : cleanup
Marion Guthmuller [Sat, 5 Oct 2013 10:24:52 +0000 (12:24 +0200)]
model-checker : cleanup

9 years agomodel-checker : fix memory leak
Marion Guthmuller [Sat, 5 Oct 2013 10:24:21 +0000 (12:24 +0200)]
model-checker : fix memory leak

9 years agoHandle inactive requests in test and wait.
Arnaud Giersch [Fri, 4 Oct 2013 21:02:40 +0000 (23:02 +0200)]
Handle inactive requests in test and wait.

9 years agoEmpty status when request is NULL.
Arnaud Giersch [Fri, 4 Oct 2013 20:59:48 +0000 (22:59 +0200)]
Empty status when request is NULL.

9 years agoReset requests to MPI_REQUEST_NULL.
Arnaud Giersch [Fri, 4 Oct 2013 20:31:08 +0000 (22:31 +0200)]
Reset requests to MPI_REQUEST_NULL.

9 years agoFix the fix of commit 6d12558bf98bb09f8fc8c45527d740bf999f789c.
Arnaud Giersch [Fri, 4 Oct 2013 19:23:43 +0000 (21:23 +0200)]
Fix the fix of commit 6d12558bf98bb09f8fc8c45527d740bf999f789c.

9 years agoRemove XBT_INLINE here, some compilers don't like it.
Arnaud Giersch [Fri, 4 Oct 2013 15:26:20 +0000 (17:26 +0200)]
Remove XBT_INLINE here, some compilers don't like it.

9 years agoRaise log level for this message.
Arnaud Giersch [Fri, 4 Oct 2013 13:57:41 +0000 (15:57 +0200)]
Raise log level for this message.

9 years agoEmpty status in any case (plus slight reindent).
Arnaud Giersch [Fri, 4 Oct 2013 13:50:54 +0000 (15:50 +0200)]
Empty status in any case (plus slight reindent).

9 years agoEnforce type for other MPI NULL constants.
Arnaud Giersch [Fri, 4 Oct 2013 09:36:38 +0000 (11:36 +0200)]
Enforce type for other MPI NULL constants.

9 years agoEnforce type for MPI_REQUEST_NULL, and fix mistakes.
Arnaud Giersch [Fri, 4 Oct 2013 09:01:18 +0000 (11:01 +0200)]
Enforce type for MPI_REQUEST_NULL, and fix mistakes.

Thanks Marion for having noticed it.

9 years agonew attempt
Augustin Degomme [Fri, 4 Oct 2013 13:46:58 +0000 (15:46 +0200)]
new attempt

9 years agomodel-checker : ignore information about simix_global in safety MC
Marion Guthmuller [Fri, 4 Oct 2013 13:12:13 +0000 (15:12 +0200)]
model-checker : ignore information about simix_global in safety MC

9 years agomodel-checker : update tesh files
Marion Guthmuller [Fri, 4 Oct 2013 13:09:03 +0000 (15:09 +0200)]
model-checker : update tesh files

9 years agomodel-checker : ignore information about simix_global
Marion Guthmuller [Fri, 4 Oct 2013 13:02:48 +0000 (15:02 +0200)]
model-checker : ignore information about simix_global

9 years agomodel-checker : set comm to NULL before creating them with simcall (MC compliant)
Marion Guthmuller [Fri, 4 Oct 2013 13:00:13 +0000 (15:00 +0200)]
model-checker : set comm to NULL before creating them with simcall (MC compliant)

9 years agomodel-checker : copy/paste error
Marion Guthmuller [Fri, 4 Oct 2013 12:59:10 +0000 (14:59 +0200)]
model-checker : copy/paste error

9 years agomodel-checker : fix detection of pointers on a fragment part
Marion Guthmuller [Fri, 4 Oct 2013 12:58:45 +0000 (14:58 +0200)]
model-checker : fix detection of pointers on a fragment part

9 years agomodel-checker : ignore process_to_run and process_that_ran included in simix_global...
Marion Guthmuller [Fri, 4 Oct 2013 09:49:27 +0000 (11:49 +0200)]
model-checker : ignore process_to_run and process_that_ran included in simix_global for system state comparison

9 years agomodel-checker : dangling pointer set to NULL
Marion Guthmuller [Fri, 4 Oct 2013 09:47:09 +0000 (11:47 +0200)]
model-checker : dangling pointer set to NULL

9 years agomodel-checker : set SMPI request to NULL before creating them (MC compliant)
Marion Guthmuller [Fri, 4 Oct 2013 09:45:52 +0000 (11:45 +0200)]
model-checker : set SMPI request to NULL before creating them (MC compliant)

9 years agomodel-checker : improve ignore mechanism for complete memory area
Marion Guthmuller [Fri, 4 Oct 2013 09:43:59 +0000 (11:43 +0200)]
model-checker : improve ignore mechanism for complete memory area

9 years agomodel-checker : restore sequential system state comparison (parallel version is slowe...
Marion Guthmuller [Thu, 3 Oct 2013 17:47:05 +0000 (19:47 +0200)]
model-checker : restore sequential system state comparison (parallel version is slower, for now ..)

9 years agomodel-checker : fix sort of acceptance pairs
Marion Guthmuller [Thu, 3 Oct 2013 17:39:33 +0000 (19:39 +0200)]
model-checker : fix sort of acceptance pairs

9 years agomodel-checker : add debug message
Marion Guthmuller [Thu, 3 Oct 2013 17:35:46 +0000 (19:35 +0200)]
model-checker : add debug message

9 years agomodel-checker : ignore some information for system state comparison
Marion Guthmuller [Thu, 3 Oct 2013 17:35:06 +0000 (19:35 +0200)]
model-checker : ignore some information for system state comparison

9 years agoinit request real_src
Marion Guthmuller [Thu, 3 Oct 2013 17:34:08 +0000 (19:34 +0200)]
init request real_src

9 years agomodel-checker : detect pointers on a part of a fragment
Marion Guthmuller [Thu, 3 Oct 2013 17:23:16 +0000 (19:23 +0200)]
model-checker : detect pointers on a part of a fragment

9 years agomodel-checker : fix centralized mutex example
Marion Guthmuller [Wed, 2 Oct 2013 14:18:06 +0000 (16:18 +0200)]
model-checker : fix centralized mutex example

9 years agomodel-checker : update bugged mutual exclusion algorithm
Marion Guthmuller [Wed, 2 Oct 2013 14:12:38 +0000 (16:12 +0200)]
model-checker : update bugged mutual exclusion algorithm

9 years agomodel-checker : automaton state comparison removed with parallel comparison, fix it
Marion Guthmuller [Wed, 2 Oct 2013 08:02:17 +0000 (10:02 +0200)]
model-checker : automaton state comparison removed with parallel comparison, fix it

9 years agoempty lines made win unhappy
Augustin Degomme [Fri, 4 Oct 2013 13:09:49 +0000 (15:09 +0200)]
empty lines made win unhappy

9 years agoUse a large hammer to have Perl tesh actually comply with most of the existing suite.
Augustin Degomme [Fri, 4 Oct 2013 12:30:59 +0000 (14:30 +0200)]
Use a large hammer to have Perl tesh actually comply with most of the existing suite.

9 years agohave perl comply a little bit more to what existed before
Augustin Degomme [Wed, 2 Oct 2013 16:39:35 +0000 (18:39 +0200)]
have perl comply a little bit more to what existed before

9 years agofile was put in the wrong folder ...
Augustin Degomme [Wed, 2 Oct 2013 12:58:05 +0000 (14:58 +0200)]
file was put in the wrong folder ...

9 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Fri, 4 Oct 2013 07:14:08 +0000 (09:14 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

9 years agoKill some memory leaks.
Arnaud Giersch [Thu, 3 Oct 2013 21:18:10 +0000 (23:18 +0200)]
Kill some memory leaks.