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
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 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)
Frederic Suter [Fri, 1 Apr 2016 07:13:33 +0000 (09:13 +0200)]
priority -> task/priority (and task-priority)
+ fix discrepancy between C and Java
Frederic Suter [Fri, 1 Apr 2016 06:44:36 +0000 (08:44 +0200)]
mutualExclusion -> app/centralizedmutex
Frederic Suter [Fri, 1 Apr 2016 06:16:53 +0000 (08:16 +0200)]
cosmetics
Frederic Suter [Thu, 31 Mar 2016 09:44:13 +0000 (11:44 +0200)]
reorg and factor examples/java/cloud
degomme [Thu, 31 Mar 2016 08:34:11 +0000 (10:34 +0200)]
output sort is not global to the file (anymore?).
We need to set it everywhere... just for windows which displays the L07 message after the rest.
Martin Quinson [Wed, 30 Mar 2016 23:05:39 +0000 (01:05 +0200)]
compile Java in the binary tree, not the source one
This should fix out of tree builds of the java examples
Martin Quinson [Wed, 30 Mar 2016 20:54:14 +0000 (22:54 +0200)]
reindent a bit to get gcc6 happy, no real change
Martin Quinson [Wed, 30 Mar 2016 20:24:43 +0000 (22:24 +0200)]
adapt appveyor to the latest changes in Java examples
Gabriel Corona [Wed, 30 Mar 2016 14:30:10 +0000 (16:30 +0200)]
[mc] Fix some XBT_DEBUG
Gabriel Corona [Wed, 30 Mar 2016 14:23:36 +0000 (16:23 +0200)]
[mc] Remove useless comment
Gabriel Corona [Wed, 30 Mar 2016 14:10:09 +0000 (16:10 +0200)]
[mc] Add LivenessChecker::purgeVisitedPairs() method
Gabriel Corona [Wed, 30 Mar 2016 13:51:19 +0000 (15:51 +0200)]
[mc] Simplify MC_automaton_evaluate_label()
Gabriel Corona [Wed, 30 Mar 2016 13:40:50 +0000 (15:40 +0200)]
[mc] Use shared_ptr for Pair
Gabriel Corona [Wed, 30 Mar 2016 12:31:57 +0000 (14:31 +0200)]
[mc] Restrict the scope of local variables in LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 12:26:29 +0000 (14:26 +0200)]
[mc] Slay some nested-if-statements-from-hell
Gabriel Corona [Wed, 30 Mar 2016 12:18:23 +0000 (14:18 +0200)]
[mc] Remove VisitedPair::acceptance_pair
Gabriel Corona [Wed, 30 Mar 2016 12:17:44 +0000 (14:17 +0200)]
[mc] Type some boolean variable as such
Gabriel Corona [Wed, 30 Mar 2016 12:11:19 +0000 (14:11 +0200)]
[mc] Remove the _sg_mc_liveness flag
It was not used anymore.
Gabriel Corona [Wed, 30 Mar 2016 12:10:31 +0000 (14:10 +0200)]
[mc] Use the symbolic values for the xbt_automaton_exp_label::type enum
Gabriel Corona [Wed, 30 Mar 2016 12:05:19 +0000 (14:05 +0200)]
[mc] No more global variables
Gabriel Corona [Wed, 30 Mar 2016 12:03:41 +0000 (14:03 +0200)]
[mc] Use std::vector for liveness {Pair,VisitedPair}::atomic_propositions
Gabriel Corona [Wed, 30 Mar 2016 11:41:22 +0000 (13:41 +0200)]
[mc] Move global variables as fields of LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 11:27:15 +0000 (13:27 +0200)]
[mc] Use std::shared_ptr for VisitedPair in LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 10:03:59 +0000 (12:03 +0200)]
[mc] Use std::list for LivenessChecker::visited_pairs
Gabriel Corona [Wed, 30 Mar 2016 09:55:18 +0000 (11:55 +0200)]
[mc] Move visited_pairs as a static field of LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 09:39:25 +0000 (11:39 +0200)]
[mc] Use std::shared_ptr for State in LivenessChecker
This gets rid of some boring code for managing the lifetime of the
State.
Gabriel Corona [Wed, 30 Mar 2016 09:31:49 +0000 (11:31 +0200)]
[mc] Use std::list for LivenessChecker::acceptance_pairs
Gabriel Corona [Wed, 30 Mar 2016 08:08:51 +0000 (10:08 +0200)]
[mc] Use std::list instead of xbt_fifo for the stack in LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 07:37:43 +0000 (09:37 +0200)]
[mc] Fix #includes in LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 07:25:11 +0000 (09:25 +0200)]
[mc] Scope the global variables in LivenessChecker
Frederic Suter [Wed, 30 Mar 2016 10:37:45 +0000 (12:37 +0200)]
rename to match C and Java version
Frederic Suter [Wed, 30 Mar 2016 10:33:56 +0000 (12:33 +0200)]
mv example from cloud to energy
+ to match C organization
Frederic Suter [Wed, 30 Mar 2016 10:20:00 +0000 (12:20 +0200)]
redesign this test to match the C version
move it into the process package
Frederic Suter [Wed, 30 Mar 2016 09:41:45 +0000 (11:41 +0200)]
kill a redudant example
+ this is a plain old master/slave. Can't find what is specific here
+ app/masterworker does exactly the same
Frederic Suter [Wed, 30 Mar 2016 09:33:44 +0000 (11:33 +0200)]
create an app package
+ includes bittorrent and masterworker
Frederic Suter [Wed, 30 Mar 2016 07:40:30 +0000 (09:40 +0200)]
make an io package
improve readibility and compactness of cmake file
Frederic Suter [Tue, 29 Mar 2016 20:53:12 +0000 (22:53 +0200)]
package energy
+ first test: consumption
+ should match the C version but functions are not part of the
bindings (yet?)
Frederic Suter [Tue, 29 Mar 2016 20:02:48 +0000 (22:02 +0200)]
and now a dht package + cmake factoring
Frederic Suter [Tue, 29 Mar 2016 19:35:35 +0000 (21:35 +0200)]
should fix build
Frederic Suter [Tue, 29 Mar 2016 19:25:08 +0000 (21:25 +0200)]
define a process package in examples/java
+ comprises kill, migration, and suspend
Also found a way to factor java cmake \o/\o/\o/
Frederic Suter [Tue, 29 Mar 2016 17:43:39 +0000 (19:43 +0200)]
full redesign of this example
+ (almost) match the behavior of examples/msg/process-kill now
Frederic Suter [Tue, 29 Mar 2016 16:58:55 +0000 (18:58 +0200)]
get rid of dumb deployment
Frederic Suter [Tue, 29 Mar 2016 15:20:55 +0000 (17:20 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Tue, 29 Mar 2016 15:19:32 +0000 (17:19 +0200)]
rework the most basic java example
+ no more Forwarder
+ no more Finalize Task
+ no more Slavery \o/
Gabriel Corona [Tue, 29 Mar 2016 11:22:19 +0000 (13:22 +0200)]
[mc] Remove superflous static function
Gabriel Corona [Tue, 29 Mar 2016 12:53:05 +0000 (14:53 +0200)]
[mc] -Wredundant-move
Frederic Suter [Tue, 29 Mar 2016 12:07:03 +0000 (14:07 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Tue, 29 Mar 2016 11:55:38 +0000 (13:55 +0200)]
Massive cleanup in masterslave
broke one test: (in masterslave/masterslave_cpu_ti.tesh,
case w/ TI and w/o crosstraffic).
Comment it for now at examples/msg/CMakeLists.txt:106
Gabriel Corona [Tue, 29 Mar 2016 09:46:03 +0000 (11:46 +0200)]
[mc] Remove Snapshot::is_important_snapshot()
It was only used in order to manage the lifetime of snapshot instances.
Gabriel Corona [Tue, 29 Mar 2016 09:42:54 +0000 (11:42 +0200)]
[mc] Use shared_ptr for Snapshot
Gabriel Corona [Tue, 29 Mar 2016 08:59:06 +0000 (10:59 +0200)]
[mc] Making a State a class
Gabriel Corona [Tue, 29 Mar 2016 07:17:29 +0000 (09:17 +0200)]
[mc] LivenessChecker stack
Gabriel Corona [Fri, 25 Mar 2016 16:12:53 +0000 (17:12 +0100)]
[mc] Demangle C++ names when unwinding the stack with abi::__cxa_demangle
Gabriel Corona [Fri, 25 Mar 2016 16:08:14 +0000 (17:08 +0100)]
[mc] Dump the current trace when the model-checked crashes
Gabriel Corona [Fri, 25 Mar 2016 12:06:04 +0000 (13:06 +0100)]
[mc] Let the Checker give us the current trace
Now we don't have any dependency on mc_stack outside of the Checkers
and we can make it a member of Checker and a C++ container.
Gabriel Corona [Fri, 25 Mar 2016 09:55:04 +0000 (10:55 +0100)]
[mc] Let the Checker give us the current record trace
This could probably be infered from the interaction with the Session
at some point in the future but we're not there yet.
Gabriel Corona [Thu, 24 Mar 2016 11:37:56 +0000 (12:37 +0100)]
[mc] Move VisitedPair alongside with LivenessChecker