Logo AND Algorithmique Numérique Distribuée

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

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

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

5 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

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

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

5 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

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

5 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

5 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

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

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

5 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

5 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

5 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

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

5 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

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

5 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

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

5 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

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

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

5 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

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

5 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

5 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

5 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

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

5 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

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

5 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

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

5 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

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

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

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

5 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

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

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

5 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

5 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

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

5 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

5 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

5 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

5 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

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

5 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

5 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

5 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

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

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

5 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

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

5 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

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

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

5 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

5 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

5 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

5 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

5 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

5 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

5 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

5 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

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

5 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

5 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

5 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

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

5 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

5 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

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

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

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

5 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

5 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

5 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

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

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

5 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

5 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

5 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

5 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

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

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

5 years agofix this untested example
Frederic Suter [Mon, 4 Apr 2016 11:31:02 +0000 (13:31 +0200)]
fix this untested example
 + exception use absolute path in trace, hardly reproducible

5 years agoThe usual sunday night fix :
degomme [Sun, 3 Apr 2016 22:23:07 +0000 (00:23 +0200)]
The usual sunday night fix :
I don't want to know why it's this way or change it, just fix the build and go to bed

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid
degomme [Sun, 3 Apr 2016 22:16:36 +0000 (00:16 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid

5 years agofurther rework the option mechanism
Martin Quinson [Sun, 3 Apr 2016 20:26:08 +0000 (22:26 +0200)]
further rework the option mechanism

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sun, 3 Apr 2016 16:45:49 +0000 (18:45 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agostart refactoring the option handling
Martin Quinson [Sat, 2 Apr 2016 21:20:04 +0000 (23:20 +0200)]
start refactoring the option handling

5 years agostart to shrink mpich3-test cmake files
Frederic Suter [Sat, 2 Apr 2016 11:23:26 +0000 (13:23 +0200)]
start to shrink mpich3-test cmake files

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 1 Apr 2016 21:50:05 +0000 (23:50 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agocompile sg_config with g++ too
Martin Quinson [Fri, 1 Apr 2016 19:26:14 +0000 (21:26 +0200)]
compile sg_config with g++ too

- This should be the last C part of the simgrid kernel.
- Only the APIs and the xbt remain in C now
- This will allow further unCification in the internals.

5 years agotiny cleanups in the VMs and links
Martin Quinson [Fri, 1 Apr 2016 19:15:19 +0000 (21:15 +0200)]
tiny cleanups in the VMs and links

5 years agoRemove the properties from the host constructor
Martin Quinson [Fri, 1 Apr 2016 19:08:33 +0000 (21:08 +0200)]
Remove the properties from the host constructor

5 years agoAdd a way to set a property on s4u::Host
Martin Quinson [Fri, 1 Apr 2016 18:57:36 +0000 (20:57 +0200)]
Add a way to set a property on s4u::Host

5 years agorename the fields of the PropertyHolder
Martin Quinson [Fri, 1 Apr 2016 17:19:11 +0000 (19:19 +0200)]
rename the fields of the PropertyHolder