Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years agoUse memcpy() instead of possibly broken aliasing through an union.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:47 +0000 (09:03 +0200)]
Use memcpy() instead of possibly broken aliasing through an union.

According to C standard:
J.1 Unspecified behavior
The following are unspecified:
[...]
-- The value of a union member other than the last one stored into (6.2.6.1).

7 years agoFix in SIMIX_host_add_auto_restart_process
Samuel Lepetit [Thu, 28 Jun 2012 13:48:06 +0000 (15:48 +0200)]
Fix in SIMIX_host_add_auto_restart_process

7 years agoFix an issue in process autorestart
Samuel Lepetit [Thu, 28 Jun 2012 13:16:28 +0000 (15:16 +0200)]
Fix an issue in process autorestart

7 years agoHide cmake variable
navarro [Thu, 28 Jun 2012 12:44:25 +0000 (14:44 +0200)]
Hide cmake variable

7 years agoRemove duplicated declartion of functions. They are in simix.h and not private,
navarro [Thu, 28 Jun 2012 12:41:04 +0000 (14:41 +0200)]
Remove duplicated declartion of functions. They are in simix.h and not private,
they are called by MSG

7 years agoAdd the function autorestart in simix_global
navarro [Thu, 28 Jun 2012 12:28:40 +0000 (14:28 +0200)]
Add the function autorestart in simix_global

7 years agoAdd SIMIX_host_restart_processes
Samuel Lepetit [Thu, 28 Jun 2012 11:59:15 +0000 (13:59 +0200)]
Add SIMIX_host_restart_processes

7 years agoCreate a dict with all hosts with state SURF_RESOURCE_OFF during a SIMIX_process_stop.
navarro [Thu, 28 Jun 2012 11:05:37 +0000 (13:05 +0200)]
Create a dict with all hosts with state SURF_RESOURCE_OFF during a SIMIX_process_stop.

7 years agoTODO comments
navarro [Mon, 25 Jun 2012 13:08:07 +0000 (15:08 +0200)]
TODO comments

7 years agoTest for failed host is wrong for parallel tasks.
Arnaud Giersch [Thu, 28 Jun 2012 09:28:19 +0000 (11:28 +0200)]
Test for failed host is wrong for parallel tasks.

7 years agoAdd dots, and break long lines.
Arnaud Giersch [Thu, 28 Jun 2012 09:10:06 +0000 (11:10 +0200)]
Add dots, and break long lines.

7 years agoChangelog update
Samuel Lepetit [Thu, 28 Jun 2012 08:44:33 +0000 (10:44 +0200)]
Changelog update

7 years agomemcheck_tests.cmake: update.
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
memcheck_tests.cmake: update.

7 years agoDon't run test when it's not built (!HAVE_GRAPHVIZ).
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
Don't run test when it's not built (!HAVE_GRAPHVIZ).

7 years agoFix path for out-of-source builds, and kill useless empty lines.
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
Fix path for out-of-source builds, and kill useless empty lines.

7 years agoUpdate with flex from Debian (includes fixes for ia64).
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
Update with flex from Debian (includes fixes for ia64).

7 years agoTest the simdag_tracing code that were already there in /examples/simdag
suter [Thu, 28 Jun 2012 07:59:37 +0000 (09:59 +0200)]
Test the simdag_tracing code that were already there in /examples/simdag

