Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
3 years agoplease codacy by not setting a variable we won't use
Martin Quinson [Sun, 10 May 2020 10:28:26 +0000 (12:28 +0200)]
please codacy by not setting a variable we won't use

3 years agosonar: ignore more useless warnings in the examples
Martin Quinson [Sun, 10 May 2020 10:09:42 +0000 (12:09 +0200)]
sonar: ignore more useless warnings in the examples

3 years agoFix MC on FreeBSD
Martin Quinson [Sun, 10 May 2020 09:22:18 +0000 (11:22 +0200)]
Fix MC on FreeBSD

3 years agoFix pip builds
Martin Quinson [Sun, 10 May 2020 08:55:18 +0000 (10:55 +0200)]
Fix pip builds

3 years agostick to our coding standards: fields must have a trailing _
Martin Quinson [Sun, 10 May 2020 08:31:26 +0000 (10:31 +0200)]
stick to our coding standards: fields must have a trailing _

3 years agosonar: ignore more crufty warnings about the examples
Martin Quinson [Sun, 10 May 2020 08:10:59 +0000 (10:10 +0200)]
sonar: ignore more crufty warnings about the examples

3 years agoThe examples must be readable. I'll shut off sonar on these issues
Martin Quinson [Sun, 10 May 2020 08:02:03 +0000 (10:02 +0200)]
The examples must be readable. I'll shut off sonar on these issues

3 years agoMC: obey to the rule of 5 to please sonar
Martin Quinson [Sun, 10 May 2020 07:58:45 +0000 (09:58 +0200)]
MC: obey to the rule of 5 to please sonar

3 years agoFix MC+SMPI builds
Martin Quinson [Sun, 10 May 2020 07:52:22 +0000 (09:52 +0200)]
Fix MC+SMPI builds

3 years agoEnsure that suspending an actor running later in the current scheduling round actuall...
Martin Quinson [Sat, 9 May 2020 23:56:20 +0000 (01:56 +0200)]
Ensure that suspending an actor running later in the current scheduling round actually works

Fixes https://framagit.org/simgrid/simgrid/-/issues/50

3 years agocosmetics
Martin Quinson [Sat, 9 May 2020 23:26:00 +0000 (01:26 +0200)]
cosmetics

3 years agoMC: Further renamings
Martin Quinson [Thu, 7 May 2020 17:41:21 +0000 (19:41 +0200)]
MC: Further renamings

3 years agotry to print pointer correctly on sunos as well
Augustin Degomme [Thu, 7 May 2020 08:54:10 +0000 (10:54 +0200)]
try to print pointer correctly on sunos as well

3 years agodoc: add units for message sizes, and try to make smpi/buffering more understandable
Augustin Degomme [Thu, 7 May 2020 07:20:43 +0000 (09:20 +0200)]
doc: add units for message sizes, and try to make smpi/buffering more understandable

3 years agoMC: actually remove the comm channel from RemoteClientMemory
Martin Quinson [Wed, 6 May 2020 23:38:58 +0000 (01:38 +0200)]
MC: actually remove the comm channel from RemoteClientMemory

It is now in remote::CheckerSide. This makes it symmetric with remote::ClientSide

There is still a lot to do to clean things up:
- the actual communication Checker->App is spread all over the place
- the ModelChecker singleton dupplicates the function of the mc::Session
- plus the other ugly things that I fail to see right now given the ambiant mess

3 years agoMC: rename remote/RemoteClient -> remote/RemoteClientMemory and remove networking...
Martin Quinson [Wed, 6 May 2020 23:21:19 +0000 (01:21 +0200)]
MC: rename remote/RemoteClient -> remote/RemoteClientMemory and remove networking from its responsability

3 years agoMC: move a function around + cosmetics
Martin Quinson [Wed, 6 May 2020 23:13:40 +0000 (01:13 +0200)]
MC: move a function around + cosmetics

3 years agoMC: inline a trivial function
Martin Quinson [Wed, 6 May 2020 22:59:21 +0000 (00:59 +0200)]
MC: inline a trivial function

3 years agoMC: rename remote/EventLoop into remote/CheckerSide
Martin Quinson [Wed, 6 May 2020 22:53:05 +0000 (00:53 +0200)]
MC: rename remote/EventLoop into remote/CheckerSide

