Jonathan Rouzaud-Cornabas [Fri, 7 Jun 2013 00:28:39 +0000 (02:28 +0200)]
Fix jmsg_as getSons
Paul Bédaride [Thu, 6 Jun 2013 21:33:40 +0000 (23:33 +0200)]
Merge branch 'hypervisor' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid into hypervisor
Paul Bédaride [Thu, 6 Jun 2013 21:33:25 +0000 (23:33 +0200)]
Add msg As getModel and GetHosts
Lionel [Thu, 6 Jun 2013 19:53:08 +0000 (21:53 +0200)]
Merge branch 'hypervisor' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid into hypervisor
Paul Bédaride [Thu, 6 Jun 2013 19:51:32 +0000 (21:51 +0200)]
Add missing files
Lionel [Thu, 6 Jun 2013 19:40:44 +0000 (21:40 +0200)]
Added Semaphore visibility to the Java bindings
Lionel [Thu, 6 Jun 2013 19:48:59 +0000 (21:48 +0200)]
Make semaphores visible from MSG
Conflicts:
ChangeLog
Paul Bédaride [Thu, 6 Jun 2013 16:57:26 +0000 (18:57 +0200)]
Add AS support in MSG and java bindings
Takahiro Hirofuchi [Thu, 6 Jun 2013 14:54:45 +0000 (16:54 +0200)]
add comments
Takahiro Hirofuchi [Thu, 6 Jun 2013 13:37:50 +0000 (15:37 +0200)]
fix a compilation error and update an example
Takahiro Hirofuchi [Thu, 6 Jun 2013 12:59:53 +0000 (14:59 +0200)]
add a missing file and add MSG_vm_set_bound
Takahiro Hirofuchi [Wed, 5 Jun 2013 21:52:55 +0000 (23:52 +0200)]
fix compilation warnings
Takahiro Hirofuchi [Wed, 5 Jun 2013 21:45:03 +0000 (23:45 +0200)]
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into hypervisor
Takahiro Hirofuchi [Wed, 5 Jun 2013 21:43:04 +0000 (23:43 +0200)]
add the load capping feature
Takahiro Hirofuchi [Wed, 5 Jun 2013 21:39:55 +0000 (23:39 +0200)]
add more about migration
Takahiro Hirofuchi [Fri, 24 May 2013 09:02:41 +0000 (11:02 +0200)]
let xfer_cpu_overhead to be given by a user
Takahiro Hirofuchi [Tue, 21 May 2013 12:36:39 +0000 (14:36 +0200)]
Add migration overheads
Paul Bédaride [Wed, 5 Jun 2013 12:12:45 +0000 (14:12 +0200)]
Make hypervisor compile with compile_warnings=ON
Takahiro Hirofuchi [Wed, 24 Apr 2013 16:19:36 +0000 (18:19 +0200)]
Add the default max_downtime 30ms
Takahiro Hirofuchi [Wed, 24 Apr 2013 16:01:23 +0000 (18:01 +0200)]
merge from the java bindings work
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into hypervisor
Takahiro Hirofuchi [Wed, 24 Apr 2013 16:00:54 +0000 (18:00 +0200)]
Fix int usage at MSG_vm_create
alebre [Wed, 24 Apr 2013 14:56:29 +0000 (16:56 +0200)]
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into hypervisor
alebre [Wed, 24 Apr 2013 14:55:13 +0000 (16:55 +0200)]
Java bindings - Adrien
Takahiro Hirofuchi [Thu, 11 Apr 2013 13:33:16 +0000 (15:33 +0200)]
enable the bandwidth capping of migration traffic
Takahiro Hirofuchi [Wed, 10 Apr 2013 10:52:24 +0000 (12:52 +0200)]
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid into hypervisor
alebre [Thu, 4 Apr 2013 14:15:16 +0000 (16:15 +0200)]
Java binding (on going) - Adrien
alebre [Tue, 2 Apr 2013 13:57:08 +0000 (15:57 +0200)]
Start to update java bindings - Adrien
alebre [Tue, 2 Apr 2013 13:26:47 +0000 (15:26 +0200)]
Merge branch 'master' into hypervisor
alebre [Tue, 2 Apr 2013 13:26:39 +0000 (15:26 +0200)]
git checkout hypervisor
error: Your local changes to the following files would be overwritten by checkout:
src/smpi/colls/allgather-RDB.c
src/smpi/colls/allgather-SMP-simple.c
alebre [Tue, 2 Apr 2013 13:26:27 +0000 (15:26 +0200)]
git checkout hypervisor
error: Your local changes to the following files would be overwritten by checkout:
src/smpi/colls/allgather-RDB.c
src/smpi/colls/allgather-SMP-simple.c
Marion Guthmuller [Tue, 2 Apr 2013 12:12:54 +0000 (14:12 +0200)]
model-checker : update tesh
Marion Guthmuller [Tue, 2 Apr 2013 12:05:10 +0000 (14:05 +0200)]
model-checker : signed int instead of unsigned int
Marion Guthmuller [Tue, 2 Apr 2013 08:48:58 +0000 (10:48 +0200)]
model-checker : update tesh (different log messages)
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
Marion Guthmuller [Mon, 1 Apr 2013 16:31:24 +0000 (18:31 +0200)]
model-checker : restore independence between iSend/iRecv and Wait requests
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
Paul Bédaride [Fri, 29 Mar 2013 16:29:03 +0000 (17:29 +0100)]
Tesh sort wanted output
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
Augustin Degomme [Fri, 29 Mar 2013 09:21:17 +0000 (10:21 +0100)]
freebsd compatibility
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
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
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
Augustin Degomme [Thu, 7 Mar 2013 09:49:31 +0000 (10:49 +0100)]
update dtd
Augustin Degomme [Thu, 7 Mar 2013 09:49:23 +0000 (10:49 +0100)]
add a loopback_lat and loopback_bw to cluster tag
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
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
Arnaud Giersch [Thu, 28 Mar 2013 22:09:34 +0000 (23:09 +0100)]
Cosmetics: those are regexps.
Arnaud Giersch [Thu, 28 Mar 2013 21:20:30 +0000 (22:20 +0100)]
Remove extraneous parentheses, and silent clang.
Arnaud Giersch [Thu, 28 Mar 2013 21:06:53 +0000 (22:06 +0100)]
Make dist complete, and fix "make distcheck".
Arnaud Giersch [Thu, 28 Mar 2013 20:54:15 +0000 (21:54 +0100)]
Fix build without smpi.
Arnaud Giersch [Thu, 28 Mar 2013 20:47:04 +0000 (21:47 +0100)]
Don't build smpi in a separate library anymore.
Paul Bédaride [Thu, 28 Mar 2013 16:15:32 +0000 (17:15 +0100)]
Add collectives for allgather, allreduce, bcast and reduce
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)
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
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.
Arnaud Giersch [Mon, 25 Mar 2013 21:21:15 +0000 (22:21 +0100)]
Reindent files before changes.
Arnaud Giersch [Mon, 25 Mar 2013 21:20:34 +0000 (22:20 +0100)]
Missing include.
Marion Guthmuller [Mon, 25 Mar 2013 22:47:08 +0000 (23:47 +0100)]
model-checker : variable declaration deleted with a previous 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
Marion Guthmuller [Mon, 25 Mar 2013 21:37:39 +0000 (22:37 +0100)]
model-checker : ignore variable about time used with tracing
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
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.
Marion Guthmuller [Thu, 21 Mar 2013 14:38:13 +0000 (15:38 +0100)]
model-checker : update bugged1 tesh
Martin Quinson [Mon, 25 Mar 2013 21:02:34 +0000 (22:02 +0100)]
documentation cosmetics
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)
Martin Quinson [Mon, 25 Mar 2013 20:31:56 +0000 (21:31 +0100)]
rework the SMPI documentation quite a bit
Martin Quinson [Mon, 25 Mar 2013 19:52:35 +0000 (20:52 +0100)]
split SMPI documentation into a specific file (no real change)
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
Jonathan Rouzaud-Cornabas [Mon, 25 Mar 2013 16:35:14 +0000 (17:35 +0100)]
Fix sendBounded java binding
Paul Bédaride [Mon, 25 Mar 2013 16:24:48 +0000 (17:24 +0100)]
Add colls.h to DefinePackages
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
Paul Bédaride [Mon, 25 Mar 2013 13:50:46 +0000 (14:50 +0100)]
Add alltoall collectives from starmpi
Arnaud Giersch [Thu, 21 Mar 2013 14:08:23 +0000 (15:08 +0100)]
Dumb commit: kill empty line.
Arnaud Giersch [Thu, 21 Mar 2013 14:04:33 +0000 (15:04 +0100)]
Kill unused variable.
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
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
Arnaud Giersch [Tue, 19 Mar 2013 19:48:50 +0000 (20:48 +0100)]
Also link with platform independent libunwind.
Arnaud Giersch [Tue, 19 Mar 2013 19:44:11 +0000 (20:44 +0100)]
Initialize variables.
Arnaud Giersch [Tue, 19 Mar 2013 17:59:16 +0000 (18:59 +0100)]
Generated file has changed.
Arnaud Giersch [Tue, 19 Mar 2013 17:57:10 +0000 (18:57 +0100)]
Add missing declarations.
Marion Guthmuller [Tue, 19 Mar 2013 18:37:03 +0000 (19:37 +0100)]
model-checker : update tesh
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
Marion Guthmuller [Tue, 19 Mar 2013 15:41:03 +0000 (16:41 +0100)]
model-checker : free memory
Marion Guthmuller [Tue, 19 Mar 2013 15:39:25 +0000 (16:39 +0100)]
model-checker : cosmetics
Marion Guthmuller [Tue, 19 Mar 2013 15:39:04 +0000 (16:39 +0100)]
model-checker : fragment size and fragment number may be negative
Jonathan Rouzaud-Cornabas [Tue, 19 Mar 2013 17:33:28 +0000 (18:33 +0100)]
Add receive bounded to the java binding
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
Marion Guthmuller [Tue, 19 Mar 2013 12:50:30 +0000 (13:50 +0100)]
model-checker : update tesh (according to previous 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
Marion Guthmuller [Mon, 18 Mar 2013 10:10:03 +0000 (11:10 +0100)]
model-checker : code refactoring for get_hash_global
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)
Marion Guthmuller [Sat, 16 Mar 2013 22:07:10 +0000 (23:07 +0100)]
model-checker : update msg chord example for the verification with MC
Marion Guthmuller [Sat, 16 Mar 2013 21:47:16 +0000 (22:47 +0100)]
model-checker : fix tesh (different local deployment file)
Marion Guthmuller [Sat, 16 Mar 2013 21:32:06 +0000 (22:32 +0100)]
model-checker : fix dpor
Marion Guthmuller [Sat, 16 Mar 2013 21:13:44 +0000 (22:13 +0100)]
model-checker : fix compilation error without MC
Marion Guthmuller [Sat, 16 Mar 2013 18:00:15 +0000 (19:00 +0100)]
update tesh
Marion Guthmuller [Sat, 16 Mar 2013 17:47:39 +0000 (18:47 +0100)]
model-checker : update tesh
Marion Guthmuller [Sat, 16 Mar 2013 17:28:45 +0000 (18:28 +0100)]
model-checker : code refactoring for heap comparison algorithm
Marion Guthmuller [Sat, 16 Mar 2013 17:25:32 +0000 (18:25 +0100)]
model-checker : add state equality reduction in ddfs algorithm
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 ...)