Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
8 years agostart refunding the userguide
Martin Quinson [Thu, 6 Dec 2012 09:44:55 +0000 (10:44 +0100)]
start refunding the userguide

8 years agowe should not forget about the mainpage of the documentation
Martin Quinson [Thu, 6 Dec 2012 00:29:55 +0000 (01:29 +0100)]
we should not forget about the mainpage of the documentation

8 years agothese files are not generated anymore
Martin Quinson [Wed, 5 Dec 2012 22:12:10 +0000 (23:12 +0100)]
these files are not generated anymore

8 years agofix config issue
Augustin Degomme [Thu, 6 Dec 2012 18:09:11 +0000 (19:09 +0100)]
fix config issue

8 years agohandle proper cleanup of mpi datatypes with MPI_Type_free with a refcounter
Augustin Degomme [Thu, 6 Dec 2012 17:43:06 +0000 (18:43 +0100)]
handle proper cleanup of mpi datatypes with MPI_Type_free with a refcounter

8 years agomallocators were not initialized and used since commit 1f50f809
Augustin Degomme [Thu, 6 Dec 2012 17:31:11 +0000 (18:31 +0100)]
mallocators were not initialized and used since commit 1f50f809

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Paul Bédaride [Thu, 6 Dec 2012 09:57:01 +0000 (10:57 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

8 years agoAdd ModelChecker build type
Paul Bédaride [Thu, 6 Dec 2012 09:52:20 +0000 (10:52 +0100)]
Add ModelChecker build type

8 years agomodel-checker : liveness model-checking works only on 64bits for now, add condition...
Marion Guthmuller [Thu, 6 Dec 2012 09:31:51 +0000 (10:31 +0100)]
model-checker : liveness model-checking works only on 64bits for now, add condition for tests

8 years agomodel-checker : improve debug message if different global variable
Marion Guthmuller [Thu, 6 Dec 2012 09:16:53 +0000 (10:16 +0100)]
model-checker : improve debug message if different global variable

8 years agomodel-checker : ignore global variables corresponding to a counter for coverage
Marion Guthmuller [Thu, 6 Dec 2012 09:16:10 +0000 (10:16 +0100)]
model-checker : ignore global variables corresponding to a counter for coverage

8 years agothese includes are useless
Martin Quinson [Wed, 5 Dec 2012 20:57:59 +0000 (21:57 +0100)]
these includes are useless

8 years agowe need that files to compile on windows
Martin Quinson [Wed, 5 Dec 2012 20:21:18 +0000 (21:21 +0100)]
we need that files to compile on windows

8 years agoactivate pt2pt truncmult test in teshsuite
Augustin Degomme [Wed, 5 Dec 2012 18:10:42 +0000 (19:10 +0100)]
activate pt2pt truncmult test in teshsuite

8 years agomodify the way we handle MPI_ANY_SOURCE, MPI_ANY_TAG, and MPI_TRUNCATED.
Augustin Degomme [Wed, 5 Dec 2012 17:55:18 +0000 (18:55 +0100)]
modify the way we handle MPI_ANY_SOURCE, MPI_ANY_TAG, and MPI_TRUNCATED.
Fix the case where a request may live outside smpi and be reused
We store the values we may change in other fields

8 years agomake valgrind happy with smpi by handling action destruction inside finish_wait
Augustin Degomme [Wed, 5 Dec 2012 17:51:24 +0000 (18:51 +0100)]
make valgrind happy with smpi by handling action destruction inside finish_wait

8 years agomodel-checker : increase tesh timeout for mc-chord-neverjoin-ucontext
Marion Guthmuller [Wed, 5 Dec 2012 15:21:15 +0000 (16:21 +0100)]
model-checker : increase tesh timeout for mc-chord-neverjoin-ucontext

8 years agomodel-checker : update snapshot_comparison tests
Marion Guthmuller [Wed, 5 Dec 2012 14:58:31 +0000 (15:58 +0100)]
model-checker : update snapshot_comparison tests

8 years agomodel-checker : ignore new variables
Marion Guthmuller [Tue, 4 Dec 2012 18:16:33 +0000 (19:16 +0100)]
model-checker : ignore new variables

8 years agomodel-checker : display instruction pointer if different local variable
Marion Guthmuller [Tue, 4 Dec 2012 18:15:13 +0000 (19:15 +0100)]
model-checker : display instruction pointer if different local variable

8 years agomodel-checker : ignore simcall result in heap comparison
Marion Guthmuller [Tue, 4 Dec 2012 15:30:28 +0000 (16:30 +0100)]
model-checker : ignore simcall result in heap comparison

8 years agomodel-checker : remove unused code
Marion Guthmuller [Tue, 4 Dec 2012 15:29:13 +0000 (16:29 +0100)]
model-checker : remove unused code

8 years agomodel-checker : set raw heap for initialization step
Marion Guthmuller [Tue, 4 Dec 2012 15:28:54 +0000 (16:28 +0100)]
model-checker : set raw heap for initialization step

8 years agomodel-checker : get libsimgrid_path with MC_init_memory_map_infos
Marion Guthmuller [Tue, 4 Dec 2012 15:20:39 +0000 (16:20 +0100)]
model-checker : get libsimgrid_path with MC_init_memory_map_infos

8 years agoDirty Fix to handle model checking with new simcalls
bedaride [Tue, 4 Dec 2012 15:15:31 +0000 (16:15 +0100)]
Dirty Fix to handle model checking with new simcalls

8 years agoand now, with the right URL for the faq, bummer
Martin Quinson [Tue, 4 Dec 2012 13:19:52 +0000 (14:19 +0100)]
and now, with the right URL for the faq, bummer

8 years agofix a bunch of links to the FAQ -- hate that code dupplication
Martin Quinson [Tue, 4 Dec 2012 13:16:05 +0000 (14:16 +0100)]
fix a bunch of links to the FAQ -- hate that code dupplication

8 years agoAvoid to add an empty component into LD_LIBRARY_PATH if it was not set before.
Arnaud Giersch [Tue, 4 Dec 2012 12:13:30 +0000 (13:13 +0100)]
Avoid to add an empty component into LD_LIBRARY_PATH if it was not set before.

Also remove the trailing filename.

8 years agomodel-checker : fix MC_state_set_executed_request
Marion Guthmuller [Mon, 3 Dec 2012 18:07:15 +0000 (19:07 +0100)]
model-checker : fix MC_state_set_executed_request

Comm for SIMCALL_COMM_WAIT was internal_comm address of mc_state
(confusion between s_smx_action_t and smx_action_t)

8 years agoFix debug message in simix
shenshei [Mon, 3 Dec 2012 16:54:02 +0000 (17:54 +0100)]
Fix debug message in simix

8 years agocomment a bit of code in sender_gap for smpi, which leaked memory.
Augustin Degomme [Mon, 3 Dec 2012 16:01:19 +0000 (17:01 +0100)]
comment a bit of code in sender_gap for smpi, which leaked memory.
This is temporary to correct the leak, waiting for the replacement of sender_gap

8 years agoremove sender's side data from mpi_send in the receiver's side for detached send
Augustin Degomme [Mon, 3 Dec 2012 16:00:37 +0000 (17:00 +0100)]
remove sender's side data from mpi_send in the receiver's side for detached send
fixes a leak.

8 years agohopefully remove leak in permanent receive mode
Augustin Degomme [Mon, 3 Dec 2012 11:10:47 +0000 (12:10 +0100)]
hopefully remove leak in permanent receive mode

8 years agoAdd a note about inline functions in README.coding.
Arnaud Giersch [Mon, 3 Dec 2012 09:29:13 +0000 (10:29 +0100)]
Add a note about inline functions in README.coding.

8 years agoRemove spurious semicolon.
Arnaud Giersch [Fri, 30 Nov 2012 16:39:21 +0000 (17:39 +0100)]
Remove spurious semicolon.

8 years agoDefine inline functions in header file (again).
Arnaud Giersch [Fri, 30 Nov 2012 16:31:16 +0000 (17:31 +0100)]
Define inline functions in header file (again).

8 years agoRemove prototypes.
Arnaud Giersch [Fri, 30 Nov 2012 16:30:56 +0000 (17:30 +0100)]
Remove prototypes.

These inline functions are only used in smx_user.  Forward declarations are useless.

8 years agoDefine inline function in header file.
Arnaud Giersch [Fri, 30 Nov 2012 15:41:11 +0000 (16:41 +0100)]
Define inline function in header file.

8 years agoInitialize variables, and make valgrind happy.
Arnaud Giersch [Fri, 30 Nov 2012 15:23:18 +0000 (16:23 +0100)]
Initialize variables, and make valgrind happy.

8 years agoPrint a message and exit if file was not found.
Arnaud Giersch [Fri, 30 Nov 2012 14:59:14 +0000 (15:59 +0100)]
Print a message and exit if file was not found.

8 years agoActivate memcheck tests for smpi-replay.
Arnaud Giersch [Fri, 30 Nov 2012 14:56:11 +0000 (15:56 +0100)]
Activate memcheck tests for smpi-replay.

8 years agoMake generate_memcheck_tests.pl handle command "mkfile".
Arnaud Giersch [Mon, 3 Dec 2012 09:53:27 +0000 (10:53 +0100)]
Make generate_memcheck_tests.pl handle command "mkfile".

8 years agoSet valgrind option --track-origins=no, to make it use less memory.
Arnaud Giersch [Fri, 30 Nov 2012 14:54:31 +0000 (15:54 +0100)]
Set valgrind option --track-origins=no, to make it use less memory.

Actually, for the test smpi-replay, it needs more than 4GB of memory
with option --track-origins=yes.

8 years agoMake tests work when building out of the sources.
Arnaud Giersch [Thu, 29 Nov 2012 21:20:30 +0000 (22:20 +0100)]
Make tests work when building out of the sources.

8 years agoDon't ignore full directory contents.
Arnaud Giersch [Thu, 29 Nov 2012 21:19:29 +0000 (22:19 +0100)]
Don't ignore full directory contents.

8 years agomodel-checker : remove independance between iRecv and Wait
Marion Guthmuller [Sun, 2 Dec 2012 21:28:01 +0000 (22:28 +0100)]
model-checker : remove independance between iRecv and Wait

8 years agomodel-checker : statistics printed twice if exhaustive exploration
Marion Guthmuller [Sun, 2 Dec 2012 21:15:23 +0000 (22:15 +0100)]
model-checker : statistics printed twice if exhaustive exploration

8 years agomodel-checker : get global variables with objdump and compare only the bytes in data...
Marion Guthmuller [Sun, 2 Dec 2012 21:13:37 +0000 (22:13 +0100)]
model-checker : get global variables with objdump and compare only the bytes in data segments corresponding to global variables

8 years agomodel-checker : get segments start only in MC_init_memory_map_info
Marion Guthmuller [Sun, 2 Dec 2012 21:09:09 +0000 (22:09 +0100)]
model-checker : get segments start only in MC_init_memory_map_info

8 years agomodel-checker : text segment is read and exec only
Marion Guthmuller [Sun, 2 Dec 2012 21:07:32 +0000 (22:07 +0100)]
model-checker : text segment is read and exec only

8 years agomodel-checker : cleanups in comments
Marion Guthmuller [Sun, 2 Dec 2012 21:05:52 +0000 (22:05 +0100)]
model-checker : cleanups in comments

8 years agomodel-checker : get .got.plt sections
Marion Guthmuller [Sun, 2 Dec 2012 21:01:39 +0000 (22:01 +0100)]
model-checker : get .got.plt sections

8 years agomodel-checker : increase tesh timeout
Marion Guthmuller [Thu, 29 Nov 2012 13:09:04 +0000 (14:09 +0100)]
model-checker : increase tesh timeout

8 years agomodel-checker : fix tesh name
Marion Guthmuller [Thu, 29 Nov 2012 13:07:21 +0000 (14:07 +0100)]
model-checker : fix tesh name

8 years agomodel-checker : increase tesh timeouts
Marion Guthmuller [Thu, 29 Nov 2012 13:02:15 +0000 (14:02 +0100)]
model-checker : increase tesh timeouts

8 years agoadd the test of allReduce replay
suter [Sun, 2 Dec 2012 11:45:22 +0000 (12:45 +0100)]
add the test of allReduce replay

8 years agoyet another action file for allReduce
suter [Sun, 2 Dec 2012 11:44:30 +0000 (12:44 +0100)]
yet another action file for allReduce

8 years agomissing file
suter [Fri, 30 Nov 2012 15:20:10 +0000 (16:20 +0100)]
missing file

8 years agohey you, you're supposed to be removed already (did I say that I hate
suter [Fri, 30 Nov 2012 14:38:41 +0000 (15:38 +0100)]
hey you, you're supposed to be removed already (did I say that I hate
git when it come to rm already?)

8 years agoremove temporary file at the end of the tesh f
suter [Fri, 30 Nov 2012 09:16:52 +0000 (10:16 +0100)]
remove temporary file at the end of the tesh f

8 years agotypos
suter [Fri, 30 Nov 2012 09:15:36 +0000 (10:15 +0100)]
typos

8 years agohave the smpif90 file replace the main program clause by our own for f90
Augustin Degomme [Fri, 30 Nov 2012 14:59:39 +0000 (15:59 +0100)]
have the smpif90 file replace the main program clause by our own for f90

8 years agofix a memory leak happening with smpi_replay
Augustin Degomme [Fri, 30 Nov 2012 11:44:15 +0000 (12:44 +0100)]
fix a memory leak happening with smpi_replay

8 years agoadd support of smpif90 file
Augustin Degomme [Wed, 28 Nov 2012 17:42:49 +0000 (18:42 +0100)]
add support of smpif90 file

8 years agofew fortran defines to make bigdft happy
Augustin Degomme [Wed, 28 Nov 2012 10:36:42 +0000 (11:36 +0100)]
few fortran defines to make bigdft happy

8 years agoadd yet another stunt with smpi_simulated_main to provide support for f90
Augustin Degomme [Wed, 28 Nov 2012 10:35:49 +0000 (11:35 +0100)]
add yet another stunt with smpi_simulated_main to provide support for f90

8 years agoreplace smpi_simulated main by smpi_simulated_main__, because __ is wanted by fortran...
Augustin Degomme [Wed, 28 Nov 2012 09:01:29 +0000 (10:01 +0100)]
replace smpi_simulated main by smpi_simulated_main__, because __ is wanted by fortran compilers
C compilers don't really care how we name it.

8 years agoadd two functions to fortran bindings, needed by specfem
Augustin Degomme [Wed, 28 Nov 2012 08:58:41 +0000 (09:58 +0100)]
add two functions to fortran bindings, needed by specfem

8 years agoremove unsupported characters from mpif.h, for f90 compiler to be happy
Augustin Degomme [Wed, 28 Nov 2012 08:57:01 +0000 (09:57 +0100)]
remove unsupported characters from mpif.h, for f90 compiler to be happy

8 years agoMerge ../simgrid
shenshei [Fri, 30 Nov 2012 14:09:01 +0000 (15:09 +0100)]
Merge ../simgrid

8 years agoNew simcalls work
shenshei [Fri, 30 Nov 2012 14:07:38 +0000 (15:07 +0100)]
New simcalls work

8 years agochainsend: fix compilation errors
Maximiliano Geier [Fri, 30 Nov 2012 10:30:58 +0000 (11:30 +0100)]
chainsend: fix compilation errors

Signed-off-by: Maximiliano Geier <maximiliano.geier@loria.fr>
8 years agochainsend: change message sizes to more realistic values, avoid passing too many...
Maximiliano Geier [Fri, 30 Nov 2012 10:11:05 +0000 (11:11 +0100)]
chainsend: change message sizes to more realistic values, avoid passing too many parameters around, use MSG_task_isend in broadcaster instead of send

Signed-off-by: Maximiliano Geier <maximiliano.geier@loria.fr>
8 years agoforgot to add this file thus breaking the smpi_replay test
suter [Fri, 30 Nov 2012 08:00:11 +0000 (09:00 +0100)]
forgot to add this file thus breaking the smpi_replay test

8 years agorm this file, generated now
suter [Thu, 29 Nov 2012 16:13:40 +0000 (17:13 +0100)]
rm this file, generated now

8 years agoadd 2 more test for smpi replay: barrier and some Isend/Irecv
suter [Thu, 29 Nov 2012 16:13:10 +0000 (17:13 +0100)]
add 2 more test for smpi replay: barrier and some Isend/Irecv

8 years agoprinting the final simulation time also has to be done by the last
suter [Thu, 29 Nov 2012 16:06:50 +0000 (17:06 +0100)]
printing the final simulation time also has to be done by the last
process to finish.
smpi_process_finalize/destroy already called by PMPI_finalize (remove)
use my own global to count the number of active processes (to not mess
with process_count)

8 years agoassuming that rank 0 is the last to finish is a bad idea. the last
suter [Thu, 29 Nov 2012 15:40:26 +0000 (16:40 +0100)]
assuming that rank 0 is the last to finish is a bad idea. the last
process to die has to free the dicts.

8 years agothe comm_size action is useless now
suter [Thu, 29 Nov 2012 15:34:05 +0000 (16:34 +0100)]
the comm_size action is useless now

8 years agogenerate the one_trace file for each test (will allow me to test several
suter [Thu, 29 Nov 2012 15:27:09 +0000 (16:27 +0100)]
generate the one_trace file for each test (will allow me to test several
basic traces with a single temporary file)

8 years agoEnable memcheck for smpi tests too.
Arnaud Giersch [Thu, 29 Nov 2012 13:37:37 +0000 (14:37 +0100)]
Enable memcheck for smpi tests too.

Tests from teshsuite/smpi/mpich-test/ are however still excluded, since
they are run through intricate scripts.

Also exclude smpi-replay, since it's too memory hungry.

8 years agoMake valgrind skip commands from /usr/bin/ and /bin/.
Arnaud Giersch [Thu, 29 Nov 2012 13:37:22 +0000 (14:37 +0100)]
Make valgrind skip commands from /usr/bin/ and /bin/.

8 years agoCosmetics: test ucontexts before raw contexts.
Arnaud Giersch [Thu, 29 Nov 2012 14:18:38 +0000 (15:18 +0100)]
Cosmetics: test ucontexts before raw contexts.

8 years agoAdd missing guards.
Arnaud Giersch [Thu, 29 Nov 2012 14:17:46 +0000 (15:17 +0100)]
Add missing guards.

8 years agoremove some leaks by calling SD_exit() before dying
suter [Thu, 29 Nov 2012 13:24:09 +0000 (14:24 +0100)]
remove some leaks by calling SD_exit() before dying

8 years agoclean stuff even when the scheduled is not good
suter [Thu, 29 Nov 2012 12:35:48 +0000 (13:35 +0100)]
clean stuff even when the scheduled is not good

8 years agoFix printf statements.
Arnaud Giersch [Wed, 28 Nov 2012 22:40:35 +0000 (23:40 +0100)]
Fix printf statements.

8 years agoRename file, and make test smpi-mpich-pt2pt-raw succeed.
Arnaud Giersch [Wed, 28 Nov 2012 21:39:53 +0000 (22:39 +0100)]
Rename file, and make test smpi-mpich-pt2pt-raw succeed.

8 years agoAdd a few thoughts in README.coding, and correct typos.
Arnaud Giersch [Wed, 28 Nov 2012 20:34:51 +0000 (21:34 +0100)]
Add a few thoughts in README.coding, and correct typos.

8 years agoWe have status, return its value.
Arnaud Giersch [Wed, 28 Nov 2012 17:22:19 +0000 (18:22 +0100)]
We have status, return its value.

8 years agoDefine functions as static.
Arnaud Giersch [Wed, 28 Nov 2012 17:19:17 +0000 (18:19 +0100)]
Define functions as static.

Fix build errors from -Werror=missing-prototypes.

8 years agoRemove unused variables.
Arnaud Giersch [Wed, 28 Nov 2012 17:18:19 +0000 (18:18 +0100)]
Remove unused variables.

8 years agoAdd missing prototypes.
Arnaud Giersch [Wed, 28 Nov 2012 16:48:37 +0000 (17:48 +0100)]
Add missing prototypes.

8 years agoAn inline function must be visible from header file.
Arnaud Giersch [Wed, 28 Nov 2012 17:14:30 +0000 (18:14 +0100)]
An inline function must be visible from header file.

8 years agoReturn new value.
Arnaud Giersch [Wed, 28 Nov 2012 16:47:43 +0000 (17:47 +0100)]
Return new value.

Did it work before?

8 years agoOops, forgot to actually add the new tesh
Maximiliano Geier [Wed, 28 Nov 2012 16:26:03 +0000 (17:26 +0100)]
Oops, forgot to actually add the new tesh

8 years agoRemove unused tesh (copied from sendrecv), add a real tesh for chainsend
Maximiliano Geier [Wed, 28 Nov 2012 16:06:55 +0000 (17:06 +0100)]
Remove unused tesh (copied from sendrecv), add a real tesh for chainsend

8 years agoOops, forgot to change one XBT_INFO
Maximiliano Geier [Wed, 28 Nov 2012 14:19:57 +0000 (15:19 +0100)]
Oops, forgot to change one XBT_INFO

8 years agoSome more cleaning up, commented out INFO logs go to DEBUG
Maximiliano Geier [Wed, 28 Nov 2012 14:10:27 +0000 (15:10 +0100)]
Some more cleaning up, commented out INFO logs go to DEBUG

8 years agoCode cleanup
Maximiliano Geier [Wed, 28 Nov 2012 12:31:20 +0000 (13:31 +0100)]
Code cleanup