Logo AND Algorithmique Numérique Distribuée

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

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

8 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

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

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

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

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

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

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

8 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

8 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

8 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

8 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

8 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

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

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

8 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

8 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

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

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

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

8 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

8 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

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

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

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

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

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

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

8 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

8 years agoDebug the cloud API, it should work as expected now.
Samuel Lepetit [Wed, 13 Jun 2012 16:07:40 +0000 (18:07 +0200)]
Debug the cloud API, it should work as expected now.

8 years agoEnable tracing by default. This modules rocks you should use it
Martin Quinson [Wed, 13 Jun 2012 15:20:41 +0000 (17:20 +0200)]
Enable tracing by default. This modules rocks you should use it

8 years agoGeneric script for each version
pierre [Wed, 13 Jun 2012 14:41:25 +0000 (16:41 +0200)]
Generic script for each version

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Wed, 13 Jun 2012 13:33:05 +0000 (15:33 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

8 years agoBugfix in msg/io example
Samuel Lepetit [Wed, 13 Jun 2012 13:31:48 +0000 (15:31 +0200)]
Bugfix in msg/io example

8 years agomodel-checker : get std_heap with mmalloc_get_current_heap instead of function argument
Marion Guthmuller [Wed, 13 Jun 2012 13:26:47 +0000 (15:26 +0200)]
model-checker : get std_heap with mmalloc_get_current_heap instead of function argument

8 years agoChange the file API, remove the mount point in each file function.
navarro [Wed, 13 Jun 2012 13:23:51 +0000 (15:23 +0200)]
Change the file API, remove the mount point in each file function.

8 years agoRewrite the platform_script.lua used by the test for lua console.
Arnaud Giersch [Wed, 13 Jun 2012 13:01:01 +0000 (15:01 +0200)]
Rewrite the platform_script.lua used by the test for lua console.

The lua console is still not fixed, but at least the script should be
syntactically correct.

8 years agoCosmetics: allow a semicolon after macro usage.
Arnaud Giersch [Wed, 13 Jun 2012 12:33:52 +0000 (14:33 +0200)]
Cosmetics: allow a semicolon after macro usage.

Without this change, tools like etags are confused and fail to parse
the file correctly.

8 years agomodel-checker : new test unit for snapshot comparison
Marion Guthmuller [Wed, 13 Jun 2012 12:58:19 +0000 (14:58 +0200)]
model-checker : new test unit for snapshot comparison

8 years agomodel-checker : remove unused argument in functions for heap comparison algorithm
Marion Guthmuller [Wed, 13 Jun 2012 12:56:03 +0000 (14:56 +0200)]
model-checker : remove unused argument in functions for heap comparison algorithm

8 years agomodel-checker : add total hamming distance for heap comparison algorithm
Marion Guthmuller [Wed, 13 Jun 2012 09:57:54 +0000 (11:57 +0200)]
model-checker : add total hamming distance for heap comparison algorithm

8 years agomodel-checker : test unit for snapshot comparison
Marion Guthmuller [Wed, 13 Jun 2012 09:47:33 +0000 (11:47 +0200)]
model-checker : test unit for snapshot comparison

8 years agomodel-checker : unused variables deleted
Marion Guthmuller [Wed, 13 Jun 2012 09:43:50 +0000 (11:43 +0200)]
model-checker : unused variables deleted

8 years agomodel-checker : remove unnecessary get_memory_map_addr function
Marion Guthmuller [Wed, 13 Jun 2012 09:40:52 +0000 (11:40 +0200)]
model-checker : remove unnecessary get_memory_map_addr function

8 years agomodel-checker : update include file
Marion Guthmuller [Wed, 13 Jun 2012 09:27:19 +0000 (11:27 +0200)]
model-checker : update include file

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Wed, 13 Jun 2012 09:22:50 +0000 (11:22 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

8 years agomodel-checker : remove binary name as argument of some functions, available with...
Marion Guthmuller [Wed, 13 Jun 2012 09:19:24 +0000 (11:19 +0200)]
model-checker : remove binary name as argument of some functions, available with xbt_binary_name

8 years agoEvent generation for probabilist tmgr_trace
jbrv [Wed, 13 Jun 2012 08:30:29 +0000 (10:30 +0200)]
Event generation for probabilist tmgr_trace

This piece of code is absolutely untested, however, because the actual use of this type of tmgr_trace is not implemented yet.

8 years agomodel-checker : print statistics in all cases (property satisfied or not)
Marion Guthmuller [Wed, 13 Jun 2012 08:12:08 +0000 (10:12 +0200)]
model-checker : print statistics in all cases (property satisfied or not)

8 years agomodel-checker : comment unused statistics information
Marion Guthmuller [Tue, 12 Jun 2012 20:02:50 +0000 (22:02 +0200)]
model-checker : comment unused statistics information

8 years agoDon't rely on the non-standard on_exit() function.
Arnaud Giersch [Tue, 12 Jun 2012 17:11:18 +0000 (19:11 +0200)]
Don't rely on the non-standard on_exit() function.

8 years agoUpdate script due to removed file.
navarro [Tue, 12 Jun 2012 15:08:47 +0000 (08:08 -0700)]
Update script due to removed file.

8 years agoNow it is simgrid java 1.2 ;)
navarro [Tue, 12 Jun 2012 14:03:48 +0000 (16:03 +0200)]
Now it is simgrid java 1.2 ;)

