Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
3 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 4 Apr 2016 17:01:00 +0000 (19:01 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

3 years agofurther rework the config handling. Still much to do
Martin Quinson [Mon, 4 Apr 2016 16:59:44 +0000 (18:59 +0200)]
further rework the config handling. Still much to do

3 years ago[mc] Make Checker implementation private
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.

3 years ago[mc] Fix #includes
Gabriel Corona [Mon, 4 Apr 2016 15:26:03 +0000 (17:26 +0200)]
[mc] Fix #includes

3 years ago[mc] Fix warnings
Gabriel Corona [Mon, 4 Apr 2016 15:22:51 +0000 (17:22 +0200)]
[mc] Fix warnings

3 years ago[mc] Use std::unique_ptr for States
Gabriel Corona [Mon, 4 Apr 2016 15:14:08 +0000 (17:14 +0200)]
[mc] Use std::unique_ptr for States

3 years ago[mc] Get rid of the global simgrid::mc::visited_states, use a class instead
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

3 years ago[mc] Move VisitedState stuffs in their own .c file
Gabriel Corona [Mon, 4 Apr 2016 14:18:13 +0000 (16:18 +0200)]
[mc] Move VisitedState stuffs in their own .c file

3 years ago[mc] Reindent is_visited_state()
Gabriel Corona [Mon, 4 Apr 2016 13:54:06 +0000 (15:54 +0200)]
[mc] Reindent is_visited_state()

3 years ago[mc] Rename SafetyChecker::is_exploration_stack_state() into checkNonDeterminism()
Gabriel Corona [Mon, 4 Apr 2016 13:44:50 +0000 (15:44 +0200)]
[mc] Rename SafetyChecker::is_exploration_stack_state() into checkNonDeterminism()

3 years ago[mc] Move the stack as field of SafetyChecker and CommDetChecker
Gabriel Corona [Mon, 4 Apr 2016 13:32:20 +0000 (15:32 +0200)]
[mc] Move the stack as field of SafetyChecker and CommDetChecker

3 years ago[mc] Use std::list instead of xbt_fifo for mc_stack
Gabriel Corona [Mon, 4 Apr 2016 13:26:04 +0000 (15:26 +0200)]
[mc] Use std::list instead of xbt_fifo for mc_stack

3 years ago[mc] Different/private mc_stack variables for SafetyChecker and LivenessChecker
Gabriel Corona [Mon, 4 Apr 2016 10:15:41 +0000 (12:15 +0200)]
[mc] Different/private mc_stack variables for SafetyChecker and LivenessChecker

3 years ago[mc] Use shared_ptr for liveness propositions
Gabriel Corona [Mon, 4 Apr 2016 08:30:21 +0000 (10:30 +0200)]
[mc] Use shared_ptr for liveness propositions

3 years agoFix #includes to automaton.h
Gabriel Corona [Mon, 4 Apr 2016 08:11:53 +0000 (10:11 +0200)]
Fix #includes to automaton.h

3 years agoclean and simplify
Frederic Suter [Mon, 4 Apr 2016 11:49:09 +0000 (13:49 +0200)]
clean and simplify

3 years agofix this untested example
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

3 years agoThe usual sunday night fix :
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

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

3 years agofurther rework the option mechanism
Martin Quinson [Sun, 3 Apr 2016 20:26:08 +0000 (22:26 +0200)]
further rework the option mechanism

3 years agoMerge branch 'master' of 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

3 years agostart refactoring the option handling
Martin Quinson [Sat, 2 Apr 2016 21:20:04 +0000 (23:20 +0200)]
start refactoring the option handling

3 years agostart to shrink mpich3-test cmake files
Frederic Suter [Sat, 2 Apr 2016 11:23:26 +0000 (13:23 +0200)]
start to shrink mpich3-test cmake files

3 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 1 Apr 2016 21:50:05 +0000 (23:50 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

3 years agocompile sg_config with g++ too
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.

3 years agotiny cleanups in the VMs and links
Martin Quinson [Fri, 1 Apr 2016 19:15:19 +0000 (21:15 +0200)]
tiny cleanups in the VMs and links

3 years agoRemove the properties from the host constructor
Martin Quinson [Fri, 1 Apr 2016 19:08:33 +0000 (21:08 +0200)]
Remove the properties from the host constructor

3 years agoAdd a way to set a property on s4u::Host
Martin Quinson [Fri, 1 Apr 2016 18:57:36 +0000 (20:57 +0200)]
Add a way to set a property on s4u::Host

3 years agorename the fields of the PropertyHolder
Martin Quinson [Fri, 1 Apr 2016 17:19:11 +0000 (19:19 +0200)]
rename the fields of the PropertyHolder

3 years agoadd a word about multi-cabinet modeling
Martin Quinson [Fri, 1 Apr 2016 17:18:46 +0000 (19:18 +0200)]
add a word about multi-cabinet modeling

3 years agosimplify the prototype of LinkCM02 constructor
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

3 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

3 years agoslave2worker cont'd
Frederic Suter [Fri, 1 Apr 2016 10:51:55 +0000 (12:51 +0200)]
slave2worker cont'd

3 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

3 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()

3 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

3 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.

3 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

3 years agoend slavery in java world
Frederic Suter [Fri, 1 Apr 2016 09:26:39 +0000 (11:26 +0200)]
end slavery in java world

3 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

3 years agotracing -> trace/pingpong
Frederic Suter [Fri, 1 Apr 2016 08:28:42 +0000 (10:28 +0200)]
tracing -> trace/pingpong

3 years agopingPong -> app/pingpong
Frederic Suter [Fri, 1 Apr 2016 07:55:01 +0000 (09:55 +0200)]
pingPong -> app/pingpong

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

3 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

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

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

3 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

3 years agooutput sort is not global to the file (anymore?).
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.

3 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

3 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

3 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

3 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

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

3 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

3 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()

3 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

3 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

3 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

3 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

3 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

3 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.

3 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

3 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

3 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

3 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

3 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

3 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

3 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

3 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.

3 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

3 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

3 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

3 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

3 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

3 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

3 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

3 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

3 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

3 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

3 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?)

3 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

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

3 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/

3 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

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

3 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

3 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/

3 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

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

3 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

3 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

3 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.

3 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

3 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

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

3 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

3 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

3 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.

3 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.

3 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