Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
6 years ago[mc] Use std::equal_range in get_search_range()
Gabriel Corona [Wed, 23 Mar 2016 08:30:48 +0000 (09:30 +0100)]
[mc] Use std::equal_range in get_search_range()

The semantic of this function chanegd slightly in order to have
simpler code in the callers.

6 years ago[mc] Use a single templated code for get_search_interval
Gabriel Corona [Tue, 22 Mar 2016 16:32:15 +0000 (17:32 +0100)]
[mc] Use a single templated code for get_search_interval

6 years ago[mc] Move some liveness code in the liveness file (private/static)
Gabriel Corona [Tue, 22 Mar 2016 14:42:02 +0000 (15:42 +0100)]
[mc] Move some liveness code in the liveness file (private/static)

6 years ago[mc] Do not use a dangerous guess-the-type logic in snapshot_compare()
Gabriel Corona [Tue, 22 Mar 2016 14:31:10 +0000 (15:31 +0100)]
[mc] Do not use a dangerous guess-the-type logic in snapshot_compare()

6 years ago[mc] Move MC_replay_liveness() as a static function of mc_liveness.c
Gabriel Corona [Mon, 21 Mar 2016 16:10:03 +0000 (17:10 +0100)]
[mc] Move MC_replay_liveness() as a static function of mc_liveness.c

6 years ago[mc] Move the (main) safety code as methods of SafetyChecker
Gabriel Corona [Mon, 21 Mar 2016 15:54:11 +0000 (16:54 +0100)]
[mc] Move the (main) safety code as methods of SafetyChecker

6 years ago[mc] Do not use reduction_mode outside of the safety algorithm
Gabriel Corona [Mon, 21 Mar 2016 15:45:52 +0000 (16:45 +0100)]
[mc] Do not use reduction_mode outside of the safety algorithm

6 years ago[mc] Dummy SafetyChecker class
Gabriel Corona [Mon, 21 Mar 2016 14:33:22 +0000 (15:33 +0100)]
[mc] Dummy SafetyChecker class

6 years ago[mc] Working on an interface between a model-checking session and a model-checking...
Gabriel Corona [Fri, 18 Mar 2016 16:00:55 +0000 (17:00 +0100)]
[mc] Working on an interface between a model-checking session and a model-checking algorithm

6 years agocouple more simplifications
Frederic Suter [Wed, 23 Mar 2016 09:58:36 +0000 (10:58 +0100)]
couple more simplifications

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Tue, 22 Mar 2016 21:40:41 +0000 (22:40 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agosome cleanups in examples/msg
Frederic Suter [Tue, 22 Mar 2016 20:51:12 +0000 (21:51 +0100)]
some cleanups in examples/msg

6 years agons3: kill useless C -> C++ interface remainings
Martin Quinson [Tue, 22 Mar 2016 21:10:23 +0000 (22:10 +0100)]
ns3: kill useless C -> C++ interface remainings

6 years agouseless cosmetics in NS3
Martin Quinson [Tue, 22 Mar 2016 09:53:48 +0000 (10:53 +0100)]
useless cosmetics in NS3

6 years agofactoring cmake
Frederic Suter [Tue, 22 Mar 2016 12:09:06 +0000 (13:09 +0100)]
factoring cmake

6 years agoreorganize cmake files to group ADD_TEST together
Frederic Suter [Tue, 22 Mar 2016 09:40:49 +0000 (10:40 +0100)]
reorganize cmake files to group ADD_TEST together
  might help to revive memcheck

6 years agoplug a i-am-everywhere leak
Frederic Suter [Mon, 21 Mar 2016 22:12:43 +0000 (23:12 +0100)]
plug a i-am-everywhere leak
 + delete pimpl_netcard when freeing a host
 + As the netcard of a physical host is shared by VMs running on it,
   it leads to double frees.
 + A solution is to explicity destroy the VMs when they are not needed
   anymore.
If one doesn't like it, feel free to simplify the VM stuff ;)

6 years agoreindent (while chasing leaks)
Frederic Suter [Mon, 21 Mar 2016 21:53:06 +0000 (22:53 +0100)]
reindent (while chasing leaks)

6 years agotry to fix test on OSX
Frederic Suter [Mon, 21 Mar 2016 20:44:28 +0000 (21:44 +0100)]
try to fix test on OSX

6 years agoRevert "Move this bit after the definition of the tests it relates to"
Frederic Suter [Mon, 21 Mar 2016 20:37:04 +0000 (21:37 +0100)]
Revert "Move this bit after the definition of the tests it relates to"

This reverts commit d417954d024c18377e7fb21d670e59f324ccfc36.

6 years agoeven better ;)
Frederic Suter [Mon, 21 Mar 2016 20:05:45 +0000 (21:05 +0100)]
even better ;)

