Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
6 years agolittle refresh, and a word about git commit messages
Martin Quinson [Wed, 3 Apr 2013 16:38:07 +0000 (18:38 +0200)]
little refresh, and a word about git commit messages

6 years agouse links in the manual TOC
Martin Quinson [Wed, 3 Apr 2013 16:34:01 +0000 (18:34 +0200)]
use links in the manual TOC

6 years agoanother allreduce ported
Augustin Degomme [Wed, 3 Apr 2013 14:37:39 +0000 (16:37 +0200)]
another allreduce ported

6 years agofix a bug happening with manually defined clusters
Augustin Degomme [Wed, 3 Apr 2013 14:25:42 +0000 (16:25 +0200)]
fix a bug happening with manually defined clusters

6 years agoadapt two collectives of starmpi to avoid timing issues, by using only smpi calls...
Augustin Degomme [Wed, 3 Apr 2013 14:25:18 +0000 (16:25 +0200)]
adapt two collectives of starmpi to avoid timing issues, by using only smpi calls inside

6 years agoactually use starmpi collectives for allreduce
Augustin Degomme [Wed, 3 Apr 2013 14:24:43 +0000 (16:24 +0200)]
actually use starmpi collectives for allreduce

6 years agomodel-checker : new examples (with tesh) for verification of liveness properties...
Marion Guthmuller [Wed, 3 Apr 2013 14:18:04 +0000 (16:18 +0200)]
model-checker : new examples (with tesh) for verification of liveness properties on chord

6 years agomodel-checker : display address of communication in Wait request if verbose log
Marion Guthmuller [Wed, 3 Apr 2013 13:56:28 +0000 (15:56 +0200)]
model-checker : display address of communication in Wait request if verbose log

6 years agomodel-checker : iSend/iRecv independent with Wait but not with WaitTimeout
Marion Guthmuller [Wed, 3 Apr 2013 09:34:47 +0000 (11:34 +0200)]
model-checker : iSend/iRecv independent with Wait but not with WaitTimeout

6 years agomodel-checker : state at max depth may have none interleaved processes
Marion Guthmuller [Tue, 2 Apr 2013 13:40:44 +0000 (15:40 +0200)]
model-checker : state at max depth may have none interleaved processes

6 years agohave sendrecv_replace work with non contiguous datatypes and really pass tests
Augustin Degomme [Tue, 2 Apr 2013 13:13:33 +0000 (15:13 +0200)]
have sendrecv_replace work with non contiguous datatypes and really pass tests

6 years agomodel-checker : update tesh
Marion Guthmuller [Tue, 2 Apr 2013 12:12:54 +0000 (14:12 +0200)]
model-checker : update tesh

6 years agomodel-checker : signed int instead of unsigned int
Marion Guthmuller [Tue, 2 Apr 2013 12:05:10 +0000 (14:05 +0200)]
model-checker : signed int instead of unsigned int

6 years agomodel-checker : update tesh (different log messages)
Marion Guthmuller [Tue, 2 Apr 2013 08:48:58 +0000 (10:48 +0200)]
model-checker : update tesh (different log messages)

6 years agomodel-checker : create dot_output file after MC_do_the_modelcheck_for_real and write...
Marion Guthmuller [Tue, 2 Apr 2013 08:09:29 +0000 (10:09 +0200)]
model-checker : create dot_output file after MC_do_the_modelcheck_for_real and write only if not NULL

6 years agomodel-checker : restore independence between iSend/iRecv and Wait requests
Marion Guthmuller [Mon, 1 Apr 2013 16:31:24 +0000 (18:31 +0200)]
model-checker : restore independence between iSend/iRecv and Wait requests

6 years agomodel-checker : update state equality detection
Marion Guthmuller [Mon, 1 Apr 2013 12:33:01 +0000 (14:33 +0200)]
model-checker : update state equality detection

- ignore field in mmalloc meta-data equal to the amount of elements to ignore in this area
- match_equals was applied twice in heap comparison algorithm, remove one unnecessary call
- apply these changes in system-state equality comparison

6 years agoTesh sort wanted output
Paul Bédaride [Fri, 29 Mar 2013 16:29:03 +0000 (17:29 +0100)]
Tesh sort wanted output

