Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
8 years agomodel-checker : minor changes for debug information in heap comparison algorithm
Marion Guthmuller [Tue, 5 Mar 2013 20:36:44 +0000 (21:36 +0100)]
model-checker : minor changes for debug information in heap comparison algorithm

8 years agomodel-checker : check if fragment or block has been already compared
Marion Guthmuller [Tue, 5 Mar 2013 20:34:35 +0000 (21:34 +0100)]
model-checker : check if fragment or block has been already compared

8 years agomodel-checker : remove local variable only if frame name is known
Marion Guthmuller [Tue, 5 Mar 2013 20:31:51 +0000 (21:31 +0100)]
model-checker : remove local variable only if frame name is known

8 years agomodel-checker : remove static function
Marion Guthmuller [Tue, 5 Mar 2013 20:28:57 +0000 (21:28 +0100)]
model-checker : remove static function

8 years agomodel-checker : cosmetics
Marion Guthmuller [Tue, 5 Mar 2013 20:25:11 +0000 (21:25 +0100)]
model-checker : cosmetics

8 years agomodel-checker : get hash of local and global variables which are not pointers
Marion Guthmuller [Tue, 5 Mar 2013 20:24:45 +0000 (21:24 +0100)]
model-checker : get hash of local and global variables which are not pointers

8 years agomodel-checker : ignore running context of processes for system state comparison
Marion Guthmuller [Tue, 5 Mar 2013 17:05:54 +0000 (18:05 +0100)]
model-checker : ignore running context of processes for system state comparison

8 years agomodel-checker : use short instead of int for ignore information in mmalloc meta-data
Marion Guthmuller [Mon, 11 Feb 2013 08:20:35 +0000 (09:20 +0100)]
model-checker : use short instead of int for ignore information in mmalloc meta-data

8 years agomodel-checker : init ignore information for each block/fragment only in mmalloc
Marion Guthmuller [Mon, 11 Feb 2013 08:19:22 +0000 (09:19 +0100)]
model-checker : init ignore information for each block/fragment only in mmalloc

