Martin Quinson [Tue, 23 May 2023 21:56:46 +0000 (23:56 +0200)]
Give the on_this_ variant to all VM signals
Martin Quinson [Tue, 23 May 2023 21:27:32 +0000 (23:27 +0200)]
Sort the signals on the plugin page
+ also fix some documentation errors
Martin Quinson [Tue, 23 May 2023 21:20:44 +0000 (23:20 +0200)]
Rename Resource::on_state_change to Resource::on_onoff for sake of clarity
Martin Quinson [Tue, 23 May 2023 20:39:09 +0000 (22:39 +0200)]
Use the right version for the deprecate macro
Martin Quinson [Tue, 23 May 2023 19:50:15 +0000 (21:50 +0200)]
Give the _this_ variants to the Link signals
Arnaud Giersch [Tue, 23 May 2023 15:33:45 +0000 (17:33 +0200)]
Ignore ASan warnings about odr-violation with Activity_T::on_completion.
These are false positives IIUC.
[ci-skip]
Martin Quinson [Tue, 23 May 2023 18:57:11 +0000 (20:57 +0200)]
Merge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Tue, 23 May 2023 18:43:26 +0000 (20:43 +0200)]
Various cleanups in the Host signals
- Add a on_this_*_cb variant to the Host signals
- Rename Activity::on_{suspended,resumed} for symmetry with Actor signals
- Change kernel::activity::CpuAction::on_state_change to s4u::Host::on_exec_state_change
Arnaud Giersch [Tue, 23 May 2023 13:46:51 +0000 (15:46 +0200)]
Remove global variables in PageStore_test too (mimic Snapshot_test).
Arnaud Giersch [Tue, 23 May 2023 12:33:54 +0000 (14:33 +0200)]
Use C++17 features: std::scoped_lock and structured bindings.
Arnaud Giersch [Tue, 23 May 2023 12:26:38 +0000 (14:26 +0200)]
Use the "_t" and "_v" version of type traits.
Arnaud Giersch [Tue, 23 May 2023 10:05:47 +0000 (12:05 +0200)]
Compact namespaces.
Arnaud Giersch [Tue, 23 May 2023 09:45:42 +0000 (11:45 +0200)]
C++17 support is now required for public headers too.
Update ChangeLog, FindSimGrid.cmake, and sonar-project.properties.
Maxwell Pirtle [Tue, 23 May 2023 12:24:13 +0000 (14:24 +0200)]
Add tests for initials and independence for Execution
Fred Suter [Tue, 23 May 2023 10:36:14 +0000 (06:36 -0400)]
add Io operations and an example
Maxwell Pirtle [Tue, 23 May 2023 08:18:24 +0000 (10:18 +0200)]
Add first round of execution independence tests
This commit adds the first set of tests for
checking whether a particular transition `t` is
independent with an extension `w` of an execution
sequence `E`. This is needed to determine whether
the transition `t` satisfies condition (2) of the
procedure outlined in the ODPOR paper for testing
whether `v ~_[E] w` holds between two sequences
Fred Suter [Tue, 23 May 2023 08:17:57 +0000 (04:17 -0400)]
another try to please clang
Fred Suter [Tue, 23 May 2023 07:56:02 +0000 (03:56 -0400)]
try to solve the -Wundefined-var-template thing with clang
Fred Suter [Tue, 23 May 2023 07:55:06 +0000 (03:55 -0400)]
allow operation to execute more than one function at start and end
Fred Suter [Mon, 22 May 2023 19:21:41 +0000 (15:21 -0400)]
add missing override
Fred Suter [Mon, 22 May 2023 17:49:53 +0000 (13:49 -0400)]
have a on_completion per activity type to save users some dynamic_cast-based filtering
Martin Quinson [Mon, 22 May 2023 15:13:14 +0000 (17:13 +0200)]
Add instance signals for all Disk signals
Martin Quinson [Mon, 22 May 2023 15:02:54 +0000 (17:02 +0200)]
Add instance signals for all Actor signals
Martin Quinson [Sat, 20 May 2023 22:05:31 +0000 (00:05 +0200)]
no need to save all ns3 sink points
Martin Quinson [Sat, 20 May 2023 21:46:51 +0000 (23:46 +0200)]
Rename cfg 'ns3/TcpModel' to 'ns3/UdpModel'
Martin Quinson [Fri, 19 May 2023 14:35:57 +0000 (16:35 +0200)]
Test that setting ns3 TCP models actually work
Martin Quinson [Fri, 12 May 2023 12:46:17 +0000 (14:46 +0200)]
cosmetics in the ChangeLog
Fred Suter [Mon, 22 May 2023 12:33:42 +0000 (08:33 -0400)]
allow activities launched by maestro to be instrumented
Fred Suter [Wed, 17 May 2023 19:14:07 +0000 (15:14 -0400)]
throw on_send and on_receive signals when doing a host-to-host Comm
this is needed by instrumentation
Fred Suter [Tue, 16 May 2023 15:40:38 +0000 (11:40 -0400)]
allow to set tracing category in STARTING state
Maxwell Pirtle [Mon, 22 May 2023 11:56:30 +0000 (13:56 +0200)]
Add test for removing the first single-process subtree
This commit adds the first test checking whether
removing the first single-process node from the
tree produces the correct results, viz. that the
resulting tree is the same as before save for the
missing branch
Maxwell Pirtle [Mon, 22 May 2023 11:20:02 +0000 (13:20 +0200)]
Begin adding tests for subtree rooting
Maxwell Pirtle [Mon, 22 May 2023 09:03:48 +0000 (11:03 +0200)]
Add detailed stress test for WakeupTree
This commit introduces an edge case wherein
a "different looking sequence" ultimately is
already accounted for by a sequence contained
in the tree that "eventually could be made to
look like it" (viz. such that `~_E` holds
between the two sequences). Other stress tests
will be added for the other methods on the
WakeupTree and the Execution to test their
correctness. There is a long way to go
Maxwell Pirtle [Mon, 22 May 2023 08:52:54 +0000 (10:52 +0200)]
Begin first round of in-depth tests for WakeupTree
Arnaud Giersch [Wed, 17 May 2023 12:14:35 +0000 (14:14 +0200)]
Explicitly capture required scope variables (sonar).
Arnaud Giersch [Wed, 17 May 2023 12:01:57 +0000 (14:01 +0200)]
Get rid of global variables for snapshot tests.
Also fix some sonar issues.
Maxwell Pirtle [Wed, 17 May 2023 11:46:20 +0000 (13:46 +0200)]
Add first "working" version of ODPOR
This commit introduces the first version of
ODPOR which detects a bug using the example
programs found in SimGrid's test suite! There
is still work to be done (e.g. dealing with
transitions that have multiple possible
paths of execution such as MCRandom() will
be non-trivial to resolve).
The key adjustments in this commit are
to the WakeupTree structure itself. Gone
are the days when each node in the tree
maintained a sequence of transitions to
execute; instead, each node contains only
a single transition, and its the paths between
a node and the root that describe the partial
executions that ODPOR needs to explore.
This resulted from a misconception I had about
the structure of wakeup trees. When an insertion
is made, potentially a *chain* of leaf nodes
are added into the tree. This ensures we always
have a single-process branch to pick (which
is what we expected) and greatly improves the
readability of some of the methods found in
State.cpp related to ODPOR
Adrien Gougeon [Tue, 16 May 2023 16:02:10 +0000 (18:02 +0200)]
fix example photovoltaic
Adrien Gougeon [Tue, 16 May 2023 14:07:34 +0000 (16:07 +0200)]
add photovoltaic plugin
Maxwell Pirtle [Tue, 16 May 2023 13:07:31 +0000 (15:07 +0200)]
Add tests before changes to WakeupTree structure
Arnaud Giersch [Tue, 16 May 2023 12:44:01 +0000 (14:44 +0200)]
Reduce scope for variables.
Arnaud Giersch [Tue, 16 May 2023 09:29:39 +0000 (11:29 +0200)]
Don't shadow outer variables.
Arnaud Giersch [Mon, 15 May 2023 15:12:12 +0000 (17:12 +0200)]
Use plain pointers instead of references to pointer.
mlaurent [Tue, 16 May 2023 11:09:27 +0000 (13:09 +0200)]
Add some strategies and fix the semantics of Max/MinMatch
Maxwell Pirtle [Tue, 16 May 2023 08:55:29 +0000 (10:55 +0200)]
Add first round of extensive docs to ODPOR methods
Maxwell Pirtle [Tue, 16 May 2023 06:48:13 +0000 (08:48 +0200)]
Add test files for WakeupTree
Maxwell Pirtle [Mon, 15 May 2023 13:31:31 +0000 (15:31 +0200)]
Add explicit ODPOR clean-up phase to DFSExplorer
ODPOR requires that we remove elements from the
wakeup tree and add elements to the sleep sets
at state in the execution only AFTER we've
completed fully the recursive exploration of the
space pointed towards by the wakeup trees; i.e.,
we only remove subtrees and add to the sleep sets
when we're walking back UP the state stack looking
for a point to recontinue the execution.
Maxwell Pirtle [Mon, 15 May 2023 08:50:25 +0000 (10:50 +0200)]
Add ODPOR "backtracking" logic
Maxwell Pirtle [Fri, 12 May 2023 11:19:50 +0000 (13:19 +0200)]
Add ODPOR extension computation (lines 4-6)
ODPOR asks us to compute, for each reversible
race in the current maximal execution `E`,
whether some subsequence `v` of events
extending a prefix `E'` of `E` should be
inserted into a wakeup tree.
There's a few subtle details that should
be noted in this computation. ODPOR asks
us to compute `notdep(e, E)`, which means
possibly looking at events that occur
*after* `e'` and THEN adding `proc(e')`.
The subtlety lies in the fact that the
actual transition associated with `e'`
must be added AFTER all of the others.
We got lucky with SDPOR since next_E_p
was already in the last position and
thus required no special treatment. With
ODPOR, we have to be more careful.
Even more subtle is the observation that
any events in `notdep(e, E)` can neither
affect the enabledness of `e'` nor can
`e'` affect the enabledness of any of
those events, or else if they do
affect the enabledness of `e'` they
will necessarily be contained "between"
`e` and `e'`
Maxwell Pirtle [Fri, 12 May 2023 08:11:33 +0000 (10:11 +0200)]
Use `std::shared_ptr<Transition>` for Execution
Prior to this commit, the `Execution` class
maintained raw pointers to the transitions
maintained by the stack used in DFSExplorer.
Instead, we opt for the execution to contain
a collection of shared pointers to facilitate
the creation of partial executions
Maxwell Pirtle [Fri, 12 May 2023 07:55:10 +0000 (09:55 +0200)]
Add ODPOR race detection phase rough-draft
ODPOR is decoposed into two parts: the "passive"
observer phase, where ODPOR selects search points
based on the work it did before to fill in its
wakeup trees, and the active race-detection phase,
where ODPOR looks at all reversible races in an
execution and performs the work to determine if
new traces need be searched. This commit adds
in an outline for the latter phase. Note that
there is still much work to be done with respect
to the race detection -- we still need to implement
the partial execution function for example.
Likewise, handling the issue of multiple execution
possibilities for a given process will be particularly
tricky.
Maxwell Pirtle [Thu, 11 May 2023 13:36:28 +0000 (15:36 +0200)]
Add boolean check for wakeup tree initialization
While not great, one way to prevent the wakeup
tree from continuing to add elements after it
has already done so when empty is to add a
boolean flag that's checked to prevent the
addition. For now, we'll live with it
Maxwell Pirtle [Thu, 11 May 2023 12:18:56 +0000 (14:18 +0200)]
Automatically remove nodes from parents
After removing a node from a WakeupTree,
we need to be careful to also have any references
to the node removed, viz. that held onto the
parent of the node in the list of children.
This commit adds a back reference to the
parent node of a given WakeupTreeNode to
allow removal from the parent when destroyed.
Additionally, some bugs were fixed for creating
subtrees and removing subtrees (we forgot to remove
the root for example)
Maxwell Pirtle [Thu, 11 May 2023 10:38:46 +0000 (12:38 +0200)]
Add tree pruning/subtree methods to State
ODPOR requires that we can remove a
subtree from a wakeup tree as we continue
the exploration. Further, we must also be
able to create a subtree from a given
wakeup tree. The functionality for those
methods has already been added; this commit
instead introduces the management of wakeup
trees specifically in the context of ODPOR
exploration.
Maxwell Pirtle [Thu, 11 May 2023 09:04:23 +0000 (11:04 +0200)]
Add skeleton for expansion phase of ODPOR
Maxwell Pirtle [Wed, 10 May 2023 13:55:18 +0000 (15:55 +0200)]
Add logic for subtree node removal
ODPOR also mandates that subtrees be removed
from a wakeup tree after having finished searching
"in the direction" of the subtree. This commit
adds a method to WakeupTree which, given a handle
to a node in the tree, removes the subtree rooted at
that node.
Maxwell Pirtle [Wed, 10 May 2023 13:03:08 +0000 (15:03 +0200)]
Finish post-order travesal with WakeupTreeIterator
The WakeupTreeIterator is now full implemented:
we now properly add nodes to the top of the
stack in reverse order, resulting in a post-order
traversal as desired.
One subtlety arose with the implementation: the
root node is not contained in the list of any
other node in the tree. To handle this issue,
a "fake" list managed by the iterator was added
into which the root is placed at construction-time.
This prevents us from needing to change any of the
logic, and we can simply treat the root as any other
node in the traversal
Maxwell Pirtle [Wed, 10 May 2023 12:34:02 +0000 (14:34 +0200)]
Add logic for subtree extraction from wakeup trees
Extracting a subtree from a wakeup tree is required
for ODPOR to continue its search and to pass information
down to the other paths that ODPOR decides to visit.
Extracting a copy of a subtree is difficult as it
requires a deep copy of the tree, making sure
that references to any nodes in the tree that is copied
are copied appropriately. One additional subtlety is that
the subtree can only be taken with respect to single-process
branches and, further, that that process is removed from
each descendant of the node that contains the single process.
Maxwell Pirtle [Wed, 10 May 2023 09:38:07 +0000 (11:38 +0200)]
Add complicated computation of v ~_E w to Execution
The relation `v ~_E w` is used when traversing
a WakeupTree to determine is an "equivalent"
execution is already noted in the tree. This commit
adds the first "working" implementation of
several components to this process, viz.
1. Assuming that iteration has been implemented
(which is to come in future commits), the WakeupTree
now implements the `insert_E(v, B)` operation, where
`B` refers to the tree instance itself.
2. The `Execution` class can now determine what
is needed to complete the `insert()` operation,
specifically determining first if a) two sequences
`v` and `w` are related by `v ~_E w` and b)
what the smallest sequence `w'` is such that
`w [= v.w'`. The latter computation uses the neat
observation that (w / v) is the smallest such
sequence (viz. removing anything in `w` that's in
`v` "one at a time") and computes this value as
it is in the process of determining whether the
`~_E` relation noted holds
Maxwell Pirtle [Wed, 10 May 2023 07:08:27 +0000 (09:08 +0200)]
Add skeleton of implementation for tree insertion
The `insert` method on a Wakeup tree is an
essential component of the ODPOR algorithm.
Tree insertion guides the ODPOR algorithm
towards the unique, unsearched traces of the
state space. Insertion is based heavily on the
correctness of computing the `~` relation over
a given execution. Subsequent commits will fill
in this method as well as several others that
will be needed to implement that functionality
Maxwell Pirtle [Tue, 9 May 2023 14:34:04 +0000 (16:34 +0200)]
Add WakeupTreeIterator and WakeupTree skeletons
Maxwell Pirtle [Tue, 16 May 2023 07:39:15 +0000 (09:39 +0200)]
Add more docmentation for get_first_sdpor_initial()
A very important function at the center of SDPOR
was missing significant context that would help
a reader understand what exactly was going on
with the function. What makes the situation tricky
is the fact that the pseudocode's implementation
is blended into several lines and computed "on the
fly" rather than fully.
Arnaud Giersch [Mon, 15 May 2023 13:25:05 +0000 (15:25 +0200)]
Suprious brace (fix non-linux builds).
Arnaud Giersch [Mon, 15 May 2023 08:39:45 +0000 (10:39 +0200)]
Define master_socket_name only once, and embed it with the request to fork.
Arnaud Giersch [Fri, 12 May 2023 09:19:55 +0000 (11:19 +0200)]
Try harder not to fail with stale sockets after several runs.
* on linux, prefer abstract unix sockets that are automatically removed
* otherwise, remove possible stale socket before bind
Arnaud Giersch [Fri, 12 May 2023 11:15:06 +0000 (13:15 +0200)]
The default destructor should be fine.
Maxwell Pirtle [Mon, 15 May 2023 07:37:22 +0000 (09:37 +0200)]
Add more documentation to ClockVector/Execution
Maxwell Pirtle [Mon, 15 May 2023 07:04:11 +0000 (09:04 +0200)]
Add unit tests for ClockVector
Maxwell Pirtle [Tue, 9 May 2023 11:57:07 +0000 (13:57 +0200)]
Fix MANIFEST.in
We should note that the Execution that's a part of
both ODPOR and SDPOR is now contained in DFSExplorer
even in stateless execution. This will likely eventually
be true also for ODPOR; hence, the ODPOR sources
have been added to the SRC_MC_STATELESS portion as
needed
Maxwell Pirtle [Tue, 9 May 2023 08:36:13 +0000 (10:36 +0200)]
Integrate SDPOR into `model-check/reduction` flag
SDPOR and ODPOR can be used as part of the
DFSExplorer (ODPOR should integrate with some
minor details in the DFS implementation, but that's
for a later PR). This commit replaces the simple
`with_dpor` boolean flag used to control the
reduction with the more precise `ReductionMode`
that is newly extracted from within `DFSExplorer`
and is instead made "public"
Maxwell Pirtle [Fri, 5 May 2023 12:47:07 +0000 (14:47 +0200)]
Add more documentation to essential SDPOR methods
Maxwell Pirtle [Tue, 9 May 2023 07:47:27 +0000 (09:47 +0200)]
Modify tesh suite expectations with changes to dependencies
Maxwell Pirtle [Fri, 5 May 2023 12:21:17 +0000 (14:21 +0200)]
Fix ObjectAccess dependency check
The ObjectAccess transition should defer
dependency computation to the ActorJoin action.
Previously, it only decided dependency by
simply checking if the `other` transition
were simply another object access on the
same object
Maxwell Pirtle [Fri, 5 May 2023 09:16:07 +0000 (11:16 +0200)]
Fix subtlety with SDPOR/ODPOR initials
Computing initials for SDPOR/ODPOR requires
extending a search with respect to
a prefix of an execution. Previously, events
added to the extension were referred to by
their location within the larger execution
from which the prefix was taken. The problem
is that the new events need to be referred
to by their position relative to the
*extension* of the prefix; otherwise,
asking about "happens-before" in the extension
while using their handles in the full execution
will give incorrect results
Maxwell Pirtle [Fri, 5 May 2023 08:29:02 +0000 (10:29 +0200)]
Fix two off-by-one errors with clock vectors
Two errors were identified with managing clock
vectors in the Execution class. The index
assigned to the new transition was previously
`size() + 1` when it should have read `size()`.
Furthermore, the loop for checking "happens-between"
events excluded event 0. Both issues are now resolved
and a test with a race at the beginning was added
as verification
Maxwell Pirtle [Fri, 5 May 2023 06:53:47 +0000 (08:53 +0200)]
Mark `ActorJoin` dependent with `target_`
The `ActorJoin` transition was previously
labeled as independent with all other
transitions, including those of the actor
upon which the join acted. However, this
assumption was faulty: the join action is
instead dependent with ANY transition executed
by the actor joined upon, as the action
BECOMES enabled only as soon as the last action
run by the actor is executed.
Maxwell Pirtle [Fri, 5 May 2023 06:46:09 +0000 (08:46 +0200)]
Prevent adding outgoing transition for top-most state
The outgoing transition for the top-most
state of the state stack in the DFSExplorer refers
to that which was taken as part of the last
trace explored by the algorithm. Thus, only the
sequence of transitions leading up to, but
not including, the last state must be included
when reconstructing the Exploration for SDPOR.
Maxwell Pirtle [Thu, 4 May 2023 12:29:44 +0000 (14:29 +0200)]
Add workaround for subtlety with state regeneration
Regeneration of the Execution inside DFSExplorer
should be as simple as choosing the prefix relative
to the appropriate backtracking point. However,
it did not appear to function so simple. After
a good amount of debugging, it appears that
the stack contents can change unexpectedly so
(e.g. a transition "in the middle" of the stack
seemingly switches arbitrarily). Until we can
pinpoint the true cause here, we simple resort
to rebuilding the execution based off the new
stack each time we decide to backtrack. The
downside is that all clock vectors have to be
recomputed after each backtrack. For now,
this is something that's OK to live with,
especially considering that this certainly
won't be a bottle neck in performance
Maxwell Pirtle [Thu, 4 May 2023 07:33:25 +0000 (09:33 +0200)]
Add first tests for "happens-before"
The happens-before relation is used
extensively by SDPOR and ODPOR during
their computations for determining what
executions should be searched next. This
commit introduces the first round of tests
for the happens-before relation on
artificially constructed executions
Maxwell Pirtle [Wed, 3 May 2023 09:35:01 +0000 (11:35 +0200)]
Move SDPOR core computation into a method
The core component of SDPOR involves selecting
an "initial" for a hypothetical computation
extending from a prefix of the current execution
that results in the reversal of the reversible
race SDPOR detected. This comomit moves that
computation as much as possible into the
`Execution` class itself to make the SDPOR
implementation easier to read
Maxwell Pirtle [Wed, 3 May 2023 07:34:12 +0000 (09:34 +0200)]
Add tentatively-working SDPOR implementation
This commit introduces SDPOR into SimGrid
(well, mostly). The current implementation
will be improved upon by cleaning up some
of the code that was added to improve
its testability
Maxwell Pirtle [Tue, 2 May 2023 10:38:43 +0000 (12:38 +0200)]
Add initial outline of SDPOR implementation
The SDPOR algorithm is nearing an implementation
into SimGrid (sans a few technical details and
code clean ups that will be nice to add). The
algorithm largely builds off the existing
infrastructure of DFSExplorer fortunately.
Maxwell Pirtle [Tue, 2 May 2023 06:58:21 +0000 (08:58 +0200)]
Add Execution concept without ExecutionViews
The Execution is the key concept in ODPOR
and SDPOR for generating new traces. Executions
for the basis off of which new search paths are
created
Maxwell Pirtle [Thu, 27 Apr 2023 08:43:37 +0000 (10:43 +0200)]
Remove sdpor folder in favor of odpor only
Maxwell Pirtle [Wed, 26 Apr 2023 13:57:28 +0000 (15:57 +0200)]
Add `Execution` to represent series of transitions
The Execution class represents a series of transitions
taken by a process. An execution importantly also encodes
the happens-before relation among the series of steps
represented. The eventual implementation will leverage
clock vectors to compute the relation between events.
A more refined happens-before relation is left for
as a future (complicated) exercise...
Maxwell Pirtle [Mon, 24 Apr 2023 12:55:12 +0000 (14:55 +0200)]
Add class for eventual "happens-before" computations
Computing the "happens-before" relation over
a sequence of executions is an important step
in determining whether or not DPOR (and SDPOR
alike) needs to add a backtracking point.
This commit introduces the "ClockVector"
class which acts effectively as a light
wrapping around an `unordered_map` mapping
actor ids to integer values.
The essential component of the ClockVector
class is that its contents are "implicit"
in the sense that actors for which no
value is explicitly contained in the map
are assigned to the value `0` by default.
This allows clock vectors to be flexible
enough to support the creation of new
actors and the enabling/disabling of old
actors as they come and go.
Arnaud Giersch [Fri, 12 May 2023 07:45:46 +0000 (09:45 +0200)]
Disable move constructor which cannot be 'noexecept' (sonar).
Arnaud Giersch [Fri, 12 May 2023 07:30:55 +0000 (09:30 +0200)]
Cosmetics.
Fred Suter [Thu, 11 May 2023 14:29:20 +0000 (10:29 -0400)]
add two more utility functions to the Operation plugin
Martin Quinson [Wed, 10 May 2023 21:35:25 +0000 (23:35 +0200)]
Fix make distcheck
Martin Quinson [Wed, 10 May 2023 21:27:34 +0000 (23:27 +0200)]
MC: Kill the now useless code State::get_recipe
Martin Quinson [Wed, 10 May 2023 21:22:28 +0000 (23:22 +0200)]
Merge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Wed, 10 May 2023 21:21:10 +0000 (23:21 +0200)]
DFS MC: Restore from system states even if we have to run some transitions out of it
This makes the model-check/checkpoint a bit more efficient by
increasing the amount of cases where we can reuse taken checkpoints.
It is still awfully slow because checkpoints are. The next step is to
implement model-check/checkpoint with forks.
Martin Quinson [Wed, 10 May 2023 11:08:09 +0000 (11:08 +0000)]
Merge branch 'dag-lab' into 'master'
Add dag scheduling lab to docs
See merge request simgrid/simgrid!150
Martin Quinson [Wed, 10 May 2023 11:07:36 +0000 (11:07 +0000)]
Merge branch 'changelog-operation-plugin' into 'master'
Add plugins operation and battery to changelog
See merge request simgrid/simgrid!149
Arnaud Giersch [Tue, 9 May 2023 14:46:08 +0000 (16:46 +0200)]
Use forwarding references with std::forward (sonar).
(hope I got it right this time)
Arnaud Giersch [Tue, 9 May 2023 14:27:35 +0000 (16:27 +0200)]
Use a std::vector as an underlying container for backtrack_points, so that maximal_subsets_iterator can have a noexcept move constructor by default.
Arnaud Giersch [Tue, 9 May 2023 13:57:50 +0000 (15:57 +0200)]
Use a static variable for empty_set, and allow default noexcept move constructor.
Adrien Gougeon [Tue, 9 May 2023 12:45:25 +0000 (14:45 +0200)]
add dag scheduling lab
Arnaud Giersch [Mon, 8 May 2023 19:27:14 +0000 (21:27 +0200)]
Plug memory leak.