6 years agonew attempt to stabilize the use of underscores on f90/f77/f2c
Augustin Degomme [Thu, 14 Mar 2013 12:41:04 +0000 (13:41 +0100)]
new attempt to stabilize the use of underscores on f90/f77/f2c

6 years agofreebsd compatibility
Augustin Degomme [Fri, 29 Mar 2013 09:21:17 +0000 (10:21 +0100)]
freebsd compatibility

6 years agoremove states for the new tracing option, as only links are really useful
Augustin Degomme [Tue, 12 Mar 2013 15:07:53 +0000 (16:07 +0100)]
remove states for the new tracing option, as only links are really useful

6 years agoswitch back from two underscores to one in fortran names, to allow linking with exter...
Augustin Degomme [Mon, 11 Mar 2013 15:30:00 +0000 (16:30 +0100)]
switch back from two underscores to one in fortran names, to allow linking with external libs

6 years agoadd a cfg:tracing/smpi/internals option, to trace all pt2pt communications during...
Augustin Degomme [Mon, 11 Mar 2013 15:29:22 +0000 (16:29 +0100)]
add a cfg:tracing/smpi/internals option, to trace all pt2pt communications during a collective one
This provide a better view of the pattern, useful for debugging

6 years agoupdate dtd
Augustin Degomme [Thu, 7 Mar 2013 09:49:31 +0000 (10:49 +0100)]
update dtd

6 years agoadd a loopback_lat and loopback_bw to cluster tag
Augustin Degomme [Thu, 7 Mar 2013 09:49:23 +0000 (10:49 +0100)]
add a loopback_lat and loopback_bw to cluster tag

6 years agoadd limiter_link option to cluster tag, to add a pseudo-shared link, to limit bandwid...
Augustin Degomme [Thu, 7 Mar 2013 09:48:22 +0000 (10:48 +0100)]
add limiter_link option to cluster tag, to add a pseudo-shared link, to limit bandwidth reachable with a fullduplex link

6 years agoadd a bunch of bindings/new definitions of unimplemented MPI-2 functions, to make...
Augustin Degomme [Wed, 6 Mar 2013 16:30:05 +0000 (17:30 +0100)]
add a bunch of bindings/new definitions of unimplemented MPI-2 functions, to make bigdft happy again

6 years agoCosmetics: those are regexps.
Arnaud Giersch [Thu, 28 Mar 2013 22:09:34 +0000 (23:09 +0100)]
Cosmetics: those are regexps.

6 years agoRemove extraneous parentheses, and silent clang.
Arnaud Giersch [Thu, 28 Mar 2013 21:20:30 +0000 (22:20 +0100)]
Remove extraneous parentheses, and silent clang.

6 years agoMake dist complete, and fix "make distcheck".
Arnaud Giersch [Thu, 28 Mar 2013 21:06:53 +0000 (22:06 +0100)]
Make dist complete, and fix "make distcheck".

6 years agoFix build without smpi.
Arnaud Giersch [Thu, 28 Mar 2013 20:54:15 +0000 (21:54 +0100)]
Fix build without smpi.

6 years agoDon't build smpi in a separate library anymore.
Arnaud Giersch [Thu, 28 Mar 2013 20:47:04 +0000 (21:47 +0100)]
Don't build smpi in a separate library anymore.

6 years agoAdd collectives for allgather, allreduce, bcast and reduce
Paul Bédaride [Thu, 28 Mar 2013 16:15:32 +0000 (17:15 +0100)]
Add collectives for allgather, allreduce, bcast and reduce

6 years agomodel-checker : add example (electric_fence) to check the soundness of the verificati...
Marion Guthmuller [Wed, 27 Mar 2013 12:17:43 +0000 (13:17 +0100)]
model-checker : add example (electric_fence) to check the soundness of the verification with DPOR and delete another one (random_test)

6 years agofix for windows -- not sure if it's still mandatory, but I guess so
Martin Quinson [Wed, 27 Mar 2013 00:27:37 +0000 (01:27 +0100)]
fix for windows -- not sure if it's still mandatory, but I guess so

6 years agoFix various build errors.
Arnaud Giersch [Mon, 25 Mar 2013 21:27:09 +0000 (22:27 +0100)]
Fix various build errors.

