Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
10 years agotake care of the generation of doc/doxygen/logcategories.doc after last cleanup
Martin Quinson [Fri, 7 Dec 2012 22:23:59 +0000 (23:23 +0100)]
take care of the generation of doc/doxygen/logcategories.doc after last cleanup

10 years agoput some automatic links instead of letting the user search for themselves
Martin Quinson [Fri, 7 Dec 2012 22:17:51 +0000 (23:17 +0100)]
put some automatic links instead of letting the user search for themselves

10 years agochainsend: change tesh to test with 8192 pieces
Maximiliano Geier [Fri, 7 Dec 2012 13:47:11 +0000 (14:47 +0100)]
chainsend: change tesh to test with 8192 pieces

10 years agochainsend: change test platform latencies and bandwidth to LAN-like values
Maximiliano Geier [Fri, 7 Dec 2012 13:40:34 +0000 (14:40 +0100)]
chainsend: change test platform latencies and bandwidth to LAN-like values

10 years agochainsend: decrease message size, it was actually too big for no good reason
Maximiliano Geier [Fri, 7 Dec 2012 13:39:35 +0000 (14:39 +0100)]
chainsend: decrease message size, it was actually too big for no good reason

10 years agochainsend: change default number of pieces
Maximiliano Geier [Fri, 7 Dec 2012 13:39:02 +0000 (14:39 +0100)]
chainsend: change default number of pieces

10 years agochainsend: add number of pieces as parameter of the broadcaster
Maximiliano Geier [Fri, 7 Dec 2012 13:38:03 +0000 (14:38 +0100)]
chainsend: add number of pieces as parameter of the broadcaster

10 years agoI'm so glad that this line is useless
Martin Quinson [Fri, 7 Dec 2012 08:55:28 +0000 (09:55 +0100)]
I'm so glad that this line is useless

10 years agothis file is now useless
Martin Quinson [Fri, 7 Dec 2012 08:55:12 +0000 (09:55 +0100)]
this file is now useless

10 years agofix the 'sync-gforge-doc' target
Martin Quinson [Fri, 7 Dec 2012 07:02:09 +0000 (08:02 +0100)]
fix the 'sync-gforge-doc' target

10 years agoFix a bunch of errors on make dist due to the recent documentation cleanup
Martin Quinson [Thu, 6 Dec 2012 20:22:08 +0000 (21:22 +0100)]
Fix a bunch of errors on make dist due to the recent documentation cleanup

That's still broken because of a missing smpi replay trace file

10 years agoactivate the search engine, and keep the doxygen warnings under control
Martin Quinson [Thu, 6 Dec 2012 20:16:18 +0000 (21:16 +0100)]
activate the search engine, and keep the doxygen warnings under control

10 years agoDamn doxygen, I hate you. I really do.
Martin Quinson [Thu, 6 Dec 2012 20:13:29 +0000 (21:13 +0100)]
Damn doxygen, I hate you. I really do.

I can't find any way to create a link to the root of all modules. So
simply remove that link, clicking on the right graphic will do it.

Doxygen is the best documentation tool out there (I really digged),
but it's soooo bad it's disgusting.

10 years agosort the elements of this file so that it becomes readable w/o loosing too much menta...
Martin Quinson [Thu, 6 Dec 2012 20:12:42 +0000 (21:12 +0100)]
sort the elements of this file so that it becomes readable w/o loosing too much mental health points

10 years agomerge the refguide into the documentation
Martin Quinson [Thu, 6 Dec 2012 15:43:16 +0000 (16:43 +0100)]
merge the refguide into the documentation

10 years agomerge the insider manual into the main one
Martin Quinson [Thu, 6 Dec 2012 14:19:45 +0000 (15:19 +0100)]
merge the insider manual into the main one

10 years agomove the user manual one layer higher, so that all manuals are merged back
Martin Quinson [Thu, 6 Dec 2012 11:00:42 +0000 (12:00 +0100)]
move the user manual one layer higher, so that all manuals are merged back

10 years agothis file does not exists: it breaks make dist
Martin Quinson [Thu, 6 Dec 2012 10:17:26 +0000 (11:17 +0100)]
this file does not exists: it breaks make dist

10 years agoadding slides to the documentation was not wise from me
Martin Quinson [Thu, 6 Dec 2012 09:46:27 +0000 (10:46 +0100)]
adding slides to the documentation was not wise from me

10 years agostart refunding the userguide
Martin Quinson [Thu, 6 Dec 2012 09:44:55 +0000 (10:44 +0100)]
start refunding the userguide

10 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

10 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

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

10 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

10 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

10 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

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

10 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

10 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

10 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

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

10 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

10 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

10 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

10 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

10 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

10 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

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

10 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

10 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

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

10 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

10 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

10 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

10 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

10 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

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

10 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)

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

10 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

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

10 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

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

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

10 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).

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

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

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

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

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

10 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".

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

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

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

10 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

10 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

10 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

10 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

10 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

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

10 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

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

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

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

10 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

10 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

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

10 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?)

10 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

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

10 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

10 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

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

10 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

10 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

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

10 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

10 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

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

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

10 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>
10 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>
10 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

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

10 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

10 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)

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

10 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

10 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)

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