Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add initial outline of SDPOR implementation
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 2 May 2023 10:38:43 +0000 (12:38 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 12 May 2023 13:58:22 +0000 (15:58 +0200)
commit222bdffb8f8c4d7e5660c049c2c2bdadd8f7cc07
tree3c65316ce1e7401cad1a80ac80e56c73864e3d08
parenta05b37852a57f94f75cbd4da7dc9e75a88a69f35
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.
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
src/mc/explo/odpor/Execution.cpp
src/mc/explo/odpor/Execution.hpp
src/mc/explo/odpor/odpor_forward.hpp