Logo AND Algorithmique Numérique Distribuée

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

4 years agofix distcheck (dumb me)
Frederic Suter [Fri, 1 Apr 2016 07:18:29 +0000 (09:18 +0200)]
fix distcheck (dumb me)

4 years agopriority -> task/priority (and task-priority)
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

4 years agomutualExclusion -> app/centralizedmutex
Frederic Suter [Fri, 1 Apr 2016 06:44:36 +0000 (08:44 +0200)]
mutualExclusion -> app/centralizedmutex

4 years agocosmetics
Frederic Suter [Fri, 1 Apr 2016 06:16:53 +0000 (08:16 +0200)]
cosmetics

4 years agoreorg and factor examples/java/cloud
Frederic Suter [Thu, 31 Mar 2016 09:44:13 +0000 (11:44 +0200)]
reorg and factor examples/java/cloud

4 years agocompile Java in the binary tree, not the source one
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

4 years agoreindent a bit to get gcc6 happy, no real change
Martin Quinson [Wed, 30 Mar 2016 20:54:14 +0000 (22:54 +0200)]
reindent a bit to get gcc6 happy, no real change

4 years agoadapt appveyor to the latest changes in Java examples
Martin Quinson [Wed, 30 Mar 2016 20:24:43 +0000 (22:24 +0200)]
adapt appveyor to the latest changes in Java examples

4 years ago[mc] Fix some XBT_DEBUG
Gabriel Corona [Wed, 30 Mar 2016 14:30:10 +0000 (16:30 +0200)]
[mc] Fix some XBT_DEBUG

4 years ago[mc] Remove useless comment
Gabriel Corona [Wed, 30 Mar 2016 14:23:36 +0000 (16:23 +0200)]
[mc] Remove useless comment

4 years ago[mc] Add LivenessChecker::purgeVisitedPairs() method
Gabriel Corona [Wed, 30 Mar 2016 14:10:09 +0000 (16:10 +0200)]
[mc] Add LivenessChecker::purgeVisitedPairs() method

4 years ago[mc] Simplify MC_automaton_evaluate_label()
Gabriel Corona [Wed, 30 Mar 2016 13:51:19 +0000 (15:51 +0200)]
[mc] Simplify MC_automaton_evaluate_label()

4 years ago[mc] Use shared_ptr for Pair
Gabriel Corona [Wed, 30 Mar 2016 13:40:50 +0000 (15:40 +0200)]
[mc] Use shared_ptr for Pair

4 years ago[mc] Restrict the scope of local variables in LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 12:31:57 +0000 (14:31 +0200)]
[mc] Restrict the scope of local variables in LivenessChecker

4 years ago[mc] Slay some nested-if-statements-from-hell
Gabriel Corona [Wed, 30 Mar 2016 12:26:29 +0000 (14:26 +0200)]
[mc] Slay some nested-if-statements-from-hell

4 years ago[mc] Remove VisitedPair::acceptance_pair
Gabriel Corona [Wed, 30 Mar 2016 12:18:23 +0000 (14:18 +0200)]
[mc] Remove VisitedPair::acceptance_pair

4 years ago[mc] Type some boolean variable as such
Gabriel Corona [Wed, 30 Mar 2016 12:17:44 +0000 (14:17 +0200)]
[mc] Type some boolean variable as such

4 years ago[mc] Remove the _sg_mc_liveness flag
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.

4 years ago[mc] Use the symbolic values for the xbt_automaton_exp_label::type enum
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

4 years ago[mc] No more global variables
Gabriel Corona [Wed, 30 Mar 2016 12:05:19 +0000 (14:05 +0200)]
[mc] No more global variables

4 years ago[mc] Use std::vector for liveness {Pair,VisitedPair}::atomic_propositions
Gabriel Corona [Wed, 30 Mar 2016 12:03:41 +0000 (14:03 +0200)]
[mc] Use std::vector for liveness {Pair,VisitedPair}::atomic_propositions

4 years ago[mc] Move global variables as fields of LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 11:41:22 +0000 (13:41 +0200)]
[mc] Move global variables as fields of LivenessChecker

4 years ago[mc] Use std::shared_ptr for VisitedPair in LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 11:27:15 +0000 (13:27 +0200)]
[mc] Use std::shared_ptr for VisitedPair in LivenessChecker

4 years ago[mc] Use std::list for LivenessChecker::visited_pairs
Gabriel Corona [Wed, 30 Mar 2016 10:03:59 +0000 (12:03 +0200)]
[mc] Use std::list for LivenessChecker::visited_pairs