8 years agoRename functions xbt_dict_hash*() to xbt_str_hash().
Arnaud Giersch [Tue, 12 Jun 2012 13:49:05 +0000 (15:49 +0200)]
Rename functions xbt_dict_hash*() to xbt_str_hash().

8 years agoInline functions without their definitions don't make much sense.
Arnaud Giersch [Tue, 12 Jun 2012 13:39:50 +0000 (15:39 +0200)]
Inline functions without their definitions don't make much sense.

Declare xbt_dict_hash() and xbt_dict_hash_ext() as static inline,
and move their definitions in header file.

8 years agoRemove some debug from execution
navarro [Tue, 12 Jun 2012 13:43:42 +0000 (15:43 +0200)]
Remove some debug from execution

8 years agoAdd disk usage and size parameters for storage.
navarro [Tue, 12 Jun 2012 13:43:15 +0000 (15:43 +0200)]
Add disk usage and size parameters for storage.

8 years agoFind ns3 version 3.14
navarro [Mon, 11 Jun 2012 14:39:08 +0000 (16:39 +0200)]
Find ns3 version 3.14

8 years agoAdd a constructor for probabilist tmgr_trace
jbrv [Tue, 12 Jun 2012 13:35:28 +0000 (15:35 +0200)]
Add a constructor for probabilist tmgr_trace

begin to add some support for this type of tmgr_trace

8 years agothat's perfectly fine to not free that memory on process terminaison on Apple
Martin Quinson [Tue, 12 Jun 2012 13:24:03 +0000 (15:24 +0200)]
that's perfectly fine to not free that memory on process terminaison on Apple

8 years agomodel-checker : warnings compilation fixed
Marion Guthmuller [Tue, 12 Jun 2012 13:00:11 +0000 (15:00 +0200)]
model-checker : warnings compilation fixed

8 years agofix merge conflict
Marion Guthmuller [Tue, 12 Jun 2012 12:53:15 +0000 (14:53 +0200)]
fix merge conflict

8 years agomodel-checker : fix number and address of blocks in heap comparison algorithm
Marion Guthmuller [Tue, 12 Jun 2012 12:50:33 +0000 (14:50 +0200)]
model-checker : fix number and address of blocks in heap comparison algorithm

8 years agoMissing include.
Arnaud Giersch [Tue, 12 Jun 2012 12:36:05 +0000 (14:36 +0200)]
Missing include.

8 years agoUse XBT_PUBLIC for exported functions.
Arnaud Giersch [Tue, 12 Jun 2012 12:35:16 +0000 (14:35 +0200)]
Use XBT_PUBLIC for exported functions.

8 years agoDefine variables in C file.
Arnaud Giersch [Tue, 12 Jun 2012 12:35:00 +0000 (14:35 +0200)]
Define variables in C file.

8 years agoDeclare exported functions in header.
Arnaud Giersch [Tue, 12 Jun 2012 12:33:34 +0000 (14:33 +0200)]
Declare exported functions in header.

8 years agoFix compilation errors about unused or uninitialized variables.
Arnaud Giersch [Tue, 12 Jun 2012 12:27:27 +0000 (14:27 +0200)]
Fix compilation errors about unused or uninitialized variables.

These are not real fixes and should be properly corrected,
hence the "FIXME" comments.

8 years agochange a function name that I forgot to change
jbrv [Tue, 12 Jun 2012 12:12:02 +0000 (14:12 +0200)]
change a function name that I forgot to change

8 years agoTrace manager : add a function to generate values from probabilist distributions
jbrv [Mon, 11 Jun 2012 15:07:52 +0000 (17:07 +0200)]
Trace manager : add a function to generate values from probabilist distributions

8 years agoTrace manager : Add and change some structures and functions
jbrv [Mon, 11 Jun 2012 14:13:33 +0000 (16:13 +0200)]
Trace manager : Add and change some structures and functions

New structure to generate event dates, and new functions to create them.
The tmgr_trace structure takes now a dynar of events, or 2 event generators.

8 years agomodel-checker : remove useless memcmp in heap comparison algorithm
Marion Guthmuller [Mon, 11 Jun 2012 13:34:10 +0000 (15:34 +0200)]
model-checker : remove useless memcmp in heap comparison algorithm

8 years agoAdd a function to copy a RngStream structure
jbrv [Mon, 11 Jun 2012 12:31:55 +0000 (14:31 +0200)]
Add a function to copy a RngStream structure

8 years agoMove XBT hash functions to xbt_str.c and make them public
jbrv [Mon, 11 Jun 2012 09:14:42 +0000 (11:14 +0200)]
Move XBT hash functions to xbt_str.c and make them public

