Logo AND Algorithmique Numérique Distribuée

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

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

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

10 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

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

10 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

10 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10 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

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

10 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

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

10 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

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

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

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

10 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

10 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

10 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

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

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

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

10 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

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

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

10 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

10 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

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

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

10 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

10 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

10 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

10 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

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

10 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

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

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

10 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

10 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

10 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

10 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

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

10 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

10 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

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

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

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

10 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

10 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

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

10 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

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

10 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

10 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

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

10 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

10 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

10 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

10 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

10 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

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

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

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

10 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

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

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

10 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

10 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

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

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

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

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

10 years agoRemaining s/MSG_global_init/MSG_init/.
Arnaud Giersch [Thu, 21 Jun 2012 13:05:22 +0000 (15:05 +0200)]
Remaining s/MSG_global_init/MSG_init/.

10 years agoCleanups in the --cfg options regarding model-checking
Martin Quinson [Thu, 21 Jun 2012 15:17:50 +0000 (17:17 +0200)]
Cleanups in the --cfg options regarding model-checking

plus, various internal cleanups. Also, we broke the liveness checking
for some obscure reason that we fail to see right now...

10 years agoimprove documentation on the way
Martin Quinson [Thu, 21 Jun 2012 14:38:35 +0000 (16:38 +0200)]
improve documentation on the way

10 years agoCheck if the host is down at the end of a SIMIX_io_finish
Samuel Lepetit [Thu, 21 Jun 2012 13:34:42 +0000 (15:34 +0200)]
Check if the host is down at the end of a SIMIX_io_finish

10 years agoKill the process when a host fails when doing a synchronisation simcall.
Samuel Lepetit [Thu, 21 Jun 2012 13:29:27 +0000 (15:29 +0200)]
Kill the process when a host fails when doing a synchronisation simcall.

10 years agoVarious cleanups to the model-checking user interface
Martin Quinson [Thu, 21 Jun 2012 13:26:06 +0000 (15:26 +0200)]
Various cleanups to the model-checking user interface

- hide the automaton used to represent the property within MC
- move from yacc to bison so that I can choose the output name
- Hide a bunch of private functions used to parse the automaton from
  file
(more to come)

Hopefully, I didn't break too much stuff on my way

10 years agoCheck if the host is down after a execute in SIMIX_execution_finish (to avoid the...
Samuel Lepetit [Thu, 21 Jun 2012 13:08:04 +0000 (15:08 +0200)]
Check if the host is down after a execute in SIMIX_execution_finish (to avoid the case where the process could have the control back whereas his host is down).

10 years agoCheck if the host is down after a communication
Samuel Lepetit [Thu, 21 Jun 2012 13:05:55 +0000 (15:05 +0200)]
Check if the host is down after a communication

10 years agoPrevent TRACE_msg_process_kill to be called more than once
Samuel Lepetit [Thu, 21 Jun 2012 13:01:30 +0000 (15:01 +0200)]
Prevent TRACE_msg_process_kill to be called more than once

10 years agoAdd TRACE_msg_process_kill to the list of functions executed at the end of a process...
Samuel Lepetit [Thu, 21 Jun 2012 12:53:44 +0000 (14:53 +0200)]
Add TRACE_msg_process_kill to the list of functions executed at the end of a process when trace is enabled

10 years agoRemove obsolete files.
Arnaud Giersch [Thu, 21 Jun 2012 09:26:00 +0000 (11:26 +0200)]
Remove obsolete files.

Not sure about mk_win-dist.sh.

10 years agoMerge remote-tracking branch 'origin/master'
jean-noel quintin [Thu, 21 Jun 2012 12:41:06 +0000 (14:41 +0200)]
Merge remote-tracking branch 'origin/master'

10 years agomodel-checker : fix debug message
Marion Guthmuller [Thu, 21 Jun 2012 12:40:04 +0000 (14:40 +0200)]
model-checker : fix debug message