Logo AND Algorithmique Numérique Distribuée

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

10 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

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

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

10 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

10 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

10 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

10 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

10 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

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

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

10 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

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

10 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

10 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

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

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

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

10 years agomodel-checker : remove unused code and update debug messages
Marion Guthmuller [Tue, 19 Jun 2012 13:59:15 +0000 (15:59 +0200)]
model-checker : remove unused code and update debug messages

10 years agomodel-checker : add stats in mmalloc
Marion Guthmuller [Tue, 19 Jun 2012 13:57:30 +0000 (15:57 +0200)]
model-checker : add stats in mmalloc

10 years agomodel-checker : cosmetics reindent
Marion Guthmuller [Tue, 19 Jun 2012 13:14:44 +0000 (15:14 +0200)]
model-checker : cosmetics reindent

10 years agoInitial commit for split doc (in order to let Pierre play with it). Please do not...
lbobelin [Tue, 19 Jun 2012 12:06:00 +0000 (14:06 +0200)]
Initial commit for split doc (in order to let Pierre play with it). Please do not sync doc yet !!.

10 years agoInitial modifications in doc. To be merged with Pierre's removal of FILE_GLOB
lbobelin [Fri, 15 Jun 2012 07:34:10 +0000 (09:34 +0200)]
Initial modifications in doc. To be merged with Pierre's removal of FILE_GLOB

10 years agoFix compilation warning for unused variables
navarro [Tue, 19 Jun 2012 10:17:16 +0000 (12:17 +0200)]
Fix compilation warning for unused variables
Remove unused part of code

10 years agoRemove internal function from the documentation
Samuel Lepetit [Tue, 19 Jun 2012 10:03:19 +0000 (12:03 +0200)]
Remove internal function from the documentation

10 years agoTypo
Samuel Lepetit [Tue, 19 Jun 2012 07:54:13 +0000 (09:54 +0200)]
Typo

10 years agoTypo
Samuel Lepetit [Tue, 19 Jun 2012 07:49:46 +0000 (09:49 +0200)]
Typo

10 years agomodel-checker : update tesh examples with last modifications made on information...
Marion Guthmuller [Mon, 18 Jun 2012 16:06:57 +0000 (18:06 +0200)]
model-checker : update tesh examples with last modifications made on information displayed at the end of model checking (state space statistic removed)

10 years agomodel-checker : add debug messages
Marion Guthmuller [Mon, 18 Jun 2012 15:58:44 +0000 (17:58 +0200)]
model-checker : add debug messages

10 years agomodel-checker : assert on block/fragment address in heap comparison algorithm
Marion Guthmuller [Mon, 18 Jun 2012 15:39:10 +0000 (17:39 +0200)]
model-checker : assert on block/fragment address in heap comparison algorithm

10 years agomodel-checker : unnecessary comments removed
Marion Guthmuller [Mon, 18 Jun 2012 15:17:15 +0000 (17:17 +0200)]
model-checker : unnecessary comments removed

10 years agoFix tesh and cmake files for test masterslave_virtual_machines.
Arnaud Giersch [Mon, 18 Jun 2012 13:34:12 +0000 (15:34 +0200)]
Fix tesh and cmake files for test masterslave_virtual_machines.