Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years agocommit my eclipse configuration file so that others can use it
Martin Quinson [Thu, 6 Jun 2013 07:24:07 +0000 (09:24 +0200)]
commit my eclipse configuration file so that others can use it

7 years agothese got regenerated, apparently with a newer version of bison
Martin Quinson [Thu, 6 Jun 2013 07:02:05 +0000 (09:02 +0200)]
these got regenerated, apparently with a newer version of bison

7 years agounignore eclipse project file, ignore some crappy compiled files
Martin Quinson [Thu, 6 Jun 2013 06:59:48 +0000 (08:59 +0200)]
unignore eclipse project file, ignore some crappy compiled files

7 years agosay that we messed with msg_file
suter [Wed, 5 Jun 2013 20:50:21 +0000 (22:50 +0200)]
say that we messed with msg_file

7 years agorevalidate tesh to account for BIG FAT WARNING
suter [Wed, 5 Jun 2013 20:42:35 +0000 (22:42 +0200)]
revalidate tesh to account for BIG FAT WARNING

7 years agorevalidate tesh
suter [Wed, 5 Jun 2013 20:41:04 +0000 (22:41 +0200)]
revalidate tesh

7 years agosimplify the examples of file usage
suter [Wed, 5 Jun 2013 20:29:22 +0000 (22:29 +0200)]
simplify the examples of file usage

7 years agopath and size should be enough to describe files stored on a storage
suter [Wed, 5 Jun 2013 20:25:56 +0000 (22:25 +0200)]
path and size should be enough to describe files stored on a storage
resource

7 years agoSimplify the way files are described. Get rid of the stats, the
suter [Wed, 5 Jun 2013 20:25:06 +0000 (22:25 +0200)]
Simplify the way files are described. Get rid of the stats, the
MSG_file_stat, and all the underlying functions

7 years agostart to simplify the stack of structures for files. Get rid of stats
suter [Wed, 5 Jun 2013 15:47:18 +0000 (17:47 +0200)]
start to simplify the stack of structures for files. Get rid of stats
and just keep name, size and mount point

7 years agotypos
suter [Wed, 5 Jun 2013 09:39:12 +0000 (11:39 +0200)]
typos

7 years agodocument the fact that we accept abbreviations of log setting modifiers, even harsh...
Martin Quinson [Wed, 5 Jun 2013 17:58:01 +0000 (19:58 +0200)]
document the fact that we accept abbreviations of log setting modifiers, even harsh ones

7 years agocleanups: kill unused forward declarations
Martin Quinson [Wed, 5 Jun 2013 17:56:21 +0000 (19:56 +0200)]
cleanups: kill unused forward declarations

7 years agobig fat warning to avoid an issue that Lionel encountered
Martin Quinson [Wed, 5 Jun 2013 17:55:24 +0000 (19:55 +0200)]
big fat warning to avoid an issue that Lionel encountered

7 years agodisplay a warning message to avoid that some people use that binary by error
Martin Quinson [Tue, 4 Jun 2013 20:36:17 +0000 (22:36 +0200)]
display a warning message to avoid that some people use that binary by error

7 years agodocument some recent changes
Martin Quinson [Mon, 13 May 2013 14:06:01 +0000 (16:06 +0200)]
document some recent changes

7 years agomodel-checker : generate dot file for the verification of liveness properties
Marion Guthmuller [Sun, 2 Jun 2013 19:07:15 +0000 (21:07 +0200)]
model-checker : generate dot file for the verification of liveness properties

7 years agomodel-checker : use else if instead of if then if
Marion Guthmuller [Sun, 2 Jun 2013 18:30:34 +0000 (20:30 +0200)]
model-checker : use else if instead of if then if

7 years agomodel-checker : fix dpor with dot_output
Marion Guthmuller [Sun, 2 Jun 2013 18:27:51 +0000 (20:27 +0200)]
model-checker : fix dpor with dot_output

7 years agomodel-checker : modify chord example in mc for exhaustive exploration
Marion Guthmuller [Sat, 1 Jun 2013 14:26:14 +0000 (16:26 +0200)]
model-checker : modify chord example in mc for exhaustive exploration

Each node executes only one of the periodic sub-protocols (stabilize,
fix fingers, check predecessor or lookup) then it replies to requests
from other nodes.

