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
Martin Quinson [Sun, 27 Mar 2016 12:26:30 +0000 (14:26 +0200)]
cosmetics in lua
Martin Quinson [Sun, 27 Mar 2016 12:10:01 +0000 (14:10 +0200)]
have the AS factory return the created AS
Martin Quinson [Sun, 27 Mar 2016 10:40:16 +0000 (12:40 +0200)]
cosmetics in lua platform creation
Martin Quinson [Sun, 27 Mar 2016 09:35:12 +0000 (11:35 +0200)]
let's seal() the AS in lua too
Martin Quinson [Sat, 26 Mar 2016 23:58:03 +0000 (00:58 +0100)]
Further cosmetics in the parsing of clusters
- FatTree: rename create_links() into seal() to do the Right Thing
- factorize the explodesRadical() between cluster and cabinet
- other small things
Martin Quinson [Sat, 26 Mar 2016 23:39:58 +0000 (00:39 +0100)]
In <cluster>, attributes availability_file and state_file are gone.
It was too complex and unused.
Martin Quinson [Sat, 26 Mar 2016 23:09:54 +0000 (00:09 +0100)]
cleanups in the parsing
- no need for xml cbarg initializer as we memset(0) the cbargs
- prepare to factorize host name creation between cluster and cabinet
Martin Quinson [Sat, 26 Mar 2016 22:28:21 +0000 (23:28 +0100)]
plug two memleaks
Martin Quinson [Sat, 26 Mar 2016 22:00:33 +0000 (23:00 +0100)]
cosmetics in cluster parsing
Martin Quinson [Sat, 26 Mar 2016 21:38:44 +0000 (22:38 +0100)]
vivaldi: we are not using euclidean distance, actually
Martin Quinson [Sat, 26 Mar 2016 21:31:30 +0000 (22:31 +0100)]
do not create dumb hosts when searching for vivaldi coordinates
Martin Quinson [Sat, 26 Mar 2016 21:19:51 +0000 (22:19 +0100)]
Vivaldi: factorize similar code and cosmetics
Martin Quinson [Sat, 26 Mar 2016 21:13:04 +0000 (22:13 +0100)]
vivaldi: allow every component to have a private link, not only hosts
Martin Quinson [Sat, 26 Mar 2016 21:05:55 +0000 (22:05 +0100)]
Have a decent name for the private hostLinks in clusters
Martin Quinson [Sat, 26 Mar 2016 19:53:00 +0000 (20:53 +0100)]
AsVivaldi is an AsCluster because each host as a private link
Martin Quinson [Sat, 26 Mar 2016 18:11:25 +0000 (19:11 +0100)]
small cleanups in the <peer> parsing code
Martin Quinson [Sat, 26 Mar 2016 17:24:45 +0000 (18:24 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Frederic Suter [Sat, 26 Mar 2016 16:16:38 +0000 (17:16 +0100)]
fix distcheck
Frederic Suter [Sat, 26 Mar 2016 16:14:51 +0000 (17:14 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Sat, 26 Mar 2016 16:14:29 +0000 (17:14 +0100)]
move one more tracing test
Christian Heinrich [Sat, 26 Mar 2016 15:40:32 +0000 (16:40 +0100)]
Fix broken build
20551fb51e6144ee0c7942602e4c4a60477ddfc8
This commit fixes compatibility issues with GCC < 5 and older versions of
clang.
The problem (at least with GCC) is/was that they declared the move-constructor
as deleted in GCC < 5. See the bug: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54316
This commit does not return any stringstreams any more but makes use of a
file-wide global variable to use stringstream.
Martin Quinson [Sat, 26 Mar 2016 15:13:59 +0000 (16:13 +0100)]
mstorage was never implemented anyway
Martin Quinson [Sat, 26 Mar 2016 15:01:26 +0000 (16:01 +0100)]
routing: change an enum to a class enum
Martin Quinson [Sat, 26 Mar 2016 14:42:33 +0000 (15:42 +0100)]
Factorize some code into the netcard constructor
Martin Quinson [Sat, 26 Mar 2016 14:35:20 +0000 (15:35 +0100)]
take a bite in the cruft of this code
Martin Quinson [Sat, 26 Mar 2016 14:11:31 +0000 (15:11 +0100)]
inline a signal
Martin Quinson [Sat, 26 Mar 2016 11:06:38 +0000 (12:06 +0100)]
let lmm_system_free(nullptr) be a noop
Martin Quinson [Sat, 26 Mar 2016 11:02:15 +0000 (12:02 +0100)]
let xbt_heap_free(NULL) be a noop
Martin Quinson [Sat, 26 Mar 2016 10:59:14 +0000 (11:59 +0100)]
small cleanups here and there
Martin Quinson [Sat, 26 Mar 2016 10:42:41 +0000 (11:42 +0100)]
NetworkCste: Kill two methods overriden to the same content
+ rename a field
Martin Quinson [Sat, 26 Mar 2016 10:26:15 +0000 (11:26 +0100)]
rename the fields of surf::Action
Martin Quinson [Sat, 26 Mar 2016 10:25:46 +0000 (11:25 +0100)]
gtnets is gone now
Martin Quinson [Sat, 26 Mar 2016 10:09:16 +0000 (11:09 +0100)]
sort out the Link::onCommunicate signal
Martin Quinson [Sat, 26 Mar 2016 09:53:30 +0000 (10:53 +0100)]
NS3: move the content of Model::communicate into Action constructor
Martin Quinson [Sat, 26 Mar 2016 09:42:28 +0000 (10:42 +0100)]
ns3: no need for 2 postparse callbacks
Martin Quinson [Fri, 25 Mar 2016 14:41:49 +0000 (15:41 +0100)]
Kill the useless NS3Sim class
Instead, inline its methods that were static anyway. I guess it's a
remaining of the C->C++ interface
Frederic Suter [Fri, 25 Mar 2016 14:23:44 +0000 (15:23 +0100)]
one cmake file less
Martin Quinson [Fri, 25 Mar 2016 13:48:03 +0000 (14:48 +0100)]
cosmetics in NS3
Frederic Suter [Fri, 25 Mar 2016 13:29:26 +0000 (14:29 +0100)]
kill that example
+ there are other places where processes are instantiated without a
deployment file
Martin Quinson [Fri, 25 Mar 2016 13:28:12 +0000 (14:28 +0100)]
kill dat code, pal
Separate the dead code removal from the change that make it useless
for sake of diff readability.