Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
8 years agoFix commit f48cc395ebecc84d865ab551a672d2a2358624e5
Samuel Lepetit [Mon, 25 Jun 2012 08:43:40 +0000 (10:43 +0200)]
Fix commit f48cc395ebecc84d865ab551a672d2a2358624e5

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

8 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

8 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

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

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

8 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

8 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

8 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

8 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

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

8 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

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

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

8 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

8 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

8 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

8 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

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

8 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

8 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

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

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

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

8 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

8 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

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

8 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

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

8 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

8 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

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

8 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

8 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

8 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

8 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

8 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

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

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

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

8 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

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

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

8 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

8 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

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

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

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

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

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

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

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

8 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

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

8 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

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

8 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

8 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

8 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

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

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

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

8 years agoRemove dead code from MSG
Samuel Lepetit [Thu, 21 Jun 2012 12:36:41 +0000 (14:36 +0200)]
Remove dead code from MSG

8 years agoUpdate masterslave_cloud tesh file
Samuel Lepetit [Thu, 21 Jun 2012 12:34:52 +0000 (14:34 +0200)]
Update masterslave_cloud tesh file

8 years ago[simdag,dotloader] clean the valgrind output
jean-noel quintin [Thu, 21 Jun 2012 12:34:10 +0000 (14:34 +0200)]
[simdag,dotloader] clean the valgrind output

8 years agoDon't give control back to user after a process is killed.
Samuel Lepetit [Thu, 21 Jun 2012 12:26:23 +0000 (14:26 +0200)]
Don't give control back to user after a process is killed.

8 years agoCheck if the host is down in SIMIX_post_process_sleep.
Samuel Lepetit [Thu, 21 Jun 2012 11:52:08 +0000 (13:52 +0200)]
Check if the host is down in SIMIX_post_process_sleep.

8 years agomodel-checker : end of cleanup for stateful and stateless model checking
Marion Guthmuller [Thu, 21 Jun 2012 12:03:02 +0000 (14:03 +0200)]
model-checker : end of cleanup for stateful and stateless model checking

8 years agolet model-checking compile without supernovae activated, too
Martin Quinson [Thu, 21 Jun 2012 09:53:21 +0000 (11:53 +0200)]
let model-checking compile without supernovae activated, too

8 years agouseless cosmetics
Martin Quinson [Thu, 21 Jun 2012 09:45:26 +0000 (11:45 +0200)]
useless cosmetics

8 years agomodel-checker : update examples with new function MSG_init
Marion Guthmuller [Thu, 21 Jun 2012 09:51:44 +0000 (11:51 +0200)]
model-checker : update examples with new function MSG_init

8 years agomodel-checker : unused variable
Marion Guthmuller [Thu, 21 Jun 2012 09:38:10 +0000 (11:38 +0200)]
model-checker : unused variable

8 years agoremove useless check that will never detect any issue
Martin Quinson [Thu, 21 Jun 2012 09:32:17 +0000 (11:32 +0200)]
remove useless check that will never detect any issue

8 years agomodel-checker : factorization of code for model-checking of safety properties in...
Marion Guthmuller [Thu, 21 Jun 2012 09:34:27 +0000 (11:34 +0200)]
model-checker : factorization of code for model-checking of safety properties in stateless or stateful

8 years agomodel-checker: remove unused examples
Marion Guthmuller [Thu, 21 Jun 2012 09:32:41 +0000 (11:32 +0200)]
model-checker: remove unused examples

8 years agoDeprecate functions MSG_global_init() / MSG_global_init_args() in flavor of MSG_init()
Martin Quinson [Thu, 21 Jun 2012 09:19:32 +0000 (11:19 +0200)]
Deprecate functions MSG_global_init() / MSG_global_init_args() in flavor of MSG_init()

8 years agoClean some files and target
navarro [Thu, 21 Jun 2012 09:12:53 +0000 (11:12 +0200)]
Clean some files and target

8 years agoCleanup in SIMIX_process_on_exit_runall
Samuel Lepetit [Thu, 21 Jun 2012 08:54:24 +0000 (10:54 +0200)]
Cleanup in SIMIX_process_on_exit_runall

8 years agoFix bug #14412 (Killing a SIMIX process just after migrate won't work)
Samuel Lepetit [Thu, 21 Jun 2012 08:44:38 +0000 (10:44 +0200)]
Fix bug #14412 (Killing a SIMIX process just after migrate won't work)

