Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: Give an ID to comms to not use their pointer value, that can be reused over time
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Jun 2023 15:58:16 +0000 (17:58 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Jun 2023 18:58:18 +0000 (20:58 +0200)
commit502bb030cd47bc68852ec1e55c50151c468a83a6
treee21ba996ecb82ae4c4512a53aad9179d0262b260
parent637bbbfd7ace2ee4d1f55420d3ecda32ea4d9ef3
MC: Give an ID to comms to not use their pointer value, that can be reused over time

Not doing so made the dependency architecture- and system- dependent:
if a pointer address got reused for another comm, that would have
impacted the depends() result on the MC side.
src/kernel/activity/CommImpl.cpp
src/kernel/activity/CommImpl.hpp
src/kernel/actor/CommObserver.cpp
src/mc/explo/udpor/ExtensionSetCalculator.cpp
src/mc/transition/TransitionComm.cpp
src/mc/transition/TransitionComm.hpp