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
766 relations; it is not independent.  Given a read event R and a write
955 and po-loc relations agree with this global ordering; in other words,
959 relations not to have any cycles.  This means it must not be possible
1570 The LKMM also defines the rcu-gp and rcu-rscsi relations.  They bring
1793 sequence of relations contains fewer instances of rcu-gp (one) than of
1822 above, with new relations srcu-gp and srcu-rscsi added to represent
2164 point most of the relations defined by the LKMM (ppo, hb, prop,
2464 not to data races) we should discuss.  Recall that many relations such