Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
9 years agoBugfix of the previous commit.
Samuel Lepetit [Wed, 20 Jun 2012 12:09:34 +0000 (14:09 +0200)]
Bugfix of the previous commit.

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

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

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

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

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

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

9 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

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

9 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

9 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

9 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

9 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

9 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

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

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

9 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

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

9 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

9 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

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

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

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

9 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

9 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

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

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

9 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

9 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

9 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

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

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

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

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

9 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

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

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

9 years agoDo the make distcheck command into the CMAKE_BINARY_TEST_DIR directory
navarro [Mon, 18 Jun 2012 15:20:03 +0000 (17:20 +0200)]
Do the make distcheck command into the CMAKE_BINARY_TEST_DIR directory

9 years agoAdd missing files to distrib
navarro [Mon, 18 Jun 2012 14:46:04 +0000 (16:46 +0200)]
Add missing files to distrib

9 years agoAdd 'content' priority for storage and then storage_type
navarro [Mon, 18 Jun 2012 14:32:16 +0000 (16:32 +0200)]
Add 'content' priority for storage and then storage_type

9 years agoMark those exe as advanced
navarro [Mon, 18 Jun 2012 13:46:06 +0000 (15:46 +0200)]
Mark those exe as advanced

9 years agoRewrite some target for make dist*
navarro [Mon, 18 Jun 2012 13:20:32 +0000 (15:20 +0200)]
Rewrite some target for make dist*

9 years agoDon't enable supernvae by default, now we often use gcc >= 4.6
navarro [Mon, 18 Jun 2012 13:20:04 +0000 (15:20 +0200)]
Don't enable supernvae by default, now we often use gcc >= 4.6

9 years agoPut the storage content into the storage and not into the storage_type
navarro [Mon, 18 Jun 2012 13:19:16 +0000 (15:19 +0200)]
Put the storage content into the storage and not into the storage_type

9 years agoadd a new stressing test to GRAS. Yeah, it actually breaks things quite often...
Martin Quinson [Mon, 18 Jun 2012 09:41:07 +0000 (11:41 +0200)]
add a new stressing test to GRAS. Yeah, it actually breaks things quite often...

9 years agoAdd xbt/automaton/automaton_create.c to supernovae fragile sources.
Arnaud Giersch [Fri, 15 Jun 2012 09:55:20 +0000 (11:55 +0200)]
Add xbt/automaton/automaton_create.c to supernovae fragile sources.

9 years agoTell full directory for ddt_parse.yy.c
Arnaud Giersch [Fri, 15 Jun 2012 09:45:18 +0000 (11:45 +0200)]
Tell full directory for ddt_parse.yy.c

9 years agoPut a warn if try to make a dist without maintainer mode
navarro [Fri, 15 Jun 2012 09:29:21 +0000 (11:29 +0200)]
Put a warn if try to make a dist without maintainer mode

9 years agoDon not stop compilation but just put a warning
navarro [Fri, 15 Jun 2012 09:26:53 +0000 (11:26 +0200)]
Don not stop compilation but just put a warning

9 years agoFor now model checking can not be compile with flto.
navarro [Fri, 15 Jun 2012 08:55:03 +0000 (10:55 +0200)]
For now model checking can not be compile with flto.

9 years agoAdd generated mc files to extra dist
navarro [Fri, 15 Jun 2012 08:46:28 +0000 (10:46 +0200)]
Add generated mc files to extra dist

9 years agoClean sources for mc and reedit some files
navarro [Fri, 15 Jun 2012 08:32:40 +0000 (10:32 +0200)]
Clean sources for mc and reedit some files

9 years agoFix includes in surfxml_parse.h
Arnaud Giersch [Fri, 15 Jun 2012 08:23:17 +0000 (10:23 +0200)]
Fix includes in surfxml_parse.h

9 years agoRemove unused variable.
Arnaud Giersch [Fri, 15 Jun 2012 08:13:58 +0000 (10:13 +0200)]
Remove unused variable.

9 years agoRemove unused files
navarro [Fri, 15 Jun 2012 08:13:09 +0000 (10:13 +0200)]
Remove unused files

9 years agoadd missing platforms in distrib
navarro [Fri, 15 Jun 2012 08:12:23 +0000 (10:12 +0200)]
add missing platforms in distrib

9 years agomodel-checker : remove clone file
Marion Guthmuller [Fri, 15 Jun 2012 08:06:07 +0000 (10:06 +0200)]
model-checker : remove clone file

9 years agomodel-checker : remove unused files in examples/ms/mc
Marion Guthmuller [Fri, 15 Jun 2012 07:32:52 +0000 (09:32 +0200)]
model-checker : remove unused files in examples/ms/mc

