Logo AND Algorithmique Numérique Distribuée

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

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

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

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

7 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

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

7 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

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

7 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

7 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

7 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

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

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

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

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

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

7 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

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

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

7 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

7 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

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

7 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

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

7 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

7 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

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

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

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

7 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

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

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

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

7 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

7 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

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

7 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

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

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

7 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

7 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

7 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

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

7 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

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

7 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

7 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

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

7 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

7 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

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

7 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

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

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

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

7 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

7 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

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

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

7 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

7 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

7 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

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

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

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

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

7 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

7 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

7 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

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

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

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

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

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

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

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

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

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

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

7 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

7 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

7 years agoSolve white space conflicts
suter [Wed, 20 Jun 2012 10:30:17 +0000 (12:30 +0200)]
Solve white space conflicts
Merge branch 'master' of
git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

Conflicts:
include/simdag/datatypes.h
include/simdag/simdag.h
src/simdag/sd_task.c

7 years agoadd a new type of typed task to represent a MxN data redistribution. It
suter [Wed, 20 Jun 2012 10:22:07 +0000 (12:22 +0200)]
add a new type of typed task to represent a MxN data redistribution. It
assumes a 1D block distribution on both sides. Should allow to
auto-schedule some parallel tasks too.

7 years agoProbabilist trace generator : variable names changed
jbrv [Wed, 20 Jun 2012 10:07:01 +0000 (12:07 +0200)]
Probabilist trace generator : variable names changed

Add some semantic in the variable names, to better understand their utility.

7 years agoFix link between doc pages and redo the sync target
navarro [Wed, 20 Jun 2012 09:44:00 +0000 (11:44 +0200)]
Fix link between doc pages and redo the sync target

7 years agosed -i -e 's/\t/ /g' *.[ch] Please people, stop using tabs in your source
Martin Quinson [Wed, 20 Jun 2012 09:30:00 +0000 (11:30 +0200)]
sed -i -e 's/\t/  /g' *.[ch] Please people, stop using tabs in your source

7 years agomodel-checker : detect pointers on valid blocks in heap algorithm comparison
Marion Guthmuller [Wed, 20 Jun 2012 09:26:32 +0000 (11:26 +0200)]
model-checker : detect pointers on valid blocks in heap algorithm comparison

7 years agomodel-checker : memset 0 on block/fragment allocated with mmalloc
Marion Guthmuller [Tue, 19 Jun 2012 19:28:26 +0000 (21:28 +0200)]
model-checker : memset 0 on block/fragment allocated with mmalloc

7 years agoAdd Layout to Simgrid doc page
navarro [Wed, 20 Jun 2012 09:22:51 +0000 (11:22 +0200)]
Add Layout to Simgrid doc page

7 years agoRemove generated files to git
navarro [Wed, 20 Jun 2012 09:20:21 +0000 (11:20 +0200)]
Remove generated files to git

7 years agotypo (and copyright dates on the way)
Martin Quinson [Tue, 19 Jun 2012 15:40:55 +0000 (17:40 +0200)]
typo (and copyright dates on the way)

7 years agoStart to rewrite the mechanism for usage of a storage
navarro [Tue, 19 Jun 2012 15:19:16 +0000 (17:19 +0200)]
Start to rewrite the mechanism for usage of a storage

7 years agoCosmetics on bar for doc
navarro [Tue, 19 Jun 2012 15:17:36 +0000 (17:17 +0200)]
Cosmetics on bar for doc

7 years agoRewrite Module in cmake for doc
navarro [Tue, 19 Jun 2012 15:16:45 +0000 (17:16 +0200)]
Rewrite Module in cmake for doc

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
jbrv [Tue, 19 Jun 2012 14:23:44 +0000 (16:23 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

7 years agoActually, upvalues were implemented a while ago.
Christophe Thiéry [Tue, 19 Jun 2012 14:16:32 +0000 (16:16 +0200)]
Actually, upvalues were implemented a while ago.

7 years agoMake rngStream management functions in platform more visible
jbrv [Tue, 19 Jun 2012 14:15:07 +0000 (16:15 +0200)]
Make rngStream management functions in platform more visible

For statistic reasons, there is one and only one RngStream for the platform.

7 years agomodel-checker : fixme about initialization
Marion Guthmuller [Tue, 19 Jun 2012 14:00:53 +0000 (16:00 +0200)]
model-checker : fixme about initialization