SUTER Frederic [Tue, 8 Feb 2022 10:57:07 +0000 (11:57 +0100)]
simplify calls to CommImpl::isend and CommImpl::irecv
SUTER Frederic [Tue, 8 Feb 2022 10:12:05 +0000 (11:12 +0100)]
[sonar] constify
Martin Quinson [Mon, 7 Feb 2022 14:15:24 +0000 (15:15 +0100)]
Fast path: don't check the dependency between null observers: it's dependent
Martin Quinson [Mon, 7 Feb 2022 11:10:06 +0000 (12:10 +0100)]
Unify the way we count expended states between checkers
Martin Quinson [Mon, 7 Feb 2022 09:43:07 +0000 (10:43 +0100)]
Define and use a Transition::to_cstring()
Martin Quinson [Mon, 7 Feb 2022 09:38:40 +0000 (10:38 +0100)]
Move Transition::execute() to State::execute_next()
Martin Quinson [Mon, 7 Feb 2022 09:18:34 +0000 (10:18 +0100)]
Make State::transition_ private
Martin Quinson [Mon, 7 Feb 2022 08:55:04 +0000 (09:55 +0100)]
Move the selection of the next transition to execute to mc::State
Martin Quinson [Mon, 7 Feb 2022 01:34:34 +0000 (02:34 +0100)]
Make Liveness and CommDet more similar to Safety
Martin Quinson [Mon, 7 Feb 2022 01:24:00 +0000 (02:24 +0100)]
MC: inline a function
Martin Quinson [Mon, 7 Feb 2022 00:30:45 +0000 (01:30 +0100)]
Automatize the computation of executed_transitions_
Martin Quinson [Mon, 7 Feb 2022 00:18:19 +0000 (01:18 +0100)]
Move request_execute and request_to_string from api::get() to Transition
Martin Quinson [Sun, 6 Feb 2022 23:56:06 +0000 (00:56 +0100)]
Kill a now unused parameter
Martin Quinson [Sun, 6 Feb 2022 23:51:27 +0000 (00:51 +0100)]
MC: Trade less use of executed_req for more network messages
We go through the network to find the string and dot representations
of transitions even when there is no observer
Martin Quinson [Sun, 6 Feb 2022 22:45:45 +0000 (23:45 +0100)]
MC: simplification: this function shall return a boolean
Its return value was already set to state as a side effect anyway
Martin Quinson [Sun, 6 Feb 2022 22:23:55 +0000 (23:23 +0100)]
Let's use bool for booleans
Martin Quinson [Sun, 6 Feb 2022 22:17:54 +0000 (23:17 +0100)]
MC: Inline and simplify a function
Martin Quinson [Sun, 6 Feb 2022 21:50:36 +0000 (22:50 +0100)]
MC: kill an unused function
Arnaud Giersch [Mon, 7 Feb 2022 11:19:36 +0000 (12:19 +0100)]
Fix error 404 for grey.png with recent jenkins [ci-skip].
SUTER Frederic [Sun, 6 Feb 2022 11:56:37 +0000 (12:56 +0100)]
enforce simcall order as before to check dependencies (Isend, Irecv, Wait)
SUTER Frederic [Sun, 6 Feb 2022 11:43:41 +0000 (12:43 +0100)]
fix isend/irecv to string
SUTER Frederic [Sun, 6 Feb 2022 10:59:09 +0000 (11:59 +0100)]
test and testany are non blocking simcalls
SUTER Frederic [Sat, 5 Feb 2022 18:32:44 +0000 (19:32 +0100)]
kill unused function
Martin Quinson [Sun, 6 Feb 2022 08:35:54 +0000 (09:35 +0100)]
nardin clang (fix clang MC builds)
Martin Quinson [Sun, 6 Feb 2022 00:01:46 +0000 (01:01 +0100)]
MC: rely less on executed_req_ and more on observers
Martin Quinson [Sat, 5 Feb 2022 23:50:45 +0000 (00:50 +0100)]
What about not testing the dependencies of transitions with themselves? bummer
Martin Quinson [Sat, 5 Feb 2022 23:19:02 +0000 (00:19 +0100)]
MC: Kill now unused fields
Martin Quinson [Sat, 5 Feb 2022 22:57:33 +0000 (23:57 +0100)]
Don't compute the dependencies locally in the checker, but through the observers over the network
SUTER Frederic [Sat, 5 Feb 2022 17:56:24 +0000 (18:56 +0100)]
back to normal ... keep progressing towards modern simcalls for all
Martin Quinson [Sat, 5 Feb 2022 14:53:26 +0000 (15:53 +0100)]
MC: isend/irecv are not blocking
Also, add some debug info to the MC exploration
Martin Quinson [Sat, 5 Feb 2022 12:18:30 +0000 (13:18 +0100)]
MC: do not segfault when the logs are activated
Martin Quinson [Fri, 4 Feb 2022 23:52:43 +0000 (00:52 +0100)]
convert more isend/irecv locations to the new simcalls, for compatibility
SUTER Frederic [Fri, 4 Feb 2022 15:54:32 +0000 (16:54 +0100)]
oopsie
SUTER Frederic [Fri, 4 Feb 2022 15:45:11 +0000 (16:45 +0100)]
continue to mess with MC
SUTER Frederic [Fri, 4 Feb 2022 09:25:03 +0000 (10:25 +0100)]
stay with double for payload size (fix 32bit issues?
Martin Quinson [Thu, 3 Feb 2022 21:40:43 +0000 (22:40 +0100)]
specify in the COPYING file that we are LGPL-v2.1-only
Closes: https://framagit.org/simgrid/simgrid/-/issues/101
Martin Quinson [Thu, 3 Feb 2022 21:27:18 +0000 (22:27 +0100)]
preshot sonar (dead code; equality test between double)
SUTER Frederic [Thu, 3 Feb 2022 21:40:29 +0000 (22:40 +0100)]
remove old simcall_comm_test and simcall_comm_testany
SUTER Frederic [Thu, 3 Feb 2022 21:12:16 +0000 (22:12 +0100)]
simcall translation is now useless
Martin Quinson [Thu, 3 Feb 2022 21:25:26 +0000 (21:25 +0000)]
Merge branch 'wifi_rate_zero' into 'master'
zero wifi rate
See merge request simgrid/simgrid!76
SUTER Frederic [Thu, 3 Feb 2022 19:01:09 +0000 (20:01 +0100)]
let SMPI use old simcalls for now
SUTER Frederic [Thu, 3 Feb 2022 16:23:46 +0000 (17:23 +0100)]
make isend and irecv observable (except for irecv in smpi_request.cpp)
SUTER Frederic [Thu, 3 Feb 2022 12:22:47 +0000 (13:22 +0100)]
draft CommI{send,recv}Observer
SUTER Frederic [Wed, 2 Feb 2022 18:32:29 +0000 (19:32 +0100)]
move the code of isend and irecv out of the handler and into CommImpl
Arnaud Giersch [Thu, 3 Feb 2022 14:33:29 +0000 (15:33 +0100)]
Update references to the mailing list.
Arnaud Giersch [Thu, 3 Feb 2022 14:32:45 +0000 (15:32 +0100)]
Merge branch 'stable'
Augustin Degomme [Thu, 3 Feb 2022 10:02:55 +0000 (11:02 +0100)]
add a word in the doc about deploying multiple processes per node in a single line of the hostfile
Augustin Degomme [Thu, 3 Feb 2022 10:00:48 +0000 (11:00 +0100)]
update changelog
Martin Quinson [Wed, 2 Feb 2022 22:51:54 +0000 (23:51 +0100)]
Exclude an oversized python notebook file from the distributed archives
SUTER Frederic [Wed, 2 Feb 2022 18:10:47 +0000 (19:10 +0100)]
add missing override keywords
SUTER Frederic [Wed, 2 Feb 2022 17:59:17 +0000 (18:59 +0100)]
more progress in simcalls modernization and MC cleanup
SUTER Frederic [Wed, 2 Feb 2022 13:33:26 +0000 (14:33 +0100)]
mark some old simcalls as deprecated (test, test_any, and wait_any)
SUTER Frederic [Wed, 2 Feb 2022 11:16:04 +0000 (12:16 +0100)]
take two on prepare() for Waitany and Testany observers
Clément Courageux-Sudan [Wed, 2 Feb 2022 11:11:58 +0000 (12:11 +0100)]
zero wifi rate
SUTER Frederic [Wed, 2 Feb 2022 10:03:13 +0000 (11:03 +0100)]
better handling of ActivityImpl::wait_for with dying actors
SUTER Frederic [Wed, 2 Feb 2022 09:28:14 +0000 (10:28 +0100)]
add prepare() to some observers
Martin Quinson [Wed, 2 Feb 2022 08:33:26 +0000 (09:33 +0100)]
activity-lifecycle: Factorize some code
Martin Quinson [Wed, 2 Feb 2022 07:59:38 +0000 (08:59 +0100)]
Make it clear in output that the direct comms are sendto [no-ci]
Martin Quinson [Tue, 1 Feb 2022 21:07:35 +0000 (22:07 +0100)]
this file is too deep to allow XBT_INFO, so keep with printfs
Martin Quinson [Tue, 1 Feb 2022 20:40:46 +0000 (21:40 +0100)]
More verbose on an error experienced on aarch64-darwin [no-ci]
Martin Quinson [Mon, 31 Jan 2022 22:14:39 +0000 (23:14 +0100)]
doc: explain how to install stuff in a docker that runs as a user
Augustin Degomme [Tue, 1 Feb 2022 15:23:24 +0000 (16:23 +0100)]
There is no timestamp in TI events, so they were never dumped during execution, only at the end.
This should save a lot of memory, at the expanse of more file accesses.
Arnaud Giersch [Tue, 1 Feb 2022 13:55:50 +0000 (14:55 +0100)]
Update ChangeLog.
Arnaud Giersch [Tue, 1 Feb 2022 13:55:31 +0000 (14:55 +0100)]
Reduce depth of nested 'if' statements (sonar).
Arnaud Giersch [Tue, 1 Feb 2022 12:22:05 +0000 (13:22 +0100)]
Avoid const cast (sonar).
There is apparently no need for a fake argv[0].
Arnaud Giersch [Tue, 1 Feb 2022 12:21:39 +0000 (13:21 +0100)]
Const reference for large parameter.
Arnaud Giersch [Tue, 1 Feb 2022 12:19:20 +0000 (13:19 +0100)]
Cosmetics: whitespaces and empty statement.
Arnaud Giersch [Tue, 1 Feb 2022 11:07:52 +0000 (12:07 +0100)]
Use declared namespace alias py = pybind11.
Also, use plain py::object which is a sort of smart pointer.
SUTER Frederic [Tue, 1 Feb 2022 11:14:12 +0000 (12:14 +0100)]
please clang
SUTER Frederic [Tue, 1 Feb 2022 10:32:05 +0000 (11:32 +0100)]
Start to modernize the remaining old simcalls related to comms
+ refactor wait, test, waitany, and testany at the activity level
+ use observers for all the simcalls related to these operations
+ add 2 new examples that allows to test or wait for the completion of
any kind of activities stored in a single vector
+ simplify another example thanks to that
+ implement the to_string and dot_label functions in the observers
instead of in mc::Api
This (big) commit breaks the MC has the dependency check still mixes
old and modern simcalls and is thus borken. This is a work in progress
for the greater good, and towards SG4.
SUTER Frederic [Tue, 1 Feb 2022 08:43:47 +0000 (09:43 +0100)]
fix deprecation of Engine.get_clock()
Augustin Degomme [Tue, 1 Feb 2022 08:41:21 +0000 (09:41 +0100)]
fix waitall handling in SMPI replay.
Pending requests were not stored properly since last code overhaul.
Some were not waited on, leading to potentially massive leaks and performance issue.
Martin Quinson [Mon, 31 Jan 2022 20:43:28 +0000 (21:43 +0100)]
CMake does not want versions < 2.8.12 of itself
Arnaud Giersch [Mon, 31 Jan 2022 16:15:57 +0000 (17:15 +0100)]
Kill now unused xbt_dynar_shrink().
Arnaud Giersch [Mon, 31 Jan 2022 07:47:18 +0000 (08:47 +0100)]
Define macro XBT_ATTRIB_DEPRECATED_v335.
Arnaud Giersch [Mon, 31 Jan 2022 07:47:18 +0000 (08:47 +0100)]
Remove deprecated features for next release (3.31).
Arnaud Giersch [Mon, 31 Jan 2022 07:50:57 +0000 (08:50 +0100)]
Merge branch 'stable'
Martin Quinson [Mon, 31 Jan 2022 00:06:56 +0000 (01:06 +0100)]
docker: push all tags
Martin Quinson [Mon, 31 Jan 2022 00:04:24 +0000 (01:04 +0100)]
Merge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Sun, 30 Jan 2022 23:24:52 +0000 (00:24 +0100)]
Start a new dev cycle for v3.31
Martin Quinson [Sun, 30 Jan 2022 23:51:23 +0000 (00:51 +0100)]
bummer
Martin Quinson [Sun, 30 Jan 2022 23:48:38 +0000 (00:48 +0100)]
Build the S4U tuto on top of the stable image again
Martin Quinson [Sun, 30 Jan 2022 23:27:57 +0000 (00:27 +0100)]
Rework the gh action to build the stable dockers
Augustin Degomme [Sun, 30 Jan 2022 20:55:21 +0000 (21:55 +0100)]
SMPI: enforce MPI message ordering. Fix #100 (hopefully)
This adds an id for each message, representing the amount of messages sent from one process to another with the same tag.
On receiver side, the number of received messages from each source/tag must be kept the same way and is compared to the message id.
If the count is not identical, the message is early and overtook another message, so don't match with it yet.
Hopefully this does not cause too much memory overhead, but it can be quite a lot in some cases.
todo: cleanup the way probes are handled
Augustin Degomme [Tue, 11 Jan 2022 20:04:03 +0000 (21:04 +0100)]
fix test action ti-tracing, it needs to behave like a wait
Martin Quinson [Sun, 30 Jan 2022 20:09:49 +0000 (21:09 +0100)]
Release v3.30 (Sunday Bloody Sunday)
Martin Quinson [Sun, 30 Jan 2022 17:04:35 +0000 (18:04 +0100)]
Make sure that min<max in MC_random
Martin Quinson [Sun, 30 Jan 2022 17:01:39 +0000 (18:01 +0100)]
Document the next release. I think we're good to go
Martin Quinson [Sun, 30 Jan 2022 14:10:50 +0000 (15:10 +0100)]
Reorg the cmake in teshuite/mc to factorize things a bit
Martin Quinson [Fri, 28 Jan 2022 23:42:38 +0000 (00:42 +0100)]
Make the Catch2-SimGrid integration available to more tests
Martin Quinson [Fri, 28 Jan 2022 22:12:48 +0000 (23:12 +0100)]
tiny improvement to the doc
Martin Quinson [Fri, 28 Jan 2022 22:03:45 +0000 (23:03 +0100)]
Add a destructor to the NetworkNS3Model to cleanup the ns-3 side
Even if in my tests, calling Simulator::Destroy as indicated by the
ns-3 doc does not actually fix our leakage.
Arnaud Giersch [Fri, 28 Jan 2022 16:29:18 +0000 (17:29 +0100)]
Spell check.
SUTER Frederic [Fri, 28 Jan 2022 14:25:33 +0000 (15:25 +0100)]
[no-ci] use :py:attr: when it is the case
SUTER Frederic [Fri, 28 Jan 2022 14:07:28 +0000 (15:07 +0100)]
fix borken refs
SUTER Frederic [Fri, 28 Jan 2022 13:44:15 +0000 (14:44 +0100)]
more attributes in python bindings
Martin Quinson [Fri, 28 Jan 2022 13:30:14 +0000 (14:30 +0100)]
doc: mark python attributes as attributes
Martin Quinson [Fri, 28 Jan 2022 13:28:57 +0000 (14:28 +0100)]
Don't segfault when Engine::get_instance() is called before the initialization of the Engine
SUTER Frederic [Fri, 28 Jan 2022 11:49:54 +0000 (12:49 +0100)]
use property_readonly_static and update deprecation info
SUTER Frederic [Fri, 28 Jan 2022 10:58:55 +0000 (11:58 +0100)]
this is now forbidden, remove right away