Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years agofree dicts
suter [Wed, 9 Oct 2013 08:06:26 +0000 (10:06 +0200)]
free dicts

7 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

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

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

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

7 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

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

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

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

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

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

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

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

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

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

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

7 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

7 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

7 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

7 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

7 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

7 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

7 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

7 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

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

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

7 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

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

7 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

7 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

7 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

7 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

7 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

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

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

7 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

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

7 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

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

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

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

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

7 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

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

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

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

7 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

7 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

7 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

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

7 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

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

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

7 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

7 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

7 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

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

7 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

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

7 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

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

7 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

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

7 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

7 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

7 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

7 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

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

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

7 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

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

7 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