7 years agomodel-checker : fix memory free
Marion Guthmuller [Sat, 1 Jun 2013 09:51:06 +0000 (11:51 +0200)]
model-checker : fix memory free

7 years agomodel-checker : remove useless if
Marion Guthmuller [Fri, 31 May 2013 21:38:26 +0000 (23:38 +0200)]
model-checker : remove useless if

7 years agomodel-checker : fix compilation error
Marion Guthmuller [Fri, 31 May 2013 21:30:47 +0000 (23:30 +0200)]
model-checker : fix compilation error

7 years agomodel-checker : remove useless take/restore snapshot
Marion Guthmuller [Fri, 31 May 2013 18:50:30 +0000 (20:50 +0200)]
model-checker : remove useless take/restore snapshot

7 years agoTry to support older versions of cmake.
Arnaud Giersch [Fri, 31 May 2013 13:29:50 +0000 (15:29 +0200)]
Try to support older versions of cmake.

7 years agomodel-checker : update bugged1_liveness tesh
Marion Guthmuller [Fri, 31 May 2013 12:56:48 +0000 (14:56 +0200)]
model-checker : update bugged1_liveness tesh

7 years agomodel-checker : initialize variables
Marion Guthmuller [Fri, 31 May 2013 12:44:06 +0000 (14:44 +0200)]
model-checker : initialize variables

7 years agomodel-checker : remove comment and add debug message
Marion Guthmuller [Fri, 31 May 2013 12:17:15 +0000 (14:17 +0200)]
model-checker : remove comment and add debug message

7 years agomodel-checker : simplify algorithm for the verification of liveness properties
Marion Guthmuller [Fri, 31 May 2013 12:12:50 +0000 (14:12 +0200)]
model-checker : simplify algorithm for the verification of liveness properties

7 years agomodel-checker : take snapshot of memory segments during the parsing of /proc/self...
Marion Guthmuller [Thu, 30 May 2013 13:35:10 +0000 (15:35 +0200)]
model-checker : take snapshot of memory segments during the parsing of /proc/self/maps

7 years agomodel-checker : use only structure (mc_pair_t) for the verification of liveness prope...
Marion Guthmuller [Tue, 28 May 2013 16:19:21 +0000 (18:19 +0200)]
model-checker : use only structure (mc_pair_t) for the verification of liveness properties

7 years agomodel-checker : free memory
Marion Guthmuller [Tue, 28 May 2013 07:46:19 +0000 (09:46 +0200)]
model-checker : free memory

7 years agomodel-checker : add global variable in bugged1_liveness example to change the number...
Marion Guthmuller [Tue, 28 May 2013 07:42:06 +0000 (09:42 +0200)]
model-checker : add global variable in bugged1_liveness example to change the number of clients

7 years agoRemove reference to nonexistent class.
Arnaud Giersch [Mon, 27 May 2013 15:45:46 +0000 (17:45 +0200)]
Remove reference to nonexistent class.

It was removed more than one year ago.

7 years agoTry to normalize path for libraries bundled into simgrid.jar.
Arnaud Giersch [Fri, 24 May 2013 11:28:10 +0000 (13:28 +0200)]
Try to normalize path for libraries bundled into simgrid.jar.

7 years agoAlso add LICENSE file to simgrid.jar.
Arnaud Giersch [Fri, 24 May 2013 09:36:27 +0000 (11:36 +0200)]
Also add LICENSE file to simgrid.jar.

It is referenced by file COPYING.

7 years agoSmall improvements to parmap_test
Arnaud Giersch [Tue, 21 May 2013 16:19:17 +0000 (18:19 +0200)]
Small improvements to parmap_test

* print an error message, and change exit status on error
* reduce test time by decreasing the sleep duration in fun_get_id()

7 years agoAdd scala masterslave bypass and kill
Paul Bédaride [Thu, 23 May 2013 13:06:31 +0000 (15:06 +0200)]
Add scala masterslave bypass and kill

7 years agoAdd missing FindScala.cmake
Paul Bédaride [Thu, 23 May 2013 09:23:00 +0000 (11:23 +0200)]
Add missing FindScala.cmake

7 years agoAdd a scala masterslave example
Paul Bédaride [Thu, 23 May 2013 09:09:28 +0000 (11:09 +0200)]
Add a scala masterslave example

