Logo AND Algorithmique Numérique Distribuée

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

3 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

4 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

4 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

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

4 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

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

4 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

4 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

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

4 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

4 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

4 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

4 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

4 years agoadd a word about multi-cabinet modeling
Martin Quinson [Fri, 1 Apr 2016 17:18:46 +0000 (19:18 +0200)]
add a word about multi-cabinet modeling

4 years agosimplify the prototype of LinkCM02 constructor
Martin Quinson [Fri, 1 Apr 2016 17:06:55 +0000 (19:06 +0200)]
simplify the prototype of LinkCM02 constructor

admitely, cosmetic is a bit subjective

4 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Fri, 1 Apr 2016 10:58:23 +0000 (12:58 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

4 years agoslave2worker cont'd
Frederic Suter [Fri, 1 Apr 2016 10:51:55 +0000 (12:51 +0200)]
slave2worker cont'd

4 years ago[mc] Rename livenessStack to explorationStack
Gabriel Corona [Fri, 1 Apr 2016 10:01:32 +0000 (12:01 +0200)]
[mc] Rename livenessStack to explorationStack

4 years ago[mc] Factor out Livenesschecker::newPair()
Gabriel Corona [Fri, 1 Apr 2016 09:47:55 +0000 (11:47 +0200)]
[mc] Factor out Livenesschecker::newPair()

4 years ago[mc] Remove some control flow nesting in LivenessChecker::main
Gabriel Corona [Fri, 1 Apr 2016 09:22:24 +0000 (11:22 +0200)]
[mc] Remove some control flow nesting in LivenessChecker::main

4 years ago[mc] Create LivenessChecker::backtrack()
Gabriel Corona [Fri, 1 Apr 2016 09:10:33 +0000 (11:10 +0200)]
[mc] Create LivenessChecker::backtrack()

This simplifies its caller and avoids a weird goto.

4 years ago[mc] Only #include LivenessChecker.hpp in LivenessChecker.cpp
Gabriel Corona [Fri, 1 Apr 2016 09:06:07 +0000 (11:06 +0200)]
[mc] Only #include LivenessChecker.hpp in LivenessChecker.cpp

4 years agoend slavery in java world
Frederic Suter [Fri, 1 Apr 2016 09:26:39 +0000 (11:26 +0200)]
end slavery in java world

4 years agomake a REAL and simple dsend test
Frederic Suter [Fri, 1 Apr 2016 09:15:49 +0000 (11:15 +0200)]
make a REAL and simple dsend test

4 years agotracing -> trace/pingpong
Frederic Suter [Fri, 1 Apr 2016 08:28:42 +0000 (10:28 +0200)]
tracing -> trace/pingpong

4 years agopingPong -> app/pingpong
Frederic Suter [Fri, 1 Apr 2016 07:55:01 +0000 (09:55 +0200)]
pingPong -> app/pingpong