Mainly unused variables, or pointer arithmetic with pointers to void.

The builds with compile optimizations are still broken, because of smpi symbols
imported in libsimgrid, but I'm not sure how to fix this properly.

6 years agoReindent files before changes.
Arnaud Giersch [Mon, 25 Mar 2013 21:21:15 +0000 (22:21 +0100)]
Reindent files before changes.

6 years agoMissing include.
Arnaud Giersch [Mon, 25 Mar 2013 21:20:34 +0000 (22:20 +0100)]
Missing include.

6 years agomodel-checker : variable declaration deleted with a previous conflict
Marion Guthmuller [Mon, 25 Mar 2013 22:47:08 +0000 (23:47 +0100)]
model-checker : variable declaration deleted with a previous conflict

6 years agomodel-checker : add variable deleted before to resolve a merge conflict
Marion Guthmuller [Mon, 25 Mar 2013 22:29:42 +0000 (23:29 +0100)]
model-checker : add variable deleted before to resolve a merge conflict

6 years agomodel-checker : ignore variable about time used with tracing
Marion Guthmuller [Mon, 25 Mar 2013 21:37:39 +0000 (22:37 +0100)]
model-checker : ignore variable about time used with tracing

6 years agomodel-checker : if acceptance cycle is detected, get num of equal pairs
Marion Guthmuller [Mon, 25 Mar 2013 21:36:36 +0000 (22:36 +0100)]
model-checker : if acceptance cycle is detected, get num of equal pairs

6 years agomodel-checker : last fix in DPOR algorithm if max depth is reached
Marion Guthmuller [Mon, 25 Mar 2013 21:02:50 +0000 (22:02 +0100)]
model-checker : last fix in DPOR algorithm if max depth is reached

If max_depth is reached, the last state in stack may have a process
interleaved with a request not executed yet. In that case, we start to
apply the independence theorem with this last request not executed
yet. Otherwise (no more process to interleave in the last state of the
stack), last state is deleted before starting to apply independence theorem.

6 years agomodel-checker : update bugged1 tesh
Marion Guthmuller [Thu, 21 Mar 2013 14:38:13 +0000 (15:38 +0100)]
model-checker : update bugged1 tesh

6 years agodocumentation cosmetics
Martin Quinson [Mon, 25 Mar 2013 21:02:34 +0000 (22:02 +0100)]
documentation cosmetics

6 years agofix some simple errors in the commit of Paul (not enough to compile here)
Martin Quinson [Mon, 25 Mar 2013 20:36:35 +0000 (21:36 +0100)]
fix some simple errors in the commit of Paul (not enough to compile here)

6 years agorework the SMPI documentation quite a bit
Martin Quinson [Mon, 25 Mar 2013 20:31:56 +0000 (21:31 +0100)]
rework the SMPI documentation quite a bit

