Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
6 years agoadd allgatherv algo from ompi
Augustin Degomme [Tue, 11 Jun 2013 13:26:33 +0000 (15:26 +0200)]
add allgatherv algo from ompi

6 years agoadd new allgather algo from ompi
Augustin Degomme [Tue, 11 Jun 2013 09:02:21 +0000 (11:02 +0200)]
add new allgather algo from ompi

6 years agosize_t instead of unsigned long for storage size and used_size
suter [Tue, 11 Jun 2013 13:21:42 +0000 (15:21 +0200)]
size_t instead of unsigned long for storage size and used_size

6 years agosimplify the simcall stack for file unlink
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 ...

6 years agothere is no stat on files anymore
suter [Tue, 11 Jun 2013 08:55:07 +0000 (10:55 +0200)]
there is no stat on files anymore

6 years agocleaning step: uniform naming (stream to fd) + some cuts at 80
suter [Tue, 11 Jun 2013 08:49:21 +0000 (10:49 +0200)]
cleaning step: uniform naming (stream to fd) + some cuts at 80
characters

6 years agoone parameter less for open
suter [Tue, 11 Jun 2013 08:47:06 +0000 (10:47 +0200)]
one parameter less for open

6 years agoget rid of mode for open in Java bindings too
suter [Tue, 11 Jun 2013 08:45:42 +0000 (10:45 +0200)]
get rid of mode for open in Java bindings too

6 years agoget rid of "mode" parameter in the open file function. It wasn't used
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.

6 years agoadd missing file in dist
Augustin Degomme [Tue, 11 Jun 2013 08:13:14 +0000 (10:13 +0200)]
add missing file in dist

6 years agoremove warning
Augustin Degomme [Tue, 11 Jun 2013 08:06:54 +0000 (10:06 +0200)]
remove warning

6 years agoremove warning
degomme [Tue, 11 Jun 2013 00:03:22 +0000 (02:03 +0200)]
remove warning

6 years agoadd new algos for reduce from ompi
degomme [Mon, 10 Jun 2013 23:59:42 +0000 (01:59 +0200)]
add new algos for reduce from ompi

6 years agoadd another ompi bcast algo
degomme [Mon, 10 Jun 2013 20:41:53 +0000 (22:41 +0200)]
add another ompi bcast algo

6 years agoadd one more bcast algo
Augustin Degomme [Mon, 10 Jun 2013 16:13:37 +0000 (18:13 +0200)]
add one more bcast algo

6 years agouseless line
Augustin Degomme [Mon, 10 Jun 2013 15:11:17 +0000 (17:11 +0200)]
useless line

6 years agoadd tests for ompi selector
Augustin Degomme [Mon, 10 Jun 2013 14:07:00 +0000 (16:07 +0200)]
add tests for ompi selector

6 years agoadd a new allreduce algorithm from openmpi
Augustin Degomme [Mon, 10 Jun 2013 14:06:13 +0000 (16:06 +0200)]
add a new allreduce algorithm from openmpi

6 years agoactivate commute flag for MPI_Op, adds smpi_op_is_commute to test it (-1 FIXME !)
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 !)

6 years agoremove warnings in smpi selector
Augustin Degomme [Mon, 10 Jun 2013 12:49:26 +0000 (14:49 +0200)]
remove warnings in smpi selector

6 years agomodel-checker : update tesh for liveness example
Marion Guthmuller [Mon, 10 Jun 2013 13:11:27 +0000 (15:11 +0200)]
model-checker : update tesh for liveness example

6 years agomodel-checker : update tesh
Marion Guthmuller [Mon, 10 Jun 2013 12:59:20 +0000 (14:59 +0200)]
model-checker : update tesh

6 years agomodel-checker : remove out of date tesh of chord example
Marion Guthmuller [Mon, 10 Jun 2013 12:55:51 +0000 (14:55 +0200)]
model-checker : remove out of date tesh of chord example

