Lines Matching refs:not

7 	Consider the sequnce of these events.  A can not be preceded by
11 	IOW, the sequence is A?(BA|BC|B)*.  OTOH, number of B can not exceed
16 	since at any time number of B can not exceed the number of these
17 	moments which, in turn, can not exceed the number of A and C.
58 Proof:	consider the first moment when the above is not true.
60 (1) can become not true if some thread enters that area while another is there.
63 	   the thread was holding pd_lock and found pd_busy not set, which would
64 	   mean that (2) was already not true.
70 	   (3) was already not true.
79 	   pd.c.  It means that (4) was already not true.
81 (2) can become not true only when pd_lock is released by the thread in question.
85 	But that code does not reset pd_busy, so pd_busy would have to be
92 For similar reasons, (3) can become not true only when ps_spinlock is released
98 pi_spinlock, or after not tocuhing ->claimed_cont since acquiring pi_spinlock
100 in the area, under pi_spinlock and we do not release it until after leaving
118 can be killed.  Indeed, we are not holding pd_lock and thus pd_busy is already