Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
11 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

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

11 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

11 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

11 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

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

11 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

11 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

11 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

11 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

11 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

11 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

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

11 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

11 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

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

11 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

11 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

11 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

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

11 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

11 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

11 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

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

11 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

11 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

11 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

11 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

11 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

11 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

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

11 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

11 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

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

11 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

11 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

11 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

11 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

11 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

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

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

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

11 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

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

11 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

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

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

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

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

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

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

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

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

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

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

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

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

11 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

11 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

11 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

11 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

11 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

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

11 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

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

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

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

11 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

11 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

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

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

11 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

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

11 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

11 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

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

11 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

11 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

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

11 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

11 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

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

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

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

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

11 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

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

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

11 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

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

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

11 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/.

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

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

11 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

11 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

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

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