8 years agomodel-checker : remove commentated declaration of function (doesn't exist anymore)
Marion Guthmuller [Mon, 11 Feb 2013 08:14:31 +0000 (09:14 +0100)]
model-checker : remove commentated declaration of function (doesn't exist anymore)

8 years agomodel-checker : remove variable from mc_local_variables if ignored
Marion Guthmuller [Mon, 11 Feb 2013 08:12:00 +0000 (09:12 +0100)]
model-checker : remove variable from mc_local_variables if ignored

8 years agomodel-checker : fix memory leak
Marion Guthmuller [Mon, 11 Feb 2013 08:08:42 +0000 (09:08 +0100)]
model-checker : fix memory leak

8 years agomodel-checker : cosmetics
Marion Guthmuller [Mon, 11 Feb 2013 08:08:26 +0000 (09:08 +0100)]
model-checker : cosmetics

8 years agomodel-checker : cleanups in mc_snapshot structure
Marion Guthmuller [Mon, 11 Feb 2013 08:06:06 +0000 (09:06 +0100)]
model-checker : cleanups in mc_snapshot structure

8 years agomodel-checker : new simcall MC_RANDOM
Marion Guthmuller [Mon, 11 Feb 2013 08:01:36 +0000 (09:01 +0100)]
model-checker : new simcall MC_RANDOM

8 years agomodel-checker : fix memory leak
Marion Guthmuller [Sun, 10 Feb 2013 12:48:46 +0000 (13:48 +0100)]
model-checker : fix memory leak

8 years agomodel-checker : get instruction pointer and frame name with libunwind for the compari...
Marion Guthmuller [Fri, 8 Feb 2013 13:37:03 +0000 (14:37 +0100)]
model-checker : get instruction pointer and frame name with libunwind for the comparison of stacks

8 years agoAvoid to run the smpirun script through valgrind on memcheck.
Arnaud Giersch [Fri, 22 Feb 2013 15:29:01 +0000 (16:29 +0100)]
Avoid to run the smpirun script through valgrind on memcheck.

8 years agoAdd new option to smpirun, for running valgrind/gdb/whatever...
Arnaud Giersch [Fri, 22 Feb 2013 15:28:11 +0000 (16:28 +0100)]
Add new option to smpirun, for running valgrind/gdb/whatever...

8 years agoImprove the printing of default values when size != 1.
Arnaud Giersch [Fri, 8 Mar 2013 16:35:14 +0000 (17:35 +0100)]
Improve the printing of default values when size != 1.

8 years agoCosmetics: add space before opening parenthesis.
Arnaud Giersch [Fri, 8 Mar 2013 16:13:57 +0000 (17:13 +0100)]
Cosmetics: add space before opening parenthesis.

8 years agoCheck return code, and report errors.
Arnaud Giersch [Wed, 6 Mar 2013 12:18:39 +0000 (13:18 +0100)]
Check return code, and report errors.

Avoids to call MPI_Get_count with an invalid status.

8 years agoUse simple arrays, instead of dynars.
Arnaud Giersch [Wed, 6 Mar 2013 10:59:29 +0000 (11:59 +0100)]
Use simple arrays, instead of dynars.

Also fix the use of uninitialized values in PMPI_Waitall.

8 years agoReally copy only when recvbuf != sendbuf.
Arnaud Giersch [Wed, 6 Mar 2013 10:02:20 +0000 (11:02 +0100)]
Really copy only when recvbuf != sendbuf.

And avoid to call memcpy with overlapping regions.

8 years ago[doc] general update on tracing doc
Lucas Schnorr [Fri, 1 Mar 2013 19:49:25 +0000 (16:49 -0300)]
[doc] general update on tracing doc

8 years agoDefine missing function.
Arnaud Giersch [Thu, 21 Feb 2013 17:28:27 +0000 (18:28 +0100)]
Define missing function.

8 years agoRemove useless statements.
Arnaud Giersch [Thu, 21 Feb 2013 17:01:45 +0000 (18:01 +0100)]
Remove useless statements.

8 years agoTry to fix const madness.
Arnaud Giersch [Thu, 21 Feb 2013 17:01:23 +0000 (18:01 +0100)]
Try to fix const madness.

See http://c-faq.com/ansi/constmismatch.html for a related FAQ.

8 years agoFix memory leaks in smpi.
Arnaud Giersch [Thu, 21 Feb 2013 13:41:40 +0000 (14:41 +0100)]
Fix memory leaks in smpi.

8 years agoExtend smpi_register_static to accept any free function.
Arnaud Giersch [Thu, 21 Feb 2013 13:41:07 +0000 (14:41 +0100)]
Extend smpi_register_static to accept any free function.

8 years agoFix a few more memory leaks.
Arnaud Giersch [Wed, 20 Feb 2013 22:09:03 +0000 (23:09 +0100)]
Fix a few more memory leaks.

8 years agoAvoid to export internal variables.
Arnaud Giersch [Wed, 20 Feb 2013 20:26:05 +0000 (21:26 +0100)]
Avoid to export internal variables.

8 years agoFree timer after it's been used.
Arnaud Giersch [Wed, 20 Feb 2013 17:41:04 +0000 (18:41 +0100)]
Free timer after it's been used.

8 years agoUse splitted xml files, and avoid memory leaks in the parser.
Arnaud Giersch [Wed, 20 Feb 2013 17:27:18 +0000 (18:27 +0100)]
Use splitted xml files, and avoid memory leaks in the parser.

8 years agoSplit the xml file, and destroy task, to fix memory leaks.
Arnaud Giersch [Wed, 20 Feb 2013 16:49:48 +0000 (17:49 +0100)]
Split the xml file, and destroy task, to fix memory leaks.

8 years agoFix a few memory leaks.
Arnaud Giersch [Wed, 20 Feb 2013 12:51:46 +0000 (13:51 +0100)]
Fix a few memory leaks.

8 years agoremove forgotten debug println
Augustin Degomme [Tue, 19 Feb 2013 16:35:22 +0000 (17:35 +0100)]
remove forgotten debug println

8 years agoJava didn't report the same OS name as Cmake for Windows platform, force it to be...
Augustin Degomme [Tue, 19 Feb 2013 16:24:33 +0000 (17:24 +0100)]
Java didn't report the same OS name as Cmake for Windows platform, force it to be "Windows"

8 years agochange an include, to avoid linking from simgrid to smpi
Augustin Degomme [Tue, 19 Feb 2013 15:55:03 +0000 (16:55 +0100)]
change an include, to avoid linking from simgrid to smpi

8 years agochange name of the real executed main function to a windows specific one
Augustin Degomme [Tue, 19 Feb 2013 15:54:26 +0000 (16:54 +0100)]
change name of the real executed main function to a windows specific one

8 years agoadd smpi to windows installer
Augustin Degomme [Tue, 19 Feb 2013 15:51:59 +0000 (16:51 +0100)]
add smpi to windows installer

8 years agoforce lib names to stop changing when activating smpi on windows
Augustin Degomme [Tue, 19 Feb 2013 15:51:29 +0000 (16:51 +0100)]
force lib names to stop changing when activating smpi on windows

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Augustin Degomme [Tue, 19 Feb 2013 15:13:26 +0000 (16:13 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

8 years agoUse correct log category.
Arnaud Giersch [Tue, 19 Feb 2013 10:17:27 +0000 (11:17 +0100)]
Use correct log category.

8 years agoFile was removed.
Arnaud Giersch [Mon, 18 Feb 2013 21:38:16 +0000 (22:38 +0100)]
File was removed.

8 years agoKill old commented line.
Arnaud Giersch [Mon, 18 Feb 2013 21:24:34 +0000 (22:24 +0100)]
Kill old commented line.

8 years agoCheck status also with MC.
Arnaud Giersch [Mon, 18 Feb 2013 20:39:29 +0000 (21:39 +0100)]
Check status also with MC.

8 years agoMove test outside the loop.
Arnaud Giersch [Mon, 18 Feb 2013 20:34:33 +0000 (21:34 +0100)]
Move test outside the loop.

8 years agoSet status in any case.
Arnaud Giersch [Mon, 18 Feb 2013 20:31:42 +0000 (21:31 +0100)]
Set status in any case.

8 years agoRemove declarations for nonexistent functions or variables.
Arnaud Giersch [Mon, 18 Feb 2013 16:28:36 +0000 (17:28 +0100)]
Remove declarations for nonexistent functions or variables.

8 years agoRemove duplicated declaration for xbt_time().
Arnaud Giersch [Mon, 18 Feb 2013 15:03:07 +0000 (16:03 +0100)]
Remove duplicated declaration for xbt_time().

8 years agoChange regexp to correctly handle types like "short int".
Arnaud Giersch [Mon, 18 Feb 2013 11:25:07 +0000 (12:25 +0100)]
Change regexp to correctly handle types like "short int".

8 years agoRemove duplicated strings.
Arnaud Giersch [Mon, 18 Feb 2013 11:16:01 +0000 (12:16 +0100)]
Remove duplicated strings.

8 years agoCosmetics: add space.
Arnaud Giersch [Mon, 18 Feb 2013 11:12:47 +0000 (12:12 +0100)]
Cosmetics: add space.

8 years agoAlso set MPI_ERROR in smpi_empty_status.
Arnaud Giersch [Mon, 18 Feb 2013 10:16:53 +0000 (11:16 +0100)]
Also set MPI_ERROR in smpi_empty_status.

8 years agoRemove unused script.
Arnaud Giersch [Fri, 15 Feb 2013 16:17:44 +0000 (17:17 +0100)]
Remove unused script.

8 years agobe case insensitive when trying to change main name in F90 files
Augustin Degomme [Fri, 15 Feb 2013 09:39:44 +0000 (10:39 +0100)]
be case insensitive when trying to change main name in F90 files

8 years agoadd mpi_testall binding for fortran
Augustin Degomme [Fri, 15 Feb 2013 09:31:14 +0000 (10:31 +0100)]
add mpi_testall binding for fortran

8 years agoCosmetics: add space before dot.
Arnaud Giersch [Fri, 15 Feb 2013 08:55:37 +0000 (09:55 +0100)]
Cosmetics: add space before dot.

8 years agoUsing memcpy looks a bit overkill here.
Arnaud Giersch [Thu, 14 Feb 2013 22:49:39 +0000 (23:49 +0100)]
Using memcpy looks a bit overkill here.

8 years agoRemove spurious brace from error message.
Arnaud Giersch [Thu, 14 Feb 2013 22:45:29 +0000 (23:45 +0100)]
Remove spurious brace from error message.

8 years agoRemove remaining traces from synchronized dynars.
Arnaud Giersch [Thu, 14 Feb 2013 16:28:13 +0000 (17:28 +0100)]
Remove remaining traces from synchronized dynars.

Had to add some #include "xbt/synchro_core.h".

8 years agoIncrease tesh timeouts for slow machines.
Arnaud Giersch [Thu, 14 Feb 2013 16:05:41 +0000 (17:05 +0100)]
Increase tesh timeouts for slow machines.

8 years agoMake test reproducible on slow machines.
Arnaud Giersch [Thu, 14 Feb 2013 16:05:08 +0000 (17:05 +0100)]
Make test reproducible on slow machines.

8 years agoCsmetics: algin braces.
Arnaud Giersch [Thu, 14 Feb 2013 15:07:26 +0000 (16:07 +0100)]
Csmetics: algin braces.

8 years agoRemove declarations for undefined functions.
Arnaud Giersch [Thu, 14 Feb 2013 14:45:24 +0000 (15:45 +0100)]
Remove declarations for undefined functions.

8 years agoUse xbt_XXX_is_empty() instead of testing xbt_XXX_length() against 0.
Arnaud Giersch [Thu, 14 Feb 2013 14:28:03 +0000 (15:28 +0100)]
Use xbt_XXX_is_empty() instead of testing xbt_XXX_length() against 0.

XXX is 'dict' or 'dynar'.

8 years agoSimply say func(...) instead of (*func)(...) when func is a pointer to function.
Arnaud Giersch [Thu, 14 Feb 2013 14:26:02 +0000 (15:26 +0100)]
Simply say func(...) instead of (*func)(...) when func is a pointer to function.

8 years agoUse CATCH_ANONYMOUS whenever possible.
Arnaud Giersch [Thu, 14 Feb 2013 14:25:47 +0000 (15:25 +0100)]
Use CATCH_ANONYMOUS whenever possible.

8 years agoReplace, when possible, calls to bprintf() by calls to xbt_strdup().
Arnaud Giersch [Thu, 14 Feb 2013 14:25:43 +0000 (15:25 +0100)]
Replace, when possible, calls to bprintf() by calls to xbt_strdup().

8 years agoAlso comment declaration for now unused variable.
Arnaud Giersch [Thu, 14 Feb 2013 14:14:50 +0000 (15:14 +0100)]
Also comment declaration for now unused variable.

8 years agoRemove unused static functions.
Arnaud Giersch [Thu, 14 Feb 2013 14:14:09 +0000 (15:14 +0100)]
Remove unused static functions.

8 years agoRemove declarations for undefined functions.
Arnaud Giersch [Thu, 14 Feb 2013 14:10:34 +0000 (15:10 +0100)]
Remove declarations for undefined functions.

8 years agoDeclaration for static functions in header file does not make much sense.
Arnaud Giersch [Thu, 14 Feb 2013 14:19:28 +0000 (15:19 +0100)]
Declaration for static functions in header file does not make much sense.

8 years ago[trace] fix tesh, changes only in event ordering, same number of links kept
Lucas Schnorr [Thu, 14 Feb 2013 13:41:11 +0000 (14:41 +0100)]
[trace] fix tesh, changes only in event ordering, same number of links kept

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 13:26:18 +0000 (14:26 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

8 years agoFix recv/irecv with bounded rate
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 13:26:15 +0000 (14:26 +0100)]
Fix recv/irecv with bounded rate

8 years ago[trace] fix simdag tracing tesh (change in event ordering only)
Lucas Schnorr [Thu, 14 Feb 2013 13:20:42 +0000 (14:20 +0100)]
[trace] fix simdag tracing tesh (change in event ordering only)

8 years ago[trace] remove useless if, fix identation
Lucas Schnorr [Thu, 14 Feb 2013 13:13:56 +0000 (14:13 +0100)]
[trace] remove useless if, fix identation

8 years ago[trace] correct place to keep route allocation + free
Lucas Schnorr [Thu, 14 Feb 2013 13:12:32 +0000 (14:12 +0100)]
[trace] correct place to keep route allocation + free

8 years ago[trace] add debug messages to debug graph extraction in network models
Lucas Schnorr [Thu, 14 Feb 2013 12:59:41 +0000 (13:59 +0100)]
[trace] add debug messages to debug graph extraction in network models

- only in generic_get_graph for now

8 years ago[trace] cosmetics and typos
Lucas Schnorr [Thu, 14 Feb 2013 12:58:54 +0000 (13:58 +0100)]
[trace] cosmetics and typos

8 years ago[trace] useless declaration
Lucas Schnorr [Thu, 14 Feb 2013 12:58:35 +0000 (13:58 +0100)]
[trace] useless declaration

8 years agoNew version of recv/irecv with bounded rate
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 12:59:13 +0000 (13:59 +0100)]
New version of recv/irecv with bounded rate

8 years agoRemove commented code from surf_routing_cluster
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 12:03:05 +0000 (13:03 +0100)]
Remove commented code from surf_routing_cluster

8 years agoRemove commented code from surf_routing_cluster
Jonathan Rouzaud-Cornabas [Thu, 14 Feb 2013 12:01:56 +0000 (13:01 +0100)]
Remove commented code from surf_routing_cluster

8 years agoCheck if INCLUDE_DIRECTORIES were found.
Arnaud Giersch [Wed, 13 Feb 2013 17:14:22 +0000 (18:14 +0100)]
Check if INCLUDE_DIRECTORIES were found.

8 years agoAdd some debug messages.
Arnaud Giersch [Wed, 13 Feb 2013 16:53:43 +0000 (17:53 +0100)]
Add some debug messages.

8 years agoAdd option -X to less, to avoid to clear the screen.
Arnaud Giersch [Wed, 13 Feb 2013 16:37:25 +0000 (17:37 +0100)]
Add option -X to less, to avoid to clear the screen.

8 years agoAdd missing files to the archive.
Arnaud Giersch [Wed, 13 Feb 2013 16:27:46 +0000 (17:27 +0100)]
Add missing files to the archive.

8 years agoFix errors caught by java -Xcheck:jni.
Arnaud Giersch [Wed, 13 Feb 2013 09:54:46 +0000 (10:54 +0100)]
Fix errors caught by java -Xcheck:jni.

Fixed warnings:
WARNING in native method: JNI call made with exception pending

8 years agoMore long -> intptr_t changes.
Arnaud Giersch [Wed, 13 Feb 2013 09:49:32 +0000 (10:49 +0100)]
More long -> intptr_t changes.

8 years agoAdd missing class initializer for VM.java.
Arnaud Giersch [Wed, 13 Feb 2013 09:19:10 +0000 (10:19 +0100)]
Add missing class initializer for VM.java.

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Augustin Degomme [Wed, 13 Feb 2013 09:51:39 +0000 (10:51 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

8 years agoword was missing, rephrase.
suter [Wed, 13 Feb 2013 09:51:08 +0000 (10:51 +0100)]
word was missing, rephrase.

8 years agoadd another word about the trap of dynar_search with pointed elements
Martin Quinson [Wed, 13 Feb 2013 08:07:59 +0000 (09:07 +0100)]
add another word about the trap of dynar_search with pointed elements

8 years agoTypos: binded -> bound.
Arnaud Giersch [Tue, 12 Feb 2013 23:52:41 +0000 (00:52 +0100)]
Typos: binded -> bound.

8 years agodocument that it's safe to interrupt a foreach with a break or return statement
Martin Quinson [Wed, 13 Feb 2013 00:02:54 +0000 (01:02 +0100)]
document that it's safe to interrupt a foreach with a break or return statement

8 years agodocument that the search function on dynar don't work well with pointed values
Martin Quinson [Wed, 13 Feb 2013 00:00:34 +0000 (01:00 +0100)]
document that the search function on dynar don't work well with pointed values

8 years agoSet correct NATIVE folder for 32bits x86.
Arnaud Giersch [Tue, 12 Feb 2013 22:50:01 +0000 (23:50 +0100)]
Set correct NATIVE folder for 32bits x86.