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
Frederic Suter [Wed, 6 Apr 2016 13:22:29 +0000 (15:22 +0200)]
attempt to please jenkins
Martin Quinson [Wed, 6 Apr 2016 12:40:13 +0000 (14:40 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Gabriel Corona [Wed, 6 Apr 2016 12:15:02 +0000 (14:15 +0200)]
[mc] Remove MC_state_remove_interleave_process() (not used)
Gabriel Corona [Wed, 6 Apr 2016 12:02:12 +0000 (14:02 +0200)]
[mc] Use nullptr consistently in C++ code
Gabriel Corona [Wed, 6 Apr 2016 12:00:49 +0000 (14:00 +0200)]
[mc] Fix #includes
Gabriel Corona [Wed, 6 Apr 2016 11:56:28 +0000 (13:56 +0200)]
[mc] Use std::vector for PatternCommunicationList
Gabriel Corona [Wed, 6 Apr 2016 11:35:14 +0000 (13:35 +0200)]
[mc] Use std::vector for State::incomplete_comm_pattern (dexbtification)
Gabriel Corona [Wed, 6 Apr 2016 11:14:53 +0000 (13:14 +0200)]
[mc] Add PatternCommunication::dup()
Gabriel Corona [Wed, 6 Apr 2016 10:07:40 +0000 (12:07 +0200)]
[mc] Rename the communication pattern types
Gabriel Corona [Wed, 6 Apr 2016 08:58:53 +0000 (10:58 +0200)]
[mc] Get rid of MC_list_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
Gabriel Corona [Wed, 6 Apr 2016 08:05:05 +0000 (10:05 +0200)]
[mc] Remove always disabled code
Gabriel Corona [Wed, 6 Apr 2016 07:48:16 +0000 (09:48 +0200)]
[mc] Remove duplicate init in State
Gabriel Corona [Tue, 5 Apr 2016 14:44:14 +0000 (16:44 +0200)]
[mc] Fix #includes
Gabriel Corona [Tue, 5 Apr 2016 14:40:35 +0000 (16:40 +0200)]
[mc] Remove the declaration of a function which has been removed
degomme [Wed, 6 Apr 2016 11:56:14 +0000 (13:56 +0200)]
stupid me.
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
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.
Martin Quinson [Wed, 6 Apr 2016 09:44:10 +0000 (11:44 +0200)]
some cleanups in the SMPI option declarations
Martin Quinson [Wed, 6 Apr 2016 09:35:18 +0000 (11:35 +0200)]
plug a memleak
Martin Quinson [Wed, 6 Apr 2016 09:14:50 +0000 (11:14 +0200)]
kill a deprecated function
degomme [Wed, 6 Apr 2016 00:03:25 +0000 (02:03 +0200)]
try to get rid of smpi tracing segmentation faults on some platforms.
Martin Quinson [Tue, 5 Apr 2016 21:57:23 +0000 (23:57 +0200)]
jtrace: some more calls for kenenbek
Martin Quinson [Tue, 5 Apr 2016 21:43:51 +0000 (23:43 +0200)]
jtrace: add a missing call
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)
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
Gabriel Corona [Tue, 5 Apr 2016 12:48:33 +0000 (14:48 +0200)]
[mc] Use std::string in simgrid::mc::request_to_string
Gabriel Corona [Tue, 5 Apr 2016 12:12:38 +0000 (14:12 +0200)]
[mc] Don't copy or move states (yet)
Gabriel Corona [Tue, 5 Apr 2016 11:45:37 +0000 (13:45 +0200)]
[mc] Use RAII std::vector for s_mc_comm_pattern::data
Gabriel Corona [Tue, 5 Apr 2016 11:34:40 +0000 (13:34 +0200)]
[mc] Use RAII std::string for s_mc_comm_pattern::rdv
Gabriel Corona [Tue, 5 Apr 2016 11:25:07 +0000 (13:25 +0200)]
[mc] Constructor/destructor for s_mc_comm_pattern
Gabriel Corona [Tue, 5 Apr 2016 10:20:17 +0000 (12:20 +0200)]
[mc] C++ification of State
Gabriel Corona [Tue, 5 Apr 2016 09:38:03 +0000 (11:38 +0200)]
[mc] Remove MC_state_delete()
Gabriel Corona [Tue, 5 Apr 2016 09:33:29 +0000 (11:33 +0200)]
[mc] Avoid useless stuff when logging is disabled in SafetyChecker
Gabriel Corona [Tue, 5 Apr 2016 09:03:50 +0000 (11:03 +0200)]
[mc] Create SafetyChecker::backtrack() method
Gabriel Corona [Tue, 5 Apr 2016 08:48:08 +0000 (10:48 +0200)]
[mc] Move visitedState as a field of SafetyChecker
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.
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.
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
Frederic Suter [Tue, 5 Apr 2016 14:25:31 +0000 (16:25 +0200)]
fix distcheck
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
Frederic Suter [Tue, 5 Apr 2016 14:23:16 +0000 (16:23 +0200)]
fix rm
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..
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
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
Martin Quinson [Tue, 5 Apr 2016 05:09:19 +0000 (07:09 +0200)]
xbt_config: kill an unused feature: multivalued variables
Martin Quinson [Tue, 5 Apr 2016 04:40:26 +0000 (06:40 +0200)]
xbt_config: kill an unused feature: unregistering variables
Martin Quinson [Tue, 5 Apr 2016 04:38:03 +0000 (06:38 +0200)]
xbt_config: kill an unused feature: unsetting values
Martin Quinson [Tue, 5 Apr 2016 04:33:32 +0000 (06:33 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 5 Apr 2016 04:33:20 +0000 (06:33 +0200)]
We never use a second configuration set, so simplify the API
Martin Quinson [Tue, 5 Apr 2016 04:00:17 +0000 (06:00 +0200)]
the binary used to test lua moved again
degomme [Tue, 5 Apr 2016 00:12:11 +0000 (02:12 +0200)]
reduce stack size for cloud example (weirdly only crashed 32 bits nodes)
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
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
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
Frederic Suter [Mon, 4 Apr 2016 20:25:20 +0000 (22:25 +0200)]
reindent
Martin Quinson [Mon, 4 Apr 2016 17:01:00 +0000 (19:01 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 4 Apr 2016 16:59:44 +0000 (18:59 +0200)]
further rework the config handling. Still much to do
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.
Gabriel Corona [Mon, 4 Apr 2016 15:26:03 +0000 (17:26 +0200)]
[mc] Fix #includes
Gabriel Corona [Mon, 4 Apr 2016 15:22:51 +0000 (17:22 +0200)]
[mc] Fix warnings
Gabriel Corona [Mon, 4 Apr 2016 15:14:08 +0000 (17:14 +0200)]
[mc] Use std::unique_ptr for States
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
Gabriel Corona [Mon, 4 Apr 2016 14:18:13 +0000 (16:18 +0200)]
[mc] Move VisitedState stuffs in their own .c file
Gabriel Corona [Mon, 4 Apr 2016 13:54:06 +0000 (15:54 +0200)]
[mc] Reindent is_visited_state()
Gabriel Corona [Mon, 4 Apr 2016 13:44:50 +0000 (15:44 +0200)]
[mc] Rename SafetyChecker::is_exploration_stack_state() into checkNonDeterminism()
Gabriel Corona [Mon, 4 Apr 2016 13:32:20 +0000 (15:32 +0200)]
[mc] Move the stack as field of SafetyChecker and CommDetChecker
Gabriel Corona [Mon, 4 Apr 2016 13:26:04 +0000 (15:26 +0200)]
[mc] Use std::list instead of xbt_fifo for mc_stack
Gabriel Corona [Mon, 4 Apr 2016 10:15:41 +0000 (12:15 +0200)]
[mc] Different/private mc_stack variables for SafetyChecker and LivenessChecker
Gabriel Corona [Mon, 4 Apr 2016 08:30:21 +0000 (10:30 +0200)]
[mc] Use shared_ptr for liveness propositions
Gabriel Corona [Mon, 4 Apr 2016 08:11:53 +0000 (10:11 +0200)]
Fix #includes to automaton.h
Frederic Suter [Mon, 4 Apr 2016 11:49:09 +0000 (13:49 +0200)]
clean and simplify
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
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
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
Martin Quinson [Sun, 3 Apr 2016 20:26:08 +0000 (22:26 +0200)]
further rework the option mechanism
Martin Quinson [Sun, 3 Apr 2016 16:45:49 +0000 (18:45 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sat, 2 Apr 2016 21:20:04 +0000 (23:20 +0200)]
start refactoring the option handling
Frederic Suter [Sat, 2 Apr 2016 11:23:26 +0000 (13:23 +0200)]
start to shrink mpich3-test cmake files
Martin Quinson [Fri, 1 Apr 2016 21:50:05 +0000 (23:50 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
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.
Martin Quinson [Fri, 1 Apr 2016 19:15:19 +0000 (21:15 +0200)]
tiny cleanups in the VMs and links
Martin Quinson [Fri, 1 Apr 2016 19:08:33 +0000 (21:08 +0200)]
Remove the properties from the host constructor
Martin Quinson [Fri, 1 Apr 2016 18:57:36 +0000 (20:57 +0200)]
Add a way to set a property on s4u::Host
Martin Quinson [Fri, 1 Apr 2016 17:19:11 +0000 (19:19 +0200)]
rename the fields of the PropertyHolder
Martin Quinson [Fri, 1 Apr 2016 17:18:46 +0000 (19:18 +0200)]
add a word about multi-cabinet modeling
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
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
Frederic Suter [Fri, 1 Apr 2016 10:51:55 +0000 (12:51 +0200)]
slave2worker cont'd
Gabriel Corona [Fri, 1 Apr 2016 10:01:32 +0000 (12:01 +0200)]
[mc] Rename livenessStack to explorationStack
Gabriel Corona [Fri, 1 Apr 2016 09:47:55 +0000 (11:47 +0200)]
[mc] Factor out Livenesschecker::newPair()
Gabriel Corona [Fri, 1 Apr 2016 09:22:24 +0000 (11:22 +0200)]
[mc] Remove some control flow nesting in LivenessChecker::main
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.
Gabriel Corona [Fri, 1 Apr 2016 09:06:07 +0000 (11:06 +0200)]
[mc] Only #include LivenessChecker.hpp in LivenessChecker.cpp
Frederic Suter [Fri, 1 Apr 2016 09:26:39 +0000 (11:26 +0200)]
end slavery in java world
Frederic Suter [Fri, 1 Apr 2016 09:15:49 +0000 (11:15 +0200)]
make a REAL and simple dsend test
Frederic Suter [Fri, 1 Apr 2016 08:28:42 +0000 (10:28 +0200)]
tracing -> trace/pingpong
Frederic Suter [Fri, 1 Apr 2016 07:55:01 +0000 (09:55 +0200)]
pingPong -> app/pingpong
Frederic Suter [Fri, 1 Apr 2016 07:18:29 +0000 (09:18 +0200)]
fix distcheck (dumb me)