Pierre Veyre [Mon, 19 Aug 2013 10:01:51 +0000 (12:01 +0200)]
Add MSG_storages_as_dynar function
Pierre Veyre [Mon, 19 Aug 2013 07:46:59 +0000 (09:46 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Marion Guthmuller [Wed, 14 Aug 2013 15:10:17 +0000 (17:10 +0200)]
increase timeout
Marion Guthmuller [Wed, 14 Aug 2013 14:35:56 +0000 (16:35 +0200)]
model-checker : else if instead of if{} if{}
Marion Guthmuller [Wed, 14 Aug 2013 14:35:14 +0000 (16:35 +0200)]
model-checker : init equal_to in mmalloc info
Marion Guthmuller [Wed, 14 Aug 2013 14:31:45 +0000 (16:31 +0200)]
model-checker : memory free and cleanup
Marion Guthmuller [Wed, 14 Aug 2013 09:57:14 +0000 (11:57 +0200)]
model-checker : update SMPI bugged mutual exclusion example
Marion Guthmuller [Wed, 14 Aug 2013 09:51:21 +0000 (11:51 +0200)]
model-checker : update MSG bugged mutual exclusion example
Marion Guthmuller [Wed, 14 Aug 2013 09:36:19 +0000 (11:36 +0200)]
model-checker : stop stack comparison before the context switching with maestro
Pierre Veyre [Wed, 14 Aug 2013 07:31:29 +0000 (09:31 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Wed, 14 Aug 2013 07:30:58 +0000 (09:30 +0200)]
prepare MSG_storages_as_dynar function
Marion Guthmuller [Tue, 13 Aug 2013 13:59:04 +0000 (15:59 +0200)]
model-checker : fix dot output for liveness MC
Marion Guthmuller [Tue, 13 Aug 2013 11:48:24 +0000 (13:48 +0200)]
model-checker : fix error compilation without MC
Marion Guthmuller [Tue, 13 Aug 2013 11:38:44 +0000 (13:38 +0200)]
model-checker : remove binary
Marion Guthmuller [Tue, 13 Aug 2013 11:35:57 +0000 (13:35 +0200)]
model-checker : create mc directory in smpi examples and add new example for liveness verification of MPI programs
Marion Guthmuller [Tue, 13 Aug 2013 11:32:43 +0000 (13:32 +0200)]
model-checker : ignore in_use in s_smpi_mpi_datatype
Marion Guthmuller [Tue, 13 Aug 2013 11:24:58 +0000 (13:24 +0200)]
model-checker : fix ignore mechanism
Marion Guthmuller [Mon, 12 Aug 2013 21:26:03 +0000 (23:26 +0200)]
model-checker : ignore smpi timer
Marion Guthmuller [Mon, 12 Aug 2013 21:25:22 +0000 (23:25 +0200)]
get size of struct s_xbt_os_timer
Marion Guthmuller [Mon, 12 Aug 2013 18:11:35 +0000 (20:11 +0200)]
model-checker : fix ignore global variable
Marion Guthmuller [Mon, 12 Aug 2013 17:44:58 +0000 (19:44 +0200)]
model-checker : remove unused variable
Marion Guthmuller [Mon, 12 Aug 2013 17:43:09 +0000 (19:43 +0200)]
model-checker : add debug message
Marion Guthmuller [Mon, 12 Aug 2013 17:42:33 +0000 (19:42 +0200)]
init ret_val (MC compliant)
Marion Guthmuller [Mon, 12 Aug 2013 17:41:03 +0000 (19:41 +0200)]
model-checker : fix MC init in smpi_main
Marion Guthmuller [Mon, 12 Aug 2013 17:38:46 +0000 (19:38 +0200)]
model-checker : fix comparison of local variables
Marion Guthmuller [Mon, 12 Aug 2013 17:37:59 +0000 (19:37 +0200)]
model-checker : initialize equal_to in mmalloc heapinfo
Marion Guthmuller [Mon, 12 Aug 2013 17:36:09 +0000 (19:36 +0200)]
model-checker : memory free
Marion Guthmuller [Mon, 12 Aug 2013 17:35:02 +0000 (19:35 +0200)]
model-checker : extend ignore mechanism with new user primitive MC_ignore
Marion Guthmuller [Sun, 11 Aug 2013 15:12:33 +0000 (17:12 +0200)]
model-checker : remove fprintf -> XBT_DEBUG
Marion Guthmuller [Sat, 10 Aug 2013 10:53:39 +0000 (12:53 +0200)]
model-checker : update tesh
Marion Guthmuller [Sat, 10 Aug 2013 10:34:50 +0000 (12:34 +0200)]
model-checker : update chord example for exhaustive exploration with MC
Marion Guthmuller [Sat, 10 Aug 2013 10:29:45 +0000 (12:29 +0200)]
model-checker : udpate debug information
Marion Guthmuller [Sat, 10 Aug 2013 10:28:48 +0000 (12:28 +0200)]
model-checker : fix DPOR with visited states reduction
Marion Guthmuller [Sat, 10 Aug 2013 10:27:52 +0000 (12:27 +0200)]
model-checker : add min and max values for MC_RANDOM simcall
Marion Guthmuller [Sat, 10 Aug 2013 10:22:49 +0000 (12:22 +0200)]
model-checker : rename MC_max_depth(int prop) -> MC_cut()
Marion Guthmuller [Wed, 7 Aug 2013 08:20:30 +0000 (10:20 +0200)]
model-checker : fix dot_output with DPOR
suter [Fri, 9 Aug 2013 15:05:40 +0000 (17:05 +0200)]
document SD_config
suter [Fri, 9 Aug 2013 15:02:23 +0000 (17:02 +0200)]
start to design a test for storage management in SimDag (very very
preliminary for now)
suter [Fri, 9 Aug 2013 14:58:51 +0000 (16:58 +0200)]
Simdag users may also want to change SimGrid configuration in the code
too (to switch to workstation/model:default, for instance)
suter [Fri, 9 Aug 2013 14:52:33 +0000 (16:52 +0200)]
at least give an existing model as example ...
suter [Fri, 9 Aug 2013 14:48:45 +0000 (16:48 +0200)]
add a SD_workstation_storage_get_list as a first try to add storage
management to SimDag.
suter [Fri, 9 Aug 2013 14:47:05 +0000 (16:47 +0200)]
small simplification
suter [Fri, 9 Aug 2013 08:16:51 +0000 (10:16 +0200)]
add new simdag function upon user request.
Marion Guthmuller [Mon, 5 Aug 2013 15:54:43 +0000 (17:54 +0200)]
update the other tesh for chord example
Marion Guthmuller [Mon, 5 Aug 2013 15:45:45 +0000 (17:45 +0200)]
disable random lookup in Chord (tesh examples fail)
Marion Guthmuller [Mon, 5 Aug 2013 15:21:37 +0000 (17:21 +0200)]
update chord.tesh
Marion Guthmuller [Mon, 5 Aug 2013 14:49:36 +0000 (16:49 +0200)]
model-checker : update CMakeLists
Marion Guthmuller [Mon, 5 Aug 2013 14:46:59 +0000 (16:46 +0200)]
model-checker : remove dead file
Marion Guthmuller [Mon, 5 Aug 2013 14:46:15 +0000 (16:46 +0200)]
model-checker : remove duplicated example chord
Marion Guthmuller [Mon, 5 Aug 2013 14:04:46 +0000 (16:04 +0200)]
implement check_predecessor and random_lookup (periodic protocols) in Chord example
Marion Guthmuller [Mon, 5 Aug 2013 13:55:52 +0000 (15:55 +0200)]
cosmetics
Marion Guthmuller [Mon, 5 Aug 2013 13:33:33 +0000 (15:33 +0200)]
model-checker : remove obsolete examples
Marion Guthmuller [Mon, 5 Aug 2013 13:28:04 +0000 (15:28 +0200)]
model-checker : remove dead code
Marion Guthmuller [Mon, 5 Aug 2013 13:21:31 +0000 (15:21 +0200)]
model-checker : new primitive MC_max_depth, to define a maximum exploration depth in user code
Marion Guthmuller [Mon, 5 Aug 2013 13:13:19 +0000 (15:13 +0200)]
model-checker : update tesh files
Marion Guthmuller [Mon, 5 Aug 2013 13:12:22 +0000 (15:12 +0200)]
model-checker : fix DPOR with timeout
Marion Guthmuller [Mon, 5 Aug 2013 13:11:15 +0000 (15:11 +0200)]
model-checker : include simcall number in request_to_string
Marion Guthmuller [Mon, 5 Aug 2013 12:48:31 +0000 (14:48 +0200)]
model-checker : snapshot comparison with the types of variables and cleanup
Marion Guthmuller [Sun, 16 Jun 2013 18:39:10 +0000 (20:39 +0200)]
model-checker : comparison of number of processes and bytes used in heap done twice, remove one of them
Augustin Degomme [Wed, 24 Jul 2013 11:43:05 +0000 (13:43 +0200)]
exclude tests, don't include them.
Augustin Degomme [Wed, 24 Jul 2013 11:31:08 +0000 (13:31 +0200)]
Add simple autotuning selector for collectives
For now, it loops over existing ones and benches the time for each process and the maximum time.
It outputs the shortest collective found for each process, and also the global shortest.
A rollback feature should be added to allow correct continuation and simulation.
This is still experimental, tests are not generated, it can be called with --cfg=smpi/collname:automatic
For now we don't check for input values, so some algorithms will fail (because they need power of 2 or even number of processes, mainly). Checks should be added
Augustin Degomme [Wed, 24 Jul 2013 11:19:45 +0000 (13:19 +0200)]
generate unique names, but easier for debug
Augustin Degomme [Wed, 24 Jul 2013 08:22:27 +0000 (10:22 +0200)]
deactivate f90 tests with MC, which caused problems
Augustin Degomme [Wed, 24 Jul 2013 08:14:11 +0000 (10:14 +0200)]
one of the two ci configurations kept failing, attempt to fix it
Augustin Degomme [Thu, 18 Jul 2013 15:25:47 +0000 (17:25 +0200)]
remove now useless debug messages
Augustin Degomme [Thu, 18 Jul 2013 13:16:16 +0000 (15:16 +0200)]
Set MPI_Request to MPI_REQUEST_NULL whenever a call fails
Augustin Degomme [Thu, 18 Jul 2013 11:42:03 +0000 (13:42 +0200)]
guard against potential segfault when used before initialization
Augustin Degomme [Thu, 18 Jul 2013 11:41:40 +0000 (13:41 +0200)]
add an include to please ci
Augustin Degomme [Wed, 17 Jul 2013 16:00:48 +0000 (18:00 +0200)]
changelog update
Augustin Degomme [Wed, 17 Jul 2013 15:56:59 +0000 (17:56 +0200)]
fix behavior of MPI_STATUS_IGNORE and MPI_STATUSES_IGNORE with fortran
Augustin Degomme [Wed, 17 Jul 2013 14:48:21 +0000 (16:48 +0200)]
typo + compile without fortran
Augustin Degomme [Wed, 17 Jul 2013 14:39:34 +0000 (16:39 +0200)]
smpif90 changes (force gfortran for now), replace "use mpi" by include "mpif.h"
Augustin Degomme [Wed, 17 Jul 2013 14:18:03 +0000 (16:18 +0200)]
add fortran 90 tests
Augustin Degomme [Wed, 17 Jul 2013 13:32:13 +0000 (15:32 +0200)]
Fix potential segfault
Augustin Degomme [Wed, 17 Jul 2013 13:31:41 +0000 (15:31 +0200)]
add one binding
Augustin Degomme [Wed, 17 Jul 2013 07:54:00 +0000 (09:54 +0200)]
fix behavior of waitany
suter [Wed, 17 Jul 2013 12:13:36 +0000 (14:13 +0200)]
oups forgot to describe new parameter
suter [Wed, 17 Jul 2013 11:50:35 +0000 (13:50 +0200)]
don't allow java to attach user data to file (for now ... if a java
expert wants to deal with this, welcome)
suter [Wed, 17 Jul 2013 11:44:42 +0000 (13:44 +0200)]
update examples with new prototype for open
suter [Wed, 17 Jul 2013 11:29:28 +0000 (13:29 +0200)]
Allow users to attach arbitrary data to opened files
Pierre Veyre [Wed, 17 Jul 2013 07:57:16 +0000 (09:57 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
degomme [Tue, 16 Jul 2013 23:40:03 +0000 (01:40 +0200)]
remove f77 attr tests
Augustin Degomme [Tue, 16 Jul 2013 18:14:23 +0000 (20:14 +0200)]
missing file
Augustin Degomme [Tue, 16 Jul 2013 17:19:48 +0000 (19:19 +0200)]
only use MPI_SOURCE when necessary
Augustin Degomme [Tue, 16 Jul 2013 17:14:32 +0000 (19:14 +0200)]
switch cmake variable names
Augustin Degomme [Tue, 16 Jul 2013 17:02:46 +0000 (19:02 +0200)]
cmakelists cleanup
Augustin Degomme [Tue, 16 Jul 2013 16:53:10 +0000 (18:53 +0200)]
Add (some) mpich3 f77 tests
Augustin Degomme [Tue, 16 Jul 2013 16:34:15 +0000 (18:34 +0200)]
have smpiff work on temporary file copies
bad for debug, but allows -j flag to work with multiple targets using same file
Augustin Degomme [Tue, 16 Jul 2013 16:33:13 +0000 (18:33 +0200)]
correct a few mistakes with waitall, waitany, wait
Augustin Degomme [Tue, 16 Jul 2013 15:14:42 +0000 (17:14 +0200)]
make fortran new bindings almost functional
Augustin Degomme [Tue, 16 Jul 2013 15:13:48 +0000 (17:13 +0200)]
add two more functions
Augustin Degomme [Tue, 16 Jul 2013 15:11:34 +0000 (17:11 +0200)]
fix MPI_Initialized
Pierre Veyre [Tue, 16 Jul 2013 12:53:03 +0000 (14:53 +0200)]
fix comments
Pierre Veyre [Mon, 15 Jul 2013 17:21:37 +0000 (19:21 +0200)]
Update msg_storage_t structure and prepare new storage functions
Augustin Degomme [Mon, 15 Jul 2013 13:36:29 +0000 (15:36 +0200)]
Update changelog
Augustin Degomme [Mon, 15 Jul 2013 13:34:57 +0000 (15:34 +0200)]
remove references to old test suite
Augustin Degomme [Mon, 15 Jul 2013 13:21:46 +0000 (15:21 +0200)]
wrong (but still unimplemented) function was used
Augustin Degomme [Mon, 15 Jul 2013 13:21:17 +0000 (15:21 +0200)]
add "a few" fortran bindings
degomme [Fri, 12 Jul 2013 20:27:12 +0000 (22:27 +0200)]
remove problematic (and unused for now) test from build
Arnaud Giersch [Fri, 12 Jul 2013 19:53:24 +0000 (21:53 +0200)]
Include directory is in source_dir, not in binary_dir.