Lines Matching refs:relations

56 relations used in many models.  Starting in Section 13 (AN OPERATIONAL
321 Events in the LKMM can be linked by various relations, which we will
323 of these relations to be orderings, that is, it requires them not to
715 relations; it is not independent.  Given a read event R and a write
904 and po-loc relations agree with this global ordering; in other words,
908 relations not to have any cycles.  This means it must not be possible
1519 The LKMM also defines the rcu-gp and rcu-rscsi relations.  They bring
1742 sequence of relations contains fewer instances of rcu-gp (one) than of
1771 above, with new relations srcu-gp and srcu-rscsi added to represent
2107 point most of the relations defined by the LKMM (ppo, hb, prop,
2407 not to data races) we should discuss.  Recall that many relations such