6 years agoMove this bit after the definition of the tests it relates to
degomme [Mon, 21 Mar 2016 16:06:17 +0000 (17:06 +0100)]
Move this bit after the definition of the tests it relates to

6 years agoclang asks for override here ...
degomme [Mon, 21 Mar 2016 15:47:45 +0000 (16:47 +0100)]
clang asks for override here ...

6 years agoinitialize vars
degomme [Mon, 21 Mar 2016 15:43:37 +0000 (16:43 +0100)]
initialize vars

6 years agoplug two easy leaks
Frederic Suter [Mon, 21 Mar 2016 13:10:05 +0000 (14:10 +0100)]
plug two easy leaks

6 years agoreindent
Frederic Suter [Mon, 21 Mar 2016 13:09:54 +0000 (14:09 +0100)]
reindent

6 years agosimplify paths
Frederic Suter [Mon, 21 Mar 2016 10:07:53 +0000 (11:07 +0100)]
simplify paths

6 years agoone CMakeLists per module: achieved!
Frederic Suter [Mon, 21 Mar 2016 09:57:10 +0000 (10:57 +0100)]
one CMakeLists per module: achieved!

6 years agokill a couple of unused/redundant XML files
Frederic Suter [Mon, 21 Mar 2016 09:41:45 +0000 (10:41 +0100)]
kill a couple of unused/redundant XML files
 + cosmetics

6 years agomv tests where they belong
Frederic Suter [Mon, 21 Mar 2016 09:10:28 +0000 (10:10 +0100)]
mv tests where they belong

6 years agoget rid of teshsuite/simdag/CMakeLists.txt
Frederic Suter [Mon, 21 Mar 2016 09:03:38 +0000 (10:03 +0100)]
get rid of teshsuite/simdag/CMakeLists.txt

6 years agocontinue to emptty teshsuite/simdag/platforms/CMakeLists.txt
Frederic Suter [Mon, 21 Mar 2016 08:48:52 +0000 (09:48 +0100)]
continue to emptty teshsuite/simdag/platforms/CMakeLists.txt

6 years agofactor teshsuites/simix cmake files
Frederic Suter [Mon, 21 Mar 2016 08:21:56 +0000 (09:21 +0100)]
factor teshsuites/simix cmake files

6 years agoreindent, duplicate--, useless endif/if
Frederic Suter [Mon, 21 Mar 2016 08:21:25 +0000 (09:21 +0100)]
reindent, duplicate--, useless endif/if

6 years agons3: further cleanups
Martin Quinson [Mon, 21 Mar 2016 00:25:50 +0000 (01:25 +0100)]
ns3: further cleanups

6 years agoNS3: don't use the 'using namespace' construct
Martin Quinson [Sun, 20 Mar 2016 23:56:32 +0000 (00:56 +0100)]
NS3: don't use the 'using namespace' construct

6 years agoNS3: Remove content from NS3Sim(), to later kill it
Martin Quinson [Sun, 20 Mar 2016 23:51:18 +0000 (00:51 +0100)]
NS3: Remove content from NS3Sim(), to later kill it