8 years agogcc defines __APPLE__, use this instead APPLE
Stephane Genaud [Mon, 11 Jun 2012 07:52:17 +0000 (09:52 +0200)]
gcc defines __APPLE__, use this instead APPLE

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Sat, 9 Jun 2012 19:59:56 +0000 (21:59 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

8 years agomodel-checker : heap comparison algorithm rewrited
Marion Guthmuller [Sat, 9 Jun 2012 19:59:40 +0000 (21:59 +0200)]
model-checker : heap comparison algorithm rewrited

8 years agoAdd new functions to support different sources of avaibility trace
jbrv [Fri, 8 Jun 2012 13:42:15 +0000 (15:42 +0200)]
Add new functions to support different sources of avaibility trace

These functions are still nearly empty, however.

8 years agoModify structures to support different sources of avaibility trace
jbrv [Fri, 8 Jun 2012 13:19:37 +0000 (15:19 +0200)]
Modify structures to support different sources of avaibility trace

renamed function : tmgr_trace_new() to tmgr_trace_new_from_file()

8 years agoFirst step to move trace replay from MSG towards SMPI
suter [Fri, 8 Jun 2012 12:56:15 +0000 (14:56 +0200)]
First step to move trace replay from MSG towards SMPI
start by moving what isn't connected to MSG into xbt
had to change some file names as xbt_replay_trace_* was a too long
prefix and files are no more limited to the trace reader only.

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Fri, 8 Jun 2012 08:18:41 +0000 (10:18 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

8 years agoChanged masterslave with failures test platform
jbrv [Fri, 8 Jun 2012 07:33:57 +0000 (09:33 +0200)]
Changed masterslave with failures test platform

The new platform is simpler, but now includes a case that fails :
if a host fails when it is running a task, simgrid crashes.
The expected outputs in .tesh files have not been updated yet.

8 years ago[trace] paje header changed, update tesh
schnorr [Thu, 7 Jun 2012 15:35:24 +0000 (17:35 +0200)]
[trace] paje header changed, update tesh

8 years ago[trace] paje file format has evolved with a new event PajeResetState, follow it
schnorr [Thu, 7 Jun 2012 15:30:21 +0000 (17:30 +0200)]
[trace] paje file format has evolved with a new event PajeResetState, follow it

8 years agoWhitespace etc. (take #3).
Arnaud Giersch [Thu, 7 Jun 2012 15:34:54 +0000 (17:34 +0200)]
Whitespace etc. (take #3).

8 years agoFix Doxygen error.
Arnaud Giersch [Thu, 7 Jun 2012 14:52:18 +0000 (16:52 +0200)]
Fix Doxygen error.

Fix the following error:
error: the type 'dirs' is not supported for the entry tag within a navindex! Check your layout file!

Simply removed the offending line.

8 years agoUpdate Doxyfile with doxygen -u.
Arnaud Giersch [Thu, 7 Jun 2012 14:41:13 +0000 (16:41 +0200)]
Update Doxyfile with doxygen -u.

8 years agoUpdate doc to inform which gcc or clang to use.
navarro [Thu, 7 Jun 2012 15:20:53 +0000 (17:20 +0200)]
Update doc to inform which gcc or clang to use.

8 years agoHack to compile smpi on Mac (but need to fix;)
pierre [Thu, 7 Jun 2012 13:59:08 +0000 (15:59 +0200)]
Hack to compile smpi on Mac (but need to fix;)

8 years agoMore whitespace cleanup.
Arnaud Giersch [Thu, 7 Jun 2012 12:57:08 +0000 (14:57 +0200)]
More whitespace cleanup.

About 2441 useless spaces at end of lines removed, mainly in doc/.

8 years agoUpdate doc for install section.
navarro [Thu, 7 Jun 2012 12:26:30 +0000 (14:26 +0200)]
Update doc for install section.

8 years agoUpdate Changelog for MAC and Win package
navarro [Thu, 7 Jun 2012 11:54:21 +0000 (13:54 +0200)]
Update Changelog for MAC and Win package

8 years agoCosmetics: whitespace cleanup.
Arnaud Giersch [Thu, 7 Jun 2012 09:38:14 +0000 (11:38 +0200)]
Cosmetics: whitespace cleanup.

8 years agoAdd a word about Debian/Hurd in Changelog.
Arnaud Giersch [Thu, 7 Jun 2012 09:36:50 +0000 (11:36 +0200)]
Add a word about Debian/Hurd in Changelog.

8 years agoprepare the ChangeLog and NEWS files for the upcoming release
Martin Quinson [Thu, 7 Jun 2012 09:21:55 +0000 (11:21 +0200)]
prepare the ChangeLog and NEWS files for the upcoming release

8 years agoa word on installing onto Mac OSX systems
Martin Quinson [Thu, 7 Jun 2012 08:57:50 +0000 (10:57 +0200)]
a word on installing onto Mac OSX systems

8 years agoTry to put script before and after install simgrid on mac
pierre [Thu, 7 Jun 2012 09:04:09 +0000 (11:04 +0200)]
Try to put script before and after install simgrid on mac

8 years agoUpdate script for iceberg
pierre [Wed, 6 Jun 2012 13:19:34 +0000 (15:19 +0200)]
Update script for iceberg

8 years agotypos in message of backtrace display (where malloced -> was malloced)
Marion Guthmuller [Wed, 6 Jun 2012 16:27:39 +0000 (18:27 +0200)]
typos in message of backtrace display (where malloced -> was malloced)