3 years agoMC: rename remote/Client into remote/AppSide
Martin Quinson [Wed, 6 May 2020 22:46:50 +0000 (00:46 +0200)]
MC: rename remote/Client into remote/AppSide

3 years agoThe return type of the sg_actor_on_exit() callbacks is now 'void'
Martin Quinson [Wed, 6 May 2020 21:43:05 +0000 (23:43 +0200)]
The return type of the sg_actor_on_exit() callbacks is now 'void'

3 years agoactor-exiting: Align the C test with the C++ one
Martin Quinson [Wed, 6 May 2020 21:24:19 +0000 (23:24 +0200)]
actor-exiting: Align the C test with the C++ one

3 years agothe on_exit() of each actor is also executed when the simulation deadlocks
Martin Quinson [Wed, 6 May 2020 20:27:27 +0000 (22:27 +0200)]
the on_exit() of each actor is also executed when the simulation deadlocks

3 years agoExtra header needed by FreeBSD to know SIGCHILD
Martin Quinson [Wed, 6 May 2020 15:39:11 +0000 (17:39 +0200)]
Extra header needed by FreeBSD to know SIGCHILD

3 years agosplit a piece of src/mc/ModelChecker.cpp into src/mc/remote/EventLoop.cpp
Martin Quinson [Wed, 6 May 2020 14:49:06 +0000 (16:49 +0200)]
split a piece of src/mc/ModelChecker.cpp into src/mc/remote/EventLoop.cpp

3 years agoMC: tiny code simplifications
Martin Quinson [Wed, 6 May 2020 01:19:03 +0000 (03:19 +0200)]
MC: tiny code simplifications

3 years agofurther simplify the MC initialization
Martin Quinson [Tue, 5 May 2020 22:22:17 +0000 (00:22 +0200)]
further simplify the MC initialization

3 years agosimplify the MC initialization by using only one env variable
Martin Quinson [Tue, 5 May 2020 22:13:03 +0000 (00:13 +0200)]
simplify the MC initialization by using only one env variable

3 years agoRemove a useless call in MC initialization
Martin Quinson [Tue, 5 May 2020 21:53:15 +0000 (23:53 +0200)]
Remove a useless call in MC initialization

That's a very long time that we don't have two heap regions anymore.

3 years agoFix doc markup to not break the build process
Martin Quinson [Fri, 1 May 2020 13:01:55 +0000 (15:01 +0200)]
Fix doc markup to not break the build process

3 years agomake sure that the doc build failures get detected
Martin Quinson [Fri, 1 May 2020 13:01:05 +0000 (15:01 +0200)]
make sure that the doc build failures get detected

3 years agoUse const reference for std::string parameters.
Arnaud Giersch [Thu, 30 Apr 2020 09:28:58 +0000 (11:28 +0200)]
Use const reference for std::string parameters.

3 years agoAlso check that the i/o operation didn't fail.
Arnaud Giersch [Wed, 29 Apr 2020 12:18:54 +0000 (14:18 +0200)]
Also check that the i/o operation didn't fail.

3 years agoUpdate ChangeLog.
Arnaud Giersch [Wed, 29 Apr 2020 11:56:48 +0000 (13:56 +0200)]
Update ChangeLog.

4 years agoMerge branch 'random_readwritestate' into 'master'
Yann Duplouy [Mon, 27 Apr 2020 17:09:07 +0000 (19:09 +0200)]
Merge branch 'random_readwritestate' into 'master'

[xbt/random] Read/Write the state of the RNG

See merge request simgrid/simgrid!36

4 years agorevalidate tesh files
Frederic Suter [Mon, 27 Apr 2020 17:07:40 +0000 (19:07 +0200)]
revalidate tesh files

4 years agouse signals for smpi tracing of execs
Frederic Suter [Mon, 27 Apr 2020 11:28:14 +0000 (13:28 +0200)]
use signals for smpi tracing of execs

4 years agorefactoring SMPI trace initialization
Frederic Suter [Mon, 27 Apr 2020 10:14:25 +0000 (12:14 +0200)]
refactoring SMPI trace initialization

4 years agoTests whether the file could be opened and removes the temporary file at the end
Yann Duplouy [Mon, 27 Apr 2020 08:02:12 +0000 (10:02 +0200)]
Tests whether the file could be opened and removes the temporary file at the end