6 years agoavoid double variable definition when tracing is activated (+some
suter [Mon, 10 Jun 2013 07:11:33 +0000 (09:11 +0200)]
avoid double variable definition when tracing is activated (+some
indenting)

6 years agomodel-checker : free memory
Marion Guthmuller [Sat, 8 Jun 2013 17:40:41 +0000 (19:40 +0200)]
model-checker : free memory

6 years agomodel-checker : increase number of colors for dot output
Marion Guthmuller [Sat, 8 Jun 2013 17:15:17 +0000 (19:15 +0200)]
model-checker : increase number of colors for dot output

6 years agocosmetics : indent
Marion Guthmuller [Fri, 7 Jun 2013 10:06:14 +0000 (12:06 +0200)]
cosmetics : indent

6 years agomodel-checker : use raw_heap instead of std_heap
Marion Guthmuller [Thu, 6 Jun 2013 20:48:49 +0000 (22:48 +0200)]
model-checker : use raw_heap instead of std_heap

6 years agomodel-checker : fix dot output for smpi examples
Marion Guthmuller [Thu, 6 Jun 2013 20:31:39 +0000 (22:31 +0200)]
model-checker : fix dot output for smpi examples

6 years agocosmetics : indent
Marion Guthmuller [Thu, 6 Jun 2013 15:26:46 +0000 (17:26 +0200)]
cosmetics : indent

6 years agomodel-checker : add information in counter-example and dot output
Marion Guthmuller [Wed, 5 Jun 2013 21:48:07 +0000 (23:48 +0200)]
model-checker : add information in counter-example and dot output

6 years agoNew actions for the time independent trace replay framework:
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.

6 years agorename old alltoall selector function, which will probably be removed soon
degomme [Fri, 7 Jun 2013 12:42:28 +0000 (14:42 +0200)]
rename old alltoall selector function, which will probably be removed soon

6 years agoadd ompi selector for smpi collectives (use --cfg=smpi/coll_selector="ompi" to activate)
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)

6 years agosimpler version of simcall to get the file of a file
suter [Fri, 7 Jun 2013 10:08:22 +0000 (12:08 +0200)]
simpler version of simcall to get the file of a file

6 years agoallow tasks to take no output nor produce any output
suter [Thu, 6 Jun 2013 20:31:42 +0000 (22:31 +0200)]
allow tasks to take no output nor produce any output

6 years agoBugfix
Lionel [Thu, 6 Jun 2013 22:55:03 +0000 (00:55 +0200)]
Bugfix

6 years agoFix exception handling in Java semaphores
Lionel [Thu, 6 Jun 2013 22:20:02 +0000 (00:20 +0200)]
Fix exception handling in Java semaphores

6 years agoBugfix in semaphore code
Lionel [Thu, 6 Jun 2013 21:44:36 +0000 (23:44 +0200)]
Bugfix in semaphore code

6 years agoAdd correct headers for Java exports
Lionel [Thu, 6 Jun 2013 21:44:14 +0000 (23:44 +0200)]
Add correct headers for Java exports

6 years agoBugfix
Lionel [Thu, 6 Jun 2013 21:29:34 +0000 (23:29 +0200)]
Bugfix

6 years agoAn example to test MSG semaphores
Lionel [Thu, 6 Jun 2013 21:16:42 +0000 (23:16 +0200)]
An example to test MSG semaphores

6 years agoUpdate ChangeLog for Semaphores in Java
Lionel [Thu, 6 Jun 2013 19:59:47 +0000 (21:59 +0200)]
Update ChangeLog for Semaphores in Java

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
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

6 years agoAdded Semaphore visibility to the Java bindings
Lionel [Thu, 6 Jun 2013 19:40:44 +0000 (21:40 +0200)]
Added Semaphore visibility to the Java bindings

6 years agorevalidate
suter [Thu, 6 Jun 2013 19:36:13 +0000 (21:36 +0200)]
revalidate

6 years agosetting result help to propogate it
suter [Thu, 6 Jun 2013 19:30:49 +0000 (21:30 +0200)]
setting result help to propogate it

6 years agono need to free the file descriptor when you just want the file size
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

