Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
4 years agolet lmm_system_free(nullptr) be a noop
Martin Quinson [Sat, 26 Mar 2016 11:06:38 +0000 (12:06 +0100)]
let lmm_system_free(nullptr) be a noop

4 years agolet xbt_heap_free(NULL) be a noop
Martin Quinson [Sat, 26 Mar 2016 11:02:15 +0000 (12:02 +0100)]
let xbt_heap_free(NULL) be a noop

4 years agosmall cleanups here and there
Martin Quinson [Sat, 26 Mar 2016 10:59:14 +0000 (11:59 +0100)]
small cleanups here and there

4 years agoNetworkCste: Kill two methods overriden to the same content
Martin Quinson [Sat, 26 Mar 2016 10:42:41 +0000 (11:42 +0100)]
NetworkCste: Kill two methods overriden to the same content

+ rename a field

4 years agorename the fields of surf::Action
Martin Quinson [Sat, 26 Mar 2016 10:26:15 +0000 (11:26 +0100)]
rename the fields of surf::Action

4 years agogtnets is gone now
Martin Quinson [Sat, 26 Mar 2016 10:25:46 +0000 (11:25 +0100)]
gtnets is gone now

4 years agosort out the Link::onCommunicate signal
Martin Quinson [Sat, 26 Mar 2016 10:09:16 +0000 (11:09 +0100)]
sort out the Link::onCommunicate signal

4 years agoNS3: move the content of Model::communicate into Action constructor
Martin Quinson [Sat, 26 Mar 2016 09:53:30 +0000 (10:53 +0100)]
NS3: move the content of Model::communicate into Action constructor

4 years agons3: no need for 2 postparse callbacks
Martin Quinson [Sat, 26 Mar 2016 09:42:28 +0000 (10:42 +0100)]
ns3: no need for 2 postparse callbacks

4 years agoKill the useless NS3Sim class
Martin Quinson [Fri, 25 Mar 2016 14:41:49 +0000 (15:41 +0100)]
Kill the useless NS3Sim class

Instead, inline its methods that were static anyway. I guess it's a
remaining of the C->C++ interface

4 years agocosmetics in NS3
Martin Quinson [Fri, 25 Mar 2016 13:48:03 +0000 (14:48 +0100)]
cosmetics in NS3

4 years agokill dat code, pal
Martin Quinson [Fri, 25 Mar 2016 13:28:12 +0000 (14:28 +0100)]
kill dat code, pal

Separate the dead code removal from the change that make it useless
for sake of diff readability.

4 years agoDon't copy&change ns3::point-to-point-helper
Martin Quinson [Fri, 25 Mar 2016 13:25:32 +0000 (14:25 +0100)]
Don't copy&change ns3::point-to-point-helper

I'm sure there was a better way to force RED queues for routers,
but I dont' care because I decided that there is no reason to force RED queues for routers.

So kill dat code, dude.

4 years agoThese files are not used anymore
Martin Quinson [Fri, 25 Mar 2016 12:15:05 +0000 (13:15 +0100)]
These files are not used anymore

4 years agokill more dead code in NS3
Martin Quinson [Fri, 25 Mar 2016 12:10:51 +0000 (13:10 +0100)]
kill more dead code in NS3

We don't make no difference between hosts and routers in NS3 anymore

4 years agoMerge branch 'master' of github.com:mquinson/simgrid
Martin Quinson [Fri, 25 Mar 2016 11:13:34 +0000 (12:13 +0100)]
Merge branch 'master' of github.com:mquinson/simgrid

4 years agoinline a function in NS3
Martin Quinson [Fri, 25 Mar 2016 11:11:38 +0000 (12:11 +0100)]
inline a function in NS3

4 years agokill a useless element in the NS3 extension of hosts
Martin Quinson [Fri, 25 Mar 2016 10:59:31 +0000 (11:59 +0100)]
kill a useless element in the NS3 extension of hosts

4 years agoinline a function in NS3
Martin Quinson [Fri, 25 Mar 2016 11:11:38 +0000 (12:11 +0100)]
inline a function in NS3

4 years agokill a useless element in the NS3 extension of hosts
Martin Quinson [Fri, 25 Mar 2016 10:59:31 +0000 (11:59 +0100)]
kill a useless element in the NS3 extension of hosts