4 years agoNow returns true if the file could be opened
Yann Duplouy [Mon, 27 Apr 2020 08:01:40 +0000 (10:01 +0200)]
Now returns true if the file could be opened

4 years agoTries to handle IO errors
Yann Duplouy [Mon, 27 Apr 2020 07:53:58 +0000 (09:53 +0200)]
Tries to handle IO errors

4 years agoremove redundant Link Type
Frederic Suter [Tue, 21 Apr 2020 14:19:40 +0000 (16:19 +0200)]
remove redundant Link Type

4 years agonamespacing cosmetics
Frederic Suter [Tue, 21 Apr 2020 12:42:58 +0000 (14:42 +0200)]
namespacing cosmetics

4 years agomore lambdas
Frederic Suter [Tue, 21 Apr 2020 12:30:30 +0000 (14:30 +0200)]
more lambdas

4 years agoKill obsolete option --cfg=contexts/parallel-threshold.
Arnaud Giersch [Fri, 24 Apr 2020 22:14:01 +0000 (00:14 +0200)]
Kill obsolete option --cfg=contexts/parallel-threshold.

The associated code was removed 4 years ago by commit
9ed461c11fd10eeea596831f2791e359c05d26bf "kill more old cruft: adaptative threshold".

4 years agoUpdate .mailmap.
Arnaud Giersch [Fri, 24 Apr 2020 12:30:58 +0000 (14:30 +0200)]
Update .mailmap.

4 years agoMerged FG!35.
Arnaud Giersch [Fri, 24 Apr 2020 12:02:37 +0000 (14:02 +0200)]
Merged FG!35.

4 years agoMerge branch 'doc' into 'master'
Arnaud Giersch [Fri, 24 Apr 2020 12:02:20 +0000 (14:02 +0200)]
Merge branch 'doc' into 'master'

Add a modeling hint for parallel links in doc

See merge request simgrid/simgrid!35

4 years agoMerged GH!339.
Arnaud Giersch [Fri, 24 Apr 2020 08:29:37 +0000 (10:29 +0200)]
Merged GH!339.

4 years agoAdded Mailbox::set_receiver to python binding
Sylvain Lefebvre [Thu, 23 Apr 2020 03:16:02 +0000 (12:16 +0900)]
Added Mailbox::set_receiver to python binding

4 years agoAdd a modeling hint for parallel links in doc
Julien EMMANUEL [Wed, 4 Mar 2020 09:39:07 +0000 (10:39 +0100)]
Add a modeling hint for parallel links in doc

Explain how to model several parallel links between two routers
(usually useful when modeling fat-tree platforms for example)

4 years agoadd the capacicity to modify links' latency and bandwidth
Frederic Suter [Tue, 21 Apr 2020 11:40:42 +0000 (13:40 +0200)]
add the capacicity to modify links' latency and bandwidth

4 years agoplease sonar
Frederic Suter [Fri, 17 Apr 2020 11:15:46 +0000 (13:15 +0200)]
please sonar

4 years agoTypo fix
Henri Casanova [Mon, 20 Apr 2020 21:43:45 +0000 (11:43 -1000)]
Typo fix

4 years agoUnit test to check if the RNG state is written and read correctly
Yann Duplouy [Wed, 15 Apr 2020 10:15:50 +0000 (12:15 +0200)]
Unit test to check if the RNG state is written and read correctly

4 years agoIt is now possible to read/write the RNG state in a file.
Yann Duplouy [Wed, 15 Apr 2020 09:56:15 +0000 (11:56 +0200)]
It is now possible to read/write the RNG state in a file.

4 years agouse signals on PajeEvent creation/destruction
Frederic Suter [Mon, 6 Apr 2020 10:59:11 +0000 (12:59 +0200)]
use signals on PajeEvent creation/destruction

4 years agostill fighting against this code
Frederic Suter [Sun, 5 Apr 2020 16:15:44 +0000 (18:15 +0200)]
still fighting against this code

4 years agouseless morning cleanups
Frederic Suter [Sun, 5 Apr 2020 09:12:59 +0000 (11:12 +0200)]
useless morning cleanups