7 years agoFix Windows Jenkins script
Paul Bédaride [Tue, 21 May 2013 14:52:13 +0000 (16:52 +0200)]
Fix Windows Jenkins script

7 years agoRestore parmap unitTesting as part of teshsuite.
Guillaume Serrière [Fri, 17 May 2013 14:29:17 +0000 (16:29 +0200)]
Restore parmap unitTesting as part of teshsuite.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>
7 years agoAdd linux and win shell scripts for jenkins
Paul Bédaride [Fri, 17 May 2013 13:20:14 +0000 (15:20 +0200)]
Add linux and win shell scripts for jenkins

7 years agoSIMIX must be initialized now to use parmaps.
Arnaud Giersch [Thu, 16 May 2013 15:30:17 +0000 (17:30 +0200)]
SIMIX must be initialized now to use parmaps.

7 years agoRemove now unused log category.
Arnaud Giersch [Thu, 16 May 2013 14:53:09 +0000 (16:53 +0200)]
Remove now unused log category.

7 years agoRemove unused variable.
Guillaume Serrière [Thu, 16 May 2013 14:40:44 +0000 (16:40 +0200)]
Remove unused variable.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>
7 years agoAdd of context creation in parmap.
Guillaume Serrière [Tue, 14 May 2013 14:59:06 +0000 (16:59 +0200)]
Add of context creation in parmap.

Remove parmap from unitTesting because we need a context factory
for parmap creation now.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>
7 years agoRemove parmap from surf.
Guillaume Serrière [Tue, 14 May 2013 14:11:07 +0000 (16:11 +0200)]
Remove parmap from surf.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>
7 years agoInclude TRACING_SRC only when HAVE_TRACING.
Arnaud Giersch [Thu, 16 May 2013 12:23:08 +0000 (14:23 +0200)]
Include TRACING_SRC only when HAVE_TRACING.

7 years agoGive size of pointed area, not size of pointer.
Arnaud Giersch [Wed, 15 May 2013 16:29:39 +0000 (18:29 +0200)]
Give size of pointed area, not size of pointer.

7 years agoAdd platf_route_rulebased2full.py to bin_files.
Arnaud Giersch [Wed, 15 May 2013 16:29:39 +0000 (18:29 +0200)]
Add platf_route_rulebased2full.py to bin_files.

7 years agoAvoid unnecessary utf8 characters in ChangeLog.
Arnaud Giersch [Wed, 15 May 2013 16:29:39 +0000 (18:29 +0200)]
Avoid unnecessary utf8 characters in ChangeLog.

7 years agoRemove PCRE dependency and RuleBased routing
Paul Bédaride [Wed, 15 May 2013 15:41:39 +0000 (17:41 +0200)]
Remove PCRE dependency and RuleBased routing

7 years agoAdd new boolean type for configuration
Paul Bédaride [Fri, 10 May 2013 15:00:58 +0000 (17:00 +0200)]
Add new boolean type for configuration

7 years agorequalify tesh for replay to account for 301c31f7
Augustin Degomme [Tue, 7 May 2013 15:10:04 +0000 (17:10 +0200)]
requalify tesh for replay to account for 301c31f7

7 years agosynchronize all replay processes at the end
Augustin Degomme [Thu, 2 May 2013 08:37:04 +0000 (10:37 +0200)]
synchronize all replay processes at the end
to avoid some of them being destroyed wrongfully

7 years agoWarning removal
Augustin Degomme [Tue, 7 May 2013 15:05:58 +0000 (17:05 +0200)]
Warning removal

7 years agoFix nasty bug with wrong addressing of the processes in smpi.
Augustin Degomme [Tue, 7 May 2013 11:42:43 +0000 (13:42 +0200)]
Fix nasty bug with wrong addressing of the processes in smpi.
When using several groups, some confusions may happen and some processes may have mixed up messages they received

7 years agoadd an option smpi/iprobe, to inject sleeping time into a MPI_Iprobe call.
Augustin Degomme [Thu, 2 May 2013 09:22:41 +0000 (11:22 +0200)]
add an option smpi/iprobe, to inject sleeping time into a MPI_Iprobe call.
Change the way this sleep is done, to increase it each time a MPI_Iprobe fails, to accelerate simulation

7 years agoMC showed that this test could go wrong if receiver is early
Augustin Degomme [Thu, 2 May 2013 08:38:18 +0000 (10:38 +0200)]
MC showed that this test could go wrong if receiver is early