4 years ago[mc] Move visited_pairs as a static field of LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 09:55:18 +0000 (11:55 +0200)]
[mc] Move visited_pairs as a static field of LivenessChecker

4 years ago[mc] Use std::shared_ptr for State in 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.

4 years ago[mc] Use std::list for LivenessChecker::acceptance_pairs
Gabriel Corona [Wed, 30 Mar 2016 09:31:49 +0000 (11:31 +0200)]
[mc] Use std::list for LivenessChecker::acceptance_pairs

4 years ago[mc] Use std::list instead of xbt_fifo for the stack in LivenessChecker
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

4 years ago[mc] Fix #includes in LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 07:37:43 +0000 (09:37 +0200)]
[mc] Fix #includes in LivenessChecker

4 years ago[mc] Scope the global variables in LivenessChecker
Gabriel Corona [Wed, 30 Mar 2016 07:25:11 +0000 (09:25 +0200)]
[mc] Scope the global variables in LivenessChecker

4 years agorename to match C and Java version
Frederic Suter [Wed, 30 Mar 2016 10:37:45 +0000 (12:37 +0200)]
rename to match C and Java version

4 years agomv example from cloud to energy
Frederic Suter [Wed, 30 Mar 2016 10:33:56 +0000 (12:33 +0200)]
mv example from cloud to energy
  + to match C organization

4 years agoredesign this test to match the C version
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

4 years agokill a redudant example
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

4 years agocreate an app package
Frederic Suter [Wed, 30 Mar 2016 09:33:44 +0000 (11:33 +0200)]
create an app package
  + includes bittorrent and masterworker

4 years agomake an io package
Frederic Suter [Wed, 30 Mar 2016 07:40:30 +0000 (09:40 +0200)]
make an io package
improve readibility and compactness of cmake file

4 years agopackage energy
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?)

4 years agoand now a dht package + cmake factoring
Frederic Suter [Tue, 29 Mar 2016 20:02:48 +0000 (22:02 +0200)]
and now a dht package + cmake factoring

4 years agoshould fix build
Frederic Suter [Tue, 29 Mar 2016 19:35:35 +0000 (21:35 +0200)]
should fix build

4 years agodefine a process package in examples/java
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/

4 years agofull redesign of this example
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

4 years agoget rid of dumb deployment
Frederic Suter [Tue, 29 Mar 2016 16:58:55 +0000 (18:58 +0200)]
get rid of dumb deployment

4 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
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

4 years agorework the most basic java example
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/

4 years ago[mc] Remove superflous static function
Gabriel Corona [Tue, 29 Mar 2016 11:22:19 +0000 (13:22 +0200)]
[mc] Remove superflous static function

4 years ago[mc] -Wredundant-move
Gabriel Corona [Tue, 29 Mar 2016 12:53:05 +0000 (14:53 +0200)]
[mc] -Wredundant-move

4 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
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

4 years agoMassive cleanup in masterslave
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

4 years ago[mc] Remove Snapshot::is_important_snapshot()
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.

4 years ago[mc] Use shared_ptr for Snapshot
Gabriel Corona [Tue, 29 Mar 2016 09:42:54 +0000 (11:42 +0200)]
[mc] Use shared_ptr for Snapshot

4 years ago[mc] Making a State a class
Gabriel Corona [Tue, 29 Mar 2016 08:59:06 +0000 (10:59 +0200)]
[mc] Making a State a class

4 years ago[mc] LivenessChecker stack
Gabriel Corona [Tue, 29 Mar 2016 07:17:29 +0000 (09:17 +0200)]
[mc] LivenessChecker stack

4 years ago[mc] Demangle C++ names when unwinding the stack with abi::__cxa_demangle
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

4 years ago[mc] Dump the current trace when the model-checked crashes
Gabriel Corona [Fri, 25 Mar 2016 16:08:14 +0000 (17:08 +0100)]
[mc] Dump the current trace when the model-checked crashes

4 years ago[mc] Let the Checker give us the current trace
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.

4 years ago[mc] Let the Checker give us the current record trace
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.

4 years ago[mc] Move VisitedPair alongside with LivenessChecker
Gabriel Corona [Thu, 24 Mar 2016 11:37:56 +0000 (12:37 +0100)]
[mc] Move VisitedPair alongside with LivenessChecker

4 years ago[mc] Move some snapshot_compare() overload with their respective checker
Gabriel Corona [Thu, 24 Mar 2016 11:06:27 +0000 (12:06 +0100)]
[mc] Move some snapshot_compare() overload with their respective checker

4 years agocleanups
Frederic Suter [Tue, 29 Mar 2016 09:54:48 +0000 (11:54 +0200)]
cleanups

