Logo AND Algorithmique Numérique Distribuée

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

7 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

7 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

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

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

7 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

7 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

7 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

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

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

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

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

7 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

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

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

7 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

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

7 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

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

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

7 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

7 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

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

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

7 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

7 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

7 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

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

7 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

7 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

7 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

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

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

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

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

7 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

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

7 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

7 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

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

7 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

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

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

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

7 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

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

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

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

7 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

7 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

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

7 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

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

7 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

7 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

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

7 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

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

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

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

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

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

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

7 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

7 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

7 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

7 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

7 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

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

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

7 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

7 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

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

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

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

7 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

7 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

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

7 years ago[trace] correct impossible code.
Arnaud Giersch [Wed, 13 Jun 2012 17:16:52 +0000 (19:16 +0200)]
[trace] correct impossible code.

PJ_value_get() can't return NULL.  Use PJ_value_get_or_new() instead.
Fixes test smpi-tracing-ptp.

7 years ago[trace] new function: PJ_value_get_or_new().
Arnaud Giersch [Wed, 13 Jun 2012 16:34:42 +0000 (18:34 +0200)]
[trace] new function: PJ_value_get_or_new().

7 years ago[trace] throw an exception instead of returning NULL.
Arnaud Giersch [Wed, 13 Jun 2012 16:30:37 +0000 (18:30 +0200)]
[trace] throw an exception instead of returning NULL.

7 years ago[trace] test is obviously redundant here.
Arnaud Giersch [Wed, 13 Jun 2012 16:04:45 +0000 (18:04 +0200)]
[trace] test is obviously redundant here.

7 years agoNew function: MSG_host_set_property_value()
Martin Quinson [Wed, 13 Jun 2012 17:05:11 +0000 (19:05 +0200)]
New function: MSG_host_set_property_value()

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Samuel Lepetit [Wed, 13 Jun 2012 16:08:46 +0000 (18:08 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid