Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
3 years agosimgrid_update_xml: more explicit message when no file is provided
Martin Quinson [Wed, 13 Apr 2016 09:44:13 +0000 (11:44 +0200)]
simgrid_update_xml: more explicit message when no file is provided

3 years agoalso provide an informative error message when Java is missing boost-context
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

3 years ago[mc] Remove orphaned declarations
Gabriel Corona [Wed, 13 Apr 2016 12:44:25 +0000 (14:44 +0200)]
[mc] Remove orphaned declarations

3 years agoRemove useless #includes
Gabriel Corona [Wed, 13 Apr 2016 11:53:26 +0000 (13:53 +0200)]
Remove useless #includes

3 years ago[mc] Livenesschecker, make private stuff private
Gabriel Corona [Wed, 13 Apr 2016 11:01:44 +0000 (13:01 +0200)]
[mc] Livenesschecker, make private stuff private

3 years ago[mc] Move liveness stats out of mc_stats into LivenessChecker
Gabriel Corona [Wed, 13 Apr 2016 11:00:27 +0000 (13:00 +0200)]
[mc] Move liveness stats out of mc_stats into LivenessChecker

3 years ago[mc] Delegate some part of Session::logState() to Checker::logState()
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.

3 years ago[mc] Move MC_print_statistics() as Session::logState()
Gabriel Corona [Wed, 13 Apr 2016 10:26:49 +0000 (12:26 +0200)]
[mc] Move MC_print_statistics() as Session::logState()

3 years ago[mc] Remove old dual-stack-related comment
Gabriel Corona [Wed, 13 Apr 2016 10:13:10 +0000 (12:13 +0200)]
[mc] Remove old dual-stack-related comment

3 years ago[mc] Use Session::execute() in LivenessChecker as well
Gabriel Corona [Wed, 13 Apr 2016 10:05:32 +0000 (12:05 +0200)]
[mc] Use Session::execute() in LivenessChecker as well

3 years ago[mc] Remove useless model-checker/model-checked round trip
Gabriel Corona [Wed, 13 Apr 2016 10:04:26 +0000 (12:04 +0200)]
[mc] Remove useless model-checker/model-checked round trip

3 years ago[mc] Add methods to Session
Gabriel Corona [Wed, 13 Apr 2016 09:53:07 +0000 (11:53 +0200)]
[mc] Add methods to Session

3 years ago[mc] s/getRecordElement/getTransition/
Gabriel Corona [Wed, 13 Apr 2016 09:39:26 +0000 (11:39 +0200)]
[mc] s/getRecordElement/getTransition/

3 years agosimgrid::config::flag, a more declarative way to describe CLI flags
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.