6 years agons3: gosh this code is ugly
Martin Quinson [Sun, 20 Mar 2016 23:36:12 +0000 (00:36 +0100)]
ns3: gosh this code is ugly

6 years agons3: everything is in C++ now, no need for so many files
Martin Quinson [Sun, 20 Mar 2016 23:28:57 +0000 (00:28 +0100)]
ns3: everything is in C++ now, no need for so many files

6 years agons3: kill an unused void*, qualify another one
Martin Quinson [Sun, 20 Mar 2016 23:03:56 +0000 (00:03 +0100)]
ns3: kill an unused void*, qualify another one

6 years agons3: rename a type for consistency
Martin Quinson [Sun, 20 Mar 2016 23:00:59 +0000 (00:00 +0100)]
ns3: rename a type for consistency

6 years agokill some dead code in NS3
Martin Quinson [Sun, 20 Mar 2016 22:45:39 +0000 (23:45 +0100)]
kill some dead code in NS3

6 years agoobjectifies surf::Action::State
Martin Quinson [Sun, 20 Mar 2016 22:21:36 +0000 (23:21 +0100)]
objectifies surf::Action::State

6 years agokill some dead code
Martin Quinson [Sun, 20 Mar 2016 00:01:04 +0000 (01:01 +0100)]
kill some dead code

6 years agoobjectifies a C function
Martin Quinson [Sat, 19 Mar 2016 23:15:33 +0000 (00:15 +0100)]
objectifies a C function

6 years agorename some fields to match our coding standards
Martin Quinson [Sat, 19 Mar 2016 23:06:15 +0000 (00:06 +0100)]
rename some fields to match our coding standards

6 years agocleanups in (wanna be) surf::CpuImpl
Martin Quinson [Sat, 19 Mar 2016 22:38:05 +0000 (23:38 +0100)]
cleanups in (wanna be) surf::CpuImpl

6 years agoempty Cpu factories
Martin Quinson [Sat, 19 Mar 2016 22:29:32 +0000 (23:29 +0100)]
empty Cpu factories

6 years agoremove a redundant parameter to the Cpu constructor
Martin Quinson [Sat, 19 Mar 2016 22:23:50 +0000 (23:23 +0100)]
remove a redundant parameter to the Cpu constructor

6 years agoget a better name for the speedPerPstate attribute in CPU
Martin Quinson [Sat, 19 Mar 2016 22:14:06 +0000 (23:14 +0100)]
get a better name for the speedPerPstate attribute in CPU

6 years agoempty the link factories
Martin Quinson [Sat, 19 Mar 2016 21:58:16 +0000 (22:58 +0100)]
empty the link factories

6 years agoremove speedTrace from the CPU constructor
Martin Quinson [Sat, 19 Mar 2016 02:51:57 +0000 (03:51 +0100)]
remove speedTrace from the CPU constructor

6 years agouniformize how CpuTI creates SpeedTrace with other models
Martin Quinson [Sat, 19 Mar 2016 02:36:48 +0000 (03:36 +0100)]
uniformize how CpuTI creates SpeedTrace with other models

6 years agoremove StateTrace from the CPU constructor
Martin Quinson [Sat, 19 Mar 2016 02:17:39 +0000 (03:17 +0100)]
remove StateTrace from the CPU constructor

This only bloats the CPU interface. People wanting to attach a trace
can do that after creation with setStateTrace.

6 years agotry to fix mmalloc test on MC
Frederic Suter [Fri, 18 Mar 2016 21:40:56 +0000 (22:40 +0100)]
try to fix mmalloc test on MC

6 years agoeither I'm dumb or tired...
Frederic Suter [Fri, 18 Mar 2016 20:19:41 +0000 (21:19 +0100)]
either I'm dumb or tired...

6 years agogrrrrr
Frederic Suter [Fri, 18 Mar 2016 19:55:17 +0000 (20:55 +0100)]
grrrrr

