Lines Matching refs:outcome

175 happens, the LKMM does predict this outcome can occur, and the example
210 	execute before itself, the specified outcome is impossible.
219 Ordering).  This model predicts that the undesired outcome for the MP
243 Sequential Consistency predicts that the outcome r0 = 0, r1 = 0 is
245 this outcome to occur, and in fact it does sometimes occur on x86 and
277 and a certain outcome for the loads in a piece of code can happen only
279 that outcome cannot occur.
518 the outcome.  Consider the following example:
1346 outcome is impossible -- as it should be.
1474 prevents the r0 = 0, r1 = 0 outcome.
1754 forbidden cycle, violating the "rcu" axiom.  Hence the outcome is not
1794 rcu-rscsi (two).  Consequently the outcome is allowed by the LKMM.
2041 outcome undefined.
2067 outcome.