6 years agosplit SMPI documentation into a specific file (no real change)
Martin Quinson [Mon, 25 Mar 2013 19:52:35 +0000 (20:52 +0100)]
split SMPI documentation into a specific file (no real change)

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Jonathan Rouzaud-Cornabas [Mon, 25 Mar 2013 16:35:26 +0000 (17:35 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agoFix sendBounded java binding
Jonathan Rouzaud-Cornabas [Mon, 25 Mar 2013 16:35:14 +0000 (17:35 +0100)]
Fix sendBounded java binding

6 years agoAdd colls.h to DefinePackages
Paul Bédaride [Mon, 25 Mar 2013 16:24:48 +0000 (17:24 +0100)]
Add colls.h to DefinePackages

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Paul Bédaride [Mon, 25 Mar 2013 16:07:50 +0000 (17:07 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agoAdd alltoall collectives from starmpi
Paul Bédaride [Mon, 25 Mar 2013 13:50:46 +0000 (14:50 +0100)]
Add alltoall collectives from starmpi

6 years agoDumb commit: kill empty line.
Arnaud Giersch [Thu, 21 Mar 2013 14:08:23 +0000 (15:08 +0100)]
Dumb commit: kill empty line.

6 years agoKill unused variable.
Arnaud Giersch [Thu, 21 Mar 2013 14:04:33 +0000 (15:04 +0100)]
Kill unused variable.

6 years agomodel-checker : use xbt_free_f instead of a new function which do the same thing
Marion Guthmuller [Thu, 21 Mar 2013 13:04:50 +0000 (14:04 +0100)]
model-checker : use xbt_free_f instead of a new function which do the same thing

6 years agomodel-checker : fix soundness of DPOR algorithm if max depth is reached
Marion Guthmuller [Thu, 21 Mar 2013 12:41:21 +0000 (13:41 +0100)]
model-checker : fix soundness of DPOR algorithm if max depth is reached

6 years agoAlso link with platform independent libunwind.
Arnaud Giersch [Tue, 19 Mar 2013 19:48:50 +0000 (20:48 +0100)]
Also link with platform independent libunwind.

6 years agoInitialize variables.
Arnaud Giersch [Tue, 19 Mar 2013 19:44:11 +0000 (20:44 +0100)]
Initialize variables.

6 years agoGenerated file has changed.
Arnaud Giersch [Tue, 19 Mar 2013 17:59:16 +0000 (18:59 +0100)]
Generated file has changed.

6 years agoAdd missing declarations.
Arnaud Giersch [Tue, 19 Mar 2013 17:57:10 +0000 (18:57 +0100)]
Add missing declarations.

6 years agomodel-checker : update tesh
Marion Guthmuller [Tue, 19 Mar 2013 18:37:03 +0000 (19:37 +0100)]
model-checker : update tesh

6 years agomodel-checker : order reached_pairs by number of processes and heap bytes used
Marion Guthmuller [Tue, 19 Mar 2013 18:27:51 +0000 (19:27 +0100)]
model-checker : order reached_pairs by number of processes and heap bytes used

6 years agomodel-checker : free memory
Marion Guthmuller [Tue, 19 Mar 2013 15:41:03 +0000 (16:41 +0100)]
model-checker : free memory

6 years agomodel-checker : cosmetics
Marion Guthmuller [Tue, 19 Mar 2013 15:39:25 +0000 (16:39 +0100)]
model-checker : cosmetics

6 years agomodel-checker : fragment size and fragment number may be negative
Marion Guthmuller [Tue, 19 Mar 2013 15:39:04 +0000 (16:39 +0100)]
model-checker : fragment size and fragment number may be negative

6 years agoAdd receive bounded to the java binding
Jonathan Rouzaud-Cornabas [Tue, 19 Mar 2013 17:33:28 +0000 (18:33 +0100)]
Add receive bounded to the java binding

6 years agomodel-checker : store heap_bytes_used and number of processes directly in mc_visited_...
Marion Guthmuller [Tue, 19 Mar 2013 15:24:01 +0000 (16:24 +0100)]
model-checker : store heap_bytes_used and number of processes directly in mc_visited_state and mc_visited_pair

6 years agomodel-checker : update tesh (according to previous cleanups)
Marion Guthmuller [Tue, 19 Mar 2013 12:50:30 +0000 (13:50 +0100)]
model-checker : update tesh (according to previous cleanups)

6 years agomodel-checker : cleanups
Marion Guthmuller [Tue, 19 Mar 2013 12:41:22 +0000 (13:41 +0100)]
model-checker : cleanups

- remove (a part of) redundant code
- rename structs and variables
- update headers

6 years agomodel-checker : code refactoring for get_hash_global
Marion Guthmuller [Mon, 18 Mar 2013 10:10:03 +0000 (11:10 +0100)]
model-checker : code refactoring for get_hash_global

6 years agoFix msg-bittorrent's problem of incompletion
Nicolas Bonichon [Mon, 18 Mar 2013 14:53:43 +0000 (15:53 +0100)]
Fix msg-bittorrent's problem of incompletion

In the previous version, a peer wasn't able to handle more than
more message per second but could receive much more. As a consequence,
the application gets stuck because of queuing issue.

The problem comes from teh main loops (leech_loop() and seed_loop()))
each call of MSG_task_irecv() was followed by a call of
MSG_process_sleep(1) because the MSG_comm_test() always fails the
first time.

A call of MSG_mailbox_set_async() at the begining fixes this problem.

: in the main loops (leech_loop)

6 years agomodel-checker : update msg chord example for the verification with MC
Marion Guthmuller [Sat, 16 Mar 2013 22:07:10 +0000 (23:07 +0100)]
model-checker : update msg chord example for the verification with MC

6 years agomodel-checker : fix tesh (different local deployment file)
Marion Guthmuller [Sat, 16 Mar 2013 21:47:16 +0000 (22:47 +0100)]
model-checker : fix tesh (different local deployment file)

6 years agomodel-checker : fix dpor
Marion Guthmuller [Sat, 16 Mar 2013 21:32:06 +0000 (22:32 +0100)]
model-checker : fix dpor

6 years agomodel-checker : fix compilation error without MC
Marion Guthmuller [Sat, 16 Mar 2013 21:13:44 +0000 (22:13 +0100)]
model-checker : fix compilation error without MC

6 years agoupdate tesh
Marion Guthmuller [Sat, 16 Mar 2013 18:00:15 +0000 (19:00 +0100)]
update tesh

6 years agomodel-checker : update tesh
Marion Guthmuller [Sat, 16 Mar 2013 17:47:39 +0000 (18:47 +0100)]
model-checker : update tesh

6 years agomodel-checker : code refactoring for heap comparison algorithm
Marion Guthmuller [Sat, 16 Mar 2013 17:28:45 +0000 (18:28 +0100)]
model-checker : code refactoring for heap comparison algorithm

6 years agomodel-checker : add state equality reduction in ddfs algorithm
Marion Guthmuller [Sat, 16 Mar 2013 17:25:32 +0000 (18:25 +0100)]
model-checker : add state equality reduction in ddfs algorithm

6 years agomodel-checker : get current backtrace with libunwind (only available with ucontext...
Marion Guthmuller [Sat, 16 Mar 2013 17:23:31 +0000 (18:23 +0100)]
model-checker : get current backtrace with libunwind (only available with ucontext factory for now ...)

6 years agomodel-checker : code refactoring
Marion Guthmuller [Thu, 14 Mar 2013 13:48:54 +0000 (14:48 +0100)]
model-checker : code refactoring

6 years agomodel-checker : ignore mc_time for heap comparison and global variables comparison
Marion Guthmuller [Wed, 13 Mar 2013 16:07:17 +0000 (17:07 +0100)]
model-checker : ignore mc_time for heap comparison and global variables comparison

6 years agomodel-checker : improve debug message
Marion Guthmuller [Wed, 13 Mar 2013 16:05:56 +0000 (17:05 +0100)]
model-checker : improve debug message

6 years agomodel-checker : new model-checker configuration model-check/dot_output=file_name...
Marion Guthmuller [Wed, 13 Mar 2013 16:04:20 +0000 (17:04 +0100)]
model-checker : new model-checker configuration model-check/dot_output=file_name which generates a dot output of graph state explored during model checking

6 years agomodel-checker : return state number if the current state is equal to another state...
Marion Guthmuller [Wed, 13 Mar 2013 15:59:46 +0000 (16:59 +0100)]
model-checker : return state number if the current state is equal to another state already visited

6 years agomodel-checker : fix MC_RANDOM simcall
Marion Guthmuller [Wed, 13 Mar 2013 15:41:47 +0000 (16:41 +0100)]
model-checker : fix MC_RANDOM simcall

Time doesn't exist in model-checking. However, there are some
protocols, such as Chord, with some periodics operations (random
lookup, check predecessors, ...).  If the model-checker is used with
these examples, these operations are never executed because of the
time which doesn't progress.  With MC_RANDOM simcall, the
model-checker will explore the two cases : the case in which the
periodic operation is executed and the other case in which it is not
executed.  In this way, the verification is exhaustive whatever the
period.

6 years agomodel-checker : remove obsolete example
Marion Guthmuller [Wed, 13 Mar 2013 15:31:54 +0000 (16:31 +0100)]
model-checker : remove obsolete example

6 years agomodel-checker : set ignore flag to 0 if reallocation
Marion Guthmuller [Tue, 5 Mar 2013 20:38:32 +0000 (21:38 +0100)]
model-checker : set ignore flag to 0 if reallocation

6 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

6 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

6 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

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

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

6 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

6 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

6 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

6 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

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

6 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