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
Martin Quinson [Mon, 13 May 2013 14:06:01 +0000 (16:06 +0200)]
document some recent changes
Marion Guthmuller [Sun, 2 Jun 2013 19:07:15 +0000 (21:07 +0200)]
model-checker : generate dot file for the verification of liveness properties
Marion Guthmuller [Sun, 2 Jun 2013 18:30:34 +0000 (20:30 +0200)]
model-checker : use else if instead of if then if
Marion Guthmuller [Sun, 2 Jun 2013 18:27:51 +0000 (20:27 +0200)]
model-checker : fix dpor with dot_output
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.
Marion Guthmuller [Sat, 1 Jun 2013 09:51:06 +0000 (11:51 +0200)]
model-checker : fix memory free
Marion Guthmuller [Fri, 31 May 2013 21:38:26 +0000 (23:38 +0200)]
model-checker : remove useless if
Marion Guthmuller [Fri, 31 May 2013 21:30:47 +0000 (23:30 +0200)]
model-checker : fix compilation error
Marion Guthmuller [Fri, 31 May 2013 18:50:30 +0000 (20:50 +0200)]
model-checker : remove useless take/restore snapshot
Arnaud Giersch [Fri, 31 May 2013 13:29:50 +0000 (15:29 +0200)]
Try to support older versions of cmake.
Marion Guthmuller [Fri, 31 May 2013 12:56:48 +0000 (14:56 +0200)]
model-checker : update bugged1_liveness tesh
Marion Guthmuller [Fri, 31 May 2013 12:44:06 +0000 (14:44 +0200)]
model-checker : initialize variables
Marion Guthmuller [Fri, 31 May 2013 12:17:15 +0000 (14:17 +0200)]
model-checker : remove comment and add debug message
Marion Guthmuller [Fri, 31 May 2013 12:12:50 +0000 (14:12 +0200)]
model-checker : simplify algorithm for the verification of liveness properties
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
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
Marion Guthmuller [Tue, 28 May 2013 07:46:19 +0000 (09:46 +0200)]
model-checker : free memory
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
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.
Arnaud Giersch [Fri, 24 May 2013 11:28:10 +0000 (13:28 +0200)]
Try to normalize path for libraries bundled into 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.
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()
Paul Bédaride [Thu, 23 May 2013 13:06:31 +0000 (15:06 +0200)]
Add scala masterslave bypass and kill
Paul Bédaride [Thu, 23 May 2013 09:23:00 +0000 (11:23 +0200)]
Add missing FindScala.cmake
Paul Bédaride [Thu, 23 May 2013 09:09:28 +0000 (11:09 +0200)]
Add a scala masterslave example
Paul Bédaride [Tue, 21 May 2013 14:52:13 +0000 (16:52 +0200)]
Fix Windows Jenkins script
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>
Paul Bédaride [Fri, 17 May 2013 13:20:14 +0000 (15:20 +0200)]
Add linux and win shell scripts for jenkins
Arnaud Giersch [Thu, 16 May 2013 15:30:17 +0000 (17:30 +0200)]
SIMIX must be initialized now to use parmaps.
Arnaud Giersch [Thu, 16 May 2013 14:53:09 +0000 (16:53 +0200)]
Remove now unused log category.
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>
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>
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>
Arnaud Giersch [Thu, 16 May 2013 12:23:08 +0000 (14:23 +0200)]
Include TRACING_SRC only when HAVE_TRACING.
Arnaud Giersch [Wed, 15 May 2013 16:29:39 +0000 (18:29 +0200)]
Give size of pointed area, not size of pointer.
Arnaud Giersch [Wed, 15 May 2013 16:29:39 +0000 (18:29 +0200)]
Add platf_route_rulebased2full.py to bin_files.
Arnaud Giersch [Wed, 15 May 2013 16:29:39 +0000 (18:29 +0200)]
Avoid unnecessary utf8 characters in ChangeLog.
Paul Bédaride [Wed, 15 May 2013 15:41:39 +0000 (17:41 +0200)]
Remove PCRE dependency and RuleBased routing
Paul Bédaride [Fri, 10 May 2013 15:00:58 +0000 (17:00 +0200)]
Add new boolean type for configuration
Augustin Degomme [Tue, 7 May 2013 15:10:04 +0000 (17:10 +0200)]
requalify tesh for replay to account for
301c31f7
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
Augustin Degomme [Tue, 7 May 2013 15:05:58 +0000 (17:05 +0200)]
Warning removal
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
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
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
Augustin Degomme [Thu, 2 May 2013 07:53:31 +0000 (09:53 +0200)]
fix bug with tracing of MPI_Sendrecv
Arnaud Giersch [Tue, 7 May 2013 08:46:01 +0000 (10:46 +0200)]
Use right test for error checking.
Arnaud Giersch [Tue, 7 May 2013 08:42:45 +0000 (10:42 +0200)]
Typo.
Arnaud Giersch [Tue, 7 May 2013 07:46:44 +0000 (09:46 +0200)]
Add sg_xml_unit_converter.py to bin_files.
Arnaud Giersch [Tue, 7 May 2013 07:40:12 +0000 (09:40 +0200)]
Also handle IEC binary prefixes for bandwidth.
Arnaud Giersch [Tue, 7 May 2013 07:31:59 +0000 (09:31 +0200)]
Use correct capitalization for unit prefixes.
Arnaud Giersch [Tue, 7 May 2013 07:29:00 +0000 (09:29 +0200)]
Factorize code for parsing values with units.
Paul Bédaride [Mon, 6 May 2013 14:57:54 +0000 (16:57 +0200)]
Less error prone unit conversion
Paul Bédaride [Mon, 6 May 2013 13:25:25 +0000 (15:25 +0200)]
Fix to handle warnings+optimizations on CI for MC32 [#15544]
Paul Bédaride [Mon, 6 May 2013 12:36:15 +0000 (14:36 +0200)]
Fix to handle warnings+optimizations on CI [#15544]
Paul Bédaride [Mon, 6 May 2013 08:09:23 +0000 (10:09 +0200)]
Add unit support in xml files [#14422]
Arnaud Giersch [Tue, 30 Apr 2013 17:02:26 +0000 (19:02 +0200)]
Remove stale forward declarations.
Arnaud Giersch [Mon, 29 Apr 2013 12:03:20 +0000 (14:03 +0200)]
Remove duplicate file.
It's the same as deploy_chord4.xml.
Arnaud Giersch [Mon, 29 Apr 2013 12:01:25 +0000 (14:01 +0200)]
Remove binary file!
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
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
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
Paul Bédaride [Fri, 26 Apr 2013 13:53:51 +0000 (15:53 +0200)]
Fix unset var in smpirun
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
Nicolas Bonichon [Thu, 25 Apr 2013 16:53:11 +0000 (18:53 +0200)]
reindent ... this time with the appropriate options
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
Nicolas Bonichon [Thu, 25 Apr 2013 15:35:23 +0000 (17:35 +0200)]
Merge branch 'bittorrent'
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
Nicolas Bonichon [Thu, 25 Apr 2013 15:18:11 +0000 (17:18 +0200)]
reindent before changes
Paul Bédaride [Thu, 25 Apr 2013 08:37:19 +0000 (10:37 +0200)]
Auto generate hostfile if not given to smpirun [#14692]
Paul Bédaride [Tue, 23 Apr 2013 12:57:09 +0000 (14:57 +0200)]
Fix doc bug [#15024]
Paul Bédaride [Mon, 22 Apr 2013 13:12:38 +0000 (15:12 +0200)]
Fix absolute path in 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>
Arnaud Giersch [Tue, 16 Apr 2013 09:01:30 +0000 (11:01 +0200)]
Make check-dist-archive succeed (take last changes into account).
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.
Arnaud Giersch [Mon, 15 Apr 2013 16:21:54 +0000 (18:21 +0200)]
Really call function TRACE_disable_power().
Arnaud Giersch [Mon, 15 Apr 2013 13:24:58 +0000 (15:24 +0200)]
Use correct parameter for bcast operation.
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.
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
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
Paul Bédaride [Fri, 12 Apr 2013 14:25:00 +0000 (16:25 +0200)]
Add mpi allgatherv GB
Paul Bédaride [Fri, 12 Apr 2013 12:35:12 +0000 (14:35 +0200)]
Reactivate some mpi collectives
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)".
Paul Bédaride [Fri, 12 Apr 2013 08:48:13 +0000 (10:48 +0200)]
Add teshsuite missing files
Paul Bédaride [Fri, 12 Apr 2013 08:44:33 +0000 (10:44 +0200)]
Add mpi allgatherv pair ring
Paul Bédaride [Thu, 11 Apr 2013 14:41:35 +0000 (16:41 +0200)]
Remove mpi alltoall{,w}_pairwise (identical to ring)
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
Paul Bédaride [Thu, 11 Apr 2013 12:56:21 +0000 (14:56 +0200)]
Add mpi alltoallv pair
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
Augustin Degomme [Thu, 11 Apr 2013 09:02:03 +0000 (11:02 +0200)]
try not to copy from outside of an array
Augustin Degomme [Thu, 11 Apr 2013 09:01:24 +0000 (11:01 +0200)]
add missing coll test
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.
Paul Bédaride [Wed, 10 Apr 2013 16:25:27 +0000 (18:25 +0200)]
Add mpi alltoallv bruck and fix mpi alltoallv pairwise
Paul Bédaride [Wed, 10 Apr 2013 15:03:54 +0000 (17:03 +0200)]
Add mpi alltoallv pairwise
Paul Bédaride [Wed, 10 Apr 2013 13:38:23 +0000 (15:38 +0200)]
Add test for mpi alltoallv
Marion Guthmuller [Wed, 10 Apr 2013 10:08:31 +0000 (12:08 +0200)]
model-checker : update tesh for jenkins (memory management seems different between ubuntu and debian)
Arnaud Giersch [Wed, 10 Apr 2013 08:10:23 +0000 (10:10 +0200)]
Remove algorithm bcast-TSB.
It looks like a prototype working only with 128 nodes,
and being superseded by bcast-NTSB.
Arnaud Giersch [Wed, 10 Apr 2013 08:04:56 +0000 (10:04 +0200)]
Fix out-of-source build.
Arnaud Giersch [Mon, 8 Apr 2013 14:24:09 +0000 (16:24 +0200)]
Remove unused variables.