4 years agofix that example
Martin Quinson [Thu, 2 Apr 2020 15:02:32 +0000 (17:02 +0200)]
fix that example

4 years agoset_maestro example: improve comments
Martin Quinson [Thu, 2 Apr 2020 13:41:29 +0000 (15:41 +0200)]
set_maestro example: improve comments

4 years agocmake: code simplification (hope it does not break)
Martin Quinson [Thu, 2 Apr 2020 13:41:02 +0000 (15:41 +0200)]
cmake: code simplification (hope it does not break)

4 years agofix distcheck
Frederic Suter [Thu, 2 Apr 2020 13:30:30 +0000 (15:30 +0200)]
fix distcheck

4 years agooops MSG_init() does more than simgrid_init()
Frederic Suter [Thu, 2 Apr 2020 11:14:52 +0000 (13:14 +0200)]
oops MSG_init() does more than simgrid_init()

4 years agorevalidate Java tesh files
Frederic Suter [Thu, 2 Apr 2020 11:02:26 +0000 (13:02 +0200)]
revalidate Java tesh files

4 years agoadd a tesh for bugged2-liveness
Frederic Suter [Thu, 2 Apr 2020 10:19:08 +0000 (12:19 +0200)]
add a tesh for bugged2-liveness

Do not test it because it never ends, but at least now if one wants to
do something clever with this test, one can ;)

4 years agoreduce dependency on msg.h
Frederic Suter [Thu, 2 Apr 2020 09:24:08 +0000 (11:24 +0200)]
reduce dependency on msg.h

4 years agoUse the object copied as operand for sizeof.
Arnaud Giersch [Mon, 30 Mar 2020 20:15:23 +0000 (22:15 +0200)]
Use the object copied as operand for sizeof.

4 years agothis was never tested and neither a bug finder
Frederic Suter [Wed, 1 Apr 2020 14:58:48 +0000 (16:58 +0200)]
this was never tested and neither a bug finder

4 years agoAdd new tests to MANIFEST.in
Loic Guegan [Wed, 1 Apr 2020 15:53:09 +0000 (17:53 +0200)]
Add new tests to MANIFEST.in

4 years agoAdd WIFI decay model along with tesh tests.
Loic Guegan [Wed, 1 Apr 2020 14:39:13 +0000 (16:39 +0200)]
Add WIFI decay model along with tesh tests.

4 years agoless MSG and less process
Frederic Suter [Wed, 1 Apr 2020 09:41:49 +0000 (11:41 +0200)]
less MSG and less process

4 years agoadd sg_actor_list() and sg_actor_count()
Frederic Suter [Wed, 1 Apr 2020 09:28:55 +0000 (11:28 +0200)]
add sg_actor_list() and sg_actor_count()

deprecate stuff for consistency and undynarification

4 years agolast call to MSG_hosts_as_dynar -> deprecate !
Frederic Suter [Mon, 30 Mar 2020 15:34:52 +0000 (17:34 +0200)]
last call to MSG_hosts_as_dynar -> deprecate !

4 years agodo not include msg.h when not needed
Frederic Suter [Mon, 30 Mar 2020 15:09:37 +0000 (17:09 +0200)]
do not include msg.h when not needed

4 years agouseless stuff: do not use MSG in java bindings when possible
Frederic Suter [Mon, 30 Mar 2020 14:18:48 +0000 (16:18 +0200)]
useless stuff: do not use MSG in java bindings when possible

4 years agouse listen_from in s4u test and kill the MSG one
Frederic Suter [Mon, 30 Mar 2020 13:18:55 +0000 (15:18 +0200)]
use listen_from in s4u test and kill the MSG one

4 years agoadd Mailox_listen_from
Frederic Suter [Mon, 30 Mar 2020 13:18:32 +0000 (15:18 +0200)]
add Mailox_listen_from

4 years agoconvert get-sender test
Frederic Suter [Mon, 30 Mar 2020 10:41:55 +0000 (12:41 +0200)]
convert get-sender test

4 years agofix Comm::get_sender()
Frederic Suter [Mon, 30 Mar 2020 10:39:50 +0000 (12:39 +0200)]
fix Comm::get_sender()
Matching sender and receiving modifies the CommImpl fields used to
store the sending and receiving actors, not those in Comm. Then to
know the sender on the receiving side one have to look at the kernel
level.