7 years agofix bug with tracing of MPI_Sendrecv
Augustin Degomme [Thu, 2 May 2013 07:53:31 +0000 (09:53 +0200)]
fix bug with tracing of MPI_Sendrecv

7 years agoUse right test for error checking.
Arnaud Giersch [Tue, 7 May 2013 08:46:01 +0000 (10:46 +0200)]
Use right test for error checking.

7 years agoTypo.
Arnaud Giersch [Tue, 7 May 2013 08:42:45 +0000 (10:42 +0200)]
Typo.

7 years agoAdd sg_xml_unit_converter.py to bin_files.
Arnaud Giersch [Tue, 7 May 2013 07:46:44 +0000 (09:46 +0200)]
Add sg_xml_unit_converter.py to bin_files.

7 years agoAlso handle IEC binary prefixes for bandwidth.
Arnaud Giersch [Tue, 7 May 2013 07:40:12 +0000 (09:40 +0200)]
Also handle IEC binary prefixes for bandwidth.

7 years agoUse correct capitalization for unit prefixes.
Arnaud Giersch [Tue, 7 May 2013 07:31:59 +0000 (09:31 +0200)]
Use correct capitalization for unit prefixes.

7 years agoFactorize code for parsing values with units.
Arnaud Giersch [Tue, 7 May 2013 07:29:00 +0000 (09:29 +0200)]
Factorize code for parsing values with units.

7 years agoLess error prone unit conversion
Paul Bédaride [Mon, 6 May 2013 14:57:54 +0000 (16:57 +0200)]
Less error prone unit conversion