4 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Fri, 25 Mar 2016 10:52:01 +0000 (11:52 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

4 years agokill this obscure version of masterslave
Frederic Suter [Fri, 25 Mar 2016 10:46:20 +0000 (11:46 +0100)]
kill this obscure version of masterslave

4 years agomv failure w/ cpu_ti test to the tesh
Frederic Suter [Fri, 25 Mar 2016 10:45:47 +0000 (11:45 +0100)]
mv failure w/ cpu_ti test to the tesh

4 years agofixdistcheck (state not speed trace)
Frederic Suter [Fri, 25 Mar 2016 10:27:54 +0000 (11:27 +0100)]
fixdistcheck (state not speed trace)

4 years agothis example is about failures, not masterslave
Frederic Suter [Fri, 25 Mar 2016 10:24:04 +0000 (11:24 +0100)]
this example is about failures, not masterslave

also put w/ and w/o crosstraffic in the same tesh

4 years agothis deserves the palm of the worst code of the week
Martin Quinson [Fri, 25 Mar 2016 10:12:32 +0000 (11:12 +0100)]
this deserves the palm of the worst code of the week

4 years agomore cleanups in NS3
Martin Quinson [Fri, 25 Mar 2016 09:25:05 +0000 (10:25 +0100)]
more cleanups in NS3

4 years agomove these traces with the others
Frederic Suter [Fri, 25 Mar 2016 09:41:52 +0000 (10:41 +0100)]
move these traces with the others

4 years agokill unused constructors of Resources and other cleanups
Martin Quinson [Fri, 25 Mar 2016 07:20:25 +0000 (08:20 +0100)]
kill unused constructors of Resources and other cleanups

+ fix constness and useless checks

4 years agoResource: rename fields
Martin Quinson [Fri, 25 Mar 2016 06:38:24 +0000 (07:38 +0100)]
Resource: rename fields

4 years agofix constness of some methods and add a std::hash<Resource>
Martin Quinson [Fri, 25 Mar 2016 06:35:46 +0000 (07:35 +0100)]
fix constness of some methods and add a std::hash<Resource>

I'm not sure that the hash thing actually works.
Gabriel, I think I need your help here.

4 years agoreplace an ugly field used only once with a std container
Martin Quinson [Fri, 25 Mar 2016 06:28:15 +0000 (07:28 +0100)]
replace an ugly field used only once with a std container

4 years agorevalidate the NS3 teshs
Martin Quinson [Thu, 24 Mar 2016 20:05:49 +0000 (21:05 +0100)]
revalidate the NS3 teshs

4 years agoFix Fullduplex links with NS3
Martin Quinson [Thu, 24 Mar 2016 19:39:52 +0000 (20:39 +0100)]
Fix Fullduplex links with NS3

Do so by unspecializing the parsing of NS3 links compared to other models.

 => double win!

4 years agocleanups
Martin Quinson [Thu, 24 Mar 2016 18:26:26 +0000 (19:26 +0100)]
cleanups

4 years agokill gtnets examples
Frederic Suter [Thu, 24 Mar 2016 17:06:18 +0000 (18:06 +0100)]
kill gtnets examples

  WARNING new ns3 tests are broken. It's normal

4 years agoreorg io examples
Frederic Suter [Thu, 24 Mar 2016 16:31:34 +0000 (17:31 +0100)]
reorg io examples

4 years agosmooth differences between tests before merge
Frederic Suter [Thu, 24 Mar 2016 16:05:59 +0000 (17:05 +0100)]
smooth differences between tests before merge

4 years agobe rational
Frederic Suter [Thu, 24 Mar 2016 14:36:47 +0000 (15:36 +0100)]
be rational

4 years agoNOT everything is master-slave (really)
Frederic Suter [Thu, 24 Mar 2016 13:59:01 +0000 (14:59 +0100)]
NOT everything is master-slave (really)
  + create new process- "category" for migration, suspend and, kill examples

4 years agoicomms are async (and there is no peer!!)
Frederic Suter [Thu, 24 Mar 2016 13:37:49 +0000 (14:37 +0100)]
icomms are async (and there is no peer!!)

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

4 years agorefactor 3 more examples
Frederic Suter [Thu, 24 Mar 2016 11:09:57 +0000 (12:09 +0100)]
refactor 3 more examples

4 years ago[mc] Remove FunctionalChecker
Gabriel Corona [Thu, 24 Mar 2016 10:55:25 +0000 (11:55 +0100)]
[mc] Remove FunctionalChecker

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

4 years agokill tracing-gtnets examples
Frederic Suter [Thu, 24 Mar 2016 10:27:09 +0000 (11:27 +0100)]
kill tracing-gtnets examples

GTNets is not (really) supported anymore as it has been replaced by
the ns-3 plugin. these examples are maintained until they are
converted to ns-3, but there is no need to keep the tracing variant.

4 years agosplit actions in two dir
Frederic Suter [Thu, 24 Mar 2016 10:19:56 +0000 (11:19 +0100)]
split actions in two dir

4 years agofactor dht-pastry
Frederic Suter [Thu, 24 Mar 2016 09:53:06 +0000 (10:53 +0100)]
factor dht-pastry

4 years agoreorganize examples/msg/energy
Frederic Suter [Thu, 24 Mar 2016 09:36:43 +0000 (10:36 +0100)]
reorganize examples/msg/energy

 Note the parallel_task_energy tests included the parallel_task test,
 then keep the energy one only and rename it.

4 years ago[mc] Move main communication determinism code in a CommunicationDeterminismChecker...
Gabriel Corona [Thu, 24 Mar 2016 09:42:29 +0000 (10:42 +0100)]
[mc] Move main communication determinism code in a CommunicationDeterminismChecker class

4 years ago[mc] Move main liveness code in a LivenessChecker class
Gabriel Corona [Thu, 24 Mar 2016 08:30:24 +0000 (09:30 +0100)]
[mc] Move main liveness code in a LivenessChecker class

4 years ago[INSTR] Fix broken build introduced in 592e914799a871f2b3fb043ff4f96dc0cb973562
Christian Heinrich [Wed, 23 Mar 2016 19:37:57 +0000 (20:37 +0100)]
[INSTR] Fix broken build introduced in 592e914799a871f2b3fb043ff4f96dc0cb973562

4 years ago[INSTR] Cleanup code by transitioning to C++ streams
Christian Heinrich [Wed, 23 Mar 2016 15:37:46 +0000 (16:37 +0100)]
[INSTR] Cleanup code by transitioning to C++ streams

4 years ago[mc] Move some MC_show_non_termination() in SafetyChecker.cpp
Gabriel Corona [Wed, 23 Mar 2016 15:40:22 +0000 (16:40 +0100)]
[mc] Move some MC_show_non_termination() in SafetyChecker.cpp

4 years ago[mc] Remove unused argument in MC_show_deadlock()
Gabriel Corona [Wed, 23 Mar 2016 15:30:04 +0000 (16:30 +0100)]
[mc] Remove unused argument in MC_show_deadlock()

4 years ago[mc] Remove the TODO about MC_dump_stacks()
Gabriel Corona [Wed, 23 Mar 2016 14:56:20 +0000 (15:56 +0100)]
[mc] Remove the TODO about MC_dump_stacks()

because I just did it.

4 years ago[mc] Fix MC_dump_stacks() to work cross-process
Gabriel Corona [Wed, 23 Mar 2016 14:46:39 +0000 (15:46 +0100)]
[mc] Fix MC_dump_stacks() to work cross-process

4 years ago[mc] Remove SafetyChecker::pre
Gabriel Corona [Wed, 23 Mar 2016 13:56:31 +0000 (14:56 +0100)]
[mc] Remove SafetyChecker::pre

4 years ago[mc] Fix process_time handling
Gabriel Corona [Wed, 23 Mar 2016 13:48:08 +0000 (14:48 +0100)]
[mc] Fix process_time handling

4 years ago[mc] Remove MC_exit()
Gabriel Corona [Wed, 23 Mar 2016 13:20:08 +0000 (14:20 +0100)]
[mc] Remove MC_exit()

4 years ago[mc] Fix a -Werror,-Wsign-compare
Gabriel Corona [Wed, 23 Mar 2016 13:04:16 +0000 (14:04 +0100)]
[mc] Fix a -Werror,-Wsign-compare

4 years ago[mc] Remove MC_init()
Gabriel Corona [Wed, 23 Mar 2016 12:37:41 +0000 (13:37 +0100)]
[mc] Remove MC_init()

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

4 years ago[mc] Fix a leak in simgrid-mc
Gabriel Corona [Wed, 23 Mar 2016 12:08:29 +0000 (13:08 +0100)]
[mc] Fix a leak in simgrid-mc

4 years agokill useless test+simplifications
Frederic Suter [Wed, 23 Mar 2016 12:01:37 +0000 (13:01 +0100)]
kill useless test+simplifications

4 years ago[mc] Remove some globals from is_visted_state()
Gabriel Corona [Wed, 23 Mar 2016 11:29:49 +0000 (12:29 +0100)]
[mc] Remove some globals from is_visted_state()

4 years ago[mc] Extract prune_visited_states() out of is_visited_state()
Gabriel Corona [Wed, 23 Mar 2016 10:53:42 +0000 (11:53 +0100)]
[mc] Extract prune_visited_states() out of is_visited_state()

4 years agoall DHT examples are now called dht-<protocol>
Frederic Suter [Wed, 23 Mar 2016 11:15:08 +0000 (12:15 +0100)]
all DHT examples are now called dht-<protocol>

4 years ago[mc] Bring back DerefAndCompareByNbProcessesAndUsedHeap
Gabriel Corona [Wed, 23 Mar 2016 11:14:59 +0000 (12:14 +0100)]
[mc] Bring back DerefAndCompareByNbProcessesAndUsedHeap

4 years agorename a method to stick to our naming conventions
Martin Quinson [Wed, 23 Mar 2016 09:28:02 +0000 (10:28 +0100)]
rename a method to stick to our naming conventions

4 years agons3: typo and useless check
Martin Quinson [Wed, 23 Mar 2016 09:27:46 +0000 (10:27 +0100)]
ns3: typo and useless check

4 years agons3: inline some functions
Martin Quinson [Tue, 22 Mar 2016 21:22:43 +0000 (22:22 +0100)]
ns3: inline some functions

4 years agoone more refactored
Frederic Suter [Wed, 23 Mar 2016 10:49:13 +0000 (11:49 +0100)]
one more refactored

4 years ago[mc] Remove get_search_interval()
Gabriel Corona [Wed, 23 Mar 2016 10:16:10 +0000 (11:16 +0100)]
[mc] Remove get_search_interval()

4 years ago[mc] Use std::equal_range in is_visited_state()
Gabriel Corona [Wed, 23 Mar 2016 10:13:54 +0000 (11:13 +0100)]
[mc] Use std::equal_range in is_visited_state()

4 years ago[mc] Use std::equal_range in is_visited_pair()
Gabriel Corona [Wed, 23 Mar 2016 10:04:31 +0000 (11:04 +0100)]
[mc] Use std::equal_range in is_visited_pair()

4 years ago[xbt] Fix yet another memory leak in the promela parser
Gabriel Corona [Wed, 23 Mar 2016 09:29:01 +0000 (10:29 +0100)]
[xbt] Fix yet another memory leak in the promela parser

4 years ago[xbt] Fix a another memory leak in the promela parser
Gabriel Corona [Wed, 23 Mar 2016 09:27:28 +0000 (10:27 +0100)]
[xbt] Fix a another memory leak in the promela parser

4 years ago[xbt] Fix a memory leak in the promela parser
Gabriel Corona [Wed, 23 Mar 2016 09:24:11 +0000 (10:24 +0100)]
[xbt] Fix a memory leak in the promela parser

4 years ago[mc] Fix a leak in is_reached_acceptance_pair()
Gabriel Corona [Wed, 23 Mar 2016 09:15:28 +0000 (10:15 +0100)]
[mc] Fix a leak in is_reached_acceptance_pair()

4 years ago[mc] Use std::equal_range in is_reached_acceptance_pair()
Gabriel Corona [Wed, 23 Mar 2016 08:58:31 +0000 (09:58 +0100)]
[mc] Use std::equal_range in is_reached_acceptance_pair()

This simplifies the logic a lot.

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

4 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

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

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

4 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

4 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

4 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

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

4 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

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

4 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

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

4 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

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

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

4 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

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

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

4 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