4 years agothe extraction of the graph is a NetZone method
Frederic Suter [Sun, 29 Mar 2020 17:20:39 +0000 (19:20 +0200)]
the extraction of the graph is a NetZone method

4 years agocpp-ify and simpifly functions used by graphicator
Frederic Suter [Sun, 29 Mar 2020 12:19:49 +0000 (14:19 +0200)]
cpp-ify and simpifly functions used by graphicator

this actually doesn't not need instr at all. Then we can further
simplify the graphicator itself.

4 years agoconvert graphicator to C++
Frederic Suter [Sun, 29 Mar 2020 12:08:42 +0000 (14:08 +0200)]
convert graphicator to C++
also test the output .dot file in tesh

4 years agocosmetics
Frederic Suter [Sun, 29 Mar 2020 11:45:07 +0000 (13:45 +0200)]
cosmetics

4 years agogcov might not be the name of the executable, respect GCOV environment variable in...
Augustin Degomme [Sun, 29 Mar 2020 11:37:40 +0000 (13:37 +0200)]
gcov might not be the name of the executable, respect GCOV environment variable in this case

4 years agoSilly workaround for coverage build with gcc-10.
Arnaud Giersch [Sat, 28 Mar 2020 22:02:37 +0000 (23:02 +0100)]
Silly workaround for coverage build with gcc-10.

Error is: internal compiler error: in coverage_begin_function, at coverage.c:655

4 years agoMerge branch 'master' of https://framagit.org/simgrid/simgrid
Frederic Suter [Sat, 28 Mar 2020 13:20:56 +0000 (14:20 +0100)]
Merge branch 'master' of https://framagit.org/simgrid/simgrid

4 years agoHide spurious odr violations warnings.
Arnaud Giersch [Sat, 28 Mar 2020 09:50:13 +0000 (10:50 +0100)]
Hide spurious odr violations warnings.

4 years agonothing to do with instr ...
Frederic Suter [Fri, 27 Mar 2020 23:34:00 +0000 (00:34 +0100)]
nothing to do with instr ...

4 years agounused constant
Frederic Suter [Fri, 27 Mar 2020 23:22:59 +0000 (00:22 +0100)]
unused constant

4 years agono need to store a netpoint_ there
Frederic Suter [Fri, 27 Mar 2020 23:14:11 +0000 (00:14 +0100)]
no need to store a netpoint_ there

4 years agoplease sonar
Frederic Suter [Fri, 27 Mar 2020 14:58:45 +0000 (15:58 +0100)]
please sonar

4 years agocosmetics
Frederic Suter [Fri, 27 Mar 2020 13:20:57 +0000 (14:20 +0100)]
cosmetics

4 years agouse signals to trigger logging of Paje type definitions
Frederic Suter [Fri, 27 Mar 2020 13:13:59 +0000 (14:13 +0100)]
use signals to trigger logging of Paje type definitions

4 years agosimplify: callbacks are only called is trace is enabled.
Frederic Suter [Fri, 27 Mar 2020 10:41:15 +0000 (11:41 +0100)]
simplify: callbacks are only called is trace is enabled.
testing trace_disable_destroy only is thus enough

4 years agouse signals for instr::EntityValue display
Frederic Suter [Fri, 27 Mar 2020 10:35:11 +0000 (11:35 +0100)]
use signals for instr::EntityValue display

4 years agorename C examples binaries (prefix and not suffix)
Frederic Suter [Fri, 27 Mar 2020 09:32:39 +0000 (10:32 +0100)]
rename C examples binaries (prefix and not suffix)

4 years agoPlease PVS
Martin Quinson [Thu, 26 Mar 2020 17:16:02 +0000 (18:16 +0100)]
Please PVS

- [V522] Don't use malloc() but only xbt_malloc()
  this deals "gracefully" with error conditions
- [V507] Don't leak references to local arrays to outer scope

4 years agoSeparate trace file production from container management
Frederic Suter [Thu, 26 Mar 2020 15:45:31 +0000 (16:45 +0100)]
Separate trace file production from container management

4 years agoplease sonar
Frederic Suter [Thu, 26 Mar 2020 13:20:04 +0000 (14:20 +0100)]
please sonar