Lines Matching full:monitor

16 in fact, testing the system as if we had one single larger monitor.
20 The sched monitor is a set of specifications to describe the scheduler behaviour.
43 Monitor tss
46 The task switch while scheduling (tss) monitor ensures a task switch happens
63 Monitor sco
66 The scheduling context operations (sco) monitor ensures changes in a task state
84 Monitor snroc
87 The set non runnable on its own context (snroc) monitor ensures changes in a
89 monitor::
105 Monitor scpd
108 The schedule called with preemption disabled (scpd) monitor ensures schedule is
126 Monitor snep
129 The schedule does not enable preempt (snep) monitor ensures a schedule call
147 Monitor sncid
150 The schedule not called with interrupt disabled (sncid) monitor ensures