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 [Tue, 5 Apr 2016 12:22:01 +0000 (14:22 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

4 years agoactions-mpi becomes actions-comm
Frederic Suter [Tue, 5 Apr 2016 12:19:29 +0000 (14:19 +0200)]
actions-mpi becomes actions-comm
  + allow us to keep an example of such trace replay
  + stop misleading MPI users, this is not MPI replay, just comm replay

4 years agoxbt_config: kill an unused feature: multivalued variables
Martin Quinson [Tue, 5 Apr 2016 05:09:19 +0000 (07:09 +0200)]
xbt_config: kill an unused feature: multivalued variables

4 years agoxbt_config: kill an unused feature: unregistering variables
Martin Quinson [Tue, 5 Apr 2016 04:40:26 +0000 (06:40 +0200)]
xbt_config: kill an unused feature: unregistering variables

4 years agoxbt_config: kill an unused feature: unsetting values
Martin Quinson [Tue, 5 Apr 2016 04:38:03 +0000 (06:38 +0200)]
xbt_config: kill an unused feature: unsetting values

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 5 Apr 2016 04:33:32 +0000 (06:33 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years agoWe never use a second configuration set, so simplify the API
Martin Quinson [Tue, 5 Apr 2016 04:33:20 +0000 (06:33 +0200)]
We never use a second configuration set, so simplify the API

4 years agothe binary used to test lua moved again
Martin Quinson [Tue, 5 Apr 2016 04:00:17 +0000 (06:00 +0200)]
the binary used to test lua moved again

4 years agoreduce stack size for cloud example (weirdly only crashed 32 bits nodes)
degomme [Tue, 5 Apr 2016 00:12:11 +0000 (02:12 +0200)]
reduce stack size for cloud example (weirdly only crashed 32 bits nodes)

4 years agoend of reorganizing cloud examples
Frederic Suter [Mon, 4 Apr 2016 21:48:26 +0000 (23:48 +0200)]
end of reorganizing cloud examples
 + and finally test some of them
 + redesign scale test to avoid timers

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

4 years agostart to rename cloud examples
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

4 years agoreindent
Frederic Suter [Mon, 4 Apr 2016 20:25:20 +0000 (22:25 +0200)]
reindent

4 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

4 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

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

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

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

4 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

4 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

4 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

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

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

4 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

4 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

4 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

4 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

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

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

4 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

4 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

4 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

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

4 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

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

4 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

4 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

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

4 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

4 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

4 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

4 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

4 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

4 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

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

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/