4 years agofactoring
Frederic Suter [Tue, 29 Mar 2016 09:35:37 +0000 (11:35 +0200)]
factoring

4 years agoforgot to commit that ...
Frederic Suter [Tue, 29 Mar 2016 08:52:25 +0000 (10:52 +0200)]
forgot to commit that ...

4 years agoend of splitting examples/msg/tracing
Frederic Suter [Tue, 29 Mar 2016 08:38:16 +0000 (10:38 +0200)]
end of splitting examples/msg/tracing

4 years agomake this test test something
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

4 years agomake this test test something
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

4 years agomake this test test something
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

4 years agoreorder to have ADD_TESH grouped at the end of file
Frederic Suter [Tue, 29 Mar 2016 07:58:33 +0000 (09:58 +0200)]
reorder to have ADD_TESH grouped at the end of file

4 years agoremove an unused and non-working lua script
Martin Quinson [Tue, 29 Mar 2016 06:35:22 +0000 (08:35 +0200)]
remove an unused and non-working lua script

4 years agolua: rename the platf module to 'engine' to align on s4u
Martin Quinson [Mon, 28 Mar 2016 19:13:12 +0000 (21:13 +0200)]
lua: rename the platf module to 'engine' to align on s4u

4 years agoappveyor: don't run removed tesh files
Martin Quinson [Sun, 27 Mar 2016 19:17:20 +0000 (21:17 +0200)]
appveyor: don't run removed tesh files

4 years agothird attempt to fix the build without graphviz
Martin Quinson [Sun, 27 Mar 2016 18:56:16 +0000 (20:56 +0200)]
third attempt to fix the build without graphviz

4 years agomerge my change and the one of Augustin
Martin Quinson [Sun, 27 Mar 2016 17:44:59 +0000 (19:44 +0200)]
merge my change and the one of Augustin

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sun, 27 Mar 2016 17:43:16 +0000 (19:43 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years agosecond try to fix the build without graphviz
Martin Quinson [Sun, 27 Mar 2016 17:42:34 +0000 (19:42 +0200)]
second try to fix the build without graphviz

4 years agofix build without graphviz
degomme [Sun, 27 Mar 2016 17:25:25 +0000 (19:25 +0200)]
fix build without graphviz

4 years agoFix build without graphviz
Martin Quinson [Sun, 27 Mar 2016 16:03:24 +0000 (18:03 +0200)]
Fix build without graphviz

4 years agostop using masterslave_arg to test lua as this binary is gone
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

4 years agolua: inline a function
Martin Quinson [Sun, 27 Mar 2016 15:13:42 +0000 (17:13 +0200)]
lua: inline a function

4 years agocosmetics in lua
Martin Quinson [Sun, 27 Mar 2016 12:26:30 +0000 (14:26 +0200)]
cosmetics in lua

4 years agohave the AS factory return the created AS
Martin Quinson [Sun, 27 Mar 2016 12:10:01 +0000 (14:10 +0200)]
have the AS factory return the created AS

4 years agocosmetics in lua platform creation
Martin Quinson [Sun, 27 Mar 2016 10:40:16 +0000 (12:40 +0200)]
cosmetics in lua platform creation

4 years agolet's seal() the AS in lua too
Martin Quinson [Sun, 27 Mar 2016 09:35:12 +0000 (11:35 +0200)]
let's seal() the AS in lua too

4 years agoFurther cosmetics in the parsing of clusters
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

4 years agoIn <cluster>, attributes availability_file and state_file are gone.
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.

4 years agocleanups in the parsing
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

4 years agoplug two memleaks
Martin Quinson [Sat, 26 Mar 2016 22:28:21 +0000 (23:28 +0100)]
plug two memleaks

4 years agocosmetics in cluster parsing
Martin Quinson [Sat, 26 Mar 2016 22:00:33 +0000 (23:00 +0100)]
cosmetics in cluster parsing

4 years agovivaldi: we are not using euclidean distance, actually
Martin Quinson [Sat, 26 Mar 2016 21:38:44 +0000 (22:38 +0100)]
vivaldi: we are not using euclidean distance, actually

4 years agodo not create dumb hosts when searching for vivaldi coordinates
Martin Quinson [Sat, 26 Mar 2016 21:31:30 +0000 (22:31 +0100)]
do not create dumb hosts when searching for vivaldi coordinates

4 years agoVivaldi: factorize similar code and cosmetics
Martin Quinson [Sat, 26 Mar 2016 21:19:51 +0000 (22:19 +0100)]
Vivaldi: factorize similar code and cosmetics