suter [Mon, 17 Dec 2012 15:30:12 +0000 (16:30 +0100)]
when the value of an event is a negative one, don't update resource
state during presolve. Allows to use default status up to the time (>0)
of the "real" first event.
suter [Mon, 17 Dec 2012 14:42:08 +0000 (15:42 +0100)]
add more debugging info there. Nice to know what is the new value
assigned to the link
Maximiliano Geier [Mon, 17 Dec 2012 14:52:20 +0000 (15:52 +0100)]
chainsend: print some transfer stats, move debug prints to where they belong
also count up bytes when transfering, so that the peer can print its "transfer speed" when it's done, and finally update tesh accordingly
Paul Bédaride [Mon, 17 Dec 2012 10:17:04 +0000 (11:17 +0100)]
Fix model checker config issue
Paul Bédaride [Mon, 17 Dec 2012 10:04:19 +0000 (11:04 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Paul Bédaride [Mon, 17 Dec 2012 10:03:42 +0000 (11:03 +0100)]
Move config from surf to simgrid
Sebastien Badia [Sun, 16 Dec 2012 23:46:49 +0000 (00:46 +0100)]
Cosmetics : Remove whitespaces for mquinson :-)
Marion Guthmuller [Sun, 16 Dec 2012 20:18:01 +0000 (21:18 +0100)]
model-checker : remove tesh bugged2 (too long with the new version of DPOR)
Marion Guthmuller [Sun, 16 Dec 2012 20:14:25 +0000 (21:14 +0100)]
model-checker : update tesh bugged1 with the new version of DPOR
Marion Guthmuller [Sun, 16 Dec 2012 17:31:45 +0000 (18:31 +0100)]
model-checker : interleave all enabled processes for each state and apply DPOR only once per process
Marion Guthmuller [Fri, 14 Dec 2012 15:24:09 +0000 (16:24 +0100)]
model-checker : cosmectics
Marion Guthmuller [Fri, 14 Dec 2012 14:57:57 +0000 (15:57 +0100)]
Remove comm from src_proc->comms and dst_proc->comms when finish it,
if is detached (dsend)
Currently, with dsend action, the wait of src_proc is not necessary to
finish the communication. In this case, only dst_proc removes this
communication from its list and destroys it, if src_proc is always
running. When src_proc makes a process_cleanup after that, it
retrieves this communication in its list while it doesn't exist
anymore and thinks that this communication isn't for it. This led to a
simulation error.
Marion Guthmuller [Fri, 14 Dec 2012 14:50:35 +0000 (15:50 +0100)]
remove comm from rdv if comm destroyed before being finished
Martin Quinson [Fri, 14 Dec 2012 15:02:05 +0000 (16:02 +0100)]
doc fix: AS has no 'name' attribute, but a 'id' one
Martin Quinson [Fri, 14 Dec 2012 14:51:43 +0000 (15:51 +0100)]
reindent, no real change
Arnaud Giersch [Fri, 14 Dec 2012 12:39:22 +0000 (13:39 +0100)]
Typos.
Arnaud Giersch [Fri, 14 Dec 2012 12:39:22 +0000 (13:39 +0100)]
Use cat+here document, instead of non-portable echo -e.
Martin Quinson [Fri, 14 Dec 2012 11:12:42 +0000 (12:12 +0100)]
make doxygen happy
Martin Quinson [Thu, 13 Dec 2012 15:36:24 +0000 (16:36 +0100)]
SimGrid 3.7 is ways too recent for GRAS (+cosmetics)
Martin Quinson [Thu, 13 Dec 2012 15:27:01 +0000 (16:27 +0100)]
document how to react when stuff break during the upgrade
Martin Quinson [Tue, 11 Dec 2012 10:52:30 +0000 (11:52 +0100)]
ignore that binary file
Augustin Degomme [Wed, 12 Dec 2012 18:33:40 +0000 (19:33 +0100)]
change the way we handle MPI_Request termination
to avoid using smx_action too much in smpi.
Removes a few more leaks in collectives
Handling of waitany was changed, it should return sooner and avoid a few unnecessary simcalls
Arnaud Legrand [Wed, 12 Dec 2012 11:00:35 +0000 (12:00 +0100)]
Spell check...
Arnaud Legrand [Wed, 14 Nov 2012 21:55:02 +0000 (14:55 -0700)]
This is useful for those typing ./configure & make without looking at output. :)
Paul Bédaride [Wed, 12 Dec 2012 09:11:54 +0000 (10:11 +0100)]
Add ctest2junit.xsl for jenkins
Arnaud Giersch [Wed, 12 Dec 2012 07:19:26 +0000 (08:19 +0100)]
Another missing include, needed with tracing=off.
Marion Guthmuller [Tue, 11 Dec 2012 17:01:54 +0000 (18:01 +0100)]
model-checker : update tesh bugged1_liveness
Arnaud Giersch [Tue, 11 Dec 2012 16:46:58 +0000 (17:46 +0100)]
File simgrid_modules.png is automatically generated.
Arnaud Giersch [Tue, 11 Dec 2012 16:43:42 +0000 (17:43 +0100)]
Add rule to generate png files from DOC_FIGS.
Arnaud Giersch [Tue, 11 Dec 2012 16:13:46 +0000 (17:13 +0100)]
Sort list, and add missing file output.goal.pdf.
Arnaud Giersch [Tue, 11 Dec 2012 15:38:59 +0000 (16:38 +0100)]
Remove/add a few includes.
Arnaud Giersch [Tue, 11 Dec 2012 15:35:15 +0000 (16:35 +0100)]
Revert "I'm so glad that this line is useless"
This reverts commit
5904252e9e4e84030ee544d5efbd832dffa696a7.
It broke builds with tracing=off.
Arnaud Giersch [Tue, 11 Dec 2012 15:30:12 +0000 (16:30 +0100)]
Enable tracing for Nightly_memCheck too.
Arnaud Giersch [Tue, 11 Dec 2012 14:48:02 +0000 (15:48 +0100)]
Remove now unused support for remote exceptions.
Plus slight reindent in ex.h.
Arnaud Giersch [Tue, 11 Dec 2012 14:34:24 +0000 (15:34 +0100)]
Define target before using it.
Arnaud Giersch [Tue, 11 Dec 2012 14:13:41 +0000 (15:13 +0100)]
Rename function (create->reset), and kill empty function (destroy).
Arnaud Giersch [Tue, 11 Dec 2012 14:13:41 +0000 (15:13 +0100)]
Use a sinlock instead of a mutex for mallocators.
Arnaud Giersch [Tue, 11 Dec 2012 14:13:41 +0000 (15:13 +0100)]
Factorize code for mutex locks.
Arnaud Giersch [Tue, 11 Dec 2012 14:13:41 +0000 (15:13 +0100)]
Protect mallocators for concurrent acces only with parallel mode.
Arnaud Giersch [Tue, 11 Dec 2012 14:13:41 +0000 (15:13 +0100)]
Enable smpi for Nightly_memCheck.
Martin Quinson [Tue, 11 Dec 2012 10:50:15 +0000 (11:50 +0100)]
make an error message informative
Martin Quinson [Tue, 11 Dec 2012 10:49:31 +0000 (11:49 +0100)]
I should stop coding at night -- sorry
Martin Quinson [Tue, 11 Dec 2012 10:49:06 +0000 (11:49 +0100)]
no need for unused variables
Martin Quinson [Tue, 11 Dec 2012 10:13:29 +0000 (11:13 +0100)]
plug a memleak on my way
Marion Guthmuller [Mon, 10 Dec 2012 16:34:50 +0000 (17:34 +0100)]
model-checker : update tesh bugged1 and bugged2
Marion Guthmuller [Mon, 10 Dec 2012 15:53:55 +0000 (16:53 +0100)]
model-checker : forget one fix in MC_state_set_executed_request
Marion Guthmuller [Mon, 10 Dec 2012 15:35:42 +0000 (16:35 +0100)]
model-checker : fix dpor algorithm if max depth reached
Marion Guthmuller [Mon, 10 Dec 2012 15:34:25 +0000 (16:34 +0100)]
model-checker : restore previous version of MC_state_set_executed_request, fixed with commit
87d50bb063f2937d73b984bed011fef018a761e2
Augustin Degomme [Fri, 7 Dec 2012 15:24:32 +0000 (16:24 +0100)]
add a bunch of new fortran bindings, to make bigdft happy
Marion Guthmuller [Mon, 10 Dec 2012 13:40:53 +0000 (14:40 +0100)]
model-checker : remove independance between iSend/iRecv and Wait
Marion Guthmuller [Mon, 10 Dec 2012 13:21:05 +0000 (14:21 +0100)]
model-checker : one region in snapshot for data and bss segments of libsimgrid
Martin Quinson [Mon, 10 Dec 2012 11:27:36 +0000 (12:27 +0100)]
document an ugly pimple in the code that were added for autorestart to work
Martin Quinson [Sun, 9 Dec 2012 21:20:09 +0000 (22:20 +0100)]
this file went public, obviously, so let's document it properly
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