diff --git a/emper/PrivateSemaphore.hpp b/emper/PrivateSemaphore.hpp index db092676490490f726c514f10c4a2d7c6652240e..8895e21723ba1fb3923a619f0bc7fae59aaafae6 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. } };