Lines Matching refs:relations
57 relations used in many models. Starting in Section 13 (AN OPERATIONAL
322 Events in the LKMM can be linked by various relations, which we will
324 of these relations to be orderings, that is, it requires them not to
768 relations; it is not independent. Given a read event R and a write
957 and po-loc relations agree with this global ordering; in other words,
961 relations not to have any cycles. This means it must not be possible
1602 The LKMM also defines the rcu-gp and rcu-rscsi relations. They bring
1825 sequence of relations contains fewer instances of rcu-gp (one) than of
1854 relations srcu-gp and srcu-rscsi added to represent SRCU grace periods
2351 point most of the relations defined by the LKMM (ppo, hb, prop,
2651 not to data races) we should discuss. Recall that many relations such