6 years agodamn! so many mistakes ...
Frederic Suter [Fri, 18 Mar 2016 19:29:03 +0000 (20:29 +0100)]
damn! so many mistakes ...

6 years agosecond try to fix
Frederic Suter [Fri, 18 Mar 2016 18:57:24 +0000 (19:57 +0100)]
second try to fix

6 years agotry to blindly fix test
Frederic Suter [Fri, 18 Mar 2016 17:43:29 +0000 (18:43 +0100)]
try to blindly fix test

6 years agoreorg teshsuite/mc
Frederic Suter [Fri, 18 Mar 2016 15:44:46 +0000 (16:44 +0100)]
reorg teshsuite/mc

6 years ago[mc] Use C++ containers for visited_states
Gabriel Corona [Fri, 18 Mar 2016 08:54:05 +0000 (09:54 +0100)]
[mc] Use C++ containers for visited_states

6 years ago[mc] Fix VisitedState constructor
Gabriel Corona [Fri, 18 Mar 2016 08:18:12 +0000 (09:18 +0100)]
[mc] Fix VisitedState constructor

The snapshot was not taken anymore.

6 years agokill another avoidable XML
Frederic Suter [Fri, 18 Mar 2016 12:51:57 +0000 (13:51 +0100)]
kill another avoidable XML

