Logo AND Algorithmique Numérique Distribuée

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

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

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

10 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

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

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

10 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

10 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

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

10 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

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

10 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

10 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

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

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

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

10 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

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

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

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

10 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

10 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

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

10 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

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

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

10 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

10 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

10 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

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

10 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

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

10 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

10 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

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

10 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

10 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

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

10 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

10 years agoDon't try to dump an output if no event has been stored (because
suter [Wed, 20 Jun 2012 15:27:13 +0000 (17:27 +0200)]
Don't try to dump an output if no event has been stored (because
SD_simulate wasn't called)

10 years agomodel-checker : cosmetics, tab forgotten
Marion Guthmuller [Wed, 20 Jun 2012 14:24:04 +0000 (16:24 +0200)]
model-checker : cosmetics, tab forgotten

10 years agoRemove unused variable
navarro [Wed, 20 Jun 2012 15:01:39 +0000 (17:01 +0200)]
Remove unused variable

10 years agoBugfix in MSG_parallel_task_execute
Samuel Lepetit [Wed, 20 Jun 2012 14:53:17 +0000 (16:53 +0200)]
Bugfix in MSG_parallel_task_execute

10 years agoStop doing evil things in MSG_parallel_task_execute/MSG_process_sleep
Samuel Lepetit [Wed, 20 Jun 2012 14:14:02 +0000 (16:14 +0200)]
Stop doing evil things in MSG_parallel_task_execute/MSG_process_sleep

10 years agoPut the different model in the dtd. Permit the xml validation before parsing.
navarro [Wed, 20 Jun 2012 14:41:33 +0000 (16:41 +0200)]
Put the different model in the dtd. Permit the xml validation before parsing.

10 years agotypos
suter [Wed, 20 Jun 2012 14:39:41 +0000 (16:39 +0200)]
typos

10 years agoAdd 2 tesh files for new stuff and make them part of the testsuite
suter [Wed, 20 Jun 2012 14:14:14 +0000 (16:14 +0200)]
Add 2 tesh files for new stuff and make them part of the testsuite

10 years agoFactorise MSG_task_execute and MSG_parallel_task_execute
Samuel Lepetit [Wed, 20 Jun 2012 13:44:38 +0000 (15:44 +0200)]
Factorise MSG_task_execute and MSG_parallel_task_execute

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

10 years agoMore cleanup!
Arnaud Giersch [Wed, 20 Jun 2012 13:18:02 +0000 (15:18 +0200)]
More cleanup!

10 years agoadd a simple explication about how to use the config options.
suter [Wed, 20 Jun 2012 13:16:16 +0000 (15:16 +0200)]
add a simple explication about how to use the config options.

10 years agoRemove old cruft.
Arnaud Giersch [Wed, 20 Jun 2012 13:07:32 +0000 (15:07 +0200)]
Remove old cruft.

It is not referenced anywhere, and the last meaningful commit dates from 2006.

10 years agoMemory leak fix
Samuel Lepetit [Wed, 20 Jun 2012 13:12:04 +0000 (15:12 +0200)]
Memory leak fix

10 years agoremove some useless output on workstations
suter [Wed, 20 Jun 2012 12:57:04 +0000 (14:57 +0200)]
remove some useless output on workstations

10 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
suter [Wed, 20 Jun 2012 12:56:09 +0000 (14:56 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

10 years agomake use of the newly introduced MxN data redistribution and actually
suter [Wed, 20 Jun 2012 12:55:56 +0000 (14:55 +0200)]
make use of the newly introduced MxN data redistribution and actually
autoschedule one such task

10 years agoworks better once tested
suter [Wed, 20 Jun 2012 12:54:50 +0000 (14:54 +0200)]
works better once tested

10 years agoUse the same way of checking the state of the communication in process_sleep.
Samuel Lepetit [Wed, 20 Jun 2012 12:36:51 +0000 (14:36 +0200)]
Use the same way of checking the state of the communication in process_sleep.

10 years agoReplace usleep for nanosleep
navarro [Wed, 20 Jun 2012 12:12:43 +0000 (14:12 +0200)]
Replace usleep for nanosleep

10 years agoBugfix of the previous commit.
Samuel Lepetit [Wed, 20 Jun 2012 12:09:34 +0000 (14:09 +0200)]
Bugfix of the previous commit.

10 years agoRemove unused file.
Arnaud Giersch [Wed, 20 Jun 2012 10:23:28 +0000 (12:23 +0200)]
Remove unused file.

10 years agoKeep tabs in generated files.
Arnaud Giersch [Wed, 20 Jun 2012 10:05:04 +0000 (12:05 +0200)]
Keep tabs in generated files.

10 years agoInclude "xbt/RngStream.h", and avoid duplicate definition of typedef RngStream.
Arnaud Giersch [Wed, 20 Jun 2012 10:02:19 +0000 (12:02 +0200)]
Include "xbt/RngStream.h", and avoid duplicate definition of typedef RngStream.

10 years agoFix issue when a host failed while executing a task (the glass is only half full...
Samuel Lepetit [Wed, 20 Jun 2012 12:01:52 +0000 (14:01 +0200)]
Fix issue when a host failed while executing a task (the glass is only half full however, we should do the process kill in simix)

10 years agomodel-checker : cosmetics reindent
Marion Guthmuller [Wed, 20 Jun 2012 11:23:32 +0000 (13:23 +0200)]
model-checker : cosmetics reindent

10 years agomodel-checker : cosmetics reindent
Marion Guthmuller [Wed, 20 Jun 2012 11:13:01 +0000 (13:13 +0200)]
model-checker : cosmetics reindent

10 years agomodel-checker : cosmectics reindent and unnecessary whitespaces removed
Marion Guthmuller [Wed, 20 Jun 2012 09:45:11 +0000 (11:45 +0200)]
model-checker : cosmectics reindent and unnecessary whitespaces removed

10 years agoupdate changelog for new types of typed tasks in SimDag
suter [Wed, 20 Jun 2012 10:49:04 +0000 (12:49 +0200)]
update changelog for new types of typed tasks in SimDag