Marion Guthmuller [Thu, 13 Jun 2013 09:38:02 +0000 (11:38 +0200)]
model-checker : update bugged2 tesh
Marion Guthmuller [Thu, 13 Jun 2013 07:21:52 +0000 (09:21 +0200)]
model-checker : fix (again ..) DPOR for iSend/iRecv and Wait communications
- add rdv_cpy in s_smx_action_t structure. comm.rdv is used for
garbage collection and set to NULL when the communication matches
with another communication already pushed and waiting in the
mailbox.
- iSend/iRecv and Wait communications are independant if the
communications are not in the same mailbox. Otherwise, the
iSend/iRecv communication process issuer must be different of the
src_proc or dst_proc of the Wait communication, or, src_buff and
dst_buff of the communications must be different.
Marion Guthmuller [Wed, 12 Jun 2013 16:30:23 +0000 (18:30 +0200)]
model-checker : improve debug messages
degomme [Thu, 13 Jun 2013 09:36:43 +0000 (11:36 +0200)]
barrier tests
degomme [Thu, 13 Jun 2013 09:36:27 +0000 (11:36 +0200)]
end of ompi collectives addition, with barrier
degomme [Thu, 13 Jun 2013 07:36:03 +0000 (09:36 +0200)]
add tests for scatter
degomme [Thu, 13 Jun 2013 07:26:51 +0000 (09:26 +0200)]
add scatter algos from ompi
degomme [Thu, 13 Jun 2013 00:08:58 +0000 (02:08 +0200)]
unused variable
degomme [Thu, 13 Jun 2013 00:03:47 +0000 (02:03 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
degomme [Wed, 12 Jun 2013 23:57:57 +0000 (01:57 +0200)]
add reduce scatter collectives from openmpi, and fix existing one
and add tests, without doing separate commits because it is 2AM
Jonathan Rouzaud-Cornabas [Wed, 12 Jun 2013 15:13:46 +0000 (17:13 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Jonathan Rouzaud-Cornabas [Wed, 12 Jun 2013 15:13:37 +0000 (17:13 +0200)]
fix Node.java
Arnaud Giersch [Wed, 12 Jun 2013 12:34:57 +0000 (14:34 +0200)]
Simplify the link specifications for libSG_java on win32 (untested).
The variable SIMGRID_LIB_NAME_NAME is never used, and probably gets an
undefined value here. Remove its definition.
The variable SIMGRID_LIB_NAME is never set. Remove reference to it.
Finally, use "target_link_libraries" for all platforms since I can't find any
reason to avoid it on win32.
Note that these changes are untested.
Arnaud Giersch [Wed, 12 Jun 2013 12:32:10 +0000 (14:32 +0200)]
Prototypes were changed by previous commit.
suter [Wed, 12 Jun 2013 11:28:03 +0000 (13:28 +0200)]
further simplification of the storage API, keep size only as nmemb was
never really used.
Arnaud Giersch [Wed, 12 Jun 2013 09:49:54 +0000 (11:49 +0200)]
Use correct modifier, and don't lie about pointer type.
Arnaud Giersch [Wed, 12 Jun 2013 09:42:08 +0000 (11:42 +0200)]
Address compilation warnings.
Arnaud Giersch [Wed, 12 Jun 2013 09:26:31 +0000 (11:26 +0200)]
Add CMakeLists.txt for examples/msg/semaphores/.
Arnaud Giersch [Wed, 12 Jun 2013 09:25:27 +0000 (11:25 +0200)]
Sort entries.
Arnaud Giersch [Wed, 12 Jun 2013 09:25:13 +0000 (11:25 +0200)]
Add files to the dist archive.
Arnaud Giersch [Wed, 12 Jun 2013 09:24:37 +0000 (11:24 +0200)]
This file doesn't belong to the dist archive.
Arnaud Giersch [Wed, 12 Jun 2013 09:13:52 +0000 (11:13 +0200)]
Use real parameter name in comment.
Jonathan Rouzaud-Cornabas [Wed, 12 Jun 2013 06:37:41 +0000 (08:37 +0200)]
AS access from MSG layer
Augustin Degomme [Tue, 11 Jun 2013 22:27:39 +0000 (00:27 +0200)]
remove warnings 2
Augustin Degomme [Tue, 11 Jun 2013 22:07:48 +0000 (00:07 +0200)]
remove warnings
Paul Bédaride [Fri, 7 Jun 2013 07:21:37 +0000 (09:21 +0200)]
Remove debuging printf
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:25 +0000 (23:33 +0200)]
Add msg As getModel and GetHosts
Paul Bédaride [Thu, 6 Jun 2013 19:51:32 +0000 (21:51 +0200)]
Add missing files
Paul Bédaride [Thu, 6 Jun 2013 16:57:26 +0000 (18:57 +0200)]
Access AS hierarchy at Msg layer
Augustin Degomme [Tue, 11 Jun 2013 15:53:17 +0000 (17:53 +0200)]
add test for gather collectives
Augustin Degomme [Tue, 11 Jun 2013 15:49:46 +0000 (17:49 +0200)]
add gather collectives from ompi
Augustin Degomme [Tue, 11 Jun 2013 14:14:10 +0000 (16:14 +0200)]
Fix bug happening with MPI_Datatypes
Provide better support for contiguous datatypes
Augustin Degomme [Tue, 11 Jun 2013 13:26:33 +0000 (15:26 +0200)]
add allgatherv algo from ompi
Augustin Degomme [Tue, 11 Jun 2013 09:02:21 +0000 (11:02 +0200)]
add new allgather algo from ompi
suter [Tue, 11 Jun 2013 13:21:42 +0000 (15:21 +0200)]
size_t instead of unsigned long for storage size and used_size
suter [Tue, 11 Jun 2013 12:59:53 +0000 (14:59 +0200)]
simplify the simcall stack for file unlink
there are still a few leaks: as unlink does not totally destroy the
data structures. If the same file descriptor is reopened (new file is
created), here comes the leak ...
suter [Tue, 11 Jun 2013 08:55:07 +0000 (10:55 +0200)]
there is no stat on files anymore
suter [Tue, 11 Jun 2013 08:49:21 +0000 (10:49 +0200)]
cleaning step: uniform naming (stream to fd) + some cuts at 80
characters
suter [Tue, 11 Jun 2013 08:47:06 +0000 (10:47 +0200)]
one parameter less for open
suter [Tue, 11 Jun 2013 08:45:42 +0000 (10:45 +0200)]
get rid of mode for open in Java bindings too
suter [Tue, 11 Jun 2013 08:28:09 +0000 (10:28 +0200)]
get rid of "mode" parameter in the open file function. It wasn't used
anyway.
Augustin Degomme [Tue, 11 Jun 2013 08:13:14 +0000 (10:13 +0200)]
add missing file in dist
Augustin Degomme [Tue, 11 Jun 2013 08:06:54 +0000 (10:06 +0200)]
remove warning
degomme [Tue, 11 Jun 2013 00:03:22 +0000 (02:03 +0200)]
remove warning
degomme [Mon, 10 Jun 2013 23:59:42 +0000 (01:59 +0200)]
add new algos for reduce from ompi
degomme [Mon, 10 Jun 2013 20:41:53 +0000 (22:41 +0200)]
add another ompi bcast algo
Augustin Degomme [Mon, 10 Jun 2013 16:13:37 +0000 (18:13 +0200)]
add one more bcast algo
Augustin Degomme [Mon, 10 Jun 2013 15:11:17 +0000 (17:11 +0200)]
useless line
Augustin Degomme [Mon, 10 Jun 2013 14:07:00 +0000 (16:07 +0200)]
add tests for ompi selector
Augustin Degomme [Mon, 10 Jun 2013 14:06:13 +0000 (16:06 +0200)]
add a new allreduce algorithm from openmpi
Augustin Degomme [Mon, 10 Jun 2013 12:50:10 +0000 (14:50 +0200)]
activate commute flag for MPI_Op, adds smpi_op_is_commute to test it (-1 FIXME !)
Augustin Degomme [Mon, 10 Jun 2013 12:49:26 +0000 (14:49 +0200)]
remove warnings in smpi selector
Marion Guthmuller [Mon, 10 Jun 2013 13:11:27 +0000 (15:11 +0200)]
model-checker : update tesh for liveness example
Marion Guthmuller [Mon, 10 Jun 2013 12:59:20 +0000 (14:59 +0200)]
model-checker : update tesh
Marion Guthmuller [Mon, 10 Jun 2013 12:55:51 +0000 (14:55 +0200)]
model-checker : remove out of date tesh of chord example
suter [Mon, 10 Jun 2013 07:11:33 +0000 (09:11 +0200)]
avoid double variable definition when tracing is activated (+some
indenting)
Marion Guthmuller [Sat, 8 Jun 2013 17:40:41 +0000 (19:40 +0200)]
model-checker : free memory
Marion Guthmuller [Sat, 8 Jun 2013 17:15:17 +0000 (19:15 +0200)]
model-checker : increase number of colors for dot output
Marion Guthmuller [Fri, 7 Jun 2013 10:06:14 +0000 (12:06 +0200)]
cosmetics : indent
Marion Guthmuller [Thu, 6 Jun 2013 20:48:49 +0000 (22:48 +0200)]
model-checker : use raw_heap instead of std_heap
Marion Guthmuller [Thu, 6 Jun 2013 20:31:39 +0000 (22:31 +0200)]
model-checker : fix dot output for smpi examples
Marion Guthmuller [Thu, 6 Jun 2013 15:26:46 +0000 (17:26 +0200)]
cosmetics : indent
Marion Guthmuller [Wed, 5 Jun 2013 21:48:07 +0000 (23:48 +0200)]
model-checker : add information in counter-example and dot output
George Markomanolis [Sat, 8 Jun 2013 14:51:53 +0000 (16:51 +0200)]
New actions for the time independent trace replay framework:
Gather
AllGatherV
ReduceScatter
* I changed some declarations from xbt_new0() to calloc(), I had to use an MPI datatype variable declared as MPI_CURRENT_TYPE and it was not possible with xbt_new0().
* Some new example files for the collectives calls with real values extracted from BigDFT.
degomme [Fri, 7 Jun 2013 12:42:28 +0000 (14:42 +0200)]
rename old alltoall selector function, which will probably be removed soon
degomme [Fri, 7 Jun 2013 12:42:01 +0000 (14:42 +0200)]
add ompi selector for smpi collectives (use --cfg=smpi/coll_selector="ompi" to activate)
suter [Fri, 7 Jun 2013 10:08:22 +0000 (12:08 +0200)]
simpler version of simcall to get the file of a file
suter [Thu, 6 Jun 2013 20:31:42 +0000 (22:31 +0200)]
allow tasks to take no output nor produce any output
Lionel [Thu, 6 Jun 2013 22:55:03 +0000 (00:55 +0200)]
Bugfix
Lionel [Thu, 6 Jun 2013 22:20:02 +0000 (00:20 +0200)]
Fix exception handling in Java semaphores
Lionel [Thu, 6 Jun 2013 21:44:36 +0000 (23:44 +0200)]
Bugfix in semaphore code
Lionel [Thu, 6 Jun 2013 21:44:14 +0000 (23:44 +0200)]
Add correct headers for Java exports
Lionel [Thu, 6 Jun 2013 21:29:34 +0000 (23:29 +0200)]
Bugfix
Lionel [Thu, 6 Jun 2013 21:16:42 +0000 (23:16 +0200)]
An example to test MSG semaphores
Lionel [Thu, 6 Jun 2013 19:59:47 +0000 (21:59 +0200)]
Update ChangeLog for Semaphores in Java
Lionel [Thu, 6 Jun 2013 19:43:26 +0000 (21:43 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Lionel [Thu, 6 Jun 2013 19:40:44 +0000 (21:40 +0200)]
Added Semaphore visibility to the Java bindings
suter [Thu, 6 Jun 2013 19:36:13 +0000 (21:36 +0200)]
revalidate
suter [Thu, 6 Jun 2013 19:30:49 +0000 (21:30 +0200)]
setting result help to propogate it
suter [Thu, 6 Jun 2013 17:23:11 +0000 (19:23 +0200)]
no need to free the file descriptor when you just want the file size
... have to think harder when copy/pasting
suter [Thu, 6 Jun 2013 17:22:00 +0000 (19:22 +0200)]
stream to fd
suter [Thu, 6 Jun 2013 17:07:18 +0000 (19:07 +0200)]
copy/paste error
suter [Thu, 6 Jun 2013 17:05:56 +0000 (19:05 +0200)]
fp => fd (for file descriptor)
suter [Thu, 6 Jun 2013 16:40:06 +0000 (18:40 +0200)]
Wow, I wrote a simcall! 11 files to modify to do a simple get_size on a
file ...
suter [Thu, 6 Jun 2013 15:52:32 +0000 (17:52 +0200)]
unsigned long to size_t
suter [Thu, 6 Jun 2013 15:27:05 +0000 (17:27 +0200)]
add a function to retrieve the size of an msg_file_t
Martin Quinson [Thu, 6 Jun 2013 16:21:24 +0000 (18:21 +0200)]
Make semaphores visible from MSG
Lionel [Thu, 6 Jun 2013 13:05:54 +0000 (15:05 +0200)]
Export setAsyncMailbox to Java world
suter [Thu, 6 Jun 2013 08:31:04 +0000 (10:31 +0200)]
more cleanups related to stat on files
suter [Thu, 6 Jun 2013 08:28:17 +0000 (10:28 +0200)]
no more stat structure
suter [Thu, 6 Jun 2013 08:25:23 +0000 (10:25 +0200)]
file_stat.h has been removed
suter [Thu, 6 Jun 2013 08:23:25 +0000 (10:23 +0200)]
remove references to an include file that doesn't exist anymore
Martin Quinson [Thu, 6 Jun 2013 07:49:55 +0000 (09:49 +0200)]
kill some dead code
Martin Quinson [Thu, 6 Jun 2013 07:24:07 +0000 (09:24 +0200)]
commit my eclipse configuration file so that others can use it
Martin Quinson [Thu, 6 Jun 2013 07:02:05 +0000 (09:02 +0200)]
these got regenerated, apparently with a newer version of bison
Martin Quinson [Thu, 6 Jun 2013 06:59:48 +0000 (08:59 +0200)]
unignore eclipse project file, ignore some crappy compiled files
suter [Wed, 5 Jun 2013 20:50:21 +0000 (22:50 +0200)]
say that we messed with msg_file
suter [Wed, 5 Jun 2013 20:42:35 +0000 (22:42 +0200)]
revalidate tesh to account for BIG FAT WARNING
suter [Wed, 5 Jun 2013 20:41:04 +0000 (22:41 +0200)]
revalidate tesh