Maxwell Pirtle [Thu, 16 Feb 2023 12:11:07 +0000 (13:11 +0100)]
Fix root-node edge cases for states
Martin Quinson [Thu, 16 Feb 2023 10:05:59 +0000 (11:05 +0100)]
fix MC+gcc builds
Martin Quinson [Thu, 16 Feb 2023 09:52:21 +0000 (10:52 +0100)]
CI: build the model-checker on framagit, to test the MRs
Martin Quinson [Thu, 16 Feb 2023 08:45:47 +0000 (09:45 +0100)]
fix the build (but not all tests) of MC
Martin Quinson [Wed, 15 Feb 2023 23:59:31 +0000 (23:59 +0000)]
Merge branch 'actor-comms' into 'master'
Serialize pending transitions when responding to `ACTOR_STATUS` messages on the application side
See merge request simgrid/simgrid!127
Martin Quinson [Wed, 15 Feb 2023 23:49:30 +0000 (00:49 +0100)]
properly deal with network/optim (end of the ModuleGroup cleanup)
The network/optim was abusing the model description mechanism, because
it was introduced before the options could be restricted to a list of
values. That's a pretty old cruft :)
Moreover, the config mechanism (probably) allowed network/optim:TI but then
ignored it silently. Not nice for the users.
Martin Quinson [Wed, 15 Feb 2023 23:31:13 +0000 (00:31 +0100)]
Kill a now useless file
Martin Quinson [Wed, 15 Feb 2023 23:26:24 +0000 (00:26 +0100)]
Cosmetics around the creation of the VM model
Martin Quinson [Wed, 15 Feb 2023 23:21:52 +0000 (00:21 +0100)]
Further factorization: introduce ModuleGroup::init_from_flag_value()
Martin Quinson [Wed, 15 Feb 2023 23:15:19 +0000 (00:15 +0100)]
15 years later, I finally managed to kill host/model:compound
Martin Quinson [Wed, 15 Feb 2023 22:41:33 +0000 (23:41 +0100)]
Objectif the disk model
Martin Quinson [Wed, 15 Feb 2023 22:31:53 +0000 (23:31 +0100)]
There is no way these names are empty, bc we give a default value
Martin Quinson [Wed, 15 Feb 2023 22:22:10 +0000 (23:22 +0100)]
Objectifies the host models
Martin Quinson [Wed, 15 Feb 2023 22:00:50 +0000 (23:00 +0100)]
factorize the flags of models and plugins
Martin Quinson [Wed, 15 Feb 2023 16:38:27 +0000 (17:38 +0100)]
docs: fix a sphinx formatting error
Martin Quinson [Wed, 15 Feb 2023 16:24:12 +0000 (17:24 +0100)]
Objectifies the CPU model
Martin Quinson [Wed, 15 Feb 2023 15:51:00 +0000 (16:51 +0100)]
Allow to add a disk to a host after a load_platform from xml
Fix https://github.com/simgrid/simgrid/issues/383
Maxwell Pirtle [Wed, 15 Feb 2023 09:55:14 +0000 (10:55 +0100)]
Add note about resetting `times_considered`
Resetting `times_considered` after multiple
serializations of a particular transition are performed
to give the checker all exections of an actor
that can perform multiple actions. There was concern
that this value would have to be "reset" to the
original value after the serialization, since the latter
modifies the simcall's observer's internal state.
However, no reset is actually needed as each
SIMCALL_EXECUTE message that the checker sends to the
application-side comes equipped with the latest
`times_considered`, and thus preparation will be
performed correctly before execution.
Maxwell Pirtle [Wed, 15 Feb 2023 09:50:16 +0000 (10:50 +0100)]
Replace pending transition with latest execution
The `State::execute_next(aid_t)` method was
adjusted to use the newest copy of the transition
that was executed by an actor in lieu of the
copy of the transition that was previously stored
by the actor, as more information may be gained
during the execution of a transition.
Martin Quinson [Wed, 15 Feb 2023 09:00:22 +0000 (10:00 +0100)]
fix pip build
Martin Quinson [Wed, 15 Feb 2023 08:30:06 +0000 (09:30 +0100)]
Convert the network models to the new plugin-like mechanism
Martin Quinson [Tue, 14 Feb 2023 20:12:10 +0000 (21:12 +0100)]
Objectify the model containers
This should allow further cleanups in the near future, where models
are handled as the plugins already are: no shotgun design anymore with
the registration, and everything about a given model contained in a
single file.
Martin Quinson [Sun, 12 Feb 2023 22:22:10 +0000 (23:22 +0100)]
Move the surf log categories elsewhere
Martin Quinson [Sat, 11 Feb 2023 23:25:30 +0000 (00:25 +0100)]
Remove multiarch from the doc: it was never tested, and 32b is soon gone
Martin Quinson [Sat, 11 Feb 2023 23:24:29 +0000 (00:24 +0100)]
Document the fact that 32bits is gone
Maxwell Pirtle [Tue, 14 Feb 2023 08:06:24 +0000 (09:06 +0100)]
Fix condition for XBT_DECLARE_ENUM_CLASS
The condition for the `is_valid_##EnumType`
was updated. Previously, is was missing the edge
case where `raw_value >= 0`
Arnaud Giersch [Mon, 13 Feb 2023 15:09:47 +0000 (16:09 +0100)]
Reduce scope for variables.
Arnaud Giersch [Mon, 13 Feb 2023 15:04:25 +0000 (16:04 +0100)]
Simplify initialization of the root log category.
Arnaud Giersch [Mon, 13 Feb 2023 08:49:37 +0000 (09:49 +0100)]
For Sonar.
Arnaud Giersch [Sat, 11 Feb 2023 18:25:25 +0000 (19:25 +0100)]
Define context related globals as static members of Context.
Arnaud Giersch [Sat, 11 Feb 2023 10:45:54 +0000 (11:45 +0100)]
Make global variables "const".
Even if it has no importance, take the special values from smpi.h
Maxwell Pirtle [Mon, 13 Feb 2023 09:48:20 +0000 (10:48 +0100)]
Finalize passing transitions during model checking
Transitions are now serialized and sent to the
checker side whenever a new State instance is
created (when the ACTOR_STATUS message is sent
by the checker). Transition serialization is the
first step before the work on the UDPOR branch(es)
can be integrated into Mc SimGrid.
Martin Quinson [Sat, 11 Feb 2023 23:11:57 +0000 (00:11 +0100)]
move the flatifier functions to the s4u::Engine, for public consumption
Martin Quinson [Sat, 11 Feb 2023 19:17:10 +0000 (20:17 +0100)]
Add a Link::get_concurrency_limit and use it in the flatifier
Martin Quinson [Sat, 11 Feb 2023 18:34:46 +0000 (19:34 +0100)]
Flatifier: make a function returning a std::string instead of using printf
Martin Quinson [Fri, 10 Feb 2023 22:30:50 +0000 (23:30 +0100)]
flatifier: cosmetics + display the real name of the root zone
Martin Quinson [Fri, 10 Feb 2023 18:39:45 +0000 (19:39 +0100)]
Fix attribution
Martin Quinson [Sun, 29 Jan 2023 16:20:16 +0000 (17:20 +0100)]
Document recent changes
Arnaud Giersch [Sat, 11 Feb 2023 07:01:49 +0000 (08:01 +0100)]
Use more readable alternatives for string::compare().
Arnaud Giersch [Thu, 9 Feb 2023 21:32:38 +0000 (22:32 +0100)]
Kill another bunch of globals.
Maxwell Pirtle [Fri, 10 Feb 2023 08:28:16 +0000 (09:28 +0100)]
Add intial steps to transfer transitions to the MC
Arnaud Giersch [Thu, 9 Feb 2023 15:51:01 +0000 (16:51 +0100)]
Kill a few globals.
Arnaud Giersch [Thu, 9 Feb 2023 15:25:23 +0000 (16:25 +0100)]
Fix comment.
Arnaud Giersch [Thu, 9 Feb 2023 13:28:39 +0000 (14:28 +0100)]
Little simplification.
Martin Quinson [Thu, 9 Feb 2023 10:48:35 +0000 (10:48 +0000)]
Merge branch 'arm-patch' into 'master'
Add patch for arm64 Ubuntu 22.04 in `UnwindContext`
See merge request simgrid/simgrid!126
Maxwell Pirtle [Wed, 1 Feb 2023 13:52:53 +0000 (14:52 +0100)]
Add patch for arm64 Ubuntu 22.04 in UnwindContext
The `mcontext_t` struct on Ubuntu 22.04
running on arm64 is missing the `fregs`
field. This causes a compilation failure
in `src/mc/inspect/mc_unw.cpp` since the
code there assumes the field exists on
linux-arm64.
This commit adds a new CMake variable
SIMGRID_PROCESSOR_arm64 to account for
the additional architecture more
explicitly and to better fit the context
surrounding the code where the fix was made
Fred Suter [Wed, 8 Feb 2023 21:10:15 +0000 (16:10 -0500)]
make all Activity starts vetoable
Arnaud Giersch [Wed, 8 Feb 2023 15:56:50 +0000 (16:56 +0100)]
Typo [ci-skip]
Arnaud Giersch [Wed, 8 Feb 2023 13:19:44 +0000 (14:19 +0100)]
Remove deprecated properties.
Last analysis had a warning:
"sonar.cfamily.cache.enabled" and "sonar.cfamily.cache.path" properties are deprecated.
Visit the documentation page for more information about analysis cache configuration
https://docs.sonarcloud.io/advanced-setup/languages/c-c-objective-c/
("sonar.cfamily.cache.enabled" was set to "false" anyway on CI)
Arnaud Giersch [Wed, 8 Feb 2023 11:31:33 +0000 (12:31 +0100)]
Implement ConditionWaitSimcall::to_string().
Fix crash e.g. when running s4u-synchro-condition-variable-waituntil --log=ker_actor.thres:debug
Arnaud Giersch [Wed, 8 Feb 2023 11:00:24 +0000 (12:00 +0100)]
Cosmetics with spacings around colon (:).
Arnaud Giersch [Wed, 8 Feb 2023 10:11:16 +0000 (11:11 +0100)]
Declare functions with attribute 'noreturn' (sonar).
Arnaud Giersch [Wed, 8 Feb 2023 10:10:09 +0000 (11:10 +0100)]
Reduce scope for variables.
Arnaud Giersch [Wed, 8 Feb 2023 09:13:59 +0000 (10:13 +0100)]
Single quotes don't need to be escaped.
Arnaud Giersch [Tue, 7 Feb 2023 19:40:27 +0000 (20:40 +0100)]
Prevent inlining for empty placeholders of sthread_enable/disable.
See the gcc documentation about function attribute noinline for details.
Hope to fix hangs seen with optimized builds on recent Alpine/Linux.
Let's see also if it works as is with all supported compilers.
Arnaud Giersch [Tue, 7 Feb 2023 12:17:38 +0000 (13:17 +0100)]
CMake 2.8.12 is the minimum required version in FindSimgrid.cmake anyway.
Arnaud Giersch [Tue, 7 Feb 2023 09:21:40 +0000 (10:21 +0100)]
Use native cmake commands to compute relative path.
Arnaud Giersch [Tue, 7 Feb 2023 07:44:47 +0000 (08:44 +0100)]
Normalize names for fields in class Node (trailing '_').
Arnaud Giersch [Mon, 6 Feb 2023 13:55:57 +0000 (14:55 +0100)]
Make global variables "const".
Arnaud Giersch [Mon, 6 Feb 2023 13:22:07 +0000 (14:22 +0100)]
Avoid duplicate declaration.
Arnaud Giersch [Mon, 6 Feb 2023 12:58:59 +0000 (13:58 +0100)]
Remove global variable.
Arnaud Giersch [Mon, 6 Feb 2023 10:17:59 +0000 (11:17 +0100)]
Remove global variable.
Arnaud Giersch [Wed, 1 Feb 2023 14:47:51 +0000 (15:47 +0100)]
Don't use more than one 'break' per loop (Sonar).
Arnaud Giersch [Sat, 28 Jan 2023 15:33:29 +0000 (16:33 +0100)]
Kill unused function.
Arnaud Giersch [Fri, 27 Jan 2023 16:07:29 +0000 (17:07 +0100)]
Make pc_id a static member of ProducerConsumer.
Martin Quinson [Sat, 28 Jan 2023 22:47:33 +0000 (23:47 +0100)]
Fix the code and doc of Comm/Exec suspend/resume in Python
Martin Quinson [Sat, 28 Jan 2023 22:18:07 +0000 (23:18 +0100)]
Reorg examples to show activities dependencies with actors before pure DAG ones
Martin Quinson [Sat, 28 Jan 2023 21:53:17 +0000 (22:53 +0100)]
Move the S4U examples to another chapter
This way, each example is shown in the menubar on the left. This feels
much easier to navigate
Martin Quinson [Sat, 28 Jan 2023 21:27:53 +0000 (22:27 +0100)]
Integrate more examples to the doc: all of DAG + others
Martin Quinson [Sat, 28 Jan 2023 18:24:52 +0000 (19:24 +0100)]
cosmetics in the doc (fix the math formatting)
Arnaud Giersch [Fri, 27 Jan 2023 15:17:35 +0000 (16:17 +0100)]
Sonar smells after last changes.
Arnaud Giersch [Thu, 26 Jan 2023 13:23:28 +0000 (14:23 +0100)]
Cosmetics.
Arnaud Giersch [Wed, 25 Jan 2023 13:22:16 +0000 (14:22 +0100)]
Remove some global variables.
Arnaud Giersch [Wed, 25 Jan 2023 13:18:18 +0000 (14:18 +0100)]
Kill commented code.
Arnaud Giersch [Wed, 25 Jan 2023 13:15:13 +0000 (14:15 +0100)]
Pointer to const.
Arnaud Giersch [Wed, 18 Jan 2023 09:35:41 +0000 (10:35 +0100)]
Condition is always false.
Arnaud Giersch [Tue, 17 Jan 2023 16:07:10 +0000 (17:07 +0100)]
Unsigned cannot be < 0.
Arnaud Giersch [Tue, 17 Jan 2023 13:46:42 +0000 (14:46 +0100)]
Use predefined algorithm.
Arnaud Legrand [Tue, 24 Jan 2023 09:45:06 +0000 (10:45 +0100)]
Rewording
Yearly documentation commit from Arnaud. ;)
Martin Quinson [Mon, 23 Jan 2023 15:03:34 +0000 (16:03 +0100)]
Try to improve the doc of the weight-S parameter
Martin Quinson [Mon, 23 Jan 2023 12:33:18 +0000 (13:33 +0100)]
Cosmetics in examples' comments and description
Augustin Degomme [Mon, 23 Jan 2023 11:23:27 +0000 (12:23 +0100)]
don't create temporary struct at time of push_back as it may be deleted prematurely (seen only on freebsd with llvm devel, maybe that's the issue, or libcpp is ..)
Martin Quinson [Sun, 22 Jan 2023 23:11:22 +0000 (00:11 +0100)]
Another example gets documented (+cosmetics)
Martin Quinson [Sun, 22 Jan 2023 23:03:53 +0000 (00:03 +0100)]
Remove an example that is a dupplicate of another one
Martin Quinson [Sun, 22 Jan 2023 22:47:15 +0000 (23:47 +0100)]
s/ *$// over all RST files (no content modification)
Martin Quinson [Sun, 22 Jan 2023 22:45:32 +0000 (23:45 +0100)]
Document yet another example
Martin Quinson [Sun, 22 Jan 2023 09:30:19 +0000 (10:30 +0100)]
extend example exec-failure to demonstrate state profiles
Martin Quinson [Sat, 21 Jan 2023 21:53:41 +0000 (22:53 +0100)]
Add a section on errors and exceptions to the API documentation
Martin Quinson [Sat, 21 Jan 2023 21:22:26 +0000 (22:22 +0100)]
Yet another example integrated in the doc
Martin Quinson [Sat, 21 Jan 2023 20:34:28 +0000 (21:34 +0100)]
Add another example to the doc
Martin Quinson [Sat, 21 Jan 2023 20:25:46 +0000 (21:25 +0100)]
Cosmetics in an example and integrate it to the doc
Martin Quinson [Sat, 21 Jan 2023 19:22:02 +0000 (20:22 +0100)]
Use debian:11 as a basis for the simgrid/build-deps docker image
This is an attempt to have the python module and the pages task of
gitlab ci using the same glibc version, so that the python doc gets
properly built.
Martin Quinson [Sat, 21 Jan 2023 17:04:34 +0000 (18:04 +0100)]
Move an example to the right section, and document it
It was called comm-serialize, but it's more about using
Link::set_concurrency_limit() so it's now called platform-comm-serialize
Also document another example (was supposed to be in previous commit
but anyway)
Martin Quinson [Sat, 21 Jan 2023 16:24:38 +0000 (17:24 +0100)]
Various fixups and cosmetics in the doc
Martin Quinson [Sat, 21 Jan 2023 08:43:24 +0000 (09:43 +0100)]
Make the test output easier to understand
Martin Quinson [Fri, 20 Jan 2023 22:59:52 +0000 (23:59 +0100)]
fix warnings :(
Martin Quinson [Fri, 20 Jan 2023 22:49:24 +0000 (23:49 +0100)]
Please the paranoid compilers that we love
Martin Quinson [Fri, 20 Jan 2023 22:34:50 +0000 (23:34 +0100)]
Add a test of CM02 timings with TCP-gamma (and fix the doc :sweat_smile:)
Martin Quinson [Fri, 20 Jan 2023 16:10:34 +0000 (17:10 +0100)]
Cosmetics in the messages of this test; no timing change
Martin Quinson [Fri, 20 Jan 2023 15:57:53 +0000 (16:57 +0100)]
Allow to disable the TCP windowing modeling by setting network/TCP-gamma to 0