Lines Matching refs:rules

264 The counterpart to ordering is a cycle.  Ordering rules out cycles:
581 requirement takes the form of four coherency rules:
602 the rules of the Sequential Consistency memory model.  (According to
864 	system obey the four coherency rules.
877 	grace periods obey the rules of RCU, in particular, the
882 	the operational model's rules regarding cache coherence.
903 You can check that the four coherency rules imply that the rf, co, fr,
918 true: This LKMM axiom implies that the four coherency rules are
1665 a forbidden cycle.  Thus the "rcu" axiom rules out this violation of
2416 rules used by the operational model to ensure cache coherence (that
2417 is, the rules governing the memory subsystem's choice of a store to