]>
AND Public Git Repository - simgrid.git/log
Gabriel Corona [Fri, 15 Apr 2016 11:10:56 +0000 (13:10 +0200)]
Rewrite/simplify the C++ flag declaration
C++-style flags are all registered as xbt_cfgelm_string. I'd be in
favor of removing the other types in order to simplify the code.
Gabriel Corona [Fri, 15 Apr 2016 09:46:09 +0000 (11:46 +0200)]
Use new/delete for s_xbt_cfgelm_t
This way we can use std::function and other C++ types in it.
Gabriel Corona [Fri, 15 Apr 2016 09:02:42 +0000 (11:02 +0200)]
Move the config.c code in C++
This is done in order to prepare a better/cleaner integration of C++-style options.
Frederic Suter [Mon, 18 Apr 2016 08:32:31 +0000 (10:32 +0200)]
end of MSG examples doc revision
+ back to 3.12 "quality"
+ should be completed with other modules (cloud, energy, ...)
degomme [Sun, 17 Apr 2016 16:34:53 +0000 (18:34 +0200)]
Allow parallel dynamicanalysis
Frederic Suter [Sun, 17 Apr 2016 16:07:54 +0000 (18:07 +0200)]
revise I/O examples doc
+ merge file and file-unlink, the latter was redundant but for one
function
Martin Quinson [Sun, 17 Apr 2016 12:49:48 +0000 (14:49 +0200)]
storage: plug a dumb memleak
Martin Quinson [Sun, 17 Apr 2016 12:43:06 +0000 (14:43 +0200)]
What's not malloced cannot be leaked
The core of this change is the following:
--- a/src/surf/xml/platf_private.hpp
+++ b/src/surf/xml/platf_private.hpp
@@ -91,7 +91,7 @@ typedef struct s_sg_platf_route_cbarg {
const char *dst;
sg_netcard_t gw_src;
sg_netcard_t gw_dst;
- std::vector<Link*> *link_list;
+ std::vector<Link*> link_list;
} s_sg_platf_route_cbarg_t;
-----------
The rest of the changes are just code adaptation to that change.
Martin Quinson [Sun, 17 Apr 2016 12:23:53 +0000 (14:23 +0200)]
plug a memleak in Threaded maestro creation
Martin Quinson [Sun, 17 Apr 2016 09:49:06 +0000 (11:49 +0200)]
NS3 tests: reduce the amount of exchanged data to speed things up
Martin Quinson [Sun, 17 Apr 2016 09:21:18 +0000 (11:21 +0200)]
plug some more memleaks
Martin Quinson [Sun, 17 Apr 2016 09:06:02 +0000 (11:06 +0200)]
plug a memleak
Martin Quinson [Sat, 16 Apr 2016 20:22:48 +0000 (22:22 +0200)]
remove an old cruft from MS Visual
degomme [Sun, 17 Apr 2016 00:03:04 +0000 (02:03 +0200)]
remove now useless files
degomme [Sat, 16 Apr 2016 21:58:42 +0000 (23:58 +0200)]
Don't cleanup valgrind files in coverage ...
degomme [Sat, 16 Apr 2016 20:51:14 +0000 (22:51 +0200)]
File now has a new name.
degomme [Sat, 16 Apr 2016 20:04:20 +0000 (22:04 +0200)]
remove include
degomme [Sat, 16 Apr 2016 20:00:30 +0000 (22:00 +0200)]
new cleaner attempt, using TESH_OPTION
degomme [Sat, 16 Apr 2016 17:07:58 +0000 (19:07 +0200)]
Attempt to have dynamicanalysis working again.
Frederic Suter [Fri, 15 Apr 2016 22:04:37 +0000 (00:04 +0200)]
fix and correct async detailed example
Frederic Suter [Fri, 15 Apr 2016 21:28:22 +0000 (23:28 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Fri, 15 Apr 2016 21:28:05 +0000 (23:28 +0200)]
revise ns3 documentation
Martin Quinson [Fri, 15 Apr 2016 20:58:02 +0000 (22:58 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 15 Apr 2016 20:57:58 +0000 (22:57 +0200)]
refresh the 'Setting up your own code' part of the documentation
Frederic Suter [Fri, 15 Apr 2016 20:56:23 +0000 (22:56 +0200)]
revise documentation of tracing examples
Frederic Suter [Fri, 15 Apr 2016 19:45:23 +0000 (21:45 +0200)]
revise documentation of async examples
Frederic Suter [Fri, 15 Apr 2016 19:37:48 +0000 (21:37 +0200)]
typos and useless register
Frederic Suter [Fri, 15 Apr 2016 19:28:11 +0000 (21:28 +0200)]
useless MSG_function_register
Frederic Suter [Fri, 15 Apr 2016 19:13:18 +0000 (21:13 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
degomme [Fri, 15 Apr 2016 10:09:33 +0000 (12:09 +0200)]
wrong option in the test gave rarely different timings on some systems.
Martin Quinson [Fri, 15 Apr 2016 09:03:56 +0000 (11:03 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
degomme [Thu, 14 Apr 2016 16:48:56 +0000 (18:48 +0200)]
gcc 6 warning --
Gabriel Corona [Thu, 14 Apr 2016 14:09:40 +0000 (16:09 +0200)]
[mc] Fix this != nullptr remaining from previous refactoring
Gabriel Corona [Thu, 14 Apr 2016 13:44:47 +0000 (15:44 +0200)]
[mc] Remove unused declarations
Gabriel Corona [Thu, 14 Apr 2016 13:44:28 +0000 (15:44 +0200)]
[mc] Remove spurious declaration (remaining from previous commit)
Gabriel Corona [Thu, 14 Apr 2016 13:13:45 +0000 (15:13 +0200)]
[mc] Move the remaining restoreState() into CommuinicationDeterminismChecker
Gabriel Corona [Thu, 14 Apr 2016 12:58:24 +0000 (14:58 +0200)]
[mc] Duplicate restoreState() as a method of SafetyChecker
* it is much simpler in this form;
* we should focus on making a nice Session API for SafetyChecker and
then expand it for other algorithms.
Gabriel Corona [Thu, 14 Apr 2016 12:32:24 +0000 (14:32 +0200)]
[mv] Remove soft-darty tracking
* the code handling this is quite a mess;
* let's have a clean codebase before trying to optimize to much.
Gabriel Corona [Thu, 14 Apr 2016 12:23:01 +0000 (14:23 +0200)]
[mc] Rename replay() function to restoreState()
because sometimes we restore the state without replaying anything.
Frederic Suter [Thu, 14 Apr 2016 11:12:04 +0000 (13:12 +0200)]
document all process- examples
Frederic Suter [Thu, 14 Apr 2016 10:56:23 +0000 (12:56 +0200)]
rework doc/html/examples.html#MSG_ex_master_worker
Gabriel Corona [Thu, 14 Apr 2016 09:52:15 +0000 (11:52 +0200)]
[mc] Move mc_global stuff into CommunicationDeterminismChecker
Get rid of initial_global_state.
Gabriel Corona [Thu, 14 Apr 2016 09:09:12 +0000 (11:09 +0200)]
[mc] Move mc_global stuff into LivenessChecker
This gets rid of initial_global_state in LivenessChecker.
Gabriel Corona [Thu, 14 Apr 2016 08:34:17 +0000 (10:34 +0200)]
[mc] Move initial state into Session
We can get rid of s_mc_global_t in SafetyChecker.
Frederic Suter [Thu, 14 Apr 2016 07:06:07 +0000 (09:06 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Martin Quinson [Wed, 13 Apr 2016 16:33:48 +0000 (18:33 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Wed, 13 Apr 2016 16:28:25 +0000 (18:28 +0200)]
typo--
Gabriel Corona [Wed, 13 Apr 2016 13:35:23 +0000 (15:35 +0200)]
[mc] Remove useless bits
Gabriel Corona [Wed, 13 Apr 2016 13:17:52 +0000 (15:17 +0200)]
[mc] Move MC_report() functions as static functions where they're used
Gabriel Corona [Wed, 13 Apr 2016 13:10:48 +0000 (15:10 +0200)]
[mc] Remove mc_stats and move remaining stats in ModelChecker for now
Gabriel Corona [Wed, 13 Apr 2016 12:56:34 +0000 (14:56 +0200)]
[mc] Remove mc_stats.state_size (not used)
Gabriel Corona [Wed, 13 Apr 2016 12:55:19 +0000 (14:55 +0200)]
[mc] Move mc_stats.expanded_states into the Checkers
Martin Quinson [Wed, 13 Apr 2016 09:44:13 +0000 (11:44 +0200)]
simgrid_update_xml: more explicit message when no file is provided
Martin Quinson [Tue, 12 Apr 2016 20:16:58 +0000 (22:16 +0200)]
also provide an informative error message when Java is missing boost-context
Gabriel Corona [Wed, 13 Apr 2016 12:44:25 +0000 (14:44 +0200)]
[mc] Remove orphaned declarations
Gabriel Corona [Wed, 13 Apr 2016 11:53:26 +0000 (13:53 +0200)]
Remove useless #includes
Gabriel Corona [Wed, 13 Apr 2016 11:01:44 +0000 (13:01 +0200)]
[mc] Livenesschecker, make private stuff private
Gabriel Corona [Wed, 13 Apr 2016 11:00:27 +0000 (13:00 +0200)]
[mc] Move liveness stats out of mc_stats into LivenessChecker
Gabriel Corona [Wed, 13 Apr 2016 10:45:26 +0000 (12:45 +0200)]
[mc] Delegate some part of Session::logState() to Checker::logState()
This separates the Checker-specific code from the generic/shared code.
The session should not need to know about every existing Checker.
Gabriel Corona [Wed, 13 Apr 2016 10:26:49 +0000 (12:26 +0200)]
[mc] Move MC_print_statistics() as Session::logState()
Gabriel Corona [Wed, 13 Apr 2016 10:13:10 +0000 (12:13 +0200)]
[mc] Remove old dual-stack-related comment
Gabriel Corona [Wed, 13 Apr 2016 10:05:32 +0000 (12:05 +0200)]
[mc] Use Session::execute() in LivenessChecker as well
Gabriel Corona [Wed, 13 Apr 2016 10:04:26 +0000 (12:04 +0200)]
[mc] Remove useless model-checker/model-checked round trip
Gabriel Corona [Wed, 13 Apr 2016 09:53:07 +0000 (11:53 +0200)]
[mc] Add methods to Session
Gabriel Corona [Wed, 13 Apr 2016 09:39:26 +0000 (11:39 +0200)]
[mc] s/getRecordElement/getTransition/
Gabriel Corona [Mon, 11 Apr 2016 11:55:45 +0000 (13:55 +0200)]
simgrid::config::flag, a more declarative way to describe CLI flags
I got rid of xbt_cfg_cpy() in the process which was not used. If we
want to support it, we can:
* either provide a "copy" callback;
* or (better) use reference counts on the callback.
Martin Quinson [Tue, 12 Apr 2016 17:50:40 +0000 (19:50 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 12 Apr 2016 17:50:28 +0000 (19:50 +0200)]
more informative message when java needs libcgraph
degomme [Mon, 11 Apr 2016 10:50:34 +0000 (12:50 +0200)]
Change underlying datatype for some fortran ones (MPI_AINT, OFFSET and COUNT)
Add more details on which datatypes are which ones in smpi f77
Martin Quinson [Mon, 11 Apr 2016 10:20:49 +0000 (12:20 +0200)]
Check for boost-graph
It will be used to reimplement dijkstra and floyd routings.
Gabriel Corona [Mon, 11 Apr 2016 08:55:31 +0000 (10:55 +0200)]
[mc] Rename RecordTraceElement as Transition and use it to represent a transition
Martin Quinson [Mon, 11 Apr 2016 09:22:15 +0000 (11:22 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Frederic Suter [Sun, 10 Apr 2016 16:36:46 +0000 (18:36 +0200)]
add process-kill to the list
of documented examples
format the output too
Frederic Suter [Sun, 10 Apr 2016 13:35:57 +0000 (15:35 +0200)]
have uniform log format for the same example
Frederic Suter [Sun, 10 Apr 2016 13:24:27 +0000 (15:24 +0200)]
one step further in documenting MSG examples
Martin Quinson [Sun, 10 Apr 2016 10:08:38 +0000 (12:08 +0200)]
kill an unused layer of code
Frederic Suter [Sat, 9 Apr 2016 20:30:14 +0000 (22:30 +0200)]
rework documentation for
+ pingpong
+ master-worker
+ process-migration
Martin Quinson [Sat, 9 Apr 2016 17:34:08 +0000 (19:34 +0200)]
cosmetics
Frederic Suter [Sat, 9 Apr 2016 15:24:33 +0000 (17:24 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Sat, 9 Apr 2016 15:08:58 +0000 (17:08 +0200)]
revisit examples/msg/sendrecv
+ now this really is a ping-pong example as stated in the
"documentation"
+ We said "It's hard to think of a simpler example", well now this
statement makes sense ...
degomme [Fri, 8 Apr 2016 20:54:15 +0000 (22:54 +0200)]
try to get rid of random crashes in RMA.
dynar_to_array releases the win->requests array, allocate the new one immediately after.
Because if we wait after the mpi_waitall, we may have other processes try to add requests in the old one.
Martin Quinson [Fri, 8 Apr 2016 20:06:14 +0000 (22:06 +0200)]
useless psychotic cleanup
Martin Quinson [Thu, 7 Apr 2016 20:44:02 +0000 (22:44 +0200)]
__FUNCTION__ is now in the standard
Frederic Suter [Fri, 8 Apr 2016 14:52:32 +0000 (16:52 +0200)]
just opened Pandora's doc ...
which is full of all possible illnesses ...
Frederic Suter [Fri, 8 Apr 2016 14:06:53 +0000 (16:06 +0200)]
3 more renamed tests
Gabriel Corona [Fri, 8 Apr 2016 12:42:43 +0000 (14:42 +0200)]
[mc] Remove the ugly is_in_vector() hack
Gabriel Corona [Fri, 8 Apr 2016 12:08:38 +0000 (14:08 +0200)]
[mc] Move resolve_process...() as methods of Process
Gabriel Corona [Fri, 8 Apr 2016 11:40:36 +0000 (13:40 +0200)]
[mc] Remove old commented-out code
Those functions do not even exist anymore.
Gabriel Corona [Fri, 8 Apr 2016 10:01:27 +0000 (12:01 +0200)]
[mc] Remove useless MC_MODE_CLIENT paths
Gabriel Corona [Fri, 8 Apr 2016 09:50:09 +0000 (11:50 +0200)]
[mc] Mark some remote pointers as such
Gabriel Corona [Fri, 8 Apr 2016 09:22:05 +0000 (11:22 +0200)]
[mc] Misc. comments
Gabriel Corona [Fri, 8 Apr 2016 08:59:22 +0000 (10:59 +0200)]
[mc] Mark xbt::string as a hack
degomme [Thu, 7 Apr 2016 17:40:53 +0000 (19:40 +0200)]
Don't check value of an output .. it may be uninitialized, obviously
Martin Quinson [Thu, 7 Apr 2016 16:25:06 +0000 (18:25 +0200)]
oups, forgot to adapt MC to my last change in config
Martin Quinson [Thu, 7 Apr 2016 14:51:33 +0000 (16:51 +0200)]
fix the binary name to test Lua
Martin Quinson [Thu, 7 Apr 2016 14:50:40 +0000 (16:50 +0200)]
scaling tests are not welcome in the regression testing
Plus the scaling of the VM solution is easily tested with other ones,
that are in addition maybe more expressive to newcommers.
Martin Quinson [Thu, 7 Apr 2016 13:39:46 +0000 (15:39 +0200)]
further tiny commit in xbt_config. that's not multivalued anymore
Gabriel Corona [Thu, 7 Apr 2016 13:01:57 +0000 (15:01 +0200)]
[mc] Remove orphaned declaration
Gabriel Corona [Thu, 7 Apr 2016 12:33:42 +0000 (14:33 +0200)]
[mc] Sort out FIXMEs and TODOs
Gabriel Corona [Thu, 7 Apr 2016 12:14:56 +0000 (14:14 +0200)]
[mc] Debatably better documentation of State