You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When the request_preempt() of the MonitorState is called just before the execute() clears the trigger_event, then the set of the trigger_event will be lost. In this case the execute() has no way to react on the preempt request any more and will block.
The text was updated successfully, but these errors were encountered:
StephanHasler
changed the title
MonitorState can loose preempt and block.
MonitorState can loose preempt trigger event and block.
Nov 18, 2019
When the request_preempt() of the MonitorState is called just before the execute() clears the trigger_event, then the set of the trigger_event will be lost. In this case the execute() has no way to react on the preempt request any more and will block.
The text was updated successfully, but these errors were encountered: