Martin Quinson [Sat, 8 Dec 2012 15:16:01 +0000 (16:16 +0100)]
cosmetics
Martin Quinson [Sat, 8 Dec 2012 15:13:12 +0000 (16:13 +0100)]
doc: rename involved into contributing, and write a first version of this page
Martin Quinson [Sat, 8 Dec 2012 11:18:07 +0000 (12:18 +0100)]
the ref guide is not separated anymore
Martin Quinson [Sat, 8 Dec 2012 11:17:52 +0000 (12:17 +0100)]
further improve the doc on documenting simgrid
Martin Quinson [Sat, 8 Dec 2012 03:18:31 +0000 (04:18 +0100)]
document how to document simgrid so that other can do that too
Martin Quinson [Sat, 8 Dec 2012 03:18:00 +0000 (04:18 +0100)]
no need to declare twice the list of files that must be copied into the documentation
Martin Quinson [Sat, 8 Dec 2012 03:17:02 +0000 (04:17 +0100)]
document the unit testing mecanism
Martin Quinson [Sat, 8 Dec 2012 03:15:53 +0000 (04:15 +0100)]
fix doxygen markup
Martin Quinson [Sat, 8 Dec 2012 01:12:16 +0000 (02:12 +0100)]
improve the internal doc on cmake files
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
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
Maximiliano Geier [Fri, 7 Dec 2012 13:47:11 +0000 (14:47 +0100)]
chainsend: change tesh to test with 8192 pieces
Maximiliano Geier [Fri, 7 Dec 2012 13:40:34 +0000 (14:40 +0100)]
chainsend: change test platform latencies and bandwidth to LAN-like values
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
Maximiliano Geier [Fri, 7 Dec 2012 13:39:02 +0000 (14:39 +0100)]
chainsend: change default number of pieces
Maximiliano Geier [Fri, 7 Dec 2012 13:38:03 +0000 (14:38 +0100)]
chainsend: add number of pieces as parameter of the broadcaster
Martin Quinson [Fri, 7 Dec 2012 08:55:28 +0000 (09:55 +0100)]
I'm so glad that this line is useless
Martin Quinson [Fri, 7 Dec 2012 08:55:12 +0000 (09:55 +0100)]
this file is now useless
Martin Quinson [Fri, 7 Dec 2012 07:02:09 +0000 (08:02 +0100)]
fix the 'sync-gforge-doc' target
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
Martin Quinson [Thu, 6 Dec 2012 20:16:18 +0000 (21:16 +0100)]
activate the search engine, and keep the doxygen warnings under control
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.
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
Martin Quinson [Thu, 6 Dec 2012 15:43:16 +0000 (16:43 +0100)]
merge the refguide into the documentation
Martin Quinson [Thu, 6 Dec 2012 14:19:45 +0000 (15:19 +0100)]
merge the insider manual into the main one
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
Martin Quinson [Thu, 6 Dec 2012 10:17:26 +0000 (11:17 +0100)]
this file does not exists: it breaks make dist
Martin Quinson [Thu, 6 Dec 2012 09:46:27 +0000 (10:46 +0100)]
adding slides to the documentation was not wise from me
Martin Quinson [Thu, 6 Dec 2012 09:44:55 +0000 (10:44 +0100)]
start refunding the userguide
Martin Quinson [Thu, 6 Dec 2012 00:29:55 +0000 (01:29 +0100)]
we should not forget about the mainpage of the documentation
Martin Quinson [Wed, 5 Dec 2012 22:12:10 +0000 (23:12 +0100)]
these files are not generated anymore
Augustin Degomme [Thu, 6 Dec 2012 18:09:11 +0000 (19:09 +0100)]
fix config issue
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
Augustin Degomme [Thu, 6 Dec 2012 17:31:11 +0000 (18:31 +0100)]
mallocators were not initialized and used since commit
1f50f809
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
Paul Bédaride [Thu, 6 Dec 2012 09:52:20 +0000 (10:52 +0100)]
Add ModelChecker build type
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
Marion Guthmuller [Thu, 6 Dec 2012 09:16:53 +0000 (10:16 +0100)]
model-checker : improve debug message if different global variable
Marion Guthmuller [Thu, 6 Dec 2012 09:16:10 +0000 (10:16 +0100)]
model-checker : ignore global variables corresponding to a counter for coverage
Martin Quinson [Wed, 5 Dec 2012 20:57:59 +0000 (21:57 +0100)]
these includes are useless
Martin Quinson [Wed, 5 Dec 2012 20:21:18 +0000 (21:21 +0100)]
we need that files to compile on windows
Augustin Degomme [Wed, 5 Dec 2012 18:10:42 +0000 (19:10 +0100)]
activate pt2pt truncmult test in teshsuite
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
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
Marion Guthmuller [Wed, 5 Dec 2012 15:21:15 +0000 (16:21 +0100)]
model-checker : increase tesh timeout for mc-chord-neverjoin-ucontext
Marion Guthmuller [Wed, 5 Dec 2012 14:58:31 +0000 (15:58 +0100)]
model-checker : update snapshot_comparison tests
Marion Guthmuller [Tue, 4 Dec 2012 18:16:33 +0000 (19:16 +0100)]
model-checker : ignore new variables
Marion Guthmuller [Tue, 4 Dec 2012 18:15:13 +0000 (19:15 +0100)]
model-checker : display instruction pointer if different local variable
Marion Guthmuller [Tue, 4 Dec 2012 15:30:28 +0000 (16:30 +0100)]
model-checker : ignore simcall result in heap comparison
Marion Guthmuller [Tue, 4 Dec 2012 15:29:13 +0000 (16:29 +0100)]
model-checker : remove unused code
Marion Guthmuller [Tue, 4 Dec 2012 15:28:54 +0000 (16:28 +0100)]
model-checker : set raw heap for initialization step
Marion Guthmuller [Tue, 4 Dec 2012 15:20:39 +0000 (16:20 +0100)]
model-checker : get libsimgrid_path with MC_init_memory_map_infos
bedaride [Tue, 4 Dec 2012 15:15:31 +0000 (16:15 +0100)]
Dirty Fix to handle model checking with new simcalls
Martin Quinson [Tue, 4 Dec 2012 13:19:52 +0000 (14:19 +0100)]
and now, with the right URL for the faq, bummer
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
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.
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)
shenshei [Mon, 3 Dec 2012 16:54:02 +0000 (17:54 +0100)]
Fix debug message in simix
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
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.
Augustin Degomme [Mon, 3 Dec 2012 11:10:47 +0000 (12:10 +0100)]
hopefully remove leak in permanent receive mode
Arnaud Giersch [Mon, 3 Dec 2012 09:29:13 +0000 (10:29 +0100)]
Add a note about inline functions in README.coding.
Arnaud Giersch [Fri, 30 Nov 2012 16:39:21 +0000 (17:39 +0100)]
Remove spurious semicolon.
Arnaud Giersch [Fri, 30 Nov 2012 16:31:16 +0000 (17:31 +0100)]
Define inline functions in header file (again).
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.
Arnaud Giersch [Fri, 30 Nov 2012 15:41:11 +0000 (16:41 +0100)]
Define inline function in header file.
Arnaud Giersch [Fri, 30 Nov 2012 15:23:18 +0000 (16:23 +0100)]
Initialize variables, and make valgrind happy.
Arnaud Giersch [Fri, 30 Nov 2012 14:59:14 +0000 (15:59 +0100)]
Print a message and exit if file was not found.
Arnaud Giersch [Fri, 30 Nov 2012 14:56:11 +0000 (15:56 +0100)]
Activate memcheck tests for smpi-replay.
Arnaud Giersch [Mon, 3 Dec 2012 09:53:27 +0000 (10:53 +0100)]
Make generate_memcheck_tests.pl handle command "mkfile".
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.
Arnaud Giersch [Thu, 29 Nov 2012 21:20:30 +0000 (22:20 +0100)]
Make tests work when building out of the sources.
Arnaud Giersch [Thu, 29 Nov 2012 21:19:29 +0000 (22:19 +0100)]
Don't ignore full directory contents.
Marion Guthmuller [Sun, 2 Dec 2012 21:28:01 +0000 (22:28 +0100)]
model-checker : remove independance between iRecv and Wait
Marion Guthmuller [Sun, 2 Dec 2012 21:15:23 +0000 (22:15 +0100)]
model-checker : statistics printed twice if exhaustive exploration
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
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
Marion Guthmuller [Sun, 2 Dec 2012 21:07:32 +0000 (22:07 +0100)]
model-checker : text segment is read and exec only
Marion Guthmuller [Sun, 2 Dec 2012 21:05:52 +0000 (22:05 +0100)]
model-checker : cleanups in comments
Marion Guthmuller [Sun, 2 Dec 2012 21:01:39 +0000 (22:01 +0100)]
model-checker : get .got.plt sections
Marion Guthmuller [Thu, 29 Nov 2012 13:09:04 +0000 (14:09 +0100)]
model-checker : increase tesh timeout
Marion Guthmuller [Thu, 29 Nov 2012 13:07:21 +0000 (14:07 +0100)]
model-checker : fix tesh name
Marion Guthmuller [Thu, 29 Nov 2012 13:02:15 +0000 (14:02 +0100)]
model-checker : increase tesh timeouts
suter [Sun, 2 Dec 2012 11:45:22 +0000 (12:45 +0100)]
add the test of allReduce replay
suter [Sun, 2 Dec 2012 11:44:30 +0000 (12:44 +0100)]
yet another action file for allReduce
suter [Fri, 30 Nov 2012 15:20:10 +0000 (16:20 +0100)]
missing file
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?)
suter [Fri, 30 Nov 2012 09:16:52 +0000 (10:16 +0100)]
remove temporary file at the end of the tesh f
suter [Fri, 30 Nov 2012 09:15:36 +0000 (10:15 +0100)]
typos
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
Augustin Degomme [Fri, 30 Nov 2012 11:44:15 +0000 (12:44 +0100)]
fix a memory leak happening with smpi_replay
Augustin Degomme [Wed, 28 Nov 2012 17:42:49 +0000 (18:42 +0100)]
add support of smpif90 file
Augustin Degomme [Wed, 28 Nov 2012 10:36:42 +0000 (11:36 +0100)]
few fortran defines to make bigdft happy
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
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.
Augustin Degomme [Wed, 28 Nov 2012 08:58:41 +0000 (09:58 +0100)]
add two functions to fortran bindings, needed by specfem
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
shenshei [Fri, 30 Nov 2012 14:09:01 +0000 (15:09 +0100)]
Merge ../simgrid
shenshei [Fri, 30 Nov 2012 14:07:38 +0000 (15:07 +0100)]
New simcalls work
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>