Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
3 years ago[mc] Add PatternCommunication::dup()
Gabriel Corona [Wed, 6 Apr 2016 11:14:53 +0000 (13:14 +0200)]
[mc] Add PatternCommunication::dup()

3 years ago[mc] Rename the communication pattern types
Gabriel Corona [Wed, 6 Apr 2016 10:07:40 +0000 (12:07 +0200)]
[mc] Rename the communication pattern types

3 years ago[mc] Get rid of MC_list_comm_pattern_free()
Gabriel Corona [Wed, 6 Apr 2016 08:58:53 +0000 (10:58 +0200)]
[mc] Get rid of MC_list_comm_pattern_free()

3 years ago[mc] Get rid of MC_comm_pattern_free()
Gabriel Corona [Wed, 6 Apr 2016 08:38:08 +0000 (10:38 +0200)]
[mc] Get rid of MC_comm_pattern_free()

which is 'delete' in disguise

3 years ago[mc] Remove always disabled code
Gabriel Corona [Wed, 6 Apr 2016 08:05:05 +0000 (10:05 +0200)]
[mc] Remove always disabled code

3 years ago[mc] Remove duplicate init in State
Gabriel Corona [Wed, 6 Apr 2016 07:48:16 +0000 (09:48 +0200)]
[mc] Remove duplicate init in State

3 years ago[mc] Fix #includes
Gabriel Corona [Tue, 5 Apr 2016 14:44:14 +0000 (16:44 +0200)]
[mc] Fix #includes

3 years ago[mc] Remove the declaration of a function which has been removed
Gabriel Corona [Tue, 5 Apr 2016 14:40:35 +0000 (16:40 +0200)]
[mc] Remove the declaration of a function which has been removed

3 years agostupid me.
degomme [Wed, 6 Apr 2016 11:56:14 +0000 (13:56 +0200)]
stupid me.

3 years agoSwitch to actually perform out-of-source builds.
degomme [Wed, 6 Apr 2016 10:29:11 +0000 (12:29 +0200)]
Switch to actually perform out-of-source builds.
This should expose some issues.
next step would be to rename the first "build" folder, but I want to see how this turns out first.

3 years agotry to get rid of smpi tracing segmentation faults on some platforms.
degomme [Wed, 6 Apr 2016 00:03:25 +0000 (02:03 +0200)]
try to get rid of smpi tracing segmentation faults on some platforms.

3 years agojtrace: some more calls for kenenbek
Martin Quinson [Tue, 5 Apr 2016 21:57:23 +0000 (23:57 +0200)]
jtrace: some more calls for kenenbek

3 years agojtrace: add a missing call
Martin Quinson [Tue, 5 Apr 2016 21:43:51 +0000 (23:43 +0200)]
jtrace: add a missing call

3 years agoReplace MPI->PMPI stupid wrappers by macro-generated ones.
degomme [Tue, 5 Apr 2016 21:06:06 +0000 (23:06 +0200)]
Replace MPI->PMPI stupid wrappers by macro-generated ones.
This will make easier to add new calls (one line in mpi.h, one in smpi_mpi.cpp for an unimplemented one)

3 years ago[mc] Use std::string for request_get_dot_output() and s_mc_global_t::prev_req
Gabriel Corona [Tue, 5 Apr 2016 14:25:32 +0000 (16:25 +0200)]
[mc] Use std::string for request_get_dot_output() and s_mc_global_t::prev_req

3 years ago[mc] Use std::string in simgrid::mc::request_to_string
Gabriel Corona [Tue, 5 Apr 2016 12:48:33 +0000 (14:48 +0200)]
[mc] Use std::string in simgrid::mc::request_to_string

3 years ago[mc] Don't copy or move states (yet)
Gabriel Corona [Tue, 5 Apr 2016 12:12:38 +0000 (14:12 +0200)]
[mc] Don't copy or move states (yet)

3 years ago[mc] Use RAII std::vector for s_mc_comm_pattern::data
Gabriel Corona [Tue, 5 Apr 2016 11:45:37 +0000 (13:45 +0200)]
[mc] Use RAII std::vector for s_mc_comm_pattern::data

3 years ago[mc] Use RAII std::string for s_mc_comm_pattern::rdv
Gabriel Corona [Tue, 5 Apr 2016 11:34:40 +0000 (13:34 +0200)]
[mc] Use RAII std::string for s_mc_comm_pattern::rdv

3 years ago[mc] Constructor/destructor for s_mc_comm_pattern
Gabriel Corona [Tue, 5 Apr 2016 11:25:07 +0000 (13:25 +0200)]
[mc] Constructor/destructor for s_mc_comm_pattern

3 years ago[mc] C++ification of State
Gabriel Corona [Tue, 5 Apr 2016 10:20:17 +0000 (12:20 +0200)]
[mc] C++ification of State

3 years ago[mc] Remove MC_state_delete()
Gabriel Corona [Tue, 5 Apr 2016 09:38:03 +0000 (11:38 +0200)]
[mc] Remove MC_state_delete()

3 years ago[mc] Avoid useless stuff when logging is disabled in SafetyChecker
Gabriel Corona [Tue, 5 Apr 2016 09:33:29 +0000 (11:33 +0200)]
[mc] Avoid useless stuff when logging is disabled in SafetyChecker

3 years ago[mc] Create SafetyChecker::backtrack() method
Gabriel Corona [Tue, 5 Apr 2016 09:03:50 +0000 (11:03 +0200)]
[mc] Create SafetyChecker::backtrack() method

3 years ago[mc] Move visitedState as a field of SafetyChecker
Gabriel Corona [Tue, 5 Apr 2016 08:48:08 +0000 (10:48 +0200)]
[mc] Move visitedState as a field of SafetyChecker

3 years ago[mc] Remove user_max_depth which back up MC_cut() for now
Gabriel Corona [Tue, 5 Apr 2016 08:22:32 +0000 (10:22 +0200)]
[mc] Remove user_max_depth which back up MC_cut() for now

This variables is not set since the cross-process mode anyway.

3 years ago[mc] Rename a checkNonDeterminism() to checkNonTermination()
Gabriel Corona [Tue, 5 Apr 2016 08:18:45 +0000 (10:18 +0200)]
[mc] Rename a checkNonDeterminism() to checkNonTermination()

because this is what we're doing.

3 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Tue, 5 Apr 2016 14:31:49 +0000 (16:31 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

3 years agofix distcheck
Frederic Suter [Tue, 5 Apr 2016 14:25:31 +0000 (16:25 +0200)]
fix distcheck

3 years agomv some app examples in app- folders
Frederic Suter [Tue, 5 Apr 2016 14:23:34 +0000 (16:23 +0200)]
mv some app examples in app- folders
 + kill one old masterworker
 + update failures examples

3 years agofix rm
Frederic Suter [Tue, 5 Apr 2016 14:23:16 +0000 (16:23 +0200)]
fix rm

3 years agoAdd MPI_File* bindings to SMPI, even if they are unimplemented.
degomme [Tue, 5 Apr 2016 13:34:13 +0000 (15:34 +0200)]
Add MPI_File* bindings to SMPI, even if they are unimplemented.
We should add a better way to add unimplemented code without generating this much dead code ..
Even if this dead code is a placeholder for a potential future implementation..

3 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

3 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

3 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

3 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

3 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

3 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

3 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

3 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

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

3 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

3 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

3 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

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

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