Logo AND Algorithmique Numérique Distribuée

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

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

10 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

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

10 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

10 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

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

10 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

10 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

10 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

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

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

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

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

10 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

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

10 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

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

10 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

10 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

10 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

10 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

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

10 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

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

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

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

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

10 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

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

10 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

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

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

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

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

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

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

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

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

10 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

10 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

10 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

10 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

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

10 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

10 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

10 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

10 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

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

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

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

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

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

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

10 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

10 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]

10 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]

10 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]

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

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

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

10 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

10 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

10 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

10 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

10 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

10 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

10 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

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

10 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

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

10 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]

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

10 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

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

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

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

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

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

11 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

11 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

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

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

11 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)".

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

11 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

11 years agoRemove mpi alltoall{,w}_pairwise (identical to ring)
Paul Bédaride [Thu, 11 Apr 2013 14:41:35 +0000 (16:41 +0200)]
Remove mpi alltoall{,w}_pairwise (identical to ring)

11 years agoAdd mpi alltoallv ring ring-light-barrier ring-mpi-barrier ring-one-barrier
Paul Bédaride [Thu, 11 Apr 2013 14:20:05 +0000 (16:20 +0200)]
Add mpi alltoallv ring ring-light-barrier ring-mpi-barrier ring-one-barrier

11 years agoAdd mpi alltoallv pair
Paul Bédaride [Thu, 11 Apr 2013 12:56:21 +0000 (14:56 +0200)]
Add mpi alltoallv pair

11 years agoAdd mpi alltoallv pair_light_barrier pair_mpi_barrier pair_one_barrier
Paul Bédaride [Thu, 11 Apr 2013 12:51:21 +0000 (14:51 +0200)]
Add mpi alltoallv pair_light_barrier pair_mpi_barrier pair_one_barrier

11 years agotry not to copy from outside of an array
Augustin Degomme [Thu, 11 Apr 2013 09:02:03 +0000 (11:02 +0200)]
try not to copy from outside of an array

11 years agoadd missing coll test
Augustin Degomme [Thu, 11 Apr 2013 09:01:24 +0000 (11:01 +0200)]
add missing coll test

11 years agoDisable stream buffer when reading /proc/self/maps.
Arnaud Giersch [Wed, 10 Apr 2013 15:27:30 +0000 (17:27 +0200)]
Disable stream buffer when reading /proc/self/maps.

I don't fully  understand why it is necessary but, without this change, the MC
tests may terminate on a SIGSEGV.  It is likely because some memory regions are
unmapped on fclose, and then the real memory map is different from the
informations that were read.

11 years agoAdd mpi alltoallv bruck and fix mpi alltoallv pairwise
Paul Bédaride [Wed, 10 Apr 2013 16:25:27 +0000 (18:25 +0200)]
Add mpi alltoallv bruck and fix mpi alltoallv pairwise

11 years agoAdd mpi alltoallv pairwise
Paul Bédaride [Wed, 10 Apr 2013 15:03:54 +0000 (17:03 +0200)]
Add mpi alltoallv pairwise