Arnaud Giersch [Wed, 25 Sep 2013 21:32:35 +0000 (23:32 +0200)]
Remove now unused parameter "default_value" for xbt_cfg_register.
Its usage was too problematic:
* it required a pointer to a variable containing the default value
* strings needed to be duplicated
* booleans needed to be given as ints
* callbacks were not called
You should use xbt_cfg_setdefault_* instead.
Arnaud Giersch [Wed, 25 Sep 2013 19:59:16 +0000 (21:59 +0200)]
Dig through git history, and update copyright lines.
Note that:
* only existing lines are updated
* dates already written were kept
* missing dates were found with "git log --format=%ad"
Adding a copyright notice to files where it's missing is left as
an exercise to the reader.
Arnaud Giersch [Wed, 25 Sep 2013 15:13:43 +0000 (17:13 +0200)]
++Suppression.
Augustin Degomme [Wed, 25 Sep 2013 18:04:35 +0000 (20:04 +0200)]
fix distrib for win (and try not to break it for linux?)
Augustin Degomme [Wed, 25 Sep 2013 18:02:56 +0000 (20:02 +0200)]
fix build
Augustin Degomme [Wed, 25 Sep 2013 17:33:04 +0000 (19:33 +0200)]
removed file for win packaging
Augustin Degomme [Wed, 25 Sep 2013 17:32:43 +0000 (19:32 +0200)]
file not in the webcruft dir
suter [Wed, 25 Sep 2013 16:25:00 +0000 (18:25 +0200)]
empty struct means trouble, add a dummy field for now
suter [Wed, 25 Sep 2013 16:23:29 +0000 (18:23 +0200)]
mimic host behavior, works better this way
suter [Wed, 25 Sep 2013 16:22:27 +0000 (18:22 +0200)]
prevent using garbage in data field
suter [Wed, 25 Sep 2013 16:20:56 +0000 (18:20 +0200)]
move things to a righter place
Marion Guthmuller [Wed, 25 Sep 2013 14:32:28 +0000 (16:32 +0200)]
model-checker : init var
Augustin Degomme [Wed, 25 Sep 2013 09:55:08 +0000 (11:55 +0200)]
Revert "remove some tests from memcheck tests. They purposely do not finish cleanly."
This reverts commit
ba1f3739923acc4b5b17d969ec1f28168d19d741.
Pierre Veyre [Wed, 25 Sep 2013 14:19:32 +0000 (16:19 +0200)]
Uncomment code to avoid warning
Pierre Veyre [Wed, 25 Sep 2013 14:16:28 +0000 (16:16 +0200)]
add msg_storage_priv_t creation
Arnaud Giersch [Wed, 25 Sep 2013 13:09:49 +0000 (15:09 +0200)]
More Valgrind suppressions, for libcgraph.
suter [Wed, 25 Sep 2013 12:56:31 +0000 (14:56 +0200)]
found a hidden unsigned long
suter [Wed, 25 Sep 2013 12:54:58 +0000 (14:54 +0200)]
here was the leak ...
suter [Wed, 25 Sep 2013 12:18:46 +0000 (14:18 +0200)]
some corrections while chasing leaks
suter [Wed, 25 Sep 2013 10:34:11 +0000 (12:34 +0200)]
leak--
Arnaud Giersch [Wed, 25 Sep 2013 12:45:33 +0000 (14:45 +0200)]
Use new suppression file with Valgrind.
Arnaud Giersch [Wed, 25 Sep 2013 12:43:11 +0000 (14:43 +0200)]
Add supression file for Valgrind.
Marion Guthmuller [Wed, 25 Sep 2013 11:37:48 +0000 (13:37 +0200)]
model-checker : increase timeout
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
Pierre Veyre [Wed, 25 Sep 2013 09:49:19 +0000 (11:49 +0200)]
MSG_storage API improvements (or not)
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.
Augustin Degomme [Wed, 25 Sep 2013 08:21:09 +0000 (10:21 +0200)]
close cleanly test for valgrind to be happier
Arnaud Giersch [Wed, 25 Sep 2013 07:31:29 +0000 (09:31 +0200)]
Fix indentation.
Arnaud Giersch [Wed, 25 Sep 2013 07:29:42 +0000 (09:29 +0200)]
Repair build.
Arnaud Giersch [Wed, 25 Sep 2013 07:21:13 +0000 (09:21 +0200)]
Remove useless lines.
Arnaud Giersch [Wed, 25 Sep 2013 07:15:27 +0000 (09:15 +0200)]
Avoid to leave stale temporary files.
Augustin Degomme [Tue, 24 Sep 2013 22:14:10 +0000 (00:14 +0200)]
shared allocations are disabled on windows, do not test them
Augustin Degomme [Tue, 24 Sep 2013 21:53:45 +0000 (23:53 +0200)]
double definition makes windows unhappy
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
Martin Quinson [Tue, 24 Sep 2013 19:45:00 +0000 (21:45 +0200)]
try to ensure that the tesh script is executable on windows
Martin Quinson [Tue, 24 Sep 2013 18:23:58 +0000 (20:23 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Marion Guthmuller [Tue, 24 Sep 2013 16:41:31 +0000 (18:41 +0200)]
model-checker : fix system state comparison (I hate dangling pointers ...)
Martin Quinson [Tue, 24 Sep 2013 16:46:24 +0000 (18:46 +0200)]
me stupid. Sorry
Martin Quinson [Tue, 24 Sep 2013 16:35:49 +0000 (18:35 +0200)]
Other try to get lto working on windows
Martin Quinson [Tue, 24 Sep 2013 16:19:59 +0000 (18:19 +0200)]
and now with the correct cmake syntax
Martin Quinson [Tue, 24 Sep 2013 16:15:04 +0000 (18:15 +0200)]
try to get the win build working despite gcc bugs
Augustin Degomme [Tue, 24 Sep 2013 15:22:47 +0000 (17:22 +0200)]
one more leak
Augustin Degomme [Tue, 24 Sep 2013 15:18:59 +0000 (17:18 +0200)]
windows doesn't provide/need this call
Augustin Degomme [Tue, 24 Sep 2013 14:57:44 +0000 (16:57 +0200)]
first attempt to fix win build
suter [Tue, 24 Sep 2013 14:07:04 +0000 (16:07 +0200)]
also test allgatherv replay (in its new format)
Augustin Degomme [Tue, 24 Sep 2013 13:19:18 +0000 (15:19 +0200)]
few more leaks
Augustin Degomme [Tue, 24 Sep 2013 13:13:05 +0000 (15:13 +0200)]
change execution rights on build scripts
Augustin Degomme [Tue, 24 Sep 2013 13:11:08 +0000 (15:11 +0200)]
more leaks
Augustin Degomme [Tue, 24 Sep 2013 12:56:09 +0000 (14:56 +0200)]
update changelog
Augustin Degomme [Tue, 24 Sep 2013 12:36:34 +0000 (14:36 +0200)]
test leak --
Augustin Degomme [Tue, 24 Sep 2013 12:36:26 +0000 (14:36 +0200)]
smpi leak --
Augustin Degomme [Tue, 24 Sep 2013 11:41:18 +0000 (13:41 +0200)]
missing prototype
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.
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
Pierre Veyre [Tue, 24 Sep 2013 09:23:17 +0000 (11:23 +0200)]
Add MSG_storage_set_property_value function
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.
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
Pierre Veyre [Tue, 24 Sep 2013 08:44:46 +0000 (10:44 +0200)]
Add MSG_storage_get_content function
suter [Tue, 24 Sep 2013 08:04:40 +0000 (10:04 +0200)]
remove a leak on almost all simdag tests
Arnaud Giersch [Mon, 23 Sep 2013 21:01:03 +0000 (23:01 +0200)]
More memory leaks.
Arnaud Giersch [Mon, 23 Sep 2013 19:39:56 +0000 (21:39 +0200)]
The full dynar is not used here, delete it.
Arnaud Giersch [Mon, 23 Sep 2013 19:39:56 +0000 (21:39 +0200)]
Also delete allocs_metadata.
Arnaud Giersch [Mon, 23 Sep 2013 19:39:56 +0000 (21:39 +0200)]
Free loc, which is unused in this path.
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()).
Augustin Degomme [Mon, 23 Sep 2013 15:58:50 +0000 (17:58 +0200)]
leak --
Augustin Degomme [Mon, 23 Sep 2013 15:58:36 +0000 (17:58 +0200)]
leak --
Augustin Degomme [Mon, 23 Sep 2013 15:58:28 +0000 (17:58 +0200)]
leak --
Augustin Degomme [Mon, 23 Sep 2013 15:58:13 +0000 (17:58 +0200)]
remove leaks from energy
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
Augustin Degomme [Mon, 23 Sep 2013 13:06:49 +0000 (15:06 +0200)]
Fix failing test
Augustin Degomme [Mon, 23 Sep 2013 12:55:44 +0000 (14:55 +0200)]
remove warnings
Arnaud Giersch [Mon, 23 Sep 2013 11:31:28 +0000 (13:31 +0200)]
Move endif() at proper place.
Arnaud Giersch [Mon, 23 Sep 2013 11:21:23 +0000 (13:21 +0200)]
Cosmetics.
Arnaud Giersch [Mon, 23 Sep 2013 11:10:34 +0000 (13:10 +0200)]
There's no need to dup these strings (memleak--).
Arnaud Giersch [Mon, 23 Sep 2013 11:02:55 +0000 (13:02 +0200)]
Fix error: ‘current_region’ may be used uninitialized in this function.
Augustin Degomme [Mon, 23 Sep 2013 10:43:22 +0000 (12:43 +0200)]
hide the MPICH3 testsuite behind a compilation flag, to quicken compilation
Augustin Degomme [Mon, 23 Sep 2013 09:03:24 +0000 (11:03 +0200)]
fix build without tracing
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
Arnaud Giersch [Mon, 23 Sep 2013 09:58:07 +0000 (11:58 +0200)]
Update mmalloc_{32,64}.tesh.
Arnaud Giersch [Mon, 23 Sep 2013 09:53:49 +0000 (11:53 +0200)]
Test is useless here.
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
Arnaud Giersch [Fri, 20 Sep 2013 14:27:54 +0000 (16:27 +0200)]
Use xbt_cfg_setdefault everywhere.
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.
Arnaud Giersch [Fri, 20 Sep 2013 08:52:23 +0000 (10:52 +0200)]
Cosmetics: some reindent.
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)
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.
Marion Guthmuller [Mon, 23 Sep 2013 08:54:47 +0000 (10:54 +0200)]
model-checker : add bugged1_liveness_visited.tesh in CMakeLists.txt
Carlos Eduardo Moreira dos Santos [Sun, 22 Sep 2013 00:01:13 +0000 (21:01 -0300)]
introduction.doc corrections
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
Carlos Eduardo Moreira dos Santos [Sun, 22 Sep 2013 00:01:13 +0000 (21:01 -0300)]
introduction.doc corrections
Marion Guthmuller [Sat, 21 Sep 2013 22:03:47 +0000 (00:03 +0200)]
model-checker : fix platform file path in tesh examples
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
Marion Guthmuller [Sat, 21 Sep 2013 21:12:31 +0000 (23:12 +0200)]
forget to uncomment a part of code
Marion Guthmuller [Sat, 21 Sep 2013 20:47:01 +0000 (22:47 +0200)]
model-checker : parallel comparison of system states for liveness model-checking
Marion Guthmuller [Sat, 21 Sep 2013 20:07:58 +0000 (22:07 +0200)]
model-checker : get size used (heapinfo meta-data)
Marion Guthmuller [Thu, 19 Sep 2013 16:48:34 +0000 (18:48 +0200)]
model-checker : minor fix in ddfs algorithm
Marion Guthmuller [Thu, 19 Sep 2013 15:39:11 +0000 (17:39 +0200)]
model-checker : fix bugged1_liveness example
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
Augustin Degomme [Fri, 20 Sep 2013 13:31:22 +0000 (15:31 +0200)]
attempt to make valgrind happier
Augustin Degomme [Fri, 20 Sep 2013 13:27:28 +0000 (15:27 +0200)]
leak --