From 6ee3bc6288a6836cf03f27103dc4e44b3b13d7d8 Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Fri, 31 Mar 2017 16:33:38 +0200
Subject: [PATCH] Add note to PrivateSemaphore
---
emper/PrivateSemaphore.hpp | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/emper/PrivateSemaphore.hpp b/emper/PrivateSemaphore.hpp
index db092676..8895e217 100644
--- a/emper/PrivateSemaphore.hpp
+++ b/emper/PrivateSemaphore.hpp
@@ -46,12 +46,18 @@ public:
if (Context* readyContext = signalInternal()) {
unblock(readyContext);
}
+ // Assure that nothing happens after here with the sync
+ // primitive, as the data of the sync primitive may became
+ // invalid at this point.
}
void signalAndExit() {
if (Context* readyContext = signalInternal()) {
unblockAndExit(readyContext);
}
+ // Assure that nothing happens after here with the sync
+ // primitive, as the data of the sync primitive may became
+ // invalid at this point.
}
};
--
GitLab