Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d23bfe) | patch
Add `Execution` to represent series of transitions
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 26 Apr 2023 13:57:28 +0000 (15:57 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 12 May 2023 13:58:22 +0000 (15:58 +0200)
commitbb7efba154782b821294cf933e12488d02a7802b
tree4341376ba935bfa9e60421f6eeb5fd36120d7fdbtree | snapshot
parent9d23bfe5e8febe2b55c45e7fcd72d50644fac6cacommit | diff
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...
src/mc/api/State.hpp diff | blob | history
src/mc/explo/DFSExplorer.hpp diff | blob | history
src/mc/explo/odpor/WakeupTree.cpp [new file with mode: 0644] blob
src/mc/explo/odpor/WakeupTree.hpp [new file with mode: 0644] blob
src/mc/explo/sdpor/Execution.hpp [new file with mode: 0644] blob
src/mc/explo/sdpor/Initials.cpp [new file with mode: 0644] blob
src/mc/explo/sdpor/Initials.hpp [new file with mode: 0644] blob
src/mc/explo/sdpor/WeakInitials.cpp [new file with mode: 0644] blob
src/mc/explo/sdpor/WeakInitials.hpp [new file with mode: 0644] blob
Clone of SimGrid repository with local patches