Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
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

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

3 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

3 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

3 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

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

3 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

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

3 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

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

3 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

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

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

3 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

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

3 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

3 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

3 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

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

3 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

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

3 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

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

3 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

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

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

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

3 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

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

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

3 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

3 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

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

3 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

3 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

3 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

3 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

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

3 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

3 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

3 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

3 years ago[mc] Remove user_max_depth which back up MC_cut() for now
Gabriel Corona [Tue, 5 Apr 2016 08:22:32 +0000 (10:22 +0200)]
[mc] Remove user_max_depth which back up MC_cut() for now

This variables is not set since the cross-process mode anyway.

3 years ago[mc] Rename a checkNonDeterminism() to checkNonTermination()
Gabriel Corona [Tue, 5 Apr 2016 08:18:45 +0000 (10:18 +0200)]
[mc] Rename a checkNonDeterminism() to checkNonTermination()

because this is what we're doing.

3 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Tue, 5 Apr 2016 14:31:49 +0000 (16:31 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

3 years agofix distcheck
Frederic Suter [Tue, 5 Apr 2016 14:25:31 +0000 (16:25 +0200)]
fix distcheck

3 years agomv some app examples in app- folders
Frederic Suter [Tue, 5 Apr 2016 14:23:34 +0000 (16:23 +0200)]
mv some app examples in app- folders
 + kill one old masterworker
 + update failures examples

3 years agofix rm
Frederic Suter [Tue, 5 Apr 2016 14:23:16 +0000 (16:23 +0200)]
fix rm

3 years agoAdd MPI_File* bindings to SMPI, even if they are unimplemented.
degomme [Tue, 5 Apr 2016 13:34:13 +0000 (15:34 +0200)]
Add MPI_File* bindings to SMPI, even if they are unimplemented.
We should add a better way to add unimplemented code without generating this much dead code ..
Even if this dead code is a placeholder for a potential future implementation..

3 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Tue, 5 Apr 2016 12:22:01 +0000 (14:22 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

3 years agoactions-mpi becomes actions-comm
Frederic Suter [Tue, 5 Apr 2016 12:19:29 +0000 (14:19 +0200)]
actions-mpi becomes actions-comm
  + allow us to keep an example of such trace replay
  + stop misleading MPI users, this is not MPI replay, just comm replay

3 years agoxbt_config: kill an unused feature: multivalued variables
Martin Quinson [Tue, 5 Apr 2016 05:09:19 +0000 (07:09 +0200)]
xbt_config: kill an unused feature: multivalued variables

3 years agoxbt_config: kill an unused feature: unregistering variables
Martin Quinson [Tue, 5 Apr 2016 04:40:26 +0000 (06:40 +0200)]
xbt_config: kill an unused feature: unregistering variables

3 years agoxbt_config: kill an unused feature: unsetting values
Martin Quinson [Tue, 5 Apr 2016 04:38:03 +0000 (06:38 +0200)]
xbt_config: kill an unused feature: unsetting values

3 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 5 Apr 2016 04:33:32 +0000 (06:33 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

3 years agoWe never use a second configuration set, so simplify the API
Martin Quinson [Tue, 5 Apr 2016 04:33:20 +0000 (06:33 +0200)]
We never use a second configuration set, so simplify the API

3 years agothe binary used to test lua moved again
Martin Quinson [Tue, 5 Apr 2016 04:00:17 +0000 (06:00 +0200)]
the binary used to test lua moved again

3 years agoreduce stack size for cloud example (weirdly only crashed 32 bits nodes)
degomme [Tue, 5 Apr 2016 00:12:11 +0000 (02:12 +0200)]
reduce stack size for cloud example (weirdly only crashed 32 bits nodes)

3 years agoend of reorganizing cloud examples
Frederic Suter [Mon, 4 Apr 2016 21:48:26 +0000 (23:48 +0200)]
end of reorganizing cloud examples
 + and finally test some of them
 + redesign scale test to avoid timers

3 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Mon, 4 Apr 2016 20:34:48 +0000 (22:34 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

3 years agostart to rename cloud examples
Frederic Suter [Mon, 4 Apr 2016 20:29:22 +0000 (22:29 +0200)]
start to rename cloud examples
 + cloud-multicore is not tested: raise an issue with set_affinity

3 years agoreindent
Frederic Suter [Mon, 4 Apr 2016 20:25:20 +0000 (22:25 +0200)]
reindent

3 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 4 Apr 2016 17:01:00 +0000 (19:01 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

3 years agofurther rework the config handling. Still much to do
Martin Quinson [Mon, 4 Apr 2016 16:59:44 +0000 (18:59 +0200)]
further rework the config handling. Still much to do

3 years ago[mc] Make Checker implementation private
Gabriel Corona [Mon, 4 Apr 2016 15:47:17 +0000 (17:47 +0200)]
[mc] Make Checker implementation private

* XBT_PRIVATE symbols;

* header files only used inside the .cpp file.

Fixes a symbol visbility mismatch warning.

3 years ago[mc] Fix #includes
Gabriel Corona [Mon, 4 Apr 2016 15:26:03 +0000 (17:26 +0200)]
[mc] Fix #includes

3 years ago[mc] Fix warnings
Gabriel Corona [Mon, 4 Apr 2016 15:22:51 +0000 (17:22 +0200)]
[mc] Fix warnings

3 years ago[mc] Use std::unique_ptr for States
Gabriel Corona [Mon, 4 Apr 2016 15:14:08 +0000 (17:14 +0200)]
[mc] Use std::unique_ptr for States

3 years ago[mc] Get rid of the global simgrid::mc::visited_states, use a class instead
Gabriel Corona [Mon, 4 Apr 2016 14:42:01 +0000 (16:42 +0200)]
[mc] Get rid of the global simgrid::mc::visited_states, use a class instead

3 years ago[mc] Move VisitedState stuffs in their own .c file
Gabriel Corona [Mon, 4 Apr 2016 14:18:13 +0000 (16:18 +0200)]
[mc] Move VisitedState stuffs in their own .c file

3 years ago[mc] Reindent is_visited_state()
Gabriel Corona [Mon, 4 Apr 2016 13:54:06 +0000 (15:54 +0200)]
[mc] Reindent is_visited_state()

3 years ago[mc] Rename SafetyChecker::is_exploration_stack_state() into checkNonDeterminism()
Gabriel Corona [Mon, 4 Apr 2016 13:44:50 +0000 (15:44 +0200)]
[mc] Rename SafetyChecker::is_exploration_stack_state() into checkNonDeterminism()

3 years ago[mc] Move the stack as field of SafetyChecker and CommDetChecker
Gabriel Corona [Mon, 4 Apr 2016 13:32:20 +0000 (15:32 +0200)]
[mc] Move the stack as field of SafetyChecker and CommDetChecker

3 years ago[mc] Use std::list instead of xbt_fifo for mc_stack
Gabriel Corona [Mon, 4 Apr 2016 13:26:04 +0000 (15:26 +0200)]
[mc] Use std::list instead of xbt_fifo for mc_stack

3 years ago[mc] Different/private mc_stack variables for SafetyChecker and LivenessChecker
Gabriel Corona [Mon, 4 Apr 2016 10:15:41 +0000 (12:15 +0200)]
[mc] Different/private mc_stack variables for SafetyChecker and LivenessChecker

3 years ago[mc] Use shared_ptr for liveness propositions
Gabriel Corona [Mon, 4 Apr 2016 08:30:21 +0000 (10:30 +0200)]
[mc] Use shared_ptr for liveness propositions

3 years agoFix #includes to automaton.h
Gabriel Corona [Mon, 4 Apr 2016 08:11:53 +0000 (10:11 +0200)]
Fix #includes to automaton.h

3 years agoclean and simplify
Frederic Suter [Mon, 4 Apr 2016 11:49:09 +0000 (13:49 +0200)]
clean and simplify