Gabriele Monaco <[email protected]> writes: > The snroc monitor is a simple monitor that validates set_state occurs > only when a task is running. This implicitly validates switch in and out > follow one another. > > Add enqueue/dequeue to validate they also follow one another without > duplicated events. Although they are not necessary to define the > task context, adding the check here saves from adding another simple > per-task monitor, which would require another slot in the task struct. > > Signed-off-by: Gabriele Monaco <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
