In reply to Michael54:
If you do not trigger again no trigger will happen and processes waiting for a triger are waiting forever. The reset is switching off the trigger and set the num_waiters = 0; There is nobody waiting even if additional processes are waiting.