7 years agomodel-checker : update supernovae files (automaton_create.c removed with cleanups...
Marion Guthmuller [Wed, 27 Jun 2012 16:33:54 +0000 (18:33 +0200)]
model-checker : update supernovae files (automaton_create.c removed with cleanups done for model-checking configuration)

7 years agomodel-checker : detect valid block or fragment pointer as free function
Marion Guthmuller [Wed, 27 Jun 2012 15:27:21 +0000 (17:27 +0200)]
model-checker : detect valid block or fragment pointer as free function

7 years agomodel-checker : check current_heap before SET_RAW_MEM and restore it after UNSET_RAW_MEM
Marion Guthmuller [Tue, 26 Jun 2012 12:19:44 +0000 (14:19 +0200)]
model-checker : check current_heap before SET_RAW_MEM and restore it after UNSET_RAW_MEM

7 years agoFirst bricks for auto_restart support in SIMIX/MSG.
Samuel Lepetit [Wed, 27 Jun 2012 14:29:56 +0000 (16:29 +0200)]
First bricks for auto_restart support in SIMIX/MSG.

7 years agoChanges in generated files from DTD change.
Samuel Lepetit [Wed, 27 Jun 2012 14:19:46 +0000 (16:19 +0200)]
Changes in generated files from DTD change.

7 years agoChanges in SimGrid DTD files for on_failure support.
Samuel Lepetit [Wed, 27 Jun 2012 14:17:00 +0000 (16:17 +0200)]
Changes in SimGrid DTD files for on_failure support.

7 years agoAdd on_failure for processes to the SimGrid DTD.
Samuel Lepetit [Wed, 27 Jun 2012 14:08:41 +0000 (16:08 +0200)]
Add on_failure for processes to the SimGrid DTD.

7 years agoFix search paths for test "simdag-test-lua".
Arnaud Giersch [Wed, 27 Jun 2012 08:08:45 +0000 (10:08 +0200)]
Fix search paths for test "simdag-test-lua".

The test is still failing, though.

7 years agoUntabify.
Arnaud Giersch [Wed, 27 Jun 2012 07:21:33 +0000 (09:21 +0200)]
Untabify.

7 years agoAvoid to recompile automatonparse_promela.c at each build (maintainer mode).
Arnaud Giersch [Tue, 26 Jun 2012 21:38:03 +0000 (23:38 +0200)]
Avoid to recompile automatonparse_promela.c at each build (maintainer mode).

7 years agoTesting the value is useless here...
Arnaud Giersch [Tue, 26 Jun 2012 17:20:52 +0000 (19:20 +0200)]
Testing the value is useless here...

7 years agoComplete help for logs.
Arnaud Giersch [Tue, 26 Jun 2012 17:15:46 +0000 (19:15 +0200)]
Complete help for logs.

7 years agoRemove obsolete command line arguments from help.
Arnaud Giersch [Tue, 26 Jun 2012 17:15:09 +0000 (19:15 +0200)]
Remove obsolete command line arguments from help.

7 years agoTypo and spaces at EOL.
Arnaud Giersch [Tue, 26 Jun 2012 17:14:11 +0000 (19:14 +0200)]
Typo and spaces at EOL.

7 years agomemcheck_tests.cmake: regenerate.
Arnaud Giersch [Tue, 26 Jun 2012 17:09:55 +0000 (19:09 +0200)]
memcheck_tests.cmake: regenerate.

7 years agoMake generate_memcheck_tests.pl keep indentation (but the two first space).
Arnaud Giersch [Tue, 26 Jun 2012 17:09:13 +0000 (19:09 +0200)]
Make generate_memcheck_tests.pl keep indentation (but the two first space).

7 years agoReindent Cmake files.
Arnaud Giersch [Tue, 26 Jun 2012 15:05:16 +0000 (17:05 +0200)]
Reindent Cmake files.

7 years agoRemove unnecessary spaces and empty lines in tesh files.
Arnaud Giersch [Tue, 26 Jun 2012 14:26:22 +0000 (16:26 +0200)]
Remove unnecessary spaces and empty lines in tesh files.

7 years agotest also the dotloader with a file that comprises a cycle.
suter [Tue, 26 Jun 2012 11:15:56 +0000 (13:15 +0200)]
test also the dotloader with a file that comprises a cycle.

7 years agoeven with DOT, we should whine if cycle are detected and return nothing
suter [Tue, 26 Jun 2012 11:05:33 +0000 (13:05 +0200)]
even with DOT, we should whine if cycle are detected and return nothing

7 years agoinvalid access mode should be tested in the setter not in the dump
suter [Tue, 26 Jun 2012 10:48:51 +0000 (12:48 +0200)]
invalid access mode should be tested in the setter not in the dump
function.

7 years agoadd the simdag-dax-cycle test to the list
suter [Tue, 26 Jun 2012 10:26:53 +0000 (12:26 +0200)]
add the simdag-dax-cycle test to the list

7 years agoadd a new test that loads a DAX with a cycle. It should be detected and
suter [Tue, 26 Jun 2012 10:24:21 +0000 (12:24 +0200)]
add a new test that loads a DAX with a cycle. It should be detected and
the test should abort.

7 years agohave to use basename once again to make tesh happy
suter [Tue, 26 Jun 2012 10:22:54 +0000 (12:22 +0200)]
have to use basename once again to make tesh happy

7 years agoIf the DAX contains a cycle, just miserably die ...
suter [Tue, 26 Jun 2012 09:09:47 +0000 (11:09 +0200)]
If the DAX contains a cycle, just miserably die ...

7 years agoWhen you detect a cycle in a structure supposed to be acyclic, don't
suter [Tue, 26 Jun 2012 09:00:05 +0000 (11:00 +0200)]
When you detect a cycle in a structure supposed to be acyclic, don't
return it the user. Raise an error message and return nothing instead.

7 years agoFix a memory leak.
Samuel Lepetit [Tue, 26 Jun 2012 09:55:50 +0000 (11:55 +0200)]
Fix a memory leak.

7 years agoAdd bittorrent files to the CMakeLists
Samuel Lepetit [Tue, 26 Jun 2012 08:27:21 +0000 (10:27 +0200)]
Add bittorrent files to the CMakeLists

7 years agomodel-checker : keep one bugged1 example for liveness properties
Marion Guthmuller [Tue, 26 Jun 2012 08:59:45 +0000 (10:59 +0200)]
model-checker : keep one bugged1 example for liveness properties

7 years agomodel-checker : update list of examples in CMakeLists
Marion Guthmuller [Tue, 26 Jun 2012 08:58:55 +0000 (10:58 +0200)]
model-checker : update list of examples in CMakeLists

7 years agomodel-checker : remove unused examples
Marion Guthmuller [Tue, 26 Jun 2012 08:58:14 +0000 (10:58 +0200)]
model-checker : remove unused examples

7 years agomodel-checker : cosmetics reindent
Marion Guthmuller [Mon, 25 Jun 2012 05:57:20 +0000 (07:57 +0200)]
model-checker : cosmetics reindent

7 years agorhhaaa, forgot the tesh file of that beautiful test.
suter [Tue, 26 Jun 2012 07:49:56 +0000 (09:49 +0200)]
rhhaaa, forgot the tesh file of that beautiful test.

7 years agoAdd a simcall for process_on_exit
Samuel Lepetit [Mon, 25 Jun 2012 11:39:50 +0000 (13:39 +0200)]
Add a simcall for process_on_exit

7 years agoFix commit f48cc395ebecc84d865ab551a672d2a2358624e5
Samuel Lepetit [Mon, 25 Jun 2012 08:43:40 +0000 (10:43 +0200)]
Fix commit f48cc395ebecc84d865ab551a672d2a2358624e5

7 years agoFix an issue when you registered a on_exit function on a process_create.
Samuel Lepetit [Mon, 25 Jun 2012 08:41:12 +0000 (10:41 +0200)]
Fix an issue when you registered a on_exit function on a process_create.

7 years agoslight change to verify that access mode can be changed both ways
suter [Sun, 24 Jun 2012 17:19:37 +0000 (19:19 +0200)]
slight change to verify that access mode can be changed both ways

7 years agoextend test to see if SD_workstation_dump displays properties correctly
suter [Sun, 24 Jun 2012 17:01:50 +0000 (19:01 +0200)]
extend test to see if SD_workstation_dump displays properties correctly

7 years agoextend the test to unschedule parallel typed tasks and test the fact
suter [Sun, 24 Jun 2012 16:52:05 +0000 (18:52 +0200)]
extend the test to unschedule parallel typed tasks and test the fact
that no order is imposed to auto-schedule a transfer (src first or dst
first, who cares?)

7 years agoSD_unschedule was never tested and actually buggy for typed parallel
suter [Sun, 24 Jun 2012 16:50:22 +0000 (18:50 +0200)]
SD_unschedule was never tested and actually buggy for typed parallel
tasks.

7 years agobasename raises a warning without including libgen.h
suter [Sun, 24 Jun 2012 16:14:15 +0000 (18:14 +0200)]
basename raises a warning without including libgen.h

7 years agoadd yet another basic tesh to increase coverage. sd_link.c should be at
suter [Sun, 24 Jun 2012 16:03:52 +0000 (18:03 +0200)]
add yet another basic tesh to increase coverage. sd_link.c should be at
100% now

7 years agomodel-checker : keep MC_request_to_string in std heap
Marion Guthmuller [Fri, 22 Jun 2012 15:48:51 +0000 (17:48 +0200)]
model-checker : keep MC_request_to_string in std heap

7 years agomodel-checker : detect pointers on valid fragment in heap comparison algorithm
Marion Guthmuller [Fri, 22 Jun 2012 15:44:40 +0000 (17:44 +0200)]
model-checker : detect pointers on valid fragment in heap comparison algorithm

7 years agoAdd bittorrent example in Lua
Samuel Lepetit [Fri, 22 Jun 2012 15:01:29 +0000 (17:01 +0200)]
Add bittorrent example in Lua

7 years agodon't add the binary to the git
suter [Fri, 22 Jun 2012 14:33:05 +0000 (16:33 +0200)]
don't add the binary to the git

7 years agomake this tests pass
suter [Fri, 22 Jun 2012 14:31:36 +0000 (16:31 +0200)]
make this tests pass

7 years agoremove unused variable
suter [Fri, 22 Jun 2012 14:21:40 +0000 (16:21 +0200)]
remove unused variable

7 years agoone more test of the dotloader (dot with a good schedule in it)
suter [Fri, 22 Jun 2012 14:20:24 +0000 (16:20 +0200)]
one more test of the dotloader (dot with a good schedule in it)

add the tesh to the testsuite

7 years agoforgot to add the test to the whole list
suter [Fri, 22 Jun 2012 13:49:53 +0000 (15:49 +0200)]
forgot to add the test to the whole list

7 years agoadd a (currently) broken test that tries to create the environment by
suter [Fri, 22 Jun 2012 13:37:22 +0000 (15:37 +0200)]
add a (currently) broken test that tries to create the environment by
loading some lua script

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
suter [Fri, 22 Jun 2012 13:25:14 +0000 (15:25 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

7 years agoAdd a new basic test: what happens when simulation ends while some tasks
suter [Fri, 22 Jun 2012 13:25:03 +0000 (15:25 +0200)]
Add a new basic test: what happens when simulation ends while some tasks
are not handle at all? Get wome warnings, dude!

7 years agomore content and cosmetics to the ChangeLog
Martin Quinson [Fri, 22 Jun 2012 12:56:42 +0000 (14:56 +0200)]
more content and cosmetics to the ChangeLog

7 years agodocument some of the recent changes that I can remember of
Martin Quinson [Fri, 22 Jun 2012 12:41:33 +0000 (14:41 +0200)]
document some of the recent changes that I can remember of

7 years agoUse cmake module for lua51
navarro [Fri, 22 Jun 2012 12:09:14 +0000 (14:09 +0200)]
Use cmake module for lua51

7 years agoUpdate tesh files using trace as those files have changed in order to test more cases.
navarro [Fri, 22 Jun 2012 11:28:12 +0000 (13:28 +0200)]
Update tesh files using trace as those files have changed in order to test more cases.

7 years agoNeed to have a double because the result should not be an integer.
navarro [Fri, 22 Jun 2012 11:07:42 +0000 (13:07 +0200)]
Need to have a double because the result should not be an integer.

7 years agomake iterating over NULL dynar a no-op that does not let the counter uninitialized
Martin Quinson [Fri, 22 Jun 2012 10:16:26 +0000 (12:16 +0200)]
make iterating over NULL dynar a no-op that does not let the counter uninitialized

7 years agoMSG_config mc-related stuff is not enough to activate model-checking, the --cfg is...
Martin Quinson [Fri, 22 Jun 2012 09:50:59 +0000 (11:50 +0200)]
MSG_config mc-related stuff is not enough to activate model-checking, the --cfg is mandated (or MC initialization will occure to late). Warn users accordingly

7 years agoFix usage of xbt_dynar_foreach if dynar is NULL.
navarro [Fri, 22 Jun 2012 08:58:50 +0000 (10:58 +0200)]
Fix usage of xbt_dynar_foreach if dynar is NULL.

7 years agomodel-checker : update tesh with new cleanups done in model checking configuration
Marion Guthmuller [Fri, 22 Jun 2012 08:53:12 +0000 (10:53 +0200)]
model-checker : update tesh with new cleanups done in model checking configuration

7 years agoThose files are generated so they don't have to be in source packages.
navarro [Fri, 22 Jun 2012 08:40:14 +0000 (10:40 +0200)]
Those files are generated so they don't have to be in source packages.

7 years agoRemove MSG_process_kill_from_SIMIX
Samuel Lepetit [Fri, 22 Jun 2012 08:15:56 +0000 (10:15 +0200)]
Remove MSG_process_kill_from_SIMIX

7 years agooops, we broke non-model-checking builds yesterday. Sorry guys
Martin Quinson [Fri, 22 Jun 2012 07:59:23 +0000 (09:59 +0200)]
oops, we broke non-model-checking builds yesterday. Sorry guys

7 years agoignore some new binary files
Martin Quinson [Fri, 22 Jun 2012 07:58:47 +0000 (09:58 +0200)]
ignore some new binary files

7 years agouse an axe (and dupplicate targets) to get the doc compiling
Martin Quinson [Fri, 22 Jun 2012 06:46:08 +0000 (08:46 +0200)]
use an axe (and dupplicate targets) to get the doc compiling

7 years agomodel-checker : update name of generated_files
Marion Guthmuller [Thu, 21 Jun 2012 16:53:30 +0000 (18:53 +0200)]
model-checker : update name of generated_files

7 years agomodel-checker : comment storage of visited pairs
Marion Guthmuller [Thu, 21 Jun 2012 16:41:28 +0000 (18:41 +0200)]
model-checker : comment storage of visited pairs

7 years agoRe add file (CMake files) to generate doc in the dist
navarro [Thu, 21 Jun 2012 16:08:08 +0000 (18:08 +0200)]
Re add file (CMake files) to generate doc in the dist

7 years agoDon't need to track those files they are generated
navarro [Thu, 21 Jun 2012 16:01:58 +0000 (18:01 +0200)]
Don't need to track those files they are generated

7 years agoThose files are generated
navarro [Thu, 21 Jun 2012 15:59:23 +0000 (17:59 +0200)]
Those files are generated

7 years agoRemove deleted files from archive.
navarro [Thu, 21 Jun 2012 15:49:08 +0000 (17:49 +0200)]
Remove deleted files from archive.

7 years agoPut double instead of size_t.
navarro [Thu, 21 Jun 2012 15:48:33 +0000 (17:48 +0200)]
Put double instead of size_t.

7 years agoDocument the new config options that we introduced with Marion
Martin Quinson [Thu, 21 Jun 2012 15:44:40 +0000 (17:44 +0200)]
Document the new config options that we introduced with Marion

7 years agoFix path for the cmake generated file.
navarro [Thu, 21 Jun 2012 15:34:03 +0000 (17:34 +0200)]
Fix path for the cmake generated file.

7 years agoMore debug
navarro [Thu, 21 Jun 2012 13:42:32 +0000 (15:42 +0200)]
More debug

7 years agoFix update of the file size when write a double and not int
navarro [Thu, 21 Jun 2012 13:20:57 +0000 (15:20 +0200)]
Fix update of the file size when write a double and not int

7 years agoRewrite the way the disk usage and file size are updated
navarro [Thu, 21 Jun 2012 12:33:39 +0000 (14:33 +0200)]
Rewrite the way the disk usage and file size are updated

7 years agoComsetics
navarro [Thu, 21 Jun 2012 12:32:23 +0000 (14:32 +0200)]
Comsetics

7 years agoMove MSG_parallel_task_create() in msg_task.c.
Arnaud Giersch [Thu, 21 Jun 2012 14:37:47 +0000 (16:37 +0200)]
Move MSG_parallel_task_create() in msg_task.c.

Also use MSG_task_create() for the common initializations.

7 years agoMake the initializations follow the order of the declarations.
Arnaud Giersch [Thu, 21 Jun 2012 14:36:31 +0000 (16:36 +0200)]
Make the initializations follow the order of the declarations.

7 years agoUse the right directory name.
Arnaud Giersch [Thu, 21 Jun 2012 14:04:33 +0000 (16:04 +0200)]
Use the right directory name.