3 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 12 Apr 2016 17:50:40 +0000 (19:50 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

3 years agomore informative message when java needs libcgraph
Martin Quinson [Tue, 12 Apr 2016 17:50:28 +0000 (19:50 +0200)]
more informative message when java needs libcgraph

3 years agoChange underlying datatype for some fortran ones (MPI_AINT, OFFSET and COUNT)
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

3 years agoCheck for boost-graph
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.

3 years ago[mc] Rename RecordTraceElement as Transition and use it to represent a transition
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

3 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 11 Apr 2016 09:22:15 +0000 (11:22 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

3 years agohave uniform log format for the same example
Frederic Suter [Sun, 10 Apr 2016 13:35:57 +0000 (15:35 +0200)]
have uniform log format for the same example

3 years agoone step further in documenting MSG examples
Frederic Suter [Sun, 10 Apr 2016 13:24:27 +0000 (15:24 +0200)]
one step further in documenting MSG examples

3 years agokill an unused layer of code
Martin Quinson [Sun, 10 Apr 2016 10:08:38 +0000 (12:08 +0200)]
kill an unused layer of code

3 years agorework documentation for
Frederic Suter [Sat, 9 Apr 2016 20:30:14 +0000 (22:30 +0200)]
rework documentation for
  + pingpong
  + master-worker
  + process-migration

3 years agocosmetics
Martin Quinson [Sat, 9 Apr 2016 17:34:08 +0000 (19:34 +0200)]
cosmetics

3 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
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

3 years agorevisit examples/msg/sendrecv
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 ...

3 years agotry to get rid of random crashes in RMA.
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.

3 years agouseless psychotic cleanup
Martin Quinson [Fri, 8 Apr 2016 20:06:14 +0000 (22:06 +0200)]
useless psychotic cleanup

3 years ago__FUNCTION__ is now in the standard
Martin Quinson [Thu, 7 Apr 2016 20:44:02 +0000 (22:44 +0200)]
__FUNCTION__ is now in the standard

3 years agojust opened Pandora's doc ...
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 ...

3 years ago3 more renamed tests
Frederic Suter [Fri, 8 Apr 2016 14:06:53 +0000 (16:06 +0200)]
3 more renamed tests

3 years ago[mc] Remove the ugly is_in_vector() hack
Gabriel Corona [Fri, 8 Apr 2016 12:42:43 +0000 (14:42 +0200)]
[mc] Remove the ugly is_in_vector() hack

3 years ago[mc] Move resolve_process...() as methods of Process
Gabriel Corona [Fri, 8 Apr 2016 12:08:38 +0000 (14:08 +0200)]
[mc] Move resolve_process...() as methods of Process

3 years ago[mc] Remove old commented-out code
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.

3 years ago[mc] Remove useless MC_MODE_CLIENT paths
Gabriel Corona [Fri, 8 Apr 2016 10:01:27 +0000 (12:01 +0200)]
[mc] Remove useless MC_MODE_CLIENT paths

3 years ago[mc] Mark some remote pointers as such
Gabriel Corona [Fri, 8 Apr 2016 09:50:09 +0000 (11:50 +0200)]
[mc] Mark some remote pointers as such

3 years ago[mc] Misc. comments
Gabriel Corona [Fri, 8 Apr 2016 09:22:05 +0000 (11:22 +0200)]
[mc] Misc. comments

3 years ago[mc] Mark xbt::string as a hack
Gabriel Corona [Fri, 8 Apr 2016 08:59:22 +0000 (10:59 +0200)]
[mc] Mark xbt::string as a hack

3 years agoDon't check value of an output .. it may be uninitialized, obviously
degomme [Thu, 7 Apr 2016 17:40:53 +0000 (19:40 +0200)]
Don't check value of an output .. it may be uninitialized, obviously

3 years agooups, forgot to adapt MC to my last change in config
Martin Quinson [Thu, 7 Apr 2016 16:25:06 +0000 (18:25 +0200)]
oups, forgot to adapt MC to my last change in config

3 years agofix the binary name to test Lua
Martin Quinson [Thu, 7 Apr 2016 14:51:33 +0000 (16:51 +0200)]
fix the binary name to test Lua

3 years agoscaling tests are not welcome in the regression testing
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.

3 years agofurther tiny commit in xbt_config. that's not multivalued anymore
Martin Quinson [Thu, 7 Apr 2016 13:39:46 +0000 (15:39 +0200)]
further tiny commit in xbt_config. that's not multivalued anymore

3 years ago[mc] Remove orphaned declaration
Gabriel Corona [Thu, 7 Apr 2016 13:01:57 +0000 (15:01 +0200)]
[mc] Remove orphaned declaration

3 years ago[mc] Sort out FIXMEs and TODOs
Gabriel Corona [Thu, 7 Apr 2016 12:33:42 +0000 (14:33 +0200)]
[mc] Sort out FIXMEs and TODOs

3 years ago[mc] Debatably better documentation of State
Gabriel Corona [Thu, 7 Apr 2016 12:14:56 +0000 (14:14 +0200)]
[mc] Debatably better documentation of State

3 years ago[mc] s/value/req_num/ because 'value' does not convey any meaning
Gabriel Corona [Thu, 7 Apr 2016 11:23:02 +0000 (13:23 +0200)]
[mc] s/value/req_num/ because 'value' does not convey any meaning

3 years ago[mc] Remove the client-side processing in simgrid::mc::handle_simcall()
Gabriel Corona [Thu, 7 Apr 2016 11:17:53 +0000 (13:17 +0200)]
[mc] Remove the client-side processing in simgrid::mc::handle_simcall()

3 years ago[mc] Get rid of the ugly "value" out parameter in MC_state_get_request()
Gabriel Corona [Thu, 7 Apr 2016 10:39:18 +0000 (12:39 +0200)]
[mc] Get rid of the ugly "value" out parameter in MC_state_get_request()

3 years ago[mc] Remove MC_state_get_internal_request()
Gabriel Corona [Thu, 7 Apr 2016 09:48:47 +0000 (11:48 +0200)]
[mc] Remove MC_state_get_internal_request()

3 years ago[mc] Remove MC_state_get_executed_request()
Gabriel Corona [Thu, 7 Apr 2016 09:40:05 +0000 (11:40 +0200)]
[mc] Remove MC_state_get_executed_request()

It claims to get the executed request but actually does something else
at the same time.

3 years agoFix some tests failing in out of source builds
degomme [Thu, 7 Apr 2016 10:13:24 +0000 (12:13 +0200)]
Fix some tests failing in out of source builds

3 years ago[mc] Add Factor some gorry code to State::getRecordElement()
Gabriel Corona [Thu, 7 Apr 2016 09:27:49 +0000 (11:27 +0200)]
[mc] Add Factor some gorry code to State::getRecordElement()

Avoid using should-be-private-stuff oustside of State.

3 years ago[mc] Simplify/unify the interleeaving/exploration logic
Gabriel Corona [Thu, 7 Apr 2016 08:58:44 +0000 (10:58 +0200)]
[mc] Simplify/unify the interleeaving/exploration logic

* MC_RANDOM was using a different mechanism from its friends in order to
  keep track of which transition was already executed;

* document the different fields;

* add methods.

3 years ago[mc] Get rid of MC_state_set_executed_request() in order to simplify the Checkers
Gabriel Corona [Wed, 6 Apr 2016 14:05:38 +0000 (16:05 +0200)]
[mc] Get rid of MC_state_set_executed_request() in order to simplify the Checkers

3 years ago[mc] Document/cleanup State
Gabriel Corona [Wed, 6 Apr 2016 12:42:00 +0000 (14:42 +0200)]
[mc] Document/cleanup State

3 years agons3: ignore the output as it changes with the version
Martin Quinson [Thu, 7 Apr 2016 06:42:42 +0000 (08:42 +0200)]
ns3: ignore the output as it changes with the version

3 years agosearch for NS3 v3.25 now that I uploaded it to debian
Martin Quinson [Thu, 7 Apr 2016 06:39:12 +0000 (08:39 +0200)]
search for NS3 v3.25 now that I uploaded it to debian

3 years agoconfig: kill unused functions
Martin Quinson [Thu, 7 Apr 2016 06:38:32 +0000 (08:38 +0200)]
config: kill unused functions

4 years agoSame thing. But working, this time.
degomme [Wed, 6 Apr 2016 21:54:32 +0000 (23:54 +0200)]
Same thing. But working, this time.

4 years agoTry to fix win build - may not be enough
degomme [Wed, 6 Apr 2016 20:41:14 +0000 (22:41 +0200)]
Try to fix win build - may not be enough

4 years agofix two teshes for out of source buiilds
degomme [Wed, 6 Apr 2016 14:49:46 +0000 (16:49 +0200)]
fix two teshes for out of source buiilds

4 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Wed, 6 Apr 2016 13:22:50 +0000 (15:22 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

4 years agoattempt to please jenkins
Frederic Suter [Wed, 6 Apr 2016 13:22:29 +0000 (15:22 +0200)]
attempt to please jenkins

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Wed, 6 Apr 2016 12:40:13 +0000 (14:40 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years ago[mc] Remove MC_state_remove_interleave_process() (not used)
Gabriel Corona [Wed, 6 Apr 2016 12:15:02 +0000 (14:15 +0200)]
[mc] Remove MC_state_remove_interleave_process() (not used)

4 years ago[mc] Use nullptr consistently in C++ code
Gabriel Corona [Wed, 6 Apr 2016 12:02:12 +0000 (14:02 +0200)]
[mc] Use nullptr consistently in C++ code

4 years ago[mc] Fix #includes
Gabriel Corona [Wed, 6 Apr 2016 12:00:49 +0000 (14:00 +0200)]
[mc] Fix #includes

4 years ago[mc] Use std::vector for PatternCommunicationList
Gabriel Corona [Wed, 6 Apr 2016 11:56:28 +0000 (13:56 +0200)]
[mc] Use std::vector for PatternCommunicationList

4 years ago[mc] Use std::vector for State::incomplete_comm_pattern (dexbtification)
Gabriel Corona [Wed, 6 Apr 2016 11:35:14 +0000 (13:35 +0200)]
[mc] Use std::vector for State::incomplete_comm_pattern (dexbtification)

4 years ago[mc] Add PatternCommunication::dup()
Gabriel Corona [Wed, 6 Apr 2016 11:14:53 +0000 (13:14 +0200)]
[mc] Add PatternCommunication::dup()

4 years ago[mc] Rename the communication pattern types
Gabriel Corona [Wed, 6 Apr 2016 10:07:40 +0000 (12:07 +0200)]
[mc] Rename the communication pattern types

4 years ago[mc] Get rid of MC_list_comm_pattern_free()
Gabriel Corona [Wed, 6 Apr 2016 08:58:53 +0000 (10:58 +0200)]
[mc] Get rid of MC_list_comm_pattern_free()

4 years ago[mc] Get rid of MC_comm_pattern_free()
Gabriel Corona [Wed, 6 Apr 2016 08:38:08 +0000 (10:38 +0200)]
[mc] Get rid of MC_comm_pattern_free()

which is 'delete' in disguise

4 years ago[mc] Remove always disabled code
Gabriel Corona [Wed, 6 Apr 2016 08:05:05 +0000 (10:05 +0200)]
[mc] Remove always disabled code

4 years ago[mc] Remove duplicate init in State
Gabriel Corona [Wed, 6 Apr 2016 07:48:16 +0000 (09:48 +0200)]
[mc] Remove duplicate init in State

4 years ago[mc] Fix #includes
Gabriel Corona [Tue, 5 Apr 2016 14:44:14 +0000 (16:44 +0200)]
[mc] Fix #includes

4 years ago[mc] Remove the declaration of a function which has been removed
Gabriel Corona [Tue, 5 Apr 2016 14:40:35 +0000 (16:40 +0200)]
[mc] Remove the declaration of a function which has been removed

4 years agostupid me.
degomme [Wed, 6 Apr 2016 11:56:14 +0000 (13:56 +0200)]
stupid me.

4 years agofurther cleanups to the config stuff
Martin Quinson [Wed, 6 Apr 2016 10:38:22 +0000 (12:38 +0200)]
further cleanups to the config stuff

- Kill unused feature: minimal arity
- Hide some internal functions and symbols

4 years agoSwitch to actually perform out-of-source builds.
degomme [Wed, 6 Apr 2016 10:29:11 +0000 (12:29 +0200)]
Switch to actually perform out-of-source builds.
This should expose some issues.
next step would be to rename the first "build" folder, but I want to see how this turns out first.

4 years agosome cleanups in the SMPI option declarations
Martin Quinson [Wed, 6 Apr 2016 09:44:10 +0000 (11:44 +0200)]
some cleanups in the SMPI option declarations

4 years agoplug a memleak
Martin Quinson [Wed, 6 Apr 2016 09:35:18 +0000 (11:35 +0200)]
plug a memleak

4 years agokill a deprecated function
Martin Quinson [Wed, 6 Apr 2016 09:14:50 +0000 (11:14 +0200)]
kill a deprecated function

4 years agotry to get rid of smpi tracing segmentation faults on some platforms.
degomme [Wed, 6 Apr 2016 00:03:25 +0000 (02:03 +0200)]
try to get rid of smpi tracing segmentation faults on some platforms.

4 years agojtrace: some more calls for kenenbek
Martin Quinson [Tue, 5 Apr 2016 21:57:23 +0000 (23:57 +0200)]
jtrace: some more calls for kenenbek

4 years agojtrace: add a missing call
Martin Quinson [Tue, 5 Apr 2016 21:43:51 +0000 (23:43 +0200)]
jtrace: add a missing call

4 years agoReplace MPI->PMPI stupid wrappers by macro-generated ones.
degomme [Tue, 5 Apr 2016 21:06:06 +0000 (23:06 +0200)]
Replace MPI->PMPI stupid wrappers by macro-generated ones.
This will make easier to add new calls (one line in mpi.h, one in smpi_mpi.cpp for an unimplemented one)

4 years ago[mc] Use std::string for request_get_dot_output() and s_mc_global_t::prev_req
Gabriel Corona [Tue, 5 Apr 2016 14:25:32 +0000 (16:25 +0200)]
[mc] Use std::string for request_get_dot_output() and s_mc_global_t::prev_req

4 years ago[mc] Use std::string in simgrid::mc::request_to_string
Gabriel Corona [Tue, 5 Apr 2016 12:48:33 +0000 (14:48 +0200)]
[mc] Use std::string in simgrid::mc::request_to_string

4 years ago[mc] Don't copy or move states (yet)
Gabriel Corona [Tue, 5 Apr 2016 12:12:38 +0000 (14:12 +0200)]
[mc] Don't copy or move states (yet)

4 years ago[mc] Use RAII std::vector for s_mc_comm_pattern::data
Gabriel Corona [Tue, 5 Apr 2016 11:45:37 +0000 (13:45 +0200)]
[mc] Use RAII std::vector for s_mc_comm_pattern::data

4 years ago[mc] Use RAII std::string for s_mc_comm_pattern::rdv
Gabriel Corona [Tue, 5 Apr 2016 11:34:40 +0000 (13:34 +0200)]
[mc] Use RAII std::string for s_mc_comm_pattern::rdv

4 years ago[mc] Constructor/destructor for s_mc_comm_pattern
Gabriel Corona [Tue, 5 Apr 2016 11:25:07 +0000 (13:25 +0200)]
[mc] Constructor/destructor for s_mc_comm_pattern

4 years ago[mc] C++ification of State
Gabriel Corona [Tue, 5 Apr 2016 10:20:17 +0000 (12:20 +0200)]
[mc] C++ification of State

4 years ago[mc] Remove MC_state_delete()
Gabriel Corona [Tue, 5 Apr 2016 09:38:03 +0000 (11:38 +0200)]
[mc] Remove MC_state_delete()

4 years ago[mc] Avoid useless stuff when logging is disabled in SafetyChecker
Gabriel Corona [Tue, 5 Apr 2016 09:33:29 +0000 (11:33 +0200)]
[mc] Avoid useless stuff when logging is disabled in SafetyChecker

4 years ago[mc] Create SafetyChecker::backtrack() method
Gabriel Corona [Tue, 5 Apr 2016 09:03:50 +0000 (11:03 +0200)]
[mc] Create SafetyChecker::backtrack() method

4 years ago[mc] Move visitedState as a field of SafetyChecker
Gabriel Corona [Tue, 5 Apr 2016 08:48:08 +0000 (10:48 +0200)]
[mc] Move visitedState as a field of SafetyChecker