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)
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
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
Gabriel Corona [Thu, 24 Mar 2016 11:06:27 +0000 (12:06 +0100)]
[mc] Move some snapshot_compare() overload with their respective checker
Frederic Suter [Tue, 29 Mar 2016 09:54:48 +0000 (11:54 +0200)]
cleanups
Frederic Suter [Tue, 29 Mar 2016 09:35:37 +0000 (11:35 +0200)]
factoring
Frederic Suter [Tue, 29 Mar 2016 08:52:25 +0000 (10:52 +0200)]
forgot to commit that ...
Frederic Suter [Tue, 29 Mar 2016 08:38:16 +0000 (10:38 +0200)]
end of splitting examples/msg/tracing
Frederic Suter [Tue, 29 Mar 2016 08:24:18 +0000 (10:24 +0200)]
make this test test something
and move it to its own dir
Frederic Suter [Tue, 29 Mar 2016 08:05:16 +0000 (10:05 +0200)]
make this test test something
and move it to its own dir
Frederic Suter [Tue, 29 Mar 2016 07:59:13 +0000 (09:59 +0200)]
make this test test something
and move it to its own dir
Frederic Suter [Tue, 29 Mar 2016 07:58:33 +0000 (09:58 +0200)]
reorder to have ADD_TESH grouped at the end of file
Martin Quinson [Tue, 29 Mar 2016 06:35:22 +0000 (08:35 +0200)]
remove an unused and non-working lua script
Martin Quinson [Mon, 28 Mar 2016 19:13:12 +0000 (21:13 +0200)]
lua: rename the platf module to 'engine' to align on s4u
Martin Quinson [Sun, 27 Mar 2016 19:17:20 +0000 (21:17 +0200)]
appveyor: don't run removed tesh files
Martin Quinson [Sun, 27 Mar 2016 18:56:16 +0000 (20:56 +0200)]
third attempt to fix the build without graphviz
Martin Quinson [Sun, 27 Mar 2016 17:44:59 +0000 (19:44 +0200)]
merge my change and the one of Augustin
Martin Quinson [Sun, 27 Mar 2016 17:43:16 +0000 (19:43 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sun, 27 Mar 2016 17:42:34 +0000 (19:42 +0200)]
second try to fix the build without graphviz
degomme [Sun, 27 Mar 2016 17:25:25 +0000 (19:25 +0200)]
fix build without graphviz
Martin Quinson [Sun, 27 Mar 2016 16:03:24 +0000 (18:03 +0200)]
Fix build without graphviz
Martin Quinson [Sun, 27 Mar 2016 15:41:44 +0000 (17:41 +0200)]
stop using masterslave_arg to test lua as this binary is gone
Martin Quinson [Sun, 27 Mar 2016 15:13:42 +0000 (17:13 +0200)]
lua: inline a function