From 6716ad01cd3691608bf4c969dbe8ba03c2388f33 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 23 Mar 2022 16:44:46 +0100 Subject: [PATCH] Fix the dependency of inter-comm transitions Saying that COMM are indep with non-COMM transitions is good, but this shouldnt mess up with the computation between COMM transitions... --- src/mc/transition/TransitionComm.cpp | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/mc/transition/TransitionComm.cpp b/src/mc/transition/TransitionComm.cpp index af3ef13bea..1ddabd158a 100644 --- a/src/mc/transition/TransitionComm.cpp +++ b/src/mc/transition/TransitionComm.cpp @@ -56,6 +56,8 @@ bool CommWaitTransition::depends(const Transition* other) const if (sbuff_ != 0 && rbuff_ != 0 && wait->sbuff_ != 0 && wait->rbuff_ != 0 && rbuff_ != wait->sbuff_ && rbuff_ != wait->rbuff_ && rbuff_ != sbuff_) return false; + + return true; } return false; // Comm transitions are INDEP with non-comm transitions @@ -133,6 +135,8 @@ bool CommRecvTransition::depends(const Transition* other) const if ((aid_ != test->sender_) && (aid_ != test->receiver_) && (test->rbuff_ != rbuff_)) return false; + + return true; // DEP with other send transitions } if (auto* wait = dynamic_cast(other)) { @@ -144,6 +148,8 @@ bool CommRecvTransition::depends(const Transition* other) const if ((aid_ != wait->sender_) && (aid_ != wait->receiver_) && (wait->rbuff_ != rbuff_)) return false; + + return true; // DEP with other wait transitions } return false; // Comm transitions are INDEP with non-comm transitions @@ -184,6 +190,8 @@ bool CommSendTransition::depends(const Transition* other) const if ((aid_ != test->sender_) && (aid_ != test->receiver_) && (test->sbuff_ != sbuff_)) return false; + + return true; // DEP with other test transitions } if (const auto* wait = dynamic_cast(other)) { @@ -195,6 +203,8 @@ bool CommSendTransition::depends(const Transition* other) const if ((aid_ != wait->sender_) && (aid_ != wait->receiver_) && (wait->sbuff_ != sbuff_)) return false; + + return true; // DEP with other wait transitions } return false; // Comm transitions are INDEP with non-comm transitions -- 2.20.1