Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add more docmentation for get_first_sdpor_initial()
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 16 May 2023 07:39:15 +0000 (09:39 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 16 May 2023 07:47:32 +0000 (09:47 +0200)
commit29fc93df5d19fd8fdf5d52359726988ed5d4fe83
treec6190b27c481e33767448ea7fd1ff230106a0526
parent0287507e7e5adf63caec82d4b34704652cb73739
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.
src/mc/explo/DFSExplorer.cpp
src/mc/explo/odpor/ClockVector_test.cpp
src/mc/explo/odpor/Execution.cpp
src/mc/explo/odpor/Execution.hpp
src/mc/explo/odpor/Execution_test.cpp