6 years agostream to fd
suter [Thu, 6 Jun 2013 17:22:00 +0000 (19:22 +0200)]
stream to fd

6 years agocopy/paste error
suter [Thu, 6 Jun 2013 17:07:18 +0000 (19:07 +0200)]
copy/paste error

6 years agofp => fd (for file descriptor)
suter [Thu, 6 Jun 2013 17:05:56 +0000 (19:05 +0200)]
fp => fd (for file descriptor)

6 years agoWow, I wrote a simcall! 11 files to modify to do a simple get_size on a
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 ...

6 years agounsigned long to size_t
suter [Thu, 6 Jun 2013 15:52:32 +0000 (17:52 +0200)]
unsigned long to size_t

6 years agoadd a function to retrieve the size of an msg_file_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

6 years agoMake semaphores visible from MSG
Martin Quinson [Thu, 6 Jun 2013 16:21:24 +0000 (18:21 +0200)]
Make semaphores visible from MSG

6 years agoExport setAsyncMailbox to Java world
Lionel [Thu, 6 Jun 2013 13:05:54 +0000 (15:05 +0200)]
Export setAsyncMailbox to Java world

6 years agomore cleanups related to stat on files
suter [Thu, 6 Jun 2013 08:31:04 +0000 (10:31 +0200)]
more cleanups related to stat on files

6 years agono more stat structure
suter [Thu, 6 Jun 2013 08:28:17 +0000 (10:28 +0200)]
no more stat structure

6 years agofile_stat.h has been removed
suter [Thu, 6 Jun 2013 08:25:23 +0000 (10:25 +0200)]
file_stat.h has been removed

6 years agoremove references to an include file that doesn't exist anymore
suter [Thu, 6 Jun 2013 08:23:25 +0000 (10:23 +0200)]
remove references to an include file that doesn't exist anymore

6 years agokill some dead code
Martin Quinson [Thu, 6 Jun 2013 07:49:55 +0000 (09:49 +0200)]
kill some dead code

6 years agocommit my eclipse configuration file so that others can use it
Martin Quinson [Thu, 6 Jun 2013 07:24:07 +0000 (09:24 +0200)]
commit my eclipse configuration file so that others can use it

6 years agothese got regenerated, apparently with a newer version of bison
Martin Quinson [Thu, 6 Jun 2013 07:02:05 +0000 (09:02 +0200)]
these got regenerated, apparently with a newer version of bison

6 years agounignore eclipse project file, ignore some crappy compiled files
Martin Quinson [Thu, 6 Jun 2013 06:59:48 +0000 (08:59 +0200)]
unignore eclipse project file, ignore some crappy compiled files

6 years agosay that we messed with msg_file
suter [Wed, 5 Jun 2013 20:50:21 +0000 (22:50 +0200)]
say that we messed with msg_file

6 years agorevalidate tesh to account for BIG FAT WARNING
suter [Wed, 5 Jun 2013 20:42:35 +0000 (22:42 +0200)]
revalidate tesh to account for BIG FAT WARNING

6 years agorevalidate tesh
suter [Wed, 5 Jun 2013 20:41:04 +0000 (22:41 +0200)]
revalidate tesh

6 years agosimplify the examples of file usage
suter [Wed, 5 Jun 2013 20:29:22 +0000 (22:29 +0200)]
simplify the examples of file usage

6 years agopath and size should be enough to describe files stored on a storage
suter [Wed, 5 Jun 2013 20:25:56 +0000 (22:25 +0200)]
path and size should be enough to describe files stored on a storage
resource

6 years agoSimplify the way files are described. Get rid of the stats, the
suter [Wed, 5 Jun 2013 20:25:06 +0000 (22:25 +0200)]
Simplify the way files are described. Get rid of the stats, the
MSG_file_stat, and all the underlying functions

6 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

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

6 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

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

6 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

6 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

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

6 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

6 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

6 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

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

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

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

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

6 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

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

6 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

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

6 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

6 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

6 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

6 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

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

6 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

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

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

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

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

6 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

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