Assertion: software interrupt | /r/HasProperty | executed task blocks
Facets:
value: currently
type: TEMPORAL
value: on mutex
type: LOCATION
Source sentences:
text: Software interrupts are also be used to trigger OS maintenance tasks - e.g. context switch when currently executed task blocks on mutex.