9 years agoslight modifications
suter [Fri, 15 Jun 2012 07:36:54 +0000 (09:36 +0200)]
slight modifications

9 years agoadd a new example that use SD_task_set_rate to throttle a communication
suter [Fri, 15 Jun 2012 07:36:13 +0000 (09:36 +0200)]
add a new example that use SD_task_set_rate to throttle a communication

9 years ago2nd part of kill GLOB_RECURSE
navarro [Thu, 14 Jun 2012 21:42:47 +0000 (23:42 +0200)]
2nd part of kill GLOB_RECURSE

9 years agoresolve merge conflict
Marion Guthmuller [Thu, 14 Jun 2012 21:34:46 +0000 (23:34 +0200)]
resolve merge conflict

9 years agomodel-checker : examples updated with new lex and yacc parsing
Marion Guthmuller [Thu, 14 Jun 2012 21:23:33 +0000 (23:23 +0200)]
model-checker : examples updated with new lex and yacc parsing

9 years agomodel-checker : lex and yacc parsing moved in src/xbt/automaton/
Marion Guthmuller [Thu, 14 Jun 2012 21:22:07 +0000 (23:22 +0200)]
model-checker : lex and yacc parsing moved in src/xbt/automaton/

9 years agomodel-checker : remove unused files
Marion Guthmuller [Thu, 14 Jun 2012 21:19:21 +0000 (23:19 +0200)]
model-checker : remove unused files

9 years agoIndentation fix
Samuel Lepetit [Thu, 14 Jun 2012 20:59:38 +0000 (22:59 +0200)]
Indentation fix

9 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Samuel Lepetit [Thu, 14 Jun 2012 20:49:26 +0000 (22:49 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

9 years agoFix format string.
Arnaud Giersch [Thu, 14 Jun 2012 20:36:12 +0000 (22:36 +0200)]
Fix format string.

9 years agoRemove unused variable.
Arnaud Giersch [Thu, 14 Jun 2012 20:35:54 +0000 (22:35 +0200)]
Remove unused variable.

9 years agoAdd cases for missing enumeration values.
Arnaud Giersch [Thu, 14 Jun 2012 20:25:00 +0000 (22:25 +0200)]
Add cases for missing enumeration values.

Also move the default case outside the switch, so that missing
entries cause a compilation warning or error.

9 years ago[trace] correctly generating viva categorized configuration
schnorr [Thu, 14 Jun 2012 20:13:37 +0000 (22:13 +0200)]
[trace] correctly generating viva categorized configuration

9 years agoadd a SD_task_set_rate function
suter [Thu, 14 Jun 2012 17:19:16 +0000 (19:19 +0200)]
add a SD_task_set_rate function

9 years agoUpdate MSG_comm_wait documentation
Samuel Lepetit [Thu, 14 Jun 2012 16:58:20 +0000 (18:58 +0200)]
Update MSG_comm_wait documentation

9 years agoFirst step to delete GLOB command from cmake
navarro [Thu, 14 Jun 2012 16:23:12 +0000 (18:23 +0200)]
First step to delete GLOB command from cmake

9 years agoReorganized some files for cmake
navarro [Thu, 14 Jun 2012 08:55:46 +0000 (10:55 +0200)]
Reorganized some files for cmake

9 years agoAdd a MSG_vm_destroy function to free a virtual machine
Samuel Lepetit [Thu, 14 Jun 2012 16:08:43 +0000 (18:08 +0200)]
Add a MSG_vm_destroy function to free a virtual machine

9 years agoAdd tesh file for masterslave_virtual_machines
Samuel Lepetit [Thu, 14 Jun 2012 15:51:16 +0000 (17:51 +0200)]
Add tesh file for masterslave_virtual_machines

9 years agoBugfix in cloud API (again)
Samuel Lepetit [Thu, 14 Jun 2012 15:37:13 +0000 (17:37 +0200)]
Bugfix in cloud API (again)

9 years agomodel-checker : remove unnecessary include in lex file
Marion Guthmuller [Thu, 14 Jun 2012 15:08:05 +0000 (17:08 +0200)]
model-checker : remove unnecessary include in lex file

9 years agoFix the cloud API, nicely this time.
Samuel Lepetit [Thu, 14 Jun 2012 14:33:33 +0000 (16:33 +0200)]
Fix the cloud API, nicely this time.

9 years agoUse {include,link}_directories for Find{F2C,Graphviz,Lua51} too.
Arnaud Giersch [Thu, 14 Jun 2012 14:15:36 +0000 (16:15 +0200)]
Use {include,link}_directories for Find{F2C,Graphviz,Lua51} too.

9 years agoRevert "Debug the cloud API, it should work as expected now."
Samuel Lepetit [Thu, 14 Jun 2012 13:12:53 +0000 (15:12 +0200)]
Revert "Debug the cloud API, it should work as expected now."

This reverts commit 535815db45bb2162b257e5c208ee7015dd2cc8f6.

9 years agoEnsure that additional include/link directories for libpcre are added at the end...
Arnaud Giersch [Thu, 14 Jun 2012 13:27:07 +0000 (15:27 +0200)]
Ensure that additional include/link directories for libpcre are added at the end of the list.

Otherwise, there is the risk to used older versions of the SimGrid includes.

Hope this won't break anything...

9 years ago__GNUC__ is already defined at this place.
Arnaud Giersch [Thu, 14 Jun 2012 12:58:16 +0000 (14:58 +0200)]
__GNUC__ is already defined at this place.

9 years agomodel-checker : add header (description, copyright, license)
Marion Guthmuller [Thu, 14 Jun 2012 13:00:54 +0000 (15:00 +0200)]
model-checker : add header (description, copyright, license)

9 years ago[trace] we don't destroy things we didn't create
schnorr [Thu, 14 Jun 2012 12:02:22 +0000 (14:02 +0200)]
[trace] we don't destroy things we didn't create

9 years ago[trace] re-write of trace mark API, need to declare values before using them
schnorr [Thu, 14 Jun 2012 12:00:33 +0000 (14:00 +0200)]
[trace] re-write of trace mark API, need to declare values before using them

9 years ago[trace] only ignore the call if the mark type wasn't declared
schnorr [Thu, 14 Jun 2012 10:06:36 +0000 (12:06 +0200)]
[trace] only ignore the call if the mark type wasn't declared

9 years ago[trace] we don't need to trace the destruction of the root container
schnorr [Wed, 13 Jun 2012 16:26:20 +0000 (18:26 +0200)]
[trace] we don't need to trace the destruction of the root container

9 years ago[trace] don't let mark the trace if platform is not traced
schnorr [Wed, 13 Jun 2012 16:07:47 +0000 (18:07 +0200)]
[trace] don't let mark the trace if platform is not traced

9 years agomodel-checker : add header (description, copyright, license)
Marion Guthmuller [Thu, 14 Jun 2012 12:34:28 +0000 (14:34 +0200)]
model-checker : add header (description, copyright, license)

9 years agoAdd a defined(__GNUC__), and rework expression.
Arnaud Giersch [Thu, 14 Jun 2012 12:11:08 +0000 (14:11 +0200)]
Add a defined(__GNUC__), and rework expression.

9 years agospeak nicely to old gcc versions
Martin Quinson [Thu, 14 Jun 2012 10:38:03 +0000 (12:38 +0200)]
speak nicely to old gcc versions

9 years agoFix build with paranoid flags: remove redundant '\0' in string.
Arnaud Giersch [Thu, 14 Jun 2012 09:11:50 +0000 (11:11 +0200)]
Fix build with paranoid flags: remove redundant '\0' in string.

The reported error was:
src/instr/jedule/jedule_output.c: In function ‘get_hierarchy_string’:
src/instr/jedule/jedule_output.c:89:13: error: embedded ‘\0’ in format [-Werror=format-contains-nul]
src/instr/jedule/jedule_output.c:91:13: error: embedded ‘\0’ in format [-Werror=format-contains-nul]
cc1: all warnings being treated as errors

9 years agomodel-checker : comment unused variable
Marion Guthmuller [Thu, 14 Jun 2012 09:09:07 +0000 (11:09 +0200)]
model-checker : comment unused variable

9 years agomodel-checker : get end heap with field breakval in struct mdesc ( old function get_e...
Marion Guthmuller [Thu, 14 Jun 2012 08:14:47 +0000 (10:14 +0200)]
model-checker : get end heap with field breakval in struct mdesc ( old function get_end_addr_heap kept in comments)

9 years agoupdated jedule output of SimDag
Sascha Hunold [Thu, 14 Jun 2012 08:42:37 +0000 (10:42 +0200)]
updated jedule output of SimDag

9 years agomodel-checker : move print statistics if property is valid
Marion Guthmuller [Thu, 14 Jun 2012 07:29:05 +0000 (09:29 +0200)]
model-checker : move print statistics if property is valid

9 years agomodel-checker : fix std_heap address for heap comparison algorithm
Marion Guthmuller [Wed, 13 Jun 2012 15:21:29 +0000 (17:21 +0200)]
model-checker : fix std_heap address for heap comparison algorithm

9 years agomodel-checker : in second test unit, snapshot comparison done before MC_UNSET_RAW_MEM...
Marion Guthmuller [Wed, 13 Jun 2012 13:42:08 +0000 (15:42 +0200)]
model-checker : in second test unit, snapshot comparison done before MC_UNSET_RAW_MEM (set current heap=std_heap)