6 years agokill avoidable XML
Frederic Suter [Fri, 18 Mar 2016 12:43:10 +0000 (13:43 +0100)]
kill avoidable XML

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Fri, 18 Mar 2016 12:15:34 +0000 (13:15 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agorefactor 2 more CMakeLists
Frederic Suter [Fri, 18 Mar 2016 09:57:17 +0000 (10:57 +0100)]
refactor 2 more CMakeLists

6 years agofix build with MC
Martin Quinson [Fri, 18 Mar 2016 07:27:48 +0000 (08:27 +0100)]
fix build with MC

6 years agostill messing around with cmake
Frederic Suter [Thu, 17 Mar 2016 17:02:52 +0000 (18:02 +0100)]
still messing around with cmake

6 years agofix distcheck
Frederic Suter [Thu, 17 Mar 2016 11:16:55 +0000 (12:16 +0100)]
fix distcheck

6 years agomv is-router and flatifier to their own dir
Frederic Suter [Thu, 17 Mar 2016 11:11:46 +0000 (12:11 +0100)]
mv is-router and flatifier to their own dir

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Thu, 17 Mar 2016 10:35:35 +0000 (11:35 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid
degomme [Thu, 17 Mar 2016 10:19:44 +0000 (11:19 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid

6 years agoFix dist
degomme [Thu, 17 Mar 2016 10:19:38 +0000 (11:19 +0100)]
Fix dist

6 years agoAdd suitable #include for HAVE_MC
Gabriel Corona [Thu, 17 Mar 2016 09:53:05 +0000 (10:53 +0100)]
Add suitable #include for HAVE_MC

6 years agoMerge commit '7937c47'
Gabriel Corona [Thu, 17 Mar 2016 09:49:35 +0000 (10:49 +0100)]
Merge commit '7937c47'

6 years agoRemove useless include that makes projects outside of Simgrid uncompilable.
David Glesser [Thu, 17 Mar 2016 09:04:28 +0000 (10:04 +0100)]
Remove useless include that makes projects outside of Simgrid uncompilable.

6 years agomv a test out of platforms dir
Frederic Suter [Thu, 17 Mar 2016 08:54:51 +0000 (09:54 +0100)]
mv a test out of platforms dir

6 years agoMerge the merges of merges
Gabriel Corona [Thu, 17 Mar 2016 08:35:46 +0000 (09:35 +0100)]
Merge the merges of merges

Maybe we should avoid this merging madness…

6 years agofurther reorg
Frederic Suter [Thu, 17 Mar 2016 08:17:07 +0000 (09:17 +0100)]
further reorg

6 years agoMerge pull request #68 from glesserd/ptask_energy_bug
Martin Quinson [Wed, 16 Mar 2016 23:49:11 +0000 (00:49 +0100)]
Merge pull request #68 from glesserd/ptask_energy_bug

Energy were not computed correctly for parallel tasks.

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Wed, 16 Mar 2016 22:47:40 +0000 (23:47 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agodeal with trace
Frederic Suter [Wed, 16 Mar 2016 21:51:02 +0000 (22:51 +0100)]
deal with trace

6 years agostart to reorganize teshsuite/simdag
Frederic Suter [Wed, 16 Mar 2016 21:05:53 +0000 (22:05 +0100)]
start to reorganize teshsuite/simdag

6 years agoUpdate ptask example to also test energy on parallel tasks.
David Glesser [Wed, 16 Mar 2016 18:09:51 +0000 (19:09 +0100)]
Update ptask example to also test energy on parallel tasks.

6 years agoEnergy were not computed correctly for parallel tasks.
David Glesser [Wed, 16 Mar 2016 17:25:02 +0000 (18:25 +0100)]
Energy were not computed correctly for parallel tasks.

The change of computing states were only reported to the first host of the parallel task.

6 years agoExplicitly defined random generator integer type sizes for more portability
Fabien Chaix [Mon, 29 Feb 2016 20:25:28 +0000 (22:25 +0200)]
Explicitly defined random generator integer type sizes for more portability

6 years ago[mc] Fix compilation
Gabriel Corona [Wed, 16 Mar 2016 15:40:29 +0000 (16:40 +0100)]
[mc] Fix compilation

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Wed, 16 Mar 2016 15:39:17 +0000 (16:39 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years ago[mc] Don't fail if some (part of a) segment is empty/not found
Gabriel Corona [Wed, 16 Mar 2016 15:27:01 +0000 (16:27 +0100)]
[mc] Don't fail if some (part of a) segment is empty/not found

6 years agorename SMPI macro related tests
Frederic Suter [Wed, 16 Mar 2016 15:25:24 +0000 (16:25 +0100)]
rename SMPI macro related tests
  and kill dumb ones (a.k.a old examples)

6 years ago[mc] Better detection of the segments
Gabriel Corona [Wed, 16 Mar 2016 15:24:37 +0000 (16:24 +0100)]
[mc] Better detection of the segments

The previous version failed to find the non-RELRO part of the data
segment if it's completely anonymous.

6 years agofactor cmake for teshsuite/msg
Frederic Suter [Wed, 16 Mar 2016 14:24:16 +0000 (15:24 +0100)]
factor cmake for teshsuite/msg

6 years agoreindent, static-ify, and kill blanks
Frederic Suter [Wed, 16 Mar 2016 14:03:53 +0000 (15:03 +0100)]
reindent, static-ify, and kill blanks

6 years agohave a single Cmake file for tesh-msg
Frederic Suter [Wed, 16 Mar 2016 13:24:58 +0000 (14:24 +0100)]
have a single Cmake file for tesh-msg
  +1 for trace (that might move out of the way soon)

6 years agomv bug-17132 to the smpi directory
Frederic Suter [Wed, 16 Mar 2016 12:34:38 +0000 (13:34 +0100)]
mv bug-17132 to the smpi directory

6 years agokill unused deployment file
Frederic Suter [Wed, 16 Mar 2016 12:25:06 +0000 (13:25 +0100)]
kill unused deployment file

6 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Wed, 16 Mar 2016 12:05:12 +0000 (13:05 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

6 years agoget rid of some useless deployment files
Frederic Suter [Wed, 16 Mar 2016 12:04:37 +0000 (13:04 +0100)]
get rid of some useless deployment files
  we can create processes after all

6 years agooops
degomme [Wed, 16 Mar 2016 10:37:43 +0000 (11:37 +0100)]
oops