8 years agoFix commit 825fb3d5095e6cce48885d1d04ab1ec3823dae6c
Samuel Lepetit [Thu, 21 Jun 2012 08:29:54 +0000 (10:29 +0200)]
Fix commit 825fb3d5095e6cce48885d1d04ab1ec3823dae6c

8 years agoCall simcall_set_category after simdata->compute is set.
Arnaud Giersch [Thu, 21 Jun 2012 07:54:22 +0000 (09:54 +0200)]
Call simcall_set_category after simdata->compute is set.

Also do some reindent.

8 years agopebcak protection: some day, someone will use a different version to compile and...
Martin Quinson [Thu, 21 Jun 2012 08:00:46 +0000 (10:00 +0200)]
pebcak protection: some day, someone will use a different version to compile and to link. Be prepared

8 years agoMove SIMIX_process_on_exit functions to public
Samuel Lepetit [Thu, 21 Jun 2012 07:59:24 +0000 (09:59 +0200)]
Move SIMIX_process_on_exit functions to public

8 years agoremove some trailing spaces
jbrv [Thu, 21 Jun 2012 07:50:25 +0000 (09:50 +0200)]
remove some trailing spaces

8 years agoevent trace generation : improving some functions
jbrv [Thu, 21 Jun 2012 07:45:03 +0000 (09:45 +0200)]
event trace generation : improving some functions

8 years agotypo
suter [Wed, 20 Jun 2012 20:55:23 +0000 (22:55 +0200)]
typo

8 years agoMC checkpoints implies MC
Martin Quinson [Wed, 20 Jun 2012 20:46:41 +0000 (22:46 +0200)]
MC checkpoints implies MC

8 years agomeaningful pebcak message: you need to compile MC in to use it
Martin Quinson [Wed, 20 Jun 2012 20:28:26 +0000 (22:28 +0200)]
meaningful pebcak message: you need to compile MC in to use it

8 years agomore informative documentation of cmake option, and kill dead cmake code
Martin Quinson [Wed, 20 Jun 2012 20:05:26 +0000 (22:05 +0200)]
more informative documentation of cmake option, and kill dead cmake code

8 years agomore on testing the dotloader
suter [Wed, 20 Jun 2012 19:57:32 +0000 (21:57 +0200)]
more on testing the dotloader
dot_test2 has some strange unstable behavior. remove it from the tesh
for now

8 years agomodel-checker : remove unused example
Marion Guthmuller [Wed, 20 Jun 2012 17:02:06 +0000 (19:02 +0200)]
model-checker : remove unused example

8 years agomodel-checker : new surf configuration mc-checkpoint
Marion Guthmuller [Wed, 20 Jun 2012 16:58:17 +0000 (18:58 +0200)]
model-checker : new surf configuration mc-checkpoint

8 years agoRevert "model-checker : add new surf configuration mc-checkpoint"
Marion Guthmuller [Wed, 20 Jun 2012 16:45:48 +0000 (18:45 +0200)]
Revert "model-checker : add new surf configuration mc-checkpoint"

Need more modifications

This reverts commit 997b2f3f37f1b2ee77b2dfbf82c70e183a5ed5f3.

8 years agomodel-checker : add new surf configuration mc-checkpoint
Marion Guthmuller [Wed, 20 Jun 2012 16:39:40 +0000 (18:39 +0200)]
model-checker : add new surf configuration mc-checkpoint

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
suter [Wed, 20 Jun 2012 15:52:35 +0000 (17:52 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

8 years agoAdd on_exit support on SIMIX/MSG, calling functions when the process is dying (stopped)
Samuel Lepetit [Wed, 20 Jun 2012 15:50:32 +0000 (17:50 +0200)]
Add on_exit support on SIMIX/MSG, calling functions when the process is dying (stopped)

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
suter [Wed, 20 Jun 2012 15:44:13 +0000 (17:44 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

8 years agobeginning of automated tests for the dotloader. To be continued
suter [Wed, 20 Jun 2012 15:43:46 +0000 (17:43 +0200)]
beginning of automated tests for the dotloader. To be continued

8 years agooups
suter [Wed, 20 Jun 2012 15:34:22 +0000 (17:34 +0200)]
oups

8 years agodon't try to browse a dynar that has been freed
suter [Wed, 20 Jun 2012 15:28:53 +0000 (17:28 +0200)]
don't try to browse a dynar that has been freed