Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add ex(C) computation for mutex lock/unlock
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 20 Apr 2023 08:05:29 +0000 (10:05 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 9 Jun 2023 08:01:13 +0000 (10:01 +0200)
commitcf46446efd976250e5835d63793bbd333690bb7c
tree0ac3f911b0e75190dbf4aeb99da2723366ba3b8b
parent45c3a73f3553c8d365f61eaa8445f038db9bdb8f
Add ex(C) computation for mutex lock/unlock

The pseudcode for computing the incremental
portion of the extension set for the transitions
MUTEX_ASYNC_LOCK and MUTEX_UNLOCK were partially
added. What's importantly missing is one key
element of detecting dependencies in the specific
configuration context between a MUTEX_UNLOCK and
a MUTEX_WAIT. This will also prove to be an issue
when implementing the corresponding function for
MUTEX_WAIT.
src/mc/explo/udpor/ExtensionSetCalculator.cpp
src/mc/explo/udpor/ExtensionSetCalculator.hpp
src/mc/transition/TransitionComm.cpp
src/mc/transition/TransitionComm.hpp
src/mc/transition/TransitionSynchro.hpp