Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years agothis file is now useless
Martin Quinson [Fri, 7 Dec 2012 08:55:12 +0000 (09:55 +0100)]
this file is now useless

7 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

7 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

7 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

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

7 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

7 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

7 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

7 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

7 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

7 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

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

7 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

7 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

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

7 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

7 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

7 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

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

7 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

7 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

7 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

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

7 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

7 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

7 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

7 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

7 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

7 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

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

7 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

7 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

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

7 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

7 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

7 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

7 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

7 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

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

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

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

7 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

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

7 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

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

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

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

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

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

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

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

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

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

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

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

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

7 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

7 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

7 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

7 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

7 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

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

7 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

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

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

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

7 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

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