7 years agoFix to handle warnings+optimizations on CI for MC32 [#15544]
Paul Bédaride [Mon, 6 May 2013 13:25:25 +0000 (15:25 +0200)]
Fix to handle warnings+optimizations on CI for MC32 [#15544]

7 years agoFix to handle warnings+optimizations on CI [#15544]
Paul Bédaride [Mon, 6 May 2013 12:36:15 +0000 (14:36 +0200)]
Fix to handle warnings+optimizations on CI [#15544]

7 years agoAdd unit support in xml files [#14422]
Paul Bédaride [Mon, 6 May 2013 08:09:23 +0000 (10:09 +0200)]
Add unit support in xml files [#14422]

7 years agoRemove stale forward declarations.
Arnaud Giersch [Tue, 30 Apr 2013 17:02:26 +0000 (19:02 +0200)]
Remove stale forward declarations.

7 years agoRemove duplicate file.
Arnaud Giersch [Mon, 29 Apr 2013 12:03:20 +0000 (14:03 +0200)]
Remove duplicate file.

It's the same as deploy_chord4.xml.

7 years agoRemove binary file!
Arnaud Giersch [Mon, 29 Apr 2013 12:01:25 +0000 (14:01 +0200)]
Remove binary file!

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Nicolas Bonichon [Tue, 30 Apr 2013 15:33:21 +0000 (17:33 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

7 years agomodel-checker : cleanups in tesh examples
Marion Guthmuller [Mon, 29 Apr 2013 11:30:41 +0000 (13:30 +0200)]
model-checker : cleanups in tesh examples

- rename directory: chord_liveness -> chord
- add tesh for bugged2
- remove broken tests snapshot_comparison*
- neverJoin in Chord is a safety property, not a liveness property

7 years agoRemove unused notion of stalled messages for "piece" messages
Nicolas Bonichon [Fri, 26 Apr 2013 15:30:19 +0000 (17:30 +0200)]
Remove unused notion of stalled messages for "piece" messages

Add some xtb_assert and correct a debug message

7 years agoFix unset var in smpirun
Paul Bédaride [Fri, 26 Apr 2013 13:53:51 +0000 (15:53 +0200)]
Fix unset var in smpirun

7 years agobittorrent: Replace the last isend by dsend
Nicolas Bonichon [Fri, 26 Apr 2013 12:08:16 +0000 (14:08 +0200)]
bittorrent: Replace the last isend by dsend
Remove all stuff related to pending sends

7 years agoreindent ... this time with the appropriate options
Nicolas Bonichon [Thu, 25 Apr 2013 16:53:11 +0000 (18:53 +0200)]
reindent ... this time with the appropriate options

7 years agoFully implement the piece selection algorithms of Bittorrent protocol:
Nicolas Bonichon [Thu, 25 Apr 2013 16:46:09 +0000 (18:46 +0200)]
Fully implement the piece selection algorithms of Bittorrent protocol:
   strict priority policy, random first policy, endgame mode

7 years agoMerge branch 'bittorrent'
Nicolas Bonichon [Thu, 25 Apr 2013 15:35:23 +0000 (17:35 +0200)]
Merge branch 'bittorrent'

7 years ago-Cleaning a bit the code
Nicolas Bonichon [Thu, 25 Apr 2013 15:22:20 +0000 (17:22 +0200)]
-Cleaning a bit the code
-Respecting better (but not yet completely)  the BitTorrent protocol specifications

7 years agoreindent before changes
Nicolas Bonichon [Thu, 25 Apr 2013 15:18:11 +0000 (17:18 +0200)]
reindent before changes

7 years agoAuto generate hostfile if not given to smpirun [#14692]
Paul Bédaride [Thu, 25 Apr 2013 08:37:19 +0000 (10:37 +0200)]
Auto generate hostfile if not given to smpirun [#14692]

7 years agoFix doc bug [#15024]
Paul Bédaride [Tue, 23 Apr 2013 12:57:09 +0000 (14:57 +0200)]
Fix doc bug [#15024]

7 years agoFix absolute path in documentation
Paul Bédaride [Mon, 22 Apr 2013 13:12:38 +0000 (15:12 +0200)]
Fix absolute path in documentation

7 years agoCorrection of documentation.
Guillaume Serrière [Wed, 17 Apr 2013 15:31:19 +0000 (17:31 +0200)]
Correction of documentation.

If 0 is set as context/nthreads configuration value, the amount of core
will be also auto-calculated.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>
7 years agoMake check-dist-archive succeed (take last changes into account).
Arnaud Giersch [Tue, 16 Apr 2013 09:01:30 +0000 (11:01 +0200)]
Make check-dist-archive succeed (take last changes into account).

7 years agoSlightly improve error message when check_dist_archive fails.
Arnaud Giersch [Tue, 16 Apr 2013 08:56:34 +0000 (10:56 +0200)]
Slightly improve error message when check_dist_archive fails.

Also add some words about "make distcheck" in README.coding.

7 years agoReally call function TRACE_disable_power().
Arnaud Giersch [Mon, 15 Apr 2013 16:21:54 +0000 (18:21 +0200)]
Really call function TRACE_disable_power().

7 years agoUse correct parameter for bcast operation.
Arnaud Giersch [Mon, 15 Apr 2013 13:24:58 +0000 (15:24 +0200)]
Use correct parameter for bcast operation.

7 years agoReturn early on error.
Arnaud Giersch [Mon, 15 Apr 2013 13:11:15 +0000 (15:11 +0200)]
Return early on error.

Avoid to use X and Y when they may be uninitialized.

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Jonathan Rouzaud-Cornabas [Mon, 15 Apr 2013 16:10:51 +0000 (18:10 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

7 years agoAdd new tracing options to reduce the size of the traces
Jonathan Rouzaud-Cornabas [Mon, 15 Apr 2013 16:09:52 +0000 (18:09 +0200)]
Add new tracing options to reduce the size of the traces

7 years agoAdd mpi allgatherv GB
Paul Bédaride [Fri, 12 Apr 2013 14:25:00 +0000 (16:25 +0200)]
Add mpi allgatherv GB

7 years agoReactivate some mpi collectives
Paul Bédaride [Fri, 12 Apr 2013 12:35:12 +0000 (14:35 +0200)]
Reactivate some mpi collectives

7 years agoRemove unused file.
Arnaud Giersch [Fri, 12 Apr 2013 09:05:56 +0000 (11:05 +0200)]
Remove unused file.

To finalize commit 386b9bb016d5acdc4929226fa4347a8f6d79bd21
"Remove mpi alltoall{,w}_pairwise (identical to ring)".

7 years agoAdd teshsuite missing files
Paul Bédaride [Fri, 12 Apr 2013 08:48:13 +0000 (10:48 +0200)]
Add teshsuite missing files

7 years agoAdd mpi allgatherv pair ring
Paul Bédaride [Fri, 12 Apr 2013 08:44:33 +0000 (10:44 +0